指挥控制的形式化描述与性质验证

在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。     

建设项目施工组织设计的辅助决策和设计系统

介绍了铁路建设项目施工组织方案选优和图形文件辅助设计系统的功能、结构、特点和运行环境 ,给出了应用多层次多目标决策方法进行铁路施工组织设计方案选优的算法     

科索沃战争中舆论宣传对我们的启示

本文针对科索沃战争中舆论战的特点和规律,对开展未来高技术条件下局部战争中的舆论宣传进行了深入的探索,这对于我们打赢未来战争,搞好宣传工作具有一定的指导意义。     

用PC机评估导弹制导控制系统

在一台装有Windows/C/C 的PC机上,开发用于对导弹制导控制系统进行评估的程序,该程序仿真一个高性能的导弹追击一个规避的目标。该仿真包括实际导弹及其传动装置的动态特性、自动驾驶仪、几种导弹制导法则、导弹引导头/导航系统模型、各种目标模型,和几种积分方法。仿真导弹—目标截击过程,并用C/C 编程语言将其以图形方式显示出来。由于C/C 提供了面向对象的结构、速度、可维性、容易查错的优点,使该仿真较之以前的研究有相当大的改进。程序由三大模块所组成:程序—用户接口、仿真、和图形显示模块。运行各种仿真以说明其程序评估导弹制导控制系统的实用性。     

继电式自动驾驶仪滚动回路自振分析

分析了继电式自动驾驶仪滚动回路的工作特性,给出了该继电特性的描述函数。在此基础上,用描述函数法分析了回路的稳定性,计算出了回路自持振荡的参数,分析了影响自振参数的因素。     

英文/汉字输入综合训练软件的设计与实现

本文介绍了英文／汉字输入综合训练软件的总体结构、系统实现,以及某些关键技术问题的处理。     

课件写作系统的功能需求分析与结构选择策略

本文从“课件工程”的角度出发,对课件及其写作系统的功能需求和结构设计进行了讨论,并介绍了课件写作环境AutoCAI的开发过程和设计策略。     

“3CA”一体化在航空产品研制中的应用研究

介绍的CAD/CAT/CAM(简称“3CA”)一体化工程应用研究,旨在探讨计算机辅助工程技术在航空机械产品设计、试验及制造中的应用,建立可供工程师实际使用的、经济有效的计算机辅助工程环境。本文详细介绍了利用已有条件,建立计算机辅助设计、试验,制造工作站时所进行的若干工作,重点放在建立“3CA”一体化智能环境的论证与实现上,同时给出了“3CA”环境在实际工程应用中的示例。文中所介绍的工作,对于设计、试验和制造领域中的工程师如何利用已有基础条件,建立计算机辅助工程环境具有实际指导意义和参考价值。     

CDEST专家系统工具及其与数据库的接口

介绍、推荐了一种新的专家系统工具──ＣＤＥＳＴ（ＣｈｉｎｅｓｅＤｉａｇｎｏｓｉｓＥｘｐｅｒｔＳｙｓｔｅｍＴｏｏｌ）,并给出了ＣＤＥＳＴ与数据库接口的详细实现方法。