Computation Method for the Real-Time Control Problems in Differential-Algebraic Systems

In this paper, a real-time computation method for the control problems in differential-algebraic systems is presented. The errors of the method are estimated, and the relation between the sampling stepsize and the controlled errors is analyzed. The stability analysis is done for a model problem, and the stability region is ploted which gives the range of the sampling stepsizes with which the stability of control process is guaranteed.

A KIND OF BOUNDARY VALUE PROBLEMS FOR THE REGULAR FUNCTIONS WITH VALUES IN A REAL CLIFFORD ALGEBRA

Let A. （R） be a real Clifford algebra and Gan open connected set in Rn . By [1], the function with val-ues in An （R） may be written aswhere B ={r1,r2,…,rh} {1,2,…,n}represent that from the sum for’lst and 2nd indi-sates respectively, and we have the following result.Theorem A Function f （x） with values in A. （R） is regular in G if and only ifLet G be the unit hyperball and L the unit hypersphere. Cutting G by the plane: x3= a3, …,xn = an（n3） , we obtain a section domain Ga in the x1x2 plane. Let La be the boundary of Ga, and its center is writ-ten as 0 = （0,0,α3,...,αn） .

Quasidiagonal Extension of AT-algebras

Let A and B be C^＊-algebras. An extension of B by A is a short exact sequence O→A→E→B→O. （＊） Suppose that A is an AT-algebra with real rank zero and B is any AT-algebra. We prove that E is an AT-algebra if and only if the extension （＊） is quasidiagonal.

实Banach^＊代数的Jordan^＊同态

讨论实Banach*代数的Jordan同态.在预备中,给出引理的证明,通过引入理想、同态、半单射的定义,借用引理的证明方法和分类讨论的方法,对文中的定理予以证明并得出相应的结论.结果表明映射到*-半单实Banach*代数上的Jordan*同态是连续的,且其核空间是闭*理想;由映射到交换实Banach*代数上的Jordan*同态诱导的因子代数也是交换的.

Real Banach * Algebras

In this paper,we study real Banach * algebras systematically.We present the right form of Pták’s inequality[1,4]in the real case,and generalize the results of Vukman in[3]to the general case(algebras with or without an identity).Moreover,this paper is a real analogue of Pták’s work[1] in the complex case.

线性代数中关于实对称矩阵正交对角化的证明注记

运用线性代数的基本知识,给出一种新颖的实对称矩阵的正交相似对角化的证明方法,丰富了线性代数教材中对于相关章节的处理方式.

STRUCTURE OF THE CARTAN GROUPS OF REAL SEMISIMPLE LIE ALGEBRAS

Let ■ be a real semisimple Lie algebra, ■ be a Cartan subalgebra of ■, Aut (■) be the automorphism group of ■ and Ad( ■ ) be the inner automorphism group of (?). Definition 1. The group ((?))={σ|(?); σ∈Aut((?))and σ(η) =η}is called the Cartan group of (?) with respect to (?).

A geometric characterisation of real C^(*)-algebras

We characterise the positive cone of a real C^(*)-algebra geometrically.Given an open coneΩin a real Banach space V,with the closureΩ,we show thatΩis the interior of the positive cone of a unital real C^(*)-algebra if and only if it is a Finsler symmetric cone with an orientable extension,which is equivalent to the condition that V is,in an equivalent norm,the Hermitian part of a unital real C^(*)-algebra with the positive coneΩ.

Irreducible * Representations of Real C~*-Algebras

In this paper,we show that a topologically irreducible * representation of a real C~*- algebra is also algebraically irreducible.Moreover,the properties of pure real states on a real C~*- algebra and their left kernels are discussed.

Kaplansky Density and Kadison Transitivity Theorems for Irreducible Representations of Real C^-Algebras

We prove analogs of the Kaplansky Density Theorem and the Kadison Transitivity Theorem for irreducible representations of a real C＊-algebra on a real Hilbert space. Specifically, if a C＊-algebra is acting irreducibly on a real Hilbert space, then the Hilbert space has either a real, complex, or quaternionic structure with respect to which the density and transitivity theorems hold.

Abelian Real W-Algebras

In this paper, we point out that most results on abelian (complex) W~*-algebras hold in the real case. Of course, there are differences in homeomorphisms of period 2. Moreover, an abelian real Von Neumann algebra not containing any minimal projection on a separable real Hilbert space is * isomorphic to L_r~∞([0,1]) (all real functions in L~∞ ([0, 1])), or L~∞([0, 1])(as a real W~*-algebra), or L_r~∞([0,1]) L_∞([0, 1]) (as a real W~*-algebra), and it is different from the complex case.

Classification of Homomorphisms from C(X)to Simple C~*-Algebras of Real Rank Zero

