[发明专利]基于系统进程代数化模型的系统风险分析方法

权利要求书

1.一种基于系统进程代数化模型的系统风险分析方法，其特征在于，该方法构建了系统进程代数化模型AMSP，其中AMSP以事故演化过程作为分析对象，其输出为事故演化过程中系统风险值的变化过程；

利用AMSP动态分析事故演化过程，输出以下结果：系统运行阶段系统控制结构中存在的风险因素；系统功能结构中出现的风险传播路径，以及事故演化过程中系统风险的连续变化情况。

2.根据权利要求1所述的方法，其特征在于，所述的方法具体包括以下步骤：

步骤1：确定系统的安全控制结构；

步骤2：划分事故演化过程中系统进程所包含的进程阶段；

步骤3：标记进程阶段下控制结构中的风险因素和风险传播路径；

步骤4：代数化描述进程阶段下的系统风险值；

步骤5：根据步骤4推导系统进程中每个进程阶段PSx下系统风险值的描述式对这些描述式进行逐项比较，从而明确事故演化过程中系统风险值的连续变化情况。

3.根据权利要求1所述的方法，其特征在于，所述的AMSP需要两类信息作为输入，分别为安全控制结构和事故事件链。

4.根据权利要求3所述的方法，其特征在于，所述的安全控制结构包含系统控制结构中的组件信息和内部通信信息，所述的事故事件链需要从事故报告中分析得到。

5.根据权利要求2所述的方法，其特征在于，所述的步骤1具体为：

将系统的物理结构划分为三层，分别为组件级、子系统级和系统级，对应地，将系统的功能结构也分为三层，分别组件功能、子系统功能和系统功能，其中系统功能的实现基于的是相关组件执行规定的组件功能，系统进程是系统功能按照设计序列执行以达成系统目标的动态过程；

将系统进程划分为若干进程阶段。

6.根据权利要求5所述的方法，其特征在于，所述的进程阶段是系统进程为达成系统目标所经历的几个连贯的步骤；每一个步骤都是若干系统功能的有序集合；为了达成系统目标，这些步骤需要按顺序执行；进程阶段的划分根据系统进程的具体执行情况以及分析需要。

7.根据权利要求2所述的方法，其特征在于，所述的步骤2中的进程阶段为事故演化过程归属于偏离预计演化方向的系统进程集合。

8.根据权利要求2所述的方法，其特征在于，所述的步骤3具体为：

将系统控制结构中可能出现的风险因素，划分为三类组件故障、人员失误和安全防护，风险因素作为系统进程发生偏离的动力源，其自身的改变随着系统进程的向前推进使得接下来的进程阶段发生改变，进程阶段下的系统风险值随之改变；

当系统的运行处于某一进程阶段时，当前在系统控制结构中存在的风险因素通过交互及联合作用影响着系统风险值，风险因素之间的交互及联合在安全控制结构中以顶点、弧的状态以及状态间的传播路径来描述，根据系统控制结构，对进程阶段下的系统风险值进行代数化描述和比较，给出进程阶段下各类风险因素在系统控制结构中的标记。

9.根据权利要求8所述的方法，其特征在于，所述的顶点代表组件或人员，弧代表通信通道。

10.根据权利要求2所述的方法，其特征在于，所述的步骤4具体为：

(1)设系统处于进程阶段PSx，记系统的安全控制结构为D，设D中映射进程阶段PSx下风险因素传播过程的路径所组成的集合为的拓扑结构只包含风险因素传播路径，反映的是风险因素的存在与传播；

(2)设V(D)表示D的顶点集，A(D)表示D的弧集，则D＝(V,A)；V(D)与系统的组件集合C(S)相对应，A(D)与系统的通信集合I(S)相对应；描述安全控制结构的组成，将组件c_i标记为将操作人员H_i标记为将组件C_i与C_i+1之间的通信通道I_i标记为

映射到D中，如果组件C_i处于节点v_i,则C_i的用表示c_i的运行状态时，若节点v_i有后继节点v_i+1，以v_i输出的信息标记J_i；若顶点v_i无后继顶点，以v_i的输入信息标记如果操作人员H_i处于节点v_i,则H_i的同一个顶点v_i可能同时包含设备组件和操作人员，因此被标记或被标记，如果通信通道I_i处于节点v_i与节点v_i+1之间，则I_i的

(3)设为中全部风险因素传播路径组成的集合，为其中的第j条风险因素传播路径，若中有n条不同的风险因素传播路径，则将中的节点v_i另记为以标明该节点处于路径中，设的长度为l，开始于节点终止于节点即在路径中，考虑到风险传播路径本身必然存在的因果性，终止节点处的风险因素必然由路径中其余节点处风险因素的交互所产生，路径的风险因素的联合作用导致了节点处的风险因素，因此，将分为两部分，

(4)假设存在度量函数集合Φ_x(V^*)，其将中节点集合V的任意子集V^*所对应的风险因素子集对系统风险的影响映射为系统风险值的改变；在进程阶段PSx，Φ_x代表四类度量函数之一，并有对于考虑到风险传播路径中信息的传递性，对弧a_i通信故障影响转化为对弧a_i的头节点v_i+1状态影响；

对于风险因素传播路径j中的单个节点可由其中至少之一来替换；这四类函数度量中节点存在的风险因素对系统风险值造成改变，因为所以因此，

(5)Φ_x可度量中各个节点存在的风险因素对系统整体风险值的改变；根据假设1：某一进程阶段下的系统风险值等于当前系统控制结构内所有风险传播路径所产生的风险值的总和，得到Risk of根据假设2：在一个风险传播路径中，处于终止节点的风险因素所产生的风险值等于该风险传播路径所产生的风险值，因此根据假设3：在一个风险传播路径中，处于终止节点的风险因素所产生的风险值等于处于该路径中所有其他节点的风险因素所产生的风险值的总和，因此

(6)根据上述三个假设，有Risk of如果系统正常运行，系统风险就会保持在一个初始值SR₀；则进程阶段PSx下的系统风险值为

SRx*=SR0+Σj=1nΦx(wxj)=SR0+Σj=1nΦx(vk+lj)=SR0+Σj=1nΣi=kk+l-1Φx(vij).]]>