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

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

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

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

努力探索边防建设军民融合式发展之路

军民融合式发展是强边富民的重要举措;必须解放思想,不断拓展新思路;立足于巩固国家安全,促进边防建设又好又快发展。     

电磁发射用脉冲电抗器应力分析及结构设计

基于对电磁力以及热应力的解析计算公式的推导，运用ANSYS有限元仿真软件对固定电抗器顶底端面情况下的铜箔进行电磁-温度-结构耦合分析，分别得出热应力及所受总应力与应变的分布情况。进一步对电抗器的结构进行优化，综合考虑其结构强度要求与连发温度要求，确定电抗器的最优设计结构，最终通过试验验证出仿真与设计方案真实可信。     

嵌入式LwIP协议栈内存泄露问题研究

为研究复杂软件系统中的内存泄露问题,首先从嵌入式协议栈LwIP使用过程中的一种网络传输性能下降现象出发,基于协议栈控制块内存管理参数,确定了协议栈内存泄露是导致设备长期运行出现该现象的直接原因;然后,结合协议栈源码详细分析了内存泄露的原因和机理,提供了一种解决此类问题的方法,并从编程接口的角度给出了避免出现内存泄露问题的使用原则,对LwIP协议栈的正确使用具有一定的指导意义。     

线性自抗扰控制器在直驱式永磁风电机组虚拟惯量控制中的优化应用

针对常规PID控制器存在参数难以调节、抗干扰能力较弱,且参与调频后风机转速恢复速度慢、容易引起频率的二次波动等问题,提出了一种基于线性自抗扰控制器的直驱式永磁风电机组虚拟惯量控制新方法。通过优化辅助控制功率,使机组在抑制系统频率波动的基础上能够快速恢复风机转速,减弱对系统频率造成的二次扰动。仿真实验和物理实验验证了该方法的有效性和可行性。     

基于规则的CGF实体行为建模技术

CGF行为建模的目的是使行为模型能更好地体现出人类行为特征,提高作战仿真系统的可信性和科学性。在介绍CGF、CGF行为建模概念的基础上,对当前几种主要的CGF行为建模方法进行了比较,并分析了CGF行为模型的一般结构。构建了基于规则的CGF行为模型,重点对基于规则CGF行为模型的决策推理方法进行了研究。采用产生式规则方法对决策知识进行了描述,定义了决策推理过程中的3个要素:态势、动作、决策推理,并对其决策推理过程进行了研究。     

民国时期国民党的军民融合式发展

<正>早在中华民国建国初期,孙中山就对国家经济建设要兼顾军事建设给予高度重视,认为要通过提高综合国力,达到"富国强兵"的目的。他指出,"造巨炮之机器厂,可以改制蒸汽辊压,以治中国之道路,制装甲自动车工厂,可以制货车以输送中国各地之生货。凡诸战争机器,一一可为和平器具,以开发中国潜在地中之富。"从1911年辛亥革命到1949年新中国成立前的38年里属于中国历史上发生社会巨大变革的时期。伴随着科学技术及生产力的迅猛发展,武器装备与机动工具紧密结合,出现了更具威力的机械化兵器,标志着武器     

锻造能打胜仗的政治机关干部队伍

我部着眼建设"对党绝对忠诚、聚焦打仗有力、作风形象良好"的政治机关干部队伍,按照"传统与新型相融合、军事与政工相结合、课堂与战场相对接"思路,分期分批选拔预任政治机关干部集中轮训,着力提高掌握思想、抓建组织、服务中心、帮带解难、言传身教五个方面能力。近3年培训预任的政治机关干部95%以上成为各级业务骨干。一、按照"集智攻关,资源优化"思路破解集训矛盾问题。一是教材体系化。区分基本理论、基本法规、基本业     

机关干部不妨“多想一点”

近日,笔者无意间听到某船官兵抱怨,机关某干事利用休息时间,组织基层官兵填写调查问卷。调查问卷本是听基层心声,改善做法,筹划工作开展,有利基层的好事,却为何引得基层官兵抱怨呢?联系工作实际,笔者认为,机关干部在筹划工作、协调基层时,不妨多想一点、想深一层。机关干部,作为上级和基层之间的"纽带",不仅要做好"谋士""助手",而且要当好"老师""教练",不断给力于基层,让基层充满动力,焕发