Search NASA⌕ Search

SEARCH · Search NASA

Results for “Compositional verification”

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 289 records · Page 16
All sourcesNASA NTRSDOE OSTI
NASA NTRS1986

Experimental verification of distributed piezoelectric actuators for use in precision space structures

An analytic model for structures with distributed piezoelectric actuators is experimentally verified for the cases of both surface-bonded and embedded actuators. A technique for the selection of such piezoelectric actuators' location has been developed, and is noted to indicate that segmented actuators are always more effective than continuous ones, since the output of each can be individually controlled. Manufacturing techniques for the bonding or embedding of segmented piezoelectric actuators are also developed which allow independent electrical contact to be made with each actuator. Static tests have been conducted to determine how the elastic properties of the composite are affected by the presence of an embedded actuator, for the case of glass/epoxy laminates.

Crawley, E. F.↗
DOE OSTI2025

Optimizing a detection system for fissile material in nuclear disarmament verification

In arms control treaties, verification plays a crucial role in detecting non-compliance, deterring future violations, and building trust between state parties. Neutron interrogation that induces fission reactions in fissile isotopes and measures the resulting fission neutrons, could be employed for this purpose. This study aims to develop a system which can determine the presence of fissile material while intrinsically protecting information. In this paper, we focus on optimizing the system for discriminating between an enriched uranium block from a depleted uranium (DU) block. The system was built and we report on benchmark measurements with DU and 16% enriched uranium blocks. Furthermore, the Excalibur (Experiment for Calibration with Uranium) neutron source, a neutron spectrometer (redBubble Technology Industries (BTI) N-Probe), and superheated droplet detectors were used for these measurements. MCNP simulations provided insights into detector responses to fissile materials with varying isotopic compositions, confirming that the system functioned as designed.

Active neutron interrogation↗
NASA NTRS1992

A brief overview of computational structures technology related activities at NASA Lewis Research Center

The presentation gives a partial overview of research and development underway in the Structures Division of LeRC, which collectively is referred to as the Computational Structures Technology Program. The activities in the program are diverse and encompass four major categories: (1) composite materials and structures; (2) probabilistic analysis and reliability; (3) design optimization and expert systems; and (4) computational methods and simulation. The approach of the program is comprehensive and entails exploration of fundamental theories of structural mechanics to accurately represent the complex physics governing engine structural performance, formulation, and implementation of computational techniques and integrated simulation strategies to provide accurate and efficient solutions of the governing theoretical models by exploiting the emerging advances in computer technology, and validation and verification through numerical and experimental tests to establish confidence and define the qualities and limitations of the resulting theoretical models and computational solutions. The program comprises both in-house and sponsored research activities. The remainder of the presentation provides a sample of activities to illustrate the breadth and depth of the program and to demonstrate the accomplishments and benefits that have resulted.

Hopkins, Dale A.↗
NASA NTRS2004

A Survey of Formal Methods for Intelligent Swarms

