Search NASA⌕ Search

SEARCH · Search NASA

Results for “Compilers”

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 793 records · Page 44

Scientific and Technical Publishing at Goddard Space Flight Center in Fiscal Year 1994

This publication is a compilation of scientific and technical material that was researched, written, prepared, and disseminated by the Center's scientists and engineers during FY94. It is presented in numerical order of the GSFC author's sponsoring technical directorate; i.e., Code 300 is the Office of Flight Assurance, Code 400 is the Flight Projects Directorate, Code 500 is the Mission Operations and Data Systems Directorate, Code 600 is the Space Sciences Directorate, Code 700 is the Engineering Directorate, Code 800 is the Suborbital Projects and Operations Directorate, and Code 900 is the Earth Sciences Directorate. The publication database contains publication or presentation title, author(s), document type, sponsor, and organizational code. This is the second annual compilation for the Center.

Source record↗

Upward appraisal as a means for improving supervisory performance and promoting process improvement, with long-term implications for organizational change

This study represents the implementation phase of an organizational development project which was initiated last year in the Management Support Division (MSD) at Langley Research Center to diagnose organizational functioning. As a result of MSD survey data from last year's effort, a Quality Action Team was created to address the responses compiled from the MSD Organizational Assessment Questionnaire and Follow-Up Questionnaire. The team was officially named the MSD Employee Relations Improvement Team (MERIT). MERIT's goal was to analyze major concerns generated by the questionnaires and to present feasible solutions to management which would improve supervisory performance, promote process improvement; and ultimately, lead to a better organization. The team met weekly and was very disciplined in following guidelines needed to ensure a fully functioning team. Several TQM tools were used during the team process, including brainstorming and the cause and effect diagram. One of the products produced by MERIT was a 'report card', more formally known as an upward appraisal system, to evaluate supervisory performance in the division office, its three branches, and in teams. Major areas of emphasis on the 47 item report card were those identified by employees through the previously administered questionnaires as needing to be improved; specifically, training, recognition, teamwork, supervision and leadership, and communication. MERIT created an enlarged and modified version of the report card which enabled scores for each individual supervisor to be recorded on a separate form, along with summary results and employee comments. Report card results have been compiled and fed back to the Division Chief and Assistant Division Chief. These individuals will in turn, feed the results back to the remaining supervisors and the team leaders. Although results differ among supervisors, some similarities exist. Communication generally appears to be adequate, which represents an improvement over last year. In contrast, recognition and teamwork are the two major areas where improvement in supervisory performance seems to be most needed. The initial report card results will serve as a baseline against which future performance ratings will be compared. Once supervisors have been presented with their data and given an opportunity to analyze and discus the results, they will be assisted in developing an action plan for improving their performance and work processes. They will be provided with ongoing support from management in following through with the action plan.

Siegfeldt, Denise V.↗

The software analysis project for the Office of Human Resources

There were two major sections of the project for the Office of Human Resources (OHR). The first section was to conduct a planning study to analyze software use with the goal of recommending software purchases and determining whether the need exists for a file server. The second section was analysis and distribution planning for retirement planning computer program entitled VISION provided by NASA Headquarters. The software planning study was developed to help OHR analyze the current administrative desktop computing environment and make decisions regarding software acquisition and implementation. There were three major areas addressed by the study: current environment new software requirements, and strategies regarding the implementation of a server in the Office. To gather data on current environment, employees were surveyed and an inventory of computers were produced. The surveys were compiled and analyzed by the ASEE fellow with interpretation help by OHR staff. New software requirements represented a compilation and analysis of the surveyed requests of OHR personnel. Finally, the information on the use of a server represents research done by the ASEE fellow and analysis of survey data to determine software requirements for a server. This included selection of a methodology to estimate the number of copies of each software program required given current use and estimated growth. The report presents the results of the computing survey, a description of the current computing environment, recommenations for changes in the computing environment, current software needs, management advantages of using a server, and management considerations in the implementation of a server. In addition, detailed specifications were presented for the hardware and software recommendations to offer a complete picture to OHR management. The retirement planning computer program available to NASA employees will aid in long-range retirement planning. The intended audience is the NASA civil service employee with several years until retirement. The employee enters current salary and savings information as well as goals concerning salary at retirement, assumptions on inflation, and the return on investments. The program produces a picture of the employee's retirement income from all sources based on the assumptions entered. A session showing features of the program was conducted for key personnel at the Center. After analysis, it was decided to offer the program through the Learning Center starting in August 1994.

