Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “CONCRETES”

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 487 records · Page 27
All sourcesNASA NTRSDOE OSTI
NASA NTRS2008

Automatic Testcase Generation for Flight Software

The TacSat3 project is applying Integrated Systems Health Management (ISHM) technologies to an Air Force spacecraft for operational evaluation in space. The experiment will demonstrate the effectiveness and cost of ISHM and vehicle systems management (VSM) technologies through onboard operation for extended periods. We present two approaches to automatic testcase generation for ISHM: 1) A blackbox approach that views the system as a blackbox, and uses a grammar-based specification of the system's inputs to automatically generate *all* inputs that satisfy the specifications (up to prespecified limits); these inputs are then used to exercise the system. 2) A whitebox approach that performs analysis and testcase generation directly on a representation of the internal behaviour of the system under test. The enabling technologies for both these approaches are model checking and symbolic execution, as implemented in the Ames' Java PathFinder (JPF) tool suite. Model checking is an automated technique for software verification. Unlike simulation and testing which check only some of the system executions and therefore may miss errors, model checking exhaustively explores all possible executions. Symbolic execution evaluates programs with symbolic rather than concrete values and represents variable values as symbolic expressions. We are applying the blackbox approach to generating input scripts for the Spacecraft Command Language (SCL) from Interface and Control Systems. SCL is an embedded interpreter for controlling spacecraft systems. TacSat3 will be using SCL as the controller for its ISHM systems. We translated the SCL grammar into a program that outputs scripts conforming to the grammars. Running JPF on this program generates all legal input scripts up to a prespecified size. Script generation can also be targeted to specific parts of the grammar of interest to the developers. These scripts are then fed to the SCL Executive. ICS's in-house coverage tools will be run to measure code coverage. Because the scripts exercise all parts of the grammar, we expect them to provide high code coverage. This blackbox approach is suitable for systems for which we do not have access to the source code. We are applying whitebox test generation to the Spacecraft Health INference Engine (SHINE) that is part of the ISHM system. In TacSat3, SHINE will execute an on-board knowledge base for fault detection and diagnosis. SHINE converts its knowledge base into optimized C code which runs onboard TacSat3. SHINE can translate its rules into an intermediate representation (Java) suitable for analysis with JPF. JPF will analyze SHINE's Java output using symbolic execution, producing testcases that can provide either complete or directed coverage of the code. Automatically generated test suites can provide full code coverage and be quickly regenerated when code changes. Because our tools analyze executable code, they fully cover the delivered code, not just models of the code. This approach also provides a way to generate tests that exercise specific sections of code under specific preconditions. This capability gives us more focused testing of specific sections of code.

Bushnell, David Henry↗
NASA NTRS2007

The Use of the Airborne Thermal/Visible Land Application Sensor (ATLAS) to Determine the Thermal Response Numbers for Urban Areas

Although satellite data are very useful for analysis of the urban heat island effect at a coarse scale, they do not lend themselves to developing a better understanding of which surfaces across the city contribute or drive the development of the urban heat island effect. Analysis of thermal energy responses for specific or discrete surfaces typical of the urban landscape (e.g., asphalt, building rooftops, vegetation) requires measurements at a very fine spatial scale (i.e., < 15m) to adequately resolve these surfaces and their attendant thermal energy regimes. Additionally, very fine scale spatial resolution thermal infrared data, such as that obtained from aircraft, are very useful for demonstrating to planning officials, policy makers, and the general populace the benefits of the urban forest. These benefits include mitigating the urban heat island effect, making cities more aesthetically pleasing and more habitable environments, and aid in overall cooling of the community. High spatial resolution thermal data are required to quantify how artificial surfaces within the city contribute to an increase in urban heating and the benefit of cool surfaces (e.g., surface coatings that reflect much of the incoming solar radiation as opposed to absorbing it thereby lowering urban temperatures). The TRN (thermal response number)(Luvall and Holbo 1989) is a technique using aircraft remotely sensed surface temperatures to quantify the thermal response of urban surfaces. The TRN was used to quantify the thermal response of various urban surface types ranging from completely vegetated surfaces to asphalt and concrete parking lots for several cities in the United States.

