组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

深空通信中提示否定确认型CFDP协议延时估算

为确定空间数据咨询委员会（CCSDS）建议高级在轨系统中CCSDS文件传输协议（CFDP）在深空通信环境中的适应性,研究了CFDP中提示否定确认型文件传输协议（Prompt NAK CFDP）的传输机理。给出了此传输方式的文件传输时延估算方法。分析了误码率、传输速率、协议数据单元的大小与数量,以及提示信息数等对传输时延的影响,获得了深空通信对误码率的要求。研究表明：CFDP可用于深空通信,为其进一步应用和改进提供了参考。     

滚动轴承摩擦力矩的乏信息模糊预报

滚动轴承摩擦力矩的波动具有不确定性,属于概率分布与趋势规律都未知的乏信息系统.这阻碍了对轴承摩擦力矩的小样本分析与总体把握.为此,以模糊集合理论为基础,从小样本入手,建立了航天轴承摩擦力矩参数的经验概率密度函数及其模糊预报模型,并对摩擦力矩的均值上界和最大值上界进行预报.对HKTA和HKTB两种轴承摩擦力矩参数的试验研究表明,在99%～100%置信水平下,预报结果与试验结果之间的误差很小,最大绝对误差仅为0.081 1个设定单位,最大相对误差仅为10.165%,可以满足航天工程的要求.      

ADS-B统计数据的位置导航不确定类别质量分析

为实现广播式自动相关监视(ADS-B)航迹与雷达航迹的高质量融合,必须对ADS-B航迹和雷达航迹数据质量进行分析。在分析实际ADS-B航迹数据的基础上,提出以航路为参考基准验证ADS-B航迹数据精度及完好性的方法。根据ADS-B报文中的位置导航不确定类别(NUCp)值,统计航迹点与航路中心线的水平偏差并将其作为位置实际误差,运用分位数-分位数图法对位置实际误差进行正态分布检验,得出置信水平为99%的实际误差置信区间,即在不同NUCp值下可信赖的位置误差范围。实验结果表明,在采用加权平均法进行航迹融合时,与传统权重分配相比,对于NUCp值为5或6的ADS-B航迹数据可增大权重,而对于NUCp值为7的数据则应减小权重。     

高性能飞机发展对控制理论的挑战

根据笔者30余年来飞行试验研究的实践,从实际飞行的角度简要综述了影响飞行安全的大迎角过失速机动、超低空重载空投、飞行器突发故障和无人机控制方法研究。描述了操纵稳定性飞行试验获取飞机模型的手段和通常飞行控制器设计对模型的近似,给出了8个飞行鲁棒控制的研究问题;对超低空重载空投控制方法进行了描述,并给出了飞行器出现故障时突变模型和容错控制方法;同时,描述了测量对飞行控制特别是对保障无人机飞行安全的重要性,指出了飞行控制方法研究存在的部分问题,并建议有关高校研究单位从稳定性很好的四旋翼转向固定翼或单旋翼战术无人机等高层次研究。     

基于JACK的民机驾驶舱可视性评估研究

针对JACK在民机驾驶舱可视性评估中的不足,提出了一种在JACK环境下计算飞行员视角度数的算法,并利用Tc l/Tk和Python语言按照该算法开发了一个视角计算模块。最后经过与CATIA软件计算结果的对比证明了所提算法的正确性。开发的模块弥补了JACK软件的不足。     

飞机持续适航文件初析

在航空器投入使用后,其使用和维修需通过持续适航文件来保证。通过对适航规章以及相关专业的分析和研究,从技术出版物体系出发,对支线飞机的持续适航文件进行初步的研究。主要介绍每本ICA的主要内容、发挥的作用以及它们之间的相互关系,可为持续适航文件的编写提供一定的参考。     

数字电视地面接收机的解映射改进算法及实现

针对《数字电视地面传输系统帧结构、信道编码和调制技术规范》国家标准(以下称国标),提出一种用于国标全模式接收机的解映射改进算法。利用国标中的QAM星座图中符号与信息比特间的规律,简化解映射电路,同时实现多QAM模式的解映射模块复用。算法已在基于FPGA的国标全模式接收机中得到了验证,与传统解映射算法相比,算法既节省了硬件资源,同时还提高了系统速度。     

基于遗传算法的飞机着陆调度

使用遗传算法对飞机着陆进行优化调度。算法以所有飞机的排列次序作为个体编码,适应度函数的构建综合考虑了飞机的各种约束条件,通过选择、交叉、变异得到优化输出。仿真结果表明遗传算法用于飞机着陆调度可行、有效。