SEARCH · Engineering Papers

Results for “requirements decomposition”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 73 records · Page 4

All sources NASA NTRS DOE OSTI

NASA NTRS1984

Thermochemical generation of hydrogen and carbon dioxide

Mixing of carbon in the form of high sulfur coal with sulfuric acid reduces the temperature of sulfuric acid decomposition from 830.degree. C. to between 300.degree. C. and 400.degree. C. The low temperature sulfuric acid decomposition is particularly useful in thermal chemical cycles for splitting water to produce hydrogen. Carbon dioxide is produced as a commercially desirable byproduct. Lowering of the temperature for the sulfuric acid decomposition or oxygen release step simplifies equipment requirements, lowers thermal energy input and reduces corrosion problems presented by sulfuric acid at conventional cracking temperatures. Use of high sulfur coal as the source of carbon for the sulfuric acid decomposition provides an environmentally safe and energy efficient utilization of this normally polluting fuel.

Lawson, Daniel D.↗

NASA NTRS1993

Automatic partitioning of unstructured meshes for the parallel solution of problems in computational mechanics

Most of the recently proposed computational methods for solving partial differential equations on multiprocessor architectures stem from the 'divide and conquer' paradigm and involve some form of domain decomposition. For those methods which also require grids of points or patches of elements, it is often necessary to explicitly partition the underlying mesh, especially when working with local memory parallel processors. In this paper, a family of cost-effective algorithms for the automatic partitioning of arbitrary two- and three-dimensional finite element and finite difference meshes is presented and discussed in view of a domain decomposed solution procedure and parallel processing. The influence of the algorithmic aspects of a solution method (implicit/explicit computations), and the architectural specifics of a multiprocessor (SIMD/MIMD, startup/transmission time), on the design of a mesh partitioning algorithm are discussed. The impact of the partitioning strategy on load balancing, operation count, operator conditioning, rate of convergence and processor mapping is also addressed. Finally, the proposed mesh decomposition algorithms are demonstrated with realistic examples of finite element, finite volume, and finite difference meshes associated with the parallel solution of solid and fluid mechanics problems on the iPSC/2 and iPSC/860 multiprocessors.

Farhat, Charbel↗

NASA NTRSDate not supplied

From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET

Realizability checking refers to the formal procedure that aims to determine whether an implementation exists, always complying to a set of requirements, regardless of the stimuli provided by the system’s environment. Such a check is essential to ensure that the specification does not allow behavior that can force the system to violate safety constraints. In this paper, we present an approach that decomposes realizability checking into smaller, more tractable problems. More specifically, our approach automatically partitions specifications into sets of non-interfering requirements. We prove that checking whether a specification is realizable reduces to checking that each partition is realizable.We have integrated realizability checking and implemented our decomposition approach within the open-source Formal Requirements ElicitationTool (FRET). A FRET user may check the realizability of a specification monolithically or compositionally. We evaluate our approach by comparing monolithic and compositional checking and showcase the strengths of our decomposition approach on a variety of industrial-level case studies

Anastasia Mavridou↗

NASA NTRS1984

Approaches to optimization of SS/TDMA time slot assignment

Reduction techniques for traffic matrices are explored in some detail. These matrices arise in satellite switched time-division multiple access (SS/TDMA) techniques whereby switching of uplink and downlink beams is required to facilitate interconnectivity of beam zones. A traffic matrix is given to represent that traffic to be transmitted from n uplink beams to n downlink beams within a TDMA frame typically of 1 ms duration. The frame is divided into segments of time and during each segment a portion of the traffic is represented by a switching mode. This time slot assignment is characterized by a mode matrix in which there is not more than a single non-zero entry on each line (row or column) of the matrix. Investigation is confined to decomposition of an n x n traffic matrix by mode matrices with a requirement that the decomposition be 100 percent efficient or, equivalently, that the line(s) in the original traffic matrix whose sum is maximal (called critical line(s)) remain maximal as mode matrices are subtracted throughout the decomposition process. A method of decomposition of an n x n traffic matrix by mode matrices results in a number of steps that is bounded by n(2) - 2n + 2. It is shown that this upper bound exists for an n x n matrix wherein all the lines are maximal (called a quasi doubly stochastic (QDS) matrix) or for an n x n matrix that is completely arbitrary. That is, the fact that no method can exist with a lower upper bound is shown for both QDS and arbitrary matrices, in an elementary and straightforward manner.

