Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Design verification”

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 379 records · Page 21
All sourcesNASA NTRSDOE OSTI
NASA NTRS2021

System Validation on the Europa Clipper mission in Early Implementation Phase

NASA’s next flag-ship mission - Europa Clipper, will embark on a journey to Jupiter’s icy moon Europa in 2024 to assess its environment and habitability with a highly capable spacecraft. Post Jupiter-Orbit-Insertion, the spacecraft will be commanded to perform intricate, yet meticulously planned Europa flybys to perform science investigations using a suite of instruments, while withstanding Jupiter’s harsh radiation environment. The success of this mission is dependent on a well-coordinated project and its elements such as the flight hardware and software, the ground support and mission operations teams, procedures and other cross-cutting elements. The Europa Clipper project needs to ensure that these elements are realized at a reasonable confidence level prior to launch and other mission critical events. System Validation test and analysis activities exercise and confirm the integrity of the system of all project elements in the expected flight environment with reasonable stressing conditions. These activities go beyond system design requirements verification and are driven by validation objectives that describe the end-to-end functional and operational capabilities required during nominal and off-nominal flight-like scenarios and critical events. The challenges associated with validating that the Europa Clipper project as a whole can function and perform correctly to meet the intended mission objectives with the as-delivered capabilities of all of its elements are daunting. This paper discusses the systematic methodology established in the early implementation phase of the Europa Clipper project for developing System Validation activities and their validation objectives, and addressing any validation-related challenges on the project. Approaches include decomposition of mission objectives using activity timelines in the Mission Design plan for developing nominal scenarios, use of fault trees for exploring off-nominal cases and system boundaries, and use of Model-based Systems Engineering (MBSE) tools for planning and prioritizing these activities.

Wang, Xu↗
NASA NTRS1991

The 1991 3rd NASA Symposium on VLSI Design

Papers from the symposium are presented from the following sessions: (1) featured presentations 1; (2) very large scale integration (VLSI) circuit design; (3) VLSI architecture 1; (4) featured presentations 2; (5) neural networks; (6) VLSI architectures 2; (7) featured presentations 3; (8) verification 1; (9) analog design; (10) verification 2; (11) design innovations 1; (12) asynchronous design; and (13) design innovations 2.

Maki, Gary K.↗
NASA NTRS1990

Verifying an interactive consistency circuit: A case study in the reuse of a verification technology

The work done at ORA for NASA-LRC in the design and formal verification of a hardware implementation of a scheme for attaining interactive consistency (byzantine agreement) among four microprocessors is presented in view graph form. The microprocessors used in the design are an updated version of a formally verified 32-bit, instruction-pipelined, RISC processor, MiniCayuga. The 4-processor system, which is designed under the assumption that the clocks of all the processors are synchronized, provides software control over the interactive consistency operation. Interactive consistency computation is supported as an explicit instruction on each of the microprocessors. An identical user program executing on each of the processors decides when and on what data interactive consistency must be performed. This exercise also served as a case study to investigate the effectiveness of reusing the technology which was developed during the MiniCayuga effort for verifying synchronous hardware designs. MiniCayuga was verified using the verification system Clio which was also developed at ORA. To assist in reusing this technology, a computer-aided specification and verification tool was developed. This tool specializes Clio to synchronous hardware designs and significantly reduces the tedium involved in verifying such designs. The tool is presented and how it was used to specify and verify the interactive consistency circuit is described.

Bickford, Mark↗
NASA NTRS1971

Specification, space station program (modular)

The modular concepts of a long-term manned scientific laboratory in earth orbit using the space shuttle for orbital buildup and logistics delivery are presented. The specifications defining the performance, design and verification requirements for the Modular Space Program are included.

Source record↗
NASA NTRS1972

Biomedical ground lead system

The design and verification tests for the biomedical ground lead system of Apollo biomedical monitors are presented. Major efforts were made to provide a low impedance path to ground, reduce noise and artifact of ECG signals, and limit the current flowing in the ground electrode of the system.

Source record↗
NASA NTRS1973

Residual water bactericide monitor development program

A silver-ion bactericidal monitor is considered for the Space Shuttle Potable Water System. Potentiometric measurement using an ion-selective electrode is concluded to be the most feasible of available techniques. Four commercially available electrodes and a specially designed, solid-state, silver-sulfide electrode were evaluated for their response characteristics and suitability for space use. The configuration of the solid-state electrode with its Nernstian response of 10 to 10,000 ppb silver shows promise for use in space. A pressurized double-junction reference electrode with a quartz-fiber junction and a replaceable bellows electrolyte reservoir was designed verification-tested, and paired with a solid-state silver-sulfide electrode in a test fixture.

Source record↗
NASA NTRS1976

NASA advanced control technology: An overview

NASA's current and projected advanced control technology programs for future transport aircraft include the design and verification of full flight envelope autopilots, the development and flight test of all-digital fly by wire systems, the evolution of low cost innovative avionics concepts such as split surface stability augmentation systems, the evaluation of integrated propulsion control and cooperative autopilot/propulsion control systems, the application of active control systems to short haul and long haul transports, and the demonstration of reconfigured active control aircraft. Key technical features and anticipated contributions of these technologies are outlined.

