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

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

内隐学习对我国数学教学的启示

内隐学习的研究成果对我国的数学教学具有很强的启示意义,主要表现在:内隐学习揭示了数学知识的大量贮存将产生积累效应的特点,它可以有效地实现数学教学中的隐性目标,对数学概念的形成也有着巨大的影响。对学生数学学习的作用不容忽视。     

内隐自尊、外显自尊及其交互作用对应对方式的影响研究

为了探讨内隐自尊、外显自尊及其交互作用对应对方式的影响,我们采用实验设计方法对某大学60名学生进行研究,选用自尊量表（SES）、应对方式问卷（CSQ）和内隐测验程序（IAT）施测。结果显示：一是内隐自尊、外显自尊存在低相关;二是外显自尊在积极、消极两种应对方式上主效应显著;三是不同外显自尊水平下,内隐自尊对积极应对方式有不同的影响。即高外显自尊水平下,高内隐自尊者比低内隐自尊者应用更多的积极应对方式;低外显自尊水平下,内隐自尊水平不影响积极应对方式的应用。由此可见,自尊类型影响个体应对方式,要培养个体安全的高自尊以促使个体在压力面前更多使用积极应对方式。     

空降车着陆缓冲过程车体动态应力仿真研究

为了研究空降车着陆缓冲过程车体结构冲击响应,建立了车体有限元模型,运用显式有限元方法,结合实车空投试验的冲击加速度数据,以力的形式模拟车体着陆缓冲过程所受的冲击,仿真得到普通、恶劣和极限3种工况下着陆缓冲过程车体应力分布。结果表明:在3种着陆工况下,空降车左后立柱底端均为应力最大位置。研究结果可为空降车空投寿命预测及装备保障提供依据。