PVM并行调试器中检查点机制的实现方法

介绍了检查点在调试半行程序中常用的实现方法，提出了一种新的断点式一致性的检查点设置方案，并分析了它在ＰＶＭ环境中的实现策略，旨在提供一种快速，方便的调试ＰＶＭ并行程序的手段。     

一类混合动态系统的稳定性

混合动态系统是一类同时含有连续时间变量和离散事件变量的系统，在这类系统中，两类变量耦合在一起，具有复杂的动力学特性和时钟关系。本文在一般度量空间上刻画了混合动态系统，并给出了混合动态系统在Ｌｙａｐｕｎｏｖ意义下稳定和渐近稳定的定义及其充分必要条件，同时研究了一类混合动态系统稳定与其连续和离散事件子系统的稳定性之间的关系。     

个体软件过程实验研究

为确定个体软件过程ＰＳＰ（ＰｅｒｓｏｎａｌＳｏｆｔｗａｒｅＰｒｏｃｅｓ）在软件开发中的实际应用效果,北京航空航天大学软件工程研究所在１９９７年进行了ＰＳＰ的应用实验．本文首先简要介绍了ＰＳＰ的原理和方法,然后给出ＰＳＰ实验的结果数据,对该数据从差错率和生产效率２个方面进行了统计和分析．分析结果显示,ＰＳＰ的应用对于提高软件开发效率、改善软件产品的质量有重要的意义．讨论了ＰＳＰ应用过程中可能遇到的问题,指出了今后进一步的工作．     

个体软件过程实验研究

为确定个体软件过程PSP(Personal Software Process)在软件开发中的实际应用效果,北京航空航天大学软件工程研究所在1997年进行了PSP的应用实验.本文首先简要介绍了PSP的原理和方法,然后给出PSP实验的结果数据,对该数据从差错率和生产效率2个方面进行了统计和分析.分析结果显示,PSP的应用对于提高软件开发效率、改善软件产品的质量有重要的意义.讨论了PSP应用过程中可能遇到的问题,指出了今后进一步的工作.     

一种IC测试系统的可靠性分析与改进设计

美国ＧＲ系列ＩＣ测试系统采用磁带机作为系统程序的输入设备,由于磁带机故障率较高,因此使用中经常发生程序输入失败的现象,严重影响了该测试系统的可靠性,本文在对ＧＲ１７３２Ｍ型测试系统的组成结构进入深入分析的基础上,应用在线仿真器对主处理器进行实时仿真,跟踪了引导程序的执行流程和系统磁带的输入过程,提出了用ＰＣ微机代替磁带机,通过ＲＳ－２３２串行接口传送所有软件,本文详细阐述了改进设计方法,改进成功后     

混合系统等步长仿真时钟同步方法及性能评价

通过对一类混合系统仿真中的连续系统、离散事件系统及推理决策系统各自仿真时钟的分析,得出了推理决策系统仿真依赖于其他２ 个系统的结果,继而提出了用其中的离散事件系统仿真时钟去同步具有等步长策略的连续系统仿真时钟的等步长方法,并给出了相应的软件实现方法与性能评价准则,解决了该类混合系统仿真时钟的同步问题,从而为该类混合系统的仿真提供理论依据     

功率电传机载作动系统方案分析

综述了目前正在验证中的各种功率电传机载作动系统的发展状况,并详尽描述其工作原理,在分析其各自的优缺点之后,针对当今技术发展现状以及新型作战飞机对作动系统的要求,提出了两种新型的功率电传作动系统——电机-泵复合控制功率电传作动系统和电机-泵-阀复合控制功率电传作动系统,初步实验分析证明了该两种方案作为向全电作动系统的过渡是可行的,将对未来机载作动系统的研制具有实际指导意义.      

输入滞后和状态滞后系统的鲁棒H∞控制

针对一类具有状态滞后、输出滞后和凸多面体不确定性的连续时间系统,研究了时滞依赖型鲁棒H_∞控制器的设计问题.通过引入两个附加的松弛矩阵使Lyapunov矩阵和系统矩阵得到分离,得到一个新的鲁棒H_∞性能判据,并基于该判据设计了系统的鲁棒H_∞状态反馈控制器.设计的状态反馈控制器不但保证闭环系统的二次稳定性,同时使系统的H_∞范数小于一个给定的衰减水平.并且设计了一个迭代算法得到问题的次最优解.指出了一种可以在现有的研究成果的基础上得到新的具有更低保守性的性能准则的有效途径.最后通过一个数值算例验证了所提出算法的可行性和优越性.     

制造成熟度及其在我国航天的应用研究

介绍了美国国防部在采办项目管理中使用的制造成熟度(MRL)方法,分析了MRL对提升我国航天制造能力和改进制造风险管理的应用价值,论述了MRL与技术成熟度(TRL)、产品成熟度的关联关系及其主要针对大批量生产的理论局限性;面向我国航天制造类型多样、制造难度大与批产难度高兼具的特点,提出了我国航天MRL等级定义和评价方法;总结了在我国航天领域开展MRL研究,进行试点应用,建立评估规范和制造成熟度提升机制的建议。     

三值逻辑的T门实现和化简

本文介绍了T门的基本概念及电路的设计方法。并对非标准形式的三值逻辑函数的实现和化简作了讨论。