SEARCH · Search NASA
Results for “Computer Algebra”
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.
Medical diagnoses using three-way fuzzy concept lattice and their Euclidean distance
Searching the closest symptoms of a particular disease in the given patient is a major concern for medical diagnoses expert. In most cases, this problem arises due to large number of incomplete, uncertain, or inconsistent information generated in medical diagnoses data set. Recently, some of the researchers tried to pay attention towards precise measurement of uncertainty and vagueness in medical data set using the properties of applied abstract algebra. In this process, researchers noticed that calculus of three-way decision space is more useful to characterize the uncertainty and vagueness in medical data set based on truth, indeterminacy, and falsity membership-values. However, searching some relevant query based on user requirement to diagnoses the disease is a major issue in three-way decision space. To encounter this problem, current paper tried to analyze the medical data set using the properties of single-valued neutrosophic graph-based concept lattice. In addition, another method is proposed to select some of the interesting three-way fuzzy concepts at user-defined granulation for their computed Euclidean distance with an illustrative example.
Regularization and index reduction for linear differential–algebraic systems
In this paper, a necessary and sufficient condition for the existence of a proportional semistate feedback is established such that the closed loop system is regular and of index at most two. The condition is characterized by a rank condition that involves only the original system coefficient matrices. Also, a new rank condition ensuring that a given linear time-invariant descriptor system is regular and of index at most some specific value is also derived. The developed theory is illustrated through physical and numerical examples.
On the Additive Structure and Asymptotics of Codimensions c{sub n} in the Algebra F{sup (5)}
In this paper, we investigate the additive structure of the algebra F{sup (5)}, i.e., a relatively free, associative, countably-generated algebra with the identity [x{sub 1}, . . . , x{sub 5}] = 0 over an infinite field of characteristic ≠2, 3. We study the space of proper multilinear polynomials in this algebra and means of basis construction in one of its basic subspaces. As an additional result, we obtain estimations of codimensions c{sub n} = dimP{sub n}/P{sub n}∩ T{sup (5)}, where P{sub n} is the space of multilinear polynomials of degree n in F{sup (5)} and T{sup (5)} is the T-ideal generated by the long commutator [x{sub 1}, . . . , x{sub 5}].
The Limit Shape of a Probability Measure on a Tensor Product of Modules of the B{sub n} Algebra
We study a probability measure on the integral dominant weights in the decomposition of the Nth tensor power of the spinor representation of the Lie algebra so(2n + 1). The probability of a dominant weight λ is defined as the dimension of the irreducible component of λ divided by the total dimension 2{sup nN} of the tensor power. We prove that as N →∞, the measure weakly converges to the radial part of the SO(2n+1)-invariant measure on so(2n+1) induced by the Killing form. Thus, we generalize Kerov’s theorem for su(n) to so(2n + 1).
Geometric properties of commutative subalgebras of partial differential operators
We investigate further algebro-geometric properties of commutative rings of partial differential operators, continuing our research started in previous articles. In particular, we start to explore the simplest and also certain known examples of quantum algebraically completely integrable systems from the point of view of a recent generalization of Sato's theory, developed by the first author. We give a complete characterization of the spectral data for a class of 'trivial' commutative algebras and strengthen geometric properties known earlier for a class of known examples. We also define a kind of restriction map from the moduli space of coherent sheaves with fixed Hilbert polynomial on a surface to an analogous moduli space on a divisor (both the surface and the divisor are part of the spectral data). We give several explicit examples of spectral data and corresponding algebras of commuting (completed) operators, producing as a by-product interesting examples of surfaces that are not isomorphic to spectral surfaces of any (maximal) commutative ring of partial differential operators of rank one. Finally, we prove that any commutative ring of partial differential operators whose normalization is isomorphic to the ring of polynomials k[u,t] is a Darboux transformation of a ring of operators with constant coefficients. Bibliography: 39 titles.
Continuous and Smooth Envelopes of Topological Algebras. Part 1
Since the first optical instruments were invented, an idea that the visible image of an object under observation depends on tools of observation became commonly assumed in physics. A way of formalizing this idea in mathematics is the construction that assigns to an arbitrary object A in a category K its envelope Env{sub Φ}{sup Ω}A in a given class of morphisms (a class of representations) Ω with respect to a given class of morphisms (a class of observation tools) Φ. It turns out that if we take a sufficiently wide category of topological algebras as K, then each choice of the classes Ω and Φ defines a “projection of functional analysis into geometry,” and the standard “geometric disciplines,” like complex geometry, differential geometry, and topology, become special cases of this construction. This gives a formal scheme of “categorical construction of geometries” with many interesting applications, in particular, “geometric generalizations of the Pontryagin duality” (to the classes of noncommutative groups). In this paper we describe this scheme in topology and in differential geometry.
Continuous and Smooth Envelopes of Topological Algebras. Part 2
Since the first optical instruments were invented, the idea that the visible image of an object under observation depends on tools of observation became commonly assumed in physics. A way of formalizing this idea in mathematics is the construction that assigns to an arbitrary object A in a category K its envelope Env{sub Φ}{sup Ω} A in a given class of morphisms (a class of representations) Ω with respect to a given class of morphisms (a class of observation tools) Φ. It turns out that if we take a sufficiently wide category of topological algebras as K, then each choice of the classes Ω and Φ defines a “projection of functional analysis into geometry,” and the standard “geometric disciplines,” like complex geometry, differential geometry, and topology, become special cases of this construction. This gives a formal scheme of “categorical construction of geometries” with many interesting applications, in particular, “geometric generalizations of the Pontryagin duality” (to the classes of noncommutative groups). In this paper we describe this scheme in topology and in differential geometry.
Noncommutative reciprocity laws on algebraic surfaces: the case of tame ramification
We prove noncommutative reciprocity laws on an algebraic surface defined over a perfect field. These reciprocity laws establish that some central extensions of globally constructed groups split over certain subgroups constructed by points or projective curves on a surface. For a two-dimensional local field with a last finite residue field, the local central extension which is constructed is isomorphic to the central extension which comes from the case of tame ramification of the Abelian two-dimensional local Langlands correspondence suggested by Kapranov. Bibliography: 9 titles.
Multipoint Lax operator algebras: almost-graded structure and central extensions
Recently, Lax operator algebras appeared as a new class of higher genus current-type algebras. Introduced by Krichever and Sheinman, they were based on Krichever's theory of Lax operators on algebraic curves. These algebras are almost-graded Lie algebras of currents on Riemann surfaces with marked points (in-points, out-points and Tyurin points). In a previous joint article with Sheinman, the author classified the local cocycles and associated almost-graded central extensions in the case of one in-point and one out-point. It was shown that the almost-graded extension is essentially unique. In this article the general case of Lax operator algebras corresponding to several in- and out-points is considered. As a first step they are shown to be almost-graded. The grading is given by splitting the marked points which are non-Tyurin points into in- and out-points. Next, classification results both for local and bounded cocycles are proved. The uniqueness theorem for almost-graded central extensions follows. To obtain this generalization additional techniques are needed which are presented in this article. Bibliography: 30 titles.
A Scalable Multigrid Reduction Framework for Multiphase Poromechanics of Heterogeneous Media
Simulation of multiphase poromechanics involves solving a multiphysics problem in which multiphase flow and transport are tightly coupled with the porous medium deformation. To capture this dynamic interplay, fully implicit methods, also known as monolithic approaches, are usually preferred. The main bottleneck of a monolithic approach is that it requires solution of large linear systems that result from the discretization and linearization of the governing balance equations. Because such systems are nonsymmetric, indefinite, and highly ill-conditioned, preconditioning is critical for fast convergence. Recently, most efforts in designing efficient preconditioners for multiphase poromechanics have been dominated by physics-based strategies. Current state-of-the-art “black-box” solvers such as algebraic multigrid (AMG) are ineffective because they cannot effectively capture the strong coupling between the mechanics and the flow subproblems, as well as the coupling inherent in the multiphase flow and transport process. In this work, we develop an algebraic framework based on multigrid reduction (MGR) that is suited for tightly coupled systems of PDEs. Using this framework, the decoupling between the equations is done algebraically through defining appropriate interpolation and restriction operators. One can then employ existing solvers for each of the decoupled blocks or design a new solver based on knowledge of the physics. We demonstrate the applicability of our framework when used as a “black-box” solver for multiphase poromechanics. Here, we show that the framework is flexible to accommodate a wide range of scenarios, as well as efficient and scalable for large problems.
Algebraic multigrid preconditioners for two-phase flow in porous media with phase transitions [Algebraic multigrid preconditioners for multiphase flow in porous media with phase transitions]
Multiphase flow is a critical process in a wide range of applications, including oil and gas recovery, carbon sequestration, and contaminant remediation. Numerical simulation of multiphase flow requires solving of a large, sparse linear system resulting from the discretization of the partial differential equations modeling the flow. In the case of multiphase multicomponent flow with miscible effect, this is a very challenging task. The problem becomes even more difficult if phase transitions are taken into account. A new approach to handle phase transitions is to formulate the system as a nonlinear complementarity problem (NCP). Unlike in the primary variable switching technique, the set of primary variables in this approach is fixed even when there is phase transition. Not only does this improve the robustness of the nonlinear solver, it opens up the possibility to use multigrid methods to solve the resulting linear system. The disadvantage of the complementarity approach, however, is that when a phase disappears, the linear system has the structure of a saddle point problem and becomes indefinite, and current algebraic multigrid (AMG) algorithms cannot be applied directly. In this study, we explore the effectiveness of a new multilevel strategy, based on the multigrid reduction technique, to deal with problems of this type. We demonstrate the effectiveness of the method through numerical results for the case of two-phase, two-component flow with phase appearance/disappearance. In conclusion, we also show that the strategy is efficient and scales optimally with problem size.
Double Cosets of Stabilizers of Totally Isotropic Subspaces in a Special Unitary Group. I
Let D be a division algebra with a fixed involution, and let V be the corresponding unitary space over D with T -condition (see N. Bourbaki, Algèbre). For a pair of totally isotropic subspaces u, v ≤ V, the double cosets P{sub u}γP{sub v} of their stabilizers P{sub u}, P{sub v} in Γ = SU(V ) are considered. A description of the cosets P{sub u}γP{sub v} in terms of the intersection distance d{sub in}(u, γ(v)) and the Witt index of u + γ(v) is given.
Extended trigonometric Cherednik algebras and nonstationary Schroedinger equations with delta-potentials
We realize an extended version of the trigonometric Cherednik algebra as affine Dunkl operators involving Heaviside functions. We use the quadratic Casimir element of the extended trigonometric Cherednik algebra to define an explicit nonstationary Schroedinger equation with delta-potential. We use coordinate Bethe ansatz methods to construct solutions of the nonstationary Schroedinger equation in terms of generalized Bethe wave functions. It is shown that the generalized Bethe wave functions satisfy affine difference Knizhnik-Zamolodchikov equations as functions of the momenta. The relation to the vector valued root system analogs of the quantum Bose gas on the circle with delta-function interactions is indicated.
Topologies on quantum topoi induced by quantization
In the present paper, we consider effects of quantization in a topos approach of quantum theory. A quantum system is assumed to be coded in a quantum topos, by which we mean the topos of presheaves on the context category of commutative subalgebras of a von Neumann algebra of bounded operators on a Hilbert space. A classical system is modeled by a Lie algebra of classical observables. It is shown that a quantization map from the classical observables to self-adjoint operators on the Hilbert space naturally induces geometric morphisms from presheaf topoi related to the classical system to the quantum topos. By means of the geometric morphisms, we give Lawvere-Tierney topologies on the quantum topos (and their equivalent Grothendieck topologies on the context category). We show that, among them, there exists a canonical one which we call a quantization topology. We furthermore give an explicit expression of a sheafification functor associated with the quantization topology.
Low-Order Preconditioning for the High-Order Finite Element de Rham Complex
Here, we present a unified framework for constructing spectrally equivalent low-order-refined discretizations for the high-order finite element de Rham complex. This theory covers diffusion problems in H 1 , H(curl), and H(div) and is based on combining a low-order discretization posed on a refined mesh with a high-order basis for Nédélec and Raviart–Thomas elements that makes use of the concept of polynomial histopolation (polynomial fitting using prescribed mean values over certain regions). This spectral equivalence, coupled with algebraic multigrid methods constructed using the low-order discretization, results in highly scalable matrix-free preconditioners for high-order finite element problems in the full de Rham complex. Additionally, a new lowest-order (piecewise constant) preconditioner is developed for high-order interior penalty discontinuous Galerkin (DG) discretizations, for which spectral equivalence results and convergence proofs for algebraic multigrid methods are provided. In all cases, the spectral equivalence results are independent of polynomial degree and mesh size; for DG methods, they are also independent of the penalty parameter. These new solvers are flexible and easy to use; any “black-box” preconditioner for low-order problems can be used to create an effective and efficient preconditioner for the corresponding high-order problem. A number of numerical experiments are presented, based on an implementation in the finite element library MFEM. A range of challenging three-dimensional problems are used to corroborate the theoretical properties and demonstrate the flexibility and scalability of the method.
Multilevel well modeling in aggregation-based nonlinear multigrid for multiphase flow in porous media
A full approximation scheme (FAS) nonlinear multigrid solver for two-phase flow and transport problems driven by wells with multiple perforations is developed here. It is an extension to our previous work on FAS solvers for diffusion and transport problems. The solver is applicable to discrete problems defined on unstructured grids as the coarsening algorithm is aggregation-based and algebraic. To construct coarse basis that can better capture the radial flow near wells, coarse grids in which perforated well cells are not near the coarse-element interface are desired. This is achieved by an aggregation algorithm proposed in this paper that makes use of the location of well cells in the cell-connectivity graph. Numerical examples in which the FAS solver is compared against Newton's method on benchmark problems are given. In particular, for a refined version of the SAIGUP model, the FAS solver is at least 35% faster than Newton's method for time steps with a CFL number greater than 10.
Object-space optimization of tomographic reconstructions for additive manufacturing
Volumetric 3D printing motivated by computed axial lithography enables rapid printing of homogeneous parts but requires a high dimensionality gradient-descent optimization to calculate image sets. Here we introduce a new, simpler approach to image-computation that algebraically optimizes a model of the printed object, significantly improving print accuracy of complex parts under imperfect material and optical precision by improving optical dose contrast between the target and surrounding regions. Quality metrics for volumetric printing are defined and shown to be significantly improved by the new algorithm. The approach is extended beyond binary printing to grayscale control of conversion to enable functionally graded materials. The flexibility of the technique is digitally demonstrated with realistic projector point spread functions, printing around occluding structures, printing with restricted angular range, and incorporation of materials chemistry such as inhibition. Finally, simulations show that the method facilitates new printing modalities such as printing into flat, rather than cylindrical packages to extend the applications of volumetric printing.