Swarms of intelligent autonomous spacecraft, involving complex behaviors and interactions, are being proposed for future space exploration missions. Such missions provide greater flexibility and offer the possibility of gathering more science data than traditional single spacecraft missions. The emergent properties of swarms make these missions powerful, but simultaneously far more difficult to design, and to assure that the proper behaviors will emerge. These missions are also considerably more complex than previous types of missions, and NASA, like other organizations, has little experience in developing or in verifying and validating these types of missions. A significant challenge when verifying and validating swarms of intelligent interacting agents is how to determine that the possible exponential interactions and emergent behaviors are producing the desired results. Assuring correct behavior and interactions of swarms will be critical to mission success. The Autonomous Nano Technology Swarm (ANTS) mission is an example of one of the swarm types of missions NASA is considering. The ANTS mission will use a swarm of picospacecraft that will fly from Earth orbit to the Asteroid Belt. Using an insect colony analogy, ANTS will be composed of specialized workers for asteroid exploration. Exploration would consist of cataloguing the mass, density, morphology, and chemical composition of the asteroids, including any anomalous concentrations of specific minerals. To perform this task, ANTS would carry miniaturized instruments, such as imagers, spectrometers, and detectors. Since ANTS and other similar missions are going to consist of autonomous spacecraft that may be out of contact with the earth for extended periods of time, and have low bandwidths due to weight constraints, it will be difficult to observe improper behavior and to correct any errors after launch. Providing V&V (verification and validation) for this type of mission is new to NASA, and represents the cutting edge in system correctness, and requires higher levels of assurance than other (traditional) missions that use a single or small number of spacecraft that are deterministic in nature and have near continuous communication access. One of the highest possible levels of assurance comes from the application of formal methods. Formal methods are mathematics-based tools and techniques for specifying and verifying (software and hardware) systems. They are particularly useful for specifying complex parallel systems, such as exemplified by the ANTS mission, where the entire system is difficult for a single person to fully understand, a problem that is multiplied with multiple developers. Once written, a formal specification can be used to prove properties of a system (e.g., the underlying system will go from one state to another or not into a specific state) and check for particular types of errors (e.g., race or livelock conditions). A formal specification can also be used as input to a model checker for further validation. This report gives the results of a survey of formal methods techniques for verification and validation of space missions that use swarm technology. Multiple formal methods were evaluated to determine their effectiveness in modeling and assuring the behavior of swarms of spacecraft using the ANTS mission as an example system. This report is the first result of the project to determine formal approaches that are promising for formally specifying swarm-based systems. From this survey, the most promising approaches were selected and are discussed relative to their possible application to the ANTS mission. Future work will include the application of an integrated approach, based on the selected approaches identified in this report, to the formal specification of the ANTS mission.

Truszkowski, Walt↗
NASA NTRS2008

Optimized Non-Obstructive Particle Damping (NOPD) Treatment for Composite Honeycomb Structures

Non-Obstructive Particle Damping (NOPD) technology is a passive vibration damping approach whereby metallic or non-metallic particles in spherical or irregular shapes, of heavy or light consistency, and even liquid particles are placed inside cavities or attached to structures by an appropriate means at strategic locations, to absorb vibration energy. The objective of the work described herein is the development of a design optimization procedure and discussion of test results for such a NOPD treatment on honeycomb (HC) composite structures, based on finite element modeling (FEM) analyses, optimization and tests. Modeling and predictions were performed and tests were carried out to correlate the test data with the FEM. The optimization procedure consisted of defining a global objective function, using finite difference methods, to determine the optimal values of the design variables through quadratic linear programming. The optimization process was carried out by targeting the highest dynamic displacements of several vibration modes of the structure and finding an optimal treatment configuration that will minimize them. An optimal design was thus derived and laboratory tests were conducted to evaluate its performance under different vibration environments. Three honeycomb composite beams, with Nomex core and aluminum face sheets, empty (untreated), uniformly treated with NOPD, and optimally treated with NOPD, according to the analytically predicted optimal design configuration, were tested in the laboratory. It is shown that the beam with optimal treatment has the lowest response amplitude. Described below are results of modal vibration tests and FEM analyses from predictions of the modal characteristics of honeycomb beams under zero, 50% uniform treatment and an optimal NOPD treatment design configuration and verification with test data.

Panossian, H.↗
NASA NTRS2009

Coupled Thermo-Electro-Magneto-Elastic Response of Smart Stiffened Panels

This report documents the procedures developed for incorporating smart laminate and panel analysis capabilities within the HyperSizer aerospace structural sizing software package. HyperSizer analyzes stiffened panels composed of arbitrary composite laminates through stiffener homogenization, or "smearing " techniques. The result is an effective constitutive equation for the stiffened panel that is suitable for use in a full vehicle-scale finite element analysis via MSC/NASTRAN. The existing thermo-elastic capabilities of HyperSizer have herein been extended to include coupled thermo-electro-magneto-elastic analysis capabilities. This represents a significant step toward realization of design tools capable of guiding the development of the next generation of smart aerospace structures. Verification results are presented that compare the developed smart HyperSizer capability with an ABAQUS piezoelectric finite element solution for a facesheet-flange combination. These results show good agreement between HyperSizer and ABAQUS, but highlight a limitation of the HyperSizer formulation in that constant electric field components are assumed.

Bednarcyk, Brett A.↗
NASA NTRS2010

X-Ray Computed Tomography Inspection of the Stardust Heat Shield

