Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “projection method”

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 235 records · Page 13

Projected role of advanced computational aerodynamic methods at the Lockheed-Georgia company

Experience with advanced computational methods being used at the Lockheed-Georgia Company to aid in the evaluation and design of new and modified aircraft indicates that large and specialized computers will be needed to make advanced three-dimensional viscous aerodynamic computations practical. The Numerical Aerodynamic Simulation Facility should be used to provide a tool for designing better aerospace vehicles while at the same time reducing development costs by performing computations using Navier-Stokes equations solution algorithms and permitting less sophisticated but nevertheless complex calculations to be made efficiently. Configuration definition procedures and data output formats can probably best be defined in cooperation with industry, therefore, the computer should handle many remote terminals efficiently. The capability of transferring data to and from other computers needs to be provided. Because of the significant amount of input and output associated with 3-D viscous flow calculations and because of the exceedingly fast computation speed envisioned for the computer, special attention should be paid to providing rapid, diversified, and efficient input and output.

Lores, M. E.↗

Proceedings of the First NASA Formal Methods Symposium

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.

Denney, Ewen↗

Processes and Methods used for NASA Communications Services Project Conceptualization and Formulation

The U.S. National Aeronautics and Space Administration (NASA) is partnering with the commercial SATCOM industry to demonstrate the industry’s capabilities to provide services to NASA’s near-Earth missions. Leveraging commercial capabilities will become increasingly necessary for NASA, as its incumbent Government-owned-and-operated near-Earth satellite network, the Tracking and Data Relay Satellite System (TDRSS), will approach retirement towards the end of the current decade. NASA is actively taking the first steps to making the vision of using commercial SATCOM a reality. For more than two years, NASA’s Communication Services Project (CSP) has been evaluating the feasibility of employing commercial satellite communication (SATCOM) networks for near-Earth operations. This past April, CSP awarded US$278.5 million in Funded Space Act Agreements to select commercial SATCOM providers, so they may begin developing and demonstrating their specific near-Earth space communication services that may support future agency missions. Each company will match or exceed agency contributions during the five-year development and demonstration period, totaling more than $1.5 billion of cost-share investment. The companies will complete technology development and in-space demonstrations by 2025, after which NASA intends to seek multiple long-term contracts to acquire these kinds of services. The six companies (Inmarsat Government Inc., Kuiper Government Solutions (KGS), SES Government Solutions, Space Exploration Technologies (SpaceX), Telesat U.S. Services and Viasat Inc.) will shortly begin developing and demonstrating their capabilities to provide services, ranging from launch to standard on-orbit operations. The demonstrations will be across multiple spectrum regimes from L-Band to optical, and will utilize Geostationary Orbit (GEO), Medium-Earth Orbit (MEO) and Low-Earth Orbit (LEO) constellations. This paper discusses methodologies and processes used over the past two years to reach the point of entering into these partnerships. It also includes CSP’s goals and objectives going forward, following the award of six Funded Space Act Agreements to commercial SATCOM providers to develop and demonstrate these capabilities.

Communications Services Project↗

Processes and Methods used for Nasa Communications Services Project Conceptualization and Formulation

The U.S. National Aeronautics and Space Administration (NASA) is partnering with the commercial SATCOM industry to demonstrate the industry’s capabilities to provide services to NASA’s near-Earth missions. Leveraging commercial capabilities will become increasingly necessary for NASA, as its incumbent Government-owned-and-operated near-Earth satellite network, the Tracking and Data Relay Satellite System (TDRSS), will approach retirement towards the end of the current decade. NASA is actively taking the first steps to making the vision of using commercial SATCOM a reality. For more than two years, NASA’s Communication Services Project (CSP) has been evaluating the feasibility of employing commercial satellite communication (SATCOM) networks for near-Earth operations. This past April, CSP awarded US$278.5 million in Funded Space Act Agreements to select commercial SATCOM providers, so they may begin developing and demonstrating their specific near-Earth space communication services that may support future agency missions. Each company will match or exceed agency contributions during the five-year development and demonstration period, totaling more than $1.5 billion of cost-share investment. The companies will complete technology development and in-space demonstrations by 2025, after which NASA intends to seek multiple long-term contracts to acquire these kinds of services. The six companies (Inmarsat Government Inc., Kuiper Government Solutions (KGS), SES Government Solutions, Space Exploration Technologies (SpaceX), Telesat U.S. Services and Viasat Inc.) will shortly begin developing and demonstrating their capabilities to provide services, ranging from launch to standard on-orbit operations. The demonstrations will be across multiple spectrum regimes from L-Band to optical, and will utilize Geostationary Orbit (GEO), Medium-Earth Orbit (MEO) and Low-Earth Orbit (LEO) constellations. This paper discusses methodologies and processes used over the past two years to reach the point of entering into these partnerships. It also includes CSP’s goals and objectives going forward, following the award of six Funded Space Act Agreements to commercial SATCOM providers to develop and demonstrate these capabilities.