Wade, T. O.↗

NASA NTRS2009

Highly Scalable Matching Pursuit Signal Decomposition Algorithm

Matching Pursuit Decomposition (MPD) is a powerful iterative algorithm for signal decomposition and feature extraction. MPD decomposes any signal into linear combinations of its dictionary elements or atoms . A best fit atom from an arbitrarily defined dictionary is determined through cross-correlation. The selected atom is subtracted from the signal and this procedure is repeated on the residual in the subsequent iterations until a stopping criterion is met. The reconstructed signal reveals the waveform structure of the original signal. However, a sufficiently large dictionary is required for an accurate reconstruction; this in return increases the computational burden of the algorithm, thus limiting its applicability and level of adoption. The purpose of this research is to improve the scalability and performance of the classical MPD algorithm. Correlation thresholds were defined to prune insignificant atoms from the dictionary. The Coarse-Fine Grids and Multiple Atom Extraction techniques were proposed to decrease the computational burden of the algorithm. The Coarse-Fine Grids method enabled the approximation and refinement of the parameters for the best fit atom. The ability to extract multiple atoms within a single iteration enhanced the effectiveness and efficiency of each iteration. These improvements were implemented to produce an improved Matching Pursuit Decomposition algorithm entitled MPD++. Disparate signal decomposition applications may require a particular emphasis of accuracy or computational efficiency. The prominence of the key signal features required for the proper signal classification dictates the level of accuracy necessary in the decomposition. The MPD++ algorithm may be easily adapted to accommodate the imposed requirements. Certain feature extraction applications may require rapid signal decomposition. The full potential of MPD++ may be utilized to produce incredible performance gains while extracting only slightly less energy than the standard algorithm. When the utmost accuracy must be achieved, the modified algorithm extracts atoms more conservatively but still exhibits computational gains over classical MPD. The MPD++ algorithm was demonstrated using an over-complete dictionary on real life data. Computational times were reduced by factors of 1.9 and 44 for the emphases of accuracy and performance, respectively. The modified algorithm extracted similar amounts of energy compared to classical MPD. The degree of the improvement in computational time depends on the complexity of the data, the initialization parameters, and the breadth of the dictionary. The results of the research confirm that the three modifications successfully improved the scalability and computational efficiency of the MPD algorithm. Correlation Thresholding decreased the time complexity by reducing the dictionary size. Multiple Atom Extraction also reduced the time complexity by decreasing the number of iterations required for a stopping criterion to be reached. The Course-Fine Grids technique enabled complicated atoms with numerous variable parameters to be effectively represented in the dictionary. Due to the nature of the three proposed modifications, they are capable of being stacked and have cumulative effects on the reduction of the time complexity.

Christensen, Daniel↗

NASA NTRS1985

Application of singular value decomposition to structural dynamics systems with constraints

Singular value decomposition is used to construct a coordinate transformation for a linear dynamic system subject to linear, homogeneous constraint equations. The method is compared with two commonly used methods, namely classical Gaussian elimination and Walton-Steeves approach. Although the classical method requires fewer numerical operations, the singular value decomposition method is more accurate and convenient in eliminating the dependent coordinates. Numerical examples are presented to demonstrate the application of the method.

Juang, J.-N.↗

NASA NTRS1981

Spectral decomposition of a matrix using the generalized sign matrix

An algorithm for spectral decomposition is presented which does not require knowledge of eigenvalues and eigenvectors. A set of eigenprojectors are defined which covers the entire spectrum of a matrix, and special attention is given to the projection on the zero eigenvalue. Some useful applications are discussed in the paper.

Denman, E. D.↗

NASA NTRS2005

Assume-Guarantee Testing

