概率安全评价软件RiskA中的非逻辑处理方法

非单调关联系统广泛存在于实际工程应用中,传统针对单调系统的处理方法不适合于这类系统的处理。因此,如何处理针对非单调关联系统所建立的模型成为概率安全评价软件研发面临的问题之一。本工作在调研一些国际流行概率安全评价软件非逻辑处理方法的基础上,探讨了非逻辑求解难点,基于RiskA的数据结构,设计并实现了非逻辑处理模块,并通过例题验证了RiskA软件非逻辑处理模块的正确性和可靠性。