期刊文献+
共找到152篇文章
< 1 2 8 >
每页显示 20 50 100
Computation Method for the Real-Time Control Problems in Differential-Algebraic Systems
1
作者 Fei, Jinggao 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 1999年第2期20-28,共9页
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 con... 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. 展开更多
关键词 algebra Computational complexity Computer control systems Error analysis Mathematical models Process engineering Production engineering real time systems Sampling System stability
下载PDF
A KIND OF BOUNDARY VALUE PROBLEMS FOR THE REGULAR FUNCTIONS WITH VALUES IN A REAL CLIFFORD ALGEBRA
2
作者 李生训 黄沙 《四川师范大学学报(自然科学版)》 CAS CSCD 1991年第1期31-32,共2页
Let A. (R) be a real Clifford algebra and Gan open connected set in R<sup>n</sup> . By [1], the function with val-ues in A<sub>n</sub> (R) may be written aswhere B ={r<sub>1</sub&g... Let A. (R) be a real Clifford algebra and Gan open connected set in R<sup>n</sup> . By [1], the function with val-ues in A<sub>n</sub> (R) may be written aswhere B ={r<sub>1</sub>,r<sub>2</sub>,…,r<sub>h</sub>} {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: x<sub>3</sub>= a<sub>3</sub>, …,x<sub>n</sub> = a<sub>n</sub>(n3) , we obtain a section domain G<sub>a</sub> in the x<sub>1</sub>x<sub>2</sub> plane. Let L<sub>a</sub> be the boundary of G<sub>a</sub>, and its center is writ-ten as 0<sub> </sub> = (0,0,α<sub>3</sub>,...,α<sub>n</sub>) . 展开更多
关键词 algebra connected Cutting real cates formulated UNIQUENESS gular satisfying
下载PDF
Quasidiagonal Extension of AT-algebras
3
作者 王春鹏 刘欣 《Northeastern Mathematical Journal》 CSCD 2005年第3期365-370,共6页
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 an... 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. 展开更多
关键词 AT-algebra real rank zero stable rank one quasidiagonal extension
下载PDF
线性代数中关于实对称矩阵正交对角化的证明注记
4
作者 崔丽鸿 靳红 姜广峰 《大学数学》 2024年第3期82-84,共3页
运用线性代数的基本知识,给出一种新颖的实对称矩阵的正交相似对角化的证明方法,丰富了线性代数教材中对于相关章节的处理方式.
关键词 实对称矩阵 几何重数 代数重数 正交相似于对角阵
下载PDF
A geometric characterisation of real C^(*)-algebras
5
作者 Cho-Ho Chu 《Science China Mathematics》 SCIE CSCD 2023年第10期2277-2292,共16页
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... 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Ω. 展开更多
关键词 real C^(*)-algebra Banach manifold Finsler symmetric cone Jordan algebra
原文传递
实Banach^*代数的Jordan^*同态
6
作者 吴会咏 李慧林 韩世迁 《沈阳化工学院学报》 2007年第2期146-147,152,共3页
讨论实Banach*代数的Jordan同态.在预备中,给出引理的证明,通过引入理想、同态、半单射的定义,借用引理的证明方法和分类讨论的方法,对文中的定理予以证明并得出相应的结论.结果表明映射到*-半单实Banach*代数上的Jordan*同态是连续的,... 讨论实Banach*代数的Jordan同态.在预备中,给出引理的证明,通过引入理想、同态、半单射的定义,借用引理的证明方法和分类讨论的方法,对文中的定理予以证明并得出相应的结论.结果表明映射到*-半单实Banach*代数上的Jordan*同态是连续的,且其核空间是闭*理想;由映射到交换实Banach*代数上的Jordan*同态诱导的因子代数也是交换的. 展开更多
关键词 实Banach^*代数 实Jordan^*同态 闭*理想
下载PDF
四元数线性代数方程组求解迭代算法研究
7
作者 张亚 《佛山科学技术学院学报(自然科学版)》 CAS 2023年第2期30-34,共5页
矩阵方程是高等数学中的常见工具,在物理、计算机等领域广泛运用。为进一步研究四元数线性代数方程组的迭代求解计算法,基于四元数线性代数方程性质分析,以矩阵一般式方程为例,对其进行等价实表示计算分析,通过构造R4J迭代和R4G-S迭代法... 矩阵方程是高等数学中的常见工具,在物理、计算机等领域广泛运用。为进一步研究四元数线性代数方程组的迭代求解计算法,基于四元数线性代数方程性质分析,以矩阵一般式方程为例,对其进行等价实表示计算分析,通过构造R4J迭代和R4G-S迭代法,对矩阵一般式方程四元数线性代数方程组进行求解计算。 展开更多
关键词 四元数线性代数方程 等价实 迭代算法
下载PDF
Real Banach * Algebras 被引量:3
8
作者 Bingren Li Institute of Mathematics,Academy of Mathematics and Systems Sciences,Chinese Academy of Sciences,Beijing 100080,P.R.ChinaDepartment of Mathematics,Chinese University of Hong Kong,Hong Kong,P.R.ChinaPingkwan Tam Department of Mathematics,Chinese University of Hong Kong,Shatin,N.T.,Hong Kong,P.R.China 《Acta Mathematica Sinica,English Series》 SCIE CSCD 2000年第3期469-486,共18页
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 wit... 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. 展开更多
关键词 real Banach algebra Representation RADICAL Enveloping real C-algebra Symmetric real Banach algebra
原文传递
n维空间中Minkowski差的性质
9
作者 吴焕春 贾翔宇 +1 位作者 董保珠 孙翠先 《唐山师范学院学报》 2023年第3期3-4,共2页
研究了n维实空间中集族的Minkowski差的性质,给出了一些重要的计算方法,探讨了Minkowski差的应用。
关键词 实空间 Minkowski差 代数差
下载PDF
STRUCTURE OF THE CARTAN GROUPS OF REAL SEMISIMPLE LIE ALGEBRAS
10
作者 侯自新 康伟 《Chinese Science Bulletin》 SCIE EI CAS 1992年第2期170-171,共2页
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((?... 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 (?). 展开更多
关键词 CARTAN AUTOMORPHISM algebra real 二时 SUPPOSE
原文传递
Irreducible * Representations of Real C~*-Algebras
11
《Acta Mathematica Sinica,English Series》 SCIE CSCD 1995年第4期381-388,共8页
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 kernel... 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. 展开更多
关键词 real C-algebra Pure real state Irreducible * representation Transitivity theorem
原文传递
Kaplansky Density and Kadison Transitivity Theorems for Irreducible Representations of Real C^-Algebras
12
作者 Jeffrey L.BOERSEMA 《Acta Mathematica Sinica,English Series》 SCIE CSCD 2007年第10期1827-1832,共6页
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 irreducibl... 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. 展开更多
关键词 real C*-algebra irreducible representation TRANSITIVITY
原文传递
Abelian Real W-Algebras
13
作者 Li Minli Li Bingren Institute of Mathematics, Academia Sinica, Beijing 100080, China 《Acta Mathematica Sinica,English Series》 SCIE CSCD 1998年第1期85-90,共6页
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 ... 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. 展开更多
关键词 real W-algebras Spectral spaces Stonean spaces Minimal projections
原文传递
Classification of Homomorphisms from C(X)to Simple C~*-Algebras of Real Rank Zero
14
作者 Guihua Gong Department of Mathematics,University of Puerto Rico,Rio Piedra San Juan PR 00931 USAHuaxin Lin Department of Mathematics,University of Oregon,Eugene,Oregon 97403-1222 USA Department of Mathematics,East China Normal University,Shanghai 200062,P.R.China 《Acta Mathematica Sinica,English Series》 SCIE CSCD 2000年第2期5+182-206,共26页
Let A be a unital simple C-algebra of real rank zero,stable rank one,with weakly unperforated K<sub>0</sub>(A)and unique normalized quasi-trace τ,and let X be a compact metric space.We show that two mon... Let A be a unital simple C-algebra of real rank zero,stable rank one,with weakly unperforated K<sub>0</sub>(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. 展开更多
关键词 Simple C~*-algebras real rank zero K-THEORY Tracial states Almost multiplicative maps
原文传递
实时网络系统可靠性建模研究 被引量:9
15
作者 姜震 邵定蓉 +1 位作者 熊华钢 汪健甄 《航空学报》 EI CAS CSCD 北大核心 2004年第3期275-278,共4页
针对实时网络系统对任务完成时间有严格约束的特点,首先建立了实时网络系统中的任务模型,然后通过在网络系统可靠性模型中引入时间权函数建立了基于任务的实时网络系统可靠性模型,建立了系统的可靠度矩阵,最后针对JAST计划中的航空电子... 针对实时网络系统对任务完成时间有严格约束的特点,首先建立了实时网络系统中的任务模型,然后通过在网络系统可靠性模型中引入时间权函数建立了基于任务的实时网络系统可靠性模型,建立了系统的可靠度矩阵,最后针对JAST计划中的航空电子蝶型网络给出了建模实例。 展开更多
关键词 实时系统 网络 可靠性模型 任务
下载PDF
柔性多体系统混合递推动力学建模及实时仿真研究 被引量:10
16
作者 田富洋 吴洪涛 +3 位作者 赵大旭 邵兵 王超群 朱剑英 《中国机械工程》 EI CAS CSCD 北大核心 2010年第1期6-12,共7页
进一步发展了空间算子代数理论体系,采用空间算子描述了广义柔性多体系统动力学高效率建模以及实时仿真问题。根据不同类型的铰链特征(主动关节、被动关节)描述了广义柔性多体系统特征,按照两次从系统顶端到基座和一次从基座到顶端的顺... 进一步发展了空间算子代数理论体系,采用空间算子描述了广义柔性多体系统动力学高效率建模以及实时仿真问题。根据不同类型的铰链特征(主动关节、被动关节)描述了广义柔性多体系统特征,按照两次从系统顶端到基座和一次从基座到顶端的顺序分别计算系统的广义铰接体惯量算子、系统的冗余力算子以及广义加速度和广义主动力矩,进而建立广义柔性系统O(N)阶动力学模型。采用线性多步积分算法理论解决了大型微分代数方程的数值积分算法,实现了实时动力学仿真的目的。最后通过实例结果对比验证了研究内容的正确性和高效性。 展开更多
关键词 空间算子 柔性多体系统 混合递推 微分-代数方程 实时仿真
下载PDF
旋转备用的经济分配及其内点法实现 被引量:4
17
作者 潘敬东 谢开 华科 《电力系统自动化》 EI CSCD 北大核心 2005年第7期17-23,107,共8页
在最优潮流中,发电机组出力通常是独立变量,然而系统的旋转备用约束增加了发电机组出力间的耦合关系。基于非线性内点法针对实时旋转备用最优分配问题提出了一种解耦算法,使得发电机约束矩阵和网络约束矩阵在最优潮流中能够单独进行得... 在最优潮流中,发电机组出力通常是独立变量,然而系统的旋转备用约束增加了发电机组出力间的耦合关系。基于非线性内点法针对实时旋转备用最优分配问题提出了一种解耦算法,使得发电机约束矩阵和网络约束矩阵在最优潮流中能够单独进行得到。进一步推导得到一个降阶的KKT(Karush-Kuhn-Tucker)系统,其规模由网络自身大小决定,仅通过修改扩展海森矩阵元素即可计及旋转备用约束的影响,并使用先进的超级稀疏技术全面分析、研究了该降阶KKT系统的稀疏结构。该算法涉及的旋转备用也包括了切负荷。 展开更多
关键词 旋转备用 可切除负荷 最优潮流 内点法 非线性规划
下载PDF
一类柔性宏刚性微空间机器人广义动力学高效率建模研究 被引量:8
18
作者 田富洋 吴洪涛 +2 位作者 赵大旭 邵兵 王超群 《宇航学报》 EI CAS CSCD 北大核心 2010年第3期687-694,共8页
研究了一类柔性宏刚性微空间机器人广义高效递推动力学建模算法。介绍了利用空间算子代数进行对刚柔混合欠驱动系统的描述方法。根据系统中铰链的驱动情况分别对铰链定义为主动铰和被动铰,通过铰链的类型以及判断是刚性体或者柔性体,分... 研究了一类柔性宏刚性微空间机器人广义高效递推动力学建模算法。介绍了利用空间算子代数进行对刚柔混合欠驱动系统的描述方法。根据系统中铰链的驱动情况分别对铰链定义为主动铰和被动铰,通过铰链的类型以及判断是刚性体或者柔性体,分别按照两次从系统的顶端到基座的顺序、一次从基座到顶端的顺序进行了系统铰接体惯量的递推、系统冗余力的递推、广义加速度和广义主动力的递推。通过上述三种方式的递推过程建立了柔性宏刚性微空间机器人广义递推动力学模型,实现了高效率O(n)次的计算效率。最后通过软件仿真验证了本研究内容的正确性和高效性。 展开更多
关键词 空间算子 柔性宏刚性 微空间机器人 混合递推 高效率
下载PDF
一个实时数据模型 被引量:8
19
作者 刘云生 易岚 余利平 《小型微型计算机系统》 CSCD 北大核心 2000年第5期549-552,共4页
本文提出了一种实时数据库的数据模型 .给出了三种基本实时数据对象和基于实时数据对象的实时数据库的定义 .然后着重讨论了实时数据对象的时间关系代数操作和实时数据库的定时限制 .
关键词 数据模型 实时数据库 定时限制 时间关系代数
下载PDF
协议形式化开发环境的规范语言 被引量:5
20
作者 罗铁庚 陈火旺 +1 位作者 齐治昌 龚正虎 《软件学报》 EI CSCD 北大核心 1997年第11期817-823,共7页
LOTOS(languageoftemporalorderingspecification)是一种基于进程代数CCS的协议规范语言,面向协议验证,但它不能描述协议的某些性质.本文提出了一种LOTOS的扩充语言ELOTOS(extendedLOTOS),它在LOTOS的基础上引入了异步通讯机制... LOTOS(languageoftemporalorderingspecification)是一种基于进程代数CCS的协议规范语言,面向协议验证,但它不能描述协议的某些性质.本文提出了一种LOTOS的扩充语言ELOTOS(extendedLOTOS),它在LOTOS的基础上引入了异步通讯机制、时间描述、事件发生的随机性描述. 展开更多
关键词 协议规范语言 协议形式化 LOTOS语言 计算机网络
下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部