Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “V CODES”

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 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
NASA NTRS2004

High Power Light Gas Helicon Plasma Source For VASMIR

The VASIMR space propulsion development effort relies on a high power (greater than 10kW) helicon source to produce a dense flowing plasma (H, D and He) target for ion cyclotron resonance (ICR) acceleration of the ions. Subsequent expansion in an expanding magnetic field (magnetic nozzle) converts ion lunetic energy to directed momentum. This plasma source must have critical features to enable an effective propulsion device. First, it must ionize most of the input neutral flux of gas, thus producing a plasma stream with a high degree of ionization for application of ICR power. This avoids propellant waste and potential power losses due to charge exchange. Next, the plasma stream must flow into a region of high magnetic field (approximately 0.5 T) for efficient ICR acceleration. Third, the ratio of input power to plasma flux must be low, providing an energy per ion-electron pair approaching 100 eV. Lastly, the source must be robust and capable of very long life-times (years). In our helicon experiment (VX-10) we have measured a ratio of input gas to plasma flux near 100%. The plasma flows from the helicon region (B approximately 0.1 T) into a region with a peak magnetic field of 0.8 T. The energy input per ion-electron pair has been measured at 300 plus or minus 100 eV. Recent results at Oak Ridge National Laboratory (ORNL) show an enhanced efficiency mode of operation with a high power density, over 5 kW in a 5 cm diameter tube. Our helicon is presently 9 cm in diameter and operates up to 3.5 kW of input power. An upgrade to a power level of 10 kW is underway. Much of our recent work has been with a Boswell double-saddle antenna design. We are also converting the antenna design to a helical type. With these modifications, we anticipate an improvement in the ionization efficiency. This paper presents the results from scaling the helicon in the VX-10 device from 3.5 to 10 kW. We also compare the operation with a double-saddle to a helical antenna design. Finally, we discuss modeling of these configurations using ORNL's EMIR code.

Squire, J. P.↗
NASA NTRS2018

IV&V Planning & Execution Initiative

Independent verification and validation (IV&V) is a systems engineering discipline which seeks to provide confidence that mission-critical software-dependent systems will operate safely and achieve all mission objectives. In order to optimize application of IV&V resources, it is necessary to identify specific assurance objectives that are most likely to reveal difficulty and therefore to increase confidence. Software assurance literature deals predominantly with the code itself. However, our experience is that the most significant software-related issues are discovered via analysis of other system artifacts such as operations concepts, requirements and design. Consequently, it is desirable to, when assessing risk and defining assurance objectives, consider all facets of the software system architecture. We describe in this presentation progress and lessons learned from an IV&V capability development initiative to enhance the IV&V project planning process using all available architecture information.

Risk↗
NASA NTRS1988

Development of a mobile satellite communication unit

A compact 210(W) x 280(H) x 330(D) mm mobile terminal capable of transmitting voice and data through L-band mobile satellites is described. The Voice Codec can convert an analog voice to or from digital codes at rates of 9.6, 8 and 4.8 kb/s by an MPC algorithm. The terminal functions with a single 12 V power supplied vehicle battery. The equipment can operate at any L-band frequency allocated for mobile uses in a full duplex mode and will soon be put into a field test via Japans's ETS-V satellite.

Suzuki, Ryutaro↗
NASA NTRS2004

Discrete X-Ray Source Populations and Star-Formation History in Nearby Galaxies

