Analyzing spacecraft configurations through specialization and default reasoning

For an intelligent system to describe a real-world situation using as few statements as possible, it is necessary to make inferences based on observed data and to incorporate general knowledge of the reasoning domain into the description. These reasoning processes must reduce several levels of specific descriptions into only those few that most precisely describe the situation. Moreover, the system must be able to generate descriptions in the absence of data, as instructed by certain rules of inference. The deductions applied by the system, then, generate a high-level description from the low-level evidence provided by the real and default data sources. An implementation of these ideas in a real-world situation is described. The application concerns evaluation of Space Shuttle electromechanical system configurations by console operators in the Mission Control Center. A production system provides the reasoning mechanism through which the default assignments and specializations occur. Examples are provided within this domain for each type of inference, and the suitability is discussed of each toward achieving the goal of describing a situation in the fewest statements possible. Finally, several enhancements are suggested that will further increase the intelligence of similar spacecraft monitoring applications

The politics of reproduction: abortion and authority in Soviet cinema

In the Soviet period, state policy on abortion underwent three significant changes: legalization in 1920, banning in 1936 and re-legalization in 1955. With reproduction and motherhood considered state concerns, the female body, and in particular the pregnant female body, became a key site for the promotion of the authorities’ socio-ideological agendas. Given the Soviet state’s appropriation of cinema as a tool for education and propaganda, these issues were often addressed on screen. This chapter provides a critical overview of the representation of abortion in films made between the early-Soviet 1920s and the Brezhnevite 1980s and assesses the extent to which Soviet cinema reflects, or actively promotes, the bio-political authority of the state. Considering the films in their socio-ideological contexts, the chapter examines their treatment of different types of authority and asks whether Soviet film-makers sought to challenge prevailing socio-ideological stances on abortion, female autonomy and gendered structures of authority

Image Interpretation Using Appraisal Analysis

In geophysical inversion, a significant effort is invested to obtain images of the Earth from finite data. The first step is to obtain an image i.e. solve the inverse problem. This step alone provides significant challenges that are not addressed inthis paper. The next step is to interpret the image in terms of specific questions. For example, what can we say about the average value of a physical property within a certain region of the model? What scale information can we resolve from the data? These questions are problem dependent and may require that inversion be carried out several times to arrive at a satisfactory answer. Therefore the solution to an inverse problem is only a step towards answering these questions. Appraisal analysis of the solution takes the next step by providing a set of tools to judge and select from the possibly infinite suite of images that adequately fit our observations. We discuss the use of point spread functions and averaging kernels in the interpretation of images. We use a controlled source electromagnetic example to demonstrate the methodology

Near-Shortest and K-Shortest Simple Paths

2005, Networks, 46, pp. 98-109

Investigating the Dynamics and Density Evolution of Returning Plasma Blobs from the 2011 June 7 Eruption

This work examines infalling matter following an enormous Coronal Mass Ejection (CME) on 2011 June 7. The material formed discrete concentrations, or blobs, in the corona and fell back to the surface, appearing as dark clouds against the bright corona. In this work we examined the density and dynamic evolution of these blobs in order to formally assess the intriguing morphology displayed throughout their descent. The blobs were studied in five wavelengths (94, 131, 171, 193 and 211 \AA) using the Solar Dynamics Observatory Atmospheric Imaging Assembly (SDO/AIA), comparing background emission to attenuated emission as a function of wavelength to calculate column densities across the descent of four separate blobs. We found the material to have a column density of hydrogen of approximately 2 $\times$ 10$^{19}$ cm$^{-2}$, which is comparable with typical pre-eruption filament column densities. Repeated splitting of the returning material is seen in a manner consistent with the Rayleigh-Taylor instability. Furthermore, the observed distribution of density and its evolution are also a signature of this instability. By approximating the three-dimensional geometry (with data from STEREO-A), volumetric densities were found to be approximately 2 $\times$ 10$^{-14}$ g cm$^{-3}$, and this, along with observed dominant length-scales of the instability, was used to infer a magnetic field of the order 1 G associated with the descending blobs.Comment: 9 pages, 13 figures, accepted for publication in Ap

On a production system using default reasoning for pattern classification

