Search NASA⌕ Search

SEARCH · Search NASA

Results for “methods and applications”

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 163 records · Page 9
All sourcesNASA NTRSDOE OSTI
NASA NTRS1991

Review and test of chilldown methods for space-based cryogenic tanks

The literature for tank chilldown methods applicable to cryogenic tankage in the zero gravity environment of earth orbit is reviewed. One method is selected for demonstration in a ground based test. The method selected for investigation was the charge-hold-vent method which uses repeated injection of liquid slugs, followed by a hold to allow complete vaporization of the liquid and a vent of the tank to space vacuum to cool tankage to the desired temperature. The test was conducted on a 175 cubic foot, 2219 aluminum walled tank weighing 329 pounds, which was previously outfitted with spray systems to test nonvented fill technologies. To minimize hardware changes, a simple control-by-pressure scheme was implemented to control injected liquid quantities. The tank cooled from 440 R sufficiently in six charge-hold-vent cycles to allow a complete nonvented fill of the test tank. Liquid hydrogen consumed in the process is estimated at 32 pounds.

Chato, David J.↗
NASA NTRS1991

Review and test of chilldown methods for space-based cryogenic tanks

The literature for tank chilldown methods applicable to cryogenic tankage in the zero gravity environment of earth orbit is reviewed. One method is selected for demonstration in a ground based test. The method selected for investigation was the charge-hold-vent method which uses repeated injection of liquid slugs, followed by a hold to allow complete vaporization of the liquid and a vent of the tank to space vacuum to cool tankage to the desired temperature. The test was conducted on a 175 cubic foot, 2219 aluminum walled tank weighing 329 pounds, which was previously outfitted with spray systems to test nonvented fill technologies. To minimize hardware changes, a simple control-by-pressure scheme was implemented to control injected liquid quantities. The tank cooled from 440 R sufficiently in six charge-hold-vent cycles to allow a complete nonvented fill of the test tank. Liquid hydrogen consumed in the process is estimated at 32 pounds.

Chato, David J.↗
NASA NTRS2003

Acoustical Applications of the HHT Method

A document discusses applications of a method based on the Huang-Hilbert transform (HHT). The method was described, without the HHT name, in Analyzing Time Series Using EMD and Hilbert Spectra (GSC-13817), NASA Tech Briefs, Vol. 24, No. 10 (October 2000), page 63. To recapitulate: The method is especially suitable for analyzing time-series data that represent nonstationary and nonlinear physical phenomena. The method involves the empirical mode decomposition (EMD), in which a complicated signal is decomposed into a finite number of functions, called intrinsic mode functions (IMFs), that admit well-behaved Hilbert transforms. The HHT consists of the combination of EMD and Hilbert spectral analysis.

Huang, Norden E.↗
NASA NTRS1977

Digital technique for generating synthetic aperture radar images

This paper describes a digital processing method applicable to a synthetic aperture radar, to be carried by the space shuttle or by satellites. The method uses an earth-fixed coordinate system in which corrective procedures are invoked to compensate for errors introduced by the satellite motion, earth curvature, and wavefront curvature. Among the compensations discussed are those of the coordinate system, skewness, roll, pitch, yaw, earth rotation, and others. The application of a Fast Fourier Transform in the numerical processing of the two-dimensional convolution is discussed in detail.

Van De Lindt, W. J.↗
NASA NTRS2013

Engineering of Data Acquiring Mobile Software and Sustainable End-User Applications

The criteria for which data acquiring software and its supporting infrastructure should be designed should take the following two points into account: the reusability and organization of stored online and remote data and content, and an assessment on whether abandoning a platform optimized design in favor for a multi-platform solution significantly reduces the performance of an end-user application. Furthermore, in-house applications that control or process instrument acquired data for end-users should be designed with a communication and control interface such that the application's modules can be reused as plug-in modular components in greater software systems. The application of the above mentioned is applied using two loosely related projects: a mobile application, and a website containing live and simulated data. For the intelligent devices mobile application AIDM, the end-user interface have a platform and data type optimized design, while the database and back-end applications store this information in an organized manner and manage access to that data to only to authorized user end application(s). Finally, the content for the website was derived from a database such that the content can be included and uniform to all applications accessing the content. With these projects being ongoing, I have concluded from my research that the applicable methods presented are feasible for both projects, and that a multi-platform design for the mobile application only marginally drop the performance of the mobile application.

