Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Practical Application”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

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

At least 91 records · Page 5
All sourcesNASA NTRSDOE OSTI
NASA NTRS1999

Practical Application of Model Checking in Software Verification

This paper presents our experiences in applying the JAVA PATHFINDER (J(sub PF)), a recently developed JAVA to SPIN translator, in the finding of synchronization bugs in a Chinese Chess game server application written in JAVA. We give an overview of J(sub PF) and the subset of JAVA that it supports and describe the abstraction and verification of the game server. Finally, we analyze the results of the effort. We argue that abstraction by under-approximation is necessary for abstracting sufficiently smaller models for verification purposes; that user guidance is crucial for effective abstraction; and that current model checkers do not conveniently support the computational models of software in general and JAVA in particular.

Havelund, Klaus↗
NASA NTRS1999

Challenges to the Transition of IPMC Artificial Muscle Actuators to Practical Application

Ion-exchange membrane metallic composites (IPMC), which were first reported in 1992, are one of the electroactive materials (EAP) with potential applications as artificial muscle actuators. The recent introduction of perfluorocarboxylate-gold composite with tetra-n-butylammonium and Lithium cations instead of sodium made the most significant improvement of the material electroactivity. Under less than 3 volts, IPMC with the new constituents is capable of bending beyond a complete loop. Taking into account the fact that IMPC materials do not induce a significant force, the authors are extensively seeking applications for these bending EAP. Some of the applications that were demonstrated include dust-wiper, catheter guide, miniature motor, robotic-gripper, micro-manipulator, etc. Generally, space applications are the most demanding in terms of operating conditions, robustness and durability, and the co-authors of this paper are jointly addressing the associated challenges. Specifically, a dust-wiper is being developed for the Nanorover's infrared camera window of the MUSES-CN mission. This joint NASA and the Japanese space agency mission, is scheduled to be launch from Kagoshima, Japan, in January 2002, to explore the surface of a small near-Earth asteroid. Several issues that are critical to the operation of IPMC are addressed including the operation in vacuum, low temperatures, and the effect of the electromechanical characteristic of the IPMC on its actuation capability. Highly efficient IPMC materials, mechanical modeling, unique elements and protective coating were introduced by the authors and are making a high probability the success of the IPMC actuated dust-wiper.

Bar-Cohen, Yoseph↗
NASA NTRS2006

Practical Application of NASA-Langley Advanced Satellite Products to In-Flight Icing Nowcasts

Experimental satellite-based icing products developed by the NASA Langley Research Center provide new tools to identify the locations of icing and its intensity. Since 1997, research forecasters at the National Center for Atmospheric Research (NCAR) have been helping to guide the NASA Glenn Research Center's Twin Otter aircraft into and out of clouds and precipitation for the purpose of characterizing in-flight icing conditions, including supercooled large drops, the accretions that result from such encounters and their effect on aircraft performance. Since the winter of 2003-04, the NASA Langley satellite products have been evaluated as part of this process, and are being considered as an input to NCAR s automated Current Icing Potential (CIP) products. This has already been accomplished for a relatively straightforward icing event, but many icing events have much more complex characteristics, providing additional challenges to all icing diagnosis tools. In this paper, four icing events with a variety of characteristics will be examined, with a focus on the NASA Langley satellite retrievals that were available in real time and their implications for icing nowcasting and potential applications in CIP.

Bernstein, Ben C.↗
NASA NTRS2006

Practical Application of Model-based Programming and State-based Architecture to Space Missions

A viewgraph presentation to develop models from systems engineers that accomplish mission objectives and manage the health of the system is shown. The topics include: 1) Overview; 2) Motivation; 3) Objective/Vision; 4) Approach; 5) Background: The Mission Data System; 6) Background: State-based Control Architecture System; 7) Background: State Analysis; 8) Overview of State Analysis; 9) Background: MDS Software Frameworks; 10) Background: Model-based Programming; 10) Background: Titan Model-based Executive; 11) Model-based Execution Architecture; 12) Compatibility Analysis of MDS and Titan Architectures; 13) Integrating Model-based Programming and Execution into the Architecture; 14) State Analysis and Modeling; 15) IMU Subsystem State Effects Diagram; 16) Titan Subsystem Model: IMU Health; 17) Integrating Model-based Programming and Execution into the Software IMU; 18) Testing Program; 19) Computationally Tractable State Estimation & Fault Diagnosis; 20) Diagnostic Algorithm Performance; 21) Integration and Test Issues; 22) Demonstrated Benefits; and 23) Next Steps

Mission Data System (MDS)↗
NASA NTRS2006

Practical Application of Model-based Programming and State-based Architecture to Space Missions

Innovative systems and software engineering solutions are required to meet the increasingly challenging demands of deep-space robotic missions. While recent advances in the development of an integrated systems and software engineering approach have begun to address some of these issues, they are still at the core highly manual and, therefore, error-prone. This paper describes a task aimed at infusing MIT's model-based executive, Titan, into JPL's Mission Data System (MDS), a unified state-based architecture, systems engineering process, and supporting software framework. Results of the task are presented, including a discussion of the benefits and challenges associated with integrating mature model-based programming techniques and technologies into a rigorously-defined domain specific architecture.

state analysis↗
NASA NTRS2008

Practical Application of a Subscale Transport Aircraft for Flight Research in Control Upset and Failure Conditions

