Spatial Operator Algebra for Free-floating Space Robot Modeling and Simulation

As the dynamic equations of space robots are highly nonlinear,strongly coupled and nonholonomic constrained,the efficiency of current dynamic modeling algorithms is difficult to meet the requirements of real-time simulation.This paper combines an efficient spatial operator algebra（SOA） algorithm for base fixed robots with the conservation of linear and angular momentum theory to establish dynamic equations for the free-floating space robot,and analyzes the influence to the base body＇s position and posture when the manipulator is capturing a target.The recursive Newton-Euler kinematic equations on screw form for the space robot are derived,and the techniques of the sequential filtering and smoothing methods in optimal estimation theory are used to derive an innovation factorization and inverse of the generalized mass matrix which immediately achieve high computational efficiency.The high efficient SOA algorithm is spatially recursive and has a simple math expression and a clear physical understanding,and its computational complexity grows only linearly with the number of degrees of freedom.Finally,a space robot with three degrees of freedom manipulator is simulated in Matematica 6.0.Compared with ADAMS,the simulation reveals that the SOA algorithm is much more efficient to solve the forward and inverse dynamic problems.As a result,the requirements of real-time simulation for dynamics of free-floating space robot are solved and a new analytic modeling system is established for free-floating space robot.

ADDITIVE MAPS ON SOME OPERATOR ALGEBRAS BEHAVING LIKE(α, β)-DERIVATIONS OR GENERALIZED(α, β)-DERIVATIONS AT ZERO-PRODUCT ELEMENTS

Let A be a subalgebra of B（X） containing the identity operator I and an idempotent P. Suppose that α,β： A →A are ring epimorphisms and there exists some nest N on 2（ such that α（P）（X） and β（P）（X） are non-trivial elements of N. Let A contain all rank one operators in AlgN and δ ： A→ B（X） be an additive mapping. It is shown that, if δ is （α, β）-derivable at zero point, then there exists an additive （α, β）-derivation τ ： A →β（X） such that δ（A） =τ（A） ＋ α（A）δ（I） for all A∈A. It is also shown that if δ is generalized （α,β）-derivable at zero point, then δ is an additive generalized （α, β）-derivation. Moreover, by use of this result, the additive maps （generalized） （α,β）-derivable at zero point on several nest algebras, are also characterized.

ON FINITE RANK OPERATORS IN CSL ALGEBRAS Ⅲ

In terms of the exactly nonzero partition,the reducible projection-system and correlation matrices,two characterizations for a rank three operator in a CSL algebra can be completely decomposed are given.

ALGEBRAIC EXTENSION OF *-A OPERATOR

In this paper, we study various properties of algebraic extension of ＊-A operator.Specifically, we show that every algebraic extension of ＊-A operator has SVEP and is isoloid.And if T is an algebraic extension of ＊-A operator, then Weyl＇s theorem holds for f（T）, where f is an analytic functions on some neighborhood of σ（T） and not constant on each of the components of its domain.

THE DUAL OF NONCOMMUTATIVE LORENTZ SPACES

We prove some noncommutative analogues of the classical results about dual spaces of the classical Lorentz spaces.

The structural analysis of protein sequences based on the quasi-amino acids code

