Having a precise yet sound abstraction of the inputs of numerical programs is important to analyze their behavior. For many programs, these inputs are probabilistic, but the actual distribution used is only partially known. We present a static analysis framework for reasoning about programs with inputs given as imprecise probabilities: we define a collecting semantics based on the notion of pre...

in methods presented to calculate the voltage collapse point, the transmission system is usually the only part of the power system that is completely modeled. distribution systems are often replaced by aggregate load models because the use of the detailed model of distribution systems in voltage stability analysis not only increases the computation time, but also decreases the probability of co...

Given the concept of reliability-based design (RBD) and the growing risk management trend in geotechnical engineering, proper understanding and quantification of uncertainties are very important. The complexity of methods and a large volume of calculations of probabilistic design methods are the most critical reasons for civil engineers not to be comfortable using these approaches. In this rese...

There are presented the basic operations on real intervals: pseudo-addition and pseudo multiplication which induce the semiring structure. Application of special pseudo-operations on the unit interval: t-norms and t-conorms, in the theory of fuzzy sets and fuzzy logics are given. Pseudo-convolution as a generalization of the classical convolution is given, with many important special cases. Fur...

We present a logico-algebraic approach to probabilistic abstract interpretation based on the ortholattice structure of the projective measurement operators in quantum mechanics. On this base, we present a novel interpretation of quantum measurement as a probabilistic abstraction showing that the measurement of a physical observable essentially corresponds to a static analysis of the observed pr...

In this study, the well-established pseudo-static approach along with horizontal slices method (HSM) is employed to investigate seismic internal stability of geosynthetic-reinforced earth slopes. Previous simple HSM analyses were based on a primary assumption stating that normal inter-slice forces are exerted mid-length sections. However, simplifying could give rise substantial errors in calcul...

The present work is an extension of the work that appeared in the article titled “Pseudorandom Pattern Generation by a 4-Neighborhood Cellular Automata (4NCA) using a Probabilistic Analysis”. In this paper we propose a probabilistic analysis based technique for selecting good CA rules that can be used in pseudo random pattern generation. The proposed technique is applied on a CA of neighborhood...