558 research outputs found
Recommended from our members
Bayesian belief network model for the safety assessment of nuclear computer-based systems
The formalism of Bayesian Belief Networks (BBNs) is being increasingly applied to probabilistic modelling and decision problems in a widening variety of fields. This method provides the advantages of a formal probabilistic model, presented in an easily assimilated visual form, together with the ready availability of efficient computational methods and tools for exploring model consequences. Here we formulate one BBN model of a part of the safety assessment task for computer and software based nuclear systems important to safety. Our model is developed from the perspective of an independent safety assessor who is presented with the task of evaluating evidence from disparate sources: the requirement specification and verification documentation of the system licensee and of the system manufacturer; the previous reputation of the various participants in the design process; knowledge of commercial pressures;information about tools and resources used; and many other sources. Based on these multiple sources of evidence, the independent assessor is ultimately obliged to make a decision as to whether or not the system should be licensed for operation within a particular nuclear plant environment. Our BBN model is a contribution towards a formal model of this decision problem. We restrict attention to a part of this problem: the safety analysis of the Computer System Specification documentation. As with other BBN applications we see this modelling activity as having several potential benefits. It employs a rigorous formalism as a focus for examination, discussion, and criticism of arguments about safety. It obliges the modeller to be very explicit about assumptions concerning probabilistic dependencies, correlations, and causal relationships. It allows sensitivity analyses to be carried out. Ultimately we envisage this BBN, or some later development of it, forming part of a larger model, which might well take the form of a larger BBN model, covering all sources of evidence about pre-operational life-cycle stages. This could provide an integrated model of all aspects of the task of the independent assessor, leading up to the final judgement about system safety in a particular context. We expect to offer some results of this further work later in the DeVa project
Recommended from our members
Formalising Engineering Judgement on Software Dependability via Belief Networks
Use of a Bayesian belief network to predict the impacts of commercializing non-timber forest products on livelihoods
Commercialization of non-timber forest products (NTFPs) has been widely promoted as a means of sustainably developing tropical forest resources, in a way that promotes forest conservation while supporting rural livelihoods. However, in practice, NTFP commercialization has often failed to deliver the expected benefits. Progress in analyzing the causes of such failure has been hindered by the lack of a
suitable framework for the analysis of NTFP case studies, and by the lack of predictive theory. We address
these needs by developing a probabilistic model based on a livelihood framework, enabling the impact of
NTFP commercialization on livelihoods to be predicted. The framework considers five types of capital
asset needed to support livelihoods: natural, human, social, physical, and financial. Commercialization of
NTFPs is represented in the model as the conversion of one form of capital asset into another, which is
influenced by a variety of socio-economic, environmental, and political factors. Impacts on livelihoods are
determined by the availability of the five types of assets following commercialization. The model,
implemented as a Bayesian Belief Network, was tested using data from participatory research into 19 NTFP
case studies undertaken in Mexico and Bolivia. The model provides a novel tool for diagnosing the causes
of success and failure in NTFP commercialization, and can be used to explore the potential impacts of
policy options and other interventions on livelihoods. The potential value of this approach for the
development of NTFP theory is discussed
Path propagation : a probabilistic inference algorithm for large and complex Bayesian networks
Bayesian networks are widely used for knowledge representation and uncertain reasoning. One of the most important services which Bayesian networks provide is (probabilistic) inference. Effective inference algorithms have been developed for probabilistic inference in Bayesian networks for many years. However, the effectiveness of the inference algorithms depends on the sizes of Bayesian networks. As the sizes of Bayesian networks become larger and larger in real applications, the inference algorithms become less effective and sometimes are even unable to carry out inference. In this thesis, a new inference algorithm specifically designed for large and complex Bayesian networks, called \u27path propagation\u27, is proposed. Path propagation takes full advantage of one of the most popular inference algorithms, i.e., global propagation. It improves over global propagation by carrying out inference only in certain paths in a junction tree that are relevant to queries. Compared with global propagation, path propagationtakes less computational resources and can effectively improve the computational efficiency for inference in large and complex Bayesian networks
Recommended from our members
Examination of Bayesian belief network for safety assessment of nuclear computer-based systems
We report here on a continuation of work on the Bayesian Belief Network (BBN)model described in [Fenton, Littlewood et al. 1998]. As explained in the previous deliverable, our model concerns one part of the safety assessment task for computer and software based nuclear systems. We have produced a first complete, functioning version of our BBN model by eliciting a large numerical node probability table (NPT) required for our ‘Design Process Performance’ variable. The requirement for such large numerical NPTs poses some difficult questions about how, in general, large NPTs should be elicited from domain experts. We report about the methods we have devised to support the expert in building and validating a BBN. On the one hand, we have proceeded by eliciting approximate descriptions of the expert’s probabilistic beliefs, in terms of properties like stochastic orderings among distributions; on the other hand, we have explored ways of presenting to the expert visual and algebraic descriptions of relations among variables in the BBN, to assist the expert in an ongoing assessment of the validity of the BBN
Heuristic assignment of CPDs for probabilistic inference in junction trees
Many researches have been done for efficient computation of probabilistic queries posed to Bayesian networks (BN). One of the popular architectures for exact inference on BNs is the Junction Tree (JT) based architecture. Among all the different architectures developed, HUGIN is the most efficient JT-based architecture. The Global Propagation (GP) method used in the HUGIN architecture is arguably one of the best methods for probabilistic inference in BNs. Before the propagation, initialization is done to obtain the potential for each cluster in the JT. Then with the GP method, each cluster potential becomes cluster marginal through passing messages with its neighboring clusters. Improvements have been proposed by many researchers to make this message propagation more efficient. Still the GP method can be very slow for dense networks. As BNs are applied to larger, more complex, and realistic applications, developing more efficient inference algorithm has become increasingly important. Towards this goal, in this paper, we present some heuristics for initialization that avoids unnecessary message passing among clusters of the JT and therefore it improves the performance of the architecture by passing lesser messages
- …