The "Stardust" heat shield, composed of a PICA (Phenolic Impregnated Carbon Ablator) Thermal Protection System (TPS), bonded to a composite aeroshell, contains important features which chronicle its time in space as well as re-entry. To guide the further study of the Stardust heat shield, NASA reviewed a number of techniques for inspection of the article. The goals of the inspection were: 1) to establish the material characteristics of the shield and shield components, 2) record the dimensions of shield components and assembly as compared with the pre-flight condition, 3) provide flight infonnation for validation and verification of the FIAT ablation code and PICA material property model and 4) through the evaluation of the shield material provide input to future missions which employ similar materials. Industrial X-Ray Computed Tomography (CT) is a 3D inspection technology which can provide infonnation on material integrity, material properties (density) and dimensional measurements of the heat shield components. Computed tomographic volumetric inspections can generate a dimensionally correct, quantitatively accurate volume of the shield assembly. Because of the capabilities offered by X-ray CT, NASA chose to use this method to evaluate the Stardust heat shield. Personnel at NASA Johnson Space Center (JSC) and Lawrence Livermore National Labs (LLNL) recently performed a full scan of the Stardust heat shield using a newly installed X-ray CT system at JSC. This paper briefly discusses the technology used and then presents the following results: 1. CT scans derived dimensions and their comparisons with as-built dimensions anchored with data obtained from samples cut from the heat shield; 2. Measured density variation, char layer thickness, recession and bond line (the adhesive layer between the PICA and the aeroshell) integrity; 3. FIAT predicted recession, density and char layer profiles as well as bondline temperatures Finally suggestions are made as to future uses of this technology as a tool for non-destructively inspecting and verifying both pre and post flight heat shields.

McNamara, Karen M.↗
NASA NTRS1986

Laminar flow control perforated wing panel development

Many structural concepts for a wing leading edge laminar flow control hybrid panel were analytically investigated. After many small, medium, and large tests, the selected design was verified. New analytic methods were developed to combine porous titanium sheet bonded to a substructure of fiberglass and carbon/epoxy cloth. At -65 and +160 F test conditions, the critical bond of the porous titanium to the composite failed at lower than anticipated test loads. New cure cycles, design improvements, and test improvements significantly improved the strength and reduced the deflections from thermal and lateral loadings. The wave tolerance limits for turbulence were not exceeded. Consideration of the beam column midbay deflections from the combinations of the axial and lateral loadings and thermal bowing at -65 F, room temperature, and +160 F were included. Many lap shear tests were performed at several cure cycles. Results indicate that sufficient verification was obtained to fabricate a demonstration vehicle.

Fischler, J. E.↗
NASA NTRS2010

Advancements in Dual-Pump Broadband CARS for Supersonic Combustion Measurements

Space- and time-resolved measurements of temperature and species mole fractions of nitrogen, oxygen, and hydrogen were obtained with a dual-pump coherent anti-Stokes Raman spectroscopy (CARS) system in hydrogen-fueled supersonic combustion free jet flows. These measurements were taken to provide time-resolved fluid properties of turbulent supersonic combustion for use in the creation and verification of computational fluid dynamic (CFD) models. CFD models of turbulent supersonic combustion flow currently facilitate the design of air-breathing supersonic combustion ramjet (scramjet) engines. Measurements were made in supersonic axi-symmetric free jets of two scales. First, the measurement system was tested in a laboratory environment using a laboratory-scale burner (approx.10 mm at nozzle exit). The flow structures of the laboratory-burner were too small to be resolved with the CARS measurements volume, but the composition and temperature of the jet allowed the performance of the system to be evaluated. Subsequently, the system was tested in a burner that was approximately 6 times larger, whose length scales are better resolved by the CARS measurement volume. During both these measurements, weaknesses of the CARS system, such as sensitivity to vibrations and beam steering and inability to measure temperature or species concentrations in hydrogen fuel injection regions were indentified. Solutions were then implemented in improved CARS systems. One of these improved systems is a dual-pump broadband CARS technique called, Width Increased Dual-pump Enhanced CARS (WIDECARS). The two lowest rotational energy levels of hydrogen detectable by WIDECARS are H2 S(3) and H2 S(4). The detection of these lines gives the system the capability to measure temperature and species concentrations in regions of the flow containing pure hydrogen fuel at room temperature. WIDECARS is also designed for measurements of all the major species (except water) in supersonic combustion flows fueled with hydrogen and hydrogen/ethylene mixtures (N2, O2, H2, C2H4, CO, and CO2). This instrument can characterize supersonic combustion fueled with surrogate fuel mixtures of hydrogen and ethylene. This information can lead to a better understanding of the chemistry and performance of supersonic combustion fueled with cracked jet propulsion (JP)-type fuel.

