基于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)方法以其完备性、高效性已经在工业...     

国防预算配置效率的困境与出路

国防预算配置效率只能实现帕累托次优。现实中,信息不对称下的委托代理、官僚主义的经济行为和落后的技术手段是导致国防预算配置效率偏低的主要原因。提高我国国防预算配置效率,应实行参与式预算,体现国防预算的公共性质,借鉴新绩效预算,严格落实预算责任制,同时加快技术手段更新,提高预算决策的科学性。     

美国THAAD导弹能量管理控制机动研究

针对美国THAAD导弹的能量管理控制机动,分析了其试验情况与设计目的,进行了能量管理技术途径的选择,确定了主动段大攻角飞行能量管理方法与相应的姿态调制控制方法,进行了仿THAAD导弹EMM弹道的仿真,得出了能量管理弹道的设计特点。     

我国军工企业发展电子商务分析研究

谁也不能否认,电子商务的巨浪正席卷全球,它的巨大魅力在短短的十几年内风靡世界,让每一个人所惊叹。电子商务技术的成熟和网上交易的扩大正酝酿着一场对流通领域的革命,几百年来形成的基本流通格局以及与此相关的流通理论将受到新的时空观、效率观、价值观影响。可以预见,在全球经济一体化加速发展过程中,电子商务必将重塑我国的流通业。作为同为企业实体的我国军工企业,要在这场革命中立于不败之地,并做强做大,必须要早做准备,充分考虑。一、电子商务的发展及其对我国军工企业的影响电子商务(E-commerce,EC),是指实现整个贸易过程中各阶…