Search NASA⌕ Search

SEARCH · Search NASA

Results for “process algebras”

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 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
DOE OSTI2022

Deeply conserved synteny and the evolution of metazoan chromosomes

Animal genomes show networks of deeply conserved gene linkages whose phylogenetic scope and chromosomal context remain unclear. Here, we report chromosome-scale conservation of synteny among bilaterians, cnidarians, and sponges and use comparative analysis to reconstruct ancestral chromosomes across major animal groups. Comparisons among diverse metazoans reveal the processes of chromosome evolution that produced contemporary karyotypes from their Precambrian progenitors. On the basis of these findings, we introduce a simple algebraic representation of chromosomal change and use it to establish a unified systematic framework for metazoan chromosome evolution. We find that fusion-with-mixing, a previously unappreciated mode of chromosome change, has played a central role. We find that relicts of several metazoan chromosomal units are preserved in unicellular eukaryotes. These conserved pre-metazoan linkages include the chromosomal unit that encodes the most diverse set of metazoan homeobox genes, suggesting a candidate genomic context for the early diversification of this key gene family.

59 BASIC BIOLOGICAL SCIENCES↗
NASA NTRS1986

Configurations of corotating shocks in the outer heliosphere

Configurations of corotating shocks in the outer heliosphere are computed on the assumption that the shocks move at constant speeds between collisions. The basic physical process is the interaction of a forward shock with a reverse shock. The points at which this interaction takes place are determined algebraically in terms of the initial shock positions and speeds. Between the points at which the shocks interact, the shocks have the form of Archimedian spirals. Shock configurations are determined for the case of two corotating shock pairs originating at 2.5 AU and for a single shock pair at 2.5 AU. In both cases the heliosphere is divided into several distinct regions distinguished by the number of times the particles have passed through a shock. Since the shock strengths decrease when a forward shock interacts with a reverse shock, corotating shocks are expected to be weaker at larger distances from the sun.

Burlaga, L. F.↗
NASA NTRS1988

Numerical study of chemically reacting flows using an LU scheme

A new computational fluid dynamic code has been developed for the study of mixing and chemical reactions in the flow fields of ramjets and scramjets. The code employs an implicit finite volume, lower-upper symmetric successive overrelaxation scheme for solving the complete two-dimensional Navier-Stokes equations and species transport equations in a fully-coupled and very efficient manner. The combustion processes are modeled by an 8-species, 14-step finite rate chemistry model whereas turbulence is simulated by a Baldwin-Lomax algebraic model. The validity of the code is demonstrated by comparing the numerical calculations with both experimental data and previous calculations of a cold flow helium injection into a straight channel and premixed hydrogen-air reacting flows in a ramped duct. The code is then used to calculate the mixing and chemical reactions of a hydrogen jet transversely injected into a supersonic airstream. Results are presented describing the flow field, the recirculation regions in front and behind the injector, and the chemical reactions.

Shuen, Jian Shun↗
NASA NTRS1988

Numerical study of chemically reacting flows using an LU scheme

A new computational fluid dynamic code has been developed for the study of mixing and chemical reactions in the flow fields of ramjets and scramjets. The code employs an implicit finite volume, lower-upper symmetric successive overrelaxation scheme for solving the complete two-dimensional Navier-Stokes equations and species transport equations in a fully-coupled and very efficient manner. The combustion processes are modeled by an 8-species, 14-step finite rate chemistry model whereas turbulence is simulated by a Baldwin-Lomax algebraic model. The validity of the code is demonstrated by comparing the numerical calculations with both experimental data and previous calculations of a cold flow helium injection into a straight channel and premixed hydrogen-air reacting flows in a ramped duct. The code is then used to calculate the mixing and chemical reactions of a hydrogen jet transversely injected into a supersonic airstream. Results are presented describing the flow field, the recirculation regions in front and behind the injector, and the chemical reactions.

Shuen, Jian Shun↗
DOE OSTI2023

Phase separation and ripening in a viscoelastic gel

The process of phase separation in elastic solids and viscous fluids is of fundamental importance to the stability and function of soft materials. We explore the dynamics of phase separation and domain growth in a viscoelastic material such as a polymer gel. Using analytical theory and Monte Carlo simulations, we report a domain growth regime in which the domain size increases algebraically with a ripening exponent α that depends on the viscoelastic properties of the material. For a prototypical Maxwell material, we obtain α = 1 , which is markedly different from the well-known Ostwald ripening process with α = 1 / 3 . We generalize our theory to systems with arbitrary power-law relaxation behavior and discuss our findings in the context of the long-term stability of materials as well as recent experimental results on phase separation in cross-linked networks and cytoskeleton.

