程序设计语言发展过程中应注意的问题

针对目前程序设计语言发展过程中出现的语言种类过杂、语言数量过多、语言结构过于复杂、语言间重复性大以及语言功能求全问题进行讨论,从语言功能分离、符号与内容分离及语言统一的角度初步提出了解决问题的途径,同时对程序设计语言的汉化问题做了简要讨论。     

南京军区召开警备工作会议

前不久,南京军区依托江西省军区组织召开警备工作会议。会议以习主席关于依法治军从严治军重要指示为指导,以全军警备工作集训和《警备条令实施办法》学习贯彻动员部署会议精神为依据,采取辅导授课、观摩示范、研讨交流等方法,理解掌握新规定和新要求,研究探索新情况新问题,规范统一警备司令部建设,并对下一步全区警备工作作了具体部署。辖区各省军区(警备区)副     

航空兵指挥引导模型统一设计方法

针对目前航空兵指挥引导模型种类繁多和求解复杂,且求解过程与战术意义紧密耦合的不足,提出基于基本关系方程和条件关系方程组成的代数方程组进行统一求解的指挥引导模型统一设计方法。以指挥引导模型中典型的一次转弯模型建模求解为例进行统一设计,结果表明统一设计方法可有效实现不同战术意义下各指挥引导模型的统一化,规范了指挥引导建模求解过程,有利于提高建模求解效率。     

完善机制推动军事责任与社会责任相统一

非战争军事行动的实践充分显示了应急动员准备的实际成果,完成好多样化军事任务,就必须在完善运行机制中实现军事责任与社会责任的统一。针对近年来几场重大的抢险救灾行动反映出来的指挥关系不够顺畅、联合程度不够高、物资器材比较缺乏等问题,应重点建立完善以下运行机制。     

试论把两个文明建设作为统一的奋斗目标

要把精神文明建设和物质文明建设作为统一的奋斗目标,首先要把握两个方面建设目标的辩证统一性,其次要正确认识市场经济与精神文明的关系,认识在社会主义市场经济条件下建设精神文明的长期性;第三,要把精神文明建设和物质文明建设作为统一的奋斗目标,必须把领导抓与全面抓有机地统一起来,坚持物质文明和精神文明两手抓,两手都要硬。     

基于UML的海军作战结构模型形式化描述研究*

以海军装备应用研究系统为背景,着眼于海军作战仿真想定生成系统的标准化,通过分析海军作战想定描述的层次结构,针对统一建模语言(UML)在面向对象系统方面的应用特点,探讨了使用UML表示标准的作战想定开发方法,并以合同进攻敌海上编队为例介绍了海军作战想定的设计方法。通过建立实体行动的军事概念模型以及对其进行的形式化描述,实现了军事专业人员和仿真技术开发人员之间的顺利交流,为仿真想定辅助生成系统的开发提供参考。     

基于UML的航天发射指挥控制软件建模研究

指挥控制软件是影响SLC2S高效运行的重要因素之一。为了提高航天发射指挥控制软件的综合效能,基于统一建模语言(UML)建模技术,从软件需求分析出发,对航天发射指挥控制软件开发进行了静态和动态建模,增强了软件的一致性和可复用性,为软件开发奠定了良好基础。     

基于MPI+CUDA的异构并行可压缩流求解器

在CPU/GPU异构体系结构计算集群上,建立了基于MPI+CUDA的异构并行可压缩流求解器。讨论了异构结构上的可压缩流并行算法的并行模式,在CPU上执行计算密集度低、指令复杂的计算任务,在GPU上执行计算密集度高、指令单一的计算任务。通过数个算例,对比了异构并行计算和传统CPU并行计算计算结果和计算效率。将该算法运用于高超声速流动的数值模拟中,数值结果显示,基于MPI+CUDA的异构并行可压缩流求解器鲁棒性好,计算效率较CPU同构并行计算提高10倍以上。     

雾霭图像实时处理算法加速策略

为仿真前视红外导引头实时匹配导引过程,完成目标实时跟踪性判断,针对限制对比度自适应直方图均衡和归一化互相关算法开展加速策略研究,提出基于统一计算设备架构(Compute Unified Device Architecture, CUDA)的雾霭图像实时处理加速方案,并进行设计参数寻优,得出线程块、线程网格设计参数存在最优尺寸,需实验测定的结论。实验结果表明,引入CUDA加速优化后,较未进行CUDA加速前时间指标提高5~20倍,能够满足目标跟踪实时性要求,可为红外导引头目标实时跟踪系统设计提供参考。     

Rational Rose在HLA联邦开发中的应用

作为“建模与仿真”(M&S)的高层体系结构 ,HLA能带给用户的好处将是巨大的。HLA联邦开发与运行过程 (FEDEP)的自动化是促进HLA应用的关键。文中研究了将功能强大的CASE工具RationalRose用于支持FEDEP自动化的可行性 ,指出了应用中应特别注意的问题 ,重点说明了应用中的关键技术 ,并给出一应用实例