Over the past decade, the goal of reducing the fatal accident rate of large transport aircraft has resulted in research aimed at the problem of aircraft loss-of-control. Starting in 1999, the NASA Aviation Safety Program initiated research that included vehicle dynamics modeling, system health monitoring, and reconfigurable control systems focused on flight regimes beyond the normal flight envelope. In recent years, there has been an increased emphasis on adaptive control technologies for recovery from control upsets or failures including damage scenarios. As part of these efforts, NASA has developed the Airborne Subscale Transport Aircraft Research (AirSTAR) flight facility to allow flight research and validation, and system testing for flight regimes that are considered too risky for full-scale manned transport airplane testing. The AirSTAR facility utilizes dynamically-scaled vehicles that enable the application of subscale flight test results to full scale vehicles. This paper describes the modeling and simulation approach used for AirSTAR vehicles that supports the goals of efficient, low-cost and safe flight research in abnormal flight conditions. Modeling of aerodynamics, controls, and propulsion will be discussed as well as the application of simulation to flight control system development, test planning, risk mitigation, and flight research.

Cunningham, Kevin↗
NASA NTRS2013

Practical Application of PRA as an Integrated Design Tool for Space Systems

This paper presents the application of the first comprehensive Probabilistic Risk Assessment (PRA) during the design phase of a joint NASA/NOAA weather satellite program, Geostationary Operational Environmental Satellite Series R (GOES-R). GOES-R is the next generation weather satellite primarily to help understand the weather and help save human lives. PRA has been used at NASA for Human Space Flight for many years. PRA was initially adopted and implemented in the operational phase of manned space flight programs and more recently for the next generation human space systems. Since its first use at NASA, PRA has become recognized throughout the Agency as a method of assessing complex mission risks as part of an overall approach to assuring safety and mission success throughout project lifecycles. PRA is now included as a requirement during the design phase of both NASA next generation manned space vehicles as well as for high priority robotic missions. The influence of PRA on GOES-R design and operation concepts are discussed in detail. The GOES-R PRA is unique at NASA for its early implementation. It also represents a pioneering effort to integrate risks from both Spacecraft (SC) and Ground Segment (GS) to fully assess the probability of achieving mission objectives. PRA analysts were actively involved in system engineering and design engineering to ensure that a comprehensive set of technical risks were correctly identified and properly understood from a design and operations perspective. The analysis included an assessment of SC hardware and software, SC fault management system, GS hardware and software, common cause failures, human error, natural hazards, solar weather and infrastructure (such as network and telecommunications failures, fire). PRA findings directly resulted in design changes to reduce SC risk from micro-meteoroids. PRA results also led to design changes in several SC subsystems, e.g. propulsion, guidance, navigation and control (GNC), communications, mechanisms, and command and data handling (C&DH). The fault tree approach assisted in the development of the fault management system design. Human error analysis, which examined human response to failure, indicated areas where automation could reduce the overall probability of gaps in operation by half. In addition, the PRA brought to light many potential root causes of system disruptions, including earthquakes, inclement weather, solar storms, blackouts and other extreme conditions not considered in the typical reliability and availability analyses. Ultimately the PRA served to identify potential failures that, when mitigated, resulted in a more robust design, as well as to influence the program's concept of operations. The early and active integration of PRA with system and design engineering provided a well-managed approach for risk assessment that increased reliability and availability, optimized lifecyc1e costs, and unified the SC and GS developments.

Kalia, Prince↗
NASA NTRS2017

Practical Applications of Cables and Ropes in the ISS Countermeasures System

National Aeronautics and Space Administration (NASA) uses exercise countermeasures on the International Space Station (ISS) to maintain crew health and combat the negative effects of long-duration spaceflight on the human body. Most ISS exercise countermeasures system (CMS) equipment rely heavily on the use of textile and wire ropes to transmit resistive loads and provide stability in a microgravity environment. For a variety of reasons, including challenges in simulating microgravity environments for testing and limits on time available for life cycle testing, the textiles and wire ropes have contributed significantly to on-orbit planned and unplanned maintenance time. As a result, continued ground testing and on-orbit experience since the first expedition on the ISS in 2000 provide valuable data and lessons learned in materials selection, applications, and design techniques to increase service life of these ropes. This paper will present a review of the development and failure history of textile and wire ropes for four exercise countermeasure systems-the Treadmill with Vibration Isolation and Stabilization (TVIS) System, Cycle Ergometer with Vibration Isolation and Stabilization (CEVIS) System, Interim Resistive Exercise Device (IRED), and the Advanced Resistive Exercise Device (ARED)-to identify lessons learned in order to improve future systems. These lessons learned, paired with thorough testing on the ground, offer a forward path towards reduced maintenance time and up-mass for future space missions.

Svetlik, Randall G.↗
NASA NTRS2017

Practical Applications of Cables and Ropes in the ISS Countermeasures System

As spaceflight durations have increased over the last four decades, the effects of weightlessness on the human body are far better understood, as are the countermeasures. A combination of aerobic and resistive exercise devices contribute to countering the losses in muscle strength, aerobic fitness, and bone strength of today's astronauts and cosmonauts that occur during their missions on the International Space Station. Creation of these systems has been a dynamically educational experience for designers and engineers. The ropes and cables in particular have experienced a wide range of challenges, providing a full set of lessons learned that have already enabled improvements in on-orbit reliability by initiating system design improvements. This paper examines the on-orbit experience of ropes and cables in several exercise devices and discusses the lessons learned from these hardware items, with the goal of informing future system design.

Moore, Cherice↗