刘东利
- 作品数：12 被引量：22H指数：3
- 供职机构：集美大学诚毅学院更多>>
- 发文基金：四川省教育厅科学研究项目国家自然科学基金福建省教育厅科技项目更多>>
- 相关领域：理学文化科学更多>>
- 效应代数中的模糊滤子被引量：13
- 2009年
- 在效应代数中引入模糊滤子和模糊理想的概念,讨论了它们的性质;引入并研究了强模糊滤子;在全序效应代数中提出了一个模糊同余关系并证明了这样生成的同余类是一个全序格效应代数。
- 刘东利王国俊
- 关键词：效应代数滤子模糊滤子模糊同余
- 模糊推理反向三I问题的真度形式解被引量：2
- 2012年
- 在n值命题逻辑系统Ln,Ln*中提出了模糊推理的反向三I问题,并给出了反向三I问题的真度形式解,从而在系统Ln与Ln*中建立了反向三I问题的形式化推理机制,为模糊推理的反向三I算法奠定了逻辑基础。
- 刘东利
- 关键词：真度
- 经典二值逻辑系统L中的MT问题
- 2005年
- 引入了最大前提的概念,研究了二值逻辑系统L中GMT及多重GMT规则的语构理论,实现了FMT问题的形式推理机制,最后给出了最大前提与根的关系,从而说明了MP与MT问题可互相转化。
- 刘东利茹永梅
- 浅谈独立学院微积分课程教学改革被引量：3
- 2008年
- 结合独立学院学生的特点,阐述了微积分课程教学改革的思想,从对教材、教学方法、教学手段及考试方式等方面提出了具体的改革措施。
- 刘东利
- 关键词：微积分教学改革
- Lukasiewicz系统中反向三Ⅰ算法的形式解
- 2010年
- 通过一个F(S)上的预序,提出了反向MP问题,多重反向MP问题以及反向MT问题,多重反向MT问题.在Lukasiewicz命题逻辑系统中讨论并得到了以上问题的解,说明了在某种意义下,这些解和反向三Ⅰ算法的结果一致,从而在Lukasiewicz逻辑系统中实现了反向三Ⅰ算法的形式化推理机制.
- 刘东利段樱桃
- 关键词：形式解
- 正项级数敛散性的朴素教学法
- 2015年
- 在正项级数敛散性教学中,通过分析、讲解定理,激发学生学习兴趣,以便学生有效的掌握并灵活的应用知识.本文给出了几个命题,展示了在这节课中提高教学效果的具体方法.
- 刘东利
- 关键词：正项级数敛散性判别法
- α-三Ⅰ约束问题的形式解
- 2020年
- 提出了α-三Ⅰ约束问题,并在逻辑系统L~*和Luk中给出了这些问题的形式解,建立了这两个逻辑系统中三Ⅰ约束算法的形式推理机制,为α-三Ⅰ约束算法建立了严格的理论基础。
- 刘东利
- 关键词：形式解逻辑系统
- L_n*系统中α-反向FMP和α-反向FMT问题的解
- 2016年
- 提出了α-反向FMP、多重α-反向FMP,以及α-反向FMT和多重α-反向FMT问题。通过在F（S）中引入一个预序,在Ln^＊系统中,给出了上述问题的解。并说明了这些解从形式上和α-反向三I算法的结果一致,从而在逻辑系统Ln^＊中建立了反向三I算法的形式化推理机制。
- 刘东利
- 效应代数中的模糊滤子及其与两种模糊代数系统之间的关系
- 自从1936年J.Von.Neumann和G.Birkhoff在他们的著作《ThelogicofQuantumMechanics》中提出量子力学的量子逻辑问题以来，许多相关方面的研究接踵而来[1-8].其中一种重要的研究...
- 刘东利
- 关键词：效应代数滤子蕴涵算子
- 文献传递
- 伪效应代数中的模糊滤子与模糊理想被引量：3
- 2011年
- 在伪效应代数中提出了模糊滤子和模糊理想的概念,讨论了它们的性质;引入并研究了强模糊滤子和强模糊理想,得到了一些好的结论。
- 刘东利
- 关键词：模糊滤子
