一种基于知识的作战计划系统设计

作战计划系统是复杂的问题求解系统,在军事领域的各个方面发挥着重要的作用。介绍了当前一些主要的作战计划辅助生成系统及其特点,分析比较和归纳整理了当前军用计划系统所采用的一些常见规划技术和优缺点,重点分析了作战计划系统中的智能规划技术。在此基础上,提出了一种基于知识的作战计划辅助生成系统的开发设想,构建了系统知识库,系统采用层级任务网络规划技术,给出了这种规划技术的理论框架和算法过程,并且把这种技术与多主体规划技术相结合,辅助实现军事作战任务的逐层分解与规划优化,进而生成完整的行动序列,较好地解决了作战计划辅助生成问题。     

协议测试中测试序列生成方法综述

文章在介绍协议一致性测试基本概念的基础上,重点列举了测试序列的几种生成方法。对目前广泛采用的形式化描述模型,重点介绍其中基于有限状态机模型的测试序列生成方法,同时对基于扩展有限状态机以及确定有限状态机的测试序列生成方法也进行了介绍。文章对每一种方法介绍了其原理并分析了其使用中的局限。文章最后指出了在协议测试中面临的问题和进一步研究的方向。     

基于传递闭包的任务时序依赖关系建模方法

建立正确、有效的任务模型是正确引导出信息系统需求的关键步骤。文中针对任务间时序依赖关系,给出与任务建模相关的若干形式定义和命题,帮助分析人员判断任务间的并发和死锁。给出任务间时序依赖关系建模的详细步骤,并根据时序依赖关系的传递性质,给出一种任务关系图上的传递闭包方法,可以帮助分析人员直观地判断任务间时序依赖关系的问题和错误,科学、合理地标记各个任务的时序等级属性,帮助建模人员从全局上明确各个任务在执行时所处的相对位置,以及在每个阶段需要同时展开哪些任务。     

基于CGF的水面舰艇编队模型仿真

计算机生成兵力(CGF)技术在水面舰艇编队智能化生成和仿真方面有着十分广阔的应用前景.从水面舰艇编队CGF物理模型人手,研究了水面舰艇单舰及战斗编队、舰载直升机和潜艇等兵力的仿真,实现了CGF兵力在执行各种作战任务过程中的所有战术动作仿真,重点研究了水面舰艇编队的攻击、防御智能决策和软硬武器的智能化仿真,包括导弹、鱼雷、深弹、电子对抗和水声对抗器材等.通过在舰艇作战仿真训练系统的应用,表明CGF对提高水面舰艇编队兵力生成和仿真的智能化程度是非常有效的.     

广义的坦克远程火力军事需求分析

由于广义的坦克远程火力(ELFoT)侧重于火力体系,存在坦克远程火力定位及其与地炮火力的区分问题,因此从未来20年内火力的发展与作战运用的角度界定了坦克远程火力,分析了它与支援火力的关系,并改变过去武器系统需求分析的思维模式,单纯从战术上分析了其作战任务、作战力量使用、作战对象及其运用价值等需求问题,最后论述了装甲机械化部队(AMT)的发展与再定位.     

狭义的坦克远程火力军事需求分析

坦克作为一种近距离格斗兵器来使用的科学性、合理性勿庸质疑,传统的使用方式却导致发展坦克的远程火力成为一个备受争议的话题.立足于信息化作战的背景及我军的现实,着眼于陆军武器系统未来发展的趋势,分析了未来陆军可能的作战模式及其火力体系,从军事、经济、技术的角度分析了我军装甲机械化部队发展坦克远程火力的必要性,并在此基础上分析了坦克远程火力的作用距离、使用的原则与使用的时机,最后对武器装备的"非对称"发展模式提出了初步的看法.     

以科学发展观全面推进战斗力生成模式根本转变

胡主席提出以科学发展观为统领,建设伟大的社会主义和谐社会.在我军的现代化建设进程中,必须要以科学发展观全面推进军队战斗力生成模式的根本转变.在军事思维上,必须实现由"要素分离"型向"体系融合"型主导转变;在训练理念上,必须实现由"消极安全"型向"实战任务"型转变;在系统建设上,必须实现由"条块分割"型向"综合集成"型转变;在军事实践上,必须实现由"经验归纳"型向"虚拟实践"型转变;在管理控制上,必须实现由"粗放低能"型向"和谐高效"型转变.     

基于品质度量的移动Ad Hoc网络分层密钥管理优化技术

提出了一个分布式的基于品质度量的分层密钥优化管理机制。该机制通过动态选择高品质的节点作为PKG来增强移动Ad Hoc网络的安全性,并将网络生存时间最大化。节点的选择可以归结为随机(restless bandit)问题,并且将密钥更新过程分为在线和离线两个部分,从而降低了计算复杂性。仿真结果表明,该机制可增强网络的安全性和将网络生存时间最大化,非常适合移动自组网的应用要求。     

稳步推进核电发展 提升核工业的核心竞争力

<正>在短短二十多年的时间里,中国核电后来居上,通过引进、消化、吸收和创新,在质量、性能、管理和主要技术指标方面达到并保持世界核电的先进水平;通过创造具有国际竞争力的自主品牌,实现我国核电工业的跨越式发展,带活了整个核电产业链。