摘要
考虑完备或不完备背景关系中蕴含的元件与系统功能结构关系,提出了基于因素空间理论中因素逻辑的系统功能结构分析法,给出了该方法的严谨的数学定义系统及分析过程的逻辑数学描述。对完备和不完备两个例子进行分析后得到了两个不同的系统功能结构表达式,说明完备背景关系可得到唯一确定的系统功能结构,不完备背景关系可以得到一族确定的系统功能结构。如果不完备背景关系是完备背景关系的子集,那么在不完备背景关系中一定能找到功能之间的线性关系,以补充不完备背景关系。该方法是严谨的逻辑数学推理,可用于广泛领域类似问题的分析。
Considering complete or incomplete background relationship contains the function structure relations between components and system, the system function structure analysis was proposed based on the theory of factors space fac- tors. Rigorous mathematical definition of the system of the method and the analysis process of logic mathematical de- scription were given. Two examples of complete and incomplete information were analyzed to get the system function structure of two different expressions. Complete background relationship can obtain only certain system function struc- ture and incomplete background relationship can obtain a family of certain system functiorL If incomplete background re- lationship is a subset of the complete background relationship, incomplete background relationship must be able to find the linear relationship between the functions, and supplement the incomplete background. This method is rigorous logic and mathematical reasoning, and similar problem analysis can be used in wide fields.
作者
崔铁军
李莎莎
王来贵
CUI Tie-jun LI Sha-sha WANG Lai-gui(College of Safety Science and Engineering, Liaoning Technical University, Fuxin 123000, China Key Laboratory of Mine Thermodynamic Disasters and Control of Ministry of Education, Fuxin 123000, China Tunnel & Underground Structure Engineering Center of Liaoning, Dalian Jiaotong University, Dalian 116028, China 3School of Mechanics and Engineering, Liaoning Technical University, Fuxin 123000,Chin)
出处
《计算机科学》
CSCD
北大核心
2017年第3期268-273,306,共7页
Computer Science
基金
国家自然科学基金项目(61350003)资助
关键词
因素空间
因素逻辑
空间故障树
系统功能结构
背景关系
Factors space, Factors logic, Space fault tree, System function structure, Background relationships