Noncommutative generalization of SU(n)-principal fiber bundles: a review

This is an extended version of a communication made at the international conference ``Noncommutative Geometry and Physics'' held at Orsay in april 2007. In this proceeding, we make a review of some noncommutative constructions connected to the ordinary fiber bundle theory. The noncommutative algebra is the endomorphism algebra of a SU(n)-vector bundle, and its differential calculus is based on its Lie algebra of derivations. It is shown that this noncommutative geometry contains some of the most important constructions introduced and used in the theory of connections on vector bundles, in particular, what is needed to introduce gauge models in physics, and it also contains naturally the essential aspects of the Higgs fields and its associated mechanics of mass generation. It permits one also to extend some previous constructions, as for instance symmetric reduction of (here noncommutative) connections. From a mathematical point of view, these geometrico-algebraic considerations highlight some new point on view, in particular we introduce a new construction of the Chern characteristic classes

Performance analysis of a generalized upset detection procedure

A general procedure for upset detection in complex systems, called the data block capture and analysis upset monitoring process is described and analyzed. The process consists of repeatedly recording a fixed amount of data from a set of predetermined observation lines of the system being monitored (i.e., capturing a block of data), and then analyzing the captured block in an attempt to determine whether the system is functioning correctly. The algorithm which analyzes the data blocks can be characterized in terms of the amount of time it requires to examine a given length data block to ascertain the existence of features/conditions that have been predetermined to characterize the upset-free behavior of the system. The performance of linear, quadratic, and logarithmic data analysis algorithms is rigorously characterized in terms of three performance measures: (1) the probability of correctly detecting an upset; (2) the expected number of false alarms; and (3) the expected latency in detecting upsets

Transient upsets in microprocessor controllers

The modeling and analysis of transient faults in microprocessor based controllers are discussed. Such controllers typically consist of a microprocessor, read only memory storing and application program, random access memory for data storage, and input/output devices for external communications. The effects of transient faults on the performance of the controller are reviewed. An instruction level perspective of performance is taken which is the basis of a useful high level program state description of the microprocessor controller. A transition matrix is defined which determines the controller's response to transient fault arrivals

Intermittent/transient faults in digital systems

Containment set techniques are applied to 8085 microprocessor controllers so as to transform a typical control system into a slightly modified version, shown to be crashproof: after the departure of the intermittent/transient fault, return to one proper control algorithm is assured, assuming no permanent faults occur

ESTSS at 20 years: "a phoenix gently rising from a lava flow of European trauma"

Roderick J. Ørner, who was President between 1997 and 1999, traces the phoenix-like origins of the European Society for Traumatic Stress Studies (ESTSS) from an informal business meeting called during the 1st European Conference on Traumatic Stress (ECOTS) in 1987 to its emergence into a formally constituted society. He dwells on the challenges of tendering a trauma society within a continent where trauma has been and remains endemic. ESTSS successes are noted along with a number of personal reflections on activities that give rise to concern for the present as well as its future prospects. Denial of survivors' experiences and turning away from survivors' narratives by reframing their experiences to accommodate helpers' theory-driven imperatives are viewed with alarm. Arguments are presented for making human rights, memory, and ethics core elements of a distinctive European psycho traumatology, which will secure current ESTSS viability and future integrity

Efficient diagnosis of multiprocessor systems under probabilistic models

The problem of fault diagnosis in multiprocessor systems is considered under a probabilistic fault model. The focus is on minimizing the number of tests that must be conducted in order to correctly diagnose the state of every processor in the system with high probability. A diagnosis algorithm that can correctly diagnose the state of every processor with probability approaching one in a class of systems performing slightly greater than a linear number of tests is presented. A nearly matching lower bound on the number of tests required to achieve correct diagnosis in arbitrary systems is also proven. Lower and upper bounds on the number of tests required for regular systems are also presented. A class of regular systems which includes hypercubes is shown to be correctly diagnosable with high probability. In all cases, the number of tests required under this probabilistic model is shown to be significantly less than under a bounded-size fault set model. Because the number of tests that must be conducted is a measure of the diagnosis overhead, these results represent a dramatic improvement in the performance of system-level diagnosis techniques

Examples of derivation-based differential calculi related to noncommutative gauge theories

Some derivation-based differential calculi which have been used to construct models of noncommutative gauge theories are presented and commented. Some comparisons between them are made.Comment: 22 pages, conference given at the "International Workshop in honour of Michel Dubois-Violette, Differential Geometry, Noncommutative Geometry, Homology and Fundamental Interactions". To appear in a special issue of International Journal of Geometric Methods in Modern Physic

Flow field computations for blunt bodies in planetary environments

Numerical analysis on flow distribution around hypersonic blunt body in planetary atmospher