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

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

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

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

基于UML的侦察监视系统仿真分析

侦察监视系统的仿真是一体化联合作战仿真系统的重要组成部分。根据侦察监视系统的未来发展,进行了侦察监视系统的仿真需求分析,提出了仿真系统所要实现的基本功能,并利用UML对侦察监视仿真系统的角色、用例进行了分析,用用例图对整个仿真系统功能进行了描述。在此基础上,对系统进行了静态建模和动态建模。结果表明利用UML对侦察监视系统进行仿真分析,过程完整、易于理解,便于获取军事需求。     

水面舰艇隐身技术现状及发展趋势

介绍了国内外水面舰艇隐身技术的现状,分析了一些主要隐身技术的原理,并设想了未来一段时期内水面舰艇隐身技术的发展趋势,对发展我国自己的隐身技术有一定的借鉴作用。     

营房实力综合数据分析技术

在营房系统中,营房实力主要包括个人基本情况及住房情况、家属住房情况两大类的知识。营房住房标准分为:按标准住房、超标准住房、未达标准住房、无住房。结合营房实力数据的基本特点,充分利用了先进的数据仓库技术,在数据挖掘和商业智能服务等方面作了深入的探讨,通过营房实力知识对数据进行归类统计,提出了基于知识的统计系统,建立了营房住用多维数据模型和个人住房情况多维数据模型,实现了对营房住用情况和个人住房情况等营房数据的多维分析。     

基于ANSYS的油罐拱顶稳定性分析

针对加肋拱顶稳定性十分复杂的问题,基于ANSYS建立了加肋拱顶油罐的三维有限元模型,对加肋拱顶的结构稳定性进行了数值模拟。对加肋拱顶在外压作用下的线性与非线性临界屈曲载荷进行了对比分析,利用弧长法获得了拱顶在加肋情况下径向、环向、轴向的载荷-位移曲线。结果表明:数值模拟的加肋拱顶屈曲方向和屈曲区域与实际失稳结果相一致,可以为加肋拱顶设计和稳定性分析提供一定参考。     

警卫部队基层建设研究

部队建设的基础在基层,基层建设是警卫部队建设与发展的重要内容,也是警卫事业全面发展的重要保证。在新世纪新阶段,只有以科学发展观为指导,把科学发展观贯穿于警卫部队基层建设的全过程,落实到各项具体工作中,才能使部队建设在安全、有序的环境下得以全面、持续、和谐、健康地发展,才能真正提升部队战斗力,履行好警卫部队肩负的历史使命。     

基于ICA的油库阀门内漏声发射定量检测

基于声发射原理的阀门内漏检测作为一种动态无损检测方法得到了广泛应用,但是定量检测一直是研究难点。现有的内漏率定量检测模型计算方法因参数不易测定,导致计算困难,精度不高。采用独立分量分析(ICA)方法提取声发射信号特征向量,并与参考样本集的特征向量相比较,相似程度最高的即可作为待测阀门的内漏率。内漏模拟实验分别将常规参数、频谱成分和ICA提取特征作为特征向量进行比较,结果表明ICA提取的特征向量维数为15时,均方根误差可以达到0.01 L/min,能够满足工程检测需要。     

机器人步行腿机构的动力分析

本文根据力的叠加原理,采用拆杆拆副法,对一平面闭式多杆步行腿机构进行了较为全面的动力分析,得出了一个运动循环内原动曲柄的输入力矩及各运动副处的约束反力线图,为该机构的驱动、控制及进一步的改型设计提供了必不可少的计算依据。线图分析表明:该机构节省能量,力学性能较好,有良好的应用前景。     

新型潜伏性环氧树脂体系固化动力学

采用非等温差示扫描量热(DSC)技术对改性咪唑类固化剂(MIM)及其微胶囊固化剂(MIC)与E-51环氧树脂的固化反应过程进行了跟踪,并利用Kissinger和Crane方程对该固化反应进行了动力学分析,在此基础上探讨了固化剂包覆处理前后其环氧树脂体系的固化动力学参数与固化剂室温贮存性能的关系。结果表明:在不同升温速率下,E-51/MIM反应体系的放热量均大于E-51/MIC体系;两固化反应体系的反应级数均为0.89;与E-51/MIM体系相比,E-51/MIC体系的固化反应活化能和频率熵因子均较大,并具有更好的室温贮存性能。