Search NASA⌕ Search

SEARCH · Search NASA

Results for “Level set methods”

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 487 records · Page 27

An Optimal Orthogonal Decomposition Method for Kalman Filter-Based Turbofan Engine Thrust Estimation

A new linear point design technique is presented for the determination of tuning parameters that enable the optimal estimation of unmeasured engine outputs, such as thrust. The engine's performance is affected by its level of degradation, generally described in terms of unmeasurable health parameters related to each major engine component. Accurate thrust reconstruction depends on knowledge of these health parameters, but there are usually too few sensors to be able to estimate their values. In this new technique, a set of tuning parameters is determined that accounts for degradation by representing the overall effect of the larger set of health parameters as closely as possible in a least squares sense. The technique takes advantage of the properties of the singular value decomposition of a matrix to generate a tuning parameter vector of low enough dimension that it can be estimated by a Kalman filter. A concise design procedure to generate a tuning vector that specifically takes into account the variables of interest is presented. An example demonstrates the tuning parameters ability to facilitate matching of both measured and unmeasured engine outputs, as well as state variables. Additional properties of the formulation are shown to lend themselves well to diagnostics.

Litt, Jonathan S.↗

Avionic architecture requirements for Space Exploration Initiative systems

The authors discuss NASA's Strategic Avionics Technology Working Group (SATWG) and the results of the first study commissioned by the SATWG, the Space Avionics Requirements Study (SARS). The goal of the SARS task was to show that an open avionics architecture, using modular, standardized components, could be applied across the wide range of systems that comprise the Space Exploration Initiative. The study addressed systems ranging from expendable launch vehicles and the space station to surface systems such as Mars or lunar rovers and habitats. Top-level avionics requirements were derived from characterizations of each of the systems considered. Then a set of avionics subsystems were identified, along with estimates of the numbers and types of modules needed to meet the requirements. Applicability of these results across the infrastructure was then illustrated. In addition to these tasks, critical technologies were identified, characterized, and assessed in terms of their criticality and impact on the program. Design, development, test, and evaluation methods were addressed to identify potential areas of improvement.

Herbella, C. G.↗

Alternate physical formats for storing data in HDF

Since its inception HDF has evolved to meet new demands by the scientific community to support new kinds of data and data structures, larger data sets, and larger numbers of data sets. The first generation of HDF supported simple objects and simple storage schemes. These objects were used to build more complex objects such as raster images and scientific data sets. The second generation of HDF provided alternate methods of storing data elements, making it possible to do such things as store extendible objects with in HDF, to store data externally from HDF files, and support data compression effectively. As we look to the next generation of HDF, we are considering fundamental changes to HDF, including a redefinition of the basic HDF object from a simple object to a more general, higher-level scientific data object that has certain characteristics, such as dimensionality, a more general atomic number type, and attributes. These changes suggest corresponding changes to the HDF file format itself.

Folk, Mike↗

Martian B Storm Genesis and Evolution: Initial Analysis of Thermal Datasets.

