Geometrical checking by virtual gauge, including measurement uncertainties

Computational modeling of failure in composite structures including uncertainties in material and geometrical properties

This paper is concerned with a progressive failure analysis methodology for fiber reinforced composite laminates combining various analytical models designed for investigating failure mechanisms at different length scales. The methodology here employs a fundamental mechanism based approach to predict failure or damage initiation with strong coupling between the multiple length scales. The discr...

Geometrical formalism in gauge theories

We review the basic elements of the geometrical formalism for description of gauge fields and the theory of invariant connections, and their applications to the coset space dimensional reduction of Yang-Mills theories. We also discuss the problem of classification of principal fibre bundles, which is important for the quantization of gauge theories. Some results for bundles over two-dimensional...

Attenuation measurement uncertainties caused by speckle statistics.

Attenuation measurements can be derived from the decay of backscattered signal with depth in an inhomogeneous material. In cases such as liver tissue, where many small inhomogeneities are likely to be included in sample volumes defined by pulse and beam widths, Rayleigh statistics describe the random nature of the magnitude of backscattered pressure. The statistics of speckle underlie the uncer...

To Be Certain about Uncertainties: Probabilistic Model Checking with Uncertainties

We address the problem of verifying PCTL properties of Markov Decision Processes whose state transition probabilities are only known to lie within uncertainty sets. Using results from convex theory and duality, we propose a suite of verication algorithms and prove their soundness, completeness and termination when arbitrary convex models of uncertainty are considered. Furthermore, soundness and...

Measurement strategy for geometrical verification