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

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

冲压增程弹进气道设计方法与性能分析

以冲压增程弹为应用背景进行了进气道设计.结合增程弹的特点,讨论了轴对称进气道中心锥参数、喉道参数、外罩参数的选择.特别对进气道唇口处参数、扩张段角度设计方法进行了分析.设计了单锥混压式、单锥外压式以及双锥混压式三种进气道,并进行了数值模拟.分析了进气道主要设计参数对其性能的影响.数值结果表明,就增程弹的性能要求而言,双锥混压式进气道的性能较高.     

未来大型客机发展展望

大型客机处于民机产业的高端,经济价值高、技术难度大,综合性强。目前,世界油价上涨,噪声和排放标准限制增强,航空公司对飞机运营经济性以及乘客对舒适性要求不断提高,大型客机制造商正面临着巨大的挑战。因此,大型客机制造商正在积极研究新一代大型民用飞机采用的技术,努力把脉世界大型客机的发展趋向,     

科学家精神融入思想政治课教学的三重逻辑

科学家精神是中国共产党人精神谱系的重要内容，是新时代逐梦中华民族伟大复兴事业的重要精神力量。科学家精神中蕴含着丰富的“爱国”“创新”“求实”“奉献”“协同”“育人”精神元素，是新时代思想政治课教学育人的重要范本。本文立足于科学家精神的核心内涵，探讨将科学家精神融入思想政治课教学的价值意义与实践路径。     

乡村小学课后服务：教育价值与改进策略

乡村小学实施课后服务是增强乡村教育服务能力、促进城乡教育均衡发展的重要举措，对提高乡村学生学业水平、促进学生心理健康发展、有效预防校园欺凌具有积极作用。城乡小学实施课后服务应采取差别化措施，通过开展乡村课业辅导、安全教育、人际交往、乡土文化传承的教育活动，发挥乡村小学课后服务的教育价值。做好乡村小学的课后服务工作需要政府、学校、社会、家庭的共同努力，为此，要完善课后服务成本分担机制、组建乡村小学课后服务教师团队、引进校外专业力量分担教师压力、搭建教师辅导云平台、发挥家校协同育人功能，满足乡村家庭教育需求，使课后服务真正成为促进城乡基础教育均衡发展、缩小城乡教育差距的新途径。     

新时期下国防教育在高校思政工作中的重要价值探究

国防教育是思政工作的重要内容之一，同时也是新时期教育理念下的重点教学内容。在高校实际开展思政教育的过程中，无论是从学生的日常行为到思想意识，都需要相关教育工作者根据教学内容以及工作机制对学生做好引导工作，才能确保学生逐渐树立正确的思想意识和政治观念，因此，通过国防教育可以有效提高学生的爱国主义精神，确保学生树立起正确的家国政治理念，从而真正发展成为符合社会发展需求的高素质人才。     

柴油机喷油压力波形的符号描述与结构模式分类

波峰和波谷是波形上基本的局部形态特征基于波峰、波谷之间的支配关系,本文提出了一种规则波形的结构特征抽取与符号描述方法,进而建立了一个基于该方法的柴油机喷油压力波形结构模式分类系统,并通过实例验证了该系统的有效性。     

光电头盔系统信号处理分析与探讨

阐述了当前广泛采用的光电式头盔测位系统的组成和原理,给出了解算瞄准线参数的数学关系式。对信号处理和精度进行了分析,导出了误差表达式,可用于系统设计中误差的估算和验证。通过信号处理分析,论述了影响精度的主要因素,最后,提出了从根本上提高精度的方法——峰值点检测处理技术。     

近程反导舰炮武器系统“综合体”的可靠性—效能评估模型

本文对典型的近程反导舰炮武器系统做了任务状态划分和可靠性分析,建立了系统执行任务过程中的可靠性—效能评估模型。