LISP-ELP语言的实现技术

LISP-ELP语言是作者设计的一种支持专家系统程序设计的函数/逻辑型程序设计语言,本文介绍LISP-ELP语言的特点及其解释系统的实现技术.该解释系统用C语言编写,并在IBM-PC机上实现.     

巨型广域网连接型通信的一种径路选择协议

在综述WAN标准网络径路选择协议的基础上，本文就连接型巨的WAN提出了一种径路选择方式。通过模拟实验与WAN标准径路选择协议进行了比较。实验结果表明：本文提出的径路选择方式适用于巨型WAN。     

现代性平民化自由人格的生成逻辑——一种基于康德金规则的分析

康德金规则,即"要仅仅按照你能够同时愿意它成为一条普遍法则的那样一个准则去行动",既是全球伦理基础的唯一金规则,也是多元社会道德价值基础的唯一金规则.在大众道德时代中产生的大众人格需求,以及能够获得大众的价值认同,从而形成道德共识的大众道德时代人格培育理想范式,是从现代日常生活生长出来且满足康德金规则的现代性平民人格.     

存在与认识：德日刑法定罪理论的逻辑困境

定罪论是犯罪存在论和认识论的统一。德日刑法定罪理论的存在论与认识论都有深刻逻辑矛盾,存在论是构成要件与违法性和有责性之间关系的矛盾,认识论是构成要件与符合构成要件事实之间关系的矛盾。这些矛盾的直接原因,是德日刑法的形式化犯罪定义。其哲学实质,是混淆了存在论与认识论的性质和功能。德日刑法定罪论根本特征,是三要件的形式化犯罪存在论与二分式的对抗性犯罪认识论相结合。     

浅析"三个代表"重要思想的历史逻辑与时代精神

二十世纪是人类历史上最为波澜壮阔的一百年.中华民族在这一世纪走过了不平凡的历程,革命和建设的成就为她在二十一世纪的伟大复兴铺平了道路.和平与发展的时代背景、经济全球化和世界多极化趋势为中华民族的伟大复兴创造了难得的历史机遇.历史和现实赋予了中国共产党人艰巨而光荣的使命.顺应时代潮流,与时俱进,坚持理论创新,用科学的思想指导中国特色社会主义现代化建设的实践,是抓住机遇、完成使命的必然要求."三个代表"重要思想体现了历史发展的逻辑要求与当今世界和中国发展的时代精神.     

石化装置故障诊断技术的发展及应用

针对石化装置的生产及安全管理的特点,介绍了故障诊断技术面临的挑战和各种常用故障诊断方法,并详细叙述了基于符号有向图SDG(Signed Directed Graph)的故障诊断技术的研究进展,介绍了国内外具有代表意义的基于动态仿真的故障诊断研究试验和应用系统,然后介绍了故障诊断系统在石化装置中的应用.最后总结了各种故障诊断技术,指出了这一领域中有待解决的问题和可能的发展方向.     

基于语义Web的自动推理技术研究

本体论是语义Web的逻辑基础,语义Web研究的主要目的就是扩展当前的万维网,使得网络中的信息具有语义.语义Web出现的目的是为了解决机器和人对知识理解的问题,因此,可以在语义Web的基础上展开推理.以此为思路,首先分析了语义Web的逻辑基础,然后对语义Web的推理形式进行了研究,最后在此基础上提出了一种有效的推理系统,该推理系统解决了传统专家系统中知识表示形式所带来的一些问题,并且能够使建立的知识更好地共享.     

多输入多输出单边逻辑函数优化系统的设计研究

逻辑综合的作用是在功能等价的条件下减少电路中的元件数目,使电路体积减少、能耗降低、故障率下降、稳定度提高。对于超大变量多输入多输出逻辑函数优化,存储开销对输入变量呈2幂次方增长。针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输入多输出单边逻辑函数补集,以积项扩展为基础,完成多输入多输出单边逻辑函数无冗余覆盖。编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素(输入变量数、输出变量数、积项数和无关因子)进行了分析,软件系统在奔腾1.8 MHz、512 M的计算机上通过了正确性验证与测试。测试结果表明性能良好,有效的降低了系统的存储空间和时间开销。     

R0代数中的蕴涵滤子与同余关系

最近,王国俊教授建立了Ｒ０代数理论,为模糊逻辑提供了一种新的代数结构＾「１」。本文在Ｒ０代数中引入蕴涵滤子及同余关系的概念,并且讨论蕴涵滤子与通常代数滤子的关系,还给出了蕴涵滤子和同余关系的若干重要性质。     

多雷达多目标航迹起始算法研究

提出了一种基于聚类分析与逻辑法相结合的集中式多雷达航迹起始算法。首先采用聚类算法对传送到融合中心的数据进行聚类,使每一类中的数据代表同一个目标,并找出聚类中心作为等价的单雷达的量测,从而使航迹起始过程相对简化;在起始算法中根据目标的运动特点,对逻辑法进行了一定的改进。仿真试验证明了该算法的有效性。