某型产品可靠性的设计与试验实施

通过对某型产品的可靠性模型建立,给出了可靠性分配的方法,并根据产品使用环境设计了可靠性试验方案和具体实施的关键点.     

直升机系统可靠性仿真研究

本文介绍直升机系统可靠性仿真研究及其相应的某型直升机可靠性仿真软件系统.首先讲述了系统开发背景;其次详细阐述可靠性数据的处理、可靠性模型的选择、建立及其参数估计方法,然后介绍了可靠性仿真软件的实现;最后给出了一个具体实例.直升机部件可靠性仿真,是直升机故障诊断及性能评估的重要参考.     

Apla中泛型约束机制研究

泛型程序设计可大幅提高程序的可重用性、可靠性和开发效率.泛型约束机制是对泛型参数进行形式描述,并对其合法性进行检测及验证,从而保证泛型程序的可靠性和安全性.分析总结多种主流语言的泛型约束特性,存在难以描述及验证基于动态语义的复杂约束需求问题,与完整实现GP尚有距离;以抽象程序设计语言Apla为宿主语言,提出了基于代数结构及公理语义的泛型约束方法,给出了基本数据类型、自定义抽象数据类型和子程序的3类泛型约束机制,拓展了泛型程序设计约束的应用范围.同时,支持静态语法和动态语义层约束,提高了泛型约束的精确度;借助Isabelle定理证明器,设计了泛型约束匹配检测和验证算法;进一步设计了泛型约束机制在PAR平台的实现方案及其系统原型.实验部分给出了该泛型约束机制描述、检测及验证一系列复杂泛型约束问题的全过程,自动生成的C++模板程序的可靠性和安全性得到显著提高.     

双星型网络拓扑可靠性分析

针对基于双星型网络的航空综合化设备可靠性计算问题,提出该网络拓扑可靠性的理论计算方法,对比分析了不同配置方法下双星型网络拓扑可靠性,推导出不同网络拓扑配置可靠性的计算公式,并用Matlab进行仿真,根据仿真结果给出基于双星型网络拓扑综合化设备资源冗余方案的设计指南。     

一种扩展的虚拟树型网格可靠性评估模型

在已有虚拟树型网格可靠性评估模型的基础上引入了"截止时间违约失效",提出一种扩展的网格可靠性评估模型,用于支持实时网格任务的可靠性评估.该扩展模型采用队列系统来建立网格资源的负载模型,解决了原模型中不支持并行资源和无法感知动态负载的缺陷.理论分析给出了模型的有效性证明和实时性任务的可靠性计算方法.实验结果显示,在饱和负载状态下,该扩展模型能显著提高可靠性评估的准确性,其动态负载感知机制能有效降低任务的平均响应时间.     

一种基于VXI总线的ATE设计与评估方法

按照可靠性、可测性和模块化设计要求,提出了一种基于VXI总线的ATE设计与评估方法.采用升级法策略,给出了测试台BITE的设计方法和流程图.把可靠性影响因素引入自动测试设备设计过程,给出了保障ATE可靠性的设计技术参数和选择依据.通过对ATE BITE结果的检测分析,可以有效地排除ATE自身的故障,从而保障对被测件测试结果的可靠性和真实性.典型电路和ATE转接电路板卡的可靠性预计和分析,验证了本设计的工程实用性.最后给出了进一步提升所设计ATE故障间隔时间的技术途径.     

一个经过证明的类型化汇编语言的类型检查器

编程语言类型系统的类型安全性可以保证程序运行时满足基本安全属性,包括控制流安全, 内存安全等.类型化编程语言都需要一个类型检查器来检查程序的良类型性,因此编程语言的具体实现是否能保证类型安全性,还依赖类型检查器的可靠性.本文给出一种类型化汇编语言,然后给出相应的类型检查器,并证明了此类型检查器的可靠性,从而保证经过类型检查的汇编程序的安全性.文本的所有工作,包括类型化汇编语言、类型检查器以及相关定理证明,均已在证明辅助工具Coq中实现.本文方法也可用于证明类型化高级语言的类型检查器的可靠性.     

基于网络模型的软/硬件可靠性分析*

提出了一种以软件环境中硬件可靠性分析的可靠性计算方法,从而使系统的可靠性计算更精确.最后给出了提高系统可靠性的策略与方法.     

并网型风电机组可靠性设计

