SEARCH · Engineering Papers

Results for “building efficiency”

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 865 records · Page 48

All sources NASA NTRS DOE OSTI

NASA NTRS2002

Thermal Examination of an Orbiting Cryogenic Fuel Depot

For many years NASA has been interested in the storage and transfer of cryogenic fuels in space. Lunar, L2 and other chemical propulsive space vehicle missions now have staged refueling needs that a fuel depot would satisfy. The depot considered is located in lower earth orbit. Many considerations must go into designing and building such a station. Multi-layer insulation systems, thermal shielding and low conductive structural supports are the principal means of protecting the system from excessive heat loss due to boiloff. This study focuses on the thermal losses associated with storing LH2 in a passively cooled fuel depot in a lower earth equatorial orbit. The corresponding examination looks at several configurations of the fuel depot. An analytical model has been developed to determine the thermal advantages and disadvantages of three different fuel depot configurations. Each of the systems consists of three Boeing rocket bodies arranged in various configurations. The first two configurations are gravity gradient stabilized while the third one is a spin-stabilized concept. Each concept was chosen for self-righting capabilities as well as the fuel settling capabilities, however the purpose of this paper is to prove which of the three concepts is the most efficient passively cooled system. The specific areas to be discussed are the heating time from the fusion temperature to the vaporization temperature and the amount of boiloff for a specific number of orbits. Each of the previous points is compared using various sun exposed surface areas of the tanks.

Hull, Patrick V.↗

NASA NTRS2008

NASA and Superalloys: A Customer, a Participant, and a Referee

NASA has had a long history of research and development in the field of superalloys. These efforts have continued today, where the latest advancements in turbine disk and blade technologies are being developed Although NASA does support military flight systems, it s predominant role is in supporting civilian air transportation systems, and thus has goals for improving fuel efficiency, emissions, noise, and safety of today s aircraft. NASA has traditionally served several distinct but complimentary roles as participants in multi-disciplinary research teams, as customers who fund research and development efforts at industry and universities, and as referees who can address broad issues that affect the entire aeronautics community. Because of our longer range viewpoint, we can take on higher risk, higher reward research topics. NASA can also serve as an intermediary between the basic research performed primarily at universities and the development efforts emphasized by industry. By interacting with individual companies, NASA can identify areas of general interest and problems common to a large portion of the aeronautics community, and devise programs aimed at solving these problems. In space missions, NASA is a direct customer responsible for developing vehicles. In the case of the Space Shuttle, NASA has worked with various contractors to design and build numerous components out of superalloys. Another fascinating area for the use of superalloys is in power systems for long life applications in space. Potential missions include providing electric power for deep space missions, surface rovers, including lunar and Mars, and stationary power generators on the lunar surface.

Nathal, Michael V.↗

NASA NTRS2008

NASA and Superalloys: A Customer, a Participant, and a Referee

NASA has had a long history of research and development in the field of superalloys. These efforts have continued today, where the latest advancements in turbine disk and blade technologies are being developed. Although NASA does support military flight systems, its predominant role is in supporting civilian air transportation systems, and thus has goals for improving fuel efficiency, emissions, noise, and safety of today s aircraft. NASA has traditionally served several distinct but complimentary roles as participants in multi-disciplinary research teams, as customers who fund research and development efforts at industry and universities, and as referees who can address broad issues that affect the entire aeronautics community. Because of our longer range viewpoint, we can take on higher risk, higher reward research topics. NASA can also serve as an intermediary between the basic research performed primarily at universities and the development efforts emphasized by industry. By interacting with individual companies, NASA can identify areas of general interest and problems common to a large portion of the aeronautics community, and devise programs aimed at solving these problems. In space missions, NASA is a direct customer responsible for developing vehicles. In the case of the Space Shuttle, NASA has worked with various contractors to design and build numerous components out of superalloys. Another fascinating area for the use of superalloys is in power systems for long life applications in space. Potential missions include providing electric power for deep space missions, surface rovers, including lunar and Mars, and stationary power generators on the lunar surface.

