SEARCH · Engineering Papers

Results for “conditionally specified models”

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.

SourceResearch connectionFrom yearThrough year

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

At least 433 records · Page 24

All sources NASA NTRS DOE OSTI

NASA NTRS2015

Random Vibration Testing of Advanced Wet Tantalum Capacitors

Advanced wet tantalum capacitors allow for improved performance of power supply systems along with substantial reduction of size and weight of the systems that is especially beneficial for space electronics. Due to launch-related stresses, acceptance testing of all space systems includes random vibration test (RVT). However, many types of advanced wet tantalum capacitors cannot pass consistently RVT at conditions specified in MIL-PRF-39006, which impedes their use in space projects. This requires a closer look at the existing requirements, modes and mechanisms of failures, specifics of test conditions, and acceptance criteria. In this work, different lots of advanced wet tantalum capacitors from four manufacturers have been tested at step stress random vibration conditions while their currents were monitored before, during, and after the testing. It has been shown that the robustness of the parts and their reliability are mostly due to effective self-healing processes and limited current spiking or minor scintillations caused by RVT do not increase the risk of failures during operation. A simple model for scintillations events has been used to simulate current spiking during RVT and optimize test conditions. The significance of scintillations and possible effects of gas generation have been discussed and test acceptance criteria for limited current spiking have been suggested.

cracking↗

NASA NTRS2015

Random Vibration Testing of Advanced Wet Tantalum Capacitors

cracking↗

NASA NTRS2015

Random Vibration Testing of Advanced Wet Tantalum Capacitors

wet tantalum capacitors↗

NASA NTRSDate not supplied

Simulations of the Modular Axisymmetric Scramjet Test Rig Under Reacting Flow Conditions

Simulations of the Air Force Research Laboratory (AFRL) Modular Axisymmetric Scramjet Test Rig (MASTeR) are presented. MASTeR is a parametric test article capable of investigating various scramjet cavity flameholder designs and fueling strategies with the goal to characterize and optimize flameholding capability. In the current work, three cavity aspect ratios, and two fueling strategies (upstream and in-cavity) with ethylene at a nominal facility pressure and temperature condition are evaluated. The reacting simulations are performed, and the resulting flow characteristics are discussed. For each configuration and fueling strategy, cavity residence time, entrainment rate, and fuel-air equivalence ratio are computed. The MASTeR geometry is defined in Engineering Sketch Pad (ESP) and the simulations use a sketch-to-solution (S2S) automated unstructured grid adaptation tool in VULCAN-CFD. This tool automatically generates a simulation grid from the ESP geometry and systematically adapts it to the numerical solution based on the Hessian error estimate of a specified flow field parameter. Reynolds averaged simulations (RAS) are used with a two-equation linear eddy viscosity and diffusivity model. The resulting database can be compared with the experimental data as those become available, and explored to develop models for cavity performance for scramjet propulsion design applications.

hypersonics↗

NASA NTRS2008

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↗

NASA NTRS1992

Ship viscous flow: A report on the 1990 SSPA-IIHR Workshop

To assess the state of the art in ship viscous flow computation a Workshop was organized in 1990 by three organizations: SSPA Maritime Consulting AB, Chalmers University of Technology, and the Iowa Institute of Hydraulic Research. Two test cases were specified by the organizers and sent out to all interested research groups, which were asked to submit results in a prescribed format. In September 1990 a meeting was held at Chalmers University of Technology. All results had then been collected and presented in a common format, and the theories based on responses to a questionnaire sent out earlier. During the meeting, each research group was first given the opportunity to briefly introduce their method and results. Thereafter, a considerable time was spent on general discussions on the performance of the different methods considering the differences in the underlying theories. Specific items that were addressed were grid generation, governing equations, boundary conditions, turbulence modelling, and numerical methods. Practical aspects of the results, for instance from the point of view of propeller design, were also discussed. The Workshop Proceedings contain a description of the participating methods, and the results of both test cases. In the present paper, a summary of the Workshop and its results is presented.

Patel, Virendra C.↗

NASA NTRS1997

Evaluation of Model-Based Training for Vertical Guidance Logic