Introduction: Dust lifting on Mars likely occurs primarily as a result of the exchange of momentum between the atmosphere and the surface via saltation. During saltation, sand-sized particles are mobilized but do not enter into suspension. When these larger particles fall back to the surface, kinetic energy is transferred to smaller dust particles which are then lofted into suspension in the atmosphere. Depending on the altitude to which dust is lofted, it can have a significant effect on atmospheric temperatures. As a strong absorber and emitter in the infrared, dust can influence atmospheric heating and modify the global circulation and weather on Mars [1,2]. Although dust is present in Mars’ atmosphere throughout the year, the atmosphere is generally dustier during the second half of the year when Mars is near perihelion. Observations reveal that episodic global-scale dust storms and fairly regular regional-scale dust storms are superimposed on a well-defined and highly repeatable seasonal cycle of dust opacity and associated mid-level atmospheric temperature responses. Kass et al. (2016) used 50 Pa temperature observations from MRO/MCS to identify three highly repeatable time periods during which regional dust storms occur, and designated them the “A”, “B” and “C” storms. While “A” and “C” storms have been studied a fair amount to-date, “B” storms have not yet been investigated in detail. This study explores the generation and evolution of the annually recurring regional dust storm known as the “B” storm, which was identified and categorized by Kass et al. (2016) based on 25 km (50 Pa) temperature observations. The B storm is a southern-hemisphere (SH) phenomenon that originates at the cap edge just after perihelion and which reaches peak intensity during the SH summer solstice, Ls 270. It may originate from the cap edge storms that spawn near the edge of the seasonal CO2 cap during retreat, but the mechanisms for B storm genesis have yet to be determined definitively [1]. Methods: We will use observational data sets and a global climate model (GCM) to investigate “B” regional storms. The data analysis component will include the analysis of imagery from MGS/MOC and MRO/MARCI, and spectroscopic data sets of dust and temperatures from MGS/TES and MRO/MCS with the goal of fully characterizing the behavior of these storms. Both MGS and TES provide data well-suited for temperature analysis at 25 km. MCS measures atmospheric temperature, dust extinction, and water ice extinction at 5 km intervals from the surface to about 80 km. TES measured atmospheric temperatures, column dust and water ice opacities, and column water vapor abundances. Measurements made by TES extended from the surface to about 40 km [1]. At the 50 Pa (25 km) level, local dust events usually confined to shallower depths are effectively filtered out of the analysis leaving the regional dust events identifiable by their temperature signatures [1]. Our preliminary analysis makes use of the fact that the brightness temperature at 15 microns (T15 temperature) is a close approximation to observed temperature at 25 km. We first reproduce the zonal mean 50 Pa level temperature plots for MY 29-32 to establish a baseline for our procedures moving forward [1]. Expanding on Kass et al. (2016), we include recent MCS data from MY 33 and 34 as well. Preliminary Analysis: The daytime (3PM) T15 temperatures in Figure 1 indicate: in MY 29, a strong A storm at Ls 240, a B storm at high southern latitudes just after Ls 270, and a C storm at Ls 320; in MY 30, a B storm at Ls 270; in MY 31 & MY 32, a B storm just before Ls 270; in MY 33, a B storm at Ls 270; and in MY 34, a strong A storm in the northern hemisphere at Ls 210, and a B storm around Ls 270 although there is a data gap. For the B storms, each is indicative of lofted dust and resultant warming. The daytime temperature structure illustrates that the B storm occurs annually around Ls 270 and is confined to high southern latitudes. It reaches its peak intensity around SH summer solstice, Ls 270, consistently for all six MY assessed. Since direct solar heating is absent overnight, the nighttime T15 temperatures (Figure 2) are often useful for differentiating the heat signature of direct solar heating from the dynamical response to that heating. However, in the southern polar latitudes at perihelion the sun does not set and direct solar heating remains present throughout the night. Importantly for our study, dust lofted in the B storm experiences this direct heating day and night for the entirety of its lifetime. The B storm expands as far north as -60 latitude and decays in latitudinal extent more gradually than it grows. This feature is less obvious in the nighttime (3AM) T15 temperatures (Figure 2). The temperature signal is stronger at night for MY 30-33. The warm pool is larger in area relative to the background at night in these four cases. This more uniform warming masks the “tail” feature somewhat, such that it is barely noticeable during these years. Unfortunately, gaps in MCS data in MY 29 and 34 prevent confirmation of the tail feature during those years, however, the B storm temperature signature follows a very different pattern than that described for MY 30-33. MY 29 and 34 appear to show smaller centers of warming at night and larger centers of warming during the day. This is in opposition to that previously described for MY 30-33. Conclusions and Future Work: We will continue investigating the heat signatures of B storms by looking at the total column heating as recorded by TES. We will also look at lower altitudes for patterns that may describe the relationship between B storms and the cap edge storms that develop while the seasonal cap is retreating. In the future, we will use GCM simulations to determine the atmospheric and thermo-dynamic conditions associated with these storms.

Courtney Marylou Batterson↗

Assessing Requirements Quality through Requirements Coverage