Smith, Benton T.↗
NASA NTRS1992

Analysis of the Mutual Inductance between Two Parallel Plates for the Detection of Surface Flaws

There has recently been much effort behind the development of NDE methods applicable to the detection of surface/subsurface flaws in thin metallic structures with a rapid scan capability. One such method, an electromagnetic technique using a current-sheet parallel to the surface of a specimen in order to induce eddy current flow shows a high potential for satisfying the rapid scan requirement stated above. The technique is based on the detection of flaw-induced magnetic field components normal to the specimen surface by an appropriate detection mechanism positioned above the current-sheet as shown schematically in Fig. 1. As indicated in this figure, the current-sheet separates the source of the normal magnetic field components from the detector in such a way that the electric and magnetic properties of the current-sheet can be a major factor affecting the strength of the detected signals. The purpose of the present study is, therefore, to perform a detailed investigation on the effect of the material properties of the current-sheet on the detected signal strength and to establish a simple theoretical model for the detection mechanism.

Namking, M.↗
NASA NTRS1980

Calculation of two dimensional vortex/surface interference using panel methods

The application of panel methods to the calculation of vortex/surface interference characteristics in two dimensional flow was studied over a range of situations starting with the simple case of a vortex above a plane and proceeding to the case of vortex separation from a prescribed point on a thick section. Low order and high order panel methods were examined, but the main factor influencing the accuracy of the solution was the distance between control stations in relation to the height of the vortex above the surface. Improvements over the basic solutions were demonstrated using a technique based on subpanels and an applied doublet distribution.

Maskew, B.↗
NASA NTRS2000

Model Checking JAVA Programs Using Java Pathfinder

This paper describes a translator called JAVA PATHFINDER from JAVA to PROMELA, the "programming language" of the SPIN model checker. The purpose is to establish a framework for verification and debugging of JAVA programs based on model checking. This work should be seen in a broader attempt to make formal methods applicable "in the loop" of programming within NASA's areas such as space, aviation, and robotics. Our main goal is to create automated formal methods such that programmers themselves can apply these in their daily work (in the loop) without the need for specialists to manually reformulate a program into a different notation in order to analyze the program. This work is a continuation of an effort to formally verify, using SPIN, a multi-threaded operating system programmed in Lisp for the Deep-Space 1 spacecraft, and of previous work in applying existing model checkers and theorem provers to real applications.

Havelund, Klaus↗
NASA NTRS2005

IEEE/NASA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation

This volume contains the Preliminary Proceedings of the 2005 IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation, with a special track on the theme of Formal Methods in Human and Robotic Space Exploration. The workshop was held on 23-24 September 2005 at the Loyola College Graduate Center, Columbia, MD, USA. The idea behind the Workshop arose from the experience and feedback of ISoLA 2004, the 1st International Symposium on Leveraging Applications of Formal Methods held in Paphos (Cyprus) last October-November. ISoLA 2004 served the need of providing a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

Margaria, Tiziana↗
NASA NTRS1981

A summary of V/STOL inlet analysis methods

Methods to analyze the aerodynamic performance of V/STOL inlets at the NASA Lewis Research Center are discussed with emphasis on recent extensions and applications. Methods include the specification of the Kutta condition for a slotted inlet, the calculation of suction and tangential blowing for boundary layer control, and the analysis of auxiliary inlet geometries at angles of attack. An optimum diffuser velocity distribution is also developed, which can result in the shortest no-boundary layer control inlet and the lowest loss for the required amount of diffusion.

Hwang, D. P.↗
NASA NTRS1983

Planning Transport and Manufacturing for Lowest Cost

