Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “log structured”

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 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
NASA NTRS2003

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

To achieve its science objectives in deep space exploration, NASA has a need for science platform vehicles to autonomously make control decisions in a time frame that excludes intervention from Earth-based controllers. Round-trip light-time is one significant factor motivating autonomy capability, another factor is the need to reduce ground support operations cost. An unsolved problem potentially impeding the adoption of autonomy capability is the verification and validation of such software systems, which exhibit far more behaviors (and hence distinct execution paths in the software) than is typical in current deepspace platforms. Hence the need for a study to benchmark advanced Verification and Validation (V&V) tools on representative autonomy software. The objective of the study was to access the maturity of different technologies, to provide data indicative of potential synergies between them, and to identify gaps in the technologies with respect to the challenge of autonomy V&V. The study consisted of two parts: first, a set of relatively independent case studies of different tools on the same autonomy code, second a carefully controlled experiment with human participants on a subset of these technologies. This paper describes the second part of the study. Overall, nearly four hundred hours of data on human use of three different advanced V&V tools were accumulated, with a control group that used conventional testing methods. The experiment simulated four independent V&V teams debugging three successive versions of an executive controller for a Martian Rover. Defects were carefully seeded into the three versions based on a profile of defects from CVS logs that occurred in the actual development of the executive controller. The rest of the document is structured a s follows. In section 2 and 3, we respectively describe the tools used in the study and the rover software that was analyzed. In section 4 the methodology for the experiment is described; this includes the code preparation, seeding of defects, participant training and experimental setup. Next we give a qualitative overview of how the experiment went from the point of view of each technology; model checking (section 5), static analysis (section 6), runtime analysis (section 7) and testing (section 8). The find section gives some preliminary quantitative results on how the tools compared.

Brat, Guillaume↗
NASA NTRS2013

Kennedy Space Center: Swamp Works

When I began my internship with the Granular Mechanics and Regolith Operations laboratory (GMRO), also known as Swamp Works, I was given the unique opportunity to shadow many teams working on various projects, and decide what projects I wanted to take part in. Before I go into details of my experiences at Swamp Works, I would like to take a moment to explain what I discovered Swamp Works to be. Swamp Works is a family of hardworking, dedicated, and driven people from various backgrounds and skill sets. These people all work to advance technologies and make science fiction science fact through means of rapid prototyping. They support and encourage failure as an option when learning new things, as long as lesson learned from said failure. In fact, their motto states "Fail, Fast, Forward." What this means is, not if but when one fails he or she must do so quickly and spring forward from the failure so that his or her progress is not delayed. With this acceptance, it provided me the confidence to dive into a multitude of projects working in various fields and with a wide range of skill sets. The first project I joined was Badger. My motivation for taking on this project was the opportunity I would have to obtain valuable experience working with 3D modeling and 3D printing technologies. Badger was a digging apparatus to be used in a highly dusty environment in a material known as Regolith. Regolith is a scientific term for the dirt or top soil found on planetary bodies. Regolith contains a large quantity of sediments less than lOppm and as a result poses a challenge of keeping it out of any cracks and crevices. Furthermore, regolith can create high levels of electrostatic energy, which can prove damaging to sensitive electrical hardware. With these characteristics in mind, I decided to take on the task of designing and manufacturing a dust proof cover for the sensitive electrical hardware. When I began this project, I did not have the slightest idea as to how to use 3D modeling software or a means of manufacturing a viable product. As I went along with variants of the design, I became very proficient with a 3D modeling program known as CREO 2.0. Upon completion of my 3D design, I then had the task of manufacturing and having, in my hands, a usable model. To do this I had to work with additive printing technologies also known as 3D printing. Through my experiences working with Badger, I realized that 3D modeling is the focal point in much of engineering. With this in mind, I have embraced this fact and decided to further my experience with this software so that I may become a more valuable asset to any firm later in my career. Mid-way through work with Badger, I picked up another project in which I found much interest. I ha~ the opportunity to work side by side with a materials and composites guru in manufacturing carbon composite coupons (test strips) for performing stress, strain, and sheer analysis on. Being from a surfing, kiteboarding, and other water sport background I have always been interested in board design. With this in mind, it is no wonder why I found interest in such a project. I had the opportunity to refine Mold preparatory, composite layup, and composite curing techniques. Following manufacturing of these composite strips, I then performed various stress tests and logged my results. With these results, future teams could create lighter, stronger, and more cost effective composite structures for use in varieties of applications. After my experiences with materials and composites testing, I have obtained crucial appreciation for detailed documentation and analysis that material sciences involve. However, as interesting as composite materials testing has been, I do not feel this is where my future career lies. Another, more on the side, project I have been involved in is building a 626 cubic foot regolith containment chamber for doing full scale testing of robotic systems. This chamber is built of high strength aluminum scaffold materials, 80/20, and massive panels of Lexan. Once the chamber is completed, it is be filled with 120 tons of regolith and dubbed the largest regolith test chamber in the world. Through my experiences with building "Big Bin" as we called it, I discovered my demand for engaging and hands on activities. Through all of my incredible experiences working with the Swamp Works at Kennedy Space Center; I have obtained crucial knowledge, insights, and experiences that have fuelled, shaped, and will continue to drive me toward my ultimate goal of obtaining not only a degree in Engineering, but obtaining a job that I can call a career. I want to give much thanks to all of those who mentored me along my journey, and to all who made this opportunity a reality.

