| 单调关联系统的矩阵化分析方法 |
| |
| 引用本文： | 刘晓平,任春玲,杨宇.单调关联系统的矩阵化分析方法[J].系统仿真学报,2004,16(10):2165-2168. |
| |
| 作者姓名： | 刘晓平 任春玲 杨宇 |
| |
| 作者单位： | 1. 合肥工业大学计算机与信息学院VCC研究室,合肥,230009;中国科学院等离子体物理研究所反应堆技术研究室,合肥,230031
2. 合肥工业大学计算机与信息学院VCC研究室,合肥,230009 |
| |
| 基金项目： | 国家自然科学基金(60273044)，安徽省自然科学基金(01042201) |
| |
| 摘 要： | 概率安全分析是对复杂系统进行系统可靠性分析的有效方法,它的一个重要方面就是单调关联系统分析。单调关联系统分析的实质可归结为布尔表达式的演绎。矩阵运算在计算机上是易于实现的,因此,给出了析范矩阵的定义和运算规则,将布尔运算矩阵化,在此基础上又提出了扩展析范矩阵的概念和展开规则,并利用表达式的分析树,给出了单调关联系统的矩阵化分析方法。该方法已编程实现,被证明是快速、有效的,不仅适用于单调关联系统的静态分析,也适用于单调关联系统的动态实时仿真分析。
|
| 关 键 词： | 系统可靠性分析 概率安全分析(PSA) 单调关联系统 析范矩阵 LivingPSA |
| 文章编号： | 1004-731X(2004)10-2165-04 |
| 修稿时间： | 2004年4月20日 |
A Matrix Method for Coherent System Analysis |
| |
| LIU Xiao-ping,REN Chun-ling,YANG Yu.A Matrix Method for Coherent System Analysis[J].Journal of System Simulation,2004,16(10):2165-2168. |
| |
| Authors: | LIU Xiao-ping REN Chun-ling YANG Yu |
| |
| Institution: | LIU Xiao-ping1,2,REN Chun-ling1,YANG Yu1 |
| |
| Abstract: | Probabilistic Security Assessment (PSA) is an efficient method for complex system analysis. The coherent system analysis is a key issue in PSA and is boolean expression deduction substantially. Matrix calculation can be realized easily in computer. This paper gives the definition of disjunctive normal formal matrix and its formulae, and boolean operation is changed to matrix form. Based on that, the concept of extended disjunctive normal formal matrix is presented. Then it presents the matrixing method using analysis tree for coherent system analysis. The method is put into practice by programming and shows good results. This method can be applied not only to coherent system static analysis, but also to coherent system dynamic real time simulation analysis. |
| |
| Keywords: | system reliability analysis Probabilistic Security Assessment (PSA) coherent system disjunctive normal formal matrix Living PSA |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