Science & Technology - Other Topics↗
NASA NTRS1996

A Toolkit for Active Object-Oriented Databases with Application to Interoperability

In our original proposal we stated that our research would 'develop a novel technology that provides a foundation for collaborative information processing.' The essential ingredient of this technology is the notion of 'deltas,' which are first-class values representing collections of proposed updates to a database. The Heraclitus framework provides a variety of algebraic operators for building up, combining, inspecting, and comparing deltas. Deltas can be directly applied to the database to yield a new state, or used 'hypothetically' in queries against the state that would arise if the delta were applied. The central point here is that the step of elevating deltas to 'first-class' citizens in database programming languages will yield tremendous leverage on the problem of supporting updates in collaborative information processing. In short, our original intention was to develop the theoretical and practical foundation for a technology based on deltas in an object-oriented database context, develop a toolkit for active object-oriented databases, and apply this toward collaborative information processing.

King, Roger↗
NASA NTRS1996

A Toolkit for Active Object-Oriented Databases with Application to Interoperability

In our original proposal we stated that our research would 'develop a novel technology that provides a foundation for collaborative information processing.' The essential ingredient of this technology is the notion of 'deltas,' which are first-class values representing collections of proposed updates to a database. The Heraclitus framework provides a variety of algebraic operators for building up, combining, inspecting, and comparing deltas. Deltas can be directly applied to the database to yield a new state, or used 'hypothetically' in queries against the state that would arise if the delta were applied. The central point here is that the step of elevating deltas to 'first-class' citizens in database programming languages will yield tremendous leverage on the problem of supporting updates in collaborative information processing. In short, our original intention was to develop the theoretical and practical foundation for a technology based on deltas in an object- oriented database context, develop a toolkit for active object-oriented databases, and apply this toward collaborative information processing.

King, Roger↗
NASA NTRS1996

GENIE(++): A Multi-Block Structured Grid System

The computer code GENIE++ is a continuously evolving grid system containing a multitude of proven geometry/grid techniques. The generation process in GENIE++ is based on an earlier version. The process uses several techniques either separately or in combination to quickly and economically generate sculptured geometry descriptions and grids for arbitrary geometries. The computational mesh is formed by using an appropriate algebraic method. Grid clustering is accomplished with either exponential or hyperbolic tangent routines which allow the user to specify a desired point distribution. Grid smoothing can be accomplished by using an elliptic solver with proper forcing functions. B-spline and Non-Uniform Rational B-splines (NURBS) algorithms are used for surface definition and redistribution. The built in sculptured geometry definition with desired distribution of points, automatic Bezier curve/surface generation for interior boundaries/surfaces, and surface redistribution is based on NURBS. Weighted Lagrance/Hermite transfinite interpolation methods, interactive geometry/grid manipulation modules, and on-line graphical visualization of the generation process are salient features of this system which result in a significant time savings for a given geometry/grid application.

Williams, Tonya↗
DOE OSTI2025

Architectures and random properties of symplectic quantum circuits

Parametrized and random unitary (or orthogonal) n-qubit circuits play a central role in quantum information. As such, one could naturally assume that circuits implementing symplectic transformations would attract similar attention. However, this is not the case, as $\mathbb{SP}(d/2)$—the group of d × d unitary symplectic matrices—has thus far been overlooked. In this work, we aim at starting to fill this gap. We begin by presenting a universal set of generators $\mathcal{G}$ for the symplectic algebra $\mathfrak{sp}(d/2)$, consisting of one- and two-qubit Pauli operators acting on neighboring sites in a one-dimensional lattice. Here, we uncover two critical differences between such set, and equivalent ones for unitary and orthogonal circuits. Namely, we find that the operators in $\mathcal{G}$ cannot generate arbitrary local symplectic unitaries and that they are not translationally invariant. We then review the Schur–Weyl duality between the symplectic group and the Brauer algebra, and use tools from Weingarten calculus to prove that Pauli measurements at the output of Haar random symplectic circuits can converge to Gaussian processes. As a by-product, such analysis provides us with concentration bounds for Pauli measurements in circuits that form t-designs over $\mathbb{SP}(d/2)$. To finish, we present tensor-network tools to analyze shallow random symplectic circuits, and we use these to numerically show that computational-basis measurements anti-concentrate at logarithmic depth.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2024

A Formalization of Core Why3 in Coq