DeFilippo, Anthony Robert↗
NASA NTRS1974

Violation of the Vogt-Russell theorem for homogeneous nondegenerate stars

A systematic study is made of the number and types of solutions of the equilibrium equations of stellar structure, in the case of homogeneous stars of Population I over the mass range 2-1000 solar masses, with four different opacity representations. A variant of the usual fitting method permits the simultaneous investigation of convergence and tendency toward multiplicity of the solutions. Quadratic interpolation and extrapolation of Carson's new opacity tables produces a very large opacity at low temperatures that greatly affects the loose outer layers of massive stars, while leaving the cores practically unaffected. As a result, over a small mass range, well above 100 solar masses, triple solutions exist, always near an effective temperature of log Te = 4.73. A simple classification of the known exceptions to the Vogt-Russell theorem on the uniqueness of stellar structure is given.

Stothers, R.↗
NASA NTRS1992

Estimation of the viscosities of silicate liquids at high pressure from measurements of oxygen diffusivity

The dynamics and evolution of a magma ocean depend significantly on the structure and physical properties of silicate liquids at high pressure. Viscosity is particularly important because of its effect on the dynamics of convection and crystal setting. Traditionally, the viscosities of silicate liquids have been measured at high pressure by falling sphere viscometry but, due to some limitations of this technique, few measurements have been made at pressures exceeding 2.5 GPa. An alternative approach, which has previously been proven up to 2 GPa, is to use high pressure measurements of oxygen self-diffusivity (D) to estimate viscosity (eta) from the Eyring relationship eta = kT/D lambda (where k is the Boltzmann constant, T is absolute temperature, and lambda is the diffusive jump distance). We have performed preliminary experiments on Na2Si4O9 liquid in order to explore the feasibility of this method up to pressures in excess of 10 GPa. Diffusion couples were prepared from glass starting materials with one half of the sample enriched in O-18 and the other half containing the natural abundance (0.2 wt percent). Diffusion experiments were performed at 1600 to 1800 C at pressures in the range of 2.5 to 10 GPa for times up to 6 minutes using a 1200 ton multianvil apparatus. Oxygen diffusivities were derived from the resulting O-18 concentration profiles, which were analyzed using an ion microprobe. At 1800 C, oxygen diffusivities increase continuously from 1 x 10(exp -10) m(exp -2) s(exp -1) at 2.5 Gpa to 5 x 10(exp -10) m(exp -2) s(exp -1) at 10 GPa. From the Eyring relationship, the viscosity of Na2SiO9 liquid is predicted to decrease by approx. 0.7 log units over this pressure range at 1800 C. These trends, which can be related to changes in the structure of the liquid at high pressure, are in agreement with results of molecular dynamics calculations. These results suggest that it should be possible to estimate the viscosities of silicate liquids up to at least 15 GPa and 2200 C by this method.

Rubie, D. C.↗
NASA NTRS1974

The problem of controlling the directivity of low directivity antennas on spacecraft in flight

Interests exist in the creation of antennas allowing adjustment of the radiation pattern and directivity in flight without using complex switching and matching circuits. Results are presented of certain experimental tests performed with log-periodic conical helical antennas to determine the possibilities of regulation of their radiation patterns without changing the structure of the current-carrying elements, supply connections, etc.

Mashkov, V. I.↗
NASA NTRS1997

Measurement and Analysis of Failures in Computer Systems

