基于中间表示规则替换的二进制翻译中间代码优化方法

动态二进制翻译在实现多源到多目标的程序翻译过程中,为屏蔽不同源平台间的硬件差异引入中间代码,采用内存虚拟策略进行实现,但同时带来中间代码膨胀问题.传统的中间代码优化方法主要采用对冗余指令进行匹配删除的方法.将优化重点聚焦在针对特殊指令匹配的中间表示规则替换上,提出了一种基于中间表示规则替换的二进制翻译中间代码优化方法....     

常用航迹初始化技术分析

评价了四种常用的航迹初始方法的性能,这四种方法是:基于规则的方法,基于逻辑的方法,霍夫法和改进的霍夫变换法。详细描述了这四种方法,针对距离方位系统,通过蒙特卡洛模拟比较了在杂波环境下各种算法对于捕获新航迹和产生虚假航迹的概率,特别是多目标的情况下。     

基于EFSM模型的可执行回归测试数据生成方法

基于扩展有限状态机(extened finite state machine, EFSM)的回归测试过程中，传统的可执行测试数据生成方法由于没有充分利用软件变更信息，在对模型分支错误进行检测时效率较低。为此，提出了一种基于EFSM模型融合的可执行回归测试数据生成方法，制定规则对软件变更前后的模型进行融合，将程序变量作为符号对融合模型中所需覆盖的测试序列进行遍历，结合软件变更信息生成变量约束表达式组并求解得到最终的回归测试用例。实验结果表明：该方法在分支错误检测率、可执行比例、稳定性和测试效率等方面具有一定的优势。     

基于作战指挥规则图谱的辅助决策方法

作战指挥是保证作战胜利的关键,基于规则的作战指挥研究一直是研究的热点.通过构建作战指挥规则领域知识图谱,可以进一步解决当前基于规则的作战指挥辅助决策方法没有考虑规则关联性、可视化等问题.研究建立了作战指挥规则图谱的图数据模型,设计实现了相应的辅助决策路径搜索生成算法,并验证了其可行性,可以为基于规则的作战指挥提供参考.     

正确处理民族团结与稳定边防的关系

边境地区绝大多数是少数民族聚居区,民族宗教问题突出,历来是国内外敌对势力渗透、分裂、颠覆的重点地区。历史经验证明,搞好边境地区各民族团结是实现边境地区社会稳定和边防巩固的重要保证,是边境地区稳定和发展的政治基础。首先,边防部队要认真学习党的民族宗教政策,熟悉有关民族工作的规定,自觉尊重少数民族的风俗习惯,牢固树立民族团结为大局的思想,把加强民族团结作为稳定边防的一项重要工作,常抓不懈。其次,要做好民族团结宣传教育工作。向边境地区各族人民深入进行爱国主义和国防教育,提高沿边干部、群众的国界意识和政策法规观念,…     

战时装备维修保障力量抢修行动模型构建与求解

针对战时装备维修保障任务重、修理时间有限以及维修保障力量类型与待修装备损伤需求不匹配,难以实现战场精确保障的问题,进行了战时装备维修保障力量多目标行动控制研究。考虑修理时间窗、装备损伤状态、维修保障力量类型与维修保障能力变化以及非遍历性等复杂约束,构建了以装备重要度总和、修竣装备总和以及超出修理时间窗时间总和为目标的维修保障力量多目标抢修行动控制模型。对带精英策略的非支配排序遗传算法进行改进,结合变邻域搜索算法加强算法的局部搜索能力,设计了改进变邻域搜索和非支配排序遗传算法的混合算法实现模型求解,并通过示例验证了模型及算法的合理性和有效性。     

人工蜂群算法及其在路径寻优问题上的应用

针对多旋翼无人机路径寻优问题,结合人工蜂群算法的特点,提出一种改进的人工蜂群算法,根据飞行原理,建立飞行环境矢量化模型,并对其飞行过程的相关约束条件综合分析,结合路径规划的目的与要求构建出路径规划的目标函数模型,利用人工蜂群算法结构清晰、自适应能力强等特点,实现多旋翼无人机路径规划算法,并结合相关寻优手段对算法进行改进,以增强算法的寻优能力。     

基于约束跟随的无人战车编队控制

针对无人战车编队系统控制过程中需要克服非线性和不确定性的问题,提出一种基于约束跟随的自适应鲁棒控制方法。以伺服约束的形式描述被控系统需要遵循的约束,并建立约束跟随误差,将编队控制问题转化为一类近似约束跟随问题。考虑编队执行任务时需要到达指定的作战区域,在行驶约束的基础上添加到达约束;设计自适应鲁棒控制器,利用Lyapunov稳定性分析方法,证明系统误差一致有界和一致最终有界。进而保证编队系统在复杂的不确定因素干扰下,仍具有较好的被控精度和系统稳定性。仿真实验结果表明：该自适应鲁棒控制器较好地解决系统中的不确定性,在满足编队系统队形要求的同时,驱使战车编队到达目标区域。     

坚持严管和厚爱相结合 推动基层建设高质量发展

<正>习主席指出：“要坚持严管和厚爱结合、激励与约束并重,鼓励实干,鼓励创新,帮助解决现实问题,把大家积极性、主动性、创造性充分调动起来。”这是习主席从历史和现实、理论与实践结合的深入思考中提出的强军兴军的时代课题,作为一线带兵人,各级主官必须当好答卷人、破题者。     

基于置信规则库的防空目标意图识别方法

为解决防空反导体系对于目标意图识别中多源信息处理的问题,提出了一种新的防空目标识别方法——置信规则库(Belief Rules Base)识别模型,该方法是基于BRB专家知识系统的自学习方法,可以有效处理多源不确定性信息。同时,为了提高其识别效率,建立了一种与之相匹配的参数优化模型,并选择差分进化算法作为BRB识别模型的优化引擎。此外,在BRB识别模型中,专家意见也被引用到模型的初始化和推理过程中。最后采用一个实例对BRB识别模型的准确度进行验证。研究表明:该方法具有较强的实用性,可为防空反导体系的目标意图识别提供有力支撑。