Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “G 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 NTRS2005

Towards an Automated Development Methodology for Dependable Systems with Application to Sensor Networks

A general-purpose method to mechanically transform system requirements into a probably equivalent model has yet to appeal: Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including sensor networks and autonomous systems. Currently available tools and methods that start with a formal model of a system and mechanically produce a probably equivalent implementation are valuable but not su8cient. The "gap" unfilled by such tools and methods is that their. formal models cannot be proven to be equivalent to the system requirements as originated by the customel: For the classes of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a probably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗
NASA NTRS2005

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

A general-purpose method to mechanically transform system requirements into a provably equivalent model has yet to appear. Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including distributed software systems, sensor networks, robot operation, complex scripts for spacecraft integration and testing, and autonomous systems. Currently available tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The gap that current tools and methods leave unfilled is that their formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the classes of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗
NASA NTRS2005

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

A general-purpose method to mechanically transform system requirements into a provably equivalent model has yet to appear. Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including distributed software systems, sensor networks, robot operation, complex scripts for spacecraft integration and testing, and autonomous systems. Currently available tools and methods that start with a formal model of a: system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The "gap" that current tools and methods leave unfilled is that their formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the ciasses of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗
NASA NTRS1989

The origin of the moon and the single impact hypothesis. III

Calculations of the single-impact hypothesis for the origin of the moon were performed using the smoothed particle hydrodynamics (SPH) code developed by Benz et al. (1986). Results are presented from calculations of a relatively low-level collision with an impactor mass in the range 6-8 x 10 to the 26th g. Several runs of the calculations are conducted for this mass range with variations in the SPH code, the equation of state, and the initial planetary models. The effects of these variations are compared. It is found that the orbiting mass is injected by gravitational torques.

Benz, W.↗
NASA NTRS1980

Theoretical studies of solar oscillations

Possible sources for the excitation of the solar 5 minute oscillations were investigated and a linear non-adiabatic stability code was applied to a preliminary study of the solar g-modes with periods near 160 minutes. Although no definitive conclusions concerning the excitation of these modes were reached, the excitation of the 5 minute oscillations by turbulent stresses in the convection zone remains a viable possibility. Theoretical calculations do not offer much support for the identification of the 160 minute global solar oscillation (reported by several independent observers) as a solar g-mode. A significant advance was made in attempting to reconcile mixing-length theory with the results of the calculations of linearly unstable normal modes. Calculations show that in a convective envelope prepared according to mixing length theory, the only linearly unstable modes are those which correspond to the turbulent eddies which are the basic element of the heuristic mixing length theory.

Goldreich, P.↗
NASA NTRS1989

An Experimental Method for Measuring Water Droplet Impingement Efficiency on Two- and Three-dimensional Bodies

An experimental method was developed to determine the droplet impingement characteristics on 2-D and 3-D bodies. The experimental results provide the essential droplet impingement data required to validate water droplet trajectory codes, which are used in the analysis of aircraft icing. A body, whose water droplet impingement characteristics are required, is covered at strategic locations by thin strips of moisture absorbing (blotter) paper, and is exposed to an air stream containing a water dye solution spray cloud. Water droplet impingement data are extracted from the dyed blotter strips by measuring the optical reflectance of the dye deposit on the strips, using an automated reflectometer. Models tested include a 4-inch diameter cylinder, a NACA 652015 airfoil section, a MS(1)-0317 supercritical airfoil section, three simulated ice shapes, an axisymmetric inlet and a Boeing 737-300 inlet model. Detailed descriptions of the dye tracer technique, instrumentation, data reduction method and the results obtained are presented. Analytical predictions of collection efficiency characteristics for most test configurations are included for comparison.

Trajectory code validation↗
NASA NTRS1976

Decoding with multipliers

A general technique, called decoding with multipliers, is presented that can be used to decode any linear code. The technique is applied to the (48,24) quadratic residue code and yields the first known practical decoding algorithm for this powerful code.

Baumert, L. D.↗
NASA NTRS1977

Experience with a vectorized general circulation weather model on Star-100

A version of an atmospheric general circulation model was vectorized to run on a CDC STAR 100. The numerical model was coded and run in two different vector languages, CDC and LRLTRAN. A factor of 10 speed improvement over an IBM 360/95 was realized. Efficient use of the STAR machine required some redesigning of algorithms and logic. This precludes the application of vectorizing compilers on the original scalar code to achieve the same results. Vector languages permit a more natural and efficient formulation for such numerical codes.

Soll, D. B.↗
NASA NTRS1983

High dynamic, low volume GPS receiver

A new GPS receiver concept and design are presented to meet the high dynamic and low volume requirements for range applications in missiles and drones. The receiver has the potential to satisfy all range requirements with one basic receiver, which has significant potential economic benefit over the alternate approach of using a family of receivers, each tailored for specific applications. The main new concept is to use approximate maximum likelihood estimates of pseudo range and range-rate, rather than tracking with carrier phase locked loops and code delay locked loops. Preliminary analysis indicates that receivers accelerating at 50 g or more can track with position errors due to acceleration of approximately 0.2 m/g, or 10 m at 50 g. Implementation is almost entirely digital to meet the low volume requirements.

Hurd, W. J.↗
NASA NTRS1989

Free-piston Stirling technology for space power