This thesis presents a study of software failures spanning several different releases of Tandem's NonStop-UX operating system running on Tandem Integrity S2(TMR) systems. NonStop-UX is based on UNIX System V and is fully compliant with industry standards, such as the X/Open Portability Guide, the IEEE POSIX standards, and the System V Interface Definition (SVID) extensions. In addition to providing a general UNIX interface to the hardware, the operating system has built-in recovery mechanisms and audit routines that check the consistency of the kernel data structures. The analysis is based on data on software failures and repairs collected from Tandem's product report (TPR) logs for a period exceeding three years. A TPR log is created when a customer or an internal developer observes a failure in a Tandem Integrity system. This study concentrates primarily on those TPRs that report a UNIX panic that subsequently crashes the system. Approximately 200 of the TPRs fall into this category. Approximately 50% of the failures reported are from field systems, and the rest are from the testing and development sites. It has been observed by Tandem developers that fewer cases are encountered from the field than from the test centers. Thus, the data selection mechanism has introduced a slight skew.

Thakur, Anshuman↗
NASA NTRSDate not supplied

Structured Covariance Gaussian Networks for Orion Crew Module Aerodynamic Uncertainty Quantification

In this paper we propose a new approach for nonlinear regression and uncertainty quantification. The method is based on a pair of neural networks which parameterize mean and dense covariance functions of a multivariate Gaussian process, trained together to maximize the log-likelihood of observing the given data. The covariance matrix is made positive definite at every input by construction. We also propose a sampling approach that produces viable surrogate function realizations from the Gaussian process. We call the proposed model a Structured Covariance Gaussian Network (SCGN). We illustrate the use of SCGNs for learning an aerodynamic response surface with built-in uncertainty for the Orion crew module. We find that SCGN provides an efficient and systematic way to learn nonlinear functional relationships and dense covariances. We compare results to a baseline Gaussian process regressor and observe that the SCGN provides comparable uncertainty descriptions with improved scalability to dataset size. The sample functions generated by SCGN are fast to evaluate online and are therefore convenient for use in trajectory simulations. These results suggest that SCGN may be a viable computational method for aerodynamic uncertainty quantification.

machine learning↗
NASA NTRSDate not supplied

Structured Covariance Gaussian Networks for Orion Crew Module Aerodynamic Uncertainty Quantification

In this paper we propose a new approach for nonlinear regression and uncertainty quantification. The method is based on a pair of neural networks which parameterize mean and dense covariance functions of a multivariate Gaussian process, trained together to maximize the log-likelihood of observing the given data. The covariance matrix is made positive definite at every input by construction. We also propose a sampling approach that produces viable surrogate function realizations from the Gaussian process. We call the proposed model a Structured Covariance Gaussian Network (SCGN). We illustrate the use of SCGNs for learning an aerodynamic response surface with built-in uncertainty for the Orion crew module. We find that SCGN provides an efficient and systematic way to learn nonlinear functional relationships and dense covariances. We compare results to a baseline Gaussian process regressor and observe that the SCGN provides comparable uncertainty descriptions with improved scalability to dataset size. The sample functions generated by SCGN are fast to evaluate online and are therefore convenient for use in trajectory simulations. These results suggest that SCGN may be a viable computational method for aerodynamic uncertainty quantification.

machine learning↗
NASA NTRS2011

Technique for Solving Electrically Small to Large Structures for Broadband Applications

Fast iterative algorithms are often used for solving Method of Moments (MoM) systems, having a large number of unknowns, to determine current distribution and other parameters. The most commonly used fast methods include the fast multipole method (FMM), the precorrected fast Fourier transform (PFFT), and low-rank QR compression methods. These methods reduce the O(N) memory and time requirements to O(N log N) by compressing the dense MoM system so as to exploit the physics of Green s Function interactions. FFT-based techniques for solving such problems are efficient for spacefilling and uniform structures, but their performance substantially degrades for non-uniformly distributed structures due to the inherent need to employ a uniform global grid. FMM or QR techniques are better suited than FFT techniques; however, neither the FMM nor the QR technique can be used at all frequencies. This method has been developed to efficiently solve for a desired parameter of a system or device that can include both electrically large FMM elements, and electrically small QR elements. The system or device is set up as an oct-tree structure that can include regions of both the FMM type and the QR type. The system is enclosed with a cube at a 0- th level, splitting the cube at the 0-th level into eight child cubes. This forms cubes at a 1st level, recursively repeating the splitting process for cubes at successive levels until a desired number of levels is created. For each cube that is thus formed, neighbor lists and interaction lists are maintained. An iterative solver is then used to determine a first matrix vector product for any electrically large elements as well as a second matrix vector product for any electrically small elements that are included in the structure. These matrix vector products for the electrically large and small elements are combined, and a net delta for a combination of the matrix vector products is determined. The iteration continues until a net delta is obtained that is within the predefined limits. The matrix vector products that were last obtained are used to solve for the desired parameter. The solution for the desired parameter is then presented to a user in a tangible form; for example, on a display.

