SEARCH · Search NASA
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.
The program, first written in REDUCE, was implemented in MACSYMA with several additional techniques which are explained. By utilizing many methods, the program can obtain closed-form and series solutions to a large class of linear and nonlinear problems. One of the techniques developed, reduction to a differential equation, has not previously appeared in the literature in the general form described.
This paper presents an overview of the environmental verification programs followed on an STS-launched free-flier payload, using the Tracking and Data Relay Satellite (TDRS) as an example, and a pallet payload, using the Office of Space Sciences-1 (OSS-1) as an example. Differences are assessed and rationale given as to why the differing programs were used on the two example payloads. It is concluded that the differences between the programs are due to inherent differences in the payload configuration, their respective mission performance objectives and their operational scenarios rather than to any generic distinctions that differentiate between a free-flier and a pallet payload.
Report presents results of continuing program aimed at characterizing mercury/cadmium/tellurium alloys and eventually developing improved methods of preparing alloys for use as infrared sensors. Work covered by report includes series of differential thermal analysis (DTA) measurements of alloy compositions with x varied from 9 to 1 in 0.1 increments.
A preliminary design study is presented for the Lidar Atmospheric Sounder and Altimeter (LASA), an active remote sensor for the Earth Observing System. LASA is designed to measure the global vertical distributions of aerosols, cloud top heights, atmospheric trace gases, atmospheric temperature and pressure, and the height of the PBL. The measurements are made using optical radar, differential absorption lidar, and laser altimetry. An experiment proposed for the LASA facility, the EOS Atmospheric Global Lidar Experiment (EAGLE) is described in detail. The EAGLE program is planned to determine aerosol and cloud distributions, water vapor concentrations, and temperature profiles over the troposphere and aerosol distribution over the stratosphere. The measurement techniques, receiver system, and transmitter for the EAGLE program are examined and the conceptual design of the EAGLE experiment and the LASA/EAGLE interface is outlined.
The risk to the development of program reliability is derived from the use of a new language and from the potential use of new storage management techniques. With Ada and associated support software, there is a lack of established guidelines and procedures, drawn from experience and common usage, which assume reliable behavior. The risk is identified and clarified. In order to provide a framework for future consideration of dynamic storage management on Ada, a description of the relevant aspects of the language is presented in two sections: Program data sources, and declaration and allocation in Ada. Storage-management characteristics of the Ada language and storage-management characteristics of Ada implementations are differentiated. Terms that are used are defined in a narrow and precise sense. The storage-management implications of the Ada language are described. The storage-management options available to the Ada implementor and the implications of the implementor's choice for the Ada programmer are also described.
Explore the source record for details and available documents.
A program for predicting the linear stability of liquid propellant rocket engines is presented. The underlying model assumptions and analytical steps necessary for understanding the program and its input and output are also given. The rocket engine is modeled as a right circular cylinder with an injector with a concentrated combustion zone, a nozzle, finite mean flow, and an acoustic admittance, or the sensitive time lag theory. The resulting partial differential equations are combined into two governing integral equations by the use of the Green's function method. These equations are solved using a successive approximation technique for the small amplitude (linear) case. The computational method used as well as the various user options available are discussed. Finally, a flow diagram, sample input and output for a typical application and a complete program listing for program MODULE are presented.
Cocultured Xenopus neurons and myocytes were subjected to non-vectorial gravity by clinostat rotation to determine if microgravity, during space flights, may affect cell development and communications. Clinorotated cells showed changes consistent with the hypothesis that cell differentiation, in microgravity, is altered by interference with cytoskeleton-related mechanisms. We found: increases in the myocyte and its nuclear area, "fragmentation" of nucleoli, appearance of neuritic "aneurysms", decreased growth in the presence of "trophic" factors, and decreased yolk utilization. The effects were most notable at 1-10 rpm and depended on the onset and duration of rotation. Some parameters returned to near control values within 48 hrs after cessation of rotation. Cells from cultures rotated at higher speeds (>50 rpm) appeared comparable to controls. Compensation by centrifugal forces may account for this finding. Our data are consistent, in principle, with effects on other, flighted cells and suggest that "vector-free" gravity may simulate certain aspects of microgravity. The distribution of acetylcholine receptor aggregates, on myocytes, was also altered. This indicates that brain development, in microgravity, may also be affected.
A set of implicit methods are proposed for a third-order hierarchical WENO reconstructed discontinuous Galerkin method for compressible flows on 3D hybrid grids. An attractive feature in these methods are the application of the Jacobian matrix based on the P1 element approximation, resulting in a huge reduction of memory requirement compared with DG (P2). Also, three approaches -- analytical derivation, divided differencing, and automatic differentiation (AD) are presented to construct the Jacobian matrix respectively, where the AD approach shows the best robustness. A variety of compressible flow problems are computed to demonstrate the fast convergence property of the implemented flow solver. Furthermore, an SPMD (single program, multiple data) programming paradigm based on MPI is proposed to achieve parallelism. The numerical results on complex geometries indicate that this low-storage implicit method can provide a viable and attractive DG solution for complicated flows of practical importance.
In this paper, we present a numerical solution of the discrete control problem for the immune response in an infectious disease under conditions of uncertainty. This problem is described by a nonlinear system of ordinary differential equation with delay. Conditions of uncertainty mean that values of the parameters of the model are unknown and their estimates are corrected by new experimental data. We propose an algorithm that allows one, within the framework of the mathematical model of an infectious disease, to construct the control and to identify parameters. By using the algorithm proposed, we develop treatment programs based on immunotherapy. We show that immunotherapy is an effective treatment for all main forms of disease: acute, chronic, and lethal.
Differential dynamic logic (dL) is a formal framework for specifying and reasoning about hybrid systems, i.e., dynamical systems that exhibit both continuous and discrete behaviors. These kinds of systems arise in many safety- and mission-critical applications. This paper presents a formalization of dL in the Prototype Verification System (PVS) that includes the semantics of hybrid programs and dL’s proof calculus. The formalization embeds dL into the PVS logic, resulting in a version of dL whose proof calculus is not only formally verified, but is also available for the verification of hybrid programs within PVS itself. This embedding, called Plaidypvs (Properly Assured Implementation of dL for Hybrid Program Verification and Specification), supports standard dL style proofs, but further leverages the capabilities of PVS to allow reasoning about entire classes of hybrid programs. The embedding also allows the user to import the well-established definitions and mathematical theories available in PVS.
Simulating the implantation and thermal desorption evolution in a reaction-diffusion model requires solving a set of coupled differential equations that describe the trapping and release of atomic species in Plasma Facing Materials (PFMs). These fundamental equations are well outlined by the Tritium Migration Analysis Program (TMAP) which can model systems with no more than three active traps per atomic species. To overcome this limitation, we have developed a Pseudo Trap and Temperature Partition (PTTP) scheme allowing us to lump multiple inactive traps into one pseudo trap, simplifying the system of equations to be solved. For all temperatures, we show the trapping of atoms from solute is exactly accounted for when using a pseudo trap. However, a single effective pseudo trap energy can not well replicate the release from multiple traps, each with its own detrapping energy. However, atoms held in a high energy trap will remain trapped at relatively low temperatures, and thus there is a temperature range in which release from high energy traps is effectively inactive. By partitioning the temperature range into segments, a pseudo trap can be defined for each segment to account for multiple high energy traps that are actively trapping but are effectively not releasing atoms. With increasing temperature, as in controlled thermal desorption, the lowest energy trap is nearly emptied and can be removed from the set of coupled equations, while the next higher energy trap becomes an actively releasing trap. Each segment is thus calculated sequentially, with the last time step of a given segment solution being used as an initial input for the next segment as only the pseudo and actively releasing traps are modeled. This PTTP scheme is then applied to experimental thermal desorption data for tungsten (W) samples damaged with heavy ions, which display six distinct release peaks during thermal desorption. Without modifying the TMAP7 source code the PTTP scheme is shown to successfully model the D retention in all six traps. In conclusion, we demonstrate the full reconstruction from the plasma implantation phase through the controlled thermal desorption phase with detrapping energies near 0.9, 1.1, 1.4, 1.7, 1.9 and 2.1 eV for a W sample damaged at room temperature.
The Portable Extensible Toolkit for Scientific computation (PETSc) library delivers scalable solvers for nonlinear time-dependent differential and algebraic equations and for numerical optimization. The PETSc design for performance portability addresses fundamental GPU accelerator challenges and stresses flexibility and extensibility by separating the programming model used by the application from that used by the library, and it enables application developers to use their preferred programming model, such as Kokkos, RAJA, SYCL, HIP, CUDA, or OpenCL, on upcoming exascale systems. Furthermore, a blueprint for using GPUs from PETSc-based codes is provided, and case studies emphasize the flexibility and high performance achieved on current GPU-based systems.
The results of both an experimental test program and a finite element analysis of selected graphite/polyimide rail shear test specimens are discussed. The two dimensional finite element analysis includes both mechanical and thermal loading (differential expansion) of the specimens and their elastic rails. Parameters in this analysis of unidirectional and symmetric, balanced angle-ply laminates include ply layup angles, the effect of flexible rails, the method of load introduction to the specimen and the effect of uniform heating of the specimen and rails. Two types of tensile rail shear fixtures were investigated experimentally: a uniform thickness, bolted-rail shear fixture loaded diagonally across the specimen test section; and a tapered thickness, bonded-rail shear fixture loaded axially along the center-line of the specimen test section. Test results include room-temperature and 589K strain data taken from the center of the specimen test section during loading.
Approximately 42 project summaries from NASA's Space Biology Program are presented. Emphasis is placed on gravitational effects on plant and animal life. The identification of gravity perception; the effects of weightlessness on genetic integrity, cellular differentiation, reproduction, development, growth, maturation, and senescence; and how gravity affects and controls physiology, morphology, and behavior of organisms are studied.
The thermal analysis and the calculation of thermal sensitivity of a cure cycle in autoclave processing of thick composite laminates were studied. A finite element program for the thermal analysis and design derivatives calculation for temperature distribution and the degree of cure was developed and verified. It was found that the direct differentiation was the best approach for the thermal design sensitivity analysis. In addition, the approach of the direct differentiation provided time histories of design derivatives which are of great value to the cure cycle designers. The approach of direct differentiation is to be used for further study, i.e., the optimal cycle design.
Consideration is given to a family of convex programming problems which depend on a vector parameter. It is shown that the solutions of the problems and the associated Lagrange multipliers are arbitrarily many times directionally differentiable functions of the parameter, provided that the data of the problems are sufficiently regular. The characterizations of the respective derivatives are given.
The NASA Space Station Program includes development of a polar orbiting platform as part of the Earth Observing System (EOS) Program. A lidar facility is in turn being developed for the EOS polar platforms to make atmospheric science measurements utilizing techniques of laser atmospheric backscatter (optical radar), Differential Absorption Lidar (DIAL) and altimetry. The science for this facility has been developed by the Lidar Atmospheric Sounder and Altimetry (LASA) panel for the Earth Observing System and will be addressed in an Announcement of Opportunity which will be released early in 1988 to solicit science proposals and experiment proposals for the EOS missions.