Proteomics is the study of proteins and their interactions in a cell. With the successful completion of the Human Cenome Project, it comes the postgenome era when the proteomics technology is emerging. This paper studies protein molecule from the algebraic point of view. The algebraic system （∑, ＋, ＊） is introduced, where ∑ is the set of 64 codons. According to the characteristics of （∑, ＋, ＊）, a novel quasi-amino acids code classification method is introduced and the corresponding algebraic operation table over the set ZU of the 16 kinds of quasi-amino acids is established. The internal relation is revealed about quasi-amino acids. The results show that there exist some very close correlations between the properties of the quasi-amino acids and the codon. All these correlation relationships may play an important part in establishing the logic relationship between codons and the quasi-amino acids during the course of life origination. According to Ma F et al （2003 J. Anhui Agricultural University 30 439）, the corresponding relation and the excellent properties about amino acids code are very difficult to observe. The present paper shows that （ZU, ＋,×） is a field. Furthermore, the operational results display that the eodon tga has different property from other stop codons. In fact, in the mitochondrion from human and ox genomic codon, tga is just tryptophane, is not the stop codon like in other genetic code, it is the case of the Chen W C et al （2002 Acta Biophysiea Siniea 18（1） 87）. The present theory avoids some inexplicable events of the 20 kinds of amino acids code, in other words it solves the problem of ＇the 64 codon assignments of mRNA to amino acids is probably completely wrong＇ proposed by Yang （2006 Progress in Modern Biomedicine 6 3）.

Quantum Mechanics and the Philosophy of Language:Reconsideration of Traditional Philosophies

Recently we proposed “a new interpretation of quantum mechanics (called quantum and classical measurement theory)” in this journal (JQIS: Vol. 1, No. 2), which was characterized as the metaphysical and linguistic turn of quantum mechanics. This turn from physics to language does not only realize the remarkable extension of quantum mechanics but also yield the quantum mechanical world view (i.e., the philosophy of quantum mechanics). And thus, the turn urges us to dream that traditional philosophies (i.e., Parmenides, Plato, Aristotle, Descartes, John Locke, Berkeley, Hume, Kant, Saussure, Wittgenstein, etc.) can be understood in the quantum mechanical world view. This dream will be challenged in this paper. We, of course, know that most scientists are skeptical to philosophy. Still, we can expect that readers find a good linguistic philosophy (i.e. philosophy of language) in quantum mechanics.

INFINITESIMAL GAUGE OPERATORS FOR PSEUDOSCALAR FIELDS

This paper derives explicit expressions of the infinitesimal gauge operators for pseudoscalalr fields in a gauge theory coupling vector and axial-vector fields with the aid of the method of operator algebra. The gauge operators of the coset pure gauge fields theory under the chiral group SU(N) X SU(N) are also obtainede.

On the Supercyclicity and Hypercyclicity of the Operator Algebra

Let B（X） be the operator algebra for a separable infinite dimensional Hilbert space H, endowed with the strong operator topology or ＊-strong topology. We give sufficient conditions for a continuous linear mapping L ： B（X） →B（X） to be supercyclic or ,-supercyclic. In particular our condition implies the existence of an infinite dimensional subspace of supercyclic vectors for a mapping T on H. Hypercyclicity of the operator algebra with strong operator topology was studied＇ by Chan and here we obtain an analogous result in the case of ＊-strong operator topology.

Extension of Vertex Operator Algebra VH4（e, 0）

We classify the irreducible restricted modules for the affine Nappi-Witten Lie algebra H4 with some natural conditions. It turns out that the representation theory of H4 is quite different from the theory of representations of Heisenberg algebras. We also study the extension of the vertex operator algebra VH4 （e, 0） by the even lattice L. We give the structure of the extension VH4 （e, 0） [L] and its irreducible modules via irreducible representations of VH4（e, 0） viewed as a vertex algebra.

Additive Maps Between Standard Operator Algebras Compressing Certain Spectral Functions

We characterize the surjective additive maps compressing the spectral function Δ（·） between standard operator algebras acting on complex Banach spaces, where Δ（·） stands for any one of nine spectral functions σ（·）, σl（·）, σr（·）,σl（·） ∩ σr（·）, δσ（·）, ησ（·）, σap（·）, σs（·）, and σap（·） ∩ σs（·）.

Jordan Maps on Standard Operator Algebras