Tedder, Sarah Augusta Umberger↗
DOE OSTI2024

Synthesis of Correct Digital Controller Models from Specifications by Model Transformation (21-0320)

The design of high consequence controllers (in weapons systems, autonomy, etc.) that do what they are supposed to do is a significant challenge. Testing simply does not come close to meeting the requirements for assurance. Today circuit designers at Sandia (and elsewhere) typically capture the core behavior of their components using state models in tools such as STATEFLOW. They then check that their models meet certain requirements (e.g. “The system bus must not deadlock” or “both traffic lights at an intersection must not be green at the same time”) using tools called model checkers. If the model checker returns “yes” then the property is guaranteed to be satisfied by the model. However, there are several drawbacks to this industry practice: (1) there is a lot of detail to get right, this is particularly challenging when there are multiple components requiring complex coordination (2) any errors returned by the model checker have to be traced back through the design and fixed, necessitating rework, (3) there are severe scalability problems with this approach, particularly when dealing with concurrency. All this places high demands on the designers who now face not only an accelerated schedule but also controllers of increasing complexity. This report describes a new and fundamentally different approach to the construction of safety-critical digital controllers. Instead of directly constructing a complete model and then trying to verify it, the designer can start with an initial abstract (think “sketch”) model plus the requirements, from which a correct concrete model is automatically synthesized. There is no need for post-hoc verification of required functional properties. Having tool to carry this out will significantly impact the nation’s ability to ensure the safety of high-consequence digital systems. The approach has been implemented in a prototype tool, along with a suite of examples, including ones that reflect actual problems faced by designers. Our approach operates on a variant of Statecharts developed at Sandia called Qspecs. Statecharts are a widely used formalism for developing concurrent reactive systems, supporting scalability through allowing state models containing composite states, which are the serial or parallel composition of substates which can themselves contain statecharts. Statecharts enable an incremental style of development, in which states are progressively refined to incorporate greater detail in an incremental model of software development. Our approach formulates a set of constraints from the structure of the models and the requirements and propagates these constraints to a fixpoint. The solution to the constraints is an inductive invariant along with guards on the transitions. We also show how our approach extends to implementation refinement, decomposition, composition, and elaboration. We currently handle safety requirements written in LTL (Linear Temporal Logic)

42 ENGINEERING↗
NASA NTRS1997

Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints

We examine a class of hybrid systems which we call Composite Hybrid Machines (CHM's) that consists of the concurrent (and partially synchronized) operation of Elementary Hybrid Machines (EHM's). Legal behavior, specified by a set of illegal configurations that the CHM may not enter, is to be achieved by the concurrent operation of the CHM with a suitably designed legal controller. In the present paper we focus on the problem of synthesizing a legal controller, whenever such a controller exists. More specifically, we address the problem of synthesizing the minimally restrictive legal controller. A controller is minimally restrictive if, when composed to operate concurrently with another legal controller, it will never interfere with the operation of the other controller and, therefore, can be composed to operate concurrently with any other controller that may be designed to achieve liveness specifications or optimality requirements without the need to reinvestigate or reverify legality of the composite controller. We confine our attention to a special class of CHM's where system dynamics is rate-limited and legal guards are conjunctions or disjunctions of atomic formulas in the dynamic variables (of the type x less than or equal to x(sub 0), or x greater than or equal to x(sub 0)). We present an algorithm for synthesis of the minimally restrictive legal controller. We demonstrate our approach by synthesizing a minimally restrictive controller for a steam boiler (the verification of which recently received a great deal of attention).

Heymann, Michael↗
NASA NTRS2004

Quantifying Grassland-to-Woodland Transitions and the Implications for Carbon and Nitrogen Dynamics in the Southwest United States