Nathal, Michael V.↗

NASA NTRS2017

Real Time Metrics and Analysis of Integrated Arrival, Departure, and Surface Operations

To address the Integrated Arrival, Departure, and Surface (IADS) challenge, NASA is developing and demonstrating trajectory-based departure automation under a collaborative effort with the FAA and industry known Airspace Technology Demonstration 2 (ATD-2). ATD-2 builds upon and integrates previous NASA research capabilities that include the Spot and Runway Departure Advisor (SARDA), the Precision Departure Release Capability (PDRC), and the Terminal Sequencing and Spacing (TSAS) capability. As trajectory-based departure scheduling and collaborative decision making tools are introduced in order to reduce delays and uncertainties in taxi and climb operations across the National Airspace System, users of the tools across a number of roles benefit from a real time system that enables common situational awareness. A real time dashboard was developed to inform and present users notifications and integrated information regarding airport surface operations. The dashboard is a supplement to capabilities and tools that incorporate arrival, departure, and surface air-traffic operations concepts in a NextGen environment. In addition to shared situational awareness, the dashboard offers the ability to compute real time metrics and analysis to inform users about capacity, predictability, and efficiency of the system as a whole. This paper describes the architecture of the real time dashboard as well as an initial proposed set of metrics. The potential impact of the real time dashboard is studied at the site identified for initial deployment and demonstration in 2017: Charlotte-Douglas International Airport (CLT). The architecture of implementing such a tool as well as potential uses are presented for operations at CLT. Metrics computed in real time illustrate the opportunity to provide common situational awareness and inform users of system delay, throughput, taxi time, and airport capacity. In addition, common awareness of delays and the impact of takeoff and departure restrictions stemming from traffic flow management initiatives are explored. The potential of the real time tool to inform users of the predictability and efficiency of using a trajectory-based departure scheduling system is also discussed.

integrated arrival departure surface operations↗

NASA NTRS2018

Operational Impact of the Baseline Integrated Arrival, Departure and Surface System Field Demonstration

To address the Integrated Arrival, Departure, and Surface (IADS) challenge, NASA is developing and demonstrating trajectory-based departure automation under a collaborative effort with the FAA (Federal Aviation Administration) and industry known Airspace Technology Demonstration 2 (ATD-2). ATD-2 builds upon and integrates previous NASA research capabilities that include the Spot and Runway Departure Advisor (SARDA), the Precision Departure Release Capability (PDRC), and the Terminal Sequencing and Spacing (TSAS) capability. As trajectory-based departure scheduling and collaborative decision making tools are introduced in order to reduce delays and uncertainties in taxi and climb operations across the National Airspace System, users of the tools across a number of roles benefit from a real time system that enables common situational awareness. A real time dashboard was developed to inform and present users notifications and integrated information regarding airport surface operations. The dashboard is a supplement to capabilities and tools that incorporate arrival, departure, and surface air-traffic operations concepts in a NextGen environment. In addition to shared situational awareness, the dashboard offers the ability to compute real time metrics and analysis to inform users about capacity, predictability, and efficiency of the system as a whole. This paper describes the architecture of the real time dashboard as well as an initial proposed set of metrics. The potential impact of the real time dashboard is studied at the site identified for initial deployment and demonstration in 2017: Charlotte-Douglas International Airport (CLT). The architecture of implementing such a tool as well as potential uses are presented for operations at CLT. Metrics computed in real time illustrate the opportunity to provide common situational awareness and inform users of system delay, throughput, taxi time, and airport capacity. In addition, common awareness of delays and the impact of takeoff and departure restrictions stemming from traffic flow management initiatives are explored. The potential of the real time tool to inform users of the predictability and efficiency of using a trajectory-based departure scheduling system is also discussed.

air traffic optimization↗

NASA NTRS2020

Ellicott City Disasters II: Enhancing a Statistical Flood Risk Model to Continue Improving Early Warning Systems and Public Safety in Ellicott City, Maryland