This program aims in understanding the connection between the discrete X-ray source populations observed in nearby galaxies and the history of star-formation in these galaxies. The ultimate goal is to use this knowledge in order to constrain X-ray binary evolution channels. For this reason although the program is primarily observational it has a significant modeling component. During the first year of this study we focused on the definition of a pilot sample of galaxies with well know star-formation histories. A small part of this sample has already been observed and we performed initial analysis of the data. However, the majority of the objects in our sample either have not been observed at all, or the detection limit of the existing observations is not low enough to probe the bulk of their young X-ray binary populations. For this reason we successfully proposed for additional Chandra observations of three targets in Cycle-5. These observations are currently being performed. The analysis of the (limited) archival data for this sample indicated that the X-ray luminosity functions (XLF) of the discrete sources in these galaxies may not have the same shape as is widely suggested. However, any solid conclusions are hampered by the small number of detected sources. For this reason during the second year of this study, we will try to extend the sample in order to include more objects in each evolutionary stage. In addition we are completing the analysis of the Chandra monitoring observations of the Antennae galaxies. The results from this work, apart from important clues on the nature of the most luminous sources (Ultra-luminous X-ray sources; ULXs) provide evidence that source spectral and/or temporal variability does not significantly affect the shape of their X-ray luminosity functions. This is particularly important for comparisons between the XLFs of different galaxies and comparisons with predictions from theoretical models. Results from this work have been presented in several conferences. Refereed journal papers presenting these conclusions are currently in preparation. An important part of this study is the Chandra survey of the Small Magellanic Cloud, our second nearest star- forming galaxy. So far we have been awarded 5 Chandra observations of the central youngest part of the galaxy. These observations will help to study the very faint end of the young X-ray binary populations which is not possible to probe in more distant objects. Results from this study have been presented in several conferences and two papers are in preparation. In addition during year-2 we are planning of undertaking the task of identifying optical counterparts to the X-ray sources, which will help us to isolate interlopers (sources not associated with the SMC) and classify the X-ray binaries which are found to be associated with the SMC. In the theoretical front, the Star-Track X-ray binary population synthesis code which will be used for the modeling of the X-ray binary populations (led by co-I V. Kalogera and C. Belczynski), is complete. A first test using the XLF of the star-forming galaxy NGC-1569 showed remarkable agreement between the observed and the modeled XLF. These results are presented in an ApJ. Letters paper (Belczynski et al, 2004, 601, 147). During year-2 of this study we are planning of performing a parameter study in order to investigate which parameters are most important for the shape of the XLF. In addition we will perform comparisons with observations of other galaxies from our sample as they become available.

Zezas, Andreas↗
NASA NTRS2013

High-Voltage Clock Driver for Photon-Counting CCD Characterization

A document discusses the CCD97 from e2v technologies as it is being evaluated at Goddard Space Flight Center's Detector Characterization Laboratory (DCL) for possible use in ultra-low background noise space astronomy applications, such as Terrestrial Planet Finder Coronagraph (TPF-C). The CCD97 includes a photoncounting mode where the equivalent output noise is less than one electron. Use of this mode requires a clock signal at a voltage level greater than the level achievable by the existing CCD (charge-coupled-device) electronics. A high-voltage waveform generator has been developed in code 660/601 to support the CCD97 evaluation. The unit generates required clock waveforms at voltage levels from -20 to +50 V. It deals with standard and arbitrary waveforms and supports pixel rates from 50 to 500 kHz. The system is designed to interface with existing Leach CCD electronics.

Baker, Robert↗
NASA NTRS2009

Proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification

This NASA conference publication contains the proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification, held as part of LICS in Los Angeles, CA, USA, on August 15, 2009. Software certification demonstrates the reliability, safety, or security of software systems in such a way that it can be checked by an independent authority with minimal trust in the techniques and tools used in the certification process itself. It can build on existing validation and verification (V&V) techniques but introduces the notion of explicit software certificates, Vvilich contain all the information necessary for an independent assessment of the demonstrated properties. One such example is proof-carrying code (PCC) which is an important and distinctive approach to enhancing trust in programs. It provides a practical framework for independent assurance of program behavior; especially where source code is not available, or the code author and user are unknown to each other. The workshop wiII address theoretical foundations of logic-based software certification as well as practical examples and work on alternative application domains. Here "certificate" is construed broadly, to include not just mathematical derivations and proofs but also safety and assurance cases, or any fonnal evidence that supports the semantic analysis of programs: that is, evidence about an intrinsic property of code and its behaviour that can be independently checked by any user, intermediary, or third party. These guarantees mean that software certificates raise trust in the code itself, distinct from and complementary to any existing trust in the creator of the code, the process used to produce it, or its distributor. In addition to the contributed talks, the workshop featured two invited talks, by Kelly Hayhurst and Andrew Appel. The PCC 2009 website can be found at http://ti.arc.nasa.gov /event/pcc 091.

