Development and evaluation of a fault-tolerant multiprocessor (FTMP) computer. Volume 4: FTMP executive summary

The FTMP architecture is a high reliability computer concept modeled after a homogeneous multiprocessor architecture. Elements of the FTMP are operated in tight synchronism with one another and hardware fault-detection and fault-masking is provided which is transparent to the software. Operating system design and user software design is thus greatly simplified. Performance of the FTMP is also comparable to that of a simplex equivalent due to the efficiency of fault handling hardware. The FTMP project constructed an engineering module of the FTMP, programmed the machine and extensively tested the architecture through fault injection and other stress testing. This testing confirmed the soundness of the FTMP concepts

Development and evaluation of a fault-tolerant multiprocessor (FTMP) computer. Volume 1: FTMP principles of operation

The basic organization of the fault tolerant multiprocessor, (FTMP) is that of a general purpose homogeneous multiprocessor. Three processors operate on a shared system (memory and I/O) bus. Replication and tight synchronization of all elements and hardware voting is employed to detect and correct any single fault. Reconfiguration is then employed to repair a fault. Multiple faults may be tolerated as a sequence of single faults with repair between fault occurrences

Development and evaluation of a Fault-Tolerant Multiprocessor (FTMP) computer. Volume 2: FTMP software

The software developed for the Fault-Tolerant Multiprocessor (FTMP) is described. The FTMP executive is a timer-interrupt driven dispatcher that schedules iterative tasks which run at 3.125, 12.5, and 25 Hz. Major tasks which run under the executive include system configuration control, flight control, and display. The flight control task includes autopilot and autoland functions for a jet transport aircraft. System Displays include status displays of all hardware elements (processors, memories, I/O ports, buses), failure log displays showing transient and hard faults, and an autopilot display. All software is in a higher order language (AED, an ALGOL derivative). The executive is a fully distributed general purpose executive which automatically balances the load among available processor triads. Provisions for graceful performance degradation under processing overload are an integral part of the scheduling algorithms

A fault-tolerant multiprocessor architecture for aircraft, volume 1

A fault-tolerant multiprocessor architecture is reported. This architecture, together with a comprehensive information system architecture, has important potential for future aircraft applications. A preliminary definition and assessment of a suitable multiprocessor architecture for such applications is developed

Right heart failure: toward a common language

Abstract In this guideline, the International Right Heart Foundation Working Group moves a step forward to develop a common language to describe the development and defects that exemplify the common syndrome of right heart failure. We first propose fundamental definitions of the distinctive components of the right heart circulation and provide consensus on a universal definition of right heart failure. These definitions will form the foundation for describing a uniform nomenclature for right heart circulatory failure with a view to foster collaborative research initiatives and conjoint education in an effort to provide insight into mechanisms of disease unique to the right heart

Advanced information processing system: The Army fault tolerant architecture conceptual study. Volume 1: Army fault tolerant architecture overview

Digital computing systems needed for Army programs such as the Computer-Aided Low Altitude Helicopter Flight Program and the Armored Systems Modernization (ASM) vehicles may be characterized by high computational throughput and input/output bandwidth, hard real-time response, high reliability and availability, and maintainability, testability, and producibility requirements. In addition, such a system should be affordable to produce, procure, maintain, and upgrade. To address these needs, the Army Fault Tolerant Architecture (AFTA) is being designed and constructed under a three-year program comprised of a conceptual study, detailed design and fabrication, and demonstration and validation phases. Described here are the results of the conceptual study phase of the AFTA development. Given here is an introduction to the AFTA program, its objectives, and key elements of its technical approach. A format is designed for representing mission requirements in a manner suitable for first order AFTA sizing and analysis, followed by a discussion of the current state of mission requirements acquisition for the targeted Army missions. An overview is given of AFTA's architectural theory of operation

Advanced information processing system: The Army fault tolerant architecture conceptual study. Volume 2: Army fault tolerant architecture design and analysis

