Search NASA⌕ Search

SEARCH · Search NASA

Results for “Perform an analysis elaborating”

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.

31 records · Page 2

A Modeling Pattern for Layered System Interfaces

Communications between systems is often initially represented at a single, high level of abstraction, a link between components. During design evolution it is usually necessary to elaborate the interface model, defining it from several different, related viewpoints and levels of abstraction. This paper presents a pattern to model such multi-layered interface architectures simply and efficiently, in a way that supports expression of technical complexity, interfaces and behavior, and analysis of complexity. Each viewpoint and layer of abstraction has its own properties and behaviors. System elements are logically connected both horizontally along the communication path, and vertically across the different layers of protocols. The performance of upper layers depends on the performance of lower layers, yet the implementation of lower layers is intentionally opaque to upper layers. Upper layers are hidden from lower layers except as sources and sinks of data. The system elements may not be linked directly at each horizontal layer but only via a communication path, and end-to-end communications may depend on intermediate components that are hidden from them, but may need to be shown in certain views and analyzed for certain purposes. This architectural model pattern uses methods described in ISO 42010, Recommended Practice for Architectural Description of Software-intensive Systems and CCSDS 311.0-M-1, Reference Architecture for Space Data Systems (RASDS). A set of useful viewpoints and views are presented, along with the associated modeling representations, stakeholders and concerns. These viewpoints, views, and concerns then inform the modeling pattern. This pattern permits viewing the system from several different perspectives and at different layers of abstraction. An external viewpoint treats the systems of interest as black boxes and focuses on the applications view, another view exposes the details of the connections and other components between the black boxes. An internal view focuses on the implementation within the systems of interest, either showing external interface bindings and specific standards that define the communication stack profile or at the level of internal behavior. Orthogonally, a horizontal view isolates a single layer and a vertical viewpoint shows all layers at a single interface point between the systems of interest. Each of these views can in turn be described from both behavioral and structural viewpoints.

Shames, Peter M.↗

Analysis of Handling Qualities and Power Consumption for Urban Air Mobility (UAM) eVTOL Quadrotors with Degraded Heave Disturbance Rejection and Control Response

A piloted handling qualities study of urban air mobility (UAM) electric vertical take-off and landing (eVTOL) quadrotors was performed utilizing the Vertical Motion Simulator (VMS) facility at NASA Ames Research Center. Rotor speed and variable pitch-controlled variants of a six-passenger conceptual design vehicle were assessed with different levels of degradation to control response and disturbance rejection bandwidth (DRB) in the heave axis. In previous work, preliminary trends across several handling quality rating categories reflected the effects of these degradations. Additionally, the impact of using different test standards and turbulence on the ratings were discussed. This paper elaborates on those results, but also provides insight into unexpected trends observed during the study including: a disharmony in attitude response, subpar ratings for the baseline Level 1 performance vehicle, and excessive drift and yaw couplings observed in a lateral reposition maneuver. Moreover, shortcomings of the handling quality scales and comparisons of power consumption among the vehicles in the various test conditions are presented.

Handling Qualities↗

Detonation wave compression in gas turbines

A study was made of the concept of augmenting the performance of low pressure ratio gas turbines by detonation wave compression of part of the flow. The concept exploits the constant volume heat release of detonation waves to increase the efficiency of the Brayton cycle. In the models studied, a fraction of the compressor output was channeled into detonation ducts where it was processed by transient transverse detonation waves. Gas dynamic studies determined the maximum cycling frequency of detonation ducts, proved that upstream propagation of pressure pulses represented no problems and determined the variations of detonation duct output with time. Mixing and wave compression were used to recombine the combustor and detonation duct flows and a concept for a spiral collector to further smooth the pressure and temperature pulses was presented as an optional component. The best performance was obtained with a single firing of the ducts so that the flow could be re-established before the next detonation was initiated. At the optimum conditions of maximum frequency of the detonation ducts, the gas turbine efficiency was found to be 45 percent while that of a corresponding pressure ratio 5 conventional gas turbine was only 26%. Comparable improvements in specific fuel consumption data were found for gas turbines operating as jet engines, turbofans, and shaft output machines. Direct use of the detonation duct output for jet propulsion proved unsatisfactory. Careful analysis of the models of the fluid flow phenomena led to the conclusion that even more elaborate calculations would not diminish the uncertainties in the analysis of the system. Feasibility of the concept to work as an engine now requires validation in an engineering laboratory experiment.