As flooding events in the United States grow in frequency and intensity, the use of technological advancements and applied science are increasingly necessary for effective flood monitoring and warning systems. The NASA DEVELOP Ellicott City Disasters II project investigated the use of machine learning for applications in flood risk detection to support the improvement of early warning systems. To strengthen the efforts of the Howard County Office of Emergency Management (OEM) in building a more robust flood monitoring system, the project improved the original statistical flood risk model, FLuME (Flood Learning Model Environment), programmed by the first DEVELOP term. The enhancements incorporated an additional six years of precipitation and soil moisture data from the North American Land Data Assimilation System (NLDAS), modeled using Aqua Advanced Microwave Scanning Radiometer for EOS and Tropical Rainfall Measuring Mission (TRMM) Microwave Imager. These Earth observations were supplemented by stream gauge data from the OEM and the US Geological Survey. The resultant flood risk model FLASH (Flood Learning Environment and Severity Assessment Hub) was trained to evaluate input variables and predict stage height in Ellicott City in real time. The addition of an advanced deep learning framework known as long short-term memory improved the model’s ability to capture relationships between variables. To assess the effectiveness of the new model, FLASH produced a model efficiency metric of 0.99, a significant improvement over the 0.85 value produced by the previous model. The project assisted the OEM in pursuing the integration of open data and NASA Earth observations into a threat matrix capable of informing near real-time decision making.

Disasters↗

NASA NTRS2020

Ellicott City Disasters II: Enhancing a Statistical Flood Risk Model to Continue Improving Early Warning Systems and Public Safety in Ellicott City, Maryland

As flooding events in the United States grow in frequency and intensity, the use of technological advancements and applied science are increasingly necessary for effective flood monitoring and warning systems. The NASA DEVELOP Ellicott City Disasters II project investigated the use of machine learning for applications in flood risk detection to support the improvement of early warning systems. To strengthen the efforts of the Howard County Office of Emergency Management (OEM) in building a more robust flood monitoring system, the project improved the original statistical flood risk model, FLuME (Flood Learning Model Environment), programmed by the first DEVELOP term The enhancements incorporated an additional six years of precipitation and soil moisture data from the North American Land Data Assimilation System (NLDAS), modeled using Aqua Advanced Microwave Scanning Radiometer for EOS and Tropical Rainfall Measuring Mission TRMM Microwave Imager. These Earth observations were supplemented by stream gauge data from the OEM and the US Geological Survey. The resultant flood risk model FLASH (Flood Learning Environment and Severity Assessment Hub) was trained to evaluate input variables and predict stage height in Ellicott City in real time. The addition of an advanced deep learning framework known as long short-term memory improved the model’s ability to capture relationships between variables. To assess the effectiveness of the new model, FLASH produced a model efficiency metric of 0.99, a significant improvement over the 0.85 value produced by the previous model. The project assisted the OEM in pursuing the integration of open data and NASA Earth observations into a threat matrix capable of informing near real-time decision making.

Disasters↗

NASA NTRS1997

Validation of an Accurate Three-Dimensional Helical Slow-Wave Circuit Model

The helical slow-wave circuit embodies a helical coil of rectangular tape supported in a metal barrel by dielectric support rods. Although the helix slow-wave circuit remains the mainstay of the traveling-wave tube (TWT) industry because of its exceptionally wide bandwidth, a full helical circuit, without significant dimensional approximations, has not been successfully modeled until now. Numerous attempts have been made to analyze the helical slow-wave circuit so that the performance could be accurately predicted without actually building it, but because of its complex geometry, many geometrical approximations became necessary rendering the previous models inaccurate. In the course of this research it has been demonstrated that using the simulation code, MAFIA, the helical structure can be modeled with actual tape width and thickness, dielectric support rod geometry and materials. To demonstrate the accuracy of the MAFIA model, the cold-test parameters including dispersion, on-axis interaction impedance and attenuation have been calculated for several helical TWT slow-wave circuits with a variety of support rod geometries including rectangular and T-shaped rods, as well as various support rod materials including isotropic, anisotropic and partially metal coated dielectrics. Compared with experimentally measured results, the agreement is excellent. With the accuracy of the MAFIA helical model validated, the code was used to investigate several conventional geometric approximations in an attempt to obtain the most computationally efficient model. Several simplifications were made to a standard model including replacing the helical tape with filaments, and replacing rectangular support rods with shapes conforming to the cylindrical coordinate system with effective permittivity. The approximate models are compared with the standard model in terms of cold-test characteristics and computational time. The model was also used to determine the sensitivity of various circuit parameters including typical manufacturing dimensional tolerances and support rod permittivity. By varying the circuit parameters of an accurate model using MAFIA, these sensitivities can be computed for manufacturing concerns, and design optimization previous to fabrication, thus eliminating the need for costly experimental iterations. Several variations were made to a standard helical circuit using MAFIA to investigate the effect that variations on helical tape and support rod width, metallized loading height and support rod permittivity, have on TWT cold-test characteristics.

