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

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

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

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

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

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

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

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

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

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

无人自主系统综合试验测试平台设计

对面向智慧城市、智慧天空、多域协同作战等应用场景的无人自主系统体系,急需具有多域、联合试验、广域多源复杂环境构建能力的测试与评估物理环境和研究平台。利用无人机试验测试中心的综合试验测试系统平台,构建具有空、天、地、海多维应用场景的多层级和体系化的综合试验测试环境与技术研究平台,重点突破无人自主系统多维体系化综合试验验证环境构建、基于云技术的分布式多域协同效能评估测试平台构建,以及基于虚实结合的智能化复杂环境模拟仿真等核心技术,为开展无人自主系统综合试验测试与体系性能评估提供支撑,提高我国试验场的综合试验能力和资源利用效益,增强试验场履行使命的能力有重大现实意义。     

军队武器采购委托代理关系中的激励与约束机制

文章就军队武器采购中信息不对称性的现实,分析了其中的委托代理问题,并设计了治理委托代理风险的激励机制与约束机制。     

基于多项式拟合的无人机攻击路径规划

针对具有终端约束的无人机攻击路径规划问题,提出了一种基于多项式拟合的路径规划方法。首先,通过分析敌方防空雷达的探测过程和敌方防空武器的攻击过程,给出了无人机突破敌方防空的威胁代价计算模型。然后,对无人机攻击目标时的终端约束条件进行了研究。最后,推导了具有终端约束条件的基于多项式拟合的无人机路径规划方法。运用遗传算法对路径规划问题进行了仿真。仿真表明算法能够对具有终端约束条件的无人机路径规划问题进行求解,获得的路径满足该规划问题的性能约束条件。     

航天器近距离交会斜滑制导算法

提出了满足测量视场、最小脉冲间隔、最大脉冲受限等约束的燃料最省的航天器近距离交会多脉冲斜滑制导算法.建立了近距离交会(接近和撤离)多脉冲斜滑制导算法的统一数学模型;提出了理想交会轨道距离和速率的指数函数变化关系,使得算法能够实现任意时间的近距离交会,同时满足接近操作减速和撤离过程加速的任务要求;设计了对数函数映射法进行脉冲寻优.最后通过接近段和撤离段的操作仿真算例进行验证,仿真结果表明,相比最优化方法,对数函数映射法以较小的计算量实现了较好的寻优效果;算法能够以较省的燃料消耗实现轨道面内任意方向、任意时间内满足约束的近距离交会.     

以身许国 功勋卓著——缅怀著名核物理学家王淦昌

1998年12月10日,中国物理学界的一代宗师、中科院资深院士、“两弹一星”元勋——王淦昌与世长辞,安卧在鲜花丛中的王老神态从容,仿佛小睡之后,又会起来.为中国的科技事业殚精竭虑。据介绍,王老生命的最后时刻,还一直在挂念着由他开创的激光惯性约束核聚变研究工作的进展……