加强海防部队信息化建设

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

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

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

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

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

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

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

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

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

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

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

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

以军民融合式发展思想为指导完善文职人员制度

分析了非现役文职人员制度实行的时代背景、目前存在的主要问题以及解决对策,指出文职人员制度是我军顺应整体社会转型而实行的重大改革,是军民融合式发展思想的重要体现,完善的政策和军地双方的协调沟通,直接关系到这一改革的成败。     

FFT-MTD滤波器组优化设计与仿真

介绍了用FFT算法实现雷达信号动目标检测(MTD)的方法,为提升MTD在强杂波环境下的检测性能,对加权FFT优化MTD时窗函数的选取进行了讨论,比较了6种窗函数加权时FFT等效多普勒滤波器组的幅频特性和改善因子,得出了适合于MTD的最佳窗函数,并针对某型雷达信号体制进行了仿真分析和验证,结果表明优化方法增强了MTD在杂波背景下的检测性能.