Replacement of grasslands and savannas by shrublands and woodlands has been widely reported in tropical, temperate and high-latitude rangelands worldwide (Archer 1994). These changes in vegetation structure may reflect historical shifts in climate and land use; and are likely to influence biodiversity, productivity, above- and below ground carbon and nitrogen sequestration and biophysical aspects of land surface-atmosphere interactions. The goal of our proposed research is to investigate how changes in the relative abundance of herbaceous and woody vegetation affect carbon and nitrogen dynamics across heterogeneous savannas and shrub/woodlands. By linking actual land-cover composition (derived through spectral mixture analysis of AVIRIS, TM, and AVHRR imagery) with a process-based ecosystem model, we will generate explicit predictions of the C and N storage in plants and soils resulting from changes in vegetation structure. Our specific objectives will be to (1) continue development and test applications of spectral mixture analysis across grassland-to-woodland transitions; (2) quantify temporal changes in plant and soil C and N storage and turnover for remote sensing and process model parameterization and verification; and (3) couple landscape fraction maps to an ecosystem simulation model to observe biogeochemical dynamics under changing landscape structure and climatological forcings.

Wessman, Carol A.↗
DOE OSTI2025

Developing a Nuclear Quality Assurance Compliant Design Methodology for Neutronic Analysis of Xe-100 Design

The primary objective of this work is to develop a design methodology compliant with nuclear quality assurance standards for the Xe-100 neutronic design verification studies. To achieve this, a Monte Carlo model of the Xe-100 reactor was constructed using the exclusion principle, transformation technique, and universe-based level specification following Idaho National Laboratory (INL) NQA level-1 compliant standards and an NQA-1 compliant version of MCNP6. The model encompasses the entire reactor core structures, including the upper plenum, core region, and lower plenum sections, along with all sub-components. The active core section was represented using the spectral regions, each comprising a particular fuel composition and temperature averaged over the considered zone, calculated by X-energy using Very Superior Old Programs (VSOP). Additionally, a component-wise temperature map was implemented into the model, not only for the core region but also for the structural components. Temperature-dependent cross-section libraries, along with thermal scattering law libraries, generated using INL NQA-1 compliant version of NJOY21, were utilized for each isotope in the burnt fuel and the structural materials. Furthermore, the volume of each modeled component was estimated using a stochastic approach with the ray tracing method in MCNP and criticality calculations were performed.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2026

Annual Summary Report for the Remote-Handled Low-Level Waste Disposal Facility—FY 2025

The U.S. Department of Energy (DOE) requires the performance assessment (PA) (Department of Energy Idaho Operations Office [DOE-ID] 2018a), composite analysis (CA) (DOE-ID 2012), and CA addendum (DOE-ID 2018b) for the Remote-Handled Low-Level Waste (RHLLW) Disposal Facility at the Idaho National Laboratory (INL) Site shall be maintained to evaluate changes that could affect the performance, design, and operating basis for the facility (DOE Manual 435.1-1 Change 3, “Radioactive Waste Management Manual,” Section IV.P. [4]). The RHLLW Disposal Facility became operational in September 2018 after the completion of operational readiness activities required by DOE Order 425.1D, “Verification of Readiness to Start Up or Restart Nuclear Facilities,” and the issuance of the startup authorization by the Startup Approval Authority (Boston 2018). The first waste disposals at the RHLLW Disposal Facility began in Fiscal Year (FY) 2019. In Fiscal Year (FY) 2025, no significant operational changes or other activities occurred that would cause deviation from the assumptions in the PA and CA pertaining to disposal geometry, verification of waste characteristics, tracking disposal inventories against total limits, facility closure design, or institutional controls. This FY 2025 annual summary report (ASR) documents the continued adequacy of the PA, CA, operating disposal authorization statement (ODAS) (ODAS 2018), ODAS technical-basis documents, and the radioactive waste management basis (RWMB) (INL 2024a) to meet DOE Order 435.1, “Radioactive Waste Management,” performance objectives for the RHLLW Disposal Facility. Annual review of the adequacy of the PA and CA at the RHLLW Disposal Facility ensures that conclusions of the analyses remain valid in accordance with requirements of DOE Order 435.1.