Tureman, Robert L., Jr.↗

High frequency flow-structural interaction in dense subsonic fluids

Prediction of the detailed dynamic behavior in rocket propellant feed systems and engines and other such high-energy fluid systems requires precise analysis to assure structural performance. Designs sometimes require placement of bluff bodies in a flow passage. Additionally, there are flexibilities in ducts, liners, and piping systems. A design handbook and interactive data base have been developed for assessing flow/structural interactions to be used as a tool in design and development, to evaluate applicable geometries before problems develop, or to eliminate or minimize problems with existing hardware. This is a compilation of analytical/empirical data and techniques to evaluate detailed dynamic characteristics of both the fluid and structures. These techniques have direct applicability to rocket engine internal flow passages, hot gas drive systems, and vehicle propellant feed systems. Organization of the handbook is by basic geometries for estimating Strouhal numbers, added mass effects, mode shapes for various end constraints, critical onset flow conditions, and possible structural response amplitudes. Emphasis is on dense fluids and high structural loading potential for fatigue at low subsonic flow speeds where high-frequency excitations are possible. Avoidance and corrective measure illustrations are presented together with analytical curve fits for predictions compiled from a comprehensive data base.

Liu, Baw-Lin↗

A volume-limited ROSAT survey of extreme ultraviolet emission from all nondegenerate stars within 10 parsecs

We report the results of a volume-limited ROSAT Wide Field Camera (WFC) survey of all nondegenerate stars within 10 pc. Of the 220 known star systems within 10 pc, we find that 41 are positive detections in at least one of the two WFC filter bandpasses (S1 and S2), while we consider another 14 to be marginal detections. We compute X-ray luminosities for the WFC detections using Einstein Imaging Proportional Counter (IPC) data, and these IPC luminosities are discussed along with the WFC luminosities throughout the paper for purposes of comparison. Extreme ultraviolet (EUV) luminosity functions are computed for single stars of different spectral types using both S1 and S2 luminosities, and these luminosity functions are compared with X-ray luminosity functions derived by previous authors using IPC data. We also analyze the S1 and S2 luminosity functions of the binary stars within 10 pc. We find that most stars in binary systems do not emit EUV radiation at levels different from those of single stars, but there may be a few EUV-luminous multiple-star systems which emit excess EUV radiation due to some effect of binarity. In general, the ratio of X-ray luminosity to EUV luminosity increases with increasing coronal emission, suggesting that coronally active stars have higher coronal temperatures. We find that our S1, S2, and IPC luminosities are well correlated with rotational velocity, and we compare activity-rotation relations determined using these different luminosities. Late M stars are found to be significantly less luminous in the EUV than other late-type stars. The most natural explanation for this results is the concept of coronal saturation -- the idea that late-type stars can emit only a limited fraction of their total luminosity in X-ray and EUV radiation, which means stars with very low bolometric luminosities must have relatively low X-ray and EUV luminosities as well. The maximum level of coronal emission from stars with earlier spectral types is studied also. To understand the saturation levels for these stars, we have compiled a large number of IPC luminosities for stars with a wide variety of spectral types and luminosity classes. We show quantitatively that if the Sun were completely covered with X-ray-emitting coronal loops, it would be near the saturation limit implied by this compilation, supporting the idea that stars near upper limits in coronal activity are completely covered with active regions.

Wood, Brian E.↗

The analysis of star catalogs. 1: An intercomparison among the FK3, the FK4, and the FK5

Progress in the construction of the fundamental catalogs allows one to ask the following questions: 'Now that we have the FK5 with which to measure by, how good was the FK4? The FK3? How realistic were the error estimates they gave for their equatorial coordinates and their proper motions? Have their residual systematic differences continued to decrease in amplitude?' and so forth. Similar questions could be asked of the GC and the N30, and a companion paper will similarly analyze them. Finally, the identical series of questions could be asked of the AGK2, AGK3, AGK3U sequence. In this paper we develop a general method to objectively investigate, post facto, the true quality of star catalog error estimates. We present a complete mathematical formulation of the questions above and delineate the calculations needed to address them. Our initial numerical applications are restricted to a straightforward examination of the mean errors of the coordinates and proper motions in the FK3 (using the FK4 and the FK5 for comparison) and in the FK4 (using the FK5 for comparison). However, we can simply and consistently interpret the results of these computations -- for the FK catalogs fail to follow the predictions of mathematical statistics -- only if the FK3 and the FK4 contain higher angular frequency systematic errors. These errors, at the mean epochs of place of the older catalogs, are larger than the random errors in the FK5 system. We expect that our new ability to discern these features means that we can also prevent them during compilation. Finally, note that the concepts behind our procedures are completely general and can be applied to any set of compiled data -- astrometric, photometric, geodetic, and so forth.

