一种系统功能结构分析方法与流程

本发明涉及安全系统工程，特别是涉及系统功能性结构分析。

背景技术：

一般系统设计是正向的，由系统整体功能出发，通过一定的功能分解，最终落实到元件或子系统。正向设计容易满足系统的设计目的，从而完成某项确定功能。但根据功能所设计的系统是否为结构最优却很难确定。该问题一方面从系统功能考虑，另一方面则从经济上考虑。另外，如果已知某个系统可能由一些特定的元件或子系统组成，且知道其系统功能随元件功能的变化规律，但系统无法打开或根本得不到，那么该系统将无法被仿制。这些问题可概括为系统功能结构分析问题。即知道系统组成的基本单元功能特征和系统所表现出的功能特征，研究系统功能结构与元件的组成关系。当然该内部组成结构可能是一个等效的功能结构，不是真正的物理结构。

系统功能结构分析是识别和认识系统的有效工具，一些学者也进行了这方面研究。这些研究虽然在各领域取得了良好效果，但终究是正向地研究系统功能结构。对于前文提出的问题难以解决。另一方面，系统功能结构分析是一种复杂的推理过程。相关研究较少是由于技术工程学者对于制定一套严谨可行的逻辑数学推理系统是难以实现的。早些提出的系统结构反分析方法也存在推理不严谨和逻辑性差的缺点。所以急需专业学者与数学家合作来完成这项工作，这是发明的主要目的。

任何一个系统都有其特定的结构、环境与功能，结构和环境是内外因，功能是果。为改善功能而调整结构，从功能来探索结构是一种复杂得科学问题。因素空间理论为系统的功能结构分析提供了一个简捷的平台。因素空间理论只需确立论域及对条件、结果等因素的观测手段，得到一组样本点，形成一张因素分析表，就可进行功能结构分析。

将因素空间理论引入空间故障树分析中。用因素空间的思想帮助空间故障树分析离散可靠性数据蕴含的系统功能与元件功能之间的关系。提出一种系统功能结构最简式分析方法来完成上述任务。并举例分析背景空间和两个背景空间子集的最简结构式，及隐含的元件功能关系。给出背景空间的两个子集最简结构式的和等于原背景空间最简结构式的条件。

技术实现要素：

给定因素功能结构分析表，要求出指定功能类的最简结构式，其步骤如下：

因素功能结构分析表中的功能类分为两种，即成功类t和失效类f，表中最后一行功能因素g的相即表示功能t或f。功能因素g表示对象结构因素在取不同相时的对象功能。

设因素功能分析表中有m个对象um，m＝1,2,…,m；有n个结构因素fn，n＝1,2,…,n，和一个功能因素g，所以表中因素可统一表示为fn+1；对象um在因素fn+1下的相xn+1的数量与因素相同。对象um的相集为{xn+1}m＝{xn+1|fn+1(um)＝xn+1,n＝1,2,…,n}，fn+1(um)表示对象um在因素fn+1下的相。为表现方便，相集可改写为相的串xn|m＝x1x2…xn，用以相集按照t或f分类后进行表示。因素功能分析表可作为因素空间分析中的背景空间b，则b＝∪xn+1|1～m,n＝1,2,…,n且m＝1,2,…,m。设对象相集中相的个数为相集长度λ。

1)对因素功能结构分析表中的对象um与因素fn+1对应的相xn+1进行组合，将同一对象um对不同因素fn+1的相xn+1，即因素功能结构分析表的一列组成相集xn+1|m表示该对象um。

2)在因素结构分析表中的所有列，即所有对象的相集xn+1|m再组成集合，作为背景空间b，b＝∪xn+1|1～m,n＝1,2,…,n且m＝1,2,…,m。

3)根据背景空间b中所有相集xn+1|1～m的功能因素g对对象um进行t或f分类。

4)将背景空间所有相集中的相拆分为长度λ＝1的相，所有的背景空间中出现的无重复相组成筛选相集γ。分别使用筛选相集γ中的相λ(当λ>1时，λ为相集)遍历f类中所有相集，如果这些相集均不包含相λ且t类中相集包含，那么相λ为t类的一个结构式ξ(t)，从t类相集中删除包含相λ的相集。

5)设λ＝λ+1，这是在筛选相集γ中任意取λ+1个相组成的相集λ。分别使用相集λ遍历f类中所有相集，如果均不包含相集λ且t类中相集包含，那么相集λ为t类的一个结构式ξ(t)，从t类相集中删除包含相集λ的相集。

6)重复步骤5)直到t类中的相集全部删除为止。