Verification techniques for component-based systems should ideally be able to predict properties of the assembled system through analysis of individual components before assembly. This work introduces such a modular technique in the context of testing. Assume-guarantee testing relies on the (automated) decomposition of key system-level requirements into local component requirements at design time. Developers can verify the local requirements by checking components in isolation; failed checks may indicate violations of system requirements, while valid traces from different components compose via the assume-guarantee proof rule to potentially provide system coverage. These local requirements also form the foundation of a technique for efficient predictive testing of assembled systems: given a correct system run, this technique can predict violations by alternative system runs without constructing those runs. We discuss the application of our approach to testing a multi-threaded NASA application, where we treat threads as components.

Blundell, Colin↗

NASA NTRS2006

From Zero to Integration in Eight Months, the Dawn Ground Data System Engineering Challenge

The Dawn GDS Team met the SC Sim integration challenge in eight months. The GDS System Engineering approach in response to the SC Simintegration challenge, focused on a set of key practices: decomposition of project request into manageable requirements; integration of multiple ground disciplines and experts into a focused team effort; risk management thru management of expectations; and aggregation of intermediate products into a final product. By maintaining a a system-level focus, the overall systems engineering process unified team GDS Team members with a common goal: the success of the ground system as a whole and not just the success of their individual expert contributions. Incorporation of Agile-type development efforts were aligned with a risk strategy based on team-oriented principles and expectations management, thus achieving a more stable baseline solution without compromising the integrity of the GDS design.

Dawn Mission↗

NASA NTRS2018

Autonomous Systems Taxonomy

The purpose of this taxonomy is to provide common definitions and a functional decomposition of the technology that is required for NASA's autonomous systems. The taxonomy serves as a framework for: (1) assessing the state of NASA's autonomous systems capability (workforce, technology, etc.) and (2) assessing the state of the art in autonomy technology.

Fong, Terrence W.↗

DOE OSTI2026

Thermal analysis of combustion synthesis of FeAlxOy catalysts for dehydrogenation of fossil fuels

The growing demand for hydrogen as a clean energy carrier highlights the need for its alternative production method with reduced CO₂ emissions. Microwave-assisted thermocatalytic dehydrogenation of fossil fuels offers a promising solution for clean hydrogen production, with FeAlxOy nanocomposites acting as efficient catalysts due to their thermal stability, catalytic activity, and microwave-absorption properties. FeAlxOy nanocomposites, fabricated by solution combustion synthesis (SCS), have shown good microwave-absorption and catalytic properties. However, the effects of synthesis parameters such as fuel type and Fe:Al molar ratio on the SCS process and properties of the final material are not well understood. The SCS process involves vaporization of water, thermal decomposition of the mixture components, and oxidation – reduction reactions. In the present work, thermogravimetric analysis (TGA) and differential scanning calorimetry (DSC) were utilized to study the SCS mechanism, with a focus on understanding decomposition processes. TGA provided insights into the thermal stability and mass loss profiles of the mixtures, while DSC quantified the heat release and identified reaction onset temperatures. Results demonstrated that the choice of fuel significantly influenced the thermal behavior and properties of FeAlxOy nanocomposites. Glycine-based mixtures exhibited superior thermal stability and complete decomposition in a single step with high heat release compared to citric acid-based mixtures, which required higher synthesis temperatures and experienced slower, two-step decomposition processes. These findings emphasize the effectiveness of glycine-fueled SCS in producing thermally stable and catalytically active FeAlxOy nanocomposites.

Martinez Espinoza, Laura Alejandra↗

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 NTRS2017

Design Solutions for the Treatment of DMSD in the ISS Water Recovery System

