基于签名的控制流错误检测算法检测能力的验证模型

目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制流检测算法的错误检测能力。本文首先简述了基于签名的控制流错误检测算法的基本原理,其次,提出了控制流错误跳转关系表示方法和指出了传统的控制流错误检测能力分析方法中未考虑的影响检测能力的因素,接下来,结合这些因素提出了基于签名的控制流错误检测能力验证模型,最后给出实例,通过验证模型分析了目前典型的基于签名的控制流错误检测能力。
     

加公司拟进行在轨维护技术验证

加拿大麦克唐纳。德特威勒联营公司（MDA）表示,该公司计划在2013年前发射一颗原型在轨维护卫星。卫星将采用该公司开发的可用于为在轨卫星补加燃料并可在必要时把废弃卫星送人弃星轨道的机器人技术。MDA准备用自有资金解决该项目的至少部分经费,并已同一家卫星运营商订立了一项选择权。     

美STSS验证卫星展示探测和追踪卫星能力

据报道：美导弹防御局的太空跟踪与监视系统（STSS）演示验证项目卫星探测并跟踪了一颗卫星,展示了一组增强的能力。这颗导弹探测卫星是诺斯罗普·格鲁门公司合雷神公司建造的2颗STSS航天器中的太空跟踪与监视系统先进技术风险降低（STSS-ATRR）卫星。此外,STSS演示验证项目还首次使用多个传感器波段跟踪了一颗国家海洋大气管理局（NOAA）的气象卫星,跟踪持续了数分钟。     

嵌入维数自适应最小二乘支持向量机状态时间序列预测方法

 针对航空发动机状态时间序列预测中嵌入维数难于有效选取的问题,提出一种基于嵌入维数自适应最小二乘支持向量机(LSSVM)的预测方法。该方法将嵌入维数作为影响状态时间序列预测精度的重?问?以交叉验证误差为评价准则,利用粒子群优化（PSO）进化搜索LSSVM预测模型的最优超参数与嵌入维数,同时通过矩阵变换原理提高交叉验证过程的计算效率,并最终建立优化后的LSSVM预测模型。航空发动机排气温度（EGT）预测实例表明,该方法可自适应选取适用于状态时间序列预测的最优嵌入维数且预测精度高,适用于航空发动机状态时间序列预测。     

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

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

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

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

龙飞船将飞往国际空间站

太空探索技术公司将在2012年2月初使用“猎鹰”9火箭向国际空间站发射其“龙”货运飞船,执行一次飞行验证任务,从而为启动正式的空间站货运补给飞行扫清道路。太空探索公司2006年以来已从NASA“商业轨道运输服务”（COTS）验证计划拿到了3．76亿美元的资助。