In model-based development, the development effort is centered around a formal description of the proposed software system the model. This model is derived from some high-level requirements describing the expected behavior of the software. For validation and verification purposes, this model can then be subjected to various types of analysis, for example, completeness and consistency analysis [6], model checking [3], theorem proving [1], and test-case generation [4, 7]. This development paradigm is making rapid inroads in certain industries, e.g., automotive, avionics, space applications, and medical technology. This shift towards model-based development naturally leads to changes in the verification and validation (V&V) process. The model validation problem determining that the model accurately captures the customer's high-level requirements has received little attention and the sufficiency of the validation activities has been largely determined through ad-hoc methods. Since the model serves as the central artifact, its correctness with respect to the users needs is absolutely crucial. In our investigation, we attempt to answer the following two questions with respect to validation (1) Are the requirements sufficiently defined for the system? and (2) How well does the model implement the behaviors specified by the requirements? The second question can be addressed using formal verification. Nevertheless, the size and complexity of many industrial systems make formal verification infeasible even if we have a formal model and formalized requirements. Thus, presently, there is no objective way of answering these two questions. To this end, we propose an approach based on testing that, when given a set of formal requirements, explores the relationship between requirements-based structural test-adequacy coverage and model-based structural test-adequacy coverage. The proposed technique uses requirements coverage metrics defined in [9] on formal high-level software requirements and existing model coverage metrics such as the Modified Condition and Decision Coverage (MC/DC) used when testing highly critical software in the avionics industry [8]. Our work is related to Chockler et al. [2], but we base our work on traditional testing techniques as opposed to verification techniques.

Rajan, Ajitha↗

Analysis and Preliminary Design of an Advanced Technology Transport Flight Control System

The analysis and preliminary design of an advanced technology transport aircraft flight control system using avionics and flight control concepts appropriate to the 1980-1985 time period are discussed. Specifically, the techniques and requirements of the flight control system were established, a number of candidate configurations were defined, and an evaluation of these configurations was performed to establish a recommended approach. Candidate configurations based on redundant integration of various sensor types, computational methods, servo actuator arrangements and data-transfer techniques were defined to the functional module and piece-part level. Life-cycle costs, for the flight control configurations, as determined in an operational environment model for 200 aircraft over a 15-year service life, were the basis of the optimum configuration selection tradeoff. The recommended system concept is a quad digital computer configuration utilizing a small microprocessor for input/output control, a hexad skewed set of conventional sensors for body rate and body acceleration, and triple integrated actuators.

Frazzini, R.↗

Work management plan for data systems and analysis directorate

A contract with the Data Systems and Analysis Directorate contains a specified level of resources related to a specific set of work in support of three divisions within the Data Systems and Analysis Directorate. The divisions are Institutional Data Systems Division, Ground Data Systems Division, and Mission Planning and Analysis Division. The Statement of work defines at a functional requirements level the type of support to be provided to the three divisions. The contract provides for further technical direction to the contractor through issuance of Job Orders. The Job order is the prime method of further defining the work to be done, allocating a portion of the total resources in the contract to the defined tasks, and further delegating technical responsibility.

Nichols, L. R.↗

Mathematical modeling of the aerodynamics of high-angle-of-attack maneuvers

This paper is a review of the current state of aerodynamic mathematical modeling for aircraft motions at high angles of attack. The mathematical model serves to define a set of characteristic motions from whose known aerodynamic responses the aerodynamic response to an arbitrary high angle-of-attack flight maneuver can be predicted. Means are explored of obtaining stability parameter information in terms of the characteristic motions, whether by wind-tunnel experiments, computational methods, or by parameter-identification methods applied to flight-test data. A rationale is presented for selecting and verifying the aerodynamic mathematical model at the lowest necessary level of complexity. Experimental results describing the wing-rock phenomenon are shown to be accommodated within the most recent mathematical model by admitting the existence of aerodynamic hysteresis in the steady-state variation of the rolling moment with roll angle. Interpretation of the experimental results in terms of bifurcation theory reveals the general conditions under which aerodynamic hysteresis must exist.

Schiff, L. B.↗

Why Haven't Mars Rovers Landed Where They Were Expected to?

