Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “sequencing test”

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 1,675 records · Page 93

StructuredFuzzer: Fuzzing Structured Text-Based Control Logic Applications

Rigorous testing methods are essential for ensuring the security and reliability of industrial controller software. Fuzzing, a technique that automatically discovers software bugs, has also proven effective in finding software vulnerabilities. Unsurprisingly, fuzzing has been applied to a wide range of platforms, including programmable logic controllers (PLCs). However, current approaches, such as coverage-guided evolutionary fuzzing implemented in the popular fuzzer American Fuzzy Lop Plus Plus (AFL++), are often inadequate for finding logical errors and bugs in PLC control logic applications. They primarily target generic programming languages like C/C++, Java, and Python, and do not consider the unique characteristics and behaviors of PLCs, which are often programmed using specialized programming languages like Structured Text (ST). Furthermore, these fuzzers are ill suited to deal with complex input structures encapsulated in ST, as they are not specifically designed to generate appropriate input sequences. This renders the application of traditional fuzzing techniques less efficient on these platforms. To address this issue, this paper presents a fuzzing framework designed explicitly for PLC software to discover logic bugs in applications written in ST specified by the IEC 61131-3 standard. The proposed framework incorporates a custom-tailored PLC runtime and a fuzzer designed for the purpose. We demonstrate its effectiveness by fuzzing a collection of ST programs that were crafted for evaluation purposes. We compare the performance against a popular fuzzer, namely, AFL++. The proposed fuzzing framework demonstrated its capabilities in our experiments, successfully detecting logic bugs in the tested PLC control logic applications written in ST. On average, it was at least 83 times faster than AFL++, and in certain cases, for example, it was more than 23,000 times faster.

47 OTHER INSTRUMENTATION↗

Multi-point release mechanism

A multi-point release mechanism used on the communications technology satellite. The mechanism is designed to jettison one large panel and to release a second panel; both panels have independent multi-point attachments to the spacecraft and require to be released in sequence. The solar array is stowed concertina fashion under 2 psi pressure to ensure that no movement occurs between the stowed folds of the array during the launch. One pair of linear pyrotechnic-actuators releases both the JBSA and the pressure plate via the release mechanism. This release mechanism has successfully passed qualification level vibration launch and thermal environment tests and has accumulated to date close to 30 successful releases.

Groskopfs, E.↗

Hot interstellar tunnels. I - Simulation of interacting supernova remnants

It has been suggested that intersecting supernova remnants (SNRs) contribute to the production of gas at about 1 million K which is apparently observed in the interstellar medium. This suggestion is evaluated through a fairly detailed numerical simulation that is used to investigate the large-scale three-dimensional behavior of a test section of the gaseous galactic disk under the influence of evolving and interacting SNRs. Models for a noninteracting 'isolated' SNR and the ambient medium are discussed, pairs of interacting remnants are examined along with the mechanism by which their central cavities can become connected, and the evolution of larger aggregates of SNRs is analyzed. Results are presented for a sequence of simulations having the same values of supernova blast energy, ambient ion density, and isolated SNR lifetime, but different supernova rates per unit volume. These results show that SNR intersections can quickly generate large volumes, or 'tunnels', of very hot gas from a cold starting medium under conservative and reasonable assumptions, the most important of which are that SNRs can be treated as spheres and mass motions can be treated implicitly.

Smith, B. W.↗

Optimum equipment maintenance/replacement policy. Part 2: Markov decision approach

Dynamic programming was utilized as an alternative optimization technique to determine an optimal policy over a given time period. According to a joint effect of the probabilistic transition of states and the sequence of decision making, the optimal policy is sought such that a set of decisions optimizes the long-run expected average cost (or profit) per unit time. Provision of an alternative measure for the expected long-run total discounted costs is also considered. A computer program based on the concept of the Markov Decision Process was developed and tested. The program code listing, the statement of a sample problem, and the computed results are presented.

Charng, T.↗

Laser-initiated ordnance for air-to-air missiles

McDonnell Douglas Missile Systems Company (MDMSC) has developed a laser ignition subsystem (LIS) for air-to-air missile applications. The MDMSC subsystem is designed to activate batteries, unlock fins, and sequence propulsion system events. The subsystem includes Pyro Zirconium Pump (PZP) lasers, mechanical Safe & Arm, fiber-optic distribution system, and optically activated pyrotechnic devices (initiators, detonators, and thermal batteries). The LIS design has incorporated testability features for the laser modules, drive electronics, fiber-optics, and pyrotechnics. Several of the LIS have been fabricated and have supported thermal battery testing, integral rocket ramjet testing, and have been integrated into integral rocket ramjet flight test vehicles as part of the flight control subsystem.