A method applicable to transportation and manufacturing. New algorithm alleviates some mathematical difficulties of planning segmented trajectories for lowest cost. Algorithm involves modified Newtonian iterative method in which periapse times, closest approach distances, and orientations of approach hyperbolas serves as independent variables.

Damario, L. A.↗
NASA NTRS1984

Applications of spectral methods to turbulent magnetofluids in space and fusion research

Recent and potential applications of spectral method computation to incompressible, dissipative magnetohydrodynamics are surveyed. Linear stability problems for one dimensional, quasi-equilibria are approachable through a close analogue of the Orr-Sommerfeld equation. It is likely that for Reynolds-like numbers above certain as-yet-undetermined thresholds, all magnetofluids are turbulent. Four recent effects in MHD turbulence are remarked upon, as they have displayed themselves in spectral method computations: (1) inverse cascades; (2) small-scale intermittent dissipative structures; (3) selective decays of ideal global invariants relative to each other; and (4) anisotropy induced by a mean dc magnetic field. Two more conjectured applications are suggested. All the turbulent processes discussed are sometimes involved in current carrying confined fusion magnetoplasmas and in space plasmas.

Montgomery, D.↗
NASA NTRS1983

Variable-Position Acoustic Levitation

Method of acoustic levitation supports objects at positions other than acoustic nodes. Acoustic force is varied so it balances gravitational (or other) force, thereby maintaining object at any position within equilibrium range. Levitation method applicable to containerless processing. Such objects as table-tennis balls, hollow plastic spheres, and balsa-wood spheres levitated in laboratory by new method.

Barmatz, M. B.↗
NASA NTRS1992

Intelligent process mapping through systematic improvement of heuristics

The present system for automatic learning/evaluation of novel heuristic methods applicable to the mapping of communication-process sets on a computer network has its basis in the testing of a population of competing heuristic methods within a fixed time-constraint. The TEACHER 4.1 prototype learning system implemented or learning new postgame analysis heuristic methods iteratively generates and refines the mappings of a set of communicating processes on a computer network. A systematic exploration of the space of possible heuristic methods is shown to promise significant improvement.

Ieumwananonthachai, Arthur↗
NASA NTRS2009

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↗
NASA NTRS1952

The linearized characteristics method and its application to practical nonlinear supersonic problems

The methods of characteristics has been linearized by assuming that the flow field can be represented as a basic flow field determined by nonlinearized methods and a linearized superposed flow field that accounts for small changes of boundary conditions. The method has been applied to two-dimensional rotational flow where the basic flow is potential flow and to axially symmetric problems where conical flows have been used as the basic flows. In both cases the method allows the determination of the flow field to be simplified and the numerical work to be reduced to a few calculations. The calculations of axially symmetric flow can be simplified if tabulated values of some coefficients of the conical flow are obtained. The method has also been applied to slender bodies without symmetry and to some three-dimensional wing problems where two-dimensional flow can be used as the basic flow. Both problems were unsolved before in the approximation of nonlinear flow.

Ferri, Antonio↗
NASA NTRS1981

Determination of wind tunnel constraint effects by a unified pressure signature method. Part 1: Applications to winged configurations

A new, fast, non-iterative version of the "Wall Pressure Signature Method" is described and used to determine blockage and angle-of-attack wind tunnel corrections for highly-powered jet-flap models. The correction method is complemented by the application of tangential blowing at the tunnel floor to suppress flow breakdown there, using feedback from measured floor pressures. This tangential blowing technique was substantiated by subsequent flow investigations using an LV. The basic tests on an unswept, knee-blown, jet flapped wing were supplemented to include the effects of slat-removal, sweep and the addition of unflapped tips. C sub mu values were varied from 0 to 10 free-air C sub l's in excess of 18 were measured in some cases. Application of the new methods yielded corrected data which agreed with corresponding large tunnel "free air" resuls to within the limits of experimental accuracy in almost all cases. A program listing is provided, with sample cases.

Hackett, J. E.↗