Preliminary design specification for the LANDSAT Imagery Verification and Extraction System (LIVES)
There are no author-identified significant results in this report.
Everette, J. M.↗
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.
Alignment design for a cryogenic telescope
This paper describes the alignment approach for the infrared astronomical satellite (IRAS) optical subsystem from initial design to acceptance testing. The constraints imposed by the requirement of maintaining alignment at 300K and 2K, in a 1-g and 0-g gravitational field, during warm and cold vibration, and during various stages of assembly, are discussed. The paper concludes with the methodology of applying NASTRAN finite element analyses to the alignment design, followed by the verification of the accuracy of the design with the test results.
Young, P.↗
Experimental verification of the multistage depressed collector design procedure for a high-perveance, helix-type, traveling-wave tube
The validity of a computational procedure for the design of multistage depressed collectors (MDC's) is demonstrated for a traveling wave tube (TWT) with a perveance of .00000123. The MDC is used with spent-beam refocusing to improve substantially the efficiency of the TWT. Reports on this subject have verified, under a variety of operating conditions, the MDC design procedure for TWT's with lower perveance. The design procedure is based on two computer programs that create a mathematical model of the electric and magnetic fields of the TWT refocuser MDC system and its electron beam. The two principal outputs of the analysis are a description of the radiofrequency (RF) performance of the TWT and the trajectories of representatives groups of charges from the input of the TWT to their points of interception on the MDC electrodes.
Dayton, J. A., Jr.↗
Moderate Resolution Imaging Spectrometer (MODIS) design evolution and associated development and verification of data product efforts
The Moderate Resolution Imaging Spectrometer (MODIS) is a key observing facility to be flown on the Earth Observing System (EOS). The facility is composed of two instruments called MODIS-N (nadir) and MODIS-T (tilt). The MODIS-N is being built under contract to NASA by the Santa Barbara Research Center. The MODIS-T is being fabricated by the Engineering Directorate at the Goddard Space Flight Center. The MODIS Science Team has defined nearly 40 biogeophysical data products for studies of the ocean and land surface and properties of the atmosphere including clouds that can be expected to be produced from the MODIS instruments shortly after the launch of EOS. The ocean, land, atmosphere, and calibration groups of the MODIS Science Team are now proceeding to plan and implement the operations and facilities involving the analysis of data from existing spaceborne, airborne, and in-situ sensors required to develop and validate the algorithms that will produce the geophysical data products. These algorithm development and validation efforts will be accomplished wherever possible within the context of existing or planned national and international experiments or programs such as those in the World Climate Research Program.
Salomonson, Vincent V.↗
Experimental verification of Space Platform battery discharger design optimization
The detailed design of two candidate topologies for the Space Platform battery discharger, a four module boost converter (FMBC) and a voltage-fed push-pull autotransformer (VFPPAT), is presented. Each has unique problems. The FMBC requires careful design and analysis in order to obtain good dynamic performance. This is due to the presence of a right-half-plane (RHP) zero in the control-to-output transfer function. The VFPPAT presents a challenging power stage design in order to yield high efficiency and light component weight. The authors describe the design of each of these converters and compare their efficiency, weight, and dynamic characteristics.
Sable, Dan M.↗
Process and assembly plans for low cost commercial fuselage structure
Cost and weight reduction for a composite structure is a result of selecting design concepts that can be built using efficient low cost manufacturing and assembly processes. Since design and manufacturing are inherently cost dependent, concurrent engineering in the form of a Design-Build Team (DBT) is essential for low cost designs. Detailed cost analysis from DBT designs and hardware verification must be performed to identify the cost drivers and relationships between design and manufacturing processes. Results from the global evaluation are used to quantitatively rank design, identify cost centers for higher ranking design concepts, define and prioritize a list of technical/economic issues and barriers, and identify parameters that control concept response. These results are then used for final design optimization.
Willden, Kurtis↗
A Novel Data System for Verification of Internal Parameters of Motor Design
Three major obstacles have limited the amount of information that can be obtained from inside an operating solid rocket motor. The first is a safety issue due to the presence of live propellant interacting with classical, electrical instrumentation. The second is a pressure vessel feed through risk arising from bringing a large number of wires through the rocket motor wall safely. The third is an attachment/protection issue associated with connecting gages to live propellant. Thiokol has developed a highly miniaturized, networked, electrically isolated data system that has safely delivered information from classical, electrical instrumentation (even on the burning propellant surface) to the outside world. This system requires only four wires to deliver 80 channels of data at 2300 samples/second/channel. The feed through leak path risk is massively reduced from the current situation where each gage requires at least three pressure vessel wire penetrations. The external electrical isolation of the system is better than that of the propellant itself. This paper describes the new system.
Smith, Doug↗
Design of Quiet Rotorcraft Approach Trajectories: Verification Phase
Flight testing that is planned for October 2010 will provide an opportunity to evaluate rotorcraft trajectory optimization techniques. The flight test will involve a fully instrumented MD-902 helicopter, which will be flown over an array of microphones. In this work, the helicopter approach trajectory is optimized via a multiobjective genetic algorithm to improve community noise, passenger comfort, and pilot acceptance. Previously developed optimization strategies are modified to accommodate new helicopter data and to increase pilot acceptance. This paper describes the MD-902 trajectory optimization plus general optimization strategies and modifications that are needed to reduce the uncertainty in noise predictions. The constraints that are imposed by the flight test conditions and characteristics of the MD-902 helicopter limit the testing possibilities. However, the insights that will be gained through this research will prove highly valuable.
Padula, Sharon L.↗
Formal Verification Toolkit for Requirements and Early Design Stages
Efficient flight software development from natural language requirements needs an effective way to test designs earlier in the software design cycle. A method to automatically derive logical safety constraints and the design state space from natural language requirements is described. The constraints can then be checked using a logical consistency checker and also be used in a symbolic model checker to verify the early design of the system. This method was used to verify a hybrid control design for the suit ports on NASA Johnson Space Center's Space Exploration Vehicle against safety requirements.
Badger, Julia M.↗
An Experimental Approach to a Rapid Propulsion and Aeronautics Concepts Testbed
Modern aircraft design tools have limitations for predicting complex propulsion-airframe interactions. The demand for new tools and methods addressing these limitations is high based on the many recent Distributed Electric Propulsion (DEP) Vertical Take-Off and Landing (VTOL) concepts being developed for Urban Air Mobility (UAM) markets. We propose that low cost electronics and additive manufacturing can support the conceptual design of advanced autonomy-enabled concepts, by facilitating rapid prototyping for experimentally driven design cycles. This approach has the potential to reduce complex aircraft concept development costs, minimize unique risks associated with the conceptual design, and shorten development schedule by enabling the determination of many "unknown unknowns" earlier in the design process and providing verification of the results from aircraft design tools. A modular testbed was designed and built to evaluate this rapid design-build-test approach and to support aeronautics and autonomy research targeting UAM applications utilizing a complex, transitioning-VTOL aircraft configuration. The testbed is a modular wind tunnel and flight model. The testbed airframe is approximately 80% printed, with labor required for assembly. This paper describes the design process, fabrication process, ground testing, and initial wind tunnel structural and thermal loading of a proof-of-concept aircraft, the Langley Aerodrome 8 (LA-8).
McSwain, Robert G.↗
Structural Verification of the Redesigned Space Shuttle Bipod Foam Closeout
This document outlines the structural verification approach for the Space Shuttle External Tank Forward Bipod Foam Closeout. Due to the Space Shuttle Columbia accident, debris has become a major concern. The intent of the structural verification is to ensure that any debris shed from the bipod is within acceptable limits. Since cohesive failure due to internal defects was identified as the most likely cause of the STS-107 bipod ramp foam failure, verification for this failure mode receives particular emphasis. However, all failure modes for TPS are considered and appropriate verification rationale is developed for each failure mode. Figure 1 depicts the structural verification of a production design where analysis and test are the primary methods of verification. It can be seen that the successful completion of structural verification is dependent on three main areas: 1. Production process control and quality assurance must ensure that test articles and/or analytical models are representative of (or conservatively envelope) production hardware in terms of geometry, materials and processing. Variability and defects must be considered. 2. Flight environments must be sufficiently characterized to bound driving environments for all failure modes. Applied environments, either test or analytical, must be representative of flight environments and have a load factor that satisfies design requirements. 3. Structural verification must include all failure modes. A comprehensive list of failure modes and the underlying failure mechanisms has been generated based on flight and test experience. Verification tests and / or analyses must address each failure mode. ET TPS Verification is accomplished by a combination of analysis, test, and similarity.
Poole, Eric L.↗
Study of space shuttle orbiter system management computer function. Volume 2: Automated performance verification concepts
The findings are presented of investigations on concepts and techniques in automated performance verification. The investigations were conducted to provide additional insight into the design methodology and to develop a consolidated technology base from which to analyze performance verification design approaches. Other topics discussed include data smoothing, function selection, flow diagrams, data storage, and shuttle hydraulic systems.
Source record↗
Design of ground test suspension systems for verification of flexible space structures
A simple model demonstrates the frequency-increasing effects of a simple cable suspension on flexible test article/suspension systems. Two passive suspension designs, namely a negative spring mechanism and a rolling cart mechanism, are presented to alleviate the undesirable frequency-increasing effects. Analysis methods are provided for systems in which the augmentations are applied to both discrete and continuous representations of test articles. The damping analyses are based on friction equivalent viscous damping. Numerical examples are given for comparing the two augmentations with respect to minimizing frequency and damping increases.
Cooley, V. M.↗
Development of a Three-Dimensional, Unstructured Material Response Design Tool
A preliminary verification and validation of a new material response model is presented. This model, Icarus, is intended to serve as a design tool for the thermal protection systems of re-entry vehicles. Currently, the capability of the model is limited to simulating the pyrolysis of a material as a result of the radiative and convective surface heating imposed on the material from the surrounding high enthalpy gas. Since the major focus behind the development of Icarus has been model extensibility, the hope is that additional physics can be quickly added. This extensibility is critical since thermal protection systems are becoming increasing complex, e.g. woven carbon polymers. Additionally, as a three-dimensional, unstructured, finite-volume model, Icarus is capable of modeling complex geometries. In this paper, the mathematical and numerical formulation is presented followed by a discussion of the software architecture and some preliminary verification and validation studies.
Thermal Protection System↗
Development of an Unstructured, Three-Dimensional Material Response Design Tool
A preliminary verification and validation of a new material response model is presented. This model, Icarus, is intended to serve as a design tool for the thermal protection systems of re-entry vehicles. Currently, the capability of the model is limited to simulating the pyrolysis of a material as a result of the radiative and convective surface heating imposed on the material from the surrounding high enthalpy gas. Since the major focus behind the development of Icarus has been model extensibility, the hope is that additional physics can be quickly added. The extensibility is critical since thermal protection systems are becoming increasing complex, e.g. woven carbon polymers. Additionally, as a three-dimensional, unstructured, finite-volume model, Icarus is capable of modeling complex geometries as well as multi-dimensional physics, which have been shown to be important in some scenarios and are not captured by one-dimensional models. In this paper, the mathematical and numerical formulation is presented followed by a discussion of the software architecture and some preliminary verification and validation studies.
Material Response Model↗
Formal methods for life-critical software
The use of computer software in life-critical applications, such as for civil air transports, demands the use of rigorous formal mathematical verification procedures. This paper demonstrates how to apply formal methods to the development and verification of software by leading the reader step-by-step through requirements analysis, design, implementation, and verification of an electronic phone book application. The current maturity and limitations of formal methods tools and techniques are then discussed, and a number of examples of the successful use of formal methods by industry are cited.
Butler, Ricky W.↗
Formal Methods for Life-Critical Software
The use of computer software in life-critical applications, such as for civil air transports, demands the use of rigorous formal mathematical verification procedures. This paper demonstrates how to apply formal methods to the development and verification of software by leading the reader step-by-step through requirements analysis, design, implementation, and verification of an electronic phone book application. The current maturity and limitations of formal methods tools and techniques are then discussed, and a number of examples of the successful use of formal methods by industry are cited.
Butler, Ricky W.↗
Space Station Furnace Facility. Volume 2: Appendix 1: Contract End Item specification (CEI), part 1
This specification establishes the performance, design, development, and verification requirements for the Space Station Furnace Facility (SSFF) Core. The definition of the SSFF Core and its interfaces, specifies requirements for the SSFF Core performance, specifies requirements for the SSFF Core design, and construction are presented, and the verification requirements are established.
Seabrook, Craig↗