Sumpter, David R.↗

Predictive Skill of Deep Learning Models Trained on Limited Sequence Data

In this report we investigate the utility of one-dimensional convolutional neural network (CNN) models in epidemiological forecasting. Deep learning models, especially variants of recurrent neural networks (RNNs) have been studied for influenza forecasting, and have achieved higher forecasting skill compared to conventional models such as ARIMA models. In this study, we adapt two neural networks that employ one-dimensional temporal convolutional layers as a primary building block temporal convolutional networks and simple neural attentive meta-learner for epidemiological forecasting and test them with influenza data from the US collected over 2010-2019. We find that epidemiological forecasting with CNNs is feasible, and their forecasting skill is comparable to, and at times, superior to, RNNs. Thus CNNs and RNNs bring the power of nonlinear transformations to purely data-driven epidemiological models, a capability that heretofore has been limited to more elaborate mechanistic/compartmental disease models.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

Isolation and characterization of a novel calmodulin-binding protein from potato

Tuberization in potato is controlled by hormonal and environmental signals. Ca(2+), an important intracellular messenger, and calmodulin (CaM), one of the primary Ca(2+) sensors, have been implicated in controlling diverse cellular processes in plants including tuberization. The regulation of cellular processes by CaM involves its interaction with other proteins. To understand the role of Ca(2+)/CaM in tuberization, we have screened an expression library prepared from developing tubers with biotinylated CaM. This screening resulted in isolation of a cDNA encoding a novel CaM-binding protein (potato calmodulin-binding protein (PCBP)). Ca(2+)-dependent binding of the cDNA-encoded protein to CaM is confirmed by (35)S-labeled CaM. The full-length cDNA is 5 kb long and encodes a protein of 1309 amino acids. The deduced amino acid sequence showed significant similarity with a hypothetical protein from another plant, Arabidopsis. However, no homologs of PCBP are found in nonplant systems, suggesting that it is likely to be specific to plants. Using truncated versions of the protein and a synthetic peptide in CaM binding assays we mapped the CaM-binding region to a 20-amino acid stretch (residues 1216-1237). The bacterially expressed protein containing the CaM-binding domain interacted with three CaM isoforms (CaM2, CaM4, and CaM6). PCBP is encoded by a single gene and is expressed differentially in the tissues tested. The expression of CaM, PCBP, and another CaM-binding protein is similar in different tissues and organs. The predicted protein contained seven putative nuclear localization signals and several strong PEST motifs. Fusion of the N-terminal region of the protein containing six of the seven nuclear localization signals to the reporter gene beta-glucuronidase targeted the reporter gene to the nucleus, suggesting a nuclear role for PCBP.

NASA Discipline Plant Biology↗

PERCEPTIVE: an R shiny $\underline{p}$ipelin$\underline{e}$ for the p$\underline{r}$edi$\underline{c}$tion of $\underline{ep}$igenetic modula$\underline{t}$ors $\underline{i}$n no$\underline{v}$el sp$\underline{e}$cies

Epigenetic processes are central to regulating gene expression, genome stability, and metabolic function across the tree of life; yet, their roles remain underexplored in microalgae, especially as new species continue to be identified and characterized. This is likely due to the cumbersome nature and species-dependent attributes of epigenetic wet-lab methodologies, which preclude the rapid identification of epigenetic modifications and modulators. However, there is high conservation of epigenetic processes from budding yeast to humans; in many cases, one may infer how behavior and function are epigenetically regulated in novel species by identifying epigenetic modulators, or the proteins responsible for conferring epigenetic modifications. Here, to this end, we have developed a graphical software package, titled PERCEPTIVE (pipeline for the prediction of epigenetic modulators in novel species). This platform solely uses the genomic sequence of an algal species, and preexisting information from other model organisms, to predict the epigenetic modulators and associated modifications in algae. Predictions are presented to the user in a graphical interface, which provides literature-based interpretation of results, enabling users to quickly understand potential epigenetic processes in their algal species of interest and plan follow-up experiments. To test PERCEPTIVE, we predicted epigenetic modulators in several feedstock candidate algae species. To validate these predictions, wet-lab studies were performed, including mass spectrometry; these results underscore the high accuracy of PERCEPTIVE predictions. Overall, PERCEPTIVE represents a powerful in silico tool for the research and manipulation of algal species, which does not require a priori knowledge of epigenetics and is accessible to a broad set of investigators.

