威布尔过程模型在机械系统可靠性中的应用

为了研究复杂可修系统的规律,应用威布尔过程模型,得出这样结果,即提出一种定量描述预防性维修质量的方法,并对MTBF进行了分析。可以这样认为,模型参数在实际工作中有很广泛的应用。     

软件重用综述

本文综述了软件重用的发展历程、基本概念、形式、技术和方法,然后就软件重用的技术领域和管理范畴分析了目前存在的主要问题后,提出了相关的解决方法,展望了软件重用的未来。     

一个飞行员模型

航空火控系统,就其实质而言,是一个闭环的人机系统,“人(即飞行员)”是该系统的重要组成部分。因此,在仿真中,找出一个真实可用的飞行员模型是完成仿真任务关键的一步,本文介绍了目前在终端航空武器投放仿真(TAWDS)中广为应用的多轴飞行员模型,分析了该模型的工作原理,并试图通过根轨迹法,绘制出其闭环特征方程的根轨迹图,以确定该模型参数的选取范围。最后通过以F-106飞机为例,对所得的e_(Lv),e_(Lw)时域响应曲线进行了初步的分析,说明其仿真结果和实际情况是基本吻合的,因而,该飞行员模型是可用的。另外,此模型在别的火控系统的研究中,也可作为借鉴或参考。     

反馈式内置自测试设计方案对比研究

对两种基于反馈的自测试（BIST）方案进行了比较研究,给出了串行反馈和并行反馈BIST方案的设计结构和操作模式。分析了它们的状态转移图的拓扑结构,并对若干电路做了模拟实验。研究表明:添加线沟通测试图生成和响应压缩部分所产生的串行反馈BIST方案性能更好。     

基于自由边控制流图的路径覆盖分析实现方法

针对路径覆盖测试,给出了一般循环结构的一种简化处理方案及把按此方案得到的控制流图转化为自由边控制流图方法,并探讨了基于自由边控制流图进行路径覆盖分析的实现方法和优点。     

利用区间着色 Petri 网的 C~3I 系统时延分析

Ｃ３Ｉ系统是一个复杂的分布式离散事件动态系统,适合于用Ｐｅｔｒｉ网来描述其异步,并发行的,而且Ｃ３Ｉ系统是一个时间准则系统,文中提出的区间着色Ｐｅｔｒｉ网非常适合于分析其严格时限,并给出计算时延上（下）界的算法。     

关于图的n-Irredundance数和n-Domination数

设G是简单连通图,r_n~c(G)和ir_n(G)分别表示图G的连通n-Domination数和n-Irredundance数、本文证明了如下结论:r_n~c(G)≤(3n+1)ir_n(G)-2n。     

关于图的一个边重构性定理之证明

若图Ｇ存在一个次为δｐ＋ｋ的顶点至少和ｋ＋１个小次顶点相邻,则Ｇ是边可重构的（δｐ为某小次,ｋ≥０为整数）。文（１）并没有证明,本文给出其证明方法,且得到一个推论。