Luvall, Jeffrey C.↗
NASA NTRS2010

Roles of Engineering Correlations in Hypersonic Entry Boundary Layer Transition Prediction

Efforts to design and operate hypersonic entry vehicles are constrained by many considerations that involve all aspects of an entry vehicle system. One of the more significant physical phenomenon that affect entry trajectory and thermal protection system design is the occurrence of boundary layer transition from a laminar to turbulent state. During the Space Shuttle Return To Flight activity following the loss of Columbia and her crew of seven, NASA's entry aerothermodynamics community implemented an engineering correlation based framework for the prediction of boundary layer transition on the Orbiter. The methodology for this implementation relies upon the framework of correlation techniques that have been in use for several decades. What makes the Orbiter boundary layer transition correlation implementation unique is that a statistically significant data set was acquired in multiple ground test facilities, flight data exists to assist in establishing a better correlation and the framework was founded upon state of the art chemical nonequilibrium Navier Stokes flow field simulations. The basic tenets that guided the formulation and implementation of the Orbiter Return To Flight boundary layer transition prediction capability will be reviewed as a recommended format for future empirical correlation efforts. The validity of this approach has since been demonstrated by very favorable comparison of recent entry flight testing performed with the Orbiter Discovery, which will be graphically summarized. These flight data can provide a means to validate discrete protuberance engineering correlation approaches as well as high fidelity prediction methods to higher confidence. The results of these Orbiter engineering and flight test activities only serve to reinforce the essential role that engineering correlations currently exercise in the design and operation of entry vehicles. The framework of information-related to the Orbiter empirical boundary layer transition prediction capability will be utilized to establish a fresh perspective on this role, to illustrate how quantitative statistical evaluations of empirical correlations can and should be used to assess accuracy and to discuss what the authors' perceive as a recent heightened interest in the application of high fidelity numerical modeling of boundary layer transition. Concrete results will also be developed related to empirical boundary layer transition onset correlations. This will include assessment of the discrete protuberance boundary layer transition onset data assembled for the Orbiter configuration during post-Columbia Return To Flight. Assessment of these data will conclude that momentum thickness Reynolds number based correlations have superior coefficients and uncertainty in comparison to roughness height based Reynolds numbers, aka Re(sub k) or Re(sub kk). In addition, linear regression results from roughness height Reynolds number based correlations will be evaluated, leading to a hypothesis that non-continuum effects play a role in the processes associated with incipient boundary layer transition on discrete protuberances.

Campbell, Charles H.↗
NASA NTRS2009

Human Research Program Space Human Factors Engineering (SHFE) Standing Review Panel (SRP)

The Space Human Factors Engineering (SHFE) Standing Review Panel (SRP) evaluated 22 gaps and 39 tasks in the three risk areas assigned to the SHFE Project. The area where tasks were best designed to close the gaps and the fewest gaps were left out was the Risk of Reduced Safety and Efficiency dire to Inadequate Design of Vehicle, Environment, Tools or Equipment. The areas where there were more issues with gaps and tasks, including poor or inadequate fit of tasks to gaps and missing gaps, were Risk of Errors due to Poor Task Design and Risk of Error due to Inadequate Information. One risk, the Risk of Errors due to Inappropriate Levels of Trust in Automation, should be added. If astronauts trust automation too much in areas where it should not be trusted, but rather tempered with human judgment and decision making, they will incur errors. Conversely, if they do not trust automation when it should be trusted, as in cases where it can sense aspects of the environment such as radiation levels or distances in space, they will also incur errors. This will be a larger risk when astronauts are less able to rely on human mission control experts and are out of touch, far away, and on their own. The SRP also identified 11 new gaps and five new tasks. Although the SRP had an extremely large quantity of reading material prior to and during the meeting, we still did not feel we had an overview of the activities and tasks the astronauts would be performing in exploration missions. Without a detailed task analysis and taxonomy of activities the humans would be engaged in, we felt it was impossible to know whether the gaps and tasks were really sufficient to insure human safety, performance, and comfort in the exploration missions. The SRP had difficulty evaluating many of the gaps and tasks that were not as quantitative as those related to concrete physical danger such as excessive noise and vibration. Often the research tasks for cognitive risks that accompany poor task or information design addressed only part, but not all, of the gaps they were programmed to fill. In fact the tasks outlined will not close the gap but only scratch the surface in many cases. In other cases, the gap was written too broadly, and really should be restated in a more constrained way that can be addressed by a well-organized and complementary set of tasks. In many cases, the research results should be turned into guidelines for design. However, it was not clear whether the researchers or another group would construct and deliver these guidelines.