Intermediate verification languages like Why3 and Boogie have made it much easier to build program verifiers, transforming the process into a logic compilation problem rather than a proof automation one. Why3 in particular implements a rich logic for program specification with polymorphism, algebraic data types, recursive functions and predicates, and inductive predicates; it translates this logic to over a dozen solvers and proof assistants. Accordingly, it serves as a backend for many tools, including Frama-C, EasyCrypt, and GNATProve for Ada SPARK. But how can we be sure that these tools are correct? The alternate foundational approach, taken by tools like VST and CakeML, provides strong guarantees by implementing the entire toolchain in a proof assistant, but these tools are harder to build and cannot directly take advantage of SMT solver automation. As a first step toward enabling automated tools with similar foundational guarantees, we give a formal semantics in Coq for the logic fragment of Why3. We show that our semantics are useful by giving a correct-by-construction natural deduction proof system for this logic, using this proof system to verify parts of Why3's standard library, and proving sound two of Why3's transformations used to convert terms and formulas into the simpler logics supported by the backend solvers.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1977

Complex eigenvalue extraction in NASTRAN by the tridiagonal reduction (FEER) method

An extension of the Tridiagonal Reduction (FEER) method to complex eigenvalue analysis in NASTRAN is described. As in the case of real eigenvalue analysis, the eigensolutions closest to a selected point in the eigenspectrum are extracted from a reduced, symmetric, tridiagonal eigenmatrix whose order is much lower than that of the full size problem. The reduction process is effected automatically, and thus avoids the arbitrary lumping of masses and other physical quantities at selected grid points. The statement of the algebraic eigenvalue problem admits mass, damping and stiffness matrices which are unrestricted in character, i.e., they may be real, complex, symmetric or unsymmetric, singular or non-singular.

Newman, M.↗
NASA NTRS1978

Extension of the tridiagonal reduction (FEER) method for complex eigenvalue problems in NASTRAN

As in the case of real eigenvalue analysis, the eigensolutions closest to a selected point in the eigenspectrum were extracted from a reduced, symmetric, tridiagonal eigenmatrix whose order was much lower than that of the full size problem. The reduction process was effected automatically, and thus avoided the arbitrary lumping of masses and other physical quantities at selected grid points. The statement of the algebraic eigenvalue problem admitted mass, damping, and stiffness matrices which were unrestricted in character, i.e., they might be real, symmetric or nonsymmetric, singular or nonsingular.

Newman, M.↗
NASA NTRS1987

Grid generation for the solution of partial differential equations

A general survey of grid generators is presented with a concern for understanding why grids are necessary, how they are applied, and how they are generated. After an examination of the need for meshes, the overall applications setting is established with a categorization of the various connectivity patterns. This is split between structured grids and unstructured meshes. Altogether, the categorization establishes the foundation upon which grid generation techniques are developed. The two primary categories are algebraic techniques and partial differential equation techniques. These are each split into basic parts, and accordingly are individually examined in some detail. In the process, the interrelations between the various parts are accented. From the established background in the primary techniques, consideration is shifted to the topic of interactive grid generation and then to adaptive meshes. The setting for adaptivity is established with a suitable means to monitor severe solution behavior. Adaptive grids are considered first and are followed by adaptive triangular meshes. Then the consideration shifts to the temporal coupling between grid generators and PDE-solvers. To conclude, a reflection upon the discussion, herein, is given.

Eiseman, Peter R.↗
NASA NTRS1989

A numerical study of chemically reacting flow in nozzles

The space station uses small rocket motors, called thrusters, for orientation control. Because of the lack of viable design tools for small rockets, the initial thruster design was basically a very small version of a large rocket motor. Thrust measurements of the initial design were lower than predicted. To improve predictions it was decided to develop a verison of the RPLUS2D reacting flow code for thruster calculations. RPLUS2D employs an implicit finite volume, lower-upper symmetric successive overrelaxation (LU-SSOR) scheme for solving the complete two-dimensional Navier-Stokes equations and species transport equations in a coupled and very efficient manner. The combustion processes are modeled by a 9-species, 18 step finite-rate chemistry model, and the turbulence is simulated by a Baldwin-Lomax algebraic model. The code is extended to handle multiple subsonic inlet conditions where the total mass flow is governed by conditions calculated at the thruster-throat. Results are shown for a thruster design where the overall mixture ratio is hydrogen rich. A calculation of a large area ratio divergent nozzle is also presented.

Vanoverbeke, Thomas J.↗
NASA NTRS1989

