基于L^＊系统的一种非单调推理系统

研究了非单调优先推理系统P和累积单调推理系统CM，以及模糊命题演算的形式演绎系统L^*，在L^*系统中定义了后承关系|～：A|～B当且仅当A^2┠B，证明了在L^*系统中的这种后承关系满足累积单调推理系统CM，非单调优先推理系统P的全部规则，但这种后承关系不满足单调推理系统M的逆否律规则，从而在L^*系统中建立了一个介于非单调推理系统和单调推理系统之间的逻辑系统，这为两种系统的理论研究建立一个桥梁以及为模糊控制提供了一种新的思路。     

非单调推理与论辩系统

由于仅以一阶逻辑无法刻画出人类推理过程中的非单调性,因而逻辑学家尝试建立新的逻辑系统来解决这一问题。这些系统被称为非单调逻辑。它们传统上一般采用的是优先蕴含或者一致性和不可证明性方法;而从20世纪80年代末90年代初开始,越来越多的逻辑学家开始尝试基于一种新的方法实现推理的非单调性,称为论辩理论。为此,探讨论辩系统以及其后基于论辩系统而提出的论辩框架是如何刻画非单调推理的,并分析它们相互之间的联系。     

结合优先级和可信度的非单调真值维护系统

不精确推理和非单调推理是人工智能中两个重要的研究方面．分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性,将论据的优先级和可信度引入ＡＴＭＳ,提出了结合优先级和可信度的非单调真值维护系统,并给出其算法．它能有效地处理不完全领域知识下的推理,结合不精确推理和非单调推理的优点,克服两者的局限性．     

带优先级的基于论据的非单调逻辑

分析了常规非单调逻辑的局限性，通过介绍带优先级的非单调逻辑和累积缺省逻辑，指出非单调逻辑不仅需引入优先级而且须基于论据．提出了带优先级的基于论据的非单调逻辑，从而能更有效地处理非单调推理．     

结合优先有和可信度的非单调真值维护系统

不精确推理和非单调推理是人工智能中两个重要的研究方向。分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性,将论据的优先级和可信度引入ＡＴＭＳ,提出了结合优先级和可信度的非单调真值维护系统,并给出其算法,它能有效地处理不完全领域知识下的推理,结合不精确推理和非单调推理的优点,克服两者的局限性。     

一种不一致本体的可废止推理系统

利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统（简称为DeRS）.DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质.     

自然推理系统P中的P∧Q■P

逻辑推理理论是计算机应用人才必备的重要基础理论之一.在自然推理系统P中,推理依据一般建立在包括P∧Q■P规则在内的多条公理式规则基础上.推理规则是不可逆行的单向过程,而在自然推理系统进行中,信息量只能减少,不可能增加.P∧Q■P恰好表现了信息量减少这一特征.因此,一切推理规则均以P∧Q■P为基础.     

中介命题系统MP推理规则的独立性问题

对于一个形式系统而言,在不改变其完备性的前提下,形式越简洁,使用越方便。现在中介命题系统MP推理规则集S的简化定价集S1已经建立,其中S1共有14条推理规则,如果这些推理规则中有一条可以由S1的其余推理规则推导出来,那么它就是不独立的,可以将其删去而不影响形式系统S1的效力,从而得到形式上更为简洁的系统。为此目的笔者利用值模型法对形式系统S1的每条推理规则的独立性一一进行了探讨,发现一条不独立的规则,并且证明了其余每条推理规则都独立于其余推理规则。     

(￡)*系统中的模糊演绎定理的改进形式

研究了模糊命题演算的形式演绎系统(￡)*.对其中的演绎定理进行了详细讨论,得到了在一定条件下的(￡)*系统中的演绎定理:设A,B∈F(S),若|-(q→-p ∨ p)∨q→A,Г(￡)F(S),则Г|-A→B当且仅当Г∪{A}|-B.将(￡)*系统中的模糊演绎定理进行了改进,进一步说明了(￡)*系统所具有的良好性质.同时,在本文定理的证明中进一步体现了(￡)*系统中的公理L10在模糊命题演算形式演绎系统中的作用,为模糊命题演算的形式演绎系统的研究,特别是L10的应用研究提供了一种新的思路和方法.     