Dimethylsilanediol (DMSD) has been identified as a problematic organic on ISS. This contaminant was initially identified in the Water Processor Assembly (WPA) product water in 2010 by the Total Organic Carbon Analyzer (TOCA). DMSD is not a crew health hazard at the levels observed in the product water, but it may degrade the performance of the Oxygen Generation System (OGS) which uses the WPA product water for electrolysis and does impact the effective operation of the WPA catalytic reactor. To mitigate these impacts, early replacement of the Multifiltration Beds in the WPA is required. An investigation has determined that the decomposition of atmospheric polydimethylsiloxanes (PDMSs) is the primary source of DMSD in the condensate. PDMSs are prevalent on ISS from a variety of sources, including crew hygiene products, adhesives, caulks, lubricants, and various nonmetallics. These PDMSs also contribute to degradation of the CHX hydrophilic coating, rendering it hydrophobic and therefore affecting its ability to transmit water to the condensate bus. In addition, literature research has determined that PDMSs are likely oxidized to DMSD in the atmosphere when exposed to hydroxyl radicals in the ISS atmosphere. To address these mechanisms, filters have been developed for removal of PDMSs from the ISS atmosphere. However, ongoing analysis indicates a significant reduction in atmospheric PDMSs is required to achieve a measurable reduction of DMSD in the condensate. As a result, additional measures are being pursued to mitigate this issue. First, credible sources are being investigated to quantity to the extent possible the significant sources of PDMSs and identify sources that can be reasonably removed from ISS. Second, a Reverse Osmosis technology is being investigated as an alternate means for removing DMSD from the condensate. This paper summarizes the current status of the overall effort to mitigate DMSD in the US condensate.

Perry, Jay↗

DOE OSTI2024

Achieving Unprecedented CO 2 Utilization InCO 2 Concrete™: System Design, Product Development and Process Demonstration

Anthropogenic sources of carbon dioxide are generated from a number of sources, but the key among these are ordinary Portland cement (OPC) production and combustion of fossil fuels. Cement production is the largest global CO 2 source from the mineral decomposition of carbonates. This is due to the clinkering process whereby limestone (mainly consisting of CaCO 3 ) is decomposed into CaO and CO 2 , and combined with silica rich clays at high temperatures to form clinkers (i.e. the four key minerals that comprise cement). The high temperature range of 1400 – 1550°C required for this process accounts for up to 60% of the generated CO 2 from cement production. Combination of the limestone decomposition and thermal requirements of the clinkering process causes cement production to contribute 8-9% of annual global CO 2 emissions. Combustion of fossil fuels (coal, oil and gas) was shown to contribute a much larger portion of global CO 2 emissions. As of 2018, combustion of fossil fuels accounted for 65% of global CO 2 , where 41% was derived from stationary sources for electricity and heat generation and the other 24% was related to transport. To reduce these contributions, key steps forward in CO 2 utilization technologies are required. Therefore, a CO 2 mineralization technology (CO 2 mineralization concrete) to reduce the OPC content in concrete, while utilizing flue gas emissions from fossil fuel combustion has been developed to address both areas simultaneously. This Reversa™ technology utilizes low-carbon cementation agents produced by in situ CO 2 mineralization (“mineral carbonation reactions”) to offer a promising alternative to OPC. CO 2 mineralization relies upon the reaction of dissolved CO 2 with inorganic alkaline reactants to precipitate mineral carbonates (e.g., CaCO 3 ), which bind proximate particles and achieve cementation. Herein, a concrete green body, which is composed of a mixture of binder, water, and mineral aggregates, is exposed to CO 2 borne in industrial flue gas streams. This manner of CO 2 mineralization allows the production of construction components that feature equivalent engineering attributes as their OPC-based counterparts while featuring a much smaller embodied carbon intensity (eCI). The purpose of this project is to demonstrate the feasibility of the Reversa process evolving from a TRL-3 technology at the bench-scale up to TRL-6 technology at the pilot-scale. The reliability of the Reversa technology was tested to prove the effective production of three standard industrial concrete products selected during the course of the project. The results detailed herein will demonstrate the evolution of this technology to the industrial scale. The culmination of this work resulted in 9 production runs completed at the National Carbon Capture Center (NCCC), Wilsonville, AL, using natural gas (NG) flue gas as the CO 2 source. Over the course of the production runs at NCCC, the CO 2 utilization as a function of time, 24-h CO 2 uptake, electricity usage, and 28-d net area compressive strength recorded for each run. Collection of this data will be used to determine the success of the demonstration goals: (1) achieving in excess of 0.2gCO 2 /g reactant , (2) achieving greater than 50% reduction in global warming potential compared to standard produced units, and (3) ensuring compliance of carbonated concrete with industry standard specifications.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

NASA NTRS2014

Using SpF to Achieve Petascale for Legacy Pseudospectral Applications