Bucciarelli, B.↗

Implementation of a 3D mixing layer code on parallel computers

This paper summarizes our progress and experience in the development of a Computational-Fluid-Dynamics code on parallel computers to simulate three-dimensional spatially-developing mixing layers. In this initial study, the three-dimensional time-dependent Euler equations are solved using a finite-volume explicit time-marching algorithm. The code was first programmed in Fortran 77 for sequential computers. The code was then converted for use on parallel computers using the conventional message-passing technique, while we have not been able to compile the code with the present version of HPF compilers.

Roe, K.↗

The scheme machine: A case study in progress in design derivation at system levels

The Scheme Machine is one of several design projects of the Digital Design Derivation group at Indiana University. It differs from the other projects in its focus on issues of system design and its connection to surrounding research in programming language semantics, compiler construction, and programming methodology underway at Indiana and elsewhere. The genesis of the project dates to the early 1980's, when digital design derivation research branched from the surrounding research effort in programming languages. Both branches have continued to develop in parallel, with this particular project serving as a bridge. However, by 1990 there remained little real interaction between the branches and recently we have undertaken to reintegrate them. On the software side, researchers have refined a mathematically rigorous (but not mechanized) treatment starting with the fully abstract semantic definition of Scheme and resulting in an efficient implementation consisting of a compiler and virtual machine model, the latter typically realized with a general purpose microprocessor. The derivation includes a number of sophisticated factorizations and representations and is also deep example of the underlying engineering methodology. The hardware research has created a mechanized algebra supporting the tedious and massive transformations often seen at lower levels of design. This work has progressed to the point that large scale devices, such as processors, can be derived from first-order finite state machine specifications. This is roughly where the language oriented research stops; thus, together, the two efforts establish a thread from the highest levels of abstract specification to detailed digital implementation. The Scheme Machine project challenges hardware derivation research in several ways, although the individual components of the system are of a similar scale to those we have worked with before. The machine has a custom dual-ported memory to support garbage collection. It consists of four tightly coupled processes--processor, collector, allocator, memory--with a very non-trivial synchronization relationship. Finally, there are deep issues of representation for the run-time objects of a symbolic processing language. The research centers on verification through integrated formal reasoning systems, but is also involved with modeling and prototyping environments. Since the derivation algebra is basd on an executable modeling language, there is opportunity to incorporate design animation in the design process. We are looking for ways to move smoothly and incrementally from executable specifications into hardware realization. For example, we can run the garbage collector specification, a Scheme program, directly against the physical memory prototype, and similarly, the instruction processor model against the heap implementation.

Johnson, Steven D.↗

Space Mechanisms Lessons Learned Study. Volume 1: Summary

Hundreds of satellites have been launched to date. Some have operated extremely well and others have not. In order to learn from past operating experiences, a study was conducted to determine the conditions under which space mechanisms (mechanically moving components) have previously worked or failed. The study consisted of: (1) an extensive literature review that included both government contractor reports and technical journals; (2) communication and visits (when necessary) to the various NASA and DOD centers and their designated contractors (this included contact with project managers of current and prior NASA satellite programs as well as their industry counterparts); (3) requests for unpublished information to NASA and industry; and (4) a mail survey designed to acquire specific mechanism experience. The information obtained has been organized into two volumes. Volume 1 provides a summary of the lessons learned, the results of a needs analysis, responses to the mail survey, a listing of experts, a description of some available facilities and a compilation of references. Volume 2 contains a compilation of the literature review synopsis.

Shapiro, Wilbur↗

CLIPS/Ada: An Ada-based tool for building expert systems

Clips/Ada is a production system language and a development environment. It is functionally equivalent to the CLIPS tool. CLIPS/Ada was developed in order to provide a means of incorporating expert system technology into projects where the use of the Ada language had been mandated. A secondary purpose was to glean information about the Ada language and its compilers. Specifically, whether or not the language and compilers were mature enough to support AI applications. The CLIPS/Ada tool is coded entirely in Ada and is designed to be used by Ada systems that require expert reasoning.

White, W. A.↗

Executing CLIPS expert systems in a distributed environment