Jandhyala, Vikram↗
NASA NTRS1977

The spectrum and position of solar noise storms at decameter wavelengths

Decametric storm radiation during the period July-August 1970 has been observed simultaneously with a high sensitivity spectrograph at Arecibo Observatory and with the log-periodic, swept-frequency array of the Clark Lake Radio Observatory. The observations complement each other; different types of fine structure emissions can be easily identified on the spectrograph records and their position can be determined from the swept-frequency recordings. The relative positions of the different emissions which have been observed during the storms are studied. Four distinct sources appear to be present. The continuum emission, the type I bursts and the flare-related type III's are all emitted at different locations. The storm type III bursts, type IIIb's and drift pairs overlap in position, but appear at different locations than the previously mentioned sources.

De La Noe, J.↗
NASA NTRS1991

Aero/fluids database system

The AFAS Database System was developed to provide the basic structure of a comprehensive database system for the Marshall Space Flight Center (MSFC) Structures and Dynamics Laboratory Aerophysics Division. The system is intended to handle all of the Aerophysics Division Test Facilities as well as data from other sources. The system was written for the DEC VAX family of computers in FORTRAN-77 and utilizes the VMS indexed file system and screen management routines. Various aspects of the system are covered, including a description of the user interface, lists of all code structure elements, descriptions of the file structures, a description of the security system operation, a detailed description of the data retrieval tasks, a description of the session log, and a description of the archival system.

Reardon, John E.↗
NASA NTRS1997

Interface structure of co-rotating interaction regions

Plasma and particle observations on Ulysses during its passes through the southern and northern heliosphere have revealed that, inside the streamer belt, the large-scale structure of the quiet global heliosphere is dominated by corotating interaction regions (CIRs). Therefore, considerable attention is now being given to the internal plasma structure of CIRs, and in particular, to the manifestations of the stream interfaces that should mark their origins as interactions between low speed solar wind (in the low-latitude streamer belt) and high speed solar wind (from the equatorial extensions of the high latitude polar coronal holes). The SWICS and HI-SCALE experiments on Ulysses combine plasma and energetic particle measurements that are of considerable utility for such studies because, between them, they cover the proton energy range from 10 eV to 5 MeV. These measurements are used, together with magnetic field data, to study the remarkable series of CIRs that occurred during the period beginning July 1992 and the end of 1993 as Ulysses rose from the ecliptic to a southern heliographic latitude of 48 deg. The structure of the regions between the forward and reverse shocks were previously analyzed in terms of the proton specific entropy argument log that should exhibit a discontinuous jump at the stream interface. It was claimed that the stream interface, defined with respect to specific entropy, is also associated with a discontinuity in energetic proton intensities. The energetic particle data (greater than 60 keV) and how they were ordered with respect to interfaces and with respect to the magnetic field were examined.

Ogilvie, K. W.↗
NASA NTRS2011

Data Mining of Network Logs

The statement of purpose is to analyze network monitoring logs to support the computer incident response team. Specifically, gain a clear understanding of the Uniform Resource Locator (URL) and its structure, and provide a way to breakdown a URL based on protocol, host name domain name, path, and other attributes. Finally, provide a method to perform data reduction by identifying the different types of advertisements shown on a webpage for incident data analysis. The procedures used for analysis and data reduction will be a computer program which would analyze the URL and identify and advertisement links from the actual content links.

Collazo, Carlimar↗
NASA NTRS1992

Fractal analysis: A new remote sensing tool for lava flows

