Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “state machine”

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 343 records · Page 19
All sourcesNASA NTRSDOE OSTI
NASA NTRS1996

Redesigned Gas Mass Flow Sensors for Space Shuttle Pressure Control System and Fuel Cell System

A program was conducted to determine if a state of the art micro-machined silicon solid state flow sensor could be used to replace the existing space shuttle orbiter flow sensors. The rather aggressive goal was to obtain a new sensor which would also be a multi-gas sensor and operate over a much wider flow range and with a higher degree of accuracy than the existing sensors. Two types of sensors were tested. The first type was a venturi throat design and the second was a bypass design. The accuracy of venturi design was found to be marginally acceptable. The bypass sensor was much better although it still did not fully reach the accuracy goal. Two main problems were identified which would require further work.

Source record↗
NASA NTRS2003

New Pulsars from Arecibo Drift Scan Searches

We report new pulsars discovered in drift-scan data taken by two collaborations (Berkeley/Cornell and STScI/NAIC) during the latter stages of the Arecibo upgrade period. The data were taken with the Penn State Pulsar Machine and are being processed on the COBRA cluster at Jodrell Bank. Processing is roughly 70% complete and has resulted in the detection of 10 new and 31 known pulsars, in addition to a number of pulsar candidates. The 10 new pulsars include one pulsar with a spin-period of 55 ms and another with a spin period of 5.8 ms. At the completion of the processing, we expect to have discovered roughly 20 new pulsars. All new pulsars are being subjected to a program of followup observations at Arecibo to determine spin and astrometric parameters.

McLaughlin, M. A.↗
NASA NTRS2003

Planets Around Neutron Stars

The objective of this proposal was to continue investigations of neutron star planetary systems in an effort to describe and understand their origin, orbital dynamics, basic physical properties and their relationship to planets around normal stars. This research represents an important element of the process of constraining the physics of planet formation around various types of stars. The research goals of this project included long-term timing measurements of the planets pulsar, PSR B1257+12, to search for more planets around it and to study the dynamics of the whole system, and sensitive searches for millisecond pulsars to detect further examples of old, rapidly spinning neutron stars with planetary systems. The instrumentation used in our project included the 305-m Arecibo antenna with the Penn State Pulsar Machine (PSPM), the 100-m Green Bank Telescope with the Berkeley- Caltech Pulsar Machine (BCPM), and the 100-m Effelsberg and 64-m Parkes telescopes equipped with the observatory supplied backend hardware.

Wolszczan, Alexander↗
NASA NTRS2011

Checking Flight Rules with TraceContract: Application of a Scala DSL for Trace Analysis

Typically during the design and development of a NASA space mission, rules and constraints are identified to help reduce reasons for failure during operations. These flight rules are usually captured in a set of indexed tables, containing rule descriptions, rationales for the rules, and other information. Flight rules can be part of manual operations procedures carried out by humans. However, they can also be automated, and either implemented as on-board monitors, or as ground based monitors that are part of a ground data system. In the case of automated flight rules, one considerable expense to be addressed for any mission is the extensive process by which system engineers express flight rules in prose, software developers translate these requirements into code, and then both experts verify that the resulting application is correct. This paper explores the potential benefits of using an internal Scala DSL for general trace analysis, named TRACECONTRACT, to write executable specifications of flight rules. TRACECONTRACT can generally be applied to analysis of for example log files or for monitoring executing systems online.

temporal logic↗
NASA NTRS2012

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors

Runtime verification is the process of checking a property on a trace of events produced by the execution of a computational system. Runtime verification techniques have recently focused on parametric specifications where events take data values as parameters. These techniques exist on a spectrum inhabited by both efficient and expressive techniques. These characteristics are usually shown to be conflicting - in state-of-the-art solutions, efficiency is obtained at the cost of loss of expressiveness and vice-versa. To seek a solution to this conflict we explore a new point on the spectrum by defining an alternative runtime verification approach.We introduce a new formalism for concisely capturing expressive specifications with parameters. Our technique is more expressive than the currently most efficient techniques while at the same time allowing for optimizations.

state machines↗
NASA NTRS2013

Wear and Reactivity Studies of Melt infiltrated Ceramic Matrix Composite

As interest grows in the use of ceramic matrix composites (CMCs) for critical gas turbine engine components, the effects of the CMCs interaction with the adjoining structure needs to be understood. A series of CMC/material couples were wear tested in a custom elevated temperature test rig and tested as diffusion couples, to identify interactions. Specifically, melt infiltrated silicon carbide/silicon carbide (MI SiC/SiC) CMC was tested in combination with a nickel-based super alloy, Waspaloy, a thermal barrier coating, Yttria Stabilized Zirconia (YSZ), and a monolithic ceramic, silicon nitride (Si3N4). To make the tests more representative of actual hardware, the surface of the CMC was kept in the as-received state (not machined) with the full surface features/roughness present. Test results include: scanning electron microscope characterization of the surfaces, micro-structural characterization, and microprobe analysis.

