国家自然科学基金(10331010)
- 作品数：111 被引量：667H指数：16
- 相关作者：王国俊徐晓泉罗懋康贺伟饶三平更多>>
- 相关机构：陕西师范大学江西师范大学四川大学更多>>
- 发文基金：国家自然科学基金江西省自然科学基金国家教育部博士点基金更多>>
- 相关领域：理学自动化与计算机技术自然科学总论电子电信更多>>
- 双定向完备偏序集上的双Scott拓扑被引量：2
- 2008年
- 本文在双定向完备偏序集上定义了双Scott拓扑,讨论了它的一些性质,得到关于双Scott拓扑紧性的刻画。
- 马雯婷徐晓泉
- 关键词：紧性
- 关于一致连续偏序集的权的一些性质
- 2008年
- 引入了一致连续偏序集的基的概念,给出了其一些等价刻画,讨论了一致连续偏序集的权与相应一致Scott拓扑空间的权之间的关系,并且进一步讨论其与相应的一致Lawson拓扑空间的权之间的关系.最后给出了在一致连续偏序集中,有w(Λ(P))=w(P)=w((P)).
- 阮小军肖水明
- 关于Locale范畴反射子范畴的注解被引量：1
- 2007年
- 利用Locale中的完全正则元和零维元构造性地给出了任意Locale的完全正则反射以及零维反射的描述,并且对于满足‘(?)’关系插入性的Locale,特别地,对正规Locale,证明了全体正则元构成的Locale是其正则反射.进而,利用平稳(flat)子Locale的扩张引理给出了Locale的紧完全正则反射,紧零维反射以及紧正则反射的构造性描述.
- 孙向荣贺伟
- 关键词：反射性
- 概念格属性约简的判定被引量：3
- 2007年
- 引入Galois联络,利用Galois联络深入研究了概念格的基本性质。指出概念格同构是格同构。为了寻求更为简洁、合理的约简算法,在更一般的形式背景(即对象集和属性集有限或无限)中,给出协调集的四类判定定理,将已有结果做了推广而且丰富了协调集的判定。举例说明在一般的形式背景中,约简不一定存在。
- 张东晓王国俊
- 关键词：概念格属性约简协调集
- Boole代数的等价刻画被引量：1
- 2007年
- 目的给出Boole代数的等价刻画,揭示Boole代数和二值命题逻辑的另一种内在联系,使Boole代数更便捷地和其他代数联系。方法从二值逻辑的公理集入手,运用推理,证明,举例的方法进行了讨论。结果得出了Boole代数的等价刻画以及等价刻画中各条公理的独立性.并且利用等价刻画,讨论了Boole代数与其它代数的关系。结论Boole代数新定义的引入为进一步认识和研究Boole代数提供了新的途径。
- 段景瑶王国俊
- 关键词：BOOLE代数独立性
- 广义λ完全分配格的关系表示被引量：1
- 2006年
- 引入了广义λ完全分配格的概念,证明了L为广义λ完全分配格Lop是广义λ超连续格L上的关系/≤op=\≥是广义λ正则的.
- 许广红饶三平
- 效应代数中的模糊滤子被引量：13
- 2009年
- 在效应代数中引入模糊滤子和模糊理想的概念,讨论了它们的性质;引入并研究了强模糊滤子;在全序效应代数中提出了一个模糊同余关系并证明了这样生成的同余类是一个全序格效应代数。
- 刘东利王国俊
- 关键词：效应代数滤子模糊滤子模糊同余
- 关于两个Cartesian闭范畴交的一点注记
- 2005年
- 讨论了关于双Scott拓扑的一些性质.证明了范畴B ICONT(即以双连续格为对象,以双Scott连续映射为态射的范畴)作为两个Cartesian闭范畴B ICONTS(即以双连续格为对象,以Scott连续映射为态射的范畴)和B ICONTSop(即以双连续格为对象,以对偶Scott连续映射为态射的范畴)的交范畴不是Cartesian闭范畴.
- 刘菡贺伟
- 拟连续Domain上的扩张定理被引量：3
- 2006年
- 定义了拟定向极小集,并证明了拟连续Dom ain的每个元都有拟定向极小集,在拟连续Dom ain中,给出了保拟定向极小集映射的几个等价刻画,并且在此基础上得到了拟连续Dom ain上的两个相应扩张定理。
- 饶三平徐晓泉
- 关键词：拟连续DOMAIN
- 经典推理模式的随机化研究及其应用被引量：117
- 2007年
- 利用赋值集的随机化方法,在二值逻辑中提出了公式的D-随机真度概念,证明了全体公式的D-随机真度之集在[0,1]中没有孤立点;提出了D-逻辑伪距离和D-逻辑度量空间,证明了该空间中没有孤立点;指出当取均匀概率测度,且各概率测度均为1/2时,D-随机真度就转化为计量逻辑学中的真度,同时两公式间的D-逻辑伪距离就转化为计量逻辑学中的伪距离,从而建立了更具一般性的随机逻辑度量空间;通过概率逻辑学基本定理,证明了D-逻辑度量空间中逻辑运算的连续性,从而实现了概率逻辑学与计量逻辑学的融合;在D-逻辑度量空间中提出了3种不同类型的近似推理模式.
- 惠小静王国俊
