Automatic detection of electric power troubles (AI application)

The design goals for the Automatic Detection of Electric Power Troubles (ADEPT) were to enhance Fault Diagnosis Techniques in a very efficient way. ADEPT system was designed in two modes of operation: (1) Real time fault isolation, and (2) a local simulator which simulates the models theoretically

Markov Abstractions for Probabilistic Pi-Calculus

This paper presents a range of approaches to the analysis and development of program specifications that have been expressed in a probabilistic process algebra. The approach explores Markovian processes as a high-level abstraction tool to reason about system specifications. The abstractions include ones to check the structure of specifications, analyze the long-term stability of the system, and provide guidance to improve the specifications if they are found to be unstable. The approach could present interest to the formal methods and critical-systems development community, as it leads to an automatic analysis of some subtle properties of complex systems. We illustrate some aspects by analyzing the Monty Hall game, and a probabilistic protocol

The ReSIST Resilience Knowledge Base

We describe a prototype knowledge base that uses semantic web technologies to provide a service for querying a large and expanding collection of public data about resilience, dependability and security. We report progress and identify opportunities to support resilience-explicit computing by developing metadata-based descriptions of resilience mechanisms that can be used to support design time and, potentially, run-time decision making

Automatic Detection of Electric Power Troubles (ADEPT)

Automatic Detection of Electric Power Troubles (A DEPT) is an expert system that integrates knowledge from three different suppliers to offer an advanced fault-detection system. It is designed for two modes of operation: real time fault isolation and simulated modeling. Real time fault isolation of components is accomplished on a power system breadboard through the Fault Isolation Expert System (FIES II) interface with a rule system developed in-house. Faults are quickly detected and displayed and the rules and chain of reasoning optionally provided on a laser printer. This system consists of a simulated space station power module using direct-current power supplies for solar arrays on three power buses. For tests of the system's ablilty to locate faults inserted via switches, loads are configured by an INTEL microcomputer and the Symbolics artificial intelligence development system. As these loads are resistive in nature, Ohm's Law is used as the basis for rules by which faults are located. The three-bus system can correct faults automatically where there is a surplus of power available on any of the three buses. Techniques developed and used can be applied readily to other control systems requiring rapid intelligent decisions. Simulated modeling, used for theoretical studies, is implemented using a modified version of Kennedy Space Center's KATE (Knowledge-Based Automatic Test Equipment), FIES II windowing, and an ADEPT knowledge base

Faults, intrusions and flood basalts: the Cenozoic structure of the north of Ireland

Detailed digital mapping of the Tellus aero-magnetic data set has revealed the extent and timing of igneous activity in the north of Ireland during the Palaeogene period (c.66–23 million years). These data have provided a unique opportunity to constrain the geometry, scale and development of similarly aged faults in the region. Recognition and analysis of these structures has broadened the understanding of Cenozoic tectonics of Britain and Ireland, with potential implications for fluid flow in hydrocarbon and groundwater reservoirs

Automatic Detection of Electric Power Troubles (ADEPT)

ADEPT is an expert system that integrates knowledge from three different suppliers to offer an advanced fault-detection system, and is designed for two modes of operation: real-time fault isolation and simulated modeling. Real time fault isolation of components is accomplished on a power system breadboard through the Fault Isolation Expert System (FIES II) interface with a rule system developed in-house. Faults are quickly detected and displayed and the rules and chain of reasoning optionally provided on a Laser printer. This system consists of a simulated Space Station power module using direct-current power supplies for Solar arrays on three power busses. For tests of the system's ability to locate faults inserted via switches, loads are configured by an INTEL microcomputer and the Symbolics artificial intelligence development system. As these loads are resistive in nature, Ohm's Law is used as the basis for rules by which faults are located. The three-bus system can correct faults automatically where there is a surplus of power available on any of the three busses. Techniques developed and used can be applied readily to other control systems requiring rapid intelligent decisions. Simulated modelling, used for theoretical studies, is implemented using a modified version of Kennedy Space Center's KATE (Knowledge-Based Automatic Test Equipment), FIES II windowing, and an ADEPT knowledge base. A load scheduler and a fault recovery system are currently under development to support both modes of operation

The Conception of the Resurrection in the Apocrypha and Pseudipigrapha

Abstract Not Provided

Sudden increase of cosmic-ray intensity

A sudden 30% increase in cosmic-ray intensity lasting approximately 12 minutes was observed at an atmospheric depth equal to 80 g/cm2 by a Neher integrating ionization chamber flown from Bismarck, North Dakota on October 16, 1958. A similar measurement made simultaneously at Invercargill, New Zealand observed no increase. These observations are not in accord with the simple solar impact zone theory

An empirical estimate of the relative mobilities of the common rock-forming elements

Thesis. (M.S.) Massachusetts Institute of Technology. Dept. of Geology, 1956.Bibliography: leaf 30.by David Hugh Anderson.M.S

Convicts and coolies : rethinking indentured labour in the nineteenth century

This article seeks to shift the frame of analysis within which discussions of Indian indentured migration take place. It argues that colonial discourses and practices of indenture are best understood not with regard to the common historiographical framework of whether it was 'a new system of slavery', but in the context of colonial innovations in incarceration and confinement. The article shows how Indian experiences of and knowledge about transportation overseas to penal settlements informed in important ways both their own understandings and representations of migration and the colonial practices associated with the recruitment of indentured labour. In detailing the connections between two supposedly different labour regimes, it thus brings a further layer of complexity to debates around their supposed distinctions