This paper describes a framework for running cooperating agents in a distributed environment to support the Intelligent Computer Aided Design System (ICADS), a project in progress at the CAD Research Unit of the Design Institute at the California Polytechnic State University. Currently, the systems aids an architectural designer in creating a floor plan that satisfies some general architectural constraints and project specific requirements. At the core of ICADS is the Blackboard Control System. Connected to the blackboard are any number of domain experts called Intelligent Design Tools (IDT). The Blackboard Control System monitors the evolving design as it is being drawn and helps resolve conflicts from the domain experts. The user serves as a partner in this system by manipulating the floor plan in the CAD system and validating recommendations made by the domain experts. The primary components of the Blackboard Control System are two expert systems executed by a modified CLIPS shell. The first is the Message Handler. The second is the Conflict Resolver. The Conflict Resolver synthesizes the suggestions made by the domain experts, which can be either CLIPS expert systems, or compiled C programs. In DEMO1, the current ICADS prototype, the CLIPS domain expert systems are Acoustics, Lighting, Structural, and Thermal; the compiled C domain experts are the CAD system and the User Interface.

Taylor, James↗

Space Mechanisms Lessons Learned Study. Volume 2: Literature Review

Hundreds of satellites have been launched to date. Some have operated extremely well and others have not. In order to learn from past operating experiences, a study was conducted to determine the conditions under which space mechanisms (mechanically moving components) have previously worked or failed. The study consisted of an extensive literature review that included both government contractor reports and technical journals, communication and visits (when necessary) to the various NASA and DOD centers and their designated contractors (this included contact with project managers of current and prior NASA satellite programs as well as their industry counterparts), requests for unpublished information to NASA and industry, and a mail survey designed to acquire specific mechanism experience. The information obtained has been organized into two volumes. Volume 1 provides a summary of the lesson learned, the results of a needs analysis, responses to the mail survey, a listing of experts, a description of some available facilities, and a compilation of references. Volume 2 contains a compilation of the literature review synopsis.

Shapiro, Wilbur↗

Research on computer systems benchmarking

This grant addresses the topic of research on computer systems benchmarking and is more generally concerned with performance issues in computer systems. This report reviews work in those areas during the period of NASA support under this grant. The bulk of the work performed concerned benchmarking and analysis of CPUs, compilers, caches, and benchmark programs. The first part of this work concerned the issue of benchmark performance prediction. A new approach to benchmarking and machine characterization was reported, using a machine characterizer that measures the performance of a given system in terms of a Fortran abstract machine. Another report focused on analyzing compiler performance. The performance impact of optimization in the context of our methodology for CPU performance characterization was based on the abstract machine model. Benchmark programs are analyzed in another paper. A machine-independent model of program execution was developed to characterize both machine performance and program execution. By merging these machine and program characterizations, execution time can be estimated for arbitrary machine/program combinations. The work was continued into the domain of parallel and vector machines, including the issue of caches in vector processors and multiprocessors. All of the afore-mentioned accomplishments are more specifically summarized in this report, as well as those smaller in magnitude supported by this grant.

Smith, Alan Jay↗

The Role of Reformulation in the Automatic Design of Satisfiability Procedures

Recently there has been increasing interest in the problem of knowledge compilation (Selman & Kautz91). This is the problem of identifying tractable techniques for determining the consequences of a knowledge base. We have developed and implemented a technique, called DRAT, that given a theory, i.e., a collection of firstorder clauses, can often produce a type of decision procedure for that theory that can be used in the place of a general-purpose first-order theorem prover for determining many of the consequences of that theory. Hence, DRAT does a type of knowledge compilation. Central to the DRAT technique is a type of reformulation in which a problem's clauses are restated in terms of different nonlogical symbols. The reformulation is isomorphic in the sense that it does not change the semantics of a problem.

VanBaalen, Jeffrey↗

Outgassing Data for Selecting Spacecraft Materials

Outgassing data, derived from tests at 398 K (125 C) for 24 hours in a vacuum as per ASTM E 595-84, have been compiled for numerous materials for spacecraft use. The data presented are the total mass loss (TML) and the collected volatile condensable materials (CVCM). The various materials are compiled by likely usage and alphabetically.

Walter, Neil A.↗

Development of the Tensoral Computer Language

