Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Requirement analysis”

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 217 records · Page 12

Bridging the Gap Between Requirements and Model Analysis: Evaluation on Cyber-Physical Challenge Problems

We present a framework for introducing high-level requirement specifications in the automated analysis of dataflow models. By integrating the FRET requirements elicitation tool with the CoCoSim analyzer, our framework enables the analysis of hierarchical Simulink models against requirements written in a restricted English language. More precisely, we support: automatic extraction of Simulink model information and association of high-level requirements with target model signals and components; translation of temporal logic formulas into synchronous dataflow CoCoSpec specifications as well as Simulink monitors; and interpretation of counterexamples produced by the analysis both at the requirement and model level. The features provided by our framework are generic and can be used to integrate other requirements elicitation and Simulink/Lustre analysis tools. We report on the lessons learned from the application of our approach to the Lockheed Martin Cyber-Physical, aerospace-inspired challenge problems. For the analysis, we used the Kind2, Zustre, and Simulink Design Verifier (SLDV) tools.

Simulink↗

Time Correlations from Steady-State Expectation Values

Recovering properties of correlation functions is typically challenging. On the one hand, experimentally, it requires measurements with a temporal resolution finer than the system’s dynamics. On the other hand, analytical or numerical analysis requires solving the system evolution. Here, we use recent results of quantum metrology with continuous measurements to derive general lower bounds on the relaxation and second-order correlation times that are both easy to calculate and measure. These bounds are based solely on steady-state expectation values and their derivatives with respect to a system parameter, and can be readily extended to the autocorrelation of arbitrary observables. We validate our method on two examples of critical quantum systems: a critical driven-dissipative resonator, where the bound matches analytical results for the dynamics, and the infinite-range Ising model, where only the steady state is solvable, and thus the bound provides information beyond the reach of existing analytical approaches. Our results can be applied to the experimental characterization of ultrafast systems and to the theoretical analysis of many-body models whose dynamics are hard to compute.