Wortman, A.↗

Verification and Planning Based on Coinductive Logic Programming

Coinduction is a powerful technique for reasoning about unfounded sets, unbounded structures, infinite automata, and interactive computations [6]. Where induction corresponds to least fixed point's semantics, coinduction corresponds to greatest fixed point semantics. Recently coinduction has been incorporated into logic programming and an elegant operational semantics developed for it [11, 12]. This operational semantics is the greatest fix point counterpart of SLD resolution (SLD resolution imparts operational semantics to least fix point based computations) and is termed co- SLD resolution. In co-SLD resolution, a predicate goal p( t) succeeds if it unifies with one of its ancestor calls. In addition, rational infinite terms are allowed as arguments of predicates. Infinite terms are represented as solutions to unification equations and the occurs check is omitted during the unification process. Coinductive Logic Programming (Co-LP) and Co-SLD resolution can be used to elegantly perform model checking and planning. A combined SLD and Co-SLD resolution based LP system forms the common basis for planning, scheduling, verification, model checking, and constraint solving [9, 4]. This is achieved by amalgamating SLD resolution, co-SLD resolution, and constraint logic programming [13] in a single logic programming system. Given that parallelism in logic programs can be implicitly exploited [8], complex, compute-intensive applications (planning, scheduling, model checking, etc.) can be executed in parallel on multi-core machines. Parallel execution can result in speed-ups as well as in larger instances of the problems being solved. In the remainder we elaborate on (i) how planning can be elegantly and efficiently performed under real-time constraints, (ii) how real-time systems can be elegantly and efficiently model- checked, as well as (iii) how hybrid systems can be verified in a combined system with both co-SLD and SLD resolution. Implementations of co-SLD resolution as well as preliminary implementations of the planning and verification applications have been developed [4]. Co-LP and Model Checking: The vast majority of properties that are to be verified can be classified into safety properties and liveness properties. It is well known within model checking that safety properties can be verified by reachability analysis, i.e, if a counter-example to the property exists, it can be finitely determined by enumerating all the reachable states of the Kripke structure.

Bansal, Ajay↗

Housing flexibility effects on rotor stability

Preliminary rotordynamic evaluations are performed with a housing stiffness assumption that is typically determined only after the hardware is built. In addressing rotor stability, a rigid housing assumption was shown to predict an instability at a lower spin speed than a comparable flexible housing analysis. This rigid housing assumption therefore provides a conservative estimate of the stability threshold speed. A flexible housing appears to act as an energy absorber and dissipated some of the destabilizing force. The fact that a flexible housing is usually asymmetric and considerably heavier than the rotor was related to this apparent increase in rotor stability. Rigid housing analysis is proposed as a valuable screening criteria and may save time and money in construction of elaborate housing finite element models for linear stability analyses.

Davis, L. B.↗

Three-D CFD Analysis of Hydrostatic Bearings

The hydrostatic bearing promises life and speed characteristics currently unachievable with rolling element bearings alone. In order to achieve the speed and life requirements of the next generation of rocket engines, turbopump manufacturers are proposing hydrostatic bearings to be used in place of, or in series with, rolling element bearings. The design of a hydrostatic bearing is dependent on accurate pressure in the bearing. The stiffness and damping of the hydrostatic bearing is very sensitive to the bearing recess pressure ratio. In the conventional approach, usually ad hoc assumptions were made in determining the bearing pressure of this approach is inherently incorrect. In the present paper, a more elaborate approach to obtain bearing pressure is used. The bearing pressure and complete flow features of the bearing are directly computed by solving the complete 3-D Navier Stokes equation. The code used in the present calculation is a modified version of REACT3D code. Several calculations have been performed for the hydrostatic bearing designed and tested at Texas A&M. Good agreement has been obtained between computed and test results. Detailed flow features in the bearing will also be described and discussed.

