系统安全技术国内外研究与应用综述

通过研究系统安全技术在国外的发展历程与发展趋势,介绍了国外系统安全性思想的发展理念,分析了我国系统安全技术发展与应用中遇到的问题,并提出了如何推行系统安全工作的构想。     

基于径向基函数的优化代理模型应用研究

针对已有径向基函数建模方法在小样本情况下存在的模型精度低,误差大的缺点,本文提出了基于交叉验证技术的径向基函数代理模型构造方法,即在计算径向距离时引入权值系数,通过对其优化以减小模型的预测误差平方和,从而提高模型的精度。采用两种测试函数对本文所提出的方法进行验证,结果证明了本方法相对于传统的径向基函数建模方法可以有效提高模型精度,减小模型误差。最后,将其应用于传感器飞机的总体优化设计之中,结果表明本文所提出的方法是可行的。     

复合材料主桨叶生产过程中的质量检测和试验验证方法

主桨叶作为直升机的关键部件,其生产质量直接关系到直升机的安全,因此在桨叶生产的全过程中,必须对其进行全面的质量检测和试验验证,从而确保生产出的桨叶符合设计要求。首先介绍了EC175复合材料主桨叶的内部结构,然后介绍了其整个生产过程中的质量检测和试验验证方法。     

基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.