12 - MGMT OF RADIOACTIVE AND NON-RADIOACTIVE WASTE↗
NASA NTRS1982

Fatigue of graphite/epoxy /0/90/45/-45/s laminates under dual stress levels

A model for the prediction of loading sequence effects on the statistical distribution of fatigue life and residual strength in composite materials is generalized and applied to (0/90/45/-45)s graphite/epoxy laminates. Load sequence effects are found to be caused by both the difference in residual strength when failure occurs (boundary effect) and the effect of previously applied loads (memory effect). The model allows the isolation of these two effects, and the estimation of memory effect magnitudes under dual fatigue loading levels. It is shown that the material memory effect is insignificant, and that correlations between predictions of the number of early failures agree with the verification tests, as do predictions of fatigue life and residual strength degradation under dual stress levels.

Yang, J. N.↗
NASA NTRSDate not supplied

Lessons Learned in Systems Engineering Availability and Recommendations for Mission Technical Leaders

In spaceflight missions at Goddard Space Flight Center (GSFC), the Mission System Engineer (MSE) is the technical leader of the overall engineering team and also is the Independent Engineering Technical Authority. The responsibility of this role includes the definition of the mission design architecture, concept of operations, and mission requirements, management of risk throughout the development, and verification and validation of the final system performance and function amongst other duties. This responsibility inherently requires time management, enabling focus on a balanced development with appropriate risk. Time is the most valuable resource of the MSE. The system engineer’s availability to interact with the development team (often product or component design leads and technicians, often in different worksites) to discover and mitigate mission risks during development is key to mission success. This paper presents examples from Lunar Reconnaissance Orbiter, Landsat 9, and Neutron star Interior Composition ExploreR (NICER) which represent in-house and out-of-house hardware builds. These examples demonstrate how interactions between the Mission Systems Engineers and other project and partner engineers result in discovery of critical risks, leading to early mitigation with significant cost and performance savings. These three missions would have suffered test failures or on-orbit failures had their MSEs not set aside time to visit engineers and technicians that were working on key pieces of space flight hardware. Availability is more than just time; it is openness to listen to concerns and questions. It begins by building a level of trust in the team that it is safe to ask questions or share concerns without the fear of blame or additional workload. It also requires enabling informal conversations (over lunch, coffee, in the clean room, or at the team members desk, etc.) where key information can be exchanged, and team members may even provide an easy-to-implement mitigation idea for another subsystem. Availability is a highly valuable commodity and completely non-obvious to protect and optimize. The natural tendency of engineers is to keep themselves busy with solving problems that they know about. This paper is encouraging MSEs to resist this tendency to try and solve all the complex problems themselves and actively devote daily time to learning and solving problems that are found with informal communications with other team members.

Lessons Learned↗
NASA NTRS2023

Unconservatism of Linear-Elastic Fracture Mechanics (LEFM) Analysis Post Autofrettage

The scope of the NASA Engineering and Safety Center (NESC) Unconservatism of Linear-Elastic Fracture Mechanics (LEFM) Analysis Post Autofrettage assessment was to evaluate the influence of the elastic-plastic autofrettage cycle on elastic cycles post autofrettage and generate data to support damage tolerance life analysis verification approach. The decision to include an elastic-plastic autofrettage cycle is informed by other factors beyond damage tolerance, including manufacturing and fatigue crack initiation. The results of the NESC assessment are contained in this report.

Linear-Elastic Fracture Mechanics↗
NASA NTRS1999

Spacecraft Environments Interactive: Space Radiation and Its Effects on Electronic System

The natural space environment is characterized by complex and subtle phenomena hostile to spacecraft. Effects of these phenomena impact spacecraft design, development, and operation. Space systems become increasingly susceptible to the space environment as use of composite materials and smaller, faster electronics increases. This trend makes an understanding of space radiation and its effects on electronic systems essential to accomplish overall mission objectives, especially in the current climate of smaller/better/cheaper faster. This primer outlines the radiation environments encountered in space, discusses regions and types of radiation, applies the information to effects that these environments have on electronic systems, addresses design guidelines and system reliability, and stresses the importance of early involvement of radiation specialists in mission planning, system design, and design review (part-by-part verification).

Howard, J. W., Jr.↗