Wichansky, Anna↗
NASA NTRS2010

The Epiregolith

The physical properties of the lunar regolith were originally inferred from remotely sensed data, first from the Earth and later from orbiting spacecraft. The Surveyor landings and the Apollo surface explorations produced a more concrete characterization of the macroscopic properties. In general, the upper regolith consists of a loosely consolidated layer centimeters thick underlain by a particulate but extremely compacted layer to depths of meters or tens of meters. The median particle size as determined by mechanical sieving in terrestrial laboratories is several tens of micrometers. However, the comminuting processes that form the layer produce particles in all sizes down to manometers. The smallest particles, having a high surface to volume ratio, tend to be electrostatically bound to larger particles and are quite difficult to separate mechanically in the laboratory. Particle size distributions determined from lunar soil samples often group particles smaller than 10 micrometers.

Mendell, Wendell W.↗
NASA NTRS2010

Development and Implementation of Nationally Recognized Laboratory for Material Characterization in the Microwave and Millimeter Wave Bands

This report provides a progress update for establishing a laboratory for material characterization in the microwave and millimeter wave bands. During the launch of STS-124 a large area of refractory bricks was liberated from the flame trench built for the exhaust of the solid rocket motors (SRM). The inspection of the liberated area revealed many defects, debonds, corrosion and voids that are a cause for concern relating to the health of the entire flame trench wall. A request for assistance was received for the nondestructive evaluation (NDE) of these anomalies behind the refractory bricks, with the primary interest being a health assessment based on the quality of the brick, epoxy and concrete bond.

Hepburn, Frank L.↗
NASA NTRS2010

The Proposed Mars Astrobiology Explorer - Cacher [MAX-C] Rover: First Step in a Potential Sample Return Campaign

Sample return from Mars has been advocated by numerous scientific advisory panels for over 30 years, most prominently beginning with the National Research Council s [1] strategy for the exploration of the inner solar system, and most recently by the Mars Exploration Program Analysis Group (MEPAG s) Next Decade Science Analysis Group [2]. Analysis of samples here on Earth would have enormous advantages over in situ analyses in producing the data quality needed to address many of the complex scientific questions the community has posed about Mars. Instead of a small, predetermined set of analytical techniques, state of the art preparative and instrumental resources of the entire scientific community could be applied to the samples. The analytical emphasis could shift as the meaning of each result becomes better appreciated. These arguments apply both to igneous rocks and to layered sedimentary materials, either of which could contain water and other volatile constituents. In 2009 MEPAG formed the Mid-Range Rover Science Analysis Group (MRR-SAG) to formulate a mission concept that would address two general objectives: (1) conduct high-priority in situ science and (2) make concrete steps towards the potential return of samples to Earth. This analysis resulted in a mission concept named the Mars Astrobiology Explorer-Cacher (MAX-C), which was envisioned for launch in the 2018 opportunity. After extensive discussion, this group concluded that by far the most definitive contribution to sample return by this mission would be to collect and cache, in an accessible location, a suite of compelling samples that could potentially be recovered and returned by a subsequent mission. This would have the effect of separating two of the essential functions of MSR, the acquisition of the sample collection and its delivery to martian orbit, into two missions.

Allen, Carlton C.↗
NASA NTRS2007

Rapid and Quiet Drill

This describes aspects of the rapid and quiet drill (RAQD), which is a prototype apparatus for drilling concrete or bricks. The design and basic principle of operation of the RAQD overlap, in several respects, with those of ultrasonic/ sonic drilling and coring apparatuses described in a number of previous NASA Tech Briefs articles. The main difference is that whereas the actuation scheme of the prior apparatuses is partly ultrasonic and partly sonic, the actuation scheme of the RAQD is purely ultrasonic. Hence, even though the RAQD generates considerable sound, it is characterized as quiet because most or all of the sound is above the frequency range of human hearing.

