不确定型逻辑程序的综合

本文提出了基于演绎和知识相结合的通过构造性证明综合程序的方法,进而讨论了不确定型逻辑程序的综合和自动综合的有关问题。用append程序的综合展示了这些方法。     

片梭织机之发展

从无梭织机的发展,谈及片梭织机的发展、片梭织机的特点及在织造高档品种时的经济效益优势。还简介了最新的 P7200型片梭织机。     

一种基于Uon Neumann结构的推理数据库系统

本文提出了一种基于Uon Neumann结构的推理数据库系统,它克服了普通数据库系统及一般prolog语言系统各自的缺欠,综合了两种系统的特点,能使现有广泛使用的关系数据库系统升级为推理数据库系统。文中介绍了我们已在 IBM—PCXT上实现的推理数据库查询语言 Hprolog,并详细介绍了Hprolog的两个最低版本Hprologl和Hprolog2。逻辑程序设计语了Hprologl是一个prolog语言子系统。推理数据库查询语言Hprolog2能够基于关系数据库中的元组进行推理。文中最后给出了一个推理数据库的应用实例。     

基于ESTA的电力设备状态评估专家系统

介绍了基于Visual Prolog语言与Esta专家系统外壳的电力设备状态评估专家系统的应用研究。为了使其评估过程智能及计算机化,提出了基于解释推理的评估基本过程框架并引入状态综合指数的概念。对Windows及Web版Esta与大型数据库的连接等做了探索,给出其连接的3种模式及基本方法。其结果实现了一个基于所研究框架的变压器状态评估专家系统,实践表明了该系统的有效性和实用性。     

面向对象逻辑语言SCKE中的限制推理

限制理论是形式化常识知识并进行常识推理的一种重要方法．本文主要研究将限制理论转化为面向对象逻辑语言的可能性，并实现了完成这个转换的编译器．按面向对象逻辑语言的语义运行编译后的程序，可得到与原限制理论相同的结果．将该编译器嵌入面向对象逻辑语言解释器中，可以大大提高该语言的表达能力，特别是可以实现对常识知识表示和常识推理的支持．     

浅谈数学教学中学生非逻辑思维能力的培养

非逻辑思维是指不按固定的逻辑程序进行,不受特定的逻辑规则约束,对思考对象的属性与关系直接作出判断的思维方式。数学史研究表时,非逻辑思维对于数学的发现起了重要的作用,它广泛地存在于数学创造性活动之中,非逻辑思维能力的培养对强化学生的发现意识和创造能力有着重要的作用。下面谈谈我在教学实践中锻炼学生非逻辑思维,培养学生解题能力的初浅体会。     

压油装置油泵电机过载启动原因分析与处理

针对压油装置检修恢复建压过程中油泵电机启动时存在过载这一故障,从压油泵泵组、电机及轴承、启动电流值设定、软启动器启动方式、组合阀加载/卸载逻辑等多方面进行综合分析,最终查找出缺陷产生的根本原因,从而采取行之有效的处理措施,有效避免了同一缺陷的再次发生,对今后处理类似问题提供了宝贵的借鉴意义。     

基于lN平台的OSA/Parlay网关的实现

本文在对IN和OSA/Parlay体系结构进行深入研究的基础上,分析了IN和OSA/Parlay在网络功能上的相似性,提出了用IN平台实现Parlay网关的新思路,即用SIB编写业务逻辑程序的方法实现标准的Parlay接口类,为IN平稳过渡到Parlay开放架构提供了参考,并研究了业务逻辑程序和接口类的对应关系.然后本文以两个典型的应用为例,阐述了业务逻辑程序的启动、服务以及实例销毁的全过程.     

SIMATIC S5-135U PLC实施大系统数据采集和复杂程控

介绍离子膜碱生产过程控制中选用的ＳＩＥＭＥＮＳＳＩＭＡＴＩＣＳ５－１３５Ｕ可编程控制器的硬件配置及软件编制。并举例说明编程的步骤、技巧及设计思想。     

A New Integrated System of Logic Programming and Relational Database

Based on the study of the current two methods-interpretation and compilation-for the integration of logic programming and relational database,a new precompilation-based interpretive approach is proposed.It inherits the advantages of both methods,but overcomes the drawbacks of theirs.A new integrated system based on this approach is presented,which has been implemented on Micro VAX Ⅱ and applied to practise as the kernel of the GKBMS knowledge base management system.Also discussed are the key implementation techniques,including the coupling of logic and relational database systems,the compound of logic and relational database languages,the partial evaluation and static optimization of user‘s programs,fact scheduling and version management in problem-solving.