This paper will summarize the results of a study which introduces a structured, model based approach to learning how the automated vertical guidance system works on a modern commercial air transport. The study proposes a framework to provide accurate and complete information in an attempt to eliminate confusion about 'what the system is doing'. This study will examine a structured methodology for organizing the ideas on which the system was designed, communicating this information through the training material, and displaying it in the airplane. Previous research on model-based, computer aided instructional technology has shown reductions in the amount of time to a specified level of competence. The lessons learned from the development of these technologies are well suited for use with the design methodology which was used to develop the vertical guidance logic for a large commercial air transport. The design methodology presents the model from which to derive the training material, and the content of information to be displayed to the operator. The study consists of a 2 X 2 factorial experiment which will compare a new method of training vertical guidance logic and a new type of display. The format of the material used to derive both the training and the display will be provided by the Operational Procedure Methodology. The training condition will compare current training material to the new structured format. The display condition will involve a change of the content of the information displayed into pieces that agree with the concepts with which the system was designed.

Feary, Michael↗

NASA NTRSDate not supplied

Global Solar Activity Data Portal for Studying 3D Dynamics and Activity of the Sun

The main problems with understanding and predicting solar activity are tightly linked to limitations in describing the global evolution of the Sun from the deep interior to the corona. Because of the complexity of interactions in a wide range of dynamical, turbulent, and spatial scales and dramatic changes in thermodynamic and magnetic field conditions, only physics-based models can provide essential background to generate reliable solar activity forecasts. However, performing accurate model calibration and estimating uncertainties is often challenging due to the unavailability of a long time series of observations. To mitigate these limitations, we have developed the Global Solar Activity (GSA) Data Portal, which enables convenient access to a variety of modern and historical data. The portal supports a dynamic visualization for 1D time series (such as the sunspot number and solar irradiance) and quick-look visualization for 2D datasets (e.g., synoptic magnetograms, the solar internal rotation, and flows). The GSA portal includes a search engine that enables data retrieval from user-specified data sources and time intervals. In this presentation, we will discuss the current and upcoming capabilities of the data portal and its potential applications for space weather studies.

SMD↗

NASA NTRS1994

Task scheduling in dataflow computer architectures

Dataflow computers provide a platform for the solution of a large class of computational problems, which includes digital signal processing and image processing. Many typical applications are represented by a set of tasks which can be repetitively executed in parallel as specified by an associated dataflow graph. Research in this area aims to model these architectures, develop scheduling procedures, and predict the transient and steady state performance. Researchers at NASA have created a model and developed associated software tools which are capable of analyzing a dataflow graph and predicting its runtime performance under various resource and timing constraints. These models and tools were extended and used in this work. Experiments using these tools revealed certain properties of such graphs that require further study. Specifically, the transient behavior at the beginning of the execution of a graph can have a significant effect on the steady state performance. Transformation and retiming of the application algorithm and its initial conditions can produce a different transient behavior and consequently different steady state performance. The effect of such transformations on the resource requirements or under resource constraints requires extensive study. Task scheduling to obtain maximum performance (based on user-defined criteria), or to satisfy a set of resource constraints, can also be significantly affected by a transformation of the application algorithm. Since task scheduling is performed by heuristic algorithms, further research is needed to determine if new scheduling heuristics can be developed that can exploit such transformations. This work has provided the initial development for further long-term research efforts. A simulation tool was completed to provide insight into the transient and steady state execution of a dataflow graph. A set of scheduling algorithms was completed which can operate in conjunction with the modeling and performance tools previously developed. Initial studies on the performance of these algorithms were done to examine the effects of application algorithm transformations as measured by such quantities as number of processors, time between outputs, time between input and output, communication time, and memory size.

Katsinis, Constantine↗

NASA NTRS1987

Measuring and modeling the backscattering cross section of a leaf

Leaves are a significant feature of any vegetation canopy, and for remote sensing purposes it is important to develop an effective model for predicting the scattering from a leaf. From measurements of the X band backscattering cross section of a coleus leaf in varying stages of dryness, it is shown that a uniform resistive sheet constitutes such a model for a planar leaf. The scattering is determined by the (complex) resistivity which is, in turn, entirely specified by the gravimetric moisture content of the leaf. Using an available asymptotic expression for the scattering from a rectangular resistive plate which includes, as a special case, a metallic plate whose resistivity is zero, the computed backscattering cross sections for both principal polarizations are found to be in excellent agreement with data measured for rectangular sections of leaves with different moisture contents. If the resistivity is sufficiently large, the asymptotic expressions do not differ significantly from the physical optics ones, and for naturally shaped leaves as well as rectangular sections, the physical optics approximation in conjunction with the resistive sheet model faithfully reproduces the dominant feataures of the scattering patterns under all moisture conditions.