7)将所有结构式ξ(t)用逻辑并“+”连接，即为背景空间b所表示的成功类t的最简结构式ζ(t)。

相关定义因素空间、相集、功能结构分析表、背景空间等见相关文献。

具体实施方式

用空间故障树中系统结构分析实例进行分析。该例为开关系统z，它由5种元器件z1,…,z5组成,他们的功能情况由5个功能因素f＝(f1,f2,f3,f4,f5)表示，每个功能因素具有相空间x(fj)＝{x1j,x0j}＝{xj,xj}，j＝1,…,5，x1j表示zj通，x0j表示器件zj断；功能因素g具有相空间x(g)＝{t,f}，t表示系统z通，f表示系统z断。字的集合由十个字组成{x1,x1,x2,x2,x3,x3,x4,x4,x5,x5}。每个元件的功能有两种状态(f,t)，共32条相组成论域u，也组成了背景空间b，如表1所示。

表132条相集的功能结构分析表

表1中背景空间为b＝∪x6|1～32，根据功能结构最简式方法对系统取功能类t的功能结构进行分析。

步骤1：32个对象构成背景空间b，将这32个相集x5|1～32分成功能类t与f两类：

t＝{x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5}；

f＝{x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5}。

对功能类t的相集进行并运算得t的逻辑表达式：t＝x1x2x3x4x5+x1x2x3x4x5+x1x2x3x4x5+x1x2x3x4x5+x1x2x3x4x5+x1x2x3x4x5+x1x2x3x4x5+x1x2x3x4x5+x1x2x3x4x5+x1x2x3x4x5+x1x2x3x4x5+x1x2x3x4x5+x1x2x3x4x5+x1x2x3x4x5+x1x2x3x4x5，其中：+号表示并联；x1x2x3x4x5表示串联，该逻辑公式就是系统z的功能结构表达式。

步骤2：λ＝1，在f类相集中，x5|1＝x1x2x3x4x5，它包含x1，x2，x3，x4，x5的λ＝1的相λ；x5|2＝x1x2x3x4x5，它包含x1，x2，x3，x4，x5的λ＝1的相λ。将x5|1和x5|2相集拆解，将λ＝1的相λ无重复的组成筛选相集γ＝{x1，x1，x2，x3，x4，x5}。同理，将f中的所有相集拆解，将λ＝1的相λ无重复的组成筛选相集γ＝{x1,x2,x3,x4,x5,x1,x2,x3,x4,x5}。

步骤3：λ＝λ+1＝2，在筛选相集γ＝{x1,x2,x3,x4,x5,x1,x2,x3,x4,x5}中，任意选取两个相组成λ＝2的相集λ，这些相集无重复的组成λ＝2时的筛选集合γ。根据步骤5)和γ对f类相集进行筛选。γ中λ＝2的λ＝x1x4，其不在f类相集中出现而在t类中出现，那么相λ为t类的一个结构式ξ(t)，ξ(t)＝x1x4。去掉t类中包含λ＝x1x4的相集，得到t＝{x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5,x1x2x3x4x5}。另外，γ中λ＝2的λ＝x3x5也不在f类相集中出现而在t类中出现，那么相λ为t类的另一个结构式ξ(t)＝x3x5。去掉t类中包含λ＝x3x5的相集，则t＝{x1x2x3x4x5}。

步骤4：λ＝λ+1＝3，γ中λ＝3的λ＝x1x2x3，其不在f类相集中出现而在t类中出现，那么相λ为t类的一个结构式ξ(t)，ξ(t)＝x1x2x3。去掉t类中包含λ＝x1x2x3的相集，得到

为算法停止条件。根据步骤7)将得到的t的结构式加在一起，得到t的最简结构式是ζ(t)b＝x1x4+x3x5+x1x2x3，那么系统功能结构为z＝z1z4+z3z5+z1z2z3。

取背景空间中23个相集组成另一个背景空间b1＝∪x6|1～23，这23个相集如表1中深色部分。

步骤1：背景空间b1∈b共有23个相集，将这23个相集x5|1～23分成功能类t与f两类：

t＝{x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5}；

f＝{x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5}。

步骤2：λ＝1，在f类相集中，x5|1＝x1x2x3x4x5，它包含x1，x2，x3，x4，x5的λ＝1的相λ；x5|2＝x1x2x3x4x5，它包含x1，x2，x3，x4，x5的λ＝1的相λ。将x5|1和x5|2相集拆解，将λ＝1的相λ无重复的组成筛选相集γ＝{x1，x1，x2，x3，x3，x4，x5}。同理，将f中的所有相集拆解，将λ＝1的相λ无重复的组成筛选相集γ＝{x1,x2,x3,x4,x5,x1,x2,x3,x4,x5}。