Communications Services Project↗

Finite rotation and nonlinear beam kinematics

Standard means of representing finite rotation in rigid-body kinematics, including orientation angles, Euler parameters, and Rodrigues parameters, are reviewed and compared. General kinematical relations for a beam theory that treats arbitrarily large rotation are then presented. The standard methods of representing finite rotations are applied to these kinematical expressions, and comparison is made among the standard methods and additional methods found in the literature, such as quasi-coordinates and linear combinations of projection angles. The method of Rodrigues parameters is shown to stand out for both its simplicity and generality when applied to beam kinematics, a result that is really missing from the literature.

Hodges, Dewey H.↗

An Investigation of High-Order Shock-Capturing Methods for Computational Aeroacoustics

This project is motivated by the desire to develop numerical methods that will be useful in the study of compressible flows that exhibit aeroacoustic phenomena. Solutions to linear problems have been investigated through the development of a computer code based on the recent dispersion-relation-preserving (DRP) methodology. In regard to nonlinear problems, the class of essentially nonoscillatory (ENO) schemes have been considered as the primary candidates for solving aeroacoustic problems in which discontinuities are involved. Discontinuities in the solution itself (e.g. shocks) as well as in the geometry on which the problem is defined have been studied. Two-dimensional nonlinear problems were considered in order to determine if the one-dimensional results obtained in the first phase of this project were extendable to more realistic problems. Conclusions have been drawn in regard to the ability to numerically predict solutions of nonlinear problems with shocks to high-order accuracy.

Casper, Jay↗

Identification of linear stochastic systems through projection filters

A novel method is presented for identifying a state-space model and a state estimator for linear stochastic systems from input and output data. The method is primarily based on the relationship between the state-space model and the finite-difference model of linear stochastic systems derived through projection filters. It is proved that least-squares identification of a finite difference model converges to the model derived from the projection filters. System pulse response samples are computed from the coefficients of the finite difference model.

Chen, Chung-Wen↗

Computing the projected area of a spacecraft solar array with matrices

Matrix methods for computing the projected area of a solar array as a function of the rotational position of a spacecraft and of array position on a spacecraft are presented. Formulas are derived which provide the optimum solar array pitch, cant and tracking angles for a given spacecraft configuration and orbit. These formulas are general and applicable to many spacecraft. Formulas are also provided for determining the energy output from an array for a given orbit and the resultant energy available to spacecraft loads. Results are simply obtained and realizable with a hand calculator. The methods above can be extended to the case of computer analysis of solar array shadowing. How this can be done is outlined and results are presented from a spacecraft study program.

E. M. Gaddy↗

Improving the accuracy of angular-momentum projection

A connection is established between Ullah's new method of angular-momentum projection and the conventional Hill-Wheeler method. They are studied for the case where series truncation of some sort is required. It is shown that for a particular choice of angles, the analysis simplifies greatly and at the same time leads to reduced truncation error.

Ford, W. F.↗

Radiation Risk Projections for Space Travel

Space travelers are exposed to solar and galactic cosmic rays comprised of protons and heavy ions moving with velocities close to the speed of light. Cosmic ray heavy ions are known to produce more severe types of biomolecular damage in comparison to terrestrial forms of radiation, however the relationship between such damage and disease has not been fully elucidated. On Earth, we are protected from cosmic rays by atmospheric and magnetic shielding, and only the remnants of cosmic rays in the form of ground level muons and other secondary radiations are present. Because human epidemiology data is lacking for cosmic rays, risk projection must rely on theoretical understanding and data from experimental models exposed to space radiation using charged particle accelerators to simulate space radiation. Although the risks of cancer and other late effects from cosmic rays are currently believed to present a severe challenge to space travel, this challenge is centered on our lack of confidence in risk projections methodologies. We review biophysics and radiobiology data on the effects of the cosmic ray heavy ions, and the current methods used to project radiation risks . Cancer risk projections are described as a product of many biological and physical factors, each of which has a differential range of uncertainty due to lack of data and knowledge. Risk projections for space travel are described using Monte-Carlo sampling from subjective error di stributions that represent the lack of knowledge in each factor that contributes to the projection model in order to quantify the overall uncertainty in risk projections. This analysis is applied to space mi ssion scenarios including lunar colony, deep space outpost, and a Mars mission. Results suggest that the number of days in space where cancer mortality risks can be assured at a 95% confidence level to be below the maximum acceptable risk for radi ation workers on Earth or the International Space Station is only on the order of 100-200 days. Approaches to reduce these unceI1ainties and mitigate risks are described.

