装备可测性设计与评估技术综述

可测性设计对于提高装备的测试水平、缩短故障检测和隔离时间，进而降低使用保障费用具有重要的意义。论文综述了装备可测性技术的国内外发展现状，阐述了可测性的技术体系，对其关键技术进行了分析研究，提出了目前亟待解决的关键问题和难点问题，并对进一步的研究发展给出了建议。     

概念层次网络中对偶性设计

首先对概念层次网络（ＨＮＣ）理论作简要说明，然后根据ＨＮＣ中层符号个性化设计理论给出对偶性设计方案，和偶性的具体表现，并给出对偶性概念具体表现的注解。     

本刊加入“中国知网(CNKI)”“万方数据”等数据库的声明

为了实现学术期刊编辑、出版、发行工作的电子化,推进科技信息交流的网络化进程,我刊现已加入"中国知网(CNKI)""万方数据--数字化刊群""维普全文数据库""中国终身教育学术研究数据库"和"超星数字期刊"等数据库。凡本刊刊用的文章,将一律由编辑部统一纳入这五个数据库,进入因特网提供信息服务。不同意者,请预先声明。     

在崇尚读书中登攀精神高地

书是记录社会发展和人类思想的珍贵印记，是智慧与情感的沉淀，是时间与空间的凝结。读书，可以使我们丰富阅历，从容面对人生；拨开迷雾，了解真实世界；净化灵魂，坚定前进决心。过去，有识之士把“修身、齐家、治国、平天下”作为人生追求，而今，读书更是我们增长才干、加强修养、成就事业的“金钥匙”。     

随机误差对舰炮火控系统设计精度要求

针对舰炮武器系统精度设计的需求,以某型舰炮为例,采用蒙特卡洛法,利用6自由度弹道模型解算数百条弹道,求出在特定的命中概率下,火控系统修正舰艇摇摆时产生的随机误差对目标高度、水平距离及舰炮射角、射向的影响,从而对火控系统设计精度提出要求.靶场实践证明应用此方法可以提高舰炮武器系统的命中概率.     

战争设计工程中专家群体研讨组织研究

通过对产生战争复杂性原因的分析,对战争设计工程提出的专家群体集体研讨方法进行了研究;并重点对专家群体组成、在研讨中的作用与专家之间协作关系进行了阐述。为对抗由战争复杂性引起的诸多战争问题,提供了一种切实可行的研究方法。     

Prolog动态代码的两种语义及其实现方法

Prolog数据库操作内部谓词是Prolog非逻辑成份的一个重要组成部分。为了实现Prolog程序的可移植性,这些内部谓词应有一致的操作语义。本文首先讨论了两种比较合理的语义,然后论述了这两种语义在WAM框架下的实现方法。     

编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。