近圆参考轨道卫星编队的安全性

针对近圆参考轨道卫星,利用相对轨道要素对编队构形进行了统一描述,提出了编队卫星在垂直于轨道平面方向相对运动最小距离的计算公式,分析了J2摄动对卫星编队安全性的影响。仿真结果表明环绕星在轨道平面内和垂直于轨道平面内的相位差对编队安全性的影响较大,给出的提高编队卫星安全性的措施可为卫星编队的实际工程应用提供参考。     

月球轨道交会对接任务辅助预报系统设计与验证

针对月球轨道自主交会对接制导、导航与控制(GNC)系统任务特点,设计一种基于人机协同框架的月球轨道自主交会对接过程辅助预报系统.该系统包括利用机器学习方法构建交会对接安全性规则知识库和安全性辅助预报两个部分.首先,在地面半物理仿真试验环境中,对导航监视相机拍摄的图像进行特征提取和匹配,利用图像特征与交会对接偏差组成训练样本对,用决策树方法构建安全性规则知识库.然后,利用安全性规则知识库,根据交会对接飞行过程中监视相机拍摄的当前状态的图像预报交会对接后续过程的安全性,给出成功的概率.通过地面半物理实验表明,该系统能够提升飞行控制过程中的智能化水平,有效协助地面飞行控制人员进行数据监视与任务决策.     

基于本体的软件安全性需求建模和验证

由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据"七步法"建立了本体模型,利用本体模型中的概念和关联来形式化地描述规则以支持验证;同时基于以上研究内容设计和实现了软件安全性需求形式化建模和验证的工具原型,并对使用工具实施验证和使用人工评审实施验证进行了对比分析实验.实验结果表明形式化工具原型在验证时间和验证次数上都大大优于人工验证方法,同时工具原型具有良好的易用性.     

考虑安全性的BWB民机飞行控制系统设计

翼身融合（BWB）飞行器满足未来民用航空经济、绿色、低碳的运行需求,是重要的发展方向。针对BWB飞行器的飞行控制系统,对其安全性与系统设计进行了研究。给出基于系统理论的事故模型及过程,与相应的安全性分析,重点对BWB飞行器飞行控制系统内的复杂逻辑关系、不安全控制动作、危害致因进行分析;进行切换系统设计,给出低可靠先进系统和高可靠备用系统的设计过程,并分析切换逻辑;基于设计进行仿真验证。研究结果表明：系统理论过程分析方法能够支持BWB飞行器飞行控制系统复杂逻辑关系的安全隐患分析,同时所设计的飞行控制系统具有一定的安全性与实用性。     

基于MBSE方法的全自动着舰系统（ACLS）安全性分析方法研究

鉴于舰载机着舰安全性问题是舰载机设计需要解决的关键问题，通过引入基于模型的系统工程（MBSE）研发模式，同时结合国际先进飞机研发及安全性分析标准，开展全自动着舰系统（Automatic Carrier Landing System ACLS）安全性分析与评估研究及实践，使得装备设计技术过程规范化大大提高，保证了安全性设计过程中的关联性及可追溯性。     

基于模型和数据的在役航空装备安全风险监控和预警技术研究

提出了一种基于模型和数据的航空装备安全风险监控和预警技术方法，通过开展安全风险识别、安全风险防控措施制定、监控和预警机制建立等工作，发现航空装备中存在的可能导致飞行事故、事故征候等不安全事件的部附件及其故障模式，并有针对性地从外场使用、维护等方面提出防控措施，在外场建立预警机制，出现对应的部附件故障模式后立即发出告警，查明原因并采取防控措施，有效防范航空装备故障重复发生导致事故。     

民用飞机电传飞控系统浅析

电传飞行控制系统是从上世纪80年代开始在民用飞机上逐步推广使用的飞行控制系统,它取代了以钢索传动为特征的机械操纵系统,重量更轻,安全性更高。阐述了电传飞控系统的优点及以B777与A380飞机飞控系统为代表的两种典型的电传飞控系统的架构,并简单地分析和对比了两种飞控系统的计算机系统架构。希望为大型客机电传飞行控制系统的自主设计和研制提供参考与借鉴。     

催奶灵注射液对哺乳母猪的临床安全性试验

为了研究催奶灵注射液对哺乳母猪的临床安全性,将24头哺乳母猪分为空白对照组、催奶灵注射液组、催奶灵3倍浓缩注射液组和催奶灵5倍浓缩注射液组,分别在给药前及第2次给药后1、7和15 d测量母猪体温,称量其仔猪窝质量,并对母猪进行颈静脉采血,检测其血常规和血生化指标,同时每天观察母猪及仔猪的一般临床表现,试验结束后对催奶灵5倍浓缩注射液组1头母猪的主要组织器官进行组织病理学检查.结果表明,试验期间,各组母猪及其仔猪临床表现正常,各给药组母猪给药后均出现体温升高的现象,但随后逐渐恢复至正常体温;各给药组仔猪的体增质量情况与空白组仔猪相比无显著差异(P>0.05);除了给药组的血糖有所降低外,各给药组给药后的血常规和血生化指标均在正常范围内波动,与给药前相比差异性不大(P>0.05);对催奶灵5倍浓缩注射液组1头母猪的主要组织器官进行了组织病理学检查,未发现异常变化.本试验结果说明催奶灵注射液对哺乳母猪及仔猪没有明显的毒副作用.     

纳米CuCr2O4在HTPB复合推进剂中应用的安全性及燃烧机理

为提高纳米CuCr₂O₄(n-CuCr₂O₄)燃烧效能，阐明其促进HTPB复合推进剂燃烧的机理，研究了n-CuCr₂O₄分散方法，探讨了n-CuCr₂O₄对复合推进剂安全性和燃烧性能的影响。结果表明，癸二酸二异辛酯(DOS)可使n-CuCr₂O₄颗粒充分分散，颗粒粒径为50 nm。将DOS与乙酸乙酯混合作为分散液，n-CuCr₂O₄/分散液为12/100,超声分散30 min, n-CuCr₂O₄可以有效分散，使推进剂燃速提高1.5%。在含量均为2.5%时，含n-CuCr₂O₄推进剂的燃速虽然低于含卡托辛的，但是摩擦感度和撞击感度均降低。与微米CuCr₂O₄相比，n-CuCr₂     

自动飞行模式转换逻辑的形式化建模与验证

自动飞行控制系统（Automatic flight control system,AFCS）是现代飞机中重要的安全关键系统之一，飞行引导控制系统（Flight guidance control system,FGCS）是其重要的组成部分。FGCS中的飞行模式有数十种，模式转换逻辑十分复杂，在各个模式间转换时易出现模式混淆等问题，难以对其安全性和正确性进行验证。而利用计算机科学中的形式化方法，通过对安全关键系统进行形式化建模和验证，可以提高系统的正确性和安全性。本文以典型FGCS中的自动飞行模式转换逻辑作为研究对象，采用自主研制的软件工具ART(Avionics requirement tool)对其进行形式化建模与验证，并与Matlab/Simulink中的Design Verifier工具进行了验证能力和效率的对比分析。实例研究结果表明，采用形式化方法对FGCS的自动飞行模式转换逻辑进行建模、验证可行，所研制的软件平台具有更完善的验证能力和更好的验证效率。