Senior, T. B. A.↗

NASA NTRS2004

Intelligent Control for the BEES Flyer

This paper describes the effort to provide a preliminary capability analysis and a neural network based adaptive flight control system for the JPL-led BEES aircraft project. The BEES flyer was envisioned to be a small, autonomous platform with sensing and control systems mimicking those of biological systems for the purpose of scientific exploration on the surface of Mars. The platform is physically tightly constrained by the necessity of efficient packing within rockets for the trip to Mars. Given the physical constraints, the system is not an ideal configuration for aerodynamics or stability and control. The objectives of this effort are to evaluate the aerodynamics characteristics of the existing design, to make recommendaaons as to potential improvements and to provide a control system that stabilizes the existing aircraft for nominal flight and damaged conditions. Towards this several questions are raised and analyses are presented to arrive at answers to some of the questions raised. CART3D, a high-fidelity inviscid analysis package for conceptual and preliminary aerodynamic design, was used to compute a parametric set of solutions over the expected flight domain. Stability and control derivatives were extracted from the database and integrated with the neural flight control system. The Integrated Vehicle Modeling Environment (IVME) was also used for estimating aircraft geometric, inertial, and aerodynamic characteristics. A generic neural flight control system is used to provide adaptive control without the requirement for extensive gain scheduling or explicit system identification. The neural flight control system uses reference models to specify desired handling qualities in the roll, pitch, and yaw axes, and incorporates both pre-trained and on-line learning neural networks in the inverse model portion of the controller. Results are presented for the BEES aircraft in the subsonic regime for terrestrial and Martian environments.

Krishnakumar, K.↗

NASA NTRSDate not supplied

Preliminary Application of Formal Verification to An Autonomy Architecture for Unmanned Aircraft

There is a desire to design autonomous systems in such a way that capabilities can be easily added or re- combined to produce new behaviors while preserving their safety properties. ICAROUS, a prototype software architecture for building safety-centric autonomous unmanned aircraft applications, is designed to support this type of extensibility and re-configurability. In ICAROUS, core capabilities are implemented as individual soft- ware services, so that enabling access to new capabilities simply requires adding new services. To make use of these capabilities, ICAROUS includes a specialized service that provides a general framework for config- uring the relative priorities, conditions, and rules that govern how different modules should be engaged and disengaged during flight. The inherent complexity of coordinating multiple modules under changing conditions makes it difficult to determine whether a particular configuration could have erroneous behaviors in certain circumstances. A robust set of integration tests can help discover errors, but testing can only realistically cover a relatively small proportion of total system behaviors. Developing good tests and interpreting the results to pinpoint the cause of errors when they arise can also be very time-consuming. To supplement testing, formal methods can be used to model and analyze complex systems, achieving better coverage and simplifying the process of finding, understanding, and fixing errors. To demonstrate these benefits, this paper explores the ap- plication of formal methods to ICAROUS. In particular, the Spin model checker is used to specify requirements for and model portions of the system, then verify whether the model satisfies the requirements and find and fix errors when it does not.

Formal Methods↗

NASA NTRSDate not supplied

Preliminary Application of Formal Verification to An Autonomy Architecture for Unmanned Aircraft

There is a desire to design autonomous systems in such a way that capabilities can be easily added or re-combined to produce new behaviors while preserving their safety properties. ICAROUS, a prototype software architecture for building safety-centric autonomous unmanned aircraft applications, is designed to support this type of extensibility and re-configurability. In ICAROUS, core capabilities are implemented as individual soft- ware services, so that enabling access to new capabilities simply requires adding new services. To make use of these capabilities, ICAROUS includes a specialized service that provides a general framework for config- uring the relative priorities, conditions, and rules that govern how different modules should be engaged and disengaged during flight. The inherent complexity of coordinating multiple modules under changing conditions makes it difficult to determine whether a particular configuration could have erroneous behaviors in certain circumstances. A robust set of integration tests can help discover errors, but testing can only realistically cover a relatively small proportion of total system behaviors. Developing good tests and interpreting the results to pinpoint the cause of errors when they arise can also be very time-consuming. To supplement testing, formal methods can be used to model and analyze complex systems, achieving better coverage and simplifying the process of finding, understanding, and fixing errors. To demonstrate these benefits, this paper explores the ap- plication of formal methods to ICAROUS. In particular, the Spin model checker is used to specify requirements for and model portions of the system, then verify whether the model satisfies the requirements and find and fix errors when it does not.

