地空导弹旅(团)指挥控制系统坐标变换模型

在以往的人工或半自动化指挥中所采用的方格坐标已不能适应自动化指挥控制的需求,根据地面防空武器坐标系的设置方法,提出适合地空导弹旅(团)自动化指挥控制系统的坐标方案,主要包括:地心直角坐标系、地理坐标系、站心地平直角坐标系.根据实际应用需要,给出了不同坐标间的转换模型,经过仿真计算和实际应用,验证了模型的正确性,坐标转换精度满足系统要求,已在某新型地空导弹武器装备中得到应用.     

兵器装备集团：军民互动促和谐

"军民结合、寓军于民"既是党和国家对国防科技工业的殷切希望,也是国防科技工业落实科学发展观,实现可持续发展、和谐发展和又好又快发展的必然选择。《中共中央关于制定国民经济第十一个五年规划的建议》明确要求:"国防科技工业要坚持军民结合、寓军于民,继续调整改造和优化结     

论新世纪新阶段我国国防后备力量转型建设

为加强新世纪新阶段我国国防和军队建设,军委主席胡锦涛在提出我军"三个提供、一个发挥"的新使命后强调,国防后备力量建设要提高军民兼容水平和平战转换与快速动员能力、科技支前能力、维护社会稳定能力(即"一个水平、三个能力").     

从历史分析推导攻防转换在信息化条件下的规律性表现

目前,在理论研究领域对攻防转换研究比较少,本文从历史上军事转型时期攻防转换特点、规律分析入手,推导了攻防转换在转型时期的规律性表现,进而推导了机械化向信息化转型时期攻防转换的特点,以期能对攻防转换的研究起到抛砖引玉的作用.     

快速动员能否驶上快车道？

世界新军事变革不仅引发了武器装备、军事理论、战争样式、军队体制编制等方面的深刻变化,也对国防动员提出了许多新要求。就预备役部队而言,如何解决快速动员不快的问题,实现战争潜力向战争实力的实时、精确、定向、快速的转化,已成为当前建设亟待解决的重要课题。2003年以来,山西某预备役团立足现有装备,充分利用地方网络技术和信息资源,探索出了一条适应国防动员信息化建设要求的网上快速动员新路子。请看新闻调查——     

从三个方面积极推进国防动员体系与应急管理体系有效衔接

新形势下,各种非战争军事行动呈日益增多之势,积极推动国防动员体系与应急管理体系(以下简称"两大体系")有效衔接,对于有效应付各种非传统安全威胁具有重要意义。     

杨石磊 军旅给了我一次生命的转换

立于相山之巅,杨石磊极目远眺,视线中的淮北原野阡陌如织、秋实似锦,大地完成了又一轮秋实的孕育。但杨石磊却感到内心搁浅着一分沉重,长城的延伸,最基础的工程就在基层武装部燕子衔泥、添砖垒石。在安徽省淮北市相山、烈山两个区人武部政委任上7年,杨石磊日夜萦怀的就是这样一种责任和担当,倾吐着矢志不渝的强军情怀。     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

舰艇编队对潜水声警戒主/被动探测转换区的决策指挥

从大型舰艇编队反潜战术及水声装备作战使用的角度出发,提出了水声警戒主/被动转换区的概念,分析了各种影响因素及其相互关系,研究了水声警戒主/被动转换区的计算方法,建立了转换区的数学模型,得出了多潜艇突防编队警戒幕的概率和水面舰艇编队的对潜警戒探测能力,提出了水声警戒主/被动转换区决策与指挥的方法。     

一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...