基于安全结构理论的安全事件内涵数学表达

Intension expressing of safety events based on safety structure theory

为充分认识安全科学研究中的安全事件本质,基于安全结构理论,进行安全事件内涵的数学表达研究。定义安全事件的本质因素,提出通过因素约简、因素集完备性检验和因素独立性检验获取安全事件本质因素集的处理算法;从逻辑学角度给出安全事件的内涵,并根据安全事件本质因素的表现外延隶属函数,给出安全事件内涵数学表达的算法。研究表明:所有决定安全事件发生的、独立且完备的因素组成安全事件的本质因素集,全体本质因素的属性组合为安全事件的内涵;本质因素状态集的笛卡尔乘积集构成安全事件的因素空间,该空间是承载安全事件内涵的完备的数学逻辑分析框架。

In order to enhance the understanding of the essence of safety events in safety scientific researches,mathematical expression was researched for the intension of safety events based on the safety structure theory. Intrinsic factors in safety events were defined,and a processing algorithm was proposed for obtaining the intrinsic factors set by factors reduction, factors set completeness test and factors independence test. A definition of the intension of the safety events was given from the perspective of the logic. A mathematical expression was worked out for the intension of safety events based on the membership function of representation extension of intrinsic factors. The research show that the intrinsic factors set of a safety event consists of all independent and complete factors determining the occurrence of the safety event,and the intension of a safety event is the combination of the attributes of all intrinsic factors of the safety event,and that the factor space of a safety event is constituted by the cartesian product set of the states sets of all the intrinsic factors,and is the mathematical logic analysis framework to describe the intension of the safety event.