基于SysML的三余度飞控计算机系统建模方法研究

提出了一种基于Sys ML的三余度飞控计算机设计方法.在设计过程中,利用Sys ML静态图构建三余度飞控计算机系统结构模型;利用Sys ML的动态行为图构建余度管理算法模型,实现了三余度飞控计算机系统模型.以某三余度飞控计算机系统为例,构建三余度飞控计算机系统结构模型;设计计算机同步算法、监控表决算法并对算法进行建模.最后,通过所构建的仿真环境进行验证,结果表明所提出方法可行有效.     

基于多目标准则的流域站网优化

对于流域站网空间布局不合理(含有大量冗余站点及监测空白区等)的问题,基于美国伊利洛伊斯河下游流域27个站点4年的日均径流量数据,以站网中联合熵最大、冗余度最小且数据波动最小3个准则,构建了联合熵比、冗余度比和纳什效率系数(NSE) 3个目标函数对站网的信息量进行定量评估。约简流域冗余站点构成初步优化站点组合,并根据出水口得到的潜在站点确定流域需要新增的站点。结果表明:在原站网的基础上选出11个站点构成初步优化站点组合,其联合熵与原站网相等,冗余度减少74. 2%;在初步优化站点组合基础上新增3个站点,联合熵和冗余度分别增加37. 1%和22. 3%;与原站网相比,优化后的站点数量为14个,联合熵增加了37. 1%,冗余度减少了68. 5%。     

物联网入侵的最优通信节点选取算法

针对目前传统通信节点选取算法无法进行最优节点精确选取, 无法有效保证物联网的有效通信等问题, 提出一种基于节点信息冗余度的物联网入侵最优通信节点选取算法. 首先构建通信节点转移特征建模, 计算标记网络入侵下的跳频节点和噪音节点; 然后设计通信分布序列分析模型, 计算节点信息冗余度和通信节点的极值, 根据节点信息冗余度计算结果将干扰节点进行排序去除, 根据极值选取最优通信节点; 最后对最优通信节点选取算法进行仿真实验. 实验结果证明, 该算法可快速、 准确地实现物联网入侵下最优节点的选取, 具有较强的抗干扰能力, 且算法的综合性能优于目前其他最优通信节点选取算法.     

全局解析冗余关系的混杂系统模式跟踪

针对混杂系统同时具有连续和离散的运动规律和演化机制,提出一种基于全局解析冗余关系的混杂系统模式跟踪方法.建立混杂系统键合图模型并转化为诊断键合图模型,根据诊断键合图得到系统的全局解析冗余关系和模式变化特征矩阵.利用模式变化特征向量和开关元件导通与关断时开关两端的电压电流变化特征,实现模式变化了的开关元件定位.最后利用Matlab软件对该方法进行仿真实验,实验结果表明基于全局解析冗余关系的混杂系统模式跟踪方法是有效的.     

A high-level synthesis based dual-module redundancy with multi-residue detection （DMR-MRD） fault-tolerant method for on-board processing satellite communication systems

On board processing （OBP） satellite systems have obtained more and more attentions in recent years because of their high efficiency and performance.However,the OBP transponders are very sensitive to the high energy particles in the space radiation environments.Single event upset （SEU） is one of the major radiation effects,which influences the satellite reliability greatly.Triple modular redundancy （TMR） is a classic and efficient method to mask SEUs.However,TMR uses three identical modules and a comparison logic,the circuit size becomes unacceptable,especially in the resource limited environments such as OBP systems.Considering that,a new SEU-tolerant method based on residue code and high-level synthesis （HLS） is proposed,and the new method is applied to FIR filters,which are typical structures in the OBP systems.The simulation results show that,for an applicable HLS scheduling scheme,area reduction can be reduced by 48.26％ compared to TMR,while fault missing rate is 0.15％.     

基于Copula函数的系统可靠性冗余优化

针对系统可靠性冗余优化设计中冗余部件间可靠性的相关性经常被忽略而导致优化结果与工程实际有差距的问题，利用Copula连接函数中的Gumbel Copula函数来描述这些相关性，并根据相关性对冗余优化模型进行了改进. 针对模型的求解方法，选用GAG1启发式算法，并根据Gumbel Copula函数对其中的敏感因子进行了修正. 算例结果表明了改进方法的全面性、可行性.     

基于CRC的ASM信号维特比纠错算法

为提高甚高频数据交换系统(very high frequency data exchange system, VDES)中应用特定消息(application-specific messages, ASM)的解码性能, 提出一种基于循环冗余校验(cyclic redundancy check, CRC)的改进维特比纠错算法。通过合理降低符号状态数和使用部分CRC参与纠错, 使该算法平衡了纠错性能和计算量, 同时提出了新的分支度量以解决过于理想化的传统分支度量导致的性能损失。仿真表明, 新分支度量相比传统分支度量提升了1 dB的误帧率(packet error rate, PER)性能, 在用12个CRC寄存器参与纠错的条件下，该方法比相干解调算法提升了1 dB的PER性能, 同时通过合理的符号状态数降低策略将计算量降为传统算法的1/4。     

考虑多维修台异步单重休假的温贮备冗余系统可靠性模型

本文针对多维修台保障多个系统时维修力量调度规律对系统稳态可靠性的影响,引入多维修台异步单重休假策略,以包含c个维修台的温贮备冗余系统为研究对象,根据维修台所处的维修、休假、空闲3种状态将系统整体工作情况进行状态划分,建立系统状态转移矩阵。引入Phase type分布描述系统工作部件、贮备部件寿命以及维修台维修时间、休假时间、空闲时间等随机变量,构建考虑多维修台异步单重休假的温贮备冗余系统可靠性模型,得出系统稳态可用度和稳态忙期维修台数量等指标的解析表达式。最后利用算例对模型的适用性以及准确性进行分析,并探讨了维修台工作速率和系统可靠性之间的关系。     

一种双总线双控制器软件冗余系统的设计

设计了基于网络控制的可编程控制器冗余系统。在完成PC工作站、冗余控制器(ControlLogix控制器、SoftLogix控制器)、通信模块1203-CN1、变频器PowerFlex70、被控对象风动模型的安装和组态之后,采用NetLinx网络体系结构,架设了基于ControlNet的两个ControlLogix控制器之间以及ControlLogix控制器与SoftLogix控制器间的冗余控制系统。应用软件RSLogix5000为冗余系统中的控制器进行了I/O组态,编写了梯形图程序。并且应用软件RSView32制作了控制器冗余系统的监控画面。实验结果表明:双机软件冗余系统更加稳定,切换时间更小。     

一种基于网络分析的语义冗余发现方法

以农业AGROVOC本体为例,结合语义万维网推理机制定性分析冗余信息产生原因,利用复杂网络分析方法量化推理过程中产生的冗余,进而确定本体中的核心概念,解决推理冗余问题。实验表明,复杂网络分析方法可从定量角度找出核心节点及导致推理产生冗余的边,并揭示了语义冗余引起的推理效率降低问题。为优化本体设计、提高推理效率提供了一种新的可行方法。