Górecki, Wojciech [INFN, Pavia] (ORCID:00000001991↗

A survey of geographical information systems applications for the Earth Science and Applications Division, Space Sciences Laboratory, Marshall Space Flight Center

The purpose of this document is to introduce Geographical Information System (GIS) terminology and summarize interviews conducted with scientists in the Earth Science and Applications Division (ESAD). There is a growing need in ESAD for GIS technology. With many different data sources available to the scientists comes the need to be able to process and view these data in an efficient manner. Since most of these data are stored in vastly different formats, specialized software and hardware are needed. Several ESAD scientists have been using a GIS, specifically the Man-computer Interactive Data Access System (MCIDAS). MCIDAS can solve many of the research problems that arise, but there are areas of research that need more powerful tools; one such example is the multispectral image analysis which is described in this document. Given the strong need for GIS in ESAD, we recommend that a requirements analysis and implementation plan be developed using this document as a basis for further investigation.

Rickman, D.↗

Aerothermal Instrumentation Loads To Implement Aeroassist Technology in Future Robotic and Human Missions to MARS and Other Locations Within the Solar System

The strategy of NASA to explore space objects in the vicinity of Earth and other planets of the solar system includes robotic and human missions. This strategy requires a road map for technology development that will support the robotic exploration and provide safety for the humans traveling to other celestial bodies. Aeroassist is one of the key elements of technology planning for the success of future robot and human exploration missions to other celestial bodies. Measurement of aerothermodynamic parameters such as temperature, pressure, and acceleration is of prime importance for aeroassist technology implementation and for the safety and affordability of the mission. Instrumentation and methods to measure such parameters have been reviewed in this report in view of past practices, current commercial availability of instrumentation technology, and the prospects of improvement and upgrade according to the requirements. Analysis of the usability of each identified instruments in terms of cost for efficient weight-volume ratio, power requirement, accuracy, sample rates, and other appropriate metrics such as harsh environment survivability has been reported.

Parmar, Devendra S.↗

Time correlations from steady-state expectation values

Recovering properties of correlation functions is typically challenging. On one hand, experimentally, it requires measurements with a temporal resolution finer than the system's dynamics. On the other hand, analytical or numerical analysis requires solving the system evolution. Here, we use recent results of quantum metrology with continuous measurements to derive general lower bounds on the relaxation and second-order correlation times that are both easy to calculate and measure. These bounds are based solely on steady-state expectation values and their derivatives with respect to a control parameter, and can be readily extended to the autocorrelation of arbitrary observables. We validate our method on two examples of critical quantum systems: a critical driven-dissipative resonator, where the bound matches analytical results for the dynamics, and the infinite-range Ising model, where only the steady state is solvable and thus the bound provides information beyond the reach of existing analytical approaches. Our results can be applied to experimentally characterize ultrafast systems, and to theoretically analyze many-body models with dynamics that are analytically or numerically hard.

Górecki, Wojciech [INFN, Pavia]↗

Time correlations from steady-state expectation values

Recovering properties of correlation functions is typically challenging. On one hand, experimentally, it requires measurements with a temporal resolution finer than the system's dynamics. On the other hand, analytical or numerical analysis requires solving the system evolution. Here, we use recent results of quantum metrology with continuous measurements to derive general lower bounds on the relaxation and second-order correlation times that are both easy to calculate and measure. These bounds are based solely on steady-state expectation values and their derivatives with respect to a control parameter, and can be readily extended to the autocorrelation of arbitrary observables. We validate our method on two examples of critical quantum systems: a critical driven-dissipative resonator, where the bound matches analytical results for the dynamics, and the infinite-range Ising model, where only the steady state is solvable and thus the bound provides information beyond the reach of existing analytical approaches. Our results can be applied to experimentally characterize ultrafast systems, and to theoretically analyze many-body models with dynamics that are analytically or numerically hard.

Górecki, Wojciech [INFN, Pavia]↗

Guidance for Designing Safety into Urban Air Mobility: Hazard Analysis Techniques

The national airspace system is exceptionally safe, specifically in terms of commercial air traffic operations. The introduction of innovative aircraft (such as electric vertical takeoff and landing vehicles) undergoing novel operations (such as for an urban air passenger carrying mission) is a potential disruptor to the current means of regulating and ensuring the safety of air travel. The aviation industry and associated regulatory bodies are adapting their approaches to assuring system safety to enable these new paradigms. However, any system safety analysis requires that a hazard assessment be performed. In this work, we consider the Functional Hazard Assessment (FHA) and Systems Theoretic Process Analysis (STPA) techniques for hazard assessment and evaluate whether they can be used in a complementary fashion for regulatory approval purposes. We perform an FHA and an STPA on an electric vertical takeoff and landing (eVTOL) vehicle undergoing an urban air mobility (UAM) passenger carrying reference scenario and present excerpts of this analysis. We then draw parallels between the techniques and highlight elements where they naturally reinforce to each other’s results, specifically in the consideration of hazard severity with respect to flight phases, the design of hazard mitigations, and the applicability of the results to all types of regulatory approvals (e.g., type certification, operational approval, and crew training).

Mallory S Graydon↗

Evaluating FRI3D for Cost Savings in Fire Hazard Analysis at DOE Sites

A fire hazard analysis, required for many U.S. Department of Energy (DOE) facilities, is a complex, cumbersome, and costly process. Fire hazard analyses may be viewed as a checkbox, but ideally and in spirit with the DOE-STD-1066, the fire hazard analysis (FHA) should be a part of the workflow and used to help in modifications, maintenance, and improving operational safety. With current FHA development processes, it is both time and cost prohibitive for true integration. A tool called Fire Risk Investigation in 3D or FRI3D was developed under the DOE Light Water Reactor Sustainability program to simplify and automate many aspects of a fire probabilistic risk analysis for existing nuclear power plants. The FRI3D tool automates fire scenarios by combining approved fire simulation codes, U.S. Nuclear Regulatory Commission fire calculations methods, 3D modeling and visualization, and probabilistic risk analysis models into a single workflow supported with a user interface. FRI3D was initially designed for used in combination with a PRA, this case study, evaluated using FRI3D for a plant modification, determined the benefits that detailed fire modeling can have for U.S. Department of Energy facilities with or without a PRA model. It also looked at what tasks from DOE requirements could be reduced using the tool and what is needed to integrate fire hazard analysis into site workflow.

97 - MATHEMATICS AND COMPUTING↗

Improving Cyber Situational Understanding

Effective cybersecurity operations require the ability to analyze large amounts of information to assess security risks and formulate defensive strategies against adversaries. This has become more complex in recent years as the sprawl and interconnectivity of devices grows through implementation of virtualization, cloud computing, and Internet of Things (IoT). The amount of data and analysis required for effective cybersecurity command and control decisions far exceeds humans’ capacity to perform manually. We characterize the analysis problem as cyber situational understanding. The research presented to improve cyber situational understanding focuses on vulnerability analysis and threat intelligence. Regarding vulnerabilities, entities must analyze and plan work for between thousands and tens of thousands of software vulnerabilities annually. Entities heavily use network firewalls to limit vulnerability exposure. As a result, some of these vulnerabilities permit exposure to adversarial exploitation, whereas others are inaccessible and therefore present negligible risk of exploitation. Distinguishing between high and low risk software vulnerabilities requires a deep understanding of the vulnerability, network firewall protection, and characteristics of the targeted device. This problem is solved by extracting network service features from vulnerability data features using both machine-learning and natural language processing. Then, the network firewall topology is parsed to determine which vulnerabilities are reachable by adversaries. Ultimately, a state-based safety analysis ascertains which vulnerabilities are unsafe. A related vulnerability analysis problem occurs in cybersecurity operations when associating an entity’s hardware and software assets to public vulnerability databases. Assets often reveal hardware and software through installation artifacts and network service identification, and entities store these artifacts in inventory databases. However, software and hardware vendors apply a standard Common Platform Enumeration (CPE) naming convention when publicly reporting vulnerabilities. Associating these two datasets often requires many hours to days of manual inspection. The proposed solution automates the mapping approach of human analysts using fuzzy matching techniques, natural language processing, and, ultimately, machine learning to present a small set of recommendations for mapping the two datasets. The result significantly reduces human analysis time and reduces the occurrence of false positives in vulnerability notifications. Finally, cyber threat intelligence (CTI) requires associating cyber observable artifacts, such as IP addresses, URIs, and file hashes, with cyber threat tactics, techniques, and procedures. Unfortunately, most CTI data is compartmentalized across multiple organizations and cannot be shared due to the legal and reputational risk with cyber threat being associated with the entity. The approach to solving this problem inovlves using a distributed ledger with anonymous token spending and authentication. This allows a consortium of semi-trusted entities to share the workload of curating CTI for a threat sharing community’s cooperative benefit.

Huff, Philip↗

Microcracking of Materials for Space

The effect of thermal-cycling-induced microcracking in fiber-reinforced polymer matrix composites is studied. Specific attention is focused on microcrack density as a function of the number of thermal cycles, and the effect of microcracking on the dimensional stability of composite materials. Changes in laminate coefficient of thermal expansion (CTE) and laminate stiffness are of primary concern. Included in the study are materials containing four different Thornel fiber types: a PAN-based T50 fiber and three pitch-based fibers, P55, P75, and P120. The fiber stiffnesses range from 55 Msi to 120 Msi. The fiber CTE's range from -0.50 x 1O(exp -6)/degrees F to -0.80 x 10(exp -6)/degrees F. Also included are three matrix types: Fiberite's 934 epoxy, Amoco's ERL1962 toughened epoxy, and YLA's RS3 cyanate ester. The lamination sequences of the materials considered include a cross-ply configuration, [0/90](sub 2s), and two quasi-isotropic configurations, [0/+45/-45/90](sub s), and [0/+45/90/-45](sub s). The layer thickness of the materials range from a nominal 0.001 in. to 0.005 in. In addition to the variety of materials considered, three different thermal cycling temperature ranges are considered. These temperature ranges are +/-250 degrees F, +/-l5O degrees F, and +/-50 degrees F. The combination of these material and geometric parameters and temperature ranges, combined with thermal cycling to thousands of cycles, makes this one of the most comprehensive studies of thermal-cycling-induced microcracking to date. Experimental comparisons are presented by examining the effect of layer thickness, fiber type, matrix type, and thermal cycling temperature range on microcracking and its influence on the laminates. Results regarding layer thickness effects indicate that thin-layer laminates microcrack more severely than identical laminates with thick layers. For some specimens in this study, the number of microcracks in thin-layer specimens exceeds that in thick-layer specimens by more than a factor of two. Despite the higher number of microcracks in the thin-layer specimens, small changes in CTE after thousands of cycles indicate that the thin-layer specimens are relatively unaffected by the presence of these cracks compared to the thick-layer specimens. Results regarding fiber type indicate that the number of microcracks and the change in CTE after thousands of cycles in the specimens containing PAN-based fibers are less than in the specimens containing comparable stiffness pitch-based fibers. Results for specimens containing the different pitch-based fibers indicate that after thousands of cycles, the number of microcracks in the specimens does not depend on the modulus or CTE of the fiber. The change in laminate CTE does, however, depend highly on the stiffness and CTE of the fiber. Fibers with higher stiffness and more negative CTE exhibit the lowest change in laminate CTE as a result of thermal cycling. The overall CTE of these specimens is, however, more negative as a result of the more negative CTE of the fiber. Results regarding matrix type based on the +/-250 degree F temperature range indicate that the RS3 cyanate ester resin system exhibits the greatest resistance to microcracking and the least change in CTE, particularly for cycles numbering 3000 and less. Extrapolations to higher numbers of cycles indicate, however, that the margin of increased performance is expected to decrease with additional thermal cycling. Results regarding thermal cycling temperature range depend on the matrix type considered and the layer thickness of the specimens. For the ERL1962 resin system, microcrack saturation is expected to occur in all specimens, regardless of the temperature range to which the specimens are exposed. By contrast, the RS3 resin system demonstrates a threshold effect such that cycled to less severe temperature ranges, microcracking does not occur. For the RS3 specimens with 0.005 in. layer thickness, no microcracking or changes in CTE are observed in specimens cycled between +/-150 degree F or +/- 50 degree F. For the RS3 specimens with 0.002 in. layer thickness, no microcracking or changes in CTE are observed in specimens cycled between +/-50 degree F. Results regarding laminate stiffness indicate negligible change in laminate stiffness due to thermal cycling for the materials and geometries considered in this investigation. The study includes X-ray examination of the specimens, showing that cracks observed at the edge of the specimens penetrate the entire width of the specimen. Glass transition temperatures of the specimens are measured, showing that resin chemistry is not altered as a result of thermal cycling. Results are also presented based on a one-dimensional shear lag analysis developed in the literature. The analysis requires material property information that is difficult to obtain experimentally. Using limited data from the present investigation, material properties associated with the analysis are modified to obtain reasonable agreement with measured microcrack densities. Based on these derived material properties, the analysis generally overpredicts the change in laminate CTE. Predicted changes in laminate stiffness show reasonable correlation with experimentally measured values.

Brown, Timothy L.↗

Ramdb: The NASA Raman Spectral Database (version 1.00).

Given that, in most instances, minimal sample preparation is required and due to its contactless instrument design, Raman spectroscopy is one of the most versatile vibrational spectroscopic techniques for the chemical analysis of environmental and biological specimens. The diversity of applications of Raman spectroscopy ranges anywhere from art [1] to planetary science missions [2]. The advancement in the use of Raman spectroscopy in Solar System missions, notably in post-mission sample return analysis, requires a spectral library holding the broad range of specimens that could be found in Solar System sources. For this purpose, we have initiated the development of a Raman spectral database (Ramdb) at NASA Ames Research Center. Currently, the database includes experimental and theoretical Raman spectra of PAHs [3, 4], as well as laboratory Raman spectra of amino acids, carbon allotropes, minerals, and analogs relevance to Earth Sciences [5], Exobiology [6], Planetary [7], and Astrochemistry [8] to name just a few examples. Ramdb can be found on the web at www.astrochemistry.org/ramdb, where raw and processed Raman spectra can be downloaded in CSV format. The laboratory Raman spectra are measured using a laser Raman spectrometer (JASCO NRS-5500-532QRI). The Raman instrument is equipped with three excitation lasers, with wavelengths of 405, 532, and 785 nm. A clean silicon substrate is used as the internal standard for wavenumber calibration. Powdered samples were prepared (microscopic >10 um, grounded microscopic < 10 um) on glass slides. Some raw data exhibited a background signal arising as a combination of laser-induced fluorescence from the sample. To correct this background, we developed a Python pipeline that uses open-source Python libraries. Ramdb provides both raw and processed (using Python pipeline) data, which includes tabulated Raman shift transitions and other measurement details. The theoretical Raman band positions of PAHs (pyrene monomers and tetramer clusters) were computed using density functional theory (DFT) with the help of the Gaussian 16 suite of programs [9]. In the near future, Ramdb will serve as a repository of Raman spectral data from Laboratory Astrophysics and Planetary Science experiments involving the irradiation of organic compounds under simulated space and planetary conditions. In addition, online and offline tools will be developed for utilising the database for comparison to the user’s sample.

N Punnakayathil↗

Galileo spacecraft pointing accuracy analysis

This paper describes the analysis required to evaluate the pointing performance of the Galileo spacecraft science instruments and antenna. The main contribution lies in the development of the models needed for pointing analysis. Pointing control mechanisms of the science instruments, as well as the spacecraft autonomous attitude determination process and the pointing control mechanisms for the high gain antenna, are provided in order to identify the various error sources involved. A covariance analysis method is then used to obtain the pointing capabilities of the instruments and the antenna. The results are depicted in tabular form to compare the capabilities against the levied requirements.

Hayati, S. A.↗

Modular space station, phase B extension. Information management advanced development. Volume 4: Data processing assembly

The computation and logical functions which are performed by the data processing assembly of the modular space station are defined. The subjects discussed are: (1) requirements analysis, (2) baseline data processing assembly configuration, (3) information flow study, (4) throughput simulation, (5) redundancy study, (6) memory studies, and (7) design requirements specification.

Gerber, C. R.↗

Modeling of the Magnetosphere-Ionosphere-Atmosphere System

This grant covered the transition period between the ISTP/GGS main mission MAMI work (NAGW5-1097) to the extended mission of GGS/SolaxMax. During this period we concentrated on the following subjects: (1) Ionospheric modeling and in particular the coupling of the ionosphere and the magnetosphere require knowledge of the ionospheric conductances. We have an algorithm to derive these conductances from POLAR UVI or POLAR VIS images. The image analysis requires carefully calibrated measurements, separation of auroral brightness from scattered solar EUV and emissions caused by photoelectrons, and modeling of the auroral conditions, Under this grant we evaluated the various sources of uncertainty that contribute to the conductance calculation by comparing different model approaches and we conducted sensitivity studies. A joint modeling effort between our ionospheric models and a global MHD magnetospheric model with S. Slinker and J. Fedder lead to improved parameterizations for the MHD model. The predictions of that new model were validated using data from ground based instruments, POLAR UVI images, and DMSP satellites. These findings were presented at the GEM meeting in Snowmass, and at the Huntsville modeling workshop in Guntersville. A manuscript for publication is in preparation. A study to evaluate the thermospheric effects of large substorms and storms was con- ducted with the TIE-GCM model. Of particular interest are compositional changes of the thermosphere in the southern hemisphere. Southern hemisphere effects are stronger than those on the northern hemisphere because of the larger offset of the magnetic dipole from the rotational axis. These results were presented at the Huntsville modeling workshop in Guntersville.

Source record↗

Geometric requirements for multidisciplinary analysis of aerospace-vehicle design

The geometric requirements for creating surfaces and grids for multidisciplinary analysis and optimization of aerospace-vehicle designs are described. Geometric surface representations are outlined and compared. Directions for future designs are proposed. High-speed civil transport aircraft configurations are targeted to demonstrate the processes.

Smith, Robert E.↗

Solution of nonlinear multivariable constrained systems using a gradient projection digital algorithm that is insensitive to the initial state

Optimal digital control of nonlinear multivariable constrained systems was studied. The optimal controller in the form of an algorithm was improved and refined by reducing running time and storage requirements. A particularly difficult system of nine nonlinear state variable equations was chosen as a test problem for analyzing and improving the controller. Lengthy analysis, modeling, computing and optimization were accomplished. A remote interactive teletype terminal was installed. Analysis requiring computer usage of short duration was accomplished using Tuskegee's VAX 11/750 system.

Hargrove, A.↗

Flutter Analysis with Stabilized Finite Elements Based on the Linearized Frequency-Domain Approach

When designing and certifying aircraft, engineers must take into consideration aeroelastic effects such as flutter. Design and certification of a vehicle may require analysis of thousands of aeroelastic responses. Standard tools in the aerospace industry are based on linear aerodynamic models such as the doublet-lattice method, but these methods can be nonconservative in certain situations such as in the transonic regime. While computational fluid dynamics (CFD) is a higher fidelity alternative, the time-marching approach has a drastically increased computational cost compared to the linear aerodynamic methods. By taking advantage of the periodic nature of flutter, frequency-domain methods offer a more efficient alternative to time-marching CFD. In this work, a linearized frequency-domain method is implemented and verified in the stabilized finite-element solver in FUN3D. The linearized frequency-domain method is demonstrated and compared to other methods for traditional benchmark cases for computational aeroelasticity: the AGARD 445.6 wing, the Benchmark Supercritical Wing, and the Benchmark NACA 0012Wing.

Kevin E Jacobson↗