刘迪
- 作品数：13 被引量：3H指数：1
- 供职机构：辽宁师范大学更多>>
- 发文基金：国家自然科学基金辽宁省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学理学哲学宗教更多>>
- 基于职业生涯规划的农村小学教师专业发展现状、问题与对策研究——以徐州市铜山区张集镇两所小学为例
- 农村小学教师职业生涯规划对于教师专业发展有至关重要的影响,在可持续教育理念深入人心的背景下,人们对于农村小学教师专业发展的重视程度越来越高。为了能够帮助教师实现专业发展、科学地进行职业生涯规划,本文以江苏省徐州市铜山区两...
- 刘迪
- 关键词：农村小学教师影响因素
- 文献传递
- 直觉模糊逻辑的(α,β)-广义锁归结方法被引量：2
- 2015年
- 归结方法是定理自动证明的重要工具。为了简化直觉模糊命题逻辑的归结过程,基于直觉模糊命题逻辑归结原理的一般形式,提出了子句(α,β)-可满足和(α,β)-归结式的概念。研究了广义子句与其归结式的可满足性。在直觉模糊命题逻辑系统中给广义子句配锁,规定在做归结时各子句中被消去文字在该子句中的序号最小,由此建立了(α,β)-广义锁归结方法,并证明了该方法的可靠性和完备性。给出了直觉模糊逻辑的广义锁归结算法步骤,并通过实例说明了该方法的有效性。
- 邹丽刘迪郑宏亮
- 关键词：直觉模糊逻辑完备性定理
- 用钛硅纳米复合氧化物和多酸化合物构筑的催化剂及其制备方法及其应用
- 本发明公开了一种用钛硅纳米复合氧化物和多酸化合物构筑的催化剂及其制备方法及其应用，催化剂中各组份的质量份数为：多酸化合物，0.5‑40份；钛硅纳米复合氧化物，20‑59.5份；过氧化物，89.5‑0.5份。该催化剂的制备...
- 张子鹏陈立东刘迪佟欢袁琳杰张婉钰远琳马康富
- 文献传递
- 直觉模糊逻辑的(α,β)-准锁语义归结方法
- 2016年
- 为了提高直觉模糊命题逻辑的(α,β)-归结效率,将准锁语义归结策略应用于(α,β)-归结原理,得到直觉模糊命题逻辑的(α,β)-准锁语义归结方法,证明方法的可靠性与完备性.给出直觉模糊命题逻辑系统的(α,β)-准锁语义归结和(α,β)-准锁语义归结演绎的概念.讨论直觉模糊命题逻辑系统中的(α,β)-准锁语义归结式和锁子句的合并规则.最后,给出直觉模糊命题逻辑系统的基于(α,β)-准锁语义归结的自动推理算法步骤,并通过实例说明算法的有效性.
- 邹丽刘迪谭雪微郑宏亮
- 关键词：直觉模糊逻辑完备性定理
- 单元主题式教学模式在小学英语教学中的应用研究
- 为了顺应新时代教育改革要求,改变当今小学英语教学中学生知识碎片化的现状,最大限度调动学生学习的主动性与积极性,本研究把单元主题式教学模式应用到小学英语课堂中,并对其课堂效果开展研究。本研究以维果茨基的“最近发展区”理论,...
- 刘迪
- 关键词：教学模式小学英语
- 基于职业生涯规划的农村小学教师发展现状、问题与对策研究——以徐州市铜山区张集镇两所小学为例
- 农村小学教师职业生涯规划对于教师专业发展有至关重要的影响，在可持续教育理念深入人心的背景下，人们对于农村小学教师专业发展的重视程度越来越高。为了能够帮助教师实现专业发展、科学地进行职业生涯规划，本文以江苏省徐州市铜山区两...
- 刘迪
- 关键词：农村小学教师
- 文献传递
- 直觉模糊逻辑的(α,β)-广义锁归结方法
- 基于直觉模糊逻辑归结原理的一般形式，提出了子句(α，β)-可满足和(α，β)-归结式的概念，研究了它们的同可满足性，在直觉模糊逻辑系统中建立了(α，β)-广义锁归结方法，并证明了该方法的可靠性和完备性。给出了直觉模糊逻辑...
- 邹丽刘迪
- 用钛硅纳米复合氧化物和多酸化合物原位合成的催化剂及其制备方法及其应用
- 一种用钛硅纳米复合氧化物和多酸化合物原位合成的催化剂及其制备方法及其应用，催化剂中各组份的质量份数为：多酸化合物，0.5‑35份；钛硅复合氧化物，20‑65份；过氧化物，89.5‑0份。该催化剂的制备方法是在制备钛硅纳米...
- 刘迪陈立东佟欢贾曦瑶袁琳杰张子鹏远琳张婉钰马康富
- 文献传递
- 主体情绪对问题解决过程影响的眼动研究
- 人类的智慧无穷无尽，心灵神秘莫名，情绪变幻莫测，看不见、摸不到，但是它好似你心灵的主宰，无时无刻不左右着你的行为、思维，进而影响着事件发展的结果。因它的神秘，心理学家们更想揭开它的面纱一探究竟。问题解决时刻都伴我们左右，...
- 刘迪
- 关键词：问题解决过程
- 大数据视角下的基层政府绩效评估问题研究
- 人力资源绩效评估从20世纪70年代末发展至今，在实践中不断成熟，不断发展，并且被企业所接受和认可，逐渐取代人事工作评定为企业战略目标而服务，成为企业管理的战略合作伙伴。 人力资源绩效评估被企业使用和认可的同时，也越来越...
- 刘迪
- 关键词：基层政府绩效评估人力资源管理
- 文献传递
