关晓红
- 作品数：17 被引量：19H指数：2
- 供职机构：河南师范大学数学与信息科学学院更多>>
- 发文基金：国家自然科学基金河南省教育厅自然科学基金河南省基础与前沿技术研究计划项目更多>>
- 相关领域：理学文化科学更多>>
- 系统H_a中广义语义MP规则与广义语义HS规则被引量：2
- 2007年
- 基于一类带参数a的[0,1]上的t-模*a及与之伴随的蕴涵算子Ha(0≤a≤1)所建立的多值逻辑系统Ha,研究了当a=12时的多值逻辑系统H12.以H12为赋值域利用广义重言式概念得到了公式集F(S)的一个分划,建立了系统H12中的各类广义语义MP规则与广义语义HS规则,并把系统H12中的相关结论推广到系统Ha(0
- 关晓红折延宏王国俊
- 关键词：多值逻辑系统重言式
- 偏蕴涵代数被引量：1
- 2006年
- 通过对效应代数和差分偏序集的研究,从蕴涵的角度出发引入偏蕴涵代数,证明了偏蕴涵代数与效应代数是两种不同形式的等价代数结构,并讨论了它与其他代数之间的关系.
- 关晓红王国俊韩邦合
- 关键词：效应代数MV代数
- 可交换的s代数与格蕴涵代数
- 2010年
- 研究了一类模糊逻辑代数系统——交换s代数.给出了交换s代数一系列基本性质,证明了交换s代数关于其上的偏序关系≤构成格.最后,证明了在交换s代数中定义xy=x′→y,则X是一个格蕴涵代数,在格蕴涵代数L中,定义y=x′→y,则L是一个交换s代数.
- 许格妮关晓红
- 关键词：偏序集格蕴涵代数
- 解析函数零点的孤立性与唯一性定理
- 2011年
- 利用解析函数零点的孤立性及唯一性定理得到不恒为零的解析函数在区域D内零点的个数至多可数,并给出解析函数唯一性的一个应用。
- 李静关晓红
- 关键词：解析函数唯一性定理
- 罗尔定理在讨论多项式方程的根中的应用
- 2010年
- 本文通过对多项式函数运用罗尔定理，给出了罗尔定理在讨论多项式方程的根中的两点简单应用。
- 李娟关晓红
- 关键词：罗尔定理多项式方程
- 标准序列逻辑系统S_3中公式的概率真度理论被引量：1
- 2009年
- 利用势为3的非均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有孤立点,为三值命题的近似推理理论提供了一种可能的框架。
- 关晓红李骏
- 关键词：概率真度相似度伪距离孤立点
- FI代数的模糊滤子被引量：5
- 2012年
- 在FI代数(Fuzzy蕴涵代数)上引入了模糊滤子的概念并给出了其等价刻画;探讨了由模糊滤子所诱导的同余关系及商代数,证明了由模糊滤子所诱导的同余关系是完备分配格。
- 关晓红许格妮
- 关键词：FI代数模糊滤子同余关系
- 系统L_n中公式相对于有限理论的Г-绝对真度理论被引量：4
- 2010年
- 将多值逻辑中的∑-α重言式理论与计量逻辑学中的真度理论相结合,在n值Lukasiewicz命题逻辑系统中引入了公式相对于有限理论Γ的Γ-绝对真度概念,讨论了它的若干性质.利用Γ-绝对真度定义了公式间的Γ-绝对相似度与伪距离,为进一步建立n值Lukasiewicz命题逻辑系统相对于有限理论Γ的近似推理奠定了基础.
- 许格妮关晓红
- 关键词：伪距离
- 多媒体教学在高等数学教学的利弊分析被引量：1
- 2010年
- 在现代教学技术迅速发展的今天,多媒体技术的出现和在教学上的普及应用,曾经引发了一场教育技术的革命。由于多媒体汇集了文字、图形、动画、视频、声音、特殊效果等,它在增强学生认知能力、扩充学生知识面、提高教学效率等方面发挥了很大的作用,但是在信息传递、知识吸收方面也存在一定的局限性,在运用过程中要理性对待。
- 关晓红艾春瑞
- 关键词：多媒体教学
- ヒukasiewicz三值命题逻辑中公式的可靠真度理论被引量：1
- 2009年
- 基于均匀概率空间的无穷乘积在ヒukasiewicz三值命题逻辑中引入了公式的可靠真度概念,证明了全体公式的可靠真度值之集在[0,1]中没有孤立点;利用可靠真度定义了可靠相似度和伪距离,进而建立了逻辑度量空间,证明了该空间中没有孤立点,为进一步在三值命题逻辑中展开近似推理奠定了基础。
- 关晓红李骏
- 关键词：伪距离
