n个部件和开关组成的时序转换系统的可靠性

针对一些部件交替工作的复杂系统的可靠性指标求解问题,给出了由n个部件和一个开关组成的时序转换系统的定义,并对此类转换系统的可靠性进行研究。当转换系统中的部件和开关的寿命都服从指数分布时,得到了转换系统的可靠度解析式,并将结果应用于空调的可靠度求解,在实践中检验结果的合理性。

基于状态转换系统的Z语义模型扩充

利用状态转换系统对 Z语义模型进行分析 ,指出其三种不足 ;然后利用状态转换系统、有限状态转换系统和时序状态转换系统 ,对 Z语义模型分别进行多样性、有效性和时序性扩充 ,定义多种数据实现关系和时序实现关系 ,导出相应的求精关系 ;并通过一个简单的实例说明

从过程描述语言到Z语言

Z语言是一种得到广泛应用的形式化规格语言 .Z语言可以方便地描述系统操作的数据转换 ,却很难描述系统操作间的时序关系 .而过程描述语言可以方便地描述时序关系 .本文利用时序状态转换系统作为中介 ,提出一种把过程描述语言的项转换成 Z规格的机械算法 .利用这一算法 ,Z语言也能方便地描述时序关系 .