In a recent study (Desai, 2008) of the actual landing sites for the Mars Pathfinder, Mars Exploration Rovers and the Phoenix Mars Lander, data collected indicates that these missions landed at least 13 km downrange of their targeted landing sites. A direct reason is that density measurements taken during entry, descent and landing were consistently found to be lower than those predicted by Mars atmospheric models. The basis of this study is to further investigate this problem to see if certain aspects of current Mars atmospheric models need to be reevaluated. This study compared four different atmospheric profiles at nine pairs of comparable sites around Mars. The comparable sites are similar in location and Local True Solar Time; however they are from different Mars years. One year had normal conditions, while the other year experienced a global dust storm. Three of the atmospheric profiles were obtained by the Mars Global Surveyor (MGS); these data sets include a Radio Science profile and Thermal Emission Spectrometer data in limb and nadir projections. The three MGS data sets were selected from large observational databases to allow the sites to have data observed at nearcoincident times. The last atmospheric profile is from the Mars Global Reference Atmospheric Model (Mars-GRAM), an engineering level atmospheric model widely used for mission applications. Through careful data evaluation, several conclusions were drawn. Ratios among the data show that the three observed MGS profiles were consistent with each other, although they were recorded by three different methods. Mars-GRAM data had larger differences from the observed data. Mars-GRAM particularly had issues with consistently overestimating upper atmosphere atmospheric density, as noted in Desai s study. Differences between the observed atmospheric density profiles from the Mars-GRAM atmospheric density profile could be attributed to a temperature bias in the model, especially in the upper atmosphere.

Badger, Andrew M.↗

WGM Temperature Tracker

This software implements digital control of a WGM (whispering-gallerymode) resonator temperature based on the dual-mode approach. It comprises one acquisition (dual-channel) and three control modules. The interaction of the proportional-integral loops is designed in the original way, preventing the loops from fighting. The data processing is organized in parallel with the acquisition, which allows the computational overhead time to be suppressed or often completely avoided. WGM resonators potentially provide excellent optical references for metrology, clocks, spectroscopy, and other applications. However, extremely accurate (below micro-Kelvin) temperature stabilization is required. This software allows one specifically advantageous method of such stabilization to be implemented, which is immune to a variety of effects that mask the temperature variation. WGM Temperature Tracker 2.3 (see figure) is a LabVIEW code developed for dual-mode temperature stabilization of WGM resonators. It has allowed for the temperature stabilization at the level of 200 nK with one-second integration time, and 6 nK with 10,000-second integration time, with the above room-temperature set point. This software, in conjunction with the appropriate hardware, can be used as a noncryogenic temperature sensor/ controller with sub-micro-Kelvin sensitivity, which at the time of this reporting considerably outperforms the state of the art.

Strekalov, Dmitry V.↗

Shape and Stress Sensing of Multilayered Composite and Sandwich Structures Using an Inverse Finite Element Method

The marked increase in the use of composite and sandwich material systems in aerospace, civil, and marine structures leads to the need for integrated Structural Health Management systems. A key capability to enable such systems is the real-time reconstruction of structural deformations, stresses, and failure criteria that are inferred from in-situ, discrete-location strain measurements. This technology is commonly referred to as shape- and stress-sensing. Presented herein is a computationally efficient shape- and stress-sensing methodology that is ideally suited for applications to laminated composite and sandwich structures. The new approach employs the inverse Finite Element Method (iFEM) as a general framework and the Refined Zigzag Theory (RZT) as the underlying plate theory. A three-node inverse plate finite element is formulated. The element formulation enables robust and efficient modeling of plate structures instrumented with strain sensors that have arbitrary positions. The methodology leads to a set of linear algebraic equations that are solved efficiently for the unknown nodal displacements. These displacements are then used at the finite element level to compute full-field strains, stresses, and failure criteria that are in turn used to assess structural integrity. Numerical results for multilayered, highly heterogeneous laminates demonstrate the unique capability of this new formulation for shape- and stress-sensing.

Cerracchio, Priscilla↗

Runway Scheduling Using Generalized Dynamic Programming

