Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “discrete event systems”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 271 records · Page 15

Development of an MC&A toolbox for liquid-fueled molten salt reactors with online reprocessing (Final Report)

A critical barrier to the deployment of MSRs is the absence of a well-defined nuclear material control and accounting (MC&A) approach, a vital prerequisite to meet NRC licensing requirements as well as facilitating future international exports. Liquid-fueled MSR variants (especially those incorporating online refueling or reprocessing) present a unique set of challenges to traditional nuclear material control and accountancy. Unlike solid-fueled light-water reactors, traditional item-counting methods cannot be applied as an accountancy strategy. Rather, MC&A approaches to MSR variants (including both uranium and thorium fueled designs) are more analogous to bulk material handling facilities (e.g., enrichment and reprocessing); yet further complicating matters is the fact that fuel medium is also highly radioactive. Meanwhile, the space of MSRs covers a broad range of design parameters, including thermal and fast spectra designs; operation in actinide breeder or burner modes, choice of actinide fuel used (e.g., 235 U, 232 Th / 233 U, denatured 233 U, etc.), pool or loop-type configuration, and even different salt chemistry. Each of these design choices introduce significant challenges to MC&A approaches within MSR facilities. We propose to bridge this gap for liquid-fueled MSRs by developing a modular, component-based test framework for evaluating viable process monitoring and MC&A techniques specifically suited to liquid-fueled MSR system variants employing online refueling or reprocessing. This test platform will consist of a toolbox of independent process modules representing discrete physical units (such as the reactor core, off-gas processing, decay tanks, and actinide separation units), each with its own self-contained physics responsive to the input mass flow, along with appropriate measurement models that can be coupled to key flow points. These dynamic physical signatures thus afford the ability to test the viability and efficacy of potential accountancy techniques under the full range of reactor operating conditions. As process modules are connected via mass flows, the result is a reconfigurable, generic MSR mass flow model capable of serving as an MC&A test platform for a broad spectrum of possible MSR configurations. The resulting MSR MC&A toolbox will enable robust assessment of accountancy strategies for this unique facility type, including analysis of physical feedbacks arising both from depletion of the fuel over time as well as from potential off-normal events, including those introduced by equipment failures (e.g., a pump failure) as well as by malicious action (i.e., attempts to divert material). The proposed toolbox both addresses a critical needs area for the MPACT analysis toolkit while leveraging existing MPACT-sponsored tools, especially with respect to simulation of measurement and accountancy techniques for advanced fuel cycle facilities. Beyond enabling new analysis capabilities for MSR systems, the design of this toolbox will be to such to maximize compatibility with existing MPACT tools, such to enhance existing facility MC&A analysis capabilities.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Low frequency radio emissions from Jupiter - Jovian kilometric radiation

A new component of the Jovian radio spectrum has been observed by the plasma wave instruments on Voyager 1 and 2 at frequencies ranging from about 10 to 56 kHz or higher. This Jovian kilometric radiation is characterized by storms of emissions lasting typically 45 minutes at 56.2 kHz, however some events persist for as long as four hours. The storms usually exhibit impulsive bursts with time scales of a few seconds to several minutes, although some events show smoothly varying intensities as a function of time. High resolution frequency-time spectrograms reveal a continuum-like background with more intense, narrowband features superimposed. The narrowband, or discrete, features tend to decrease in frequency with increasing time, falling about 1 kHz in 5 to 60 seconds. The maximum power emitted assuming an isotropic radiator near Jupiter and a bandwidth for the most intense bursts of about 10 kHz is about 10 to the 19th watts. The Jovian kilometric radiation is most likely observed within + or - 45 deg of 200 deg System III longitude, lambda III, although there is a secondary maximum near lambda III = 25 deg.

Kurth, W. S.↗

Object oriented studies into artificial space debris