Lin, Shyi-Jang↗

Elaborated Odor Test for Extended Exposure

Concerns were raised when incidental exposure to a proprietary bonding material revealed the material had an irritating odor. The NASA-STD-6001B document describes a supplemental test method option for programs to evaluate materials with odor concerns (Test 6, Odor Assessment). In addition to the supplemental standard odor assessment with less than 10 seconds of exposure, the NASA White Sands Test Facility (WSTF) Materials Flight Acceptance Testing section was requested to perform an odor test with an extended duration to evaluate effects of an extended exposure and to more closely simulate realistic exposure scenarios. With approval from the NASA Johnson Space Center Industrial Hygienist, WSTF developed a 15-minute odor test method. WSTF performed this extended-duration odor test to evaluate the odor and physical effects of the bonding material configured between two aluminum plates, after the safety of the gas was verified via toxicity analysis per NASA-STD-6001B Test 7, Determination of Offgassed Products. During extended-duration testing, odor panel members were arranged near the test material in a small room with the air handlers and doors closed to minimize dilution. The odor panel members wafted gas toward themselves and recorded their individual assessments of odor and physical effects at various intervals during the 15-minute exposure and posttest. A posttest interview was conducted to obtain further information. Testing was effective in providing data for comparison and selection of an optimal offgassing and odor containment configuration. The developed test method for extended exposure is proposed as a useful tool for further evaluating materials with identified odors of concern if continued use of the material is anticipated.

Buchanan, Vanessa D.↗

Rule-Based Flight Software Cost Estimation

This paper discusses the fundamental process for the computation of Flight Software (FSW) cost estimates. This process has been incorporated in a rule-based expert system [1] that can be used for Independent Cost Estimates (ICEs), Proposals, and for the validation of Cost Analysis Data Requirements (CADRe) submissions. A high-level directed graph (referred to here as a decision graph) illustrates the steps taken in the production of these estimated costs and serves as a basis of design for the expert system described in this paper. Detailed discussions are subsequently given elaborating upon the methodology, tools, charts, and caveats related to the various nodes of the graph. We present general principles for the estimation of FSW using SEER-SEM as an illustration of these principles when appropriate. Since Source Lines of Code (SLOC) is a major cost driver, a discussion of various SLOC data sources for the preparation of the estimates is given together with an explanation of how contractor SLOC estimates compare with the SLOC estimates used by JPL. Obtaining consistency in code counting will be presented as well as factors used in reconciling SLOC estimates from different code counters. When sufficient data is obtained, a mapping into the JPL Work Breakdown Structure (WBS) from the SEER-SEM output is illustrated. For across the board FSW estimates, as was done for the NASA Discovery Mission proposal estimates performed at JPL, a comparative high-level summary sheet for all missions with the SLOC, data description, brief mission description and the most relevant SEER-SEM parameter values is given to illustrate an encapsulation of the used and calculated data involved in the estimates. The rule-based expert system described provides the user with inputs useful or sufficient to run generic cost estimation programs. This system's incarnation is achieved via the C Language Integrated Production System (CLIPS) and will be addressed at the end of this paper.

computational intelligence↗

NASA SpaceCube Edge TPU SmallSat Card for Autonomous Operations and Onboard Science-Data Analysis

Using state-of-the-art artificial intelligence (AI)frameworks onboard spacecraft is challenging because common spacecraft processors cannot provide comparable performance to datacenters with server-grade CPUs and GPUs available for terrestrial applications and advanced deep-learning networks. This limitation makes small, lo w-p o we r AI microchip architectures, such as the Google Coral Edge Tensor Processing Unit (TPU), attractive for space missions where the application-specific design enables both high-performance and power-efficient computing for AI applications. To address these challenging considerations for space deployment, this research introduces the design and capabilities of a CubeSat-sized Edge TPU-based co-processor card, known as the SpaceCube Low-power Ed g e Artificial Intelligence Resilient Node (SC-LEARN). This design conforms to NASA’s CubeSat Card Specification (CS2) for integration into next-generation SmallSat and CubeSat systems. This paper describes the overarching architecture and design of the SC-LEARN, as well as, the supporting test card designed for rapid prototyping and evaluation. The SC-LEARN was developed with three operational modes: (1) a high-performance parallel-processing mode,(2)a fault-tolerant mode for onboard resilience, and (3) a power-saving mode with cold spares. Importantly, this research also elaborates on both training and quantization of Tensor Flow models for the SC-LEARN for use onboard with representative, open-source datasets. Lastly, we describe future research plans, including radiation-beam testing and flight demonstration.