59 BASIC BIOLOGICAL SCIENCES↗

High-precision inversion of dynamic radiography using hydrodynamic features

While radiography is routinely used to probe complex, evolving density fields in research areas ranging from materials science to shock physics to inertial confinement fusion and other national security applications, complications resulting from noise, scatter, complex beam dynamics, etc. prevent current methods of reconstructing density from being accurate enough to identify the underlying physics with sufficient confidence. In this work, we show that using only features that are robustly identifiable in radiographs and combining them with the underlying hydrodynamic equations of motion using a machine learning approach of a conditional generative adversarial network (cGAN) provides a new and effective approach to determine density fields from a dynamic sequence of radiographs. In particular, we demonstrate the ability of this method to outperform a traditional, direct radiograph to density reconstruction in the presence of scatter, even when relatively small amounts of scatter are present. Our experiments on synthetic data show that the approach can produce high quality, robust reconstructions. We also show that the distance (in feature space) between a testing radiograph and the training set can serve as a diagnostic of the accuracy of the reconstruction.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Coupling Metabolic Source Isotopic Pair Labeling and Genome Wide Association for Metabolite and Gene Annotation in Plants (Final Technical Report)

In this project, we applied our labeling pipeline to Arabidopsis and sorghum by feeding tissues with isotopically labeled versions of commercially available amino acids to identify all metabolite features that incorporate the label. In sorghum, we fed five accessions, sampled across the diversity of sorghum, to identify the precursor-of-origin for metabolites that vary between accessions as well as those that may be missing from a single reference genotype. This provided us with precursor-of-origin annotation for thousands of unknown metabolites. We then used GWA to map genes responsible for the synthesis of precursor-of-origin classified metabolites. For sorghum leaf and root ducible metabolites, we performed untargeted metabolomics on leaf and root tissues from 300 diverse genotyped sorghum inbred lines. The amino acid precursor-of-origin metabolite library were then used to identify the corresponding metabolites in the GWA data sets and to identify novel gene-metabolite associations. Finally, we utilized existing and newly generated sequenced EMS mutants of sorghum to validate the predicted gene-metabolite relationships that our labelling analysis identified. In parallel, we conducted similar feeding experiments in Arabidopsis to categorize metabolites based on precursor-of-origin, identify those that vary across our existing Arabidopsis metabolite GWA dataset, and identify genes required for the synthesis of each metabolite. To provide an independent test of gene annotation and pathway involvement, we tested the GWA gene-metabolite associations in Arabidopsis by analyzing the metabolic phenotypes of gene knockouts. Genes of particular interest from both sorghum and Arabidopsis were studied in detail by directly measuring the activity of the corresponding enzymes following heterologous expression. In summary, this work classified as-yet-unknown amino acid-derived metabolites and identified genes involved in their production generated through “omics” technologies. This information was used to validate gene function and identify new metabolism in Arabidopsis and sorghum.

09 BIOMASS FUELS↗

JPL Energy Consumption Program (ECP) documentation: A computer model simulating heating, cooling and energy loads in buildings

The engineering manual provides a complete companion documentation about the structure of the main program and subroutines, the preparation of input data, the interpretation of output results, access and use of the program, and the detailed description of all the analytic, logical expressions and flow charts used in computations and program structure. A numerical example is provided and solved completely to show the sequence of computations followed. The program is carefully structured to reduce both user's time and costs without sacrificing accuracy. The user would expect a cost of CPU time of approximately $5.00 per building zone excluding printing costs. The accuracy, on the other hand, measured by deviation of simulated consumption from watt-hour meter readings, was found by many simulation tests not to exceed + or - 10 percent margin.

Lansing, F. L.↗

KIPSE1: A Knowledge-based Interactive Problem Solving Environment for data estimation and pattern classification

