Physical Sciences and Mathematics Commons^™

A Tutorial On Bayesian Networks For System Health Management, Arthur Choi, Lu Zheng, Adnan Darwiche, Ole J. Mengshoel

Ole J Mengshoel

Bayesian networks have established themselves as an indispensable tool in artificial intelligence, and are being used effectively by researchers and practitioners more broadly in science and engineering. The domain of system health management, including diagnosis, is no exception. In fact, diagnostic applications have driven much of the developments in Bayesian networks over the past few decades. In this chapter, we provide a gentle and accessible introduction to modeling and reasoning with Bayesian networks, with the domain of system health management in mind.

Risk-Based Critical Infrastructure Priorities For Emp And Solar Storms, George H. Baker Iii

George H Baker

Two electromagnetic phenomena have the potential to create continental-scale disasters. The first, nuclear electromagnetic pulse (EMP), results from a nuclear detonation high above the tropopause. The second, a major solar storm, or "solar tsunami" occurs naturally when an intense wave of charged particles from the sun perturbs the earth's magnetic field. Both phenomena can debilitate electrical and electronic systems necessary for the operation of infrastructure systems and services. One reason why a U.S. protection program has yet to be initiated is that policy makers continue to wrestle with the question of where to begin, given the Department of Homeland Security’s …

Issues In Human Capital Development : Lessons For Public Administration And Governance, Deogratias Harorimana Mr

Dr Deogratias Harorimana

With few minerals or other natural resources, Rwanda believes that she can still achieve her ambitions by investing in human capital - her unique resource. If this ambition can be achieved, then is this the next role model for international development? We used a case study design and analysis methods to examine development models used elsewhere in recent decades, using both qualitative and quantitative data on Rwanda to establish the comparative advantages in relation to Singapore’s economic development model. The implications for international development are that (1) an effective human capital development strategy should be inclusive enough to respond to …

Risk-Based Critical Infrastructure Protection Priorities For Emp And Solar Storms, George H. Baker Iii

George H Baker

The Commission to Assess the Threat to the United States from Electromagnetic Pulse Attack has provided a compelling case for protecting civilian infrastructure against the effects of EMP. As with protecting infrastructure against any hazard, it will be important to take a risk-based priority approach for EMP, recognizing that it is fiscally impracticable to protect everything. In this regard, EMP is particularly challenging in that it interferes with electrical and electronic data, control, transmission, and communication systems organic to nearly all infrastructures in a simultaneous and wide-scale manner. And, for nuclear burst altitudes of 100s of kilometers, the exposed geography …

Bayesian Software Health Management For Aircraft Guidance, Navigation, And Control, Johann M. Schumann, Timmy Mbaya, Ole J. Mengshoel

Ole J Mengshoel

Modern aircraft — both piloted fly-by-wire commercial aircraft as well as UAVs — more and more depend on highly complex safety critical software systems with many sensors and computer-controlled actuators. Despite careful design and V&V of the software, severe incidents have happened due to malfunctioning software.

In this paper, we discuss the use of Bayesian networks to monitor the health of the on-board software and sensor system, and to perform advanced on-board diagnostic reasoning. We focus on the development of reliable and robust health models for combined software and sensor systems, with application to guidance, navigation, and control (GN&C). Our …

Integrating Probabilistic Reasoning And Statistical Quality Control Techniques For Fault Diagnosis In Hybrid Domains, Brian Ricks, Craig Harrison, Ole J. Mengshoel

Ole J Mengshoel

Pandaa: Physical Arrangement Detection Of Networked Devices Through Ambient-Sound Awareness, Zheng Sun, Aveek Purohit, Kaifei Chen, Shijia Pan, Trevor Pering, Pei Zhang

Zheng Sun

Future ubiquitous home environments can contain 10s or 100s of devices. Ubiquitous services running on these devices (i.e. localizing users, routing, security algorithms) will commonly require an accurate location of each device. In order to obtain these locations, existing techniques require either a manual survey, active sound sources, or estimation using wireless radios. These techniques, however, need additional hardware capabilities and are intrusive to the user. Non-intrusive, automatic localization of ubiquitous computing devices in the home has the potential to greatly facilitate device deployments.

This paper presents the PANDAA system, a zero-configuration spatial localization system for networked devices based on …

Pandaa: Physical Arrangement Detection Of Networked Devices Through Ambient-Sound Awareness, Zheng Sun, Aveek Purohit, Kaifei Chen, Shijia Pan, Trevor Pering, Pei Zhang

Aveek Purohit

