加强海防部队信息化建设

陆军海防部队是新型陆军的重要组成部分。军队规模结构和力量编成调整改革后,海防部队进行了全面整体重塑。海防部队信息化建设矛盾仍存在规划建设多元、装备相对滞后等问题。信息化建设应立足海防部队"岸岛海衔接、侦攻防一体"要求,尽快解决薄弱问题,加速推进向信息化、智能化海防转型发展。     

转型期再分配中存在的问题及其治理对策

转型期再分配中存在的问题既有认识上的 ,也有操作上的 ,既包括理论研究层面 ,也涵盖政策设计领域。具体问题包括对再分配原因的认识、目标的选择、问题的认定、地位的判断、功能的界定与作用的发挥、主体的确定与手段的运用等。要治理这些问题 ,就必须强化原因认识、规范目标选择、准确认定问题、科学判断地位、合理界定功能、有效发挥作用、完善主体、健全手段     

坐标变换的虚时频率与辐射温度

对文献[1]提出的零温到有限温度时空的普遍坐标变换作了推广讨论.用共形异常和Green函数的方法计算了温度时空的能量密度和基态能,证明坐标变换的虚时频率就是温度时空的Hawking辐射温度.并运用热力学第零定律等价于钟速同步的传递性的论断讨论了上述结论.     

电子对抗指挥控制系统的行为功能需求

电子对抗指挥控制系统的军事需求分析是制约电子对抗指挥控制系统建设质量的关键。本文主要介绍了电子对抗指挥控制系统的行为功能需求。     

转型期武警综合大学学科专业建设浅探

对照教育教学转型的要求,武警综合大学学科专业建设主要面临教育理念转变滞后、学科优势不够明显、新增专业基础薄弱三大困境。下一步学科专业转型中,要更新理念,科学谋划学科专业建设布局;找准定位,突出培植武警特色学科专业;全面发展,融合构建新型学科专业体系;健全机制,合理配置学科专业建设资源;加强科研,积极促进学科专业创新发展。     

基于解释结构模型法的通用装备保障转型要素结构分析

通过运用解释结构模型法对我军通用装备保障转型的相关要素进行结构分析,旨在辅助研究人员深刻理解和合理判断各种因素之间的相互影响关系,通过结构化分析过程得到能正确反应保障需求的层次,从而为通用装备保障转型进一步分析打下良好理论基础．     

重庆市近11年空气污染指数变化的小波变换分析

运用一维连续Morlet小波变换法分析重庆市近11年逐日空气污染指数的多尺度演变特征、主周期、突变点和变化因素。结果表明:重庆市空气污染指数在不同时间尺度有不同的变化规律,变化主周期为300 d左右;空气污染状况受地形和气象因素影响,呈"冬重夏轻"格局;春分、秋分前后是一年中空气污染轻重状况转换的突变点;2005年后重庆市空气污染逐渐减轻,但冬季有加重趋势。实践证明,小波变换法是研究空气污染指数时间序列变化的有效分析方法。     

基于ABM方法的空间碎片网捕体系结构建模

空间碎片网捕是一种新型的空间碎片清理方式。首先介绍了基于活动的建模方法(ABM)以及进行体系结构建模的流程,之后基于系统的基本工作流程,使用System Architect软件对空间碎片网捕任务的体系结构进行了可视化建模,得到了典型的作战视图,并进行了任务流程的仿真;对理解空间目标网捕系统的功能、研究空间碎片网捕任务的流程,提出系统构建需求具有一定的参考价值。。     

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

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

维修保障单元设计方法研究

针对当前缺少维修保障单元设计方法及具体操作步骤的现状,对特定维修保障力量内部维修保障单元设计问题进行了分析。从维修保障单元的概念入手,以维修任务及其维修资源需求为基础,提出了维修保障单元设计的思路,并对具体的步骤、方法进行了说明。最后,结合具体的示例,对该方法的可行性和易用性进行了验证。