广义Hamilton系统与梯度系统

广义Hamilton系统-9梯度系统是两类不同的重要动力学系统．本文研究这两类系统的关系．首先,给出广义Hamilton系统,它是Hamilton系统的一种推广,而Birkhoff系统在一定条件下可成为广义Hamilton系统;其次,研究梯度系统及其意义;最后,研究两类系统的关系,并举例说明结果的应用．     

电子航海系统结构

对电子航海的三个组成部分:船载系统、岸基系统和通信链接分别进行了深入研究.结果认为,技术整合是船载系统的关键;岸基系统应包含安全、保安、应急反应、防污染和商业服务五大功能;数字全球宽带海上通信是未来的发展方向.给出了电子航海的整体系统结构图.     

Latex系统辅助下的学习系统的建构

利用Asp,JavaScript,CSS,VB,Latex编程语言和软件平台,建构在Latex系统辅助下的学习系统,实现数据库的管理、考生的考试、学校老师公布各种消息、学生的留言、学术问题讨论、问题的答疑、各种共享资源等功能,并利用Latex系统达到完美的出版质量.并且重点分析了以往学习系统的弊端以及如何通过应用Latex系统改善学习系统的相关性能,并给出了具体的实例.     

基于OPC技术的DCS信息集成系统

介绍了OPC技术的原理和方法,及其在企业管控一体化信息集成中的功能及应用,并构建了一种基于OPC技术的DCS信息集成系统,以实现DCS与管理网的数据通讯.详细叙述了OPC客户端的具体实现技术以及数据上传技术.系统运行表明,基于OPC技术的DCS信息集成系统打破了管理网络和DCS控制网络的分离状况,使管理人员能够更及时地了解整个DCS系统的现场运行状况,并做出更加合理的决策.     

梁桥结构损伤系统识别

基于梁桥的静态试验数据,采用系统识别原理,提出了一种梁桥结构损伤的识别方法。结合一五跨连续梁桥结构,进行了数值分析,取得了满意的识别结果,表明该方法具有较好的收敛性和可靠性。     

航标信息系统

基于计算机、现代通信及互联网等技术,实现由航标信息GIS平台子系统、航标监控子系统及航标信息发布子系统等三大部分组成的一体化航标信息系统.实现了基于电子海图基础数据的航标信息发布新技术,有力地促进了航标日常管理与维护,为船舶及涉海部门及时、准确、方便获取航标信息提供了技术保障.     

创新人才创新力评估体系与激励制度研究

研究了创新人才的创新力评估体系和激励机制,为企业在严峻的竞争压力下构建创新评价体系和制定创新人才的激励制度提供了理论基础。同时提出人力资源管理实践中增强员工向心力的方法,为创收和员工创新力发展提供了方法和激励制度依据。     

基于知识的控制系统设计与实现

介绍一个基于知识的控制系统ＥＯＣＳ设计、着重阐述了硬件结构、软件结构原理，解决了传统控制方法的不足，实践证明，ＥＯＣＳ系统运行可靠、稳定、抗干扰能力强，取得令人满意的效果。     

用专家系统评估工厂供电系统的可靠性

建立了更加切合实际的断路器四状态可靠性模型，提出了元件故障不独立时电气主接线可靠性评估的基本理论，形成了相应的专家系统。应用该专家系统，对两个工厂供电系统的可靠性进行了定量评估。     

Agent与基于Agent系统

对Agent、基于Agent系统、Multi-agent系统的定义、特征等方面进行了闸述。初步说明了基于Agent系统的应用特征与应用现状。