Future ubiquitous home environments can contain 10s or 100s of devices. Ubiquitous services running on these devices (i.e. localizing users, routing, security algorithms) will commonly require an accurate location of each device. In order to obtain these locations, existing techniques require either a manual survey, active sound sources, or estimation using wireless radios. These techniques, however, need additional hardware capabilities and are intrusive to the user. Non-intrusive, automatic localization of ubiquitous computing devices in the home has the potential to greatly facilitate device deployments.

This paper presents the PANDAA system, a zero-configuration spatial localization system for networked devices based on …

Patient Safety: What Can Be Done About It?, Steven Dain

Steven L Dain

Much is said and written about patient safety. In Canada, a small group of dedicated physicians, nurses and engineers participates in the Canadian Standards Association and Standards Council of Canada Advisory Committees writing basic safety and essential performance requirements for a large range of anesthesia, respiratory care and critical care equipment. Over the past several years, in recognition of the globalization of trade and the international nature of medical device design and manufacturing, Canadian Anesthesiologists’ Society members Dr Steven Dain, Dr Karen Brown, Dr Matt Kurrek, Dr Ken LeDez, and Dr Jeremy Sloan have primarily participated in Organization for International …

Pandaa: A Physical Arrangement Detection Technique For Networked Devices Through Ambient-Sound Awareness, Zheng Sun, Aveek Purohit, Philippe De Wagter, Irina Brinster, Chorom Hamm, Pei Zhang

Zheng Sun

This demo presents PANDAA, a zero-configuration automatic spatial localization technique for networked devices based on ambient sound sensing. We will demonstrate that after initial placement of the devices, ambient sounds, such as human speech, music, footsteps, finger snaps, hand claps, or coughs and sneezes, can be used to autonomously resolve the spatial relative arrangement of devices, such as mobile phones, using trigonometric bounds and successive approximation.

Visualizing And Understanding Large-Scale Bayesian Networks, Michele Cossalter, Ole J. Mengshoel, Ted Selker

Ole J Mengshoel

Bayesian networks are a theoretically well-founded approach to represent large multi-variate probability distributions, and have proven useful in a broad range of applications. While several software tools for visualizing and editing Bayesian networks exist, they have important weaknesses when it comes to enabling users to clearly understand and compare conditional probability tables in the context of network topology, especially in large-scale networks. This paper describes a system for improving the ability for computers to work with people to develop intelligent systems through the construction of high-performing Bayesian networks. We describe NetEx, a tool developed as a Cytoscape plugin, which allows …

Software Health Management With Bayesian Networks, Ole J. Mengshoel, Johann M. Schumann

Ole J Mengshoel

No abstract provided.

Emp: A Brief Tutorial, George H. Baker Iii

George H Baker

A nuclear detonation at altitudes from about 30 to 500 kilometers generates a strong electromagnetic pulse (EMP) that propagates to points on the ground within the line-of-sight of the burst. For bursts above 100 kilometers, electronics can be affected over continental scale areas. The EMP induces large voltages and currents in antennas and cables of electronic systems that will upset operation or damage circuit components if protection measures are not present. The article provides a brief tutorial on EMP environments, effects and protection.

High Power Electromagnetic Weapons: A Brief Tutorial, George H. Baker Iii

George H Baker

High power electromagnetic weapons, also referred to as high power radiofrequency (HPRF) weapons, are a type of directed energy weapons. The system effects of high power electromagnetic environments are well recognized by world scientific and military communities. Former CIA Director John Deutch has said that, "the electron is the ultimate precision-guided weapon." In the course of the investigation ofnuclear EMP effects on electronics during the Cold War period, it became evident that garden variety, unprotected electronics would malfunction, in some cases burn out, in the presence of electromagnetic fields in the hundreds to thousands of volts per meter. The EMP …

Integrated Software And Sensor Health Management For Small Spacecraft, Johann Schumann, Ole J. Mengshoel, Timmy Mbaya

Ole J Mengshoel

Despite their size, small spacecraft have highly complex architectures with many sensors and computer-controlled actuators. At the same time, size, weight, and budget constraints often dictate that small spacecraft are designed as single-string systems, which means that there are no or few redundant systems. Thus, all components, including software, must operate as reliably. Faults, if present, must be detected as early as possible to enable (usually limited) forms of mitigation. Telemetry bandwidth for such spacecraft is usually very limited. Therefore, fault detection and diagnosis must be performed on-board. Further restrictions include low computational power and small memory.

In this paper, …

Vuv Absorption Cross Section Of Benzene, Relevance For Titan’S Atmosphere, F-J. Capalbo, Y. Bénilan, N. Fray, M. Schwell, Et. Es-Sebbar, N. Champion, T. Koskinen, R. Yelle

Dr. Et-touhami Es-sebbar