A prototype simulation is being developed under contract to the Royal Aerospace Establishment (RAE), Farnborough, England, to assist in the discrimination of artificial space objects/debris. The methodology undertaken has been to link Object Oriented programming, intelligent knowledge based system (IKBS) techniques and advanced computer technology with numeric analysis to provide a graphical, symbolic simulation. The objective is to provide an additional layer of understanding on top of conventional classification methods. Use is being made of object and rule based knowledge representation, multiple reasoning, truth maintenance and uncertainty. Software tools being used include Knowledge Engineering Environment (KEE) and SymTactics for knowledge representation. Hooks are being developed within the SymTactics framework to incorporate mathematical models describing orbital motion and fragmentation. Penetration and structural analysis can also be incorporated. SymTactics is an Object Oriented discrete event simulation tool built as a domain specific extension to the KEE environment. The tool provides facilities for building, debugging and monitoring dynamic (military) simulations.

Adamson, J. M.↗

Preliminary design of an intermittent smoke flow visualization system

A prototype intermittent flow visualization system that was designed to study vortex flow field dynamics has been constructed and tested through its ground test phase. It produces discrete pulses of dense white smoke consisting of particles of terephthalic acid by the pulsing action of a fast-acting three-way valve. The trajectories of the smoke pulses can be tracked by a video imaging system without intruding in the flow around in flight. Two methods of pulsing the smoke were examined. The simplest and safest approach is to simply divert the smoke between the two outlet ports on the valve; this approach should be particularly effective if it were desired to inject smoke at two locations during the same test event. The second approach involves closing off one of the outlet ports to momentarily block the flow. The second approach requires careful control of valve dwell times to avoid excessive pressure buildup within the cartridge container. This method also increases the velocity of the smoke injected into the flow. The flow of the smoke has been blocked for periods ranging from 30 to 80 milliseconds, depending on the system volume and the length of time the valve is allowed to remain open between valve closings.

Ward, Donald T.↗

What We Did Last Summer: Depicting DES Data to Enhance Simulation Utility and Use

At Kennedy Space Center (KSC), an important use of Discrete Event Simulation (DES) addresses ground operations .of missions to space. DES allows managers, scientists and engineers to assess the number of missions KSC can complete on a given schedule within different facilities, the effects of various configurations of resources and detect possible problems or unwanted situations. For fifteen years, DES has supported KSC efficiency, cost savings and improved safety and performance. The dense and abstract DES data, however, proves difficult to comprehend and, NASA managers realized, is subject to misinterpretation, misunderstanding and even, misuse. In summer 2008, KSC developed and implemented a NASA Exploration Systems Mission Directorate (ESMD) project based on the premise that visualization could enhance NASA's understanding and use of DES.

Elfrey, Priscilla↗

Efficient massively parallel simulation of dynamic channel assignment schemes for wireless cellular communications

Fast, efficient parallel algorithms are presented for discrete event simulations of dynamic channel assignment schemes for wireless cellular communication networks. The driving events are call arrivals and departures, in continuous time, to cells geographically distributed across the service area. A dynamic channel assignment scheme decides which call arrivals to accept, and which channels to allocate to the accepted calls, attempting to minimize call blocking while ensuring co-channel interference is tolerably low. Specifically, the scheme ensures that the same channel is used concurrently at different cells only if the pairwise distances between those cells are sufficiently large. Much of the complexity of the system comes from ensuring this separation. The network is modeled as a system of interacting continuous time automata, each corresponding to a cell. To simulate the model, conservative methods are used; i.e., methods in which no errors occur in the course of the simulation and so no rollback or relaxation is needed. Implemented on a 16K processor MasPar MP-1, an elegant and simple technique provides speedups of about 15 times over an optimized serial simulation running on a high speed workstation. A drawback of this technique, typical of conservative methods, is that processor utilization is rather low. To overcome this, new methods were developed that exploit slackness in event dependencies over short intervals of time, thereby raising the utilization to above 50 percent and the speedup over the optimized serial code to about 120 times.

Greenberg, Albert G.↗