Ewen, Denney, W.↗
NASA NTRS1978

CAVE3: A general transient heat transfer computer code utilizing eigenvectors and eigenvalues

The method of solution is a hybrid analytical numerical technique which utilizes eigenvalues and eigenvectors. The method is inherently stable, permitting large time steps even with the best of conductors with the finest of mesh sizes which can provide a factor of five reduction in machine time compared to conventional explicit finite difference methods when structures with small time constants are analyzed over long time periods. This code will find utility in analyzing hypersonic missile and aircraft structures which fall naturally into this class. The code is a completely general one in that problems involving any geometry, boundary conditions and materials can be analyzed. This is made possible by requiring the user to establish the thermal network conductances between nodes. Dynamic storage allocation is used to minimize core storage requirements. This report is primarily a user's manual for CAVE3 code. Input and output formats are presented and explained. Sample problems are included which illustrate the usage of the code as well as establish the validity and accuracy of the method.

Palmieri, J. V.↗
NASA NTRS1986

Optimization methods and silicon solar cell numerical models

The goal of this project is the development of an optimization algorithm for use with a solar cell model. It is possible to simultaneously vary design variables such as impurity concentrations, front junction depth, back junctions depth, and cell thickness to maximize the predicted cell efficiency. An optimization algorithm has been developed and interfaced with the Solar Cell Analysis Program in 1 Dimension (SCAPID). SCAPID uses finite difference methods to solve the differential equations which, along with several relations from the physics of semiconductors, describe mathematically the operation of a solar cell. A major obstacle is that the numerical methods used in SCAPID require a significant amount of computer time, and during an optimization the model is called iteratively until the design variables converge to the value associated with the maximum efficiency. This problem has been alleviated by designing an optimization code specifically for use with numerically intensive simulations, to reduce the number of times the efficiency has to be calculated to achieve convergence to the optimal solution. Adapting SCAPID so that it could be called iteratively by the optimization code provided another means of reducing the cpu time required to complete an optimization. Instead of calculating the entire I-V curve, as is usually done in SCAPID, only the efficiency is calculated (maximum power voltage and current) and the solution from previous calculations is used to initiate the next solution.

Girardini, K.↗
NASA NTRS1987

Computational vortex dynamics in two and three dimensions

A discussion of some solutions and outstanding problems of dissipationless and nearly dissipationless flows in two and three dimensions is presented. In particular, two-dimensional steady-state solutions, linear stability and nonlinear evolutions including axisymmetrization of isolated vortex regions and merger or condensation of like-signed vorticity regions, are reviewed. These results are obtained from pseudo-spectral codes, contour dynamical (CD) codes and a new Hamiltonian moment-model of the Euler equations

Melander, Mogens V.↗
NASA NTRS1992

Analysis of thermo-chemical nonequilibrium models for carbon dioxide flows

The aerothermodynamics of thermochemical nonequilibrium carbon dioxide flows is studied. The chemical kinetics models of McKenzie and Park are implemented in separate three-dimensional computational fluid dynamics codes. The codes incorporate a five-species gas model characterized by a translational-rotational and a vibrational temperature. Solutions are obtained for flow over finite length elliptical and circular cylinders. The computed flowfields are then employed to calculate Mach-Zehnder interferograms for comparison with experimental data. The accuracy of the chemical kinetics models is determined through this comparison. Also, the methodology of the three-dimensional thermochemical nonequilibrium code is verified by the reproduction of the experiments.

Rock, Stacey G.↗
NASA NTRS1992

On the nature of bias and defects in the software specification process