Sherrit, Stewart↗
NASA NTRS2007

Reusable, Extensible High-Level Data-Distribution Concept

A framework for high-level specification of data distributions in data-parallel application programs has been conceived. [As used here, distributions signifies means to express locality (more specifically, locations of specified pieces of data) in a computing system composed of many processor and memory components connected by a network.] Inasmuch as distributions exert a great effect on the performances of application programs, it is important that a distribution strategy be flexible, so that distributions can be adapted to the requirements of those programs. At the same time, for the sake of productivity in programming and execution, it is desirable that users be shielded from such error-prone, tedious details as those of communication and synchronization. As desired, the present framework enables a user to refine a distribution type and adjust it to optimize the performance of an application program and conceals, from the user, the low-level details of communication and synchronization. The framework provides for a reusable, extensible, data-distribution design, denoted the design pattern, that is independent of a concrete implementation. The design pattern abstracts over coding patterns that have been found to be commonly encountered in both manually and automatically generated distributed parallel programs. The following description of the present framework is necessarily oversimplified to fit within the space available for this article. Distributions are among the elements of a conceptual data-distribution machinery, some of the other elements being denoted domains, index sets, and data collections (see figure). Associated with each domain is one index set and one distribution. A distribution class interface (where "class" is used in the object-oriented-programming sense) includes operations that enable specification of the mapping of an index to a unit of locality. Thus, "Map(Index)" specifies a unit, while "LocalLayout(Index)" specifies the local address within that unit. The distribution class can be extended to enable specification of commonly used distributions or novel user-defined distributions. A data collection can be defined over a domain. The term "data collection" in this context signifies, more specifically, an abstraction of mappings from index sets to variables. Since the index set is distributed, the addresses of the variables are also distributed.

James, Mark↗
NASA NTRS2010

Verification and Validation of Flight-Critical Systems

For the first time in many years, the NASA budget presented to congress calls for a focused effort on the verification and validation (V&V) of complex systems. This is mostly motivated by the results of the VVFCS (V&V of Flight-Critical Systems) study, which should materialize as a a concrete effort under the Aviation Safety program. This talk will present the results of the study, from requirements coming out of discussions with the FAA and the Joint Planning and Development Office (JPDO) to technical plan addressing the issue, and its proposed current and future V&V research agenda, which will be addressed by NASA Ames, Langley, and Dryden as well as external partners through NASA Research Announcements (NRA) calls. This agenda calls for pushing V&V earlier in the life cycle and take advantage of formal methods to increase safety and reduce cost of V&V. I will present the on-going research work (especially the four main technical areas: Safety Assurance, Distributed Systems, Authority and Autonomy, and Software-Intensive Systems), possible extensions, and how VVFCS plans on grounding the research in realistic examples, including an intended V&V test-bench based on an Integrated Modular Avionics (IMA) architecture and hosted by Dryden.

Brat, Guillaume↗
NASA NTRS2010

Full-Scale Crash Test of a MD-500 Helicopter with Deployable Energy Absorbers

A new externally deployable energy absorbing system was demonstrated during a full-scale crash test of an MD-500 helicopter. The deployable system is a honeycomb structure and utilizes composite materials in its construction. A set of two Deployable Energy Absorbers (DEAs) were fitted on the MD-500 helicopter for the full-scale crash demonstration. Four anthropomorphic dummy occupants were also used to assess human survivability. A demonstration test was performed at NASA Langley's Landing and Impact Research Facility (LandIR). The test involved impacting the helicopter on a concrete surface with combined forward and vertical velocity components of 40-ft/s and 26-ft/s, respectively. The objectives of the test were to evaluate the performance of the DEA concept under realistic crash conditions and to generate test data for validation of dynamic finite element simulations. Descriptions of this test as well as other component and full-scale tests leading to the helicopter test are discussed. Acceleration data from the anthropomorphic dummies showed that dynamic loads were successfully attenuated to within non-injurious levels. Moreover, the airframe itself survived the relatively severe impact and was retested to provide baseline data for comparison for cases with and without DEAs.