A generalized dynamic programming method for finding a set of pareto optimal solutions for a runway scheduling problem is introduced. The algorithm generates a set of runway fight sequences that are optimal for both runway throughput and delay. Realistic time-based operational constraints are considered, including miles-in-trail separation, runway crossings, and wake vortex separation. The authors also model divergent runway takeoff operations to allow for reduced wake vortex separation. A modeled Dallas/Fort Worth International airport and three baseline heuristics are used to illustrate preliminary benefits of using the generalized dynamic programming method. Simulated traffic levels ranged from 10 aircraft to 30 aircraft with each test case spanning 15 minutes. The optimal solution shows a 40-70 percent decrease in the expected delay per aircraft over the baseline schedulers. Computational results suggest that the algorithm is promising for real-time application with an average computation time of 4.5 seconds. For even faster computation times, two heuristics are developed. As compared to the optimal, the heuristics are within 5% of the expected delay per aircraft and 1% of the expected number of runway operations per hour ad can be 100x faster.

optmization↗

Statistical Analysis of a Large Sample Size Pyroshock Test Data Set Including Post Flight Data Assessment

The Earth Observing System (EOS) Terra spacecraft was launched on an Atlas IIAS launch vehicle on its mission to observe planet Earth in late 1999. Prior to launch, the new design of the spacecraft's pyroshock separation system was characterized by a series of 13 separation ground tests. The analysis methods used to evaluate this unusually large amount of shock data will be discussed in this paper, with particular emphasis on population distributions and finding statistically significant families of data, leading to an overall shock separation interface level. The wealth of ground test data also allowed a derivation of a Mission Assurance level for the flight. All of the flight shock measurements were below the EOS Terra Mission Assurance level thus contributing to the overall success of the EOS Terra mission. The effectiveness of the statistical methodology for characterizing the shock interface level and for developing a flight Mission Assurance level from a large sample size of shock data is demonstrated in this paper.

Hughes, William O.↗

A Robust Scalable Transportation System Concept

This report documents the 2005 Revolutionary System Concept for Aeronautics (RSCA) study entitled "A Robust, Scalable Transportation System Concept". The objective of the study was to generate, at a high-level of abstraction, characteristics of a new concept for the National Airspace System, or the new NAS, under which transportation goals such as increased throughput, delay reduction, and improved robustness could be realized. Since such an objective can be overwhelmingly complex if pursued at the lowest levels of detail, instead a System-of-Systems (SoS) approach was adopted to model alternative air transportation architectures at a high level. The SoS approach allows the consideration of not only the technical aspects of the NAS", but also incorporates policy, socio-economic, and alternative transportation system considerations into one architecture. While the representations of the individual systems are basic, the higher level approach allows for ways to optimize the SoS at the network level, determining the best topology (i.e. configuration of nodes and links). The final product (concept) is a set of rules of behavior and network structure that not only satisfies national transportation goals, but represents the high impact rules that accomplish those goals by getting the agents to "do the right thing" naturally. The novel combination of Agent Based Modeling and Network Theory provides the core analysis methodology in the System-of-Systems approach. Our method of approach is non-deterministic which means, fundamentally, it asks and answers different questions than deterministic models. The nondeterministic method is necessary primarily due to our marriage of human systems with technological ones in a partially unknown set of future worlds. Our goal is to understand and simulate how the SoS, human and technological components combined, evolve.

Hahn, Andrew↗

Estimating Software Reliability for Space Launch Vehicles in Probabilistic Risk Assessment (PRA)

It is acutely recognized in the Probabilistic Risk assessment (PRA) field that software plays a defining role in overall system reliability for all modern systems across a wide variety of industries. Regardless if the software is embedded firmware for working components or elements, part of a Human-Machine-Interface, or automated command and control logic, the success of the software to fulfill its function under nominal and off-nominal environments will be a dominant contributor to system reliability. It is also recognized that software reliability prediction and estimation is one of the more challenging and questionable aspects of any PRA or system analyses due to the nature of software and its integration with physics based systems. Irrespective of this dichotomy, any incorporation of software reliability methods requires that the contributions are accountable, quantitative, and tractable. This paper provides a brief overview of software reliability methods, establishes some minimum requirements that the methods should incorporate for completeness, and provides a logic structure for applying software reliability. Model resolution will be discussed that supports current testing plans and trade studies. We will provide initial recommendations for use in the NASA PRA and present a future dynamic option for software and PRA. Space Launch Vehicle Software is recognized to be reliable in static conditions, yet relatively vulnerable to a set of failure modes in changing environments/flight phases. Two quantitative methods were chosen to incorporate software reliability into a Space Launch Vehicle PRA accounting for phase adjustments. One method predicts latent software failure using statistical methods, and the second provides estimates of coding errors and software operating system failures based on test and historical data, respectively. Software uncertainty will also be discussed. We determined that recommendations for PRA software reliability should be modeled at the software module level where multiple software components compose a module and combinations of the software architecture can lead to a functional failure.