Hybrid Automated Diagnosis of Discrete/Continuous Systems

A recently conceived method of automated diagnosis of a complex electromechanical system affords a complete set of capabilities for hybrid diagnosis in the case in which the state of the electromechanical system is characterized by both continuous and discrete values (as represented by analog and digital signals, respectively). The method is an integration of two complementary diagnostic systems: (1) beacon-based exception analysis for multi-missions (BEAM), which is primarily useful in the continuous domain and easily performs diagnoses in the presence of transients; and (2) Livingstone, which is primarily useful in the discrete domain and is typically restricted to quasi-steady conditions. BEAM has been described in several prior NASA Tech Briefs articles: "Software for Autonomous Diagnosis of Complex Systems" (NPO-20803), Vol. 26, No. 3 (March 2002), page 33; "Beacon-Based Exception Analysis for Multimissions" (NPO-20827), Vol. 26, No. 9 (September 2002), page 32; "Wavelet-Based Real-Time Diagnosis of Complex Systems" (NPO-20830), Vol. 27, No. 1 (January 2003), page 67; and "Integrated Formulation of Beacon-Based Exception Analysis for Multimissions" (NPO-21126), Vol. 27, No. 3 (March 2003), page 74. Briefly, BEAM is a complete data-analysis method, implemented in software, for real-time or off-line detection and characterization of faults. The basic premise of BEAM is to characterize a system from all available observations and train the characterization with respect to normal phases of operation. The observations are primarily continuous in nature. BEAM isolates anomalies by analyzing the deviations from nominal for each phase of operation. Livingstone is a model-based reasoner that uses a model of a system, controller commands, and sensor observations to track the system s state, and detect and diagnose faults. Livingstone models a system within the discrete domain. Therefore, continuous sensor readings, as well as time, must be discretized. To reason about continuous systems, Livingstone uses monitors that discretize the sensor readings using trending and thresholding techniques. In development of the a hybrid method, BEAM results were sent to Livingstone to serve as an independent source of evidence that is in addition to the evidence gathered by Livingstone standard monitors. The figure depicts the flow of data in an early version of a hybrid system dedicated to diagnosing a simulated electromechanical system. In effect, BEAM served as a "smart" monitor for Livingstone. BEAM read the simulation data, processed the data to form observations, and stored the observations in a file. A monitor stub synchronized the events recorded by BEAM with the output of the Livingstone standard monitors according to time tags. This information was fed to a real-time interface, which buffered and fed the information to Livingstone, and requested diagnoses at the appropriate times. In a test, the hybrid system was found to correctly identify a failed component in an electromechanical system for which neither BEAM nor Livingstone alone yielded the correct diagnosis.

Park, Han↗

A Visual Analytics Framework for Reviewing Streaming Performance Data

Understanding and tuning the performance of extreme-scale parallel computing systems demands a streaming approach due to the computational cost of applying offline algorithms to vast amounts of performance log data. Analyzing large streaming data is challenging because the rate of receiving data and limited time to comprehend data make it difficult for the analysts to sufficiently examine the data without missing important changes or patterns. To support streaming data analysis, we introduce a visual analytic framework comprising of three modules: data management, analysis, and interactive visualization. The data management module collects various computing and communication performance metrics from the monitored system using streaming data processing techniques and feeds the data to the other two modules. The analysis module automatically identifies important changes and patterns at the required latency. In particular, we introduce a set of online and progressive analysis methods for not only controlling the computational costs but also helping analysts better follow the critical aspects of the analysis results. Finally, the interactive visualization module provides the analysts with a coherent view of the changes and patterns in the continuously captured performance data. Through a multi-faceted case study on performance analysis of parallel discrete-event simulation, we demonstrate the effectiveness of our framework for identifying bottlenecks and locating outliers.

Human-centered computing↗

A Simulation Study of Quantum Clock Synchronization Using Teleportation

