基于贝叶斯网络的多状态机载系统安全性评估方法

传统的安全性评估方法不适用于具有多状态属性的现代机载系统。根据系统与系统组成单元之间的状态关系,构建了基于贝叶斯网络的机载系统多状态安全性模型;运用通用生成函数给出了贝叶斯网络非根节点的条件概率表,基于变量消元法提出了系统失效状态发生概率计算方法,推导了系统组成单元重要度算法。结合某型飞机副翼控制系统给出了应用实例。结果表明,方法为解决多状态机载系统的安全性评估问题提供了一种简洁直观的方法,能够有效评估机载系统的安全性水平,确定各单元对系统安全性中的影响。     

关于一般q-李代数的普遍包络代数 的研究

利用张量代数与一般q-李代数思想,研究了一般q-李代数的普遍包络代数U(Lq),以及它的泛性质,并且通过有序齐次基的引入,最终找到了U(Lq)的一组基。     

基于通用组件的分布式仿真系统的研究

介绍了一个基于MATRIXx的通用实时分布式仿真系统的开发。该系统可以接受来自网络或本地终端的不同数据输入。仿真模块中的应用模型能自动获取这些数据，并加以分析和计算，最终输出实时的仿真控制信息，同时设计了相关仿真组件来实现数据的输入与输出以保证实时通用的数据传输。实验结果表明，仿真的实时性能够得到充分保证。     

基于极大代数的航空器无冲突放行时间推测

针对同一终端区不同机场航空器离场汇聚,给出了问题的具体描述,建立了相应的单航路极大代数模型,并在此基础上设计了航路汇聚交叉模型,解决了同高度航空器离场的冲突问题,最后对模型进行了算例验证。结果表明,极大代数能够较好地解决航空器航迹冲突问题,实现航空器到关键点的无冲突放行。     

决策表的逻辑表达式分析

用泛布尔代数系统作为逻辑工具,证明了条件属性完全决策表的两种逻辑表达式(蕴涵式和析取范式)是逻辑等价的,但是决策属性相容和不相容决策表的蕴涵式表达式有所不同。继而证明了不完全决策表在1型解释下,其析取范式表达式仍与完全决策表的析取范式表达式形式相同,但与其等价的蕴涵式表达式却比完全决策表的蕴涵式表达式多了一串乘积;而不完全决策表在2型解释下,其蕴涵式表达式仍与完全决策表的蕴涵式表达式形式相同,但与其等价的析取范式表达式却比完全决策表的析取范式表达式多了一串和式。     

包容理论在导弹构件外形偏差评定中的应用

阐明了导弹的机械构件在设计和加工过程中有严格的精度要求,对于已经生产出来的构件,需要对其进行外形偏差评定;包容理论就是建立构件最小外包容模型,评定其外形偏差的方法。该方法不但可以鉴定构件外形是否合格,而且能够反映出加工工艺的误差。文中还应用包容理论对导弹的一例构件建立外形偏差的数学模型,并进行了计算分析,计算结果证明该例构件外形在偏差允许范围内。     

机载总线网络及其发展

从当今机载电子系统对信息传递的需求出发,纵观航空电子综合化系统的发展阶段,说明为了适应新一代航空电子系统的大容量、深层次的信号与信息综合的要求,机载互连手段从较低速率的总线向宽带网络发展成为必然的趋势。介绍了光纤通道(FiberChannel,FC)、可扩展性一致性接口(ScalableCoherentInterface,SCI)以及波分复用光网络等宽带互连方案,给出它们的研究动向,说明它们作为先进综合式航空电子系统统一网络(UniversalAvionicsNetwork,UAN)的候选所具有的特点。     

广义热传导方程族及其Hamilton结构

寻求新的可积系统一直是可积系理论中的一个重要课题 ,生成可积系统的关键是由 Lie代数确定一个适当的 loop代数 (即不带中心元的仿射 Lie代数 )。现在通行的构造模式是屠规彰格式。人们通过构造 loop代数 A1的不同形式的基已求得了许多著名的方程族 ,如 AKNS族、KN族、TC族等。可是 ,为了使辅助方程 Vx=[U,V]的解可用循环算子表出 ,要求 U中 λ的次数不能过高与过低 ,这就限制了等谱问题的建立。一个解决途径是 :寻求 A1 的子代数 ,使其相邻基元中λ的次数差大于 1。为此 ,本文选用 loop代数 A1 的一个子代数 ,使其基元中λ的次数差大于 1 ,由此建立了一个新的线性等谱问题 ,利用屠规彰格式导出了一类广义热传导方程族及其Hamilton结构 ,并证明了该方程族是 Liouville可积的。最后求出了此方程族的公共守恒密度。     

矩阵特征值反问题的若干进展

给出矩阵特征值反问题若干进展的一个概述。涉及的专题包括含参数的特征值反问题．Ｊａｃｏｂｉ矩阵和实对称带状矩阵特征值反问题和线性（谱）约束下矩阵（束）逼近问题。这些问题出现在各种应用领域，如粒子物理的核光谱光、结构设计、振动反问题、Ｓｔｕｒｍ－Ｌｉｏｕｖｉｌｌｅ反问题和 数学物理反问题的离菜化以及结构动力模型的校正。最近２０年，对这些问题的提法逐渐完善，解的慧生和数值方面已取得了许多重要进展。本文评     

基于1553B总线的星载相机地面检测程序通用化设计

1553B总线是一种时分制指令/响应式多路传输数据总线,广泛应用于飞机、舰船和卫星的通信中。目前已有部分星载相机采用1553B总线进行通信,但其命令多样,数据的传输类型也不尽相同,因此,卫星在地面检测时要根据对应的协议进行测试,必要时须对程序进行重新设计、修改,工作量较大。为了解决协议频繁更改带来的测试可靠性问题,文章基于VC编程技术,借鉴程序通用化的设计思想,实现了星载相机1553B总线通信检测程序接口的通用化设计,使地面测试程序得到统一化、通用化,提高了产品的开发效率和可靠性。