容错计算机的调试器设计

探讨了容错计算系统的调试方法和工具结构,提出采用RTscope多任务调试工具在目标机操作系统层上完成调试的途径.说明了容错计算机开发和测试对环境的要求,给出了调试器的体系结构和完成实时通信功能的驱动程序,建立了Windows实时多任务交叉调试环境.结果表明大大地降低了系数的复杂性,使之易于开发和测试周期.     

分布式多媒体系统模型与传输控制算法的研究

作为分布式多媒体系统通信与表现控制研究的基础,提出分布式多媒体系统整体模型DMISIM(Distributed Multimedia Information System Integrated Model),将分布式多媒体系统抽象为3元组——多媒体同步时间单元SIU(Synchronization Interval Unit)、通信信道以及信道与SIU序列之间的一一映射关系．模型描述多媒体信息和通信网络的静态属性,反映系统通信传输的动态过程．基于DMISIM,对分布式多媒体通信传输控制机制进行研究,提出最小偏差调度算法MDSA(Minimum Deviation Scheduling Algorithm)作为古典列表调度算法CLSH(Classic List Scheduling Heuristic)的改进．理论分析和逻辑推导证明,在不增加算法时间复杂度,不降低多媒体同步表现质量的同时,算法提高了系统目的端缓冲区利用率,降低了缓冲区需求及多媒体数据溢出的可能性．算法与底层通信传输机制无关,可以广泛应用于分布式多媒体系统的通信传输过程中．      

飞控系统虚拟设计环境

开展面向设计的飞控系统虚拟原型机开发环境研究,提出了飞控系统虚拟设计环境的3层次结构:第1层为运行管理层,以数据库为基础,其核心为PDM(产品数据管理)软件.第2层为虚拟技术层,提供余度飞控计算机、舵回路、传感器等的虚拟原型的生成.第3层为仿真支持层,支持人在回路的仿真验证.分析了实现每层功能的关键技术,并基于该虚拟设计环境,完成了虚拟四余度飞控计算机的设计和验证,使该开发环境具有面向主要结构参数、性能参数、价格参数的虚拟余度飞控计算机系统生成功能.     

用面向对象技术实现相关分离的双语言描述

介绍了一种新的形式化描述思想,即"相关分离"的思想,并分析了基于此思想的双语言方法,与传统的单一语言的描述技术相比,"相关分离"的思想和双语言方法更适合于分布式多媒体的描述.结合对面向对象技术在分布式多媒体的形式化描述中应用的方法分析,本文提出了一种以LOTOS/QTL或Esterel/QL为基础,融合面向对象技术的形式化描述方案,该方案可用于建立分布式多媒体系统的时间模型和同步模型.     

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

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

机载计算机电磁兼容性分析

对飞行器常规工作、机体内部和未来电子战的电磁环境进行了研究，并分析机载计算机的电磁兼容性，对其典型兼容问题作出简要的计算分析和讨论，明确了提高机载计算机电磁兼容性的工程措施。     

机载公共设备综合管理系统任务分配算法研究

机载公共设备的综合管理是机载系统发展的必然方向,为解决机载公共设备综合管理系统中任务分配问题,进行了任务划分.根据周期任务和非周期任务对系统风险系数的贡献不同,提出了两层任务分配策略;以单机风险系数均衡为目标函数,设计了基于蚁群算法的周期任务分配算法.对蚁群算法进行了模糊自适应参数调整的改进,仿真结果表明改进算法能够有效地使蚁群算法从局部最优点中逃脱,解决任务分配问题.      

RESEARCH ON DIGITAL ACTIVEFLUTTER SUPPRESSION

ＲＥＳＥＡＲＣＨＯＮＤＩＧＩＴＡＬＡＣＴＩＶＥＦＬＵＴＴＥＲＳＵＰＰＲＥＳＳＩＯＮＺｏｕＣｏｎｇｑｉｎｇ，ＣｈｅｎＧｕｉｂｉｎ（５－ｔｈＤｅｐａｒｔｍｅｎｔ，ＢｅｉｊｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＡｅｒｏｎａｕｔｉｃｓａｎｄＡｓｔｒｏｎａｕｔｉｃｓ，...     

在MIMD型机上求解板的临界载荷的一种并行算法

提出了一种在ＭＩＭＤ型并行机上求解板的临界载荷的子结构方法的并行算法。此算法实际上就是解决Ａｘ＝λＢｘ广义特征值问题（其中Ａ、Ｂ为正定的箭头型矩阵）。主要通过矩阵变换将此问题转化成适合并行算法的一般特征值问题。给出了此并行算法的并行加速及效率的分析和算例,证明了此并行算法的优越性。     

飞机防滑控制系统的分布式实时仿真

 首先对飞机防滑刹车系统的工作原理进行了较为详细的分析,并建立了系统的数学模型.在此基础上,采用分布式实时仿真系统对系统进行了仿真研究,给出了分布式实时仿真系统的结构方案,讨论了仿真算法、仿真步长的选取等问题.并对某飞机防滑刹车系统在干跑道、湿跑道2种情况下的仿真结果进行了分析.经实验验证,该分布式实时仿真系统具有实时性好,处理能力强等优点.