面向适航认证的模型驱动机载软件构件的安全性验证

 在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。     

计量认证促进了核工业检测试验工作的开展

介绍了核工业系统内各检测试验中心在计量认证及复查评审中所开展的工作 ,以及由此带来的变化     

航空发动机涡轮噪声适航性评估平台设计及应用

涡轮噪声是航空发动机的重要噪声源,其噪声评估对飞机适航取证非常重要.为解决涡轮噪声适航性评估难的问题,将NASA涡轮噪声预测方法和中国航空发动机噪声适航标准相结合,利用Matlab GUI软件设计了航空发动机涡轮噪声适航性评估平台.该平台具有界面友好、操作简单、可视化显示等优点.通过将预测结果与涡轮静态测试噪声数据进行对比以及软件对包括涡轮转速、涡轮叶片数和涡轮直径对涡轮噪声适航性影响分析功能展示,验证了所设计平台的有效性和实用性.     

基于机场Type I ILS设备进行CAT II ILS试飞的可行性研究

进行CAT II ILS试飞的前提是机场具备Type II ILS设备,国内符合条件的机场皆为大型枢纽机场, 诸多运行限制将极大影响试飞效率。为了增加机场选择裕度,加快试飞进程,在国内首次提出采用具有Type I ILS进行CAT IIILS试飞的新方法,并从适航条款、技术要求等方面详细分析其可行性。结果表明:此方法 满足适航审定要求,切实可行,是一种有效的能实际运用于国内大多数栺类运行条件机场的试飞方法。     

Y12F飞机噪声局方并行试飞适航审定技术

民用飞机为获得型号合格证,应按照有关噪声适航规章条款进行噪声适航合格审定,噪声测试飞行试验是表明符合性的最佳途径。以CAAC和FAA发布的相关噪声适航文件为基础,研究了Y12F飞机噪声测试并行飞行试验所涉及的测试设备、试验场地、气象条件、飞行试验程序、数据测量和处理等方面的适航审定技术。所构建的噪声测试飞行试验适航审定方法,有效地指导完成了Y12F飞机噪声测试的适航验证工作,并完成CAAC和FAA同步审查,为获得CAAC型号合格证和FAA型号合格证奠定了基础。该研究成果可为螺旋桨小飞机和螺旋桨通勤类飞机等新机型的噪声适航合格审定提供借鉴和指导,同时也可为意愿获取FAA型号合格证的申请人提供参考。     

关于PA-34飞机空中最小操纵速度的试验研究

主要介绍空中最小操纵速度,并以PA-34飞机的一次飞行试验为例,对空中最小操纵速度试飞的试验目标、试验方法和条件以及试验结果进行了论述。从飞机实际操作影响、FAA适航条款(14CFR23部)[1]等方面对该飞机的空中最小操纵速度试验结果进行了分析和讨论。试验表明,PA-34飞机的空中最小操纵速度满足FAA适航条款要求,飞机向好发动机方向适度倾斜会减小最小操纵速度。     

反推力系统适航设计与符合性验证分析

现代涡喷飞机大多设计有反推力系统以提高飞机的经济性、可用性和安全性,然而反推力系统若发生故障则可能引发灾难性的飞行事故。因此,反推力系统的设计和适航符合性验证已成为适航当局重点关注的审定问题。本文通过对中、美、欧适航当局反推力系统的相关适航标准、咨询通告和修正案的研究,给出涡喷飞机反推力系统的适航要求和简析,反推力系统"操纵性"和"可靠性"验证思路及注意事项;此外,结合某型飞机的反推力系统,给出"可靠性"验证思路的实例验证过程和符合性结论。研究结果可为我国进行飞机反推力系统适航设计和符合性验证提供有益参考。     

数字签名在校园网中的应用

本文介绍了数字签名技术的概念 ,数字签名技术的使用意义 ,及用JAVA实现数字签名的思想     

“单片机应用设计师”的认证促进教学改革

职业资格证书是反映劳动者具备某种职业所需要的专门知识和技能的证明。单片机应用设计师职业资格认证是为广大有志于从事电子信息应用技术、电子产品开发的相关专业大专院校学生及其工程技术人员从事单片机技术研究与开发的重要依据,通过对学生的专业知识、技术、能力的考核和职业化的认证体系,充分体现企业用人需求和岗位技能要求,证书将作为求职、任职、单位录用的依据之一。阐述单片机应用设计师职业资格认证对高职院校《单片机应用技术》的实践教学内容、教学方法和教学手段进行改革的几点启示。     

软件合格审定研发管理体系建立的要点研究

阐述了安全性对于航空产品的重要性,描述了当前航空产品合格审定现状及差距,形象解释了DO-178B的内容、开发流程及基本要素.结合体系建设的经验给出了建立符合DO-178B的合格审定研发体系需要研究的研究,以及每个要点需要考虑的因素,对我国军用航空产品研发体系建立软件合格审定体系起到了抛砖引玉的作用.