This paper addresses an unconventional application of a production system to a problem involving belief specialization. The production system reduces a large quantity of low-level descriptions into just a few higher-level descriptions that encompass the problem space in a more tractable fashion. This classification process utilizes a set of descriptions generated by combining the component hierarchy of a physical system with the semantics of the terminology employed in its operation. The paper describes an application of this process in a program, constructed in C and CLIPS, that classifies signatures of electromechanical system configurations. The program compares two independent classifications, describing the actual and expected system configurations, in order to generate a set of contradictions between the two

Application of Time-Lapse ERT Imaging to Watershed Characterization

Time-lapse electrical resistivity tomography (ERT) has many practical applications to the study of subsurface properties and processes. When inverting time-lapse ERT data, it is useful to proceed beyond straightforward inversion of data differences and take advantage of the time-lapse nature of the data. We assess various approaches for inverting and interpreting time-lapse ERT data and determine that two approaches work well. The first approach is model subtraction after separate inversion of the data from two time periods, and the second approach is to use the inverted model from a base data set as the reference model or prior information for subsequent time periods. We prefer this second approach. Data inversion methodology should be consideredwhen designing data acquisition; i.e., to utilize the second approach, it is important to collect one or more data sets for which the bulk of the subsurface is in a background or relatively unperturbed state. A third and commonly used approach to time-lapse inversion, inverting the difference between two data sets, localizes the regions of the model in which change has occurred; however, varying noise levels between the two data sets can be problematic. To further assess the various time-lapse inversion approaches, we acquired field data from a catchment within the Dry Creek Experimental Watershed near Boise, Idaho, U.S.A. We combined the complimentary information from individual static ERT inversions, time-lapse ERT images, and available hydrologic data in a robust interpretation scheme to aid in quantifying seasonal variations in subsurface moisture content

Solving Defender-Attacker-Defender Models for Infrastructure Defense

In Operations Research, Computing, and Homeland Defense, R.K. Wood and R.F. Dell, editors, INFORMS, Hanover, MD, pp. 28-49.The article of record as published may be located at http://dx.doi.org10.1287/ics.2011.0047This paper (a) describes a defender-attacker-defender sequential game model (DAD) to plan defenses for an infrastructure system that will enhance that system's resilience against attacks for an intelligent adversary, (b) describes a realistic formulation of DAD for defending a transportation network, (c) develops a decomposition algorithm for solving this instance of DAD and others, and (d) demonstrates the solution of a small transportation-network example. A DAD model generally evaluates system operation through the solution of an optimization model, and the decomposition algorithm developed here requires only that this system-operation model be continuous and convex. For example, our transportation-network example incorporates a congestion model with a (convex) nonlinear objective function and linear constraints

The positive soundscape project : a synthesis of results from many disciplines

This paper takes an overall view of ongoing findings from the Positive Soundscape Project, a large inter-disciplinary soundscapes study which is nearing completion. Qualitative fieldwork (soundwalks and focus groups) and lab-based listening tests have revealed that two key dimensions of the emotional response are calmness and vibrancy. In the lab these factors explain nearly 80% of the variance in listener response. Physiological validation is being sought using fMRI measurements, and these have so far shown significant differences in the response of the brain to affective and neutral soundscapes. A conceptual framework which links the key soundscape components and which could be used for future design is outlined. Metrics are suggested for some perceptual scales and possibilities for soundscape synthesis for design and user engagement are discussed, as are the applications of the results to future research and environmental noise policy

Amitraz and its metabolite modulate honey bee cardiac function and tolerance to viral infection

The health and survival of managed honey bee (Apis mellifera) colonies are affected by multiple factors, one of the most important being the interaction between viral pathogens and infestations of the ectoparasitic mite Varroa destructor. Currently, the only effective strategy available for mitigating the impact of viral infections is the chemical control of mite populations. Unfortunately, the use of in-hive acaricides comes at a price, as they can produce sublethal effects that are difficult to quantify, but may ultimately be as damaging as the mites they are used to treat. The goal of this study was to investigate the physiological and immunological effects of the formamidine acaricide amitraz and its primary metabolite in honey bees. Using flock house virus as a model for viral infection, this study found that exposure to a formamidine acaricide may have a negative impact on the ability of honey bees to tolerate viral infection. Furthermore, this work has demonstrated that amitraz and its metabolite significantly alter honey bee cardiac function, most likely through interaction with octopamine receptors. The results suggest a potential drawback to the in-hive use of amitraz and raise intriguing questions about the relationship between insect cardiac function and disease tolerance