关于安全协议的形式化分析方法的研究

对安全协议的形式化分析方法从历史发展和思想体系上作出分类和分析。以历史发展为线索将安全协议形式化分析方法分为四个阶段,基于观察分析的早期阶段、以BAN(Burrows,Abadi,Needham)逻辑为代表的初期阶段、基于模型检测的转折阶段和以串空间理论为代表的证明阶段。对安全协议四个阶段形式化分析方法的特点和优、缺点作了总结。分析结果为密码协议的研究人员提供一个借鉴。     

液体火箭发动机动态特性仿真技术研究进展

仿真技术是研究液体火箭发动机动态特性的主要手段之一。总结了国内外液体火箭发动机动态特性仿真技术的研究进展,将仿真技术的研究进展分为三个阶段:专用仿真程序阶段、通用仿真软件阶段和多学科联合仿真阶段。对各个阶段的进展进行了总结和评述,分析了各阶段仿真技术的主要特点。在总结研究进展的基础上,对今后发动机动态特性仿真技术的发展方向提出了设想。     

基于马尔科夫再生过程分析阶段任务系统的可靠性

分析阶段任务系统（PMS）的可靠性是一项重要的工作。为了方便分析大部分已有的分析方法都假设阶段持续时间是确定的或者阶段内过程是齐次马尔科夫过程，这些方法不能够分析实际存在的大量一般的PMS。为此本文研究具有随机分布的阶段持续时间和阶段内过程是马尔科夫再生过程（MRGP）的一般PMS的可靠性分析。由于引入MRGP，一般PMS的阶段内活动可以是指数，确定或者其他一般分布。本文首先给出了一个实际有效的5元组模型框架来刻画该类PMS的动态行为，然后利用已有的MRGP分析方法，说明了阶段内条件瞬时状态占有概率矩阵的计算方法。为了避免为整个PMS构造一个巨大的MRGP，在假设阶段边界允许记忆丢失的条件下，本文给出了一个系统可靠性的有效计算方法，该计算方法是两步的分治方法，首先对每个阶段内的MRGP进行分析，然后利用分析结果通过矩阵乘获得系统的可靠度。通过本文给出的方法可以有效的分析一般PMS的可靠性。     

航天员出舱活动的发展阶段及启示

从1965年3月18日苏联航天员列昂诺夫首次出舱以来，航天员出舱活动已经有40多年的历史。这40年大体上可以分为两个阶段：1965至1980年为第一阶段，即试验阶段；1981至2010年为第二阶段，即成熟阶段；2010年以后出舱活动将继续发展和提高，并进入出舱活动发展的第三阶段，即提高阶段。文章对出舱活动发展的三个阶段进行了概述和分析研究。     

加强型号研制阶段管理 确保型号批量产品质量

概述了加强型号研制阶段管理,确保型号批量产品质量的关系,提出和分析了在型号研制阶段,必须严把产品定型设计文件签署关、加强工艺技术的研究和质量问题归零等项工作,同时做好型号批生产阶段的质量管理工作,就一定能够保证型号批量产品的质量。     

应用微机交互式初步设计固体火箭发动机

目前已存在许多不同程度地考虑了固体火箭发动机(SRM)设计的程序。本文描述的分析工具,并非企图取代现有各种程序,而是使设计师在初步设计阶段能够用一台微机去完成有意义的工作。从事这项研究是为了满足固体火箭发动机定尺寸和性能敏感性分析的需要,因为在研究阶段,确定SRM尺寸及分析其敏感性是有竞争力的承包商常常难以应付的。本文描述的模型以交互/图形方式提供发动机的重量、尺寸及结构数据。     

自由装填固体火箭发动机的快烤响应特性试验

针对一种自由装填固体火箭发动机的快烤响应特性进行了试验研究,搭建了固体火箭发动机的快烤试验平台,进行了自由装填固体火箭发动机的快烤试验,并对被试发动机的快烤试验过程和试验结果进行了分析。通过被试发动机快烤试验过程的分析,获得了被试发动机的分阶响应特性和各阶段的响应时间。结果表明,被试发动机的响应过程可划分为两次响应和三个阶段,两次响应分别为发动机点火和发动机解体,三个阶段依次为温度建立阶段、第一响应阶段和第二响应阶段。通过对被试发动机的解体过程和剩余装药残骸的分析,获得被试发动机的解体机理。结果表明,在外部加热的持续作用下,装药头部的推进剂来不及燃烧,在自分解作用下发生了装药结构破坏并点燃,导致装药燃面增大,发动机压强上升,最终导致发动机解体。     

弹道导弹天基预警与探测手段分析

通过研究弹道导弹飞行过程中的光热特点和突防措施,分析了反导系统对天基预警探测的需求,最后研究了不同的预警手段在弹道导弹不同飞行阶段的应用.     

天地往返可重复使用运载器再入飞行GNC系统关键技术

天地往返可重复使用运载器(RLV)在未来天战中将扮演重要角色。目前各军事大国围绕RLV的关键技术开展了广泛深入的研究。再入飞行是RLV飞行任务的重要阶段,而制导、导航与控制(GNC)系统则是RLV的核心系统之一,是RLV再入飞行的“脑系统”。本文分析了RLV在再入飞行阶段GNC系统的任务要求,明确其体系结构,分析GNC系统存在的问题,给出了深入研究GNC系统需要解决的关键技术和进一步研究的方向。     