Described here is the Army Fault Tolerant Architecture (AFTA) hardware architecture and components and the operating system. The architectural and operational theory of the AFTA Fault Tolerant Data Bus is discussed. The test and maintenance strategy developed for use in fielded AFTA installations is presented. An approach to be used in reducing the probability of AFTA failure due to common mode faults is described. Analytical models for AFTA performance, reliability, availability, life cycle cost, weight, power, and volume are developed. An approach is presented for using VHSIC Hardware Description Language (VHDL) to describe and design AFTA's developmental hardware. A plan is described for verifying and validating key AFTA concepts during the Dem/Val phase. Analytical models and partial mission requirements are used to generate AFTA configurations for the TF/TA/NOE and Ground Vehicle missions

Advanced information processing system: Authentication protocols for network communication

In safety critical I/O and intercomputer communication networks, reliable message transmission is an important concern. Difficulties of communication and fault identification in networks arise primarily because the sender of a transmission cannot be identified with certainty, an intermediate node can corrupt a message without certainty of detection, and a babbling node cannot be identified and silenced without lengthy diagnosis and reconfiguration . Authentication protocols use digital signature techniques to verify the authenticity of messages with high probability. Such protocols appear to provide an efficient solution to many of these problems. The objective of this program is to develop, demonstrate, and evaluate intercomputer communication architectures which employ authentication. As a context for the evaluation, the authentication protocol-based communication concept was demonstrated under this program by hosting a real-time flight critical guidance, navigation and control algorithm on a distributed, heterogeneous, mixed redundancy system of workstations and embedded fault-tolerant computers

Thermodynamic analysis of black hole solutions in gravitating nonlinear electrodynamics

We perform a general study of the thermodynamic properties of static electrically charged black hole solutions of nonlinear electrodynamics minimally coupled to gravitation in three space dimensions. The Lagrangian densities governing the dynamics of these models in flat space are defined as arbitrary functions of the gauge field invariants, constrained by some requirements for physical admissibility. The exhaustive classification of these theories in flat space, in terms of the behaviour of the Lagrangian densities in vacuum and on the boundary of their domain of definition, defines twelve families of admissible models. When these models are coupled to gravity, the flat space classification leads to a complete characterization of the associated sets of gravitating electrostatic spherically symmetric solutions by their central and asymptotic behaviours. We focus on nine of these families, which support asymptotically Schwarzschild-like black hole configurations, for which the thermodynamic analysis is possible and pertinent. In this way, the thermodynamic laws are extended to the sets of black hole solutions of these families, for which the generic behaviours of the relevant state variables are classified and thoroughly analyzed in terms of the aforementioned boundary properties of the Lagrangians. Moreover, we find universal scaling laws (which hold and are the same for all the black hole solutions of models belonging to any of the nine families) running the thermodynamic variables with the electric charge and the horizon radius. These scale transformations form a one-parameter multiplicative group, leading to universal "renormalization group"-like first-order differential equations. The beams of characteristics of these equations generate the full set of black hole states associated to any of these gravitating nonlinear electrodynamics...Comment: 51 single column pages, 19 postscript figures, 2 tables, GRG tex style; minor corrections added; final version appearing in General Relativity and Gravitatio

Giant serous cystadenoma arising from an accessory ovary in a morbidly obese 11-year-old girl: a case report

<p>Abstract</p> <p>Introduction</p> <p>Ectopic ovarian tissue is an unusual entity, especially if it is an isolated finding thought to be of embryological origin.</p> <p>Case presentation</p> <p>An 11-year-old, morbidly obese female presented with left flank pain, nausea, and irregular menses. Various diagnostic procedures suggested a large ovarian cyst, and surgical resection was performed.</p> <p>Conclusion</p> <p>Histologically, the resected mass was not of tubal origin as suspected, but a serous cystadenoma arising from ovarian tissue. The patient's two normal, eutopic ovaries were completely uninvolved and unaffected. A tumor arising from ectopic ovarian tissue of embryological origin seems the most likely explanation. We suggest refining the descriptive nomenclature so as to more precisely characterize the various presentations of ovarian ectopia.</p