A numerical study of chemically reacting flow in nozzles

The Space Station uses small rocket motors, called thrusters, for orientation control. Because of the lack of viable design tools for small rockets, the initial thruster design was basically a very small version of a large rocket motor. Thrust measurements of the initial design were lower than predicted. To improve predictions it was decided to develop a version of the RPLUS2D reacting flow code for thruster calculations. RPLUS2D employs an implicit finite volume, lower-upper symmetric successive overrelaxation (LU-SSOR) scheme for solving the complete two-dimensional Navier-Stokes equations and species transport equations in a coupled and very efficient manner. The combustion processes are modeled by a 9-species, 18 step finite-rate chemistry model, and the turbulence is simulated by a Baldwin-Lomax algebraic model. The code is extended to handle multiple subsonic inlet conditions where the total mass flow is governed by conditions calculated at the thruster-throat. Results are shown for a thruster design where the overall mixture ratio is hydrogen rich. A calculation of a large area ratio divergent nozzle is also presented.

Vanoverbeke, Thomas J.↗
NASA NTRS1989

Grid generation for the solution of partial differential equations

A general survey of grid generators is presented with a concern for understanding why grids are necessary, how they are applied, and how they are generated. After an examination of the need for meshes, the overall applications setting is established with a categorization of the various connectivity patterns. This is split between structured grids and unstructured meshes. Altogether, the categorization establishes the foundation upon which grid generation techniques are developed. The two primary categories are algebraic techniques and partial differential equation techniques. These are each split into basic parts, and accordingly are individually examined in some detail. In the process, the interrelations between the various parts are accented. From the established background in the primary techniques, consideration is shifted to the topic of interactive grid generation and then to adaptive meshes. The setting for adaptivity is established with a suitable means to monitor severe solution behavior. Adaptive grids are considered first and are followed by adaptive triangular meshes. Then the consideration shifts to the temporal coupling between grid generators and PDE-solvers. To conclude, a reflection upon the discussion, herein, is given.

Eiseman, Peter R.↗
DOE OSTI2026

Algebraic Multigrid with Filtering: An Efficient Preconditioner for Interior Point Methods in Large-Scale Contact Mechanics Optimization

Large-scale contact mechanics simulations are crucial in many engineering fields such as structural design and manufacturing. In the frictionless case, contact can be modeled by minimizing an energy functional; however, these problems are often nonlinear, nonconvex, and increasingly difficult to solve as mesh resolution increases. In this work, we employ a Newton-based interior-point (IP) filter line-search method, an effective approach for large-scale constrained optimization. While this method converges rapidly, each iteration requires solving a large saddle-point linear system that becomes ill-conditioned as the optimization process converges, largely due to IP treatment of the contact constraints. Such ill-conditioning can hinder solver scalability and increase iteration counts with mesh refinement. Here, to address this, we introduce a novel preconditioner, algebraic multigrid with filtering (AMGF), tailored to the Schur complement of the saddle-point system. Building on the classical AMG solver, commonly used for elasticity, we augment it with a specialized subspace correction that filters near null space components introduced by contact interface constraints. Through theoretical analysis and numerical experiments on a range of linear and nonlinear contact problems, we demonstrate that the proposed solver achieves mesh independent convergence and maintains robustness against the ill-conditioning that notoriously plagues IP methods. These results indicate that AMGF makes contact mechanics simulations more tractable and broadens the applicability of Newton-based IP methods in challenging engineering scenarios. More broadly, AMGF is well suited for problems, optimization or otherwise, where solver performance is limited by a low-dimensional subspace, such as those arising from localized constraints, interface conditions, or model heterogeneities. This makes the method widely applicable beyond contact mechanics and constrained optimization.

Mathematics and Computing↗
NASA NTRS1987

Numerical analysis of flow through scramjet engine inlets

A set of computer programs has been developed to analyze flow through supersonic combustion ramjet (scramjet) inlets. These programs solve either the two- or three-dimensional Euler/Navier-Stokes equations in full conservation form by MacCormack's explicit or explicit-implicit method. An algebraic two-layer eddy viscosity model is used for turbulent flow calculations. The programs are operational on Control Data CYBER-200 series vector-processing computer system and have been optimized to take maximum advantage of the vector processing capability of the system. Since their development, the programs have been extensively verified and used to analyze a number of very complex inlet configurations. In this paper, results are presented from two-dimensional, quasi-three-dimensional, and three-dimensional analyses of the inlet flow field to illustrate the use of the programs.

Kumar, Ajay↗