使用逻辑-概率方法进行安全评估的定量例子

Q3 Decision Sciences

International Journal of Risk Assessment and Management Pub Date : 2018-03-09 DOI:10.1504/IJRAM.2018.10011305

I. Ryabinin, A. Strukov

{"title":"使用逻辑-概率方法进行安全评估的定量例子","authors":"I. Ryabinin, A. Strukov","doi":"10.1504/IJRAM.2018.10011305","DOIUrl":null,"url":null,"abstract":"The article presents examples of solving the tasks of analysis of safety of complex technical systems by using logical-probabilistic methods (LPM). LPM are characterised by sufficient visualisation and simplicity of formalisation of the hazardous state of the object in the form of the shortest paths of hazardous state or hazardous state scenario. Parametric representation of logical functions (Boolean sum and products of initiating events and initiating conditions) is carried out using the methods of orthogonalisation. Determination of individual and total contribution of events in probability of realisation of a dangerous condition can allow you to plan the activities to ensure the safety state of the object. In this article the examples are being solved with the use of ARBITR software.","PeriodicalId":35420,"journal":{"name":"International Journal of Risk Assessment and Management","volume":"21 1","pages":"4"},"PeriodicalIF":0.0000,"publicationDate":"2018-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Quantitative examples of safety assessment using logical-probabilistic methods\",\"authors\":\"I. Ryabinin, A. Strukov\",\"doi\":\"10.1504/IJRAM.2018.10011305\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The article presents examples of solving the tasks of analysis of safety of complex technical systems by using logical-probabilistic methods (LPM). LPM are characterised by sufficient visualisation and simplicity of formalisation of the hazardous state of the object in the form of the shortest paths of hazardous state or hazardous state scenario. Parametric representation of logical functions (Boolean sum and products of initiating events and initiating conditions) is carried out using the methods of orthogonalisation. Determination of individual and total contribution of events in probability of realisation of a dangerous condition can allow you to plan the activities to ensure the safety state of the object. In this article the examples are being solved with the use of ARBITR software.\",\"PeriodicalId\":35420,\"journal\":{\"name\":\"International Journal of Risk Assessment and Management\",\"volume\":\"21 1\",\"pages\":\"4\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-03-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Journal of Risk Assessment and Management\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1504/IJRAM.2018.10011305\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"Decision Sciences\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Journal of Risk Assessment and Management","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1504/IJRAM.2018.10011305","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"Decision Sciences","Score":null,"Total":0}

引用次数: 6

摘要

本文给出了应用逻辑-概率方法解决复杂技术系统安全分析任务的实例。LPM的特点是充分的可视化和简单的形式，危险状态或危险状态场景的最短路径的危险状态的对象的形式化。逻辑函数的参数表示(初始事件和初始条件的布尔和和积)使用正交化方法进行。确定危险条件实现概率中单个和总体事件的贡献，可以使您计划活动以确保物体的安全状态。本文用ARBITR软件对实例进行求解。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Quantitative examples of safety assessment using logical-probabilistic methods

The article presents examples of solving the tasks of analysis of safety of complex technical systems by using logical-probabilistic methods (LPM). LPM are characterised by sufficient visualisation and simplicity of formalisation of the hazardous state of the object in the form of the shortest paths of hazardous state or hazardous state scenario. Parametric representation of logical functions (Boolean sum and products of initiating events and initiating conditions) is carried out using the methods of orthogonalisation. Determination of individual and total contribution of events in probability of realisation of a dangerous condition can allow you to plan the activities to ensure the safety state of the object. In this article the examples are being solved with the use of ARBITR software.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

International Journal of Risk Assessment and Management Decision Sciences-Statistics, Probability and Uncertainty

CiteScore

0.70

自引率

0.00%

发文量

期刊介绍： The IJRAM is an interdisciplinary and refereed journal that provides cross learning between: - Different business and economics, as well as scientific and technological, disciplines - Energy industries, environmental and ecological systems - Safety, public health and medical services - Software services, reliability and safety