An overview is presented of the NASA Lewis Research Center free-piston Stirling engine activities directed toward space power. This work is being carried out under NASA's new Civil Space Technology Initiative (CSTI). The overall goal of CSTI's High Capacity Power element is to develop the technology base needed to meet the long duration, high capacity power requirements for future NASA space missions. The Stirling cycle offers an attractive power conversion concept for space power needs. Discussed here is the completion of the Space Power Demonstrator Engine (SPDE) testing-culminating in the generation of 25 kW of engine power from a dynamically-balanced opposed-piston Stirling engine at a temperature ratio of 2.0. Engine efficiency was approximately 22 percent. The SPDE recently has been divided into two separate single-cylinder engines, called Space Power Research Engine (SPRE), that now serve as test beds for the evaluation of key technology disciplines. These disciplines include hydrodynamic gas bearings, high-efficiency linear alternators, space qualified heat pipe heat exchangers, oscillating flow code validation, and engine loss understanding.

Slaby, Jack G.↗
NASA NTRS1989

Free-piston Stirling technology for space power

An overview is presented of the NASA Lewis Research Center free-piston Stirling engine activities directed toward space power. This work is being carried out under NASA's new Civil Space Technology Initiative (CSTI). The overall goal of CSTI's High Capacity Power element is to develop the technology base needed to meet the long duration, high capacity power requirements for future NASA space missions. The Stirling cycle offers an attractive power conversion concept for space power needs. Discussed here is the completion of the Space Power Demonstrator Engine (SPDE) testing-culminating in the generation of 25 kW of engine power from a dynamically-balanced opposed-piston Stirling engine at a temperature ratio of 2.0. Engine efficiency was approximately 22 percent. The SPDE recently has been divided into two separate single-cylinder engines, called Space Power Research Engine (SPRE), that now serve as test beds for the evaluation of key technology disciplines. These disciplines include hydrodynamic gas bearings, high-efficiency linear alternators, space qualified heat pipe heat exchangers, oscillating flow code validation, and engine loss understanding.

Slaby, Jack G.↗
NASA NTRS1989

Dynamic analysis of flexible multibody structures

A system composed of several interconnected elastic components that may experience large angular motion relative to each other during operation is referred to as a flexible multibody structure. Several formulations were proposed for the determination of the dynamic response of controlled flexible multibody structures. In general, these formulations consist of superposing elastic deformations of the component body onto the large rigid body motion of the component. It was shown that this particular methodology for combining linear structural deformations with nonlinear kinematics can lead to erroneous response predictions when either the beam member is very flexible or the rotational speed is high. In addition, previous formulations introduce constraint equations to define the interrelations among system components. This approach increases the number of equations that must be solved, and may result in contraint violation when numerical error accumulates during the integration process. In order to overcome the difficulties, a new approach was suggested. The approach is essentially a finite element formulation which takes advantage of the fact that many multibody structures are joint dominated. The Large Angle Transient Dynamic Analysis (LATDYN) program for clarity of documentation, ease of use, user friendliness, modeling generality, and accuracy of results was evaluated. This required gaining a working familiarity with the code and performing several case studies.

Hernried, Alan G.↗
NASA NTRS1992

Nonlinear, nonbinary cyclic group codes

New cyclic group codes of length 2(exp m) - 1 over (m - j)-bit symbols are introduced. These codes can be systematically encoded and decoded algebraically. The code rates are very close to Reed-Solomon (RS) codes and are much better than Bose-Chaudhuri-Hocquenghem (BCH) codes (a former alternative). The binary (m - j)-tuples are identified with a subgroup of the binary m-tuples which represents the field GF(2 exp m). Encoding is systematic and involves a two-stage procedure consisting of the usual linear feedback register (using the division or check polynomial) and a small table lookup. For low rates, a second shift-register encoding operation may be invoked. Decoding uses the RS error-correcting procedures for the m-tuple codes for m = 4, 5, and 6.

Solomon, G.↗
NASA NTRS1992

Laboratory scaled simulation of lidar cloud sounding experiments

The results of lidar measurements carried out on laboratory scale models of clouds are presented. Measurements on laboratory scale models are important since one has the knowledge of the relevant parameters of the diffusing medium, such as: scattering and absorption coefficients, phase function, homogeneity, shape, etc. Knowledge of these parameters enables one to use the results to test the reliability of theoretical and numerical investigations. To obtain a laboratory scaled model of a lidar system sounding a cloud, it is necessary to scale down all the geometrical quantities by the same factor to reduce distances of the order of kilometers to the order of meters, keeping the size and the optical depth of the diffusers unchanged. If a time resolution of the order of nanoseconds is necessary for a lidar sounding actual clouds, the corresponding time resolution for the laboratory model should be of the order of picoseconds. It is possible to obtain this resolution by using picosecond laser systems and fast electrooptical detectors like the streak camera. The results of the laboratory measurements showed that the multiple scattering effect strongly depends on the size of the diffusers, as well as on the concentration. The experimental results were compared with the numerical results of a Monte Carlo code. A generally good agreement was obtained.

Zaccanti, G.↗
NASA NTRS1993

Blade Assessment for Ice Impact (BLASIM). User's manual, version 1.0

The Blade Assessment Ice Impact (BLASIM) computer code can analyze solid, hollow, composite, and super hybrid blades. The solid blade is made up of a single material where hollow, composite, and super hybrid blades are constructed with prescribed composite layup. The properties of a composite blade can be specified by inputting one of two options: (1) individual ply properties, or (2) fiber/matrix combinations. When the second option is selected, BLASIM utilizes ICAN (Integrated Composite ANalyzer) to generate the temperature/moisture dependent ply properties of the composite blade. Two types of geometry input can be given: airfoil coordinates or NASTRAN type finite element model. These features increase the flexibility of the program. The user's manual provides sample cases to facilitate efficient use of the code while gaining familiarity.

Reddy, E. S.↗