Saturn's largest satellite, Titan, is the only one in the Solar System known to have a thick N2/CH4, planet like atmosphere. The dissociation of these principal components and the recombination of the products make this atmosphere to be rich in organic compounds of high interest for astrobiology. Solar and stellar occultations observed by the Ultraviolet Imaging Spectrograph (UVIS) on board the Cassini spacecraft can be used to characterize the composition of Titan’s upper atmosphere (400 – 1400 km). The results depend strongly on the knowledge of the molecular absorption cross sections of the atmospheric constituents (Ferradaz et al. 2009). This …

Belief Propagation By Message Passing In Junction Trees: Computing Each Message Faster Using Gpu Parallelization, Lu Zheng, Ole J. Mengshoel, Jike Chong

Ole J Mengshoel

Compiling Bayesian networks (BNs) to junction trees and performing belief propagation over them is among the most prominent approaches to computing posteriors in BNs. However, belief propagation over junction tree is known to be computationally intensive in the general case. Its complexity may increase dramatically with the connectivity and state space cardinality of Bayesian network nodes. In this paper, we address this computational challenge using GPU parallelization. We develop data structures and algorithms that extend existing junction tree techniques, and specifically develop a novel approach to computing each belief propagation message in parallel. We implement our approach on an NVIDIA …

Analysis Of Electroluminescence Spectra Of Silicon And Gallium Arsenide P-N Junctions In Avalanche Breakdown, M Lahbabi, A Ahaitoufa, M. Fliyou, E. Abarkan, J.-P. Charles, A. Bath, A. Hoffmann, Sherra Kerns, David Kerns, Jr.

David V. Kerns

We present a generalized study of light emission from reverse biased p–n junctions under avalanche breakdown conditions. A model is developed based on direct and indirect interband processes including self-absorption to describe measured electroluminescence spectra. This model was used to analyze experimental data for silicon (Si) and gallium arsenide p–n junctions and can be extended to several types of semiconductors regardless of their band gaps. This model can be used as a noninvasive technique for the determination of the junction depth. It has also been used to explain the observed changes of the Si p–n junction electroluminescence spectra after fast …

Analysis Of Electroluminescence Spectra Of Silicon And Gallium Arsenide P-N Junctions In Avalanche Breakdown, M Lahbabi (Adjunct), A Ahaitoufa, M. Fliyou, E. Abarkan, J.-P. Charles, A. Bath, A. Hoffmann, Sherra E. Kerns, David V. Kerns, Jr.

Sherra E. Kerns

We present a generalized study of light emission from reverse biased p–n junctions under avalanche breakdown conditions. A model is developed based on direct and indirect interband processes including self-absorption to describe measured electroluminescence spectra. This model was used to analyze experimental data for silicon (Si) and gallium arsenide p–n junctions and can be extended to several types of semiconductors regardless of their band gaps. This model can be used as a noninvasive technique for the determination of the junction depth. It has also been used to explain the observed changes of the Si p–n junction electroluminescence spectra after fast …

Coughloc: Location-Aware Indoor Acoustic Sensing For Non-Intrusive Cough Detection, Zheng Sun, Aveek Purohit, Kathleen Yang, Neha Pattan, Dan Siewiorek, Asim Smailagic, Ian Lane, Pei Zhang

Zheng Sun

Pervasive medical monitoring has become an ideal alter- native to nursing care for elderly people and patients in hospitals. Existing systems using single body-worn sensors are often intrusive and less reliable. By contrast, ubiqui- tous acoustic sensing techniques can support non-intrusive and robust medical monitoring. In this paper, we describe CoughLoc, a ubiquitous acoustic sensing system for con- tinuous cough detection using a wireless sensor network. We show how knowledge of sound source locations can be leveraged to improve the detection accuracy of sound events caused by mobile users. Experiments in indoor environ- ments show our system achieves over 90% …

Coughloc: Location-Aware Indoor Acoustic Sensing For Non-Intrusive Cough Detection, Zheng Sun, Aveek Purohit, Kathleen Yang, Neha Pattan, Dan Siewiorek, Asim Smailagic, Ian Lane, Pei Zhang

Aveek Purohit

Pervasive medical monitoring has become an ideal alter- native to nursing care for elderly people and patients in hospitals. Existing systems using single body-worn sensors are often intrusive and less reliable. By contrast, ubiqui- tous acoustic sensing techniques can support non-intrusive and robust medical monitoring. In this paper, we describe CoughLoc, a ubiquitous acoustic sensing system for con- tinuous cough detection using a wireless sensor network. We show how knowledge of sound source locations can be leveraged to improve the detection accuracy of sound events caused by mobile users. Experiments in indoor environ- ments show our system achieves over 90% …

Sensorfly: Controlled-Mobile Sensing Platform For Indoor Emergency Response Applications, Aveek Purohit, Zheng Sun, Frank Mokaya, Pei Zhang