The research scientist or engineer wishing to perform large scale simulations or to extract useful information from existing databases is required to have expertise in the details of the particular database, the numerical methods and the computer architecture to be used. This poses a significant practical barrier to the use of simulation data. The goal of this research was to develop a high-level computer language called Tensoral, designed to remove this barrier. The Tensoral language provides a framework in which efficient generic data manipulations can be easily coded and implemented. First of all, Tensoral is general. The fundamental objects in Tensoral represent tensor fields and the operators that act on them. The numerical implementation of these tensors and operators is completely and flexibly programmable. New mathematical constructs and operators can be easily added to the Tensoral system. Tensoral is compatible with existing languages. Tensoral tensor operations co-exist in a natural way with a host language, which may be any sufficiently powerful computer language such as Fortran, C, or Vectoral. Tensoral is very-high-level. Tensor operations in Tensoral typically act on entire databases (i.e., arrays) at one time and may, therefore, correspond to many lines of code in a conventional language. Tensoral is efficient. Tensoral is a compiled language. Database manipulations are simplified optimized and scheduled by the compiler eventually resulting in efficient machine code to implement them.

Ferziger, Joel↗

Interfacing with Legacy using Remote Method Invocation

The assignment described was enough to make a neophyte Java developer bolt for the door: provide a remote method for use by an applet which invokes a native method that wraps a function in an existing legacy library. The purpose of the remote method is to return an instance of a class object whose contents reflect the data structure returned by the legacy function. While embroiled in implementation, I would have spent the time wading through their JNI use group archive as well, but I couldn't seem to locate one. Subsequently, I made the decision to try to document my findings in order to assist others. Before we start on the class design, let's look at what the existing legacy code does. The C function to be called, Get-Legacy-Data, consists of two steps: an ASII file is read from the local disk and its contents are parsed into a Legacy_Type structure whose address is passed as an argument by the caller. The legacy code was compiled into a shared object library, legacy. so, using the IRIX 6.2 compiler and then loaded onto the Web server, a Silicon Graphics Indy station loaded with the IRIX 6.4 operating system. As far as the class design is concerned, the first thing required is a class to act as a template for the data structure returned by the legacy function. This class, JLegacy, declares a series of public instance variables which correspond to the members of Legacy_Type and provides a parameterless constructor. This constructor is never called, not even by the native method which allocates the object for return to the remote method. Next, the remote interface declaration for the remote object must be defined. In order for JLegacyRO to implement getJLegacy, JLegacyRO must interface with the existing legacy code through a native method, getn. getn is declared in the JLegacyRO class but implemented in C, just like the legacy code. getn returns a JLegacy instance and is declared static since its implementation is the same for all instances of the JLegacyRO class.

Howard, Scott M.↗

Analysis of Gamma-Ray Data from Solar Flares in Cycles 21 and 22

One of our primary accomplishments under grant NAGW-35381 was the systematic derivation and compilation, for the first time, of physical parameters for all gamma-ray flares detected by the SMM GRS during its ten year lifetime. The flare parameters derived from the gamma-ray spectra include: bremsstrahlung fluence and best-fit power-law parameters, narrow nuclear line fluence, positron annihilation line fluence, neutron capture line fluence, and an indication of whether or not greater than 10 MeV emissions were present. We combined this compilation of flare parameters with our plots of counting rate time histories and flare spectra to construct an atlas of gamma-ray flare characteristics. The atlas time histories display four energy bands: 56-199 kev, 298526 keV, 4-8 MeV, and 10-25 MeV. These energy bands respectively measure nonrelativistic bremsstrahlung, trans-relativistic bremsstrahlung, nuclear de-excitation, and ultra-relativistic bremsstrahlung. The atlas spectra show the integrated high-energy spectra measured for all GRS flares and dissects them into electron bremsstrahlung, positron annihilation and nuclear emission components. The atlas has been accepted for publication in the Astrophysical Journal Supplements and is currently in press. The atlas materials were also supplied to the Solar Data Analysis Center at Goddard Space Flight Center and were made available through a web site at the University of New Hampshire. Since a uniform methodology was adopted for deriving the flare parameters, this atlas will be very useful for future statistical and correlative studies of solar flares-three independent groups are presently using it to correlate interplanetary energetic particle measurements with our gamma-ray measurements. A better model for the response of the GRS instrument to high energy radiation was also developed. A refined response model was needed because the old model was not adequate for predicting the first and second escape peaks associated with strong nuclear lines nor could it accurately describe the Compton continuum shape. The new response was developed using a GEANT based simulation code and tested against preflight calibration data. The refinement of the response model and the removal of systematic errors now allow more detailed spectral studies of the GRS gamma-ray measurements. This refined response function was supplied to the Solar DAC at Goddard and was also made available via a web site at the University of New Hampshire.

Vestrand, W. Thomas↗