Perturbative manifolds and the Noether generators of nth-order Poisson equations

A manifold that contains small perturbations will induce a perturbed partial differential equation. The partial differential equation that we select is the Poisson equation – in order to explore the interplay between the geometry of the manifold and the perturbations. Specifically, we show how the problem of symmetry determination, for higher-order perturbations, can be elegantly expressed via geometric conditions.     

D→PP衰变过程的末态相互作用

利用单粒子交换方法,研究了D介子衰变到两个赝标粒子中的末态相互作用.通过实验数据中抽取的强相角来分析末态相互作用的效应     

Bit-parallel approximate string matching algorithms with transposition

Using bit-parallelism has resulted in fast and practical algorithms for approximate string matching under Levenshtein edit distance, which permits a single edit operation to insert, delete or substitute a character. Depending on the parameters of the search, currently the fastest non-filtering algorithms in practice are the O(km/wn) algorithm of Wu and Manber, the O((k+2)(m−k)/wn) algorithm of Baeza-Yates and Navarro, and the O(m/wn) algorithm of Myers, where m is the pattern length, n is the text length, k is the error threshold and w is the computer word size. In this paper we discuss a uniform way of modifying each of these algorithms to permit also a fourth type of edit operation: transposing two adjacent characters in the pattern. This type of edit distance is also known as Damerau edit distance. In the end we also present an experimental comparison of the resulting algorithms.     

A thermodynamic approach with internal variables using Lagrange formalism. Part I: General framework

We present some reflections on the application of the Lagrangian formalism for continuous media locally uniform subjected to internal irreversible evolutions. The Lagrangian density, defined as the time derivative of a non-equilibrium thermodynamic potential, [Thermodynamics of Relaxation Processes using Internal variables within a Lagrange-formalism. P. Germain’s Anniversary Volume 2000. Contiuum Thermomechanics: the Art and Science of Modeling Matter’s Behaviour, 2000], contains all the symmetry properties of the system. The generalised Lagrange co-ordinates correspond to the state and internal variables of the time derivative of the generalised Gibbs potential. The latter being used within the framework of the De Donder’s method, must also account for the memory effect of the physical medium.This first part is devoted to the thermodynamic framework called the distribution of non-linear relaxations approach (DNLR) developed by C. Cunat on the basis of the generalised Gibbs’ relation.     

A numerical experimental study of inverse preconditioning for the parallel iterative solution to 3D finite element flow equations

Integration of the subsurface flow equation by finite elements (FE) in space and finite differences (FD) in time requires the repeated solution to sparse symmetric positive definite systems of linear equations. Iterative techniques based on preconditioned conjugate gradients (PCG) are one of the most attractive tool to solve the problem on sequential computers. A present challenge is to make PCG attractive in a parallel computing environment as well. To this aim a key factor is the development of an efficient parallel preconditioner. FSAI (factorized sparse approximate inverse) and enlarged FSAI relying on the approximate inverse of the coefficient matrix appears to be a most promising parallel preconditioner. In the present paper PCG using FSAI, diagonal and pARMS (parallel algebraic recursive multilevel solvers) preconditioners is implemented on the IBM SP4/512 and CLX/768 supercomputers with up to 32 processors to solve underground flow problems of a large size. The results show that FSAI may allow for a parallel relative efficiency larger than 50% on the largest problems with p=32 processors. Moreover, FSAI turns out to be significantly less expensive and more robust than pARMS. Finally, it is shown that for p in the upper range may be much improved if PCG–FSAI is implemented on CLX.     

A parametric representation of linguistic hedges in Zadeh’s fuzzy logic

This paper proposes a model for the parametric representation of linguistic hedges in Zadeh’s fuzzy logic. In this model each linguistic truth-value, which is generated from a primary term of the linguistic truth variable, is identified by a real number r depending on the primary term. It is shown that the model yields a method of efficiently computing linguistic truth expressions accompanied with a rich algebraic structure of the linguistic truth domain, namely De Morgan algebra. Also, a fuzzy logic based on the parametric representation of linguistic truth-values is introduced.     

Approximate symmetries and conservation laws for Itô and Stratonovich dynamical systems

A new definition for the approximate symmetries of Itô dynamical system is given. Determining systems of approximate symmetries for Itô and Stratonovich dynamical systems have been obtained. It has been shown that approximate conservation laws can be found from the approximate symmetries of stochastic dynamical systems which do not arise from a Hamiltonian. The results have been applied to an example.     

Symmetries of flat rank two distributions and sub-Riemannian structures

Flat sub-Riemannian structures are local approximations -- nilpotentizations -- of sub-Riemannian structures at regular points. Lie algebras of symmetries of flat maximal growth distributions and sub-Riemannian structures of rank two are computed in dimensions 3, 4, and 5.

     

Dirac on Gauges and Constraints

We examine the relevance of Dirac's view on the use of transformation theory and invariants in modern physics to current reflections on the meaning of physical symmetries, especially gauge symmetries.     

Some results on controllability of a nonlinear degenerate parabolic system by bilinear control

In this paper, we discuss the controllability of a nonlinear degenerate parabolic system with bilinear control. Based on the shrinking property of the solutions, we prove that the system is not globally approximately controllable. Furthermore, we give an approximate null controllability result. We also prove that the system is not globally exactly null controllable by a comparison principle.