Formal Methods↗

NASA NTRS2010

An Assessment of the Potential Predictability of Drought Over the United States Based on Climate Model Simulations with Specified SST

The USCLIV AR working group on drought recently initiated a series of global climate model simulations forced with idealized SST anomaly patterns, designed to address a number of uncertainties regarding the impact of SST forcing and the role of land-atmosphere feedbacks on regional drought. The runs were done with several global atmospheric models including NASA/NSIPP-l, NCEP/GFS, GFDLlAM2, and NCAR CCM3 and CAM3.5. Specific questions that the runs are designed to address include: What are mechanisms that maintain drought across the seasonal cycle and from one year to the next. To what extent can droughts develop independently of ocean variability due to year-to-year memory that may be inherent to the land. What is the role of the different ocean basins? Here we focus on the potential predictability of drought conditions over the United States. Specific issues addressed include the seasonality and regionality of the signal-to-noise ratios associated with Pacific and Atlantic SST forcing, and the sensitivity of the results to the climatological stationary waves simulated by the different AGCMs.

Schubert, Siegfried↗

NASA NTRS1994

The scale and persistence of soil moisture anomalies as simulated in a global model

Short term variability of climate is intimately connected with soil moisture variability. Soil moisture provides the storage and subsequent return to the atmosphere, through evaporation and transpiration, of precipitation anomalies over land. Global Circulation Model (GCM) simulations enable consistent identification of correlations and dynamical connections between the hydrologic variables, many of which are incompletely observed. One way to facilitate understanding with these increasingly intricate models is to perform sensitivity studies in which a boundary condition or process is prescribed. In this study we will report on a sensitivity study in which a GCM with a sophisticated land surface representation is used to investigate soil moisture variability in the model climate. The simulations to be used in this study were made at R15 resolution (approximately 4.5 deg latitude x 7.5 deg longitude) with prescribed sea surface temperatures (SST) in the GENESIS model (Thompson and Pollard, 1994), which is coupled to a Land Surface Transfer model (LSX) at 2 deg x 2 deg resolution (Pollard and Thompson, 1994). All the results represented here were taken from the monthly averages of the model results. The LSX model accounts for the physical effects of vegetation with two layers specified at each grid point. Vegetation attributes such as leaf area indices, fractional cover, leaf albedos, etc., were taken from the global dataset in Dorman and Sellers (1989). A six-layer soil model extends from the surface to 4.25 m depth. SST's were prescribed in two ten year experiments using monthly SST values with the daily value being interpolated from the nearest two months. In the first experiment monthly climatological values were used, and in the second, the Atmospheric Model Intercomparison Project (AMIP) observed SST's for the years 1979 through 1988 were used (Gates, 1992). Thus, the former experiment gives a measure of the intrinsic model variability, to be compared with that of the latter experiment, which includes month-to-month variability due to ocean forcing.

Fitzjarrald, D.↗

NASA NTRS2000

A Characterization of the Terrestrial Environment of Kodiak Island, Alaska for the Design, Development and Operation of Launch Vehicles

A quantitative characterization of the terrestrial environment is an important component in the success of a launch vehicle program. Environmental factors such as winds, atmospheric thermodynamics, precipitation, fog, and cloud characteristics are among many parameters that must be accurately defined for flight success. The National Aeronautics and Space Administration (NASA) is currently coordinating weather support and performing analysis for the launch of a NASA payload from a new facility located at Kodiak Island, Alaska in late 2001 (NASA, 1999). Following the first launch from the Kodiak Launch Complex, an Air Force intercontinental ballistic missile on November 5, 1999, the site's developer, the Alaska Aerospace Development Corporation (AADC), is hoping to acquire a sizable share of the many launches that will occur over the next decade. One such customer is NASA, which is planning to launch the Vegetation Canopy Lidar satellite aboard an Athena I rocket, the first planned mission to low earth orbit from the new facility. To support this launch, a statistical model of the atmospheric and surface environment for Kodiak Island, AK has been produced from rawinsonde and surface-based meteorological observations for use as an input to future launch vehicle design and/or operations. In this study, the creation of a "reference atmosphere" from rawinsonde observations is described along with comparisons between the reference atmosphere and existing model representations for Kodiak. Meteorological conditions that might result in a delay on launch day (cloud cover, visibility, precipitation, etc.) are also explored and described through probabilities of launch by month and hour of day. This atmospheric "mission analysis" is also useful during the early stages of a vehicle program, when consideration of the climatic characteristics of a location can be factored into vehicle designs. To be most beneficial, terrestrial environment definitions should a) be available at the inception of the program and based on the desired operational performance of the launch vehicle, b) be issued under the signature of the program manager and be part of the controlled program definition and requirements documentation, and c) specify the terrestrial environment for all phases of activity including prelaunch, launch, ascent, on-orbit, decent, and landing. Since the beginning of the space era, NASA has utilized some of the most detailed assessments of the terrestrial climatic environment in design, development, and operations of both expendable and reusable launch vehicles.