Advanced avionics↗

A Fiber Optic Probe for Monitoring Protein Aggregation, Nucleation, and Crystallization

Protein crystals are experimentally grown in hanging drops in microgravity experiments on-board the Space Shuttle orbiter. The technique of dynamic light scattering (DLS) can be used to monitor crystal growth process in hanging droplets (approx. 30 (L)) in microgravity experiments, but elaborate instrumentation and optical alignment problems have made in-situ applications difficult. In this paper we demonstrate that such experiments are now feasible. We apply a newly developed fiber optic probe to various earth and space (micro- gravity) bound protein crystallization system configurations to test its capability. These include conventional batch (cuvette or capillary) systems, hanging drop method in a six-pack hanging drop vapor diffusion apparatus (HDVDA), a modified HDVDA for temperature- induced nucleation and aggregation studies, and a newly envisioned dynamically controlled vapor diffusion system (DCVDS) configuration. Our compact system exploits the principles of DLS and offers a fast (within a few seconds) means of quantitatively and non-invasively monitoring the various growth stages of protein crystallization. In addition to DLS capability, the probe can also be used for performing single-angle static light scattering measurements. It utilizes extremely low levels of laser power (approx. few (W)) without a need of having any optical alignment and vibration isolation. The compact probe is also equipped with a miniaturized microscope for visualization of macroscopic protein crystals. This new optical diagnostic system opens up enormous opportunity for exploring new ways to grow good quality crystals suitable for x-ray crystallographic analysis and may help develop a concrete scientific basis for understanding the process of crystallization.

Ansari, Rafat R.↗

TARGET: Rapid Capture of Process Knowledge

TARGET (Task Analysis/Rule Generation Tool) represents a new breed of tool that blends graphical process flow modeling capabilities with the function of a top-down reporting facility. Since NASA personnel frequently perform tasks that are primarily procedural in nature, TARGET models mission or task procedures and generates hierarchical reports as part of the process capture and analysis effort. Historically, capturing knowledge has proven to be one of the greatest barriers to the development of intelligent systems. Current practice generally requires lengthy interactions between the expert whose knowledge is to be captured and the knowledge engineer whose responsibility is to acquire and represent the expert's knowledge in a useful form. Although much research has been devoted to the development of methodologies and computer software to aid in the capture and representation of some types of knowledge, procedural knowledge has received relatively little attention. In essence, TARGET is one of the first tools of its kind, commercial or institutional, that is designed to support this type of knowledge capture undertaking. This paper will describe the design and development of TARGET for the acquisition and representation of procedural knowledge. The strategies employed by TARGET to support use by knowledge engineers, subject matter experts, programmers and managers will be discussed. This discussion includes the method by which the tool employs its graphical user interface to generate a task hierarchy report. Next, the approach to generate production rules for incorporation in and development of a CLIPS based expert system will be elaborated. TARGET also permits experts to visually describe procedural tasks as a common medium for knowledge refinement by the expert community and knowledge engineer making knowledge consensus possible. The paper briefly touches on the verification and validation issues facing the CLIPS rule generation aspects of TARGET. A description of efforts to support TARGET's interoperability issues on PCs, Macintoshes and UNIX workstations concludes the paper.

Ortiz, C. J.↗

Experiment in Onboard Synthetic Aperture Radar Data Processing