An important requirement in implementing distributed computing and sensing application is the synchronization of clocks at various locations. The Internet relies on the Network Time Protocol (NTP), which synchronizes clocks with accuracy in the order of milliseconds. More recently an ensemble of atomic clocks is used for navigation based on GPS. These clocks are highly accurate and provide time with very low uncertainty. Even so, many physics experiments such as distributed LIGO-based systems may require more accurate clock synchronization that is achievable using quantum entanglement. This requires the deployment of a network of quantum clocks synchronized by exploiting entangled atomic clock qubits. In this paper, we carry out a simulation study of synchronizing a network of quantum clocks interconnected by a fiber plant that supports the ESnet; the latter is used to support the classical communication needed for teleportation. We consider an existing protocol for synchro-nizing the atomic clock qubits that relies on the GHZ states. To assess the performance of the protocol we developed a discrete-event simulation of the network using IBM Qiskit framework for underlying quantum gate operations and measurements. The simulation results shed light on the resources required in terms of the number entangled qubits and the time needed to achieve the synchronization of different number of nodes in ESnet.

Kiran, Mariam↗

Comparisons of Kinematics and Dynamics Simulation Software Tools

Kinematic and dynamic analyses for moving bodies are essential to system engineers and designers in the process of design and validations. 3D visualization and motion simulation plus finite element analysis (FEA) give engineers a better way to present ideas and results. Marshall Space Flight Center (MSFC) system engineering researchers are currently using IGRIP from DELMIA Inc. as a kinematic simulation tool for discrete bodies motion simulations. Although IGRIP is an excellent tool for kinematic simulation with some dynamic analysis capabilities in robotic control, explorations of other alternatives with more powerful dynamic analysis and FEA capabilities are necessary. Kinematics analysis will only examine the displacement, velocity, and acceleration of the mechanism without considering effects from masses of components. With dynamic analysis and FEA, effects such as the forces or torques at the joint due to mass and inertia of components can be identified. With keen market competition, ALGOR Mechanical Event Simulation (MES), MSC visualNastran 4D, Unigraphics Motion+, and Pro/MECHANICA were chosen for explorations. In this study, comparisons between software tools were presented in terms of following categories: graphical user interface (GUI), import capability, tutorial availability, ease of use, kinematic simulation capability, dynamic simulation capability, FEA capability, graphical output, technical support, and cost. Propulsion Test Article (PTA) with Fastrac engine model exported from IGRIP and an office chair mechanism were used as examples for simulations.

Yeu-Sheng Paul Shiue↗

An illustration of the complexity of continent formation

It was pointed out that a consensus may be emerging in crustal growth models, considering the clustering of most growth curves and their uncertainties. Curves most distant from this clustering represent models involving extensive recycling of continental material back into the mantle, but the author wondered if geochemical signatures for this would be recognizable considering the lack of evidence from seismic tomography for discrete mantle reservoirs, and the likelihood of core-mantle interaction based on recent high pressure experiments. Unreactivated Archean rocks represent only 2 percent of present continental area, and the author was uncomfortable about basing inferences on what the early Earth was like on such a small amount of information. He feels that the hypothesis of continental assembly that needs testing is that of banging together of island arcs, such as in Indonesia today. As an example of how complex this process can be, the author described the geology of the Caribbean arc system, which shows evidence for reversals of subduction polarity, numerous collisional events, and substantial strike-slip movements. It seemed unlikely to the author that Archean examples would have been less complicated.

Burke, Kevin↗

A compact planetary nebula around the hot white dwarf EGB 6/PG 0950 + 139

The remarkable central star (0950 + 139), a very hot DA/DAO white dwarf, of the planetary nebula EGB 6 is described. Follow-up observations relevant to the analyses of both the nebula and the stellar photosphere are presented. Three kinds of scenarios are discussed to account for the existence of this peculiar nebula, but none appears very promising. The first consideration is that the nebula was ejected from the white dwarf as a discret event. This hypothesis is heavily constrained by the nebular size, density, and expansion rate; by the low luminosity and radius of the star; and by the absence of evidence for variation in density-sensitive forbidden lines from 1978 to 1987. No plausible mechanism can cause the observed amount of mass to be lost directly from a white dwarf in a steady or sporadic wind, at outflow velocities orders of magnitude below the escape velocity. Final consideration is given to the possibility that the gas is lost from a close companion star, but there is no evidence that this is a close binary system.

