刘敏
- 作品数：9 被引量：24H指数：3
- 供职机构：陕西师范大学数学与信息科学学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学更多>>
- 具有收获和分段常数变量的捕食-被捕食模型的分支分析被引量：5
- 2013年
- 讨论了具有分段常数变量与收获的捕食-被捕食模型局部稳定性及分支分析.运用Jury判据得到模型正平衡态局部渐近稳定的充分条件;应用中心流形定理和分支理论给出模型分支存在及方向的条件;利用实例验证定理条件与结论的正确性.
- 刘敏陈斯养
- 关键词：分段常数变量稳定性
- 预线性剩余格与逻辑代数被引量：11
- 2008年
- 本文首先讨论了剩余格与FI代数之间、FI代数与MV代数之间的关系,对已有结果进行了改进。随后提出了预线性剩余格的概念,证明了预线性剩余格是BR_0代数与BL代数的基础,从而也就是著名的MV代数、R_0代数、G代数与Ⅱ代数的公共基础。
- 刘敏吴洪博
- 关键词：逻辑代数FI代数BL代数
- MV代数定义的蕴涵简化形式被引量：1
- 2006年
- 通过对MV代数和Lukasiewicz命题演算系统的研究,我们对MV代数的定义进行了简化,并讨论了MV代数和其它代数之间的关系。主要结果是:(1)从蕴涵角度出发,给出了MV代数的两种简化定义;(2)提出了弱格蕴涵代数的概念,并证明了它与BR0代数等价;(3)证明了弱格蕴涵代数是正则Fuzzy蕴涵代数。
- 刘敏吴洪博
- 关键词：模糊逻辑MV代数
- Quantale上的Localic核与Localic余核映射
- 2013年
- 研究了Quantale与单位Quantale Q[e]上的Localic核与Localic余核映射。证明了Quantale Q上的Localic核映射可以惟一地扩张为Q[e]上的Localic核映射,双侧的可换Quantale存在最大的Localic子Quantale。再将以上结论应用于研究Quantale Q上的最大的Localic余核映射到Q[e]的扩张,给出了Q上的最大的Localic余核映射到Q[e]的扩张的所有形式,并且证明了Q[e]有最大Localic子Quantale当且仅当Q是平凡Quantale。
- 刘敏赵彬
- 关键词：QUANTALELOCALE
- L*系统中L*10的特点及应用被引量：1
- 2006年
- 对模糊命题演算的形式演绎系统中的公理L10：（A→B）∨（（A→B）→A∨B）进行了较为深刻的研究，一方面应用L10讨论了L^＊系统与Lukasiewicz系统，GSdel系统的相互独立性，说明L10是L^＊系统区别于其它模糊命题演算的形式演译系统的特征标志，另一方面应用L10证明了L^＊系统中的条件演绎定理，给出了L10在L^＊中的一个重要应用。
- 吴洪博刘敏
- 关键词：模糊逻辑命题演算蕴涵算子语义
- FZ-Domain的基与抽象基的RZ-理想完备化被引量：3
- 2011年
- 在FZ-Domain中引入FZ-定向基与FZ-抽象基的概念,研究了它们的RZ-理想完备化.证明了:对一类子集系统,一个FZ-Domain的FZ-定向基的定向RZ-理想完备化同构于该FZ-Domain;偏序集P是FZ-Domain当且仅当存在一个FZ-抽象基B使得P同构于B的定向的RZ-理想完备化.
- 刘敏赵彬
- 关键词：子集系统
- WZ-Domain与WZ-Scott拓扑被引量：3
- 2010年
- 引入WZ-双小于关系,以此为基础给出WZ-Domain的概念,讨论它的基本性质,证明当子集系统Z满足一定条件时,WZ-Domain上的WZ-双小于关系具有插入性。其次,在Z-完备偏序集上定义WZ-Scott拓扑,证明在一定条件下一个映射关于该拓扑是连续映射当且仅当该映射保定向的Z集之并。最后对WZ-Domain上的WZ-Scott拓扑的性质进行研究,证明对一类子集系统,WZ-Scott拓扑空间是Sober空间当且仅当该拓扑空间具有Rudin性质。
- 刘敏赵彬
- 关键词：子集系统
- 模糊完备格上的模糊同余关系被引量：1
- 2013年
- 在模糊完备格中引入模糊完备格同余关系的概念,讨论了模糊完备格同余与模糊闭包算子之间的关系.证明了一个模糊完备格上的模糊同余关系之集构成的模糊偏序集模糊序同构于其上的模糊闭包算子之集构成的模糊偏序集.给出了模糊完备格同余的商的概念,证明了任一模糊完备格满同态的像都模糊序同构于由该模糊完备格同态所诱导的同余关系的商.
- 刘敏赵彬