A knowledge-based interactive problem solving environment called KIPSE1 is presented. The KIPSE1 is a system built on a commercial expert system shell, the KEE system. This environment gives user capability to carry out exploratory data analysis and pattern classification tasks. A good solution often consists of a sequence of steps with a set of methods used at each step. In KIPSE1, solution is represented in the form of a decision tree and each node of the solution tree represents a partial solution to the problem. Many methodologies are provided at each node to the user such that the user can interactively select the method and data sets to test and subsequently examine the results. Otherwise, users are allowed to make decisions at various stages of problem solving to subdivide the problem into smaller subproblems such that a large problem can be handled and a better solution can be found.

Han, Chia Yung↗

Mars Surveyor Program 2001 Mission Overview

The Mars Surveyor 2001 mission to Mars was initially a key element in the Mars sample return sequence of missions. A capable rover, carrying the Cornell Athena instruments would be placed on Mars to roam over several kilometers, select samples, and place them in a cache for return by a subsequent mission. Inevitably, budget constraints forced descopes. At one critical point, the landed payload consisted only of the HEDS (Human Exploration and Development of Space) payloads selected for testing environmental properties of the surface for future human exploration. Then Congress intervened and put back some of the funding that had been deleted. NASA next redefined the payload to include as many of the Athena instruments as possible, to be distributed between the lander deck and a Sojourner class rover. This payload would then be placed on a modified version of the Mars Polar Lander rather than on the much larger, and more expensive, lander that had been originally designed for the mission. With this functionality restored the '01 mission remains an important and pivotal element of the Mars Surveyor program. It completes the Mars Observer objectives with the gamma ray spectrometer mapping. This mission will largely complete the global characterization phase of Mars exploration and mark the beginning of focused surface exploration leading to return of the first samples and the search for evidence of past Martian life. MSP'01 also is the first mission in the combined Mars exploration strategy of the HEDS and Space Science Enterprises of NASA. This mission, and those to follow, will demonstrate technologies and collect environmental data that will provide the basis for a decision to send humans to Mars. The NASA exploration strategy for Mars includes orbiters, landers and rovers launched in 2001 and 2003 and a sample return mission to be launched in 2005, returning a sample by 2008. The purpose of the rovers is to explore and characterize sites on Mars. The 2003 and 2005 missions will select rocks, soil, and atmosphere for return to earth.

Saunders, R. Stephen↗

Improving Grasp Skills Using Schema Structured Learning

Abstract In the control-based approach to robotics, complex behavior is created by sequencing and combining control primitives. While it is desirable for the robot to autonomously learn the correct control sequence, searching through the large number of potential solutions can be time consuming. This paper constrains this search to variations of a generalized solution encoded in a framework known as an action schema. A new algorithm, SCHEMA STRUCTURED LEARNING, is proposed that repeatedly executes variations of the generalized solution in search of instantiations that satisfy action schema objectives. This approach is tested in a grasping task where Dexter, the UMass humanoid robot, learns which reaching and grasping controllers maximize the probability of grasp success.

Platt, Robert↗

The TRMM Multi-Satellite Precipitation Analysis (TMPA)

The Tropical Rainfall Measuring Mission (TRMM) Multi-satellite Precipitation Analysis (TMPA) is intended to provide a "best" estimate of quasi-global precipitation from the wide variety of modern satellite-borne precipitation-related sensors. Estimates are provided at relatively fine scales (0.25 deg x 0.25 deg. 3-h) in both real and post-real time to accommodate a wide range of researchers. However, the errors inherent in the finest scale estimates are large. The most successful use of the TMPA data is when the analysis takes advantage of the fine-scale data to create time/space averages appropriate to the user fs application. We review the conceptual basis for the TMPA, summarize the processing sequence, and focus on two new activities. First, a recent upgrade for the real-time version incorporates several additional satellite data sources and employs monthly climatological adjustments to approximate the bias characteristics of the research quality post-real-time product. Second, an upgrade for the research quality post-real-time TMPA from Versions 6 to 7 (in beta test at press time) is designed to provide a variety of improvements that increase the list of input data sets and correct several issues. Future enhancements for the TMPA will include improved error estimation, extension to higher latitudes, and a shift to a Lagrangian time interpolation scheme.

Huffman, George J.↗

Updates on HRF Payloads Operations in Columbus ATCS

