军用嵌入式软件结构覆盖测试技术

基于军用实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了各种平台软件尤其是嵌入式强实时软件的插装策略,分析了写文件、写内存、按位记录特征值、使用硬件的插装方式的优缺点。提出了有效的结构覆盖测试技术和测试方法。对实时嵌入式软件的测试,具有实际参考价值。     

ARM内核体系架构及ARMv6上的Linux开发与优化

介绍了各款ARM内核体系架构的特性和增强技术,讨论了在ARMv6上的Linux开发与优化。从6款ARM内核体系架构的特性分析入手,引入了对ARM内核体系架构重要增强技术的介绍,在分析ARMv6体系架构功能特性的基础之上,分别讨论了Linux内核和工具链等所做的优化与改进。     

谈如何加强边防检查业务规范化建设

根据边防检查业务建设的现状及要求,分析程序在边防检查行政执法中的地位,探讨加强边防检查业务规范化建设的途径.     

地面防空目标优化分配问题研究

在多年来从事指挥自动化系统研究的基础上,对地面防空目标分配中的若干问题进行了研究。其中包括多目标通道地空导弹武器系统杀伤区的确定,各火力单位相对于飞机类、导弹类目标的射击诸元计算,目标优化分配模型的建立及其求解。     

军工企业破产问题探讨

随着国有企业改革步伐的加快,军工企业改革脱困、结构调整也进入攻坚阶段。由于军工企业历史沉淀的问题较多,本文仅对一些主要问题作探讨分析。 错综复杂的利益关系和社会问题,使军工企业破产工作举步维艰,目前反映强烈的有这样几个问题:     

装备物资供应保障中的装卸优化方法

装备物资装卸作为供应保障的一个重要环节 ,对装备物资保障效能的发挥有着极大的影响。综述了装备物资装卸过程中应遵循的原则和装卸搬运作业方法 ,提出了装备物资装卸的优化方法。     

乌克兰总统签署命令限制俄黑海舰队调动

新华网基辅8月13日电,乌克兰总统尤先科13日签署命令,规定俄罗斯黑海舰队进出乌克兰国境及在乌境内驻地以外调动必须遵守相关程序。     

和谐思维与部队思想政治教育职能优化

军队思想政治教育要适应和谐社会的要求,一方面深化调节,注重满足军人自身发展的需要,引导官兵建立与和谐社会相融合的人际关系;另一方面,运用“和”的思想解决矛盾和问题,达到对官兵负面思想的有效控制。     

利用降维法求平面上的全局最优解

利用前进法与黄金分割法相结合,把二元函数降维为一元函数,给出了平面内全局最优问题的一种新解法——降雏法;提出了降雏算法并证明了全局收敛性;用数值实验结果分析了该方法对全局优化问题的可行性和有效性。