Determination of prime implicants by differential evolution for the dynamic reliability analysis of non-coherent nuclear systems

Abstract We present an original computational method for the identification of prime implicants (PIs) in non-coherent structure functions of dynamic systems. This is a relevant problem for dynamic reliability analysis, when dynamic effects render inadequate the traditional methods of minimal cut-set identification. PIs identification is here transformed into an optimization problem, where we look for the minimum combination of implicants that guarantees the best coverage of all the minterms. For testing the method, an artificial case study has been implemented, regarding a system composed by five components that fail at random times with random magnitudes. The system undergoes a failure if during an accidental scenario a safety-relevant monitored signal raises above an upper threshold or decreases below a lower threshold. Truth tables of the two system end-states are used to identify all the minterms. Then, the PIs that best cover all minterms are found by Modified Binary Differential Evolution. Results and performances of the proposed method have been compared with those of a traditional analytical approach known as Quine-McCluskey algorithm and other evolutionary algorithms, such as Genetic Algorithm and Binary Differential Evolution. The capability of the method is confirmed with respect to a dynamic Steam Generator of a Nuclear Power Plant.

[1]  Jaejoo Ha,et al.  A fast BDD algorithm for large coherent fault trees analysis , 2004, Reliab. Eng. Syst. Saf..

[2]  E. McCluskey.  Minimization of Boolean functions , 1956 .

[3]  George E. Apostolakis,et al.  CONTEXT IN THE RISK ASSESSMENT OF DIGITAL SYSTEMS , 1999 .

[4]  Diego Mandelli,et al.  Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies , 2010, Reliab. Eng. Syst. Saf..

[5]  E. Zio,et al.  A Computational Framework for Prime Implicants Identification in Noncoherent Dynamic Systems , 2015, Risk analysis : an official publication of the Society for Risk Analysis.

[6]  J. Tvrdík,et al.  COMPETITIVE DIFFERENTIAL EVOLUTION , 2006 .

[7]  M. Karnaugh.  The map method for synthesis of combinational logic circuits , 1953, Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics.

[8]  Nicos Christofides,et al.  Algorithms for large scale set covering problems , 1993, Ann. Oper. Res..

[9]  Bingyan Zhao,et al.  Novel Binary Differential Evolution Algorithm for Discrete Optimization , 2009, 2009 Fifth International Conference on Natural Computation.

[10]  N. Siu,et al.  Risk assessment for dynamic systems: An overview , 1994 .

[11]  Willard Van Orman Quine,et al.  The Problem of Simplifying Truth Functions , 1952 .

[12]  Septavera Sharvia,et al.  Non-coherent Modelling in Compositional Fault Tree Analysis , 2008 .

[13]  M. Marseguerraa,et al.  A concept paper on dynamic reliability via Monte Carlo simulation , 1998 .

[14]  Eugenio Morreale,et al.  Partitioned List Algorithms for Prime Implicant Determination from Canonical Forms , 1967, IEEE Trans. Electron. Comput..

[15]  Enrico Zio,et al.  Processing dynamic scenarios from a reliability analysis of a nuclear power plant digital instrumentation and control system , 2009 .

[16]  Eugenio Morreale,et al.  Recursive Operators for Prime Implicant and Irredundant Normal Form Determination , 1970, IEEE Transactions on Computers.

[17]  Sally C. Beeson,et al.  Non coherent fault tree analysis , 2002 .

[18]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[19]  Enrico Zio,et al.  Ensemble-based sensitivity analysis of a Best Estimate Thermal Hydraulics model: Application to a Passive Containment Cooling System of an AP1000 Nuclear Power Plant , 2014 .

[20]  Rainer Storn,et al.  Differential Evolution – A Simple and Efficient Heuristic for global Optimization over Continuous Spaces , 1997, J. Glob. Optim..

[21]  Sandip Sen,et al.  Minimal cost set covering using probabilistic methods , 1993, SAC '93.

[22]  Enrico Zio,et al.  Risk-Based Clustering for Near Misses Identification in Integrated Deterministic and Probabilistic Safety Analysis , 2015 .

[23]  Minrui Fei,et al.  A Modified Binary Differential Evolution Algorithm , 2010, LSMS/ICSEE.

[24]  R. B. Worrell,et al.  Prime Implicants of Noncoherent Fault Trees , 1981, IEEE Transactions on Reliability.

[25]  Chun-Yin Wu,et al.  Engineering Optimization Using Modified Binary Differential Evolution Algorithm , 2010, 2010 Third International Joint Conference on Computational Science and Optimization.

[26]  Manfred Morari,et al.  Level control in the steam generator of a nuclear power plant , 2000, IEEE Trans. Control. Syst. Technol..

[27]  Enrico Zio,et al.  Hierarchical differential evolution for minimal cut sets identification: Application to nuclear safety systems , 2014, Eur. J. Oper. Res..

[28]  Enrico Zio,et al.  A concept paper on dynamic reliability via Monte Carlo simulation , 1998 .

[29]  J. Beasley,et al.  A genetic algorithm for the set covering problem , 1996 .

[30]  Richard J. Carter,et al.  A High-Performance, Pipelined, FPGA-Based Genetic Algorithm Machine , 2001, Genetic Programming and Evolvable Machines.

[31]  Enrico Zio,et al.  Differential Evolution for Optimal Grouping of Condition Monitoring Signals of Nuclear Components , 2011 .

[32]  Kim Björkman,et al.  Solving dynamic flowgraph methodology models using binary decision diagrams , 2013, Reliab. Eng. Syst. Saf..

[33]  Enrico Zio,et al.  Unsupervised Clustering for Fault Diagnosis in Nuclear Power Plant Components , 2013, Int. J. Comput. Intell. Syst..

[34]  Enrico Zio,et al.  A Visual Interactive Method for Prime Implicants Identification , 2015, IEEE Transactions on Reliability.

[35]  Enrico Zio,et al.  Fuzzy C-Means Clustering of Signal Functional Principal Components for Post-Processing Dynamic Scenarios of a Nuclear Power Plant Digital Instrumentation and Control System , 2011, IEEE Transactions on Reliability.

[36]  E. Balas.  A class of location, distribution and scheduling problems : modeling and solution methods , 1982 .

[37]  A. Rauzy,et al.  Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia , 1997 .