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