ECK2007模型与其他密钥协商协议模型安全强弱关系的形式化证明

比较了安全性模型Extended Canetti＆Krawczyk 2007（ECK 2007）与其他4个安全模型（Bellare＆Rogaway 1993（BR93）,Bellare＆Rogaway 1995（BR95）,Bellare,Pointcheval＆Rogaway 2000（BPR 2000）和Canetti＆Krawczyk 2001（CK2001））的不同点,并形式化地分析了这些模型之间的强弱关系,对模型间存在的蕴含关系提供了形式化证明,对非蕴含关系提供了反例。     

基于BP神经网络算法的飞机发动机火警信号系统研究

针对某型飞机发动机火警探测系统存在误报率较高的问题,设计了基于BP神经网络算法的飞机发动机火警信号系统,采用了速率检测算法结合绝对温度的局部决策机制,构建了3层数据融合结构,进行了仿真验证.证明此种方法对解决发动机报警灵敏度和误报率之间的矛盾,具有较高的价值.     

分布嵌入式大气数据系统算法的初步研究

针对某型飞机给出了DFADS系统的构型描述,进行了DFADS的算法设计,算法采用了一种非物理映射的方法来建立各测压点压力和基本大气参数之间的关系.先是利用制定的多传感器数据表决规则表决出2～3对相关的测压点,然后通过建立相关测压点压力和其压力系数值之间的关系,利用这几对测压点的压力对事先建立的Cpi(α,β,Ma)映射关系表格数据库进行查表计算,从而得到当前的飞行状态.本文利用计算流体动力学(CFD)计算手段获得了332个飞行状态下飞机前机身14个测压点的表面压力系数数据,并以此为基础对DFADS的算法进行了仿真验证.结果表明,该DFADS的算法可以根据14个点的压力输入,正确地解算当前的大气参数.     

SCADA系统在石油储运中的应用

应用组态软件及PLC技术实现石油储运数据库的SCADA系统的构建,详细阐述了模拟石油储运中数据采集的硬件需求设计、软件构成,说明了石油储运数据库的SCADA系统的特点、功能、控制原理,完成了石油储运数据库的建立,为石油储运的研究提供了大量的实验数据,为石油储运新方法、新技术的推广提供依据。     

液体火箭发动机试验频率量信号的处理与仿真

液体火箭发动机试验中频率量（流量、转速）数据曲线不规整,存在着“毛刺”。影响了数据的准确性。采用仿真方法优化频率量信号采集模式,并用实际试验数据进行了验证。结果表明,仿真方法优化频率信号采集模式能有效地减少频率量曲线中的“毛刺”。     

三座标测量技术在曲面测绘中的开发应用

扫描测量功能是三坐标测量机一项重要功能,扫描测量方法效率高可以反映出零件表面自由形状的细部特征。因此,就该功能开发适合发动机复杂型面零件测量的数控测量方案,解决复杂空间自由曲面（线）精密测量问题进行了论述。介绍了如何识别不同的扫描数据格式,对扫描数据根据生产实践需要进行旋转、镜像及平移等处理,并将其转换为CAD曲线或曲面．以便进一步进行数据分析或建立三维模型进行加工。     

数据挖掘分类方法在冲击谱试验中的应用

冲击谱试验随机性强,难度较大。文章利用数据挖掘中分类方法提取数据背后隐藏的有用知识,通过数据预处理、构建冲击谱试验数据仓库、决策树分析、评估比较,最终总结出一套针对不同产品、不同试验工况的冲击谱试验调试方法。这可为以后产品的冲击环境试验提供有力的技术支持,进一步提高冲击谱试验的质量和试验中产品的安全性。     

VHF地空数据链网关信息处理模式分析

VHF数据链网关信息处理模式直接影响系统的实时性,采用排队论模型详细分析了两种信息处理模式对系统实时性的影响,进行了计算机仿真,通过分析仿真结果,得到了适合的信息处理模式。     

S-TDMA数据链系统时隙预约选择算法分析

时隙预约选择算法是自组织时分多址(S-TDMA)数据链协议中实现时隙动态预约的关键.采用概率分析理论,详细分析了在多用户时隙选择间隔发生重叠时,目前所使用的一种典型时隙选择算法对S-TDMA甚高频(VHF)数据链性能的影响.进行了计算机仿真,对分析结果进行了比较研究,并以此提出一种有效的新型时隙选择算法.      

不完全数据最佳线性无偏估计方法

针对工程上存在大量不完全数据的情况,本文建立了不完全数据秩统计量的联合概率密度函数,给出不完全数据顺序统计量的均值、方差和协方差计算公式,提出不完全数据最佳线性无偏估计方法,并对正态分布、Weibull分布等位置-尺度分布进行了详细讨论。该方法能够充分开发利用试验数据中的不完全信息,从而提高不完全数据统计分析的精度。