Results 21 to 30 of about 108,033 (290)
Dynamic Symmetry Reduction [PDF]
, 2005 Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the prohibitively large BDD for the orbit relation. One suggested solution is to pre-compute a mapping from states to possibly multiple representatives of symmetry equivalence classes.
E. Allen Emerson, Thomas Wahl
openaire +1 more source
Mathematics, 2019 The paper shows that, in looking for exact solutions to nonlinear PDEs, the direct method of functional separation of variables can, in certain cases, be more effective than the method of differential constraints based on the compatibility analysis of ...
Andrei D. Polyanin
doaj +1 more source
Reductions of Multicomponent mKdV Equations on Symmetric Spaces of DIII-Type [PDF]
, 2008 New reductions for the multicomponent modified Korteveg-de Vries (MMKdV) equations on the symmetric spaces of {\bf DIII}-type are derived using the approach based on the reduction group introduced by A.V. Mikhailov.
Gerdjikov, Vladimir S. +1 more
core +4 more sources
Dimensional reduction of symmetries [PDF]
Physics Letters B, 1983 Abstract It has been shown that ordinary (d−2)-dimensional quantum field theories are equivalent to corresponding quantum field theories defined on a (d+2)-dimensional superspace with two anticommuting variables. This dimensional reduction is a consequence of superrotation invariance in the superspace.
A. Kupiainen, A. Niemi
openaire +1 more source
On PT Symmetry Systems: Invariance, Conservation Laws, and Reductions
Journal of Applied Mathematics, 2014 An analysis of a PT symmetric coupler with “gain in one waveguide and loss in another” is made; a transformation in the PT system and some assumptions results in a scalar cubic Schrödinger equation.
P. Masemola, A. H. Kara
doaj +1 more source
Nonlinear Analysis, 2015 The Lie group analysis method is performed for the nonlinear perturbed Burgers equation and the time fractional nonlinear perturbed Burgers equation. All of the point symmetries of the equations are constructed.
Gangwei Wang, Tianzhou Xu
doaj +1 more source
Partial Differential Equations in Applied Mathematics, 2021 We perform symmetry analysis of a partial differential equation (PDE) of pseudoparabolic form which models solvent uptake in polymeric solids; a special case of power law for diffusion coefficient and constant viscosity is considered.
Maile Khati, Motlatsi Molati
doaj +1 more source
Symmetry reduction by lifting for maps [PDF]
Nonlinearity, 2012 laTeX, 31 pages, 5 ...
Dullin, H. R. +2 more
openaire +2 more sources
State space c-reductions for concurrent systems in rewriting logic [PDF]
, 2011 We present c-reductions, a state space reduction technique. The rough idea is to exploit some equivalence relation on states (possibly capturing system regularities) that preserves behavioral properties, and explore the induced quotient system.
A.F. Donaldson +13 more
core +2 more sources
Symmetry and Symplectic Reduction
, 2006 This encyclopedia article briefly reviews without proofs some of the main results in symplectic reduction. The article recalls most the necessary prerequisites to understand the main results, namely, group actions, momentum maps, and coadjoint orbits, among others.
Ortega, Juan-Pablo, Ratiu, Tudor S.
openaire +2 more sources