Novack, Steven↗

Estimating Software Reliability for Space Launch Vehicles in Probabilistic Risk Assessment (PRA)

It is acutely recognized in the Probabilistic Risk Assessment (PRA) field that software plays a defining role in overall system reliability for all modern systems across a wide variety of industries. Regardless of whether the software is embedded firmware for working components or elements, part of a Human-Machine-Interface, or automated command and control logic, the success of the software to fulfill its function under nominal and off-nominal environments will be a dominant contributor to system reliability. It is also recognized that software reliability prediction and estimation is one of the more challenging and questionable aspects of any PRA or system analyses due to the nature of software and its integration with physics based systems. Irrespective of this dichotomy, any incorporation of software reliability methods requires that the contributions are accountable, quantitative, and tractable. This paper provides a brief overview of software reliability methods, establishes some minimum requirements that the methods should incorporate for completeness, and provides a logic structure for applying software reliability. Model resolution will be discussed that supports current testing plans and trade studies. We will provide initial recommendations for use in the National Aeronautics and Space Administration (NASA) PRA and present a future dynamic option for software and PRA. Space Launch Vehicle software is recognized to be reliable in static conditions, yet relatively vulnerable to a set of failure modes in changing environments/flight phases. Two quantitative methods were chosen to incorporate software reliability into a Space Launch Vehicle PRA accounting for phase adjustments. One method predicts latent software failure using statistical methods, and the second provides estimates of coding errors and software operating system failures based on test and historical data. Software uncertainty will also be discussed. It is determined that recommendations for PRA software reliability should be modeled at the software module level where multiple software components compose a module and combinations of the software architecture can lead to a functional failure.

Steven D. Novack↗

Some statistical performance characteristics of the 'ITD' modal identification algorithm

Performance characteristics of the Ibrahim time-domain algorithms are examined on a statistical basis. The method uses multiple free-response measurements from a test structure directly in the time domain, and displays varying accuracy, with the strongly excited modes identified most accurately and the weakly excited modes least accurately. Sets of computer-generated free-response functions for a simple 1-mode model are used to study the identification performance for several basic changes in the modal characteristics of the data, the user-selectable analysis constants, and the level of superimposed noise. Results indicate the existence of a direct and often linear effect of noise on the scatter of identified parameters, and good identification is maintained at the 1% noise level down to the point in frequency when only 1/4-cycle of data is analyzed.

Pappa, R. S.↗

Eigenvalue assignment strategies in rotor systems

The work done to establish the control and direction of effective eigenvalue excursions of lightly damped, speed dependent rotor systems using passive control is discussed. Both second order and sixth order bi-axis, quasi-linear, speed dependent generic models were investigated. In every case a single, bi-directional control bearing was used in a passive feedback stabilization loop to resist modal destabilization above the rotor critical speed. Assuming incomplete state measurement, sub-optimal control strategies were used to define the preferred location of the control bearing, the most effective measurement locations, and the best set of control gains to extend the speed range of stable operation. Speed dependent control gains were found by Powell's method to maximize the minimum modal damping ratio for the speed dependent linear model. An increase of 300 percent in stable speed operation was obtained for the sixth order linear system using passive control. Simulations were run to examine the effectiveness of the linear control law on nonlinear rotor models with bearing deadband. The maximum level of control effort (force) required by the control bearing to stabilize the rotor at speeds above the critical was determined for the models with bearing deadband.

Youngblood, J. N.↗