面向C程序的测试用例自动生成实现

软件测试工具很难达到通用的目标,大多数该类工具都是具体针对某一种或几种程序语言的.对于目前我军常用的程序编写语言开发相应的软件自动测试工具是十分必要的.介绍了一个面向C程序的测试用例自动生成系统,重点阐述了其系统结构的构成以及所采用的一个新的搜索寻优算法.该算法有效地改善了前有算法的一些缺陷,显示出不错的效果.     

对策理论的防空作战决策级融合模型

随着防空C3I系统的发展,防空作战决策的过程较以往更为自动化,用于生成各种作战辅助决策方案的计算机模型也具备随着作战环境改变所表现出一定的自适应调整的特征.影响防空作战决策结果正确性的因素众多,表现这些因素的信息有些是冲突的,为得到更为准确、有效的决策方案,各类冲突信息的处理成为防空作战的核心问题.构造了一种在冲突信息环境下基于对策理论的融合模型,以对策理论的相关算法实现了融合中心各类信息的交互决策.实践表明,这一融合模型能有效地解决防空作战决策中各类信息的综合处理问题,具有一定的实用价值.     

联合指挥控制系统（JC^2）的体系与能力

一、JC2的由来美国国防信息系统局(D ISA目前正分析“全球指挥控制系统”(G C C S),向能够为国防部提供更为全面作战能力的体系结构转型。作为主要的联合战场指挥控制系统,G C C S将被更为完善的“联合指挥控制系统”(JC2JointC om m and&C ontrol)所取代。JC2将成为美军向网络中心战转型过程中联合指挥控制能力的基础。美军计划JC2系统将于200年具备初始能力,以适应其未来的一体化战略。美军最早的战略指挥控制系统是上世纪60年代建成的全球军事指挥控制系统(W W M C C S)。随后,为了适应局部战争的需要,美军建立了诸多战术级…     

陆战火炮下海来

随着海湾战争后各国海军战略的大调整,特别是海军逐步担负起近岸火力支援和对陆纵深攻击作战等新任务,欧美部分国家海军在加紧研制对陆攻击作战平台及对陆攻击导弹的同时,也在大力发展大中口径舰炮。目前在舰炮发展领域最引人关注的就是多种欧洲著名的陆战火炮被移植到海军舰艇上,此举不仅极大地增强了舰艇的火力支援能力,亦成为目前世界海军装备发展的一道新风景。由于陆战火炮威力大,射程远,备弹多,反应快,且炮弹的价格较反舰或对陆攻击导弹低廉得多,因此这些火炮“下海”装备到舰艇上后,无疑将在未来局部战争中扮演非常重要的角色。这对我海军也有一定的启示。     

论消防出警的交通肇事与义务冲突

消防出警时存在着尽快赶赴现场与确保交通安全的义务冲突,如果因超速行车造成严重后果时,可以以义务冲突作为免责的理由,而不能对行为人以交通肇事罪论处。     

潜艇在网络中心战中的位置

本文介绍美国海军在传感器和武器驱动下,为创造部队协调的最佳协同作战正努力为21世纪的作战管理创造一种“系统中的系统”。随着连接性的不断增强,潜艇开始发现它在网络中心的适当位置——导致寂静的服务进入更为“有声”的操作时代。     

俄罗斯AK-176M型76毫米舰炮

本文介绍了俄罗斯(前苏联)76毫米舰炮发展概况,主要介绍 AK-176M 型单管76毫米舰炮的技术性能、技术特点和装舰使用情况。     

柴燃联合动力装置推进轴系合理校中研究

本文在采用传递矩阵法建立的轴系校中数学模型的基础上,研究了柴燃联合动力装置（ＣＯＤＯＧ）推进轴系在热态运行状态下的优化合理校中问题,提出了ＣＯＤＯＧ推进轴系优化校中的计算方法,讨论了轴系设计及计算中应注意的问题。     

论《寒夜》人物性格的矛盾冲突

一九八0年四月,巴金在访问日本东京时的一次讲话中说：“我的生活中充满矛盾,我的作品里也是这样。爱与憎的冲突、思想和行为的冲突、理智与感情的冲突、理想与现实的冲突……这一切织成一个网,掩盖了我的全部生活、全部作品。我的每一篇作品都是我追求光明的呼声。”这是作家巴金对自己生活和创作的深刻概括。