论文部分内容阅读
论文对泛逻辑的广义重言式理论进行研究，给出了泛逻辑的中极形式系统中的广义重言式的一系列性质。主要结果有：在泛逻辑的中极形式系统中。对于[0，1]内的任意有理数，均有可达重言式，且是类类互异的；给出有理点的一个升级算法；当α∈Q∩(0，1)时，[α]-MP规则与[α]-HS规则不成立。
泛逻辑的中极形式系统中的广义重言式理论
【摘 要】
：
论文对泛逻辑的广义重言式理论进行研究，给出了泛逻辑的中极形式系统中的广义重言式的一系列性质。主要结果有：在泛逻辑的中极形式系统中。对于[0，1]内的任意有理数，均有可达重言
【机 构】
：
西北工业大学计算机学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年35期
【基金项目】
：
国家自然科学基金(编号:60273087),,国家863高技术研究发展计划项目(编号:2002AA412020),,北京市自然科学基金项目(编号:4032009)
其他文献
随着合成化学的发展，成千上万的新化学实体（NCEs）需要筛选。利用体外筛选技术在早期验证NCE在药物代谢方面的特性，对预测潜在的不良反应和药物相互作用是非常重要的。采用何种体
论文介绍了遗传算法在制造系统设备布局中的应用。首先根据实际布局情况，将布局归纳为单行和多行两种类型，分别建立相应的布局数学模型，然后采用遗传算法进行求解，并给出了一个算
如今，女性对美的追求早已从注重脸总转移到身体的全方位保养，从爱用化学产品到只用纯天然草本配方产品。而体现女性性感魅力的至关重要的胸部护理，也如火如荼地进行着改革，草本美
有位《美容院》的编辑问我：对美容院的老板来说，哪些话题她们最感兴趣？我豪、毫不犹豫地回答，如何吸纳客源以及怎样管好美容师。的确是这样，在我从业七年的时间里，拜访过超过一千家
美容产业的比重目前在各大行业中的地位和份额已越来越大，可见美业的受重视程度以及其市场相当可观，是典型的朝阳产业，前景也被世人看好，因此吸引了很多的投资者观望。但往往由于
该文介绍了基于目标代码(二进制编译文件)为Linux运行时系统内核内存映像打补丁以修改内核的原理和方法，并给出了一个示例场景和程序以说明其应用。掌握该方法对于内核开发、
传统软件开发模型存在开发效率不高，不能很好地支持软件重用等缺点。在多个大中型软件项目的实践基础上，提出了基于体系结构的软件开发模型(ABSD)。ABSD模型把整个基于体系结构
在可扩展系统研究中存在两种途径，但这两种途径都存在明显的缺陷，灵活内核技术改变以往可扩展操作系统的研究的思路，把构件技术充分地融入到系统体系结构的设计中，使得系统在获得