Rawlins, Michael A.↗

NASA NTRS2004

Sensitivity of Global Modeling Initiative Model Predictions of Antarctic Ozone Recovery to Input Meteorological Fields

We use the Global Modeling Initiative chemistry and transport model to simulate the evolution of stratospheric ozone between 1995 and 2030, using boundary conditions consistent with the recent World Meteorological Organization ozone assessment. We compare the Antarctic ozone recovery predictions of two simulations, one driven by an annually repeated year of meteorological data from a general circulation model (GCM), the other using a year of output from a data assimilation system (DAS), to examine the sensitivity of Antarctic ozone recovery predictions to the characteristic dynamical differences between GCM- and DAS-generated meteorological data. Although the age of air in the Antarctic lower stratosphere differs by a factor of 2 between the simulations, we find little sensitivity of the 1995-2030 Antarctic ozone recovery between 350 and 650 K to the differing meteorological fields, particularly when the recovery is specified in mixing ratio units. Percent changes are smaller in the DAS-driven simulation compared to the GCM-driven simulation because of a surplus of Antarctic ozone in the DAS-driven simulation which is not consistent with observations. The peak ozone change between 1995 and 2030 in both simulations is approx.20% lower than photochemical expectations, indicating that changes in ozone transport due to changing ozone gradients at 450 K between 1995 and 2030 constitute a small negative feedback. Total winter/spring ozone loss during the base year (1995) of both simulations and the rate of ozone loss during August and September is somewhat weaker than observed. This appears to be due to underestimates of Antarctic Cl(sub y) at the 450 K potential temperature level.

Considine, David B.↗

NASA NTRS1987

Collision detection for spacecraft proximity operations

Collision Detection for Spacecraft Proximity Operations This thesis describes the development of a new collision detection algorithm to be used when two spacecraft are operating in the same vicinity. The two spacecraft are modelled as unions of convex polyhedra, where the polyhedron resulting from the union may be either convex or nonconvex. The relative motion of the two spacecraft is assumed to be such that one vehicle is moving with constant linear and angular velocity with respect to the other. The algorithm determines if a collision is possible and, if so, predicts the time when the collision will take place. The theoretical basis for the new collision detection algorithm is the C-function formulation of the configuration space approach recently introduced by researchers in robotics. Three different types of C-functions are defined that model the contacts between the vertices, edges, and faces of the polyhedra representing the two spacecraft. These C-functions are used to formulate three "collision" conditions. The first of these conditions limits the points representing potential collisions to the zeros of the C-functions. The new algorithm is fundamentally a search for the smallest zero of any C-function that satisfies the second and third collision conditions. The C-functions are shown to be transcendental functions of time for the assumed trajectory of the moving spacecraft. The zeros of these functions cannot be expressed in dosed form. Therefore, numerical search procedures are developed to find aLl of the zeros of a C-function in specified bounded intervals of time. These bounded intervals of time are found by examining the second and third collision conditions. The capabilities of the new algorithm are demonstrated for several example cases. These include examples of collisions determined by zeros of each of the three different types of C-functions. In addition to predicting the time of first contact of the polyhedra, the algorithm identifies the features of the two polyhedra that are touching at this time. The new collision detection algorithm is the first such algorithm that is capable of solving the collision detection problem exactly for the case where the moving object has constant linear and angular velocities. This is a significant improvement on previous collision detection algorithms described in the literature. In particular, the ability to handle constant angular velocity represents a more realistic type of rotational motion than those which have been used in other algorithms.

Robin M Vaughan↗