Kory, Carol L.↗

NASA NTRSDate not supplied

Dynamic Radioisotope Power Systems Development Status and Path to Flight

Dynamic power conversion offers the potential to produce Radioisotope Power Systems (RPS) that generate higher power outputs and utilize the Pu-238 radioisotope more efficiently. Additionally, dynamic power conversion offers the potential of producing generators with minimal degradation resulting in more power at the end of the mission, when the power is needed. Dynamic power conversion technologies being developed for space applications include the Stirling and Brayton thermodynamic cycle machines. Machines can be built based on these cycles while eliminating wear mechanisms of the moving components, enabling long design life necessary for space missions. The Dynamic Radioisotope Power Systems (DRPS) project at NASA Glenn Research Center (Glenn Research Center) is pursuing the realization of this type of power source on a flight mission. The project currently has three convertor development contracts that will deliver prototype hardware in 2020. This hardware will undergo a gamut of experimental performance verification efforts at NASA GRC. In parallel, the project has also initiated generator design efforts based on these underlying convertor options, and is also on track to build an in-house version of a generator for laboratory system-level testing. The project is also funding control electronics technology, which are necessary to convert alternating current from the dynamic devices to direct current for use by a spacecraft. A lunar mission is being targeted as the first use of this new technology, as DRPS enables a wide range of high-return scientific missions on the moon, while the mission being short in duration (2 years rather than 10 years for an outer planets mission).

Salvatore M Oriti↗

NASA NTRSDate not supplied

Dynamic Radioisotope Power Systems Status and Path to Flight

Salvatore Oriti↗

NASA NTRS2021

Mission Concept Design for Autonomous Space Missions using Mission-Level Modeling and Simulation

NASA’s Europa Lander mission is to search for biosignatures on Europa based on in-situ science using a lander architecture. This mission presents a set of challenges that requires a high level of autonomy on the lander system, leading to the need for a new operational paradigm that supports better collaboration and coordination between the lander and the ground operations team. M\&S is used for both designing the onboard system-level autonomy and the ground operations paradigm that allows effective and efficient collaboration and coordination between the lander and the ground operations team. In this paper, M\&S as applied to the design of new mission and operational concepts will be discussed. At its current early stage of the mission development for Europa Lander, the M\&S is used to explore different mission concepts and gain insights for design (formative) rather than to verify and validate fully designed mission concepts quantitatively (summative). Organically, we established a new approach to mission and operational concept exploration using high-fidelity modeling and simulation. M\&S has been an integral part of the approach of defining constraints and assertions, designing mission concepts, assessing (i.e., simulating them), and discovering insights, which feeds back to the definition an design steps. This organically-established approach provided important benefits to the project at its early phase of the development by enabling the project team to be able to build shared understanding of impacts from design characteristics, constraints, and their interactions on the mission performance.

Ye, Sean↗

NASA NTRS1999

Miniature Heat Transport System for Nanosatellite Technology

