[发明专利]一种基于对比完备与不完备信息的系统功能结构分析方法

权利要求书

1.一种基于对比完备与不完备信息的系统功能结构分析方法，其特征在于，考虑完备或不完备背景关系中蕴含的元件与系统功能结构关系，提出了基于因素空间理论中因素逻辑的系统功能结构分析法，对完备和不完备两种情况进行分析可得到两个不同的系统功能结构表达式，完备背景关系可得到唯一确定的系统功能结构；不完备背景关系可得一族确定的系统功能结构，如果不完备背景关系是完备背景关系的子集，那么不完备背景关系中一定能找到功能之间的线性关系，以补充不完备背景关系，可用于完备或不完备背景关系下的系统功能结构分析。

2.根据权利要求1所述一种基于对比完备与不完备信息的系统功能结构分析方法，其特征在于，若则称p蕴涵q，此时称p是q的蕴涵式而称q是p的涵式，若在F(S)中不存在q的任何其它蕴涵式p’≠p使p蕴涵p’,则称p是q的素蕴涵式，一个析取范式叫做一个极小范式，如果它的每一个字组都是素蕴涵式。

3.根据权利要求1所述一种基于对比完备与不完备信息的系统功能结构分析方法，其特征在于，给定因素功能结构分析表,要求出指定功能类y_i的极小析取范式，其步骤如下：

1)将表中所有n字组x(去掉重复的)集合起来，记作背景关系B，对B中的这些字组，按它们取不取结果y_i而分成T和F的正反两类；

2)取字组长度k＝1,逐一查看每个字，若它在F类的所有字组中都不出现，则它是T的一个素蕴涵式，从T的n字组中删除它的所有蕴涵式，如此继续直到所有单字都检查完毕；

3)字组长度k:＝k+1，逐一查看每个k字组，若它在F类的所有字组中都不出现，则它是T的一个素蕴涵式，从T的n字组中删除它的所有蕴涵式，如此继续直到所有字都检查完毕；

4)重复上述过程，直到T类字组被删尽，将T的所有素蕴涵式用加号连接起来，就得到T的极小析取范式。