Non-Consensus Opinion Model with Byzantine Nodes

pinion dynamics models study how the interaction among people influences the opinion formation process. In most opinion dynamics models, only one opinion can exist in the steady state, which is different from the real-life opinion formation process. In 2009, Shao et at. introduced a Non-Consensus Opinion (NCO) model, which allows different...

An integration of human factors into quantitative risk analysis using Bayesian Belief Networks towards developing a ‘QRA+’

Quantitative Risk Analysis (QRA) is a standard tool in some high-risk industries (such as the on- and offshore exploration and production and chemical industry). Presently, existing knowledge concerning human error likelihood and human reliability assessment is insufficiently represented in QRAs. In this paper we attempt to implement the...

A Two-Dimension Dynamic Bayesian Network for Large-Scale Degradation Modeling with an Application to a Bridges Network

Modeling the stochastic evolution of a large-scale fleet or network generally proves to be challenging. This difficulty may be compounded through complex relationships between various assets in the network. Although a great number of probabilistic graph-based models (e.g., Bayesian networks) have been developed recently to describe the behavior...

Computing response time distributions using iterative probabilistic model checking

System designers need to have insight in the response times of service systems to see if they meet performance requirements. We present a high-level evaluation technique to obtain the distribution of services completion times. It is based on a high-level domain-specific language that hides the underlying technicalities from the system designer....

A new probabilistic constraint logic programming language based on a generalised distribution semantics

Abstract Probabilistic logics combine the expressive power of logic with the ability to reason with uncertainty. Several probabilistic logic languages have been proposed in the past, each of them with their own features. We focus on a class of probabilistic logic based on Sato's distribution semantics, which extends logic programming with...

An analytical model for the performance of geographical multi-hop broadcast

In this paper we present an analytical model accurately describing the behaviour of a multi-hop broadcast protocol. Our model covers the scenario in which a message is forwarded over a straight road and inter-node distances are distributed exponentially. Intermediate forwarders draw a small random delay before forwarding a message such as is...

Delay analysis and optimization of bandwidth request under unicast polling in IEEE 802.16e over gilbert-elliot error channel

In the centralized polling mode in IEEE 802.16e, a base station (BS) polls mobile stations (MSs) for bandwidth reservation in one of three polling modes; unicast, multicast, or broadcast pollings. In unicast polling, the BS polls each individual MS to allow to transmit a bandwidth request packet. This paper presents an analytical model for the...

A quantitative risk assessment tool for the external safety of industrial plants with a dust explosion hazard

A quantitative risk assessment (QRA) tool has been developed by TNO for the external safety of industrial plants with a dust explosion hazard. As a first step an industrial plant is divided into groups of modules, defined by their size, shape, and constructional properties. Then the relevant explosion scenarios are determined, together with...

Extrapolation for exposure duration in oral toxicity: A quantitative analysis of historical toxicity data

For human risk assessment, experimental data often have to be extrapolated for exposure duration, which is generally done by means of default values. The purpose of the present study was twofold. First, to derive a statistical distribution for differences in exposure duration that can be used in a probabilistic concept for combining assessment...

Radon transforms and time-frequency representations for ISAR motion compensation and imaging

The use of the Radon transform and the Wigner-Radon power spectrum for ISAR motion compensation is described. It is shown that the local Radon power spectrum is closely related to the Cohen's class of quadratic time-frequency representations in a similar way as the Radon and Fourier transform are related. The peak of the local Radon transform is...