The scientific understanding of key physical processes between the Sun and the Earth require simultaneous measurements from many vantage points in space. Nano-satellite technologies will enable a class of constellation missions for the NASA Space Science Sun-Earth Connections. This recent emphasis on the implementation of smaller satellites leads to a requirement for development of smaller subsystems in several areas. Key technologies under development include: advanced miniaturized chemical propulsion; miniaturized sensors; highly integrated, compact electronics; autonomous onboard and ground operations; miniatures low power tracking techniques for orbit determination; onboard RF communications capable of transmitting data to the ground from far distances; lightweight efficient solar array panels; lightweight, high output battery cells; lightweight yet strong composite materials for the nano-spacecraft and deployer-ship structures. These newer smaller systems may have higher power densities and higher thermal transport requirements than seen on previous small satellites. Furthermore, the small satellites may also have a requirement to maintain thermal control through extended earth shadows, possibly up to 8 hours long. Older thermal control technology, such as heaters, thermostats, and heat pipes, may not be sufficient to meet the requirements of these new systems. Conversely, a miniature two-phase heat transport system (Mini-HTS) such as a Capillary Pumped Loop (CPL) or Loop Heat Pipe (LBP) is a viable alternative. A Mini-HTS can provide fine temperature control, thermal diode action, and a highly efficient means of heat transfer. The Mini-HTS would have power capabilities in the range of tens of watts or less and provide thermal control over typical spacecraft ranges. The Mini-HTS would allow the internal portion of the spacecraft to be thermally isolated from the external radiator, thus protecting the internal components from extreme cold temperatures during an eclipse. The Mini-HTS would transport the beat from these components to a radiator during their operational modes, and it would be shutdown during non-operational or eclipse modes. Shutdown of the Mini-HTS would be accomplished with small heaters and has been successfully demonstrated on numerous occasions, both in the lab and on flight experiments. Efforts are now underway to miniaturize two-phase heat transport systems for the Nanosatellite project, with potential application to other small satellite programs. 'ne goal of this project is to design, build, and test miniature heat transport systems (MHTS) that would demonstrate the feasibility of a small Capillary Pumped Loop (CPL) or Loop Heat Pipe (LBP).

Douglas, Donya M,↗

NASA NTRS2018

Determination of Ballistic Limit for IM7/8552 Using LS-DYNA MAT 261

The goal of the NASA ACC High Energy Dynamic Impact Project is to determine the state of the art of dynamic fracture simulations for high velocity impact for composite fuselage shielding applications. Using a building block approach, several computational models considered under NASA ACC are being validated against test data, starting at unconfigured panels and progressing to configured panels under combined out-of-plane and in-plane loading due to ballistic impact. The computational models being evaluated in this project include MAT 162, MAT 213, MAT 261, SPG, and Peridynamics. In this paper, the simulation results using LS-Dyna Material MAT 261 are presented. In particular, a series of blind predictions for unconfigured panels were performed to determine the ballistic limit or V50 velocity. MAT 261 employs failure approach that is generally physically-based using fracture toughness criteria. The overall material model relies on typical ply-level stiffness properties, similar to MAT 162 and other composite continuum damage material models. The fracture toughness values are based on standard tests, and thus are not subject to extensive calibration. This approach is more efficient than performing extensive optimization studies for calibration of parameters. Also, this approach of relying on physical properties reduces the uncertainty of results, as questions concerning the quality and extent of the calibration studies is no longer relevant. However, it was found that carefully controlled coupon-level tests are needed to accurately obtain the required fracture toughness values. Additionally, it should be noted that there is one significant parameter in MAT 261 that does appear to require calibration, and that is the overall failure strain. This is the strain at which the element is deleted, and is not the same as the strain at which damage begins to accumulate. This failure strain is termed EFS (Effective Failure Strain), and is the maximum effective stain for element failure. Simulations have shown that this value will significantly affect impact response and failure. The paper presents the effect of this element failure strain parameter, along with possible uncertainties in fracture toughness values. With an adjusted appropriate value for EFS, it is seen that simulation results compare well with impact test data for predicted penetration velocity.

Byar, Alan↗

NASA NTRS1995

A user-system interface agent

