郑慕聪
- 作品数：15 被引量：34H指数：5
- 供职机构：陕西师范大学数学与信息科学学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学文化科学电子电信自动化与计算机技术更多>>
- 一种基础数学演示仪
- 本实用新型公开了一种基础数学演示仪，属于教学演示装置技术领域。该演示仪包括：底板、多个柱状按钮、多个伸缩件和电源，所述底板上设有网格，所述多个柱状按钮安装在所述网格的交叉点处，所述多个柱状按钮的顶部均设有环形凹槽和指示灯...
- 郑慕聪
- 文献传递
- Lukasiewicz多值逻辑系统中的相似度及伪距离被引量：2
- 2005年
- 逻辑度量空间是近似推理的重要框架。文中在文献[1]中提出的公式集F(S)上相似度的基础上给出了另外两种相似度,讨论了其性质,证明了这两种相似度导出的距离也是F(S)上的伪距离。同时研究了这两个伪距离空间的重要性质,并得到了3种伪距离的比例关系,为推理程度的数值化提供了依据。
- 刘艳郑慕聪
- 关键词：相似度伪距离多值逻辑系统度量空间
- 余剩余格及其应用
- 不同的多值逻辑系统对应着不同的逻辑代数系统，早在1958年，著名逻辑学家C.C.Chang为解决Lukasiewicz多值逻辑系统的完备性而引入了MV-代数的理论并成功地证明了Lukasiewicz系统的完备性。近半个世...
- 郑慕聪
- 关键词：逻辑代数多值逻辑系统
- 文献传递
- 一种用于数学教学中的绘图尺
- 本实用新型公开了一种用于数学教学中的绘图尺，它包含第一直尺(1)，该第一直尺(1)的顶部设置有贴合其上侧面滑动的量角尺(2)，所述的量角尺(2)为半圆形结构，其圆心处设置有与其转动连接配合的定位尺(3)，所述的定位尺(3...
- 郑慕聪
- 文献传递
- 收敛数列性质的可视化
- 2020年
- 基于数列极限的严格定义,给出数列极限可视化的几何解释,用可视化的几何解释简洁直观地分析和证明收敛数列的三个基本性质。通过可视化的方法让学生感受数列极限定义的精髓,并且更加直观的理解收敛数列的基本性质。
- 刘艳郑慕聪
- 关键词：高等数学数列极限可视化
- 剩余型直觉模糊蕴涵算子的统一形式被引量：7
- 2013年
- 对直觉三角模和直觉三角余模的性质进行研究,提出由此生成的直觉伴随对和直觉余伴随对的概念,讨论它们在直觉模糊区域上的性质,给出与直觉三角模相伴随的剩余型直觉蕴涵算子一种统一形式,最后根据直觉模糊蕴涵算子与模糊蕴涵算子的关系给出四类直觉模糊蕴涵算子的具体形式。
- 郑慕聪史忠科
- 关键词：直觉模糊集三角模伴随对
- 余剩余格的理想和嵌入定理被引量：5
- 2006年
- 基于余剩余格理论,给出了余剩余格的理想、主理想、素理想、极大理想和同态的概念,讨论了它们的性质,并引入距离函数,给出了余剩余格中的同余关系.研究得到余剩余格的嵌入定理,即满足预线性条件的余剩余格均可同构于一簇全序余剩余格乘积代数的子代数.
- 王国俊郑慕聪刘艳
- 关键词：同态同余嵌入定理
- 高等数学教学中的新问题与对策研究
- 2020年
- 高等数学课程是大学阶段重要的基础课程,课程具有结构严谨,概念抽象,系统性强的特点,注重逻辑推理和计算方法.本文基于目前的教育状况分析了教学中出现的新问题,从共性问题和个性问题两方面深入探究,指出问题的症结所在.结合高等数学课程的特点,从课堂教学内容、课堂教学模式、课下交流方式和课程考核体系四个方面提出了解决问题的整体思路和对策.
- 郑慕聪刘艳韩国栋
- 关键词：高等数学思维
- 基于四个维度的绩效定量考核模型及模糊分类被引量：1
- 2010年
- 从四个新维度划分了绩效考核指标内容及其绩效分数的类别,这四个维度指定性、定量、投票和附加分等四个方面,分别涵盖了目前党政领导班子和领导干部综合考核评价中大部分指标,是不同类别考核指标的综合反映.本文通过原始考核数据拟合和变量相关性分析挖掘其变化规律,给出了基于特定地区考核原始数据的绩效考核定量模型,测算各个变量之间的弹性系数值,并使用一种具有模糊关系的区域绩效考核方法,对考核指标体系本身做出评估.
- 贺建龙史忠科郑慕聪
- 剩余型直觉模糊差算子的统一形式被引量：1
- 2013年
- 研究了直觉三角模和直觉三角余模的性质,提出了直觉模糊差算子和直觉余伴随对的概念,证明了它们可以由左连续的三角模生成,讨论了它们在直觉模糊区域上的结合性和分配性.给出了由左连续三角模生成的直觉三角余模所伴随的剩余型直觉模糊差算子的统一形式,根据直觉模糊算子与模糊算子的关系,给出了4类直觉模糊差算子的具体形式.
- 郑慕聪史忠科刘艳
- 关键词：三角模伴随对