Kellas, Sotiris↗
NASA NTRS2006

Platform for Testing Robotic Vehicles on Simulated Terrain

The variable terrain tilt platform (VTTP) is a means of providing simulated terrain for mobility testing of engineering models of the Mars Exploration Rovers. The VTTP could also be used for testing the ability of other robotic land vehicles (and small vehicles in general) to move across terrain under diverse conditions of slope and surface texture, and in the presence of obstacles of various sizes and shapes. The VTTP consists mostly of a 16-ft-(4.88-m)-square tilt table. The tilt can be adjusted to any angle between 0 (horizontal) and 25 . The test surface of the table can be left bare; can be covered with hard, high-friction material; or can be covered with sand, gravel, and/or other ground-simulating material or combination of materials to a thickness of as much as 6 in. (approx. 15 cm). Models of rocks, trenches, and other obstacles can be placed on the simulated terrain. For example, for one of the Mars- Rover tests, a high-friction mat was attached to the platform, then a 6-in.- ( 15 cm) deep layer of dry, loose beach sand was deposited on the mat. The choice of these two driving surface materials was meant to bound the range of variability of terrain that the rover was expected to encounter on the Martian surface. At each of the different angles at which tests were performed, for some of the tests, rocklike concrete obstacles ranging in height from 10 to 25 cm were placed in the path of the rover (see figure). The development of the VTTP was accompanied by development of a methodology of testing to characterize the performance and modes of failure of a vehicle under test. In addition to variations in slope, ground material, and obstacles, testing typically includes driving up-slope, down-slope, cross-slope, and at intermediate angles relative to slope. Testing includes recording of drive-motor currents, wheel speeds, articulation of suspension mechanisms, and the actual path of the vehicle over the simulated terrain. The collected data can be used to compute curves that summarize torque, speed, power-demand, and slip characteristics of wheels during the traverse.

Lindemann, Randel↗
NASA NTRS2009

First International Diagnosis Competition - DXC'09

A framework to compare and evaluate diagnosis algorithms (DAs) has been created jointly by NASA Ames Research Center and PARC. In this paper, we present the first concrete implementation of this framework as a competition called DXC 09. The goal of this competition was to evaluate and compare DAs in a common platform and to determine a winner based on diagnosis results. 12 DAs (model-based and otherwise) competed in this first year of the competition in 3 tracks that included industrial and synthetic systems. Specifically, the participants provided algorithms that communicated with the run-time architecture to receive scenario data and return diagnostic results. These algorithms were run on extended scenario data sets (different from sample set) to compute a set of pre-defined metrics. A ranking scheme based on weighted metrics was used to declare winners. This paper presents the systems used in DXC 09, description of faults and data sets, a listing of participating DAs, the metrics and results computed from running the DAs, and a superficial analysis of the results.

Kurtoglu, tolga↗
NASA NTRS2009

Stochastic Formal Correctness of Numerical Algorithms

We provide a framework to bound the probability that accumulated errors were never above a given threshold on numerical algorithms. Such algorithms are used for example in aircraft and nuclear power plants. This report contains simple formulas based on Levy's and Markov's inequalities and it presents a formal theory of random variables with a special focus on producing concrete results. We selected four very common applications that fit in our framework and cover the common practices of systems that evolve for a long time. We compute the number of bits that remain continuously significant in the first two applications with a probability of failure around one out of a billion, where worst case analysis considers that no significant bit remains. We are using PVS as such formal tools force explicit statement of all hypotheses and prevent incorrect uses of theorems.

Daumas, Marc↗
NASA NTRS2009

Formal Methods for Automated Diagnosis of Autosub 6000