Agent-based technologies answer to several challenges posed by additional information processing requirements in today's computing environments. In particular, (1) users desire interaction with computing devices in a mode which is similar to that used between people, (2) the efficiency and successful completion of information processing tasks often require a high-level of expertise in complex and multiple domains, (3) information processing tasks often require handling of large volumes of data and, therefore, continuous and endless processing activities. The concept of an agent is an attempt to address these new challenges by introducing information processing environments in which (1) users can communicate with a system in a natural way, (2) an agent is a specialist and a self-learner and, therefore, it qualifies to be trusted to perform tasks independent of the human user, and (3) an agent is an entity that is continuously active performing tasks that are either delegated to it or self-imposed. The work described in this paper focuses on the development of an interface agent for users of a complex information processing environment (IPE). This activity is part of an on-going effort to build a model for developing agent-based information systems. Such systems will be highly applicable to environments which require a high degree of automation, such as, flight control operations and/or processing of large volumes of data in complex domains, such as the EOSDIS environment and other multidisciplinary, scientific data systems. The concept of an agent as an information processing entity is fully described with emphasis on characteristics of special interest to the User-System Interface Agent (USIA). Issues such as agent 'existence' and 'qualification' are discussed in this paper. Based on a definition of an agent and its main characteristics, we propose an architecture for the development of interface agents for users of an IPE that is agent-oriented and whose resources are likely to be distributed and heterogeneous in nature. The architecture of USIA is outlined in two main components: (1) the user interface which is concerned with issues as user dialog and interaction, user modeling, and adaptation to user profile, and (2) the system interface part which deals with identification of IPE capabilities, task understanding and feasibility assessment, and task delegation and coordination of assistant agents.

Wakim, Nagi T.↗

NASA NTRS2004

Fuel Cell/Reformers Technology Development

NASA Glenn Research Center is interested in developing Solid Oxide Fuel Cell for use in aerospace applications. Solid oxide fuel cell requires hydrogen rich feed stream by converting commercial aviation jet fuel in a fuel processing process. The grantee's primary research activities center on designing and constructing a test facility for evaluating injector concepts to provide optimum feeds to fuel processor; collecting and analyzing literature information on fuel processing and desulfurization technologies; establishing industry and academic contacts in related areas; providing technical support to in-house SOFC-based system studies. Fuel processing is a chemical reaction process that requires efficient delivery of reactants to reactor beds for optimum performance, i.e., high conversion efficiency and maximum hydrogen production, and reliable continuous operation. Feed delivery and vaporization quality can be improved by applying NASA's expertise in combustor injector design. A 10 KWe injector rig has been designed, procured, and constructed to provide a tool to employ laser diagnostic capability to evaluate various injector concepts for fuel processing reactor feed delivery application. This injector rig facility is now undergoing mechanical and system check-out with an anticipated actual operation in July 2004. Multiple injector concepts including impinging jet, venturi mixing, discrete jet, will be tested and evaluated with actual fuel mixture compatible with reforming catalyst requirement. Research activities from September 2002 to the closing of this collaborative agreement have been in the following areas: compiling literature information on jet fuel reforming; conducting autothermal reforming catalyst screening; establishing contacts with other government agencies for collaborative research in jet fuel reforming and desulfurization; providing process design basis for the build-up of injector rig facility and individual injector design.

Source record↗

NASA NTRS2000

Nucleate Boiling Heat Transfer Studied Under Reduced-Gravity Conditions