Jarmon, David C.↗
NASA NTRS2014

Data Automata in Scala

The field of runtime verification has during the last decade seen a multitude of systems for monitoring event sequences (traces) emitted by a running system. The objective is to ensure correctness of a system by checking its execution traces against formal specifications representing requirements. A special challenge is data parameterized events, where monitors have to keep track of the combination of control states as well as data constraints, relating events and the data they carry across time points. This poses a challenge wrt. efficiency of monitors, as well as expressiveness of logics. Data automata is a form of automata where states are parameterized with data, supporting monitoring of data parameterized events. We describe the full details of a very simple API in the Scala programming language, an internal DSL (Domain-Specific Language), implementing data automata. The small implementation suggests a design pattern. Data automata allow transition conditions to refer to other states than the source state, and allow target states of transitions to be inlined, offering a temporal logic flavored notation. An embedding of a logic in a high-level language like Scala in addition allows monitors to be programmed using all of Scala's language constructs, offering the full flexibility of a programming language. The framework is demonstrated on an XML processing scenario previously addressed in related work.

runtime verification↗
NASA NTRSDate not supplied

MESA: Scalable Runtime Verification Tool Using Actors

This work presents our runtime verification approach implemented by the tool MESA (MEssage-based System Analysis) which allows for using concurrent monitors to check for properties specified in linear temporal logic and finite state machines.We employ the actor programing model to implement MESA where monitors are captured by concurrent actors that communicate via messaging. The paper also presents a case study where MESA is used to monitor flights in National Airspace System of United States using live air traffic data stream. The case study which motivated this work in the first place shows that our approach is effective.We also perform empirical study by conducting experiments using monitoring systems with different numbers of concurrent monitors and different layers of indexing.This paper describes our experiments, evaluates our results,and discusses challenges faced during the study. The evaluation shows our approach is scalable.

runtime verification, concurrency, actor programin↗
DOE OSTI2024

Improved machine learning algorithm for predicting ground state properties

Finding the ground state of a quantum many-body system is a fundamental problem in quantum physics. In this work, we give a classical machine learning (ML) algorithm for predicting ground state properties with an inductive bias encoding geometric locality. The proposed ML model can efficiently predict ground state properties of an n-qubit gapped local Hamiltonian after learning from only $\mathcal{O}$(log(n)) data about other Hamiltonians in the same quantum phase of matter. This improves substantially upon previous results that require $\mathcal{O}$(n c ) data for a large constant c. Furthermore, the training and prediction time of the proposed ML model scale as $\mathcal{O}$(n log n) in the number of qubits n. Numerical experiments on physical systems with up to 45 qubits confirm the favorable scaling in predicting ground state properties using a small training dataset.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2023

Machine Learning Downscaling of SoilMERGE in the United States Southern Great Plains

SoilMERGE (SMERGE) is a root-zone soil moisture (RZSM) product that covers the entire continental United States and spans 1978 to 2019. Machine learning techniques, Random Forest (RF), eXtreme Gradient Boosting (XGBoost), and Gradient Boost (GBoost) downscaled SMERGE to spatial resolutions straddling the field scale domain (100 to 3000 m). Study area was northern Oklahoma and southern Kansas. The coarse resolution of SMERGE (0.125 degree) limits this product’s utility. To validate downscaled results in situ data from four sources were used that included: United States Department of Energy Atmospheric Radiation Measurement (ARM) observatory, United States Climate Reference Network (USCRN), Soil Climate Analysis Network (SCAN), and Soil moisture Sensing Controller and oPtimal Estimator (SoilSCAPE). In addition, RZSM retrievals from NASA’s Airborne Microwave Observatory of Subcanopy and Surface (AirMOSS) campaign provided a nearly spatially continuous comparison. Three periods were examined: era 1 (2016 to 2019), era 2 (2012 to 2015), and era 3 (2003 to 2007). During eras 1 and 2, RF outperformed XGBoost and GBoost, whereas during era 3 no model dominated. Performance was better during eras 1 and 2 as opposed to the pre-L band era 3. Improvements across all eras, regions, and models realized from downscaling included an increase in correlation from 0.03 to 0.42 and a decrease in ub RMSE from -0.0005 to -0.0118 m 3 /m 3 . This study demonstrates the feasibility of SMERGE downscaling opening the prospect for the development of a long-term RZSM dataset at a more desirable field-scale resolution with the potential to support diverse hydrometeorological and agricultural applications.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2019

Machine Learning of Commercial and Residential Load Components in Northwestern United States

The impacts of weather attributes on commercial and residential electricity demands and their components in the northwestern United States were examined. Two machine learning methods, regression tree (RT), and random forest (RF), were integrated and compared. Both RT and RF models provide reliable prediction of commercial cooling load. RF models particularly yield higher accuracy with reduced overfitting.

Zhou, Huifen↗