Aveek Purohit

Indoor emergency response situations, such as urban fire, are characterized by dangerous constantly-changing operating environments with little access to situational information for first responders. In-situ information about the conditions, such as the extent and evolution of an indoor fire, can augment rescue efforts and reduce risk to emergency personnel. Static sensor networks that are pre-deployed or manually deployed have been proposed, but are less practical due to need for large infrastructure, lack of adaptivity and limited coverage. Controlled-mobility in sensor networks, i.e. the capability of nodes to move as per network needs can provide the desired autonomy to overcome these …

Sensorfly: Controlled-Mobile Sensing Platform For Indoor Emergency Response Applications, Aveek Purohit, Zheng Sun, Frank Mokaya, Pei Zhang

Zheng Sun

Indoor emergency response situations, such as urban fire, are characterized by dangerous constantly-changing operating environments with little access to situational information for first responders. In-situ information about the conditions, such as the extent and evolution of an indoor fire, can augment rescue efforts and reduce risk to emergency personnel. Static sensor networks that are pre-deployed or manually deployed have been proposed, but are less practical due to need for large infrastructure, lack of adaptivity and limited coverage. Controlled-mobility in sensor networks, i.e. the capability of nodes to move as per network needs can provide the desired autonomy to overcome these …

Characterization Of Continuous Vacuum Ultraviolet Lamps-Implication On The Study Of Methane Photolysis At Lyman Alpha (121.6 Nm), M-C. Gazeau, Y. Benilan, Et. Es-Sebbar, A. Jolly, E. Arzoumanian, N. Fray, H. Cottin

Dr. Et-touhami Es-sebbar

Low-temperature hydrogen plasmas are widely used as continuous vacuum ultraviolet irradiation sources in photochemical studies and, in particular, in laboratory simulations of planetary atmospheres. One of the most challenging objectives of such experiments is to retrieve accurate quantitative laboratory data allowing a reliable comparison with theoretical and/or observational ones. This task can only be achieved when the irradiation source delivers a well characterised radiation in terms of flux and wavelength dependency. As an example, we will present a study, developed in the frame of a program dedicated to simulations of Titan’s atmosphere, on methane photolysis at Lyman alpha (121.6 nm). …

Formation Of Hcn And Nh3 As Primary Compounds Of Titan’S Atmosphere Simulations Using N2-Ch4 Afterglow Plasma’’, M-C. Gazeau, Y. Bénilan, E. Arzoumanian, Et. Es-Sebbar, A. Jolly, C.D. Pintassilgo

Dr. Et-touhami Es-sebbar

No abstract provided.

Cortina: Collaborative Context-Aware Indoor Positioning Employing Rss And Rtof Techniques, Zheng Sun, Richard Farley, Telis Kaleas, Judy Ellis, Kiran Chikkappa

Zheng Sun

Cortina is an energy-efficient indoor localization system, which leverages a wireless sensor network to support navigation and tracking applications. To improve the localization performance, we develop a hybrid ranging system, which incor- porate both RSS and RToF-based techniques. To overcome effects from indoor multipath, we design and implement algorithms to take account various context information. We evaluated the system over a 2000m2 area instrumented with twenty-six fixed nodes. Evaluation results show the system achieved 2.5m accuracy in a pedestrian tracking application.

Verification And Validation Of System Health Management Models Using Parametric Testing, Erik Reed, Johann Schumann, Ole J. Mengshoel

Ole J Mengshoel

System Health Management (SHM) systems have found their way into many safety-critical aerospace and industrial applications. A SHM system processes readings from sensors throughout the system and uses a Health Management (HM) model to detect and identify potential faults (diagnosis) and to predict possible failures in the near future (prognosis). It is essential that a SHM system, which monitors a safety-critical component, must be at least as reliable and safe as the component itself—false alarms or missed adverse events can potentially result in catastrophic failures. The SHM system including the HM model, a piece of software, must therefore undergo rigorous …

Initialization And Restart In Stochastic Local Search: Computing A Most Probable Explanation In Bayesian Networks, Ole J. Mengshoel, David C. Wilkins, Dan Roth

Ole J Mengshoel

For hard computational problems, stochastic local search has proven to be a competitive approach to finding optimal or approximately optimal problem solutions. Two key research questions for stochastic local search algorithms are: Which algorithms are effective for initialization? When should the search process be restarted? In the present work, we investigate these research questions in the context of approximate computation of most probable explanations (MPEs) in Bayesian networks (BNs). We introduce a novel approach, based on the Viterbi algorithm, to explanation initialization in BNs. While the Viterbi algorithm works on sequences and trees, our approach works on BNs with arbitrary …