千兆三余度AFDX 帧管理的形式化建模与验证

为了提升新一代航空电子全双工交换以太网（AFDX）网络的传输速率和余度设计可靠性,在AFDX 网络标准的基础上（ARINC 664 p7）,建立千兆三余度AFDX 网络的帧管理机制模型并进行了形式化建模, 而且实现了AFDX 网络标准中描述的SkewMax 机制。使用UPPAAL 形式化工具对千兆三余度AFDX 网络帧 管理机制进行形式化验证,验证帧管理机制的完整性检查及冗余管理功能的可用性。结果表明,千兆三余度 AFDX 网络帧传输过程中不存在死锁。此外,针对标准AFDX 的冗余管理中一个帧的丢失可能会导致其冗余备 份的丢失的现象,提出在接收端设置一个队列,记录那些比连续帧更晚到达的冗余备份的帧序号,从而减少不 必要的丢帧,提高QoS 和数据完整性。形式化验证的结果可以作为千兆AFDX 网络标准制定和实际应用的参考。     

一种连杆装置载荷测试系统研究与设计

介绍了一种连杆装置载荷测试系统。某大型火箭芯级与助推器的连接采用了三支点超静定捆绑方式,为了充分了解这一新型捆绑连接结构在火箭大型地面试验和发射前加注过程中的载荷变化情况,开发设计了捆绑连杆载荷监测系统。系统采用了多路模拟开关及扫描技术实现了多通道数据实时采集,同时编制数据采集和数据处理软件对采集到的电压信号进行分析处理。通过对该系统的标定,实现载荷的测量。文章介绍了系统的硬件、软件设计原理和系统的两种工作状态。通过对箭上使用的连杆进行标定,得到连杆受力和系统输出的关系,通过标准载荷试验验证,线性误差在系统允许范围内。该系统载荷测量准确,可以用于火箭各种大型地面试验中捆绑连杆的载荷测量。     

数字逻辑设计的冗余与检错纠错

在分析数字逻辑电路的特点及其给实现容错目标带来的困难基础上,阐述了冗余类型与可靠性设计（检错纠错）间的关系,给出了一种改进的单元加固型容错触发器结构设计。     

空间失稳目标线阵雷达成像机理及三维重建

利用线阵激光雷达载荷小、抗干扰能力强等优势,研究空间失稳目标动态测量技术。探究线阵激光雷达成像机理,建立空间失稳目标运动模型,提出基于双切片法的目标可测区域提取机制,实现线阵激光雷达对空间失稳目标的驻留观测扫描;以ICP(Iterative closest point)配准结果为先验信息,提出逆序重建方案,建立重建点云精度以及平均密度评价机制,分析数据冗余对重建精度的影响,采用采样降维的方法进行配准重建计算,提高重建结果精度;最后进行仿真实验检验分析,实验结果表明空间目标可测部位数据提取合理准确,数据输出频率可达 1 Hz ,重建结果满足任务指标要求,重建点云平均密度达到19 mm,重建点云精度达到90 mm,为地面验证及在轨应用提供数据支撑和参考。     

基于飞机液压系统安全性设计的若干先进技术

针对传统飞机液压系统研制中危害性较高的失效模式,结合工程实际,详细阐述了飞机液压系统的安全性设计要求、设计要素和设计方法,从液压能源冗余配置、故障诊断与综合管理、电传控制、先进液压附件设计技术等方面举例说明了提高飞机安全性的若干液压系统先进技术,折射出国内相关技术进展和发展趋势。     

Analytical redundancy of variable cycle engine based on variable-weights neural network

In this paper, variable-weights neural network is proposed to construct variable cycle engine’s analytical redundancy, when all control variables and environmental variables are changing simultaneously, also accompanied with the whole engine’s degradation. In another word,variable-weights neural network is proposed to solve a multi-variable, strongly nonlinear, dynamic and time-varying problem. By making weights a function of input, variable-weights neural network’s nonlinear expressive capabili...     

EDI与EDP数据映射技术

就电子商贸的关键技术——电子数据交换（ＥＤＩ）展开讨论,针对ＥＤＩ和电子数据处理（ＥＤＰ）的接口问题,分析了国际通用的ＵＮ／ＥＤＩＦＡＣＴ格式化数据标准,并结合ＥＤＰ应用系统的数据结构,讨论了ＥＤＩ实际应用报文的生成方法,阐述了ＥＤＩ与ＥＤＰ数据映射的工作原理,介绍了基于各种数据库管理平台的ＥＤＰ应用系统进行数据映射通用软件结构设计的思想,文中最后给出了ＥＤＩ与ＥＤＰ自动映射的软件原型系统。     

面向综合CNI系统的双机热备份切换方案设计

本文针对综合CNI系统主备切换功能的实现,提出了一种基于表决算法的双机热备份主从模式的设计方案,从设计思路、设计原则以及冗余备份、主备切换的故障故障检测等方面进行详细分析,对上电确定主备流程、主切备流程以及备切主流程进行详细设计,通过方案验证,在不增加硬件基础上,能够快速无缝地将相应的功能控制切换至备模块,提高了整个综合CNI系统的可靠性,保障系统不间断运行。     

分布式系统中的冗余任务分配研究

提出了分布式容错系统的任务分配算法,算法考虑了系统任务的周期性、冗余性、适应度、重要等级等特点,以处理机负载平衡为目标,通过三步静态分配实现了任务在处理机中的冗余分布,即使同一任务的活动任务、准活动任务和睡眠任务分布在不同处理机中.对系统执行过程中的处理机故障,启动冗余任务动态唤醒算法,通过任务状态的转换实现系统重构.冗余任务分配算法既能满足系统可靠性要求,又可保证系统重构的实时性.     

航空发动机传感器解析余度模型的建立方法

为了使用解析余度模型对传感器故障进行诊断,提出了1种基于K-均值聚类与改进微分进化算法优化的极端学习机(IDE-ELM)的发动机传感器解析余度模型建立方法。为避免求解ELM算法时H矩阵奇异,采用K-均值聚类对试验数据进行聚类处理,然后从每类数据中选取1组数据组成训练样本用于训练;利用IDE算法优化ELM的输入层权值和偏置,提高ELM的泛化能力。利用飞行试验数据进行了仿真验证。结果表明:基于K-均值聚类和IDE-ELM设计的传感器解析余度模型具有较高的精度,可用于FADEC系统双通道传感器的故障诊断。