Boiling is known to be a very efficient mode of heat transfer, and as such, it is employed in component cooling and in various energy-conversion systems. In space, boiling heat transfer may be used in thermal management, fluid handling and control, power systems, and on-orbit storage and supply systems for cryogenic propellants and life-support fluids. Recent interest in the exploration of Mars and other planets and in the concept of in situ resource utilization on the Martian and Lunar surfaces highlights the need to understand how gravity levels varying from the Earth's gravity to microgravity (1g = or > g/g(sub e) = or > 10(exp -6)g) affect boiling heat transfer. Because of the complex nature of the boiling process, no generalized prediction or procedure has been developed to describe the boiling heat transfer coefficient, particularly at reduced gravity levels. Recently, Professor Vijay K. Dhir of the University of California at Los Angeles proposed a novel building-block approach to investigate the boiling phenomena in low-gravity to microgravity environments. This approach experimentally investigates the complete process of bubble inception, growth, and departure for single bubbles formed at a well-defined and controllable nucleation site. Principal investigator Professor Vijay K. Dhir, with support from researchers from the NASA Glenn Research Center at Lewis Field, is performing a series of pool boiling experiments in the low-gravity environments of the KC 135 microgravity aircraft s parabolic flight to investigate the inception, growth, departure, and merger of bubbles from single- and multiple-nucleation sites as a function of the wall superheat and the liquid subcooling. Silicon wafers with single and multiple cavities of known characteristics are being used as test surfaces. Water and PF5060 (an inert liquid) were chosen as test liquids so that the role of surface wettability and the magnitude of the effect of interfacial tension on boiling in reduced gravity can be investigated.

Chao, David F.↗

NASA NTRS2008

Random Testing and Model Checking: Building a Common Framework for Nondeterministic Exploration

Two popular forms of dynamic analysis, random testing and explicit-state software model checking, are perhaps best viewed as search strategies for exploring the state spaces introduced by nondeterminism in program inputs. We present an approach that enables this nondeterminism to be expressed in the SPIN model checker's PROMELA language, and then lets users generate either model checkers or random testers from a single harness for a tested C program. Our approach makes it easy to compare model checking and random testing for models with precisely the same input ranges and probabilities and allows us to mix random testing with model checking's exhaustive exploration of non-determinism. The PROMELA language, as intended in its design, serves as a convenient notation for expressing nondeterminism and mixing random choices with nondeterministic choices. We present and discuss a comparison of random testing and model checking. The results derive from using our framework to test a C program with an effectively infinite state space, a module in JPL's next Mars rover mission. More generally, we show how the ability of the SPIN model checker to call C code can be used to extend SPIN's features, and hope to inspire others to use the same methods to implement dynamic analyses that can make use of efficient state storage, matching, and backtracking.

dynamic analysis↗

NASA NTRS2011

Enhanced Fuel-Optimal Trajectory-Generation Algorithm for Planetary Pinpoint Landing

An enhanced algorithm is developed that builds on a previous innovation of fuel-optimal powered-descent guidance (PDG) for planetary pinpoint landing. The PDG problem is to compute constrained, fuel-optimal trajectories to land a craft at a prescribed target on a planetary surface, starting from a parachute cut-off point and using a throttleable descent engine. The previous innovation showed the minimal-fuel PDG problem can be posed as a convex optimization problem, in particular, as a Second-Order Cone Program, which can be solved to global optimality with deterministic convergence properties, and hence is a candidate for onboard implementation. To increase the speed and robustness of this convex PDG algorithm for possible onboard implementation, the following enhancements are incorporated: 1) Fast detection of infeasibility (i.e., control authority is not sufficient for soft-landing) for subsequent fault response. 2) The use of a piecewise-linear control parameterization, providing smooth solution trajectories and increasing computational efficiency. 3) An enhanced line-search algorithm for optimal time-of-flight, providing quicker convergence and bounding the number of path-planning iterations needed. 4) An additional constraint that analytically guarantees inter-sample satisfaction of glide-slope and non-sub-surface flight constraints, allowing larger discretizations and, hence, faster optimization. 5) Explicit incorporation of Mars rotation rate into the trajectory computation for improved targeting accuracy. These enhancements allow faster convergence to the fuel-optimal solution and, more importantly, remove the need for a "human-in-the-loop," as constraints will be satisfied over the entire path-planning interval independent of step-size (as opposed to just at the discrete time points) and infeasible initial conditions are immediately detected. Finally, while the PDG stage is typically only a few minutes, ignoring the rotation rate of Mars can introduce 10s of meters of error. By incorporating it, the enhanced PDG algorithm becomes capable of pinpoint targeting.

Acikmese, Behcet↗