Cucinotta, Francis↗

Thermal verification testing of commercial printed-circuit boards for spaceflight

A method is discussed developed to verify commercial printed-circuit boards for a shuttle orbital flight. The Space Acceleration Measurement System Project used this method first with great success. The test sequence is based on early fault detection, desire to test the final assembly, and integration with other verification testing. A component thermal screening test is performed first to force flaws in design, workmanship, parts, processes, and materials into observable failures. Then temperature definition tests are performed that consist of infrared scanning, thermal vacuum testing, and preliminary thermal operational testing. Only the engineering unit is used for temperature definition testing, but the preliminary thermal operational testing is performed on the flight unit after the temperature range has been defined. In the sequence of testing, vibration testing is performed next, but most vibration failures cannot be detected without subsequent temperature cycling. Finally, final assembly testing is performed to simulate the shuttle flight. An abbreviated thermal screening test is performed as a check after the vibration test, and then a complete thermal operational test is performed. The final assembly test finishes up with a burn-in of 100 hours of trouble-free operation. Verification is successful when all components and final assemblies have passed each test satisfactory. This method was very successful in verifying that commercial printed-circuit boards will survive in the shuttle environment.

Foster, William M., II↗

Development of Analysis Methods for Designing with Composites

The project involved the development of new analysis methods to achieve efficient design of composite structures. We developed a complex variational formulation to analyze the in-plane and bending coupling response of an unsymmetrically laminated plate with an elliptical cutout subjected to arbitrary edge loading as shown in Figure 1. This formulation utilizes four independent complex potentials that satisfy the coupled in-plane and bending equilibrium equations, thus eliminating the area integrals from the strain energy expression. The solution to a finite geometry laminate under arbitrary loading is obtained by minimizing the total potential energy function and solving for the unknown coefficients of the complex potentials. The validity of this approach is demonstrated by comparison with finite element analysis predictions for a laminate with an inclined elliptical cutout under bi-axial loading.The geometry and loading of this laminate with a lay-up of [-45/45] are shown in Figure 2. The deformed configuration shown in Figure 3 reflects the presence of bending-stretching coupling. The validity of the present method is established by comparing the out-of-plane deflections along the boundary of the elliptical cutout from the present approach with those of the finite element method. The comparison shown in Figure 4 indicates remarkable agreement. The details of this method are described in a manuscript by Madenci et al. (1998).

Madenci, E.↗

Myths and realities: Defining re-engineering for a large organization

This paper describes the background and results of three studies concerning software reverse engineering, re-engineering, and reuse (R3) hosted by the Internal Revenue Service in 1991 and 1992. The situation at the Internal Revenue--aging, piecemeal computer systems and outdated technology maintained by a large staff--is familiar to many institutions, especially among management information systems. The IRS is distinctive for the sheer magnitude and diversity of its problems; the country's tax records are processed using assembly language and COBOL and spread across tape and network DBMS files. How do we proceed with replacing legacy systems? The three software re-engineering studies looked at methods, CASE tool support, and performed a prototype project using re-engineering methods and tools. During the course of these projects, we discovered critical issues broader than the mechanical definitions of methods and tool technology.

Yin, Sandra↗

Micron2 Lab: Microfluidic Microbiology Lab Project

Microbial monitoring during spaceflight is crucial to maintain crew health and ensure water purifications systems are functioning properly. Current protocols for in-flight enumeration of bacteria in potable water systems require culture based methods. In this project, we aim to develop a flight- and microgravity-compatible flow cytometer capable of counting total microbial counts in the water supply and differentiating live from dead bacteria.

Burton, Aaron↗

Reduced order component models for flexible multibody dynamics simulations

Many flexible multibody dynamics simulation codes require some form of component description that properly characterizes the dynamic behavior of the system. A model reduction procedure for producing low order component models for flexible multibody simulation is described. Referred to as projection and assembly, the method is a Rayleigh-Ritz approach that uses partitions of the system modal matrix as component Ritz transformation matrices. It is shown that the projection and assembly method yields a reduced system model that preserves a specified set of the full order system modes. Unlike classical component mode synthesis methods, the exactness of the method described is obtained at the expense of having to compute the full order system modes. The paper provides a comprehensive description of the method, a proof of exactness, and numerical results demonstrating the method's effectiveness.

Tsuha, Walter S.↗

Formation Flying/Satellite Swarm Concept Project

NASA needs a method of not only propelling and rotating small satellites, but also to track their position and orientation. We propose a concept that will, for the first time, demonstrate both tracking and propulsion simultaneously in the same system.

Technology Portfolio Project↗

Application of Deterministic and Probabilistic System Design Methods and Enhancements of Conceptual Design Tools for ERA Project

