论文部分内容阅读
论文对泛逻辑的广义重言式理论进行研究，给出了泛逻辑的中极形式系统中的广义重言式的一系列性质。主要结果有：在泛逻辑的中极形式系统中。对于[0，1]内的任意有理数，均有可达重言式，且是类类互异的；给出有理点的一个升级算法；当α∈Q∩(0，1)时，[α]-MP规则与[α]-HS规则不成立。
泛逻辑的中极形式系统中的广义重言式理论
【摘 要】
：
论文对泛逻辑的广义重言式理论进行研究，给出了泛逻辑的中极形式系统中的广义重言式的一系列性质。主要结果有：在泛逻辑的中极形式系统中。对于[0，1]内的任意有理数，均有可达重言
【机 构】
：
西北工业大学计算机学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年35期
【基金项目】
：
国家自然科学基金(编号:60273087),,国家863高技术研究发展计划项目(编号:2002AA412020),,北京市自然科学基金项目(编号:4032009)
其他文献
论文介绍了遗传算法在制造系统设备布局中的应用。首先根据实际布局情况，将布局归纳为单行和多行两种类型，分别建立相应的布局数学模型，然后采用遗传算法进行求解，并给出了一个算
该文介绍了基于目标代码(二进制编译文件)为Linux运行时系统内核内存映像打补丁以修改内核的原理和方法，并给出了一个示例场景和程序以说明其应用。掌握该方法对于内核开发、
传统软件开发模型存在开发效率不高，不能很好地支持软件重用等缺点。在多个大中型软件项目的实践基础上，提出了基于体系结构的软件开发模型(ABSD)。ABSD模型把整个基于体系结构
在可扩展系统研究中存在两种途径，但这两种途径都存在明显的缺陷，灵活内核技术改变以往可扩展操作系统的研究的思路，把构件技术充分地融入到系统体系结构的设计中，使得系统在获得