关于部分K值逻辑中准完备集之最小复盖的一些结果（Ⅱ）

根据部分K值逻辑的完备性理论,证明了L型函数集L_(G4,2)是P_K~*中准完备集之最小复盖的必要组成部分。     

基于智能门禁的匙锁多类关系共存机制及实现算法研究

在提出多类关系并存智能门禁工作模型的基础上,通过对门禁匙锁进行概念抽象,匙锁关系数学分类,建立了较为全面的可计算性”匙—锁”多类关系。提出用映射机环节配置方法实现智能门禁中多类关系共存机制,并对环节配置规则进行了严格证明,设计了实现这一机制的实用算法,本机制已付诸实施,各项功能发挥正常,本机制有益于促进智能门禁的后期智能开发,提高智能门禁的整体智能程度,满足社会发展对智能门禁的新要求。     

一种新的复杂地质体采矿工程剖面图自动生成方法

提出基于三维实体快速切割算法和区域(内含孔、岛)自动识别技术的地质体剖面图自动生成方法.基本思想是:首先采用基于平面隐函数的切割算法实现地质体的快速切割,生成离散的交线;并采用基于KD树的空间快速索引方法,确定交线间的邻接关系,并生成一系列封闭的轮廓线;封闭的轮廓线将平面划分为多个复杂的区域,采用图论中的树结构形式化表达复杂区域;最后对树表示的区域进行岩性图案的填充.该算法已在DIMINE 数字矿山系统中实现,并应用于三维地质实体工程出图模块中.实验结果表明:该算法有较好的计算效率,是一种比较实用的地质体剖切方法.     

关于部分K值逻辑Sheffer函数判定的一些结果(II)

根据部分多值逻辑的完备性理论，证明了m=2时的两类正则可离函数集必然不包含在P的极大封闭集之最小覆盖中。     

部分四值逻辑中保三元单纯可离关系函数集最小覆盖之确定

根据部分K值逻辑的完备性理论和相似关系概念,定出并证明了属于准完备集最小覆盖的保三元单纯可离关系函数集.     

部分三值逻辑中准完备集的最小复盖

根据部分K值逻辑的完备性理论,定出了P_3~*中所有准完备集的最小复盖,并依此构造出大量的部分三值Sheffer函数。     

日益崛起的霹雳火神——燃烧武器

火被用于战场可以追溯到很久远的年代。中外战争史上都有关于火的故事。如三国时诸葛亮借东风,火烧赤壁,大破曹兵百余万的故事妇孺皆知;古希腊科学家阿基米德用凸镜聚光,火烧罗马兵舰等等,都是火攻的著     

关于部分K值逻辑Sheffer函数(III)

根据部分多值逻辑的完备性理论 ,证明了m =2时的一类单纯可离函数集在P k 的极大封闭集之最小覆盖中必须出现 .     

关于部分K值逻辑Sheffer函数(Ⅲ)

根据部分多值逻辑的完备性理论，证明了m=2时的一类单纯可离函数集在P^*k的极大封闭集之最小覆盖中必须出现。