Implementation bias in a specification is an arbitrary constraint in the solution space. This paper describes the problem of bias. Additionally, this paper presents a model of the specification and design processes describing individual subprocesses in terms of precision/detail diagrams and a model of bias in multi-attribute software specifications. While studying how bias is introduced into a specification we realized that software defects and bias are dual problems of a single phenomenon. This was used to explain the large proportion of faults found during the coding phase at the Software Engineering Laboratory at NASA/GSFC.

Straub, Pablo A.↗
NASA NTRS2003

Comparison of Measured and Simulated Albedo Signals in the ATIC Experiment

Albedo, radiation backscattered from an interaction and from the subsequent shower development, provides a 'background' for calorimeter experiments. In ATIC (Advanced Thin Ionization Calorimeter), a balloon borne instrument to measure cosmic ray composition and energy spectra for elements from hydrogen to iron from 30 GeV to near 100 TeV, a fully active BGO calorimeter follows a carbon interaction target and scintillator holdoscopes. The first detector is a silicon matrix constructed of 4480 individual silicon pixels, each 2 cm x 1.5 cm, that provide a measurement of the charge of the primary particle in the presence of albedo. ATIC had two successful balloon flights in Antarctica: from 28 Dec 2000 to 13 Jan 2001 (ATIC-1) and from 29 Dec 2002 to 18 Jan 2003 (ATIC-2). A comparison of albedo signals in the silicon matri:x in ATIC-1 experiment with simulations performed using the GEANT 3.21 code and the QGSM event generator for nucleus-nucleus interactions is presented.

Zatsepin, V. I.↗
NASA NTRS2003

Reducing software security risk through an integrated approach research initiative model based verification of the Secure Socket Layer (SSL) Protocol

This document discusses the verification of the Secure Socket Layer (SSL) communication protocol as a demonstration of the Model Based Verification (MBV) portion of the verification instrument set being developed under the Reducing Software Security Risk (RSSR) Trough an Integrated Approach research initiative. Code Q of the National Aeronautics and Space Administration (NASA) funds this project. The NASA Goddard Independent Verification and Validation (IV&V) facility manages this research program at the NASA agency level and the Assurance Technology Program Office (ATPO) manages the research locally at the Jet Propulsion Laboratory (California institute of Technology) where the research is being carried out.

software security↗
NASA NTRS1985

A fast, time-accurate unsteady full potential scheme

The unsteady form of the full potential equation is solved in conservation form by an implicit method based on approximate factorization. At each time level, internal Newton iterations are performed to achieve time accuracy and computational efficiency. A local time linearization procedure is introduced to provide a good initial guess for the Newton iteration. A novel flux-biasing technique is applied to generate proper forms of the artificial viscosity to treat hyperbolic regions with shocks and sonic lines present. The wake is properly modeled by accounting not only for jumps in phi, but also for jumps in higher derivatives of phi, obtained by imposing the density to be continuous across the wake. The far field is modeled using the Riemann invariants to simulate nonreflecting boundary conditions. The resulting unsteady method performs well which, even at low reduced frequency levels of 0.1 or less, requires fewer than 100 time steps per cycle at transonic Mach numbers. The code is fully vectorized for the CRAY-XMP and the VPS-32 computers.

Shankar, V.↗
NASA NTRS2002

Two- and Three-Dimensional Numerical Experiments Representing Two Limiting Cases of an In-Line Pair of Finger Seal Components

The work presented here concerns the numerical development and simulation of the flow, pressure patterns and motion of a pair of fingers arranged behind each other and axially aligned in-line. The fingers represent the basic elemental component of a Finger Seal (FS) and form a tight seal around the rotor. Yet their flexibility allows compliance with rotor motion and in a passive-adaptive mode complies also with the hydrodynamic forces induced by the flowing fluid. While the paper does not treat the actual staggered configuration of a finger seal, the inline arrangement represents a first step towards that final goal. The numerical 2-D (axial-radial) and 3-D results presented herein were obtained using a commercial package (CFD-ACE+). Both models use an integrated numerical approach, which couples the hydrodynamic fluid model (Navier-Stokes based) to the solid mechanics code that models the compliance of the fingers.

Braun, M. J.↗