Pseudospectral (PS) methods possess a number of characteristics (e.g., efficiency, accuracy, natural boundary conditions) that are extremely desirable for dynamo models. Unfortunately, dynamo models based upon PS methods face a number of daunting challenges, which include exposing additional parallelism, leveraging hardware accelerators, exploiting hybrid parallelism, and improving the scalability of global memory transposes. Although these issues are a concern for most models, solutions for PS methods tend to require far more pervasive changes to underlying data and control structures. Further, improvements in performance in one model are difficult to transfer to other models, resulting in significant duplication of effort across the research community. We have developed an extensible software framework for pseudospectral methods called SpF that is intended to enable extreme scalability and optimal performance. Highlevel abstractions provided by SpF unburden applications of the responsibility of managing domain decomposition and load balance while reducing the changes in code required to adapt to new computing architectures. The key design concept in SpF is that each phase of the numerical calculation is partitioned into disjoint numerical kernels that can be performed entirely inprocessor. The granularity of domain decomposition provided by SpF is only constrained by the datalocality requirements of these kernels. SpF builds on top of optimized vendor libraries for common numerical operations such as transforms, matrix solvers, etc., but can also be configured to use open source alternatives for portability. SpF includes several alternative schemes for global data redistribution and is expected to serve as an ideal testbed for further research into optimal approaches for different network architectures. In this presentation, we will describe our experience in porting legacy pseudospectral models, MoSST and DYNAMO, to use SpF as well as present preliminary performance results provided by the improved scalability.

DYNAMO↗

DOE OSTI2024

Distributed Augmentation, Hypersweeps, and Branch Decomposition of Contour Trees for Scientific Exploration

Contour trees describe the topology of level sets in scalar fields and are widely used in topological data analysis and visualization. A main challenge of utilizing contour trees for large-scale scientific data is their computation at scale using highperformance computing. To address this challenge, recent work has introduced distributed hierarchical contour trees for distributed computation and storage of contour trees. However, effective use of these distributed structures in analysis and visualization requires subsequent computation of geometric properties and branch decomposition to support contour extraction and exploration. In this work, we introduce distributed algorithms for augmentation, hypersweeps, and branch decomposition that enable parallel computation of geometric properties, and support the use of distributed contour trees as query structures for scientific exploration. Finally, we evaluate the parallel performance of these algorithms and apply them to identify and extract important contours for scientific visualization.

97 MATHEMATICS AND COMPUTING↗

NASA NTRS1991

Real-time filtering and detection of dynamics for compression of HDTV

The preprocessing of video sequences for data compressing is discussed. The end goal associated with this is a compression system for HDTV capable of transmitting perceptually lossless sequences at under one bit per pixel. Two subtopics were emphasized to prepare the video signal for more efficient coding: (1) nonlinear filtering to remove noise and shape the signal spectrum to take advantage of insensitivities of human viewers; and (2) segmentation of each frame into temporally dynamic/static regions for conditional frame replenishment. The latter technique operates best under the assumption that the sequence can be modelled as a superposition of active foreground and static background. The considerations were restricted to monochrome data, since it was expected to use the standard luminance/chrominance decomposition, which concentrates most of the bandwidth requirements in the luminance. Similar methods may be applied to the two chrominance signals.

Sauer, Ken D.↗

NASA NTRS1992

Shuttle-food consumption, body composition and body weight in women

An experiment is conducted to determine whether the NASA Space Shuttle food system can provide the food and fluid required to mitigate weight loss and physical decomposition in 12 female subjects for 28 days. Subjects receive only foods from the Space Shuttle system for four weeks within an 11-wk monitoring period. Dual-energy X-ray absorptiometry is employed throughout the trial period to study lean body mass, percent body fat, and energy-intake levels with attention given to differences the experimental diet and the subjects' typical diet. Percent body fat is found to change significantly with losses of less than 0.05 percent, whereas energy intake based on autonomous diet choices by the participants does not vary significantly. Lean body mass remains unchanged throughout the study in which the subjects receive a relatively low-fat and low-protein menu. The 100 items on the space shuttle list of approved food items are shown to provide a palatable dietary framework for maintaining the health of female astronauts.

Lane, Helen W.↗