The NASA developed Human Research Facility 1 (HRF1) and Human Research Facility (HRF2) experiment racks have been operating in the European Space Agency (ESA) Columbus module of the International Space Station (ISS) since Summer 2008. The two racks are of the same design. Since the start of operations, unexpected pressure spikes were observed in the Columbus module's thermal-hydraulic system during the racks activation sequence. The root cause of these spikes was identified in the activation command sequence in the Rack Interface Controller (RIC), which controls the flow of thermal-hydraulic system fluid through the rack. A new Common RIC Software (CRS) release fixed the bug and was uploaded on both racks in late 2009. This paper gives a short introduction to the topic, describes the Columbus module countermeasures to mitigate the spikes, describes the ground validation test of the new software, and describes the flight checks performed before and after the final upload. Finally, the new on-orbit test designed to further simplify the racks hydraulic management is presented.

DePalo, Savino↗

Stratosphere Conditions Inactivate Bacterial Endospores from a Mars Spacecraft Assembly Facility

Every spacecraft sent to Mars is allowed to land viable microbial bioburden, including hardy endospore-forming bacteria resistant to environmental extremes. Earth’s stratosphere is severely cold, dry, irradiated and oligotrophic; it can be used as a stand-in location for predicting how stowaway microbes might respond to the Martian surface. We launched E-MIST, a high altitude NASA balloon payload on 10 Oct 2015 carrying known quantities of viable Bacillus pumilus SAFR-032 (4.07 x107 spores per sample), a radiation-tolerant strain collected from a spacecraft assembly facility. The payload spent 8 hours at ~32 km above sea level exposing bacterial spores to the stratosphere. We found that within 120 and 240 min, spore viability was significantly reduced by 2 and 4 orders of magnitude, respectively. By 480 min, < 0.001% of spores carried to the stratosphere remained viable. Our balloon flight results predict that most terrestrial bacteria would be inactivated within the first Sol on Mars if contaminated spacecraft surfaces receive direct sunlight. Unfortunately, an instrument malfunction prevented the acquisition of ultraviolet (UV) light measurements during our balloon mission. To make up for the absence of radiometer data, we calculated a stratosphere UV model and also conducted ground tests with a 271.1 nm UVC light source (0.5 W/m2), observing a similarly rapid inactivation rate when using a lower number of contaminants (640 spores per sample). The starting concentration of spores and micro-configuration on hardware surfaces appeared to influence survivability outcomes in both experiments. With the relatively few spores that survived the stratosphere, we performed a re-sequencing analysis and identified 3 single nucleotide polymorphisms compared to unexposed controls. It is therefore plausible that bacteria enduring radiation-rich environments (e.g., Earth’s upper atmosphere, interplanetary space, or the surface of Mars) may be pushed in evolutionarily consequential directions.

Mars↗

Understanding Structure in Line-Driven Stellar Winds Using Ultraviolet Spectropolarimetry in the Time Domain

The most massive stars are thought to lose a significant fraction of their mass in a steady wind during the main-sequence and blue supergiant phases. This in turn sets the stage for their further evolution and eventual supernova, and preconditions the surrounding medium for all following events, with consequences for ISM energization, chemical enrichment, and dust formation. Understanding these processes requires accurate observational constraints on the mass-loss rates of the most luminous stars, which can also be used to test theories of stellar wind driving. In the past, mass-loss rates have been characterized via collisional emission processes such as optical Hα and free-free radio emission, but these so-called “density squared” diagnostics require correction in the presence of widespread clumping. Recent observational and theoretical evidence points to the likelihood of a ubiquitously high level of such clumping in hot-star winds, but quantifying its effects requires a deeper understanding of the complex dynamics of radiatively driven winds and their stochastic instabilities. Furthermore, large-scale structures initiating in surface anisotropies and propagating throughout the wind can also affect wind driving and alter mass-loss diagnostics. Time series spectroscopy of high resonance-line opacity in the UV, capable of high resolution and high signal-to-noise, are required to better understand these complex dynamics, and more accurately determine mass-loss rates. The proposed Polstar mission (Scowen et al. 2022, this volume) provides the necessary resolution at the Sobolev (∼10 km s −1 ) or sound-speed (∼20 km s −1 ) scale, for over three dozen bright galactic massive stars with signal-to noise an order of magnitude above that of the celebrated MEGA campaign (Massa et al. 1995) of the International Ultraviolet Explorer (IUE), via continuous observations that track propagating structures through the winds in real time. Supporting geometric constraints are provided by the polarimetric capabilities present in all the datasets of such a mission.

Polstar – NASA MIDEX↗