结合逻辑和面向对象范例的一种新模型（SCKE)

逻辑语言和面向对象语言是两种引人注目的知识程序设计语言。如何结合它们各自的优点以支持复杂的知识处理,已成为许多研究者关注的问题。本文首先提出了结合逻辑和面向对象范例的一种新模型SCKE,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征和面向对象语言的结构化、信息隐藏、继承等性质。本文推广了逻辑语言的Herbrand解释,并由此探讨了SCKE模型的形式语义。文中讨论了实现该模型的基于预编译的元级扩充方法,并论述了SCKE模型的主要特点。     

逻辑无环流装置在可逆伺服跟踪系统中的应用

以某型号高精度电视自动跟踪系统为例,阐述了可逆系统中环流的危害,克服环流应采用的技术措施,较详细地介绍了一种实用的逻辑无环流装置的工作原理、电路组成、设计原则、并给出了实验结果。     

转换触发器功能的分离变量法

本文选择“转换逻辑”输入变量中的Q~n真作为分离变量来处理,把Q~n分离出来后,只需要通过简单的逻辑推理便可得到与通常使用的图形法及公式法相同的转换结果。     

面向21世纪消防学科定位的思考

为使面向２１世纪的消防学科有一个正确的定位,以适应２１世纪我国经济发展和消防发展的需要,文章从理论和实践的结合上对面向２１世纪的消防学科构建进行了探讨,提出以“消防科学技术”为名称的二级学科及其理论体系。     

一种高性能图形板的设计与实现

本文介绍了一种采用高性能嵌入式图形处理器、高性能查找表以及超大规模可编程逻辑器件设计的图形显示控制板的基本组成和工作原理。     

普通逻辑直言命题定义新说

本文剖析了以往普通逻辑中直言命题定义的困难与矛盾,从普通逻辑的体系性质的角度对直言命题给出了新的定义,使概念论与判断论顺畅地协调起来,利于普通逻辑的教学与研究。     

军品使用价值的特殊性及其在军事经济学研究中的地位

在军品使用价值中存在着两对内在的矛盾:即“有用”与“无用”的矛盾和武器装备的相对落后与战胜敌人需要之间的矛盾。军品使用价值的这种特殊性对军品价值量的决定,对军品生产和再生产的补偿以及对军品的生产管理均产生决定性的影响。军品使用价值的特殊性及其对军品生产全过程的制约,使军品特殊的使用价值成为军事经济学研究的逻辑起点。     

人工智能在火控系统中的应用

研究了空战时的决策问题,并对人工智能技术用于空战中机动目标的战术机动决策模拟做了尝试,讨论了计算机控制机动目标的战术机动决策逻辑的设计方法,同时也进行了数字仿真。     

邓小平生产力标准思想在历史观上的逻辑结论

邓小平的生产力标准思想对于邓小平理论的全部命题、判断、思想都具有逻辑起点意义。从历史观方面看 ,邓小平生产力标准思想的逻辑结论包括三个方面 :一是生产力标准是衡量社会意识进步与落后的根本尺度 ;二是生产力标准是社会主义初级阶段理论形成的认识论依据 ;三是生产力标准是不发达国家社会发展的最高价值判据。     

命题逻辑的理想形式系统

以双否律、交换律、结合律、分配律和吸真律为公理,仅用等值置换作推理规则,建立了命题逻辑形式系统E。给出了内定理证明的普遍能行方法和十个基本定理的形式证明。提出理想形式不仅仅公理应具有一致性、独立性、完备性,而且推理规则应具有保真性、可信性、能行性。论证了E是理想形式系统。