介绍了并网型风电机组可靠性指标及其评估方法,及并网型风电机组的运行情况;根据并网型风电机组可靠性串联模型,对并网型风电机组进行可靠性设计,找出其薄弱环节,提高其可靠性,达到提高可利用率和年发电量的目的.     

基于参数测量的网络可靠性分析系统实现

基于网络性能参数测量,设计并实现了一个网络可靠性分析系统.首先介绍系统的结构与详细设计.介绍了系统专用的控制测量协议CMP.基于SLoPS算法实现了对网络延迟、可用带宽的测量,并基于延迟对可靠性进行计算.最后进行了实验并给出了可靠性分析结果.     

有相型寿命G—PH型CIMS生产线的可靠性研究

利用位相结构矩阵分析理论，研究了具有相型寿命Ｇ－ＰＨ型ＣＩＭＳ生产线的随机结构和性态，首先证明在平稳状态下这一复杂可修生产线等价于一个闭排队网络ＳＭ／ＰＨ／１／Ｎ＋１，然后给出生产线稳态时在首级加工时刻和在任意时刻的两类生产指标和可靠性指标。     

具有多层次变动环境的CIMS可靠性的位相分析

本文研究了多层次变动环境，带有有限缓冲库的ＣＩＭＳ可靠性问题。其中假定两级工作站的寿命都服从指数分布，其它所有随机因素都是马氏调节泊松过程。利用准生灭过程理论，给出了系统的各种可靠性指标和生产指标，给出了由环境小变化而引起的系统指标扰动的界值，讨论了系统运行中的局部渐近性态。     

依缓冲库调速CIMS可靠性分析的位相结构方法

本文提出了依缓冲库调速ＣＩＭＳ可靠性分析的位相结构方法，从闭环排队网络出发，利用准生灭过程理论，给出了系统的各种可靠性指标和生产指标，讨论了系统局部运行期的们相特征，最后给出了两个数据算例。     

CIMS串行生产线可靠性建模与分析的研究

本文对CIMS串行生产线可靠性建模与分析进行了综述，对两级和多级串行生产线的问题进行了讨论和分析，提出了ＣＩＭＳ可靠性研究的一些问题。     

多台并行随机CIMS可靠性的扩散估计界

ＣＩＭＳ可靠性模型随机研究的突出特点是工作站的并行结构使系统的状态个数呈现指数级增大，同时，并行结构与有限的缓冲库相互交织在一起，这使系统状态呈爆炸趋势，显然，对系统作精确的分析与系统呈现的状态爆炸趋势构成了难以解决的矛盾，如何解决这一矛盾正是ＣＩＭＳ随机理论有待开发的重要课题。我们把扩散近似方法引入到多台并行的ＣＩＭＳ可靠性模型中，以简单的连续过程描述了具有状态爆炸趋势的复杂离散过程，给出了ＣＩ     

考虑缓冲区故障的CIMS生产线可靠性模型

本文对考虑缓冲区故障的多级CIMS生产线的可靠性问题进行了研究,分析了缓冲区故障对生产线运行的影响,求出了系统稳态可用度及稳态生产率,并用一数值例子进行了说明。     

多级CIMS生产线的可靠性分析

本文对带有缓冲区的可修的多级 CIMS 串行生产线的可靠性问题进行了研究.用马氏过程对中间工作站及中间缓冲区的状态进行了分析,得到了生产线的稳态可用度和稳态生产率的解析式,并用一个例子进行了说明.     

非串行CIMS生产线可靠性建模、分析与综合

采用等效工作站方法,对非串行CIMS生产线可靠性进行了研究,得到了一条缓冲库可 用度的定理,并推导出在稳态情况下,非串行CIMS系统(如装配线和拆卸线)可以转变成串 行系统求解.同时分析出加工过程不丢失工件的充要条件和若干必要条件,绘出一幅PK-K 曲线,可以给出可行解的大致范围,有助于具体问题的求解.     

混合式CIMS生产线的可靠性分析

本文讨论在某一工作站片以２：１的比例合并装配，以１：１的比例分裂拆卸的所谓混俣式ＣＩＭＳ生产线的可靠性，得到了工件工作不流失条件下求解的充要条件及一些必要条件。     

一般两级可修CIMS生产线的显式结果

此文考虑了由两个工作站所组成的一类带有缓冲库及返工率的可修CIMS生产线的运 行特征.在两工作站的生产率、失效率、修复率以及加工工件的返工率皆为依赖于缓冲库中 工件数的假设下,给出了系统运行特征的精确显式解.