We present a confluence tool for left-linear term rewrite systems. The tool proves confluence by using Hindley’s commutation theorem together with three commutation criteria, including Church-Rosser modulo associative and/or commutative theories. Despite a small number of its techniques, experiments show that the tool is comparable to recent powerful confluence tools.

We discuss the meaning of renormalization used for deriving quadratic bosonic commutation relations introduced by Accardi [ALV] and find a representation of these relations on an interacting Fock space. Also, we investigate classical stochastic processes which can be constructed from noncommutative quadratic white noise. We postulate quadratic free white noise commutation relations and find the...

We analyze the emergence of a minimal length for a large class of generalized commutation relations, preserving commutation of the position operators and translation invariance as well as rotation invariance (in dimension higher than one). We show that the construction of the maximally localized states based on squeezed states generally fails. Rather, one must resort to a constrained variationa...

Brushless Direct Current (BLDC) motors are widely used due to high reliability, simple frame, straight forward control, and low friction. BLDC motor has the advantage of high speed adjusting performance and high power density. Speaking of the motor drive control, the most important part is commutation control. On the other hand, they show a high torque ripple characteristics caused by nonideal ...

Brushless Direct Current (BLDC) motors are widely used due to high reliability, simple frame, straight forward control, and low friction. BLDC motor has the advantage of high speed adjusting performance and power density. Speaking of the motor drive, the most important part is commutation control. On the other hand, they show a high torque ripple characteristics caused by no ideal commutation c...

The differential equations for a continuous birepresentation of a local analytic Moufang loop are established. The commutation relations for the infinitesimal operators of the birepresentation are found. These commutation relations can be seen as a (minimal) generalization of the Maurer-Cartan equations and do not depend on the particular birepresentation. 2000 MSC: 20N05, 17D10

We provide a comprehensive treatment of the single and double commutation method as a tool for constructing soliton solutions of the Toda and Kac-van Moerbeke hierarchy on arbitrary background. In addition, we present a novel construction based on the single commutation method. As an illustration we compute the N -soliton solution of the Toda and Kac-van Moerbeke hierarchy.

In this paper, a new method is proposed for the speed control of a three-phase current forced synchronous machine drive. This metohd is based on the use of an approximate constant commutation safety margin angle in the output thyristor bridge of the drive system as well as on the compenastion of stator magnetization reaction. The commutation process in the output converter of the machine driv...