魏雁天
- 作品数：3 被引量：4H指数：1
- 供职机构：河南师范大学计算机与信息技术学院更多>>
- 发文基金：河南省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 粒空间中基于粒计算的粒语义推理
- 2008年
- 在论域上定义公式,并因其与粒相对应,使得粒空间得以形成.在粒空间中由粒之间的关系确定出粒语义推理,并对此进行讨论.通过粒计算,证得粒语义推理满足命题逻辑自然推理系统的每一推理规则,因此粒空间上的可靠性成立,这表明形式推理蕴涵粒语义推理.尽管粒空间上的完备性不成立,但结果表明粒语义推理是各经典推理模式的扩充,所以粒语义推理既拓宽推理研究的范围,又引进粒计算的研究方法,促成粒计算与逻辑推理的进一步融合.
- 闫林张学栋魏雁天何建仓
- 反优势函数实现属性约简的粒计算分析与证明被引量：1
- 2008年
- 把基于逻辑公式的粒计算方法用于优势关系下反优势函数的理论分析。首先证明反优势函数对应的粒等于所有反优势关系的并,然后对反优势函数以及等价转换成的最简合取范式两者所产生粒之间的运算进行讨论。特别通过对合取范式中合取项所生成粒的研究,证明了与反优势函数等价的最简合取范式中所有的合取项就是信息系统属性集的全部约简,从而以粒计算为工具完成优势关系下对反优势函数实现信息系统属性约简的理论证明。
- 魏雁天刘慧闫林庞善起
- 关键词：析取范式合取范式
- 二维近似空间上基于粒计算的数据识别被引量：3
- 2008年
- 利用逻辑推理和粒计算相互融合的研究成果,通过扩展近似空间,在形成的二维近似空间上定义了逻辑公式和公式确定的粒。为数据识别的需要,特别构造了一类重要的二维近似空间——矩形近似空间。经对矩形近似空间上公式确定的粒进行粒计算,得到矩形近似空间上公式粗糙描述的概念,由此可有效地实现对公式中隐含信息的识别,以达到数据保密传送的目的。这种基于粒计算的数据识别不仅表明前期理论研究的重要性,也表明理论结果的应用价值。
- 闫林党留群魏雁天张学栋
- 关键词：粒计算