Let A be a unital simple C-algebra of real rank zero,stable rank one,with weakly unperforated K0（A）and unique normalized quasi-trace τ,and let X be a compact metric space.We show that two monomorphisms Φ,Ψ:C（X）→A are approximately unitarily equivalent if and only if Φ and Ψ induce the same element in KL（C（X）,A）and the two linear functionals τ ο Φ and τ ο Φ are equal.We also show that,with an injectivity condition,an almost multiplicative morphism from C（X） into A with vanishing KK-obstacle is close to a homomorphism.

实时网络系统可靠性建模研究

针对实时网络系统对任务完成时间有严格约束的特点,首先建立了实时网络系统中的任务模型,然后通过在网络系统可靠性模型中引入时间权函数建立了基于任务的实时网络系统可靠性模型,建立了系统的可靠度矩阵,最后针对JAST计划中的航空电子蝶型网络给出了建模实例。

柔性多体系统混合递推动力学建模及实时仿真研究

进一步发展了空间算子代数理论体系,采用空间算子描述了广义柔性多体系统动力学高效率建模以及实时仿真问题。根据不同类型的铰链特征(主动关节、被动关节)描述了广义柔性多体系统特征,按照两次从系统顶端到基座和一次从基座到顶端的顺序分别计算系统的广义铰接体惯量算子、系统的冗余力算子以及广义加速度和广义主动力矩,进而建立广义柔性系统O(N)阶动力学模型。采用线性多步积分算法理论解决了大型微分代数方程的数值积分算法,实现了实时动力学仿真的目的。最后通过实例结果对比验证了研究内容的正确性和高效性。

一类柔性宏刚性微空间机器人广义动力学高效率建模研究

研究了一类柔性宏刚性微空间机器人广义高效递推动力学建模算法。介绍了利用空间算子代数进行对刚柔混合欠驱动系统的描述方法。根据系统中铰链的驱动情况分别对铰链定义为主动铰和被动铰,通过铰链的类型以及判断是刚性体或者柔性体,分别按照两次从系统的顶端到基座的顺序、一次从基座到顶端的顺序进行了系统铰接体惯量的递推、系统冗余力的递推、广义加速度和广义主动力的递推。通过上述三种方式的递推过程建立了柔性宏刚性微空间机器人广义递推动力学模型,实现了高效率O(n)次的计算效率。最后通过软件仿真验证了本研究内容的正确性和高效性。

旋转备用的经济分配及其内点法实现

在最优潮流中,发电机组出力通常是独立变量,然而系统的旋转备用约束增加了发电机组出力间的耦合关系。基于非线性内点法针对实时旋转备用最优分配问题提出了一种解耦算法,使得发电机约束矩阵和网络约束矩阵在最优潮流中能够单独进行得到。进一步推导得到一个降阶的KKT(Karush-Kuhn-Tucker)系统,其规模由网络自身大小决定,仅通过修改扩展海森矩阵元素即可计及旋转备用约束的影响,并使用先进的超级稀疏技术全面分析、研究了该降阶KKT系统的稀疏结构。该算法涉及的旋转备用也包括了切负荷。

一个实时数据模型

本文提出了一种实时数据库的数据模型 .给出了三种基本实时数据对象和基于实时数据对象的实时数据库的定义 .然后着重讨论了实时数据对象的时间关系代数操作和实时数据库的定时限制 .

协议形式化开发环境的规范语言

LOTOS（languageoftemporalorderingspecification）是一种基于进程代数CCS的协议规范语言，面向协议验证，但它不能描述协议的某些性质．本文提出了一种LOTOS的扩充语言ELOTOS（extendedLOTOS），它在LOTOS的基础上引入了异步通讯机制、时间描述、事件发生的随机性描述．

一种基于图像纹理的模板匹配算法

为了提高实际工程应用中图像匹配算法计算的实时性,增强图像匹配算法对复杂场景跟踪的鲁棒性,提出了一种新的基于图像纹理的模板匹配算法(TTM)。依据邻域内像素灰度变化的趋势分别提取水平、垂直方向二值化的图像纹理矩阵,然后根据定义的一个相似性判别准则,分别度量水平、垂直两个方向二值化图像矩阵之间的相关置信度。最后,通过合成两个方向上的图像匹配置信度结果得到目标配准置信度。实验结果表明,该算法对图像光照变化、目标部分被遮挡等情况具有较好的适应性。

实平面奇异代数曲线的全局B样条逼近

提出了一种用k次B样条曲线全局逼近实平面k次代数曲线的算法,每个连通部分用一条B样条曲线逼近.它适合于任意亏格的不可约的实平面代数曲线(包括含奇异点的曲线).这种逼近建立在所提出的代数曲线胀开采样的基础上,这种胀开采样算法从本质上解决了奇异点周围采样难的问题.实验结果表明,该方法的逼近精度高于已有算法.