步骤3：λ＝λ+1＝2，在筛选相集γ＝{x1,x2,x3,x4,x5,x1,x2,x3,x4,x5}中，任意选取两个相组成λ＝2的相集λ，这些相集无重复的组成λ＝2时的筛选集合γ。根据步骤5)和γ对f类相集进行筛选。γ中λ＝2的λ＝x1x4，其不在f类相集中出现而在t类中出现，那么相基λ为t类的一个结构式ξ(t)，ξ(t)＝x1x4。去掉t类中包含λ＝x1x4的相集，得到t＝{x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5}。另外，γ中λ＝2的λ＝x3x5也不在f类相集中出现而在t类中出现，那么相集λ为t类的另一个结构式ξ(t)＝x3x5。去掉t类中包含λ＝x3x5的相集，则

得到t的最简结构式是ζ(t)b1＝x1x4+x3x5+x1x2，系统功能结构为z＝z1z4+z3z5+z1z2。

比较功能结构z＝z1z4+z3z5+z1z2z3和功能结构为z＝z1z4+z3z5+z1z2，背景空间b＝∪x6|1～32比背景空间b1＝∪x6|1～23得到的系统功能结构更为详尽。即背景空间子集缺乏对系统功能结构的约束。如果ζ(t)b和ζ(t)b1所表示的系统具有相同的功能变化特征，那么意味着x1x4+x3x5+x1x2等价于x1x4+x3x5+x1x2x3。通过逻辑关系可得到，x3等价于{x1,x2,x1+x2}，即元件z3的功能与z1或z2或z1+z2的功能相同。最终，在系统设计和使用过程中，可通过该功能等效关系，进行元件的替换或维修。

分析在表1中除上述23个相集之外的9个相集，组成b1＝∪x6|1～9，相当于b2∈b，b2b2∪b1＝b。

步骤1：9个对象构成背景空间b，将这9个相集x5|1～9分成功能类t与f两类：

t＝{x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5}；

f＝{x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5，x1x2x3x4x5}。

步骤2：λ＝1，在f类相集中，x5|1＝x1x2x3x4x5，它包含x1，x2，x3，x4，x5的λ＝1的相λ；x5|2＝x1x2x3x4x5，它包含x1，x2，x3，x4，x5的λ＝1的相λ。将x5|1和x5|2相集拆解，将λ＝1的相λ无重复的组成筛选相集γ＝{x1，x1，x2，x3，x4，x5}。同理，将f中的所有相集拆解，将λ＝1的相λ无重复的组成筛选相集γ＝{x1,x2,x4,x5,x1,x2,x3,x4,x5}。相x3不在f类出现，也不再t类中出现，所以不是结构式。

步骤3：λ＝λ+1＝2，在筛选相集γ＝{x1,x2,x4,x5,x1,x2,x3,x4,x5}中，任意选取两个相组成λ＝2的相集λ，这些相集无重复的组成λ＝2时的筛选集合γ。根据步骤5)和γ对f类相集进行筛选。γ中λ＝2的λ＝x1x4，其不在f类相集中出现而在t类中出现，那么相λ为t类的一个结构式ξ(t)，ξ(t)＝x1x4。去掉t类中包含λ＝x1x4的相集，得到

得到t的最简结构式是ζ(t)b2＝x1x4，系统功能结构为z＝z1z4。

上述实例分析说明，当b1∈b，b2∈b，b2∪b1＝b时，ζ(t)b≠ζ(t)b1+ζ(t)b2，即x1x4+x3x5+x1x2x3≠x1x4+x3x5+x1x2+x1x4。背景空间的若干个子集得到的最简结构式不一定等于背景空间全集的结构式之和，同时也存在等于的情况。这取决于所有相集或样本的划分情况。背景空间的子集如果包含了多个λ＝1的相且不同状态，那么这个背景空间子集就可产生含有加号较多的最简结构式，表示蕴含信息较多，如b1。如果背景空间子集蕴含λ＝1的相的状态单一，那么所表现的最简结构式所含信息较少，如b2。根据上述情况，如果背景空间划分为两个子集，那么满足b1∈b，b2∈b，b2∪b1＝b，且b1和b2所含相集相同，且包含所有的λ＝1的相状态，此时ζ(t)b＝ζ(t)b1+ζ(t)b2。这说明背景空间的若干个子集得到的最简结构式等于背景空间全集的最简结构式所需的条件是严格的。