Many important quantitative parameters have been developed that relate to the rheology and eruption and emplacement mechanics of lavas. This research centers on developing additional, unique parameters, namely the fractal properties of lava flows, to add to this matrix of properties. There are several methods of calculating the fractal dimension of a lava flow margin. We use the 'structured walk' or 'divider' method. In this method, we measure the length of a given lava flow margin by walking rods of different lengths along the margin. Since smaller rod lengths transverse more smaller-scaled features in the flow margin, the apparent length of the flow outline will increase as the length of the measuring rod decreases. By plotting the apparent length of the flow outline as a function of the length of the measuring rod on a log-log plot, fractal behavior can be determined. A linear trend on a log-log plot indicates that the data are fractal. The fractal dimension can then be calculated from the slope of the linear least squares fit line to the data. We use this 'structured walk' method to calculate the fractal dimension of many lava flows using a wide range of rod lengths, from 1/8 to 16 meters, in field studies of the Hawaiian islands. We also use this method to calculate fractal dimensions from aerial photographs of lava flows, using lengths ranging from 20 meters to over 2 kilometers. Finally, we applied this method to orbital images of extraterrestrial lava flows on Venus, Mars, and the Moon, using rod lengths up to 60 kilometers.

Bruno, B. C.↗
NASA NTRS1993

Fractal geometry of some Martian lava flow margins: Alba Patera

Fractal dimension for a few lava flow margins on the gently sloping flanks of Alba Patera were measured using the structured walk method. Fractal behavior was observed at scales ranging from 20 to 100 pixels. The upper limit of the linear part of log(margin length) vs. log(scale) profile correlated well to the margin length. The lower limit depended on resolution and flow properties.

Kauhanen, K.↗
NASA NTRS1999

Map Algorithms for Decoding Linear Block codes Based on Sectionalized Trellis Diagrams

The MAP algorithm is a trellis-based maximum a posteriori probability decoding algorithm. It is the heart of the turbo (or iterative) decoding which achieves an error performance near the Shannon limit. Unfortunately, the implementation of this algorithm requires large computation and storage. Furthermore, its forward and backward recursions result in long decoding delay. For practical applications, this decoding algorithm must be simplified and its decoding complexity and delay must be reduced. In this paper, the MAP algorithm and its variations, such as Log-MAP and Max-Log-MAP algorithms, are first applied to sectionalized trellises for linear block codes and carried out as two-stage decodings. Using the structural properties of properly sectionalized trellises, the decoding complexity and delay of the MAP algorithms can be reduced. Computation-wise optimum sectionalizations of a trellis for MAP algorithms are investigated. Also presented in this paper are bi-directional and parallel MAP decodings.

Lin, Shu↗
NASA NTRS2000

MAP Algorithms for Decoding Linear Block Codes Based on Sectionalized Trellis Diagrams

The maximum a posteriori probability (MAP) algorithm is a trellis-based MAP decoding algorithm. It is the heart of turbo (or iterative) decoding that achieves an error performance near the Shannon limit. Unfortunately, the implementation of this algorithm requires large computation and storage. Furthermore, its forward and backward recursions result in long decoding delay. For practical applications, this decoding algorithm must be simplified and its decoding complexity and delay must be reduced. In this paper, the MAP algorithm and its variations, such as log-MAP and max-log-MAP algorithms, are first applied to sectionalized trellises for linear block codes and carried out as two-stage decodings. Using the structural properties of properly sectionalized trellises, the decoding complexity and delay of the MAP algorithms can be reduced. Computation-wise optimum sectionalizations of a trellis for MAP algorithms are investigated. Also presented in this paper are bidirectional and parallel MAP decodings.

Lui, Ye↗
NASA NTRS2009

Service Management Database for DSN Equipment

This data- and event-driven persistent storage system leverages the use of commercial software provided by Oracle for portability, ease of maintenance, scalability, and ease of integration with embedded, client-server, and multi-tiered applications. In this role, the Service Management Database (SMDB) is a key component of the overall end-to-end process involved in the scheduling, preparation, and configuration of the Deep Space Network (DSN) equipment needed to perform the various telecommunication services the DSN provides to its customers worldwide. SMDB makes efficient use of triggers, stored procedures, queuing functions, e-mail capabilities, data management, and Java integration features provided by the Oracle relational database management system. SMDB uses a third normal form schema design that allows for simple data maintenance procedures and thin layers of integration with client applications. The software provides an integrated event logging system with ability to publish events to a JMS messaging system for synchronous and asynchronous delivery to subscribed applications. It provides a structured classification of events and application-level messages stored in database tables that are accessible by monitoring applications for real-time monitoring or for troubleshooting and analysis over historical archives.

Zendejas, Silvino↗