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

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

EEMD+BiGRU组合模型在短时交通流量预测中的应用

针对城市交通流随机波动性强、数据中含噪声多导致预测精度下降的问题,提出一种基于集合经验模态分解(ensemble empirical mode decomposition,EEMD)和双向门控循环单元(bidirectional gated recurrent unit,BiGRU)的组合交通流量预测模型,有效地提升了短时交通流预测的精度。模型利用EEMD算法对原始数据进行分解,根据分解所得的本征模函数(intrinsic mode function,IMF)分量绘制噪声能量图谱,去除分量中的噪声,并将去噪后的IMF分量作为BiGRU网络的输入进行训练,再将训练所得的结果进行重构加和,得到最终的预测结果。实验结果表明,未舍弃含有噪声的IMF分量进行重构的预测结果,相比于参考文献中提出的EMD+LSTM模型、LSTM模型和EEMD+LSTM模型,其平均绝对百分误差分别优化了42.36%、61.82%和30.95%;舍弃含有噪声的IMF分量后进行重构的预测结果,其平均绝对百分误差相比于将全部IMF分量进行重构优化了56.62%。     

计划中的时序偏好表示和非单调推理

针对行动序列计划中的时序偏好问题开展研究,重点关注时序偏好集合内部存在不一致性时完成行动计划的方法。论文的难点和创新点体现在两个方面。针对时序偏好的表示问题,建立了一种二元描述结构,能够实现对时序约束和时序偏好的归一化描述。使用计算辩论技术建立推理框架,用以排除约束/偏好集合中的冲突关系,获得具有最大一致性的约束/偏好子集。在此基础上建立了一种新的计划生成策略,通过映射的方法得到行动序列片段,组合这些片段后形成完整的行动序列计划。通过实例验证了方法的可行性。     

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

世界新军事变革不仅引发了武器装备、军事理论、战争样式、军队体制编制等方面的深刻变化,也对国防动员提出了许多新要求。就预备役部队而言,如何解决快速动员不快的问题,实现战争潜力向战争实力的实时、精确、定向、快速的转化,已成为当前建设亟待解决的重要课题。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)方法以其完备性、高效性已经在工业...