This is a progress report on applying formal methods in the context of building an automated diagnosis and recovery system for Autosub 6000, an Autonomous Underwater Vehicle (AUV). The diagnosis task involves building abstract models of the control system of the AUV. The diagnosis engine is based on Livingstone 2, a model-based diagnoser originally built for aerospace applications. Large parts of the diagnosis model can be built without concrete knowledge about each mission, but actual mission scripts and configuration parameters that carry important information for diagnosis are changed for every mission. Thus we use formal methods for generating the mission control part of the diagnosis model automatically from the mission script and perform a number of invariant checks to validate the configuration. After the diagnosis model is augmented with the generated mission control component model, it needs to be validated using verification techniques.

Ernits, Juhan↗
NASA NTRS2010

Assessing Space Exploration Technology Requirements as a First Step Towards Ensuring Technology Readiness for International Cooperation in Space Exploration

Advancing critical and enhancing technologies is considered essential to enabling sustainable and affordable human space exploration. Critical technologies are those that enable a certain class of mission, such as technologies necessary for safe landing on the Martian surface, advanced propulsion, and closed loop life support. Others enhance the mission by leading to a greater satisfaction of mission objectives or increased probability of mission success. Advanced technologies are needed to reduce mass and cost. Many space agencies have studied exploration mission architectures and scenarios with the resulting lists of critical and enhancing technologies being very similar. With this in mind, and with the recognition that human space exploration will only be enabled by agencies working together to address these challenges, interested agencies participating in the International Space Exploration Coordination Group (ISECG) have agreed to perform a technology assessment as an important step in exploring cooperation opportunities for future exploration mission scenarios. "The Global Exploration Strategy: The Framework for Coordination" was developed by fourteen space agencies and released in May 2007. Since the fall of 2008, several International Space Exploration Coordination Group (ISECG) participating space agencies have been studying concepts for human exploration of the moon. They have identified technologies considered critical and enhancing of sustainable space exploration. Technologies such as in-situ resource utilization, advanced power generation/energy storage systems, reliable dust resistant mobility systems, and closed loop life support systems are important examples. Similarly, agencies such as NASA, ESA, and Russia have studied Mars exploration missions and identified critical technologies. They recognize that human and robotic precursor missions to destinations such as LEO, moon, and near earth objects provide opportunities to demonstrate the technologies needed for Mars mission. Agencies see the importance of assessing gaps and overlaps in their plans to advance technologies in order to leverage their investments and enable exciting missions as soon as practical. They see the importance of respecting the ability of any agency to invest in any technologies considered interesting or strategic. This paper will describe the importance of developing an appropriate international strategy for technology development and ideas for effective mechanisms for advancing an international strategy. This work will both inform and be informed by the development of an ISECG Global Exploration Roadmap and serve as a concrete step forward in advancing the Global Exploration Strategy.

Laurini, Kathleen C.↗
NASA NTRS2010

Crash Test of an MD-500 Helicopter with a Deployable Energy Absorber Concept

On December 2, 2009, a full scale crash test was successfully conducted of a MD-500 helicopter at the NASA Langley Research Center Landing and Impact Research Facility . The purpose of this test was to evaluate a novel composite honeycomb deployable energy absorbing (DEA) concept for attenuation of structural and crew loads during helicopter crashes under realistic crash conditions. The DEA concept is an alternative to external airbags, and absorbs impact energy through crushing. In the test, the helicopter impacted the concrete surface with 11.83 m/s (38.8 ft/s) horizontal, 7.80 m/s (25.6 ft/s) vertical and 0.15 m/s (0.5 ft/s) lateral velocities; corresponding to a resultant velocity of 14.2 m/s (46.5 ft/s). The airframe and skid gear were instrumented with accelerometers and strain gages to determine structural integrity and load attenuation, while the skin of the airframe was covered with targets for use by photogrammetry to record gross vehicle motion before, during, and after the impact. Along with the collection of airframe data, one Hybrid III 50th percentile anthropomorphic test device (ATD), two Hybrid II 50th percentile ATDs and a specialized human surrogate torso model (HSTM) occupant were seated in the airframe and instrumented for the collection of occupant loads. Resultant occupant data showed that by using the DEA, the loads on the Hybrid II and Hybrid III ATDs were in the Low Risk regime for the injury criteria, while structural data showed the airframe retained its structural integrity post crash. Preliminary results show that the DEA is a viable concept for the attenuation of impact loads.

Littell, Justin D.↗