Single event upsets (SEUs) are a threat to any computing system running on hardware that has not been physically radiation hardened. In addition to mandating the use of performance-limited, hardened heritage equipment, prior techniques for dealing with the SEU problem often involved hardware-based error detection and correction (EDAC). With limited computing resources, software- based EDAC, or any more elaborate recovery methods, were often not feasible. Synthetic aperture radars (SARs), when operated in the space environment, are interesting due to their relevance to NASAs objectives, but problematic in the sense of producing prodigious amounts of raw data. Prior implementations of the SAR data processing algorithm have been too slow, too computationally intensive, and require too much application memory for onboard execution to be a realistic option when using the type of heritage processing technology described above. This standard C-language implementation of SAR data processing is distributed over many cores of a Tilera Multicore Processor, and employs novel Radiation Hardening by Software (RHBS) techniques designed to protect the component processes (one per core) and their shared application memory from the sort of SEUs expected in the space environment. The source code includes calls to Tilera APIs, and a specialized Tilera compiler is required to produce a Tilera executable. The compiled application reads input data describing the position and orientation of a radar platform, as well as its radar-burst data, over time and writes out processed data in a form that is useful for analysis of the radar observations.

Holland, Matthew↗

Goal-Function Tree Modeling for Systems Engineering and Fault Management

The draft NASA Fault Management (FM) Handbook (2012) states that Fault Management (FM) is a "part of systems engineering", and that it "demands a system-level perspective" (NASAHDBK- 1002, 7). What, exactly, is the relationship between systems engineering and FM? To NASA, systems engineering (SE) is "the art and science of developing an operable system capable of meeting requirements within often opposed constraints" (NASA/SP-2007-6105, 3). Systems engineering starts with the elucidation and development of requirements, which set the goals that the system is to achieve. To achieve these goals, the systems engineer typically defines functions, and the functions in turn are the basis for design trades to determine the best means to perform the functions. System Health Management (SHM), by contrast, defines "the capabilities of a system that preserve the system's ability to function as intended" (Johnson et al., 2011, 3). Fault Management, in turn, is the operational subset of SHM, which detects current or future failures, and takes operational measures to prevent or respond to these failures. Failure, in turn, is the "unacceptable performance of intended function." (Johnson 2011, 605) Thus the relationship of SE to FM is that SE defines the functions and the design to perform those functions to meet system goals and requirements, while FM detects the inability to perform those functions and takes action. SHM and FM are in essence "the dark side" of SE. For every function to be performed (SE), there is the possibility that it is not successfully performed (SHM); FM defines the means to operationally detect and respond to this lack of success. We can also describe this in terms of goals: for every goal to be achieved, there is the possibility that it is not achieved; FM defines the means to operationally detect and respond to this inability to achieve the goal. This brief description of relationships between SE, SHM, and FM provide hints to a modeling approach to provide formal connectivity between the nominal (SE), and off-nominal (SHM and FM) aspects of functions and designs. This paper describes a formal modeling approach to the initial phases of the development process that integrates the nominal and off-nominal perspectives in a model that unites SE goals and functions of with the failure to achieve goals and functions (SHM/FM). This methodology and corresponding model, known as a Goal-Function Tree (GFT), provides a means to represent, decompose, and elaborate system goals and functions in a rigorous manner that connects directly to design through use of state variables that translate natural language requirements and goals into logical-physical state language. The state variable-based approach also provides the means to directly connect FM to the design, by specifying the range in which state variables must be controlled to achieve goals, and conversely, the failures that exist if system behavior go out-of-range. This in turn allows for the systems engineers and SHM/FM engineers to determine which state variables to monitor, and what action(s) to take should the system fail to achieve that goal. In sum, the GFT representation provides a unified approach to early-phase SE and FM development. This representation and methodology has been successfully developed and implemented using Systems Modeling Language (SysML) on the NASA Space Launch System (SLS) Program. It enabled early design trade studies of failure detection coverage to ensure complete detection coverage of all crew-threatening failures. The representation maps directly both to FM algorithm designs, and to failure scenario definitions needed for design analysis and testing. The GFT representation provided the basis for mapping of abort triggers into scenarios, both needed for initial, and successful quantitative analyses of abort effectiveness (detection and response to crew-threatening events).

Patterson, Jonathan D.↗