航天型号研制产品保证工作研究

分析航天型号研制中传统质量管理模式存在的问题,研究在研型号产品保证工作中其保证机构建设和各研制阶段开展相关工作的具体做法与作用。     

载人航天器密封舱地面微生物控制与检测

研究载人航天器密封舱微生物控制技术的目的是指导后续长期驻留阶段密封舱微生物的控制工作。文章以某中短期驻留载人航天器为例,分析了航天器发射前地面研制阶段微生物控制的关键因素,提出了控制方法,并对舱内微生物控制情况进行了实际检测。测试结果表明微生物控制水平满足驻留要求,控制措施有效。     

智能算法在约束优化问题中的应用研究

针对智能算法和约束优化问题的特点,本文首先回顾智能算法在约束优化问题中的应用现状,尤其是约束条件处理的三种不同方法,即惩罚函数方法,可行解优先方法,多目标优化方法,在此基础上分析解决一般约束优化问题的两阶段方案,其中,第一阶段找到约束优化问题的所有可行解,然后以此通过第二阶段找到最优解。最后对智能算法在约束优化问题中应用的未来研究方向进行简单探讨。     

论我国月球探测技术的发展

简要描述国内外月球探测的发展态势,开展月球探测的意义,发展目标和发展阶段设想,提出研究和解决的关键技术,进行技术路线分析,提出思考和建议。     

高能量密度材料(HEDM)研究开发现状及展望

综述了高能量密度材料计划的由来和目标、计算机辅助分子设计在研究开发中的作用,分张力环和笼形化合物、氮杂环化合物、无环化合物、氮簇和氧簇分子、激发态材料5大类讨论了它们实现高能的机理和研究开发现状,运用国外量子化学研究成果说明了它们结构和稳定性,提出未来将按三个层次,即近、中、远三阶段发展的学术观点,分析了各阶段研究重点、关键技术和开发前景.     

NEPE推进剂“两段式”老化的动力学研究

NEPE推进剂老化表现为"两段式",即稳定剂完全消耗前后(分别对应Ⅰ阶段和Ⅱ阶段),推进剂力学性能出现显著差异.文中借鉴双基系推进剂和NEPE推进剂老化研究结果,在进一步分析"两段式"老化特性的基础上,探讨了提高NEPE推进剂贮存寿命的技术途径,计算了"两段式"老化过程的动力学参数,并比较了温度对两阶段主要反应的影响.结果表明,Ⅰ阶段稳定剂消耗反应和Ⅱ阶段推进剂聚合物基体降解反应的表观活化能分别为86.18 kJ/mol和166.35 kJ/mol,常温25 ℃时两阶段的老化速率分别为1.30×10~(-4) d~(-1)和2.75×10~(-6) d~(-1),温度对两个老化阶段都有很大影响,但老化第Ⅱ阶段受温度的影响远大于第Ⅰ阶段.     

对接机构动力学仿真

以神舟飞船的对接机构为研究对象,介绍了不同研制阶段仿真的任务规划,给出了研究中的对接机构仿真分析的捕获缓冲参数设计、数字样机、对接过程动力学仿真评估、试验验证与模型修正,以及对接动力学试验等。     

航天产品飞行任务及大型试验标准化工作研究

概述了试验标准化的重要性,通过试验标准和规范、试验文件、试验设备以及试验管理现状的分析,研究了研制各阶段的试验标准化的工作内容,并提出了贯彻试验标准化的建议。     

具有阶段结构的时滞捕食模型的稳定性与分支

考虑捕食者具有阶段结构的时滞捕食模型。通过分析特征方程，得到了非负平衡点的局部稳定性与Hopf分支存在的充分条件。利用比较原理与迭代方法研究了边界平衡点与正平衡点的全局稳定性。     

网络集成技术在控制系统中的应用研究

基于TCP/IP协议的嵌入式设备网络控制系统是当前的发展趋势,控制系统网络化发展经过了三个主要阶段,文中通过分析各阶段的特点和多种控制网络集成的方法,从网络化发展的角度来研究控制系统的发展,提出了嵌入式设备网络控制系统的模型,为实现控制和管理信息一体化提供了一条新思路.     

固体发动机推进剂/绝热层界面I型脱粘力学行为试验与仿真研究

为了准确描述和预测固体发动机界面的粘接性能,为固体发动机结构完整性分析提供有效参考,通过商业有限元软件ABAQUS用户子程序(UEL)对基于势函数的PPR内聚力单元进行了二次开发,设计了固体发动机推进剂/绝热层界面Ⅰ型脱粘试验方案,并基于试验的反演分析获得PPR内聚力模型对应的特征参数,对不同加载速率下粘接界面的断裂与损伤特性进行了相关研究。研究表明,PPR内聚力模型能够较好地描述界面脱粘过程,且粘接界面的力学行为具有显著的率相关性,随着加载速率的增大,粘接界面的内聚能和内聚强度均增大,法向初始刚度和损伤起始位移均减小。此外,I型界面脱粘试验过程中加载力随位移的变化可分为强化阶段和损伤演化阶段,粘接界面的速率相关性主要体现在损伤演化阶段。