Peter R Kurzhals↗
NASA NTRS1978

Technology of welding aluminum alloys-II

Step-by-step procedures were developed for high integrity manual and machine welding of aluminum alloys. Detailed instructions are given for each step with tables and graphs to specify materials and dimensions. Throughout work sequence, processing procedure designates manufacturing verification points and inspection points.

Source record↗
NASA NTRS1976

Payload specialist station study. Part 2: CEI specifications (part 1)

The performance, design, and verification specifications are established for the multifunction display system (MFDS) to be located at the payload station in the shuttle orbiter aft flight deck. The system provides the display units (with video, alphanumerics, and graphics capabilities), associated with electronic units and the keyboards in support of the payload dedicated controls and the displays concept.

Source record↗
NASA NTRS1978

Preliminary design package for solar collector and solar pump

A solar-operated pump using an existing solar collector, for use on solar heating and cooling and hot water systems is described. Preliminary design criteria of the collector and solar-powered pump is given including: design drawings, verification plans, and hazard analysis.

Source record↗
NASA NTRS1979

Space Construction Automated Fabrication Experiment Definition Study (SCAFEDS), part 3. Volume 3: Requirements

The performance, design and verification requirements for the space Construction Automated Fabrication Experiment (SCAFE) are defined. The SCAFE program defines, develops, and demonstrates the techniques, processes, and equipment required for the automatic fabrication of structural elements in space and for the assembly of such elements into a large, lightweight structure. The program defines a large structural platform to be constructed in orbit using the space shuttle as a launch vehicle and construction base.

Source record↗
NASA NTRS1981

Total main rotor isolation system analysis

Requirements, preliminary design, and verification procedures for a total main rotor isolation system at n/rev are presented. The fuselage is isolated from the vibration inducing main rotor at one frequency in all degrees of freedom by four antiresonant isolation units. Effects of parametric variations on isolation system performance are evaluated.

Sankewitsch, V.↗
NASA NTRS1979

Flight test evaluation of a digital controller used in a VTOL automatic approach and landing system

As part of the NASA Langley Research Center's effort to develop technology for VTOL operation in the air transportation system in the late 1980's and beyond, research has been conducted aimed at developing digital controller design procedures. This paper describes the verification of one design procedure by the flight evaluation of an advanced digital control algorithm. The control algorithm, operating at 10 iterations per second, follows step guidance commands with zero steady state error and thus provides an autotrim capability for the nonlinear vehicle. Changes in vehicle dynamics are accounted for using a gain scheduling technique. This control algorithm is combined with sensor filters, a trajectory generator, and a closed loop guidance algorithm to form a VTOL autoland system. A CH-47 tandem rotor helicopter which contains a set of sensors, onboard digital flight computers and electro-hydraulic actuators is used in the evaluation. All software, except input-output routines, is coded in FORTRAN using floating point arithmetic and executed in the flight computer. This autoland system is exercised by automatically flying straight-in descending decelerating trajectories typical of VFR manual approaches to a predetermined landing pad.

Downing, D. R.↗
NASA NTRS1982

A jet controlled magnetic referenced attitude control system for spinning payloads

An attitude control system was designed permitting large angle acquisition and alignment of the principle axis of a spinning payload to within 1 degree of the earth's magnetic field. Signals from magnetometer and gyro sensors are fed to the control algorithm to generate commands for the jet thrusters. The algorithm contains a cross axis magnetometer signal to prevent a large angle magnetometer signal to prevent a large angle equilibrium solution. The acquisition will occur within 50 seconds from initial precession and nutation angles of 30 degrees. An electronic spin filter passes signals at spin and nutation frequencies and rejects bias signals due to sensor misalignment and principle axis offset. Describing function analysis and total analog simulation techniques were used. The flight ACS hardware was interfaced with the analog computer simulation for design and verification. The controller has flown on four successful missions.

Celmer, J. J.↗
NASA NTRS1983

The application of aerodynamic uncertainties in the design of the entry trajectory and flight control system of the space shuttle orbiter

The process used in the application of aerodynamic uncertainties for the design and verification of the Space Shuttle Orbiter Entry Flight Control System is presented. The uncertainties were used to help set center of gravity, angle of attack and dynamic pressure lateral control divergence parameter as well as C sub n sub beta dynamic were instrumental in setting these placards.

Gamble, J. D.↗
NASA NTRS1983

Electrophoretic purification of cells in space - Evaluation of results from STS-3

The procedure and results of Electrophoresis Equipment Verification Test, designed to examine electrophoretic behavior of animal cells is suspension more concentrated than possible on earth and flown on the Shuttle flight STS-3, were discussed. Ground-based laboratory values of electrophoretic mobilities of a mixture of human and rabbit aldehyde-fixed red blood cells (RBC) were compared with those recorded at 11 minute intervals on the Shuttle STS-3. RBC migration and separation observed through photographic records were not as expected. However, cell mobilities and migrating band profiles were consistent with the results of laboratory simulation experiments. It was concluded that zero G electrophoresis of very high concentrations (1 x 10 to the 9th) is possible and similar to electrophoresis of normal cell concentrations on earth.

Sarnoff, B. E.↗