PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

吊放声纳非探测时间的计算公式

使用吊放声纳探测潜艇是直升机反潜的主要样式。在评价直升机跟踪潜艇和潜艇规避其跟踪的方法中,吊放声纳非探测时间是最主要的参数。此外给出了计算非探测时间的公式。     

野战防空C~3I系统可靠性试验方法探讨

复杂武器系统功能级的划分应用于可靠性试验中,是近几年可靠性学术界正在探讨的问题。根据野战Ｃ￣３Ｉ系统的特点,提出了功能级的划分,论述了试验的原则及失效的分级,为Ｃ￣３Ｉ系统可靠性鉴定试验提供了较具体的实施方法。     

小高炮综合体动态射击精度考核方法和设备的研究

本文论述了目前小高炮综合体的动态射击精度、考核方法及其测量设备的优缺点,并对新的考核方法和设备提出了设想。     

开展社区国防教育应注意的几个问题

全民国防教育已在机关、学校、企业等领域得到广泛开展,并取得了明显的成效。但随着市场经济的深入发展,“单位人”群体日渐萎缩,“社会人”群体不断扩大,社区的功能不断凸显。因此,国防教育必须打破传统的依托单位搞教育的格局,进一步加大社区国防教育的力度,努力探索社区国防教育的新思路。 在改革开放和发展市场经济的条件下,国防教育的     

组织设计方法研究：组织协作与效能

介绍了A2C2系列实验,并通过对A2C2实验1到实验5所采用组织结构、结构设计算法以及实验所获取的数据分析,重点研究了组织协作与组织效能的关系,在其实验结论(组织协作与效能关系的不确定性结论)的基础上对组织结构设计优化算法提出了改进思想。     

空间查询语言中拓扑关系的定义

拓扑关系是一种重要的空间关系,被广泛应用于空间查询和空间分析中。因此定义一个完备、互斥且可以嵌入到空间查询语言中的命名拓扑关系集合有着非常重要的意义。当前,对拓扑关系集合的定义还不能描述那些由点、线或面等不同维几何对象构成的复杂空间对象之间的拓扑关系。针对目前拓扑关系研究的不足,引入了混合几何对象的概念,基于OpenGISSQL规范(OpenGISSimpleFeaturesSpecificationforSQL),定义了一个拓扑关系集合:{disjoint,touches,within,crosses,overlaps,contains,equal}。它扩充了OpenGISSQL规范中拓扑关系的定义和范畴,具有完备性和互斥性,为空间查询语言中的拓扑关系的定义提供了一个统一的框架。     

一体化联合作战指挥信息流通体系逻辑结构分析

针对协同性联合作战向一体化联合作战转变对作战指挥产生的影响,在正确定位指挥信息流通体系的基础上,从一体化联合作战的本质特征及对指挥信息流通体系的影响出发,设计了基本作战单元指挥信息输入、输出模型,并通过将作战体系区分为四类模块,得出了指挥信息流通体系的逻辑结构.