This report documents work done by the Aerospace Systems Design Lab (ASDL) at the Georgia Institute of Technology, Daniel Guggenheim School of Aerospace Engineering for the National Aeronautics and Space Administration, Aeronautics Research Mission Directorate, Integrated System Research Program, Environmentally Responsible Aviation (ERA) Project. This report was prepared under contract NNL12AA12C, "Application of Deterministic and Probabilistic System Design Methods and Enhancement of Conceptual Design Tools for ERA Project". The research within this report addressed the Environmentally Responsible Aviation (ERA) project goal stated in the NRA solicitation "to advance vehicle concepts and technologies that can simultaneously reduce fuel burn, noise, and emissions." To identify technology and vehicle solutions that simultaneously meet these three metrics requires the use of system-level analysis with the appropriate level of fidelity to quantify feasibility, benefits and degradations, and associated risk. In order to perform the system level analysis, the Environmental Design Space (EDS) [Kirby 2008, Schutte 2012a] environment developed by ASDL was used to model both conventional and unconventional configurations as well as to assess technologies from the ERA and N+2 timeframe portfolios. A well-established system design approach was used to perform aircraft conceptual design studies, including technology trade studies to identify technology portfolios capable of accomplishing the ERA project goal and to obtain accurate tradeoffs between performance, noise, and emissions. The ERA goal, shown in Figure 1, is to simultaneously achieve the N+2 benefits of a cumulative noise margin of 42 EPNdB relative to stage 4, a 75 percent reduction in LTO NOx emissions relative to CAEP 6 and a 50 percent reduction in fuel burn relative to the 2005 best in class aircraft. There were 5 research task associated with this research: 1) identify technology collectors, 2) model technology collectors in EDS, 3) model and assess ERA technologies, 4) LTO and cruise emission prediction, and 5) probabilistic analysis of technology collectors and portfolios.

Mavris, Dimitri N.↗

Validating Phasing and Geometry of Large Focal Plane Arrays

The Kepler Mission is designed to survey our region of the Milky Way galaxy to discover hundreds of Earth-sized and smaller planets in or near the habitable zone. The Kepler photometer is an array of 42 CCDs (charge-coupled devices) in the focal plane of a 95-cm Schmidt camera onboard the Kepler spacecraft. Each 50x25-mm CCD has 2,200 x 1,024 pixels. The CCDs accumulate photons and are read out every six seconds to prevent saturation. The data is integrated for 30 minutes, and then the pixel data is transferred to onboard storage. The data is subsequently encoded and transmitted to the ground. During End-to-End Information System (EEIS) testing of the Kepler Mission System (KMS), there was a need to verify that the pixels requested by the science team operationally were correctly collected, encoded, compressed, stored, and transmitted by the FS, and subsequently received, decoded, uncompressed, and displayed by the Ground Segment (GS) without the outputs of any CCD modules being flipped, mirrored, or otherwise corrupted during the extensive FS and GS processing. This would normally be done by projecting an image on the focal plane array (FPA), collecting the data in a flight-like way, and making a comparison between the original data and the data reconstructed by the science data system. Projecting a focused image onto the FPA through the telescope would normally involve using a collimator suspended over the telescope opening. There were several problems with this approach: the collimation equipment is elaborate and expensive; as conceived, it could only illuminate a limited section of the FPA (.25 percent) during a given test; the telescope cover would have to be deployed during testing to allow the image to be projected into the telescope; the equipment was bulky and difficult to situate in temperature-controlled environments; and given all the above, test setup, execution, and repeatability were significant concerns. Instead of using this complicated approach of projecting an optical image on the FPA, the Kepler project developed a method using known defect features in the CCDs to verify proper collection and reassembly of the pixels, thereby avoiding the costs and risks of the optical projection approach. The CCDs composing the Kepler FPA, as all CCDs, had minor defects. At ambient temperature, some pixels look far brighter than they should. These ghot h pixels have a higher rate of charge leakage than the others due to manufacturing variations. They are usually stable over time, and appear at temperatures above 5 oC. The hot pixels on the Kepler FPA were mapped before photometer assembly during module testing. Selected hot pixels were used as target gstars h for the purposes of EEIS testing. gDead h pixels are permanently off, producing a permanently black pixel. These can also be used if there is some illumination of the FPA. During EEIS testing, Dark Current Full Frame Images (FFIs) taken at room temperature were used to create the hot pixel maps for all 84 Kepler photometer CCD channels. Data from two separate nights were used to create two hot pixel maps per channel, which were cross-correlated to remove cosmic ray events which appear to be hot pixels. These hot pixel maps obtained during EEIS testing were compared to the maps made during module testing to verify that the end-to-end data flow was correct.

Standley, Shaun P.↗