逻辑函数的系统简化法

提出了逻辑函数“系统简化法”的计算机辅助设计方法，从而实现了对多变量逻辑函数的自动简化。     

基于模糊数据融合的AGV导航策略的研究

自动导向车(Automated Guided Vehicle,简称AGV)能够在具有一定地形特征的环境中顺利到达期望目的地或沿期望路径行驶。AGV通常通过多种类型的传感器来感测周围环境,从而实现轨迹跟踪和路障躲避。本文应用模糊逻辑对来自视觉和超声波传感器的数据进行融合以实现AGV在不确定环境下的自主导航,仿真结果证明其可行性与有效性。     

制约逻辑 消解原理 人工智能语言

本文在简介制约逻辑的基础上,提出了基于制约逻辑的消解原理,并探讨了基于这一原理的人工智能语言及其机器实现。     

PROLOG 在情报检索中的应用

本文介绍作者在 IBM—PC 机上用非过程性语言 Prolog 实现的一个科技情报检索系统。本系统具有按主题词,作者,年代和类别检索功能和对情报的编辑功能。虽然具有这五种功能,但是,源程序较短。作者用该系统管理最近几年由《Mathematical Riew》,《Computer&.Control Abstracts》和《Mathematics Abstract》(西德)等三种刊物提供的关于数理逻辑和理论计算机方面的研究情报,使用方便、检索速度快,证明了本系统的实用性。     

模糊生产系统中的Flexible Job-Shop调度模型

引入柔性生产系统下的调度过程中存在的不确定性问题，接着对存在模糊处理时间和模糊操作间隔的柔性工作车间调度问题进行描述，并给出基于模糊逻辑和遗传优化的调度模型，最后通过实例验证模型的有效性。     

多值T门的电路实现及其应用

本文在介绍多值T门算子概念的基础上,着重研究了如何运用DYL集成线性与或门实现多值T门及其在多值逻辑网络设计中的应用。     

中年数学家朱梧槚

本文简单评述了中年数学家朱梧槚所取得的几项重要科研成果:1955—1957年,他与著名数学家徐利治教授合作,获得了连续统假设不可判定的正确思想,并且给出了一个朴素而直观性的证明;1979—1987年,与人合作在数学基础理论方面主要作了如下两件工作,其一是抛球问题的解决,其二是关于有穷或无穷值逻辑悖论的构造;1982—1987年,他与肖奚安合作共同创立了中介公理集合论系统MM。     

基于层次网络法的火电厂安全评价决策支持系统

为了提高火电厂安全管理水平,本文通过将决策支持系统引入到火电厂安全评价领域,结合层次网络法和火电厂安全评价过程特点建立知识库,提高知识的广泛性和逻辑推理的高效性;通过对综合推理机和知识库设计方法的研究,建立一个基于层次网络法的安全评价决策支持系统,帮助火电厂安全评价人员进行安全评价,使安全评价过程系统化自动化,提高了安全评价的效率和准确性.本文重点论述了本系统的目标、总体结构、专业总体构成和网络等.     

从逻辑哲学观点看量子逻辑

1.根据逻辑哲学,量子逻辑可以定位于一种以非分配性为特征的非经典逻辑,它以量子力学家实际使用的科学推理为现实原型或经验基础;2.普特南从量子逻辑的产生而得出根据经验的理由,逻辑是整体可修正的结论。但他同时又主张逻辑联词的意义不变,因此陷入二难困境。3.根据量子力学几种不同解释来重新审视经验理由和逻辑可修正性论证,发现形而上学考量更不可忽视。4.对应原理具有消解普特南二难的方法论功效,量子逻辑对于经典逻辑的继承性与革新性同时可以得到合理解释。     

PLC仿真实验教学内容的探索与发展

基于PLC的仿真实验教学系统具有成本低、教学内容丰富灵活、设备使用安全、可靠性高及维护方便等特点,可开设包含验证性实验、操作性实验、设计性实验和创新性实验等多种类型的数百种实验,是传统实验教学的有效补充。采用该系统建成的PLC程序设计及仿真调试实验平台,实验效果直观,在激发学生的自主学习兴趣方面发挥着重要作用。对PLC仿真实验教学的具体内容进行了研究,并对其未来发展趋势进行了探索。