Liebert, James↗

State-Chart Autocoder

A computer program translates Unified Modeling Language (UML) representations of state charts into source code in the C, C++, and Python computing languages. ( State charts signifies graphical descriptions of states and state transitions of a spacecraft or other complex system.) The UML representations constituting the input to this program are generated by using a UML-compliant graphical design program to draw the state charts. The generated source code is consistent with the "quantum programming" approach, which is so named because it involves discrete states and state transitions that have features in common with states and state transitions in quantum mechanics. Quantum programming enables efficient implementation of state charts, suitable for real-time embedded flight software. In addition to source code, the autocoder program generates a graphical-user-interface (GUI) program that, in turn, generates a display of state transitions in response to events triggered by the user. The GUI program is wrapped around, and can be used to exercise the state-chart behavior of, the generated source code. Once the expected state-chart behavior is confirmed, the generated source code can be augmented with a software interface to the rest of the software with which the source code is required to interact.

Clark, Kenneth↗

The Next-Generation Ecosystem Experiment Arctic Rainfall Simulator: a tool to understand the effects of changing rainfall patterns in the Arctic

Rainfall frequency and intensity are expected to increase in the Arctic, with potential detrimental impacts on permafrost, leading to enhanced thawing and carbon release to the atmosphere. However, there have been very few studies on the effect of discrete rain events on permafrost in the Arctic and sub-Arctic. Conducting controlled rainfall experiments within permafrost landscapes can provide an improved understanding of the effect of changing intensity, duration, and timing of rain events on permafrost tundra ecosystems. Here, we describe the design and implementation of the Next-Generation Ecosystem Experiment Arctic Rainfall Simulator (NARS), a variable intensity (4–82 mm/h) rainfall simulator that can be used to study the effects of rainfall on permafrost stability. The NARS design includes a 3D-printed 4 cm H-flume and uses an eTape resistivity sensor that was calibrated (R 2 = 0.9–0.96) to measure discharge from the system. NARS is designed to be lightweight, simple to construct, and can be easily deployed in remote locations. As a field validation of updated rainfall simulator design and modernized controls, NARS was tested on the Seward Peninsula, AK. Because of its portability, versatility in deployment, dimensions, and rainfall intensity, NARS represents a methodological innovation for researching the impacts of rainfall on permafrost environments.

54 ENVIRONMENTAL SCIENCES↗

Application of two-component phase Doppler interferometry to the measurement of particle size, mass flux, and velocities in two-phase flows

Two-component phase Doppler interferometry is described, along with its application for the spatially-resolved measurements of particle size, velocity, and mass flux as well as continuous phase velocity. This technique measures single particle events at a point in the flow; droplet size is deduced from the spatial phase shift of the Doppler signal. Particle size influence and discrimination of continuous and discrete phases are among issues covered. Applications are presented for four cases: an example of the discrimination of two sizes of glass beads in a jet flow; a demonstration of the discrimination of phases in a spray field; an assessment of atomizer symmetry with respect to fuel distribution; and a characterization of a droplet field in a reacting spray. It is noted that the above technique is especially powerful in delineating droplet interactions in the swirling, complex flows typical of realistic systems.

Mcdonell, V. G.↗

Tectonism and volcanism of the Tharsis region of Mars

