一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

对GPS接收机的欺骗式干扰试验研究

GPS欺骗式干扰具有发射功率小,抗干扰难度大的特点,分为转发式干扰与产生式干扰。利用卫星信号模拟器产生包含错误导航信息的GPS民用C/A码欺骗信号,通过直接侵入和压制式干扰辅助两种方式进入接收机的捕获跟踪环路,对已定位的某款GPS接收机实施欺骗干扰。试验结果表明,直接侵入方式下,通过合理控制欺骗信号功率,接收机定位被扰乱,但定位结果并未被成功欺骗至预设位置;压制式干扰辅助方式下,接收机成功误定位于预设位置,验证了对GPS接收机进行欺骗式干扰的可行性。     

小学主题式课程整合的价值诉求与实践逻辑

主题式课程整合是以主题为核心,结合学生的生活经验与学科知识,对课程内容和结构进行统整融合的过程.作为小学课程整合的一种有效模式,主题式整合旨在减轻师生负担,优化课堂教学,建构更适合小学生综合素质发展的课程体系.其实践逻辑主要有整合主体的构建、校本主题文化的建设、课程主题的设计、课堂教学的要求等方面.     

电磁发射用分段供电六相圆筒式直线感应电动机数学模型

为研究新型分段供电六相圆筒式直线感应电动机的运行规律,针对其不对称运行的特点,采用磁动势理论推导了气隙中与空间位置无关的脉振磁场的电感矩阵表达式,通过将其引入abc坐标系下对称的电机数学模型,从而构建了描述六相圆筒式直线感应电机不对称的数学模型。在Simulink环境下,采用隐式梯形法构建了该不对称模型的系统仿真模型。最后,对样机进行了仿真分析和实验验证,仿真结果与实验数据吻合良好,验证了模型的正确性。     

基于双层规划的通信干扰兵力部署优化

投掷式通信干扰机是未来通信对抗装备发展的一种趋势,针对其压制无线战术通信的兵力部署优化问题,引入"通信干扰压制概率"和"通信干扰效益"两个指标,建立了基于双层规划的兵力部署优化模型,上层规划以整体通信干扰效益最大化为目标,下层为随机机会约束规划,以通信干扰压制概率满足一定置信水平为约束,以干扰机需求量最小化为目标。采用随机模拟、遗传算法和动态规划相结合的混合智能算法求解双层规划模型,并通过算例分析验证了模型的有效性。     

电子对抗作战仿真分层半自治Agent系统框架设计

为了在电子对抗作战仿真系统中真实地复现现实作战过程,设计了基于分层半自治Agent的系统框架。从设计电子对抗作战仿真实体Agent的现实意义出发,提出了基于BDI框架的仿真实体Agent设计方法,着重探讨了半自治Agent技术应用于作战仿真领域的巨大优势,明确了个体Agent的设计方法。根据电子对抗作战仿真系统的实体分类结果提出了一种基于分层半自治Agent的系统结构,并分析了不同层次的Agent的功能,为半自治Agent技术应用于电子对抗作战仿真领域提供了思路,具有一定的借鉴意义。     

许地山小说中宗教救赎的流变

宗教救赎是许地山小说的创作意图和重要特质,它或隐或显地贯穿于许地山的整个小说创作中。他的小说对现实人生和终极理想进行了交错关注,而宗教救赎的意涵也在关注中不断变化。     

紧贴实际 积极探索实践军民融合式发展路子

党的十七大作出了“统筹经济建设与国防建设,走军民融合式发展路子,实现富国和强军统一”的战略部署,胡锦涛主席也多次就“走军民融合式发展路子”作了重要论述,这是探索实践军民融合式发展的强大动力。近年来,上海市委、市政府和警备区深入学习实践科学发展观,按照国家国动委和南京军区国动委的部署,     

搞好民兵军事训练落实的三点看法

军事训练落实是民兵工作＂三落实＂的重点工程。新形势下,落实民兵军事训练,提高民兵遂行任务能力,必须坚持军事训练中心地位不动摇,结合实际、因地制宜,采取切实可行的办法。要积极推进＂渗透式＂训练：认真学习贯彻党的军民融合式发展思想,     

王符《潜夫论》军事思想解读

王符是东汉时期著名的思想家,所著《潜夫论》中蕴含着丰富的军事思想,如重选将帅、赏罚分明、巩固边防、民为军本、以战止战、备战防患、整顿军备、经济强军和高薪养廉等,其中有些思想至今仍有借鉴意义。