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

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

一类具M-P型非线性二元神经网络模型的周期解

针对一类具M-P型非线性信号传输函数的二元神经网络模型,提出其初值振动时系统周期解的存在性问题.利用结式技巧,结合分析方法,建立了用结式表示的保证具振动初值系统周期解存在的充分条件,并通过例子说明零阈值情形周期解的稳定性.     

基于BOM的HLA仿真系统可信性研究

可信性是系统仿真的关键要素.基于BOM的HIA仿真系统可以从仿真模型层次上提高系统的重用性和互操作性.为了确保该类仿真系统的可信性,在建模与仿真全生命周期中开展VV&A研究,十分必要.介绍了基于BOM的HLA仿真系统的FEDEP模型,并简要提出其VV&A过程,重点对用户模型、仿真模型组件及联邦成员的V&V展开研究,最后将这些研究应用于×××反舰导弹突防联邦仿真中.结果表明:提出的VV&A过程切实可行,保障了系统的可信性.     

大流量气体减压器振动问题研究

对大流量气体减压器工作过程中的振动故障进行分析,建立了减压器系统动态数学模型,进行了故障数值仿真,找到了简单有效的提高减压器输出响应稳定性的方法--减小控制腔入口面积,并得到试验验证.仿真结果还表明,大流量气体减压器的振动问题不仅和减压器本身设计参数有关,还和下游管路容积有关.     

基于星间测距和地面发射源的导航星座整网自主定轨

导航卫星星座自主定轨技术是我国新一代卫星导航系统的关键技术之一.但是仅仅依靠星间相互测距定轨会因缺少地面基准而出现基准秩亏现象.针对这个问题,提出利用少量地面发射源随机工作的方式提供地面基准,将星间测距和地面发射源信息融合起来进行星座整网定轨,进一步提高定轨精度.最后利用仿真实验对该方法的合理有效性进行了验证.     

面向大型机构的统一身份管理方法

通过借鉴自由联盟组织提出的Liberty框架,并针对该框架的结构以及身份提供者之间信任关系的建立模式进行改造,提出一种面向大型机构的新型身份管理联盟。新型的身份管理联盟比Liberty框架更加适用于具有分布性、自治性、全局性和协同性的大型机构。新型的身份管理联盟在物理结构上可看作由多个身份提供者节点组成的一棵树,其中每个身份提供者节点必须并且只能与其父节点和子节点建立信任关系,这与现实中各个大型机构的树状层级结构是完全相符的。在系统实现过程中,依托新型身份管理联盟的树状结构,并采用LDAP实现了用户认证数据的分级存储。此外还通过安全认证网关在网络层对用户的接入进行控制,从而能够同时支持B/S和C/S两类应用系统的单点登录。     

亚轨道飞行器试验运载火箭的射程控制

运载火箭试验靶场就是用于火箭发射试验的专门场区,包括陆域、海域、空域等。靶场安全问题比较复杂、涉及范围广,火箭进入外层空间前不允许穿越外国领域或必须保证距国境线有一定的安全距离,其残骸落区不允许在外国领域。在我国,受到国土范围限制,又要实现洲际运载火箭全程飞行试验的要求,实际中通常采取"高弹道"、"低弹道"等特殊弹道的飞行试验来代替全程飞行试验的策略。通过对两类特殊亚轨道飞行器的飞行试验火箭的弹道特点描述,开展射程控制分析,研究基于我国国境进行亚轨道飞行试验的靶场安全控制方法。射程控制,对于低弹道可以采用控制俯仰程序角速度方法,而对于高弹道可以采用控制俯仰程序角方法。     

气液同轴双离心式喷嘴喷雾特性

采用流体体积方法分析涡流器离心式喷嘴内部流动过程,采用单反相机和相位多普勒测速仪测量离心式喷嘴、气液同轴双离心式喷嘴的喷雾特性。发现涡流器离心式喷嘴内部流动的总压损失主要发生在涡流器槽道入口、收敛段和等直段。等直段使液膜厚度减小,喷雾锥角减小。离心式喷嘴喷雾粒径分布范围沿径向逐渐增加,轴向速度分布范围沿径向先减小后逐渐增加。气液同轴双离心式喷嘴喷雾特性受气液比影响很大,气液比小时旋流空气使喷雾锥角增加,粒径分布范围减小;气液比大时,气体膨胀压缩喷雾,使大液滴能够到达喷雾中心,喷雾外侧为二次雾化成的细小液滴。     

非自伴情形下时滞抛物方程的惯性流形

利用Lyapunov-Perron方法在适当的谱间隙条件和适当小的时滞假设下,证明了一类非自伴算子情形下半线性时滞抛物方程惯性流形的存在性。     

小钝头锥体全目标流场与光电特性一体化数值模拟

从简化的或全ＮＳ方程出发,采用化学非平衡和热辐射非平衡模型,数值模拟了有烧蚀产物引射条件下小钝头锥体全目标流场与光电特性,旨在为防护设计提供气动物理环境数据。计算结果表明,本文流场模拟数据与实验数据基本吻合,壁面烧蚀产物引射和壁面催化特性对流场电子数密度均有量级影响。