The Tharsis region of Mars, where the planet's largest shield volcanoes are located, is at the center of a fracture system that extends over almost half the surface of the planet. The fractures are tensional and aligned roughly radial to Tharsis and form two opposing fanlike arrangements that converge on the line of the Tharsis volcanoes. The fractures are attributed to a broad asymmetric updoming of the Martian crust centered to the southeast of the volcano line. Formation of the dome took place before the formation of the shield volcanoes. The location of the shields was controlled by the fractures, and volcano formation may have reactivated some of the fractures. The updoming, thought to result from mantle convection, separates eras of different volcanism and appears to have been a discrete and unique event in the history of Mars.

Carr, M. H.↗

Translating MAPGEN to ASPEN for MER

This software translates MAPGEN (Europa and APGEN) domains to ASPEN, and the resulting domain can be used to perform planning for the Mars Exploration Rover (MER). In other words, this is a conversion of two distinct planning languages (both declarative and procedural) to a third (declarative) planning language in order to solve the problem of faithful translation from mixed-domain representations into the ASPEN Modeling Language. The MAPGEN planning system is an example of a hybrid procedural/declarative system where the advantages of each are leveraged to produce an effective planner/scheduler for MER tactical planning. The adaptation of the planning system (ASPEN) was investigated, and, with some translation, much of the procedural knowledge encoding is amenable to declarative knowledge encoding. The approach was to compose translators from the core languages used for adapting MAGPEN, which consists of Europa and APGEN. Europa is a constraint- based planner/scheduler where domains are encoded using a declarative model. APGEN is also constraint-based, in that it tracks constraints on resources and states and other variables. Domains are encoded in both constraints and code snippets that execute according to a forward sweep through the plan. Europa and APGEN communicate to each other using proxy activities in APGEN that represent constraints and/or tokens in Europa. The composition of a translator from Europa to ASPEN was fairly straightforward, as ASPEN is also a declarative planning system, and the specific uses of Europa for the MER domain matched ASPEN s native encoding fairly closely. On the other hand, translating from APGEN to ASPEN was considerably more involved. On the surface, the types of activities and resources one encodes in APGEN appear to match oneto- one to the activities, state variables, and resources in ASPEN. But, when looking into the definitions of how resources are profiled and activities are expanded, one sees code snippets that access various information available during planning for the moment in time being planned to decide at the time what the appropriate profile or expansion is. APGEN is actually a forward (in time) sweeping discrete event simulator, where the model is composed of code snippets that are artfully interleaved by the engine to produce a plan/schedule. To solve this problem, representative code is simulated as a declarative series of task expansions. Predominantly, three types of procedural models were translated: loops, if statements, and code blocks. Loops and if statements were handled using controlled task expansion, and code blocks were handled using constraint networks that maintained the generation of results based on what the order of execution would be for a procedural representation. One advantage with respect to performance for MAPGEN is the use of APGEN s GUI. This GUI is written in C++ and Motif, and performs very well for large plans.

Rabideau, Gregg R.↗

Detection of elliptical polarization and mode splitting in discrete Schumann resonance excitations

Elliptical polarization and mode splitting have been detected in the magnetic component of discrete, well defined Schumann resonance excitations. These ELF excitations, which are large electromagnetic transients of approximately 1 s duration, are called Q-bursts and typically occur every few minutes. They are believed to be the signature of the impulsive excitation of the earth-ionosphere cavity by ultra-large lightning currents. In this paper the magnetic polarization and spectral characteristics of four large Q-bursts are examined in detail using a new analysis technique. Two events display right-hand polarization and two display left-hand polarization. The theoretical polarization properties of the central and side multiplets of the Schumann resonances are used to define a local orthogonal coordinate system in the measurement frame in which these components may be separated. Maximum entropy spectrums computed separately for what are identified to be the central and side multiplets in this coordinate system show distinctly different eigenfrequencies for the lowest mode near 7.5 Hz. For the limited number of cases examined the magnitude of the line splitting detected using this technique is roughly 1.4-1.8 Hz, larger by nearly a factor of two than theoretical or observed values of the splitting previously reported. The frequencies of the side multiplets may lie either above or below the frequency of the central multiplet.

Sentman, D. D.↗