Let A be a standard operator algebra on a Banach space of dimension 〉 1 and B be an arbitrary algebra over Q the field of rational numbers. Suppose that M ： A → B and M^＊ ： B → A are surjective maps such that {M（r（aM^＊（x）＋M^＊（x）a））=r（M（a）x＋xM（a））, M^＊（r（M（a）x＋xM（a）））=r（aM^＊（x）＋M^＊（x）a） for all a ∈ A, x ∈ B, where r is a fixed nonzero rational number. Then both M and M^＊ are additive.

On K-groups of Operator Algebras on HD_n Spaces and QD_n Spaces

We obtain the K-groups of the operator ideals contained in the class of Riesz operators. And based on the results, we calculate the K-groups of the operator algebras on HD nspaces and QDn spaces.

Strong 3-Commutativity Preserving Maps on Standard Operator Algebras

Let X be a Banach space of dimension ≥ 2 over the real or complex field F and A a standard operator algebra in B（X）. A map Ф ： A→A is said to be strong 3-commutativity preserving if [Ф（A）, Ф（B）]a = [A, B]3 for all A, B C .4, where [A, B]3 is the 3-commutator of A, B defined by [A, B]3 = [[[A, B], B], B] with [A, B] = AB - BA. The main result in this paper is shown that, if Ф is a surjective map on A, then Ф is strong 3-commutativity preserving if and only if there exist a functional h ： A→F and a scalar λ∈F with λ^4 = 1 such that Ф（A） = λA ＋ h（A）I for all A ∈A.

Representations of Code Vertex Operator Superalgebras

We study the representations of code vertex operator superalgebras resulting from a binary linear code which contains codewords of odd weight. We also show that there exists only one set of seven mutually orthogonal conformal vectors with central charge 1/2 in the Hamming code vertex operator superalgebra MH7. Phrthermore, we classify all the irreducible weak MH7-modules.

Permutation orbifolds and associative algebras

Let V be a vertex operator algebra and g =(1 2 ··· k) be a k-cycle which is viewed as an automorphism of the vertex operator algebra V?k. It is proved that Dong-Li-Mason’s associated associative algebra Ag(V?k) is isomorphic to Zhu’s algebra A(V) explicitly. This result recovers a previous result that there is a one-to-one correspondence between irreducible g-twisted V?k-modules and irreducible V-modules.

Representations and Fusion Rules for the Orbifold Vertex Operator Algebras L_(sl_(2))(k,0)^(Z_(3))

For the cyclic group Z_(3)and a positive integer k,we study the representations of the orbifold vertex operator algebra L_(sl_(2))(k,0)^(Z_(3)).All the irreducible modules for L_(sl_(2))(k,0)^(Z_(3))are classified and constructed explicitly.Quantum dimensions and fusion rules for L_(sl_(2))(k,0)^(Z_(3))are completely determined.

Automorphisms of the Algebra of q-Difference Operators

In this paper, automorphisms of the algebra of q-difference operators, as an associative algebra for arbitrary q and as a Lie algebra for q being not a root of unity, are determined.

Linear Maps Preserving Invertibility or Related Spectral Properties

We survey some recent results on linear maps on operator algebras that preserve invertibility. We also consider related problems such as the problem of the characterization of linear maps preserving spectrum, various parts of spectrum, spectral radius, quasinilpotents, etc. We present some results on elementary operators and additive operators preserving invertibility or related properties. In particular, we give a negative answer to a problem posed by Gao and Hou on characterizing spectrum-preserving elementary operators. Several open problems are also mentioned.

Additive Maps Preserving Similarity of Operators on Banach Spaces

Let X be an infinite-dimensional complex Banach space and denote by B（X） the algebra of all bounded linear operators acting on X. It is shown that a surjective additive map Φ from B（X） onto itself preserves similarity in both directions if and only if there exist a scalar c, a bounded invertible linear or conjugate linear operator A and a similarity invariant additive functional ψ on B（X） such that either Φ（T） = cATA^-1 ＋ ψ（T）I for all T, or Φ（T） = cAT＊A^-1 ＋ ψ（T）I for all T. In the case where X has infinite multiplicity, in particular, when X is an infinite-dimensional Hilbert space, the above similarity invariant additive functional ψ is always zero.