时空平面的Clifford代数与Abel复数系统

证明时空平面Clifford代数Cl1,1的3个二维子代数构成Abel复数系统的3种复数(椭圆复数、双曲复数与抛物复数),给出了Euclid平面、Minkowski平面及Galileo平面可在同一框架下进行研究的可行性以及Euclid变换、Lorentz变换及Galileo变换的统一表达式.

Clifford 分析中一类非线性边值问题

该文讨论取值在２（ｎ＋１）维Ｃｌｉｆｆｏｒｄ代数Ｃ（Ｒｎ）上的函数，引进一种带位移同时带共轭值的非线性边值问题．利用积分方程理论和Ｓｃｈａｕｄｅｒ不动点原理证明该问题解的存在性．

四维双曲复空间与Lorentz群

利用Clifford代数的双曲虚单位,引入二维双曲复空间(双曲复平面)、四维双曲复空间及类时单位群等概念,用于讨论二维Minkowski空间(Minkowski平面)、Minkowski时空与Lorentz群.

交换整环上的上三角矩阵保对合的线性算子

本文刻划了交换整环Ｒ上的上三角矩阵的Ｒ—代数（Ｒ）的保对合的可逆线性算子，由此又确定了（Ｒ）的保立方幂等的可逆线性算子．

共形几何代数——几何代数的新理论和计算框架

共形几何代数是一个新的几何表示和计算工具.作为几何的高级不变量和协变量系统的结合,它为经典几何提供了统一和简洁的齐性代数框架,以及高效的展开、消元和化简算法,从而可以进行极其复杂的符号几何计算,在几何建模与计算方面表现出很大的优势.主要讲述共形几何代数的产生背景和意义,共形几何代数的数学理论和它最有特色的几个部分,包括Grassmann结构、统一几何表示和旋量作用、基本不变量系统和高级不变量系统、新的计算思想、展开和化简技术等.

IX_r(a)的有限型IX_r~°(a)的未定Weyl群

本文首先给出Kac-Moody代数IXr(a)的有限型I(?)r(a)的未定Weyl群的定义,然后对a≥5证明了不定型李代数,IXr(a)的Weyl群W同构于有限型I(?)r(a)的未定Weyl群.

亚里士多德对时间和空间的认识

亚里士多德建立了人类历史上第一个比较完整的时空理论体系,莫定了后人关于时空认识的理论基础．论文对亚里士多德的时空理论进行了较为全面系统的分析考察,归纳出其关于时空认识的一些基本观点,并对之作了简单评价．

共形几何代数与运动和形状的刻画

共形几何代数在基于运动和形状刻画的视觉和图形学若干问题中的应用,反映了它能够提供统一和有效的表示和算法,这些应用主要集中在采纳几何体的Grassmann分级表示以及刚体运动的旋量和扭量表示.着重介绍了Grassmann分级表示如何被应用于单眼视觉问题并带来解决方法的简化;通过对刚体运动不同表示的分析,介绍旋量和扭量表示如何克服刚体运动蹬矩阵表示中参数空间具有过多非线性约束的缺点,从而为姿态估计、形状逼近和曲线拼接等问题的解决提供简化方案.

共形几何代数与几何不变量的代数运算

几何不变量的使用是计算机视觉和图形学的一个重要手段.发现一个不变量后,如何找到它与其他不变量的关系,是实际应用中的一个重要问题,这种关系的探讨主要依靠在不变量层次上的代数运算.文中介绍了共形几何代数中的基本、高级和有理不变量如何在几何问题中自然出现,它们之间如何进行代数运算,以及如何通过不变量的化简,自然地得到几何条件的充分必要化和几何定理的完全化.几何定理的机器证明作为几何定理完全化的副产品,被发展成几何定理的关系定量化,这种量化的几何还原就是几何定理的自然推广.几何不变量之间的几何关系的计算是这些技术的一个具体应用.

Clifford代数,几何计算和几何推理

Clifford代数是一种深深根植于几何学之中的代数系统,被它的创始人称为几何代数。历史上,E.Cartan,R.Brauer,H.Weyl,C.Chevalley等数学大师都曾研究和应用过Clifford代数,对它的发展起了重要作用,近年来,Clifford代数在微分几何、理论物理、经典分析等方面取得了辉煌的成就,是现代理论数学和物理的一个核心工具,并在现代科技的各个领域,如机器人学、信号处理、计算机视觉、计算生物学、量子计算等方面有广泛的应用。 本文主要介绍Clifford代数在几何计算和几何推理中的应用,作为一种优秀的描述和计算几何问题的代数语言,Clifford代数对于几何体,几何关系和几何变换有不依赖于坐标的、易于计算的多种表示,因而应用它进行几何自动推理,不仅使困难定理的证明往往变得极为简单,而且能够解决一些著名的公开问题,目前在国际上,几何自动推理已经成为Clifford代数的一个重要应用领域。

线性空间中线性无关向量组扩充为基的研究

给出了n维线性空间V中部分线性无关向量组扩充为V的一组基的一般方法,并结合具体例子说明该扩充方法在解决这类问题时具有简便有效的特点。

张量分析中简化记法在公式推导中的应用及张量分量的计算

张量分析在计算力学中应用广泛,但其理论比较复杂,较难掌握和熟练运用。为此,给出了张量简化记法,这种记法与Fortran程序中或商业软件Matlab中的数组形似。将简化后张量的表达式应用于公式推导,可快速准确地得出结论。同时,通过引入矩阵的矢量化概念,将四阶张量的分量用一个方阵表示出来,这有利于符号运算和数值计算。以上两者结合可使得张量分析变得易于掌握,也有利于张量运算的推广。

量子纠错码[[7,1,4]]_p(p>3)存在性的图论构造方法

利用由Schingemann和Werner两人提出的构造量子纠错码的图论方法,证明了量子纠错码[[7,1,4]]p(p>3)的存在性。

用于土壤缓效钾测定的油浴辅助装置设计

设计一款用于土壤缓效钾测定的油浴辅助装置.此款辅助装置可以解决实验油浴加热过程中盛有土壤测试溶液的试管易倾倒、土壤测试溶液假沸腾、试管与高温油浴槽底部接触易产生爆裂、油液浪费、环境污染等问题.设备结构简单,使用简便,可满足学校实验室教学需要.

每一个子空间都是子代数的代数

每一个子空间都是子代数的代数叫HB-代数。本文讨论了A是HB-代数当且仅当A是下列形式的代数:(一)零乘代数;(二)一维幂等代数Fe;(三)A=Fe+D是向量空间的直和,乘法表有两种,1) e^2=e,D^2=0,eD=0,(?)d∈D,de=d;2) e^2=e,D^2=0,De=0,(?)d∈D,ed=d;(四)B=sum from i(?)I+Fe_i,是向量空间的直和,乘法表有两种,1) (?)k,l∈I,e_k·e_l=e_k·2) (?)k,l∈I,e_ke_l=e_l;(五) A=B+D是向量空间的直和,A的乘法表有两种,D^2=0,1) B的乘法表为e_ke_l=e_k时,A的乘法表为e_iD=0,de_i=d,(?)i∈I,(?)d∈D;2) 当B的乘法表为e_ke_l=e_l时,A的乘法表是De_i=0,e_id=d,(?)i∈I,(?)d∈D。

Clifford代数与n维Minkowski空间的性质

以Clifford代数为工具,讨论n维Minkowski空间的性质,得到n维Minkowski空间的反向Schwarz不等式、双曲Euler公式及Lorentz变换.

有限典型空间中子空间包含的条件

设IFnq 是有限域IFq 上的n维向量空间 ,Gn 是IFq 上的n级典型群 ,IFnq 和Gn 在它上的作用一起称为典型空间 .本文给出了有限典型空间中子空间包含的条件及正交空间中的矩阵表示 .

Clifford代数与几何定理机器证明

Clifford代数是一种深深根植于几何学之中的代数系统。近年来 ,它在微分几何、理论物理、经典分析等方面取得了辉煌的成就 ,是现代理论数学和物理的一个核心工具 ,并在现代科技的各个领域 ,如机器人学、计算机视觉等方面有广泛的应用。本文主要介绍Clifford代数在数学机械化的核心内容—几何定理机器证明中的应用。作为一种非常优秀的描述和计算几何问题的代数语言 ,Clifford代数对于几何体 ,几何关系和几何变换有不依赖于坐标的、易于计算的多种表示 ,因而应用它进行几何自动推理 ,不仅使困难定理的证明往往变得极为简单 ,而且能够解决著名的数学公开问题。目前在国际上 ,几何自动推理已经成为Clif ford代数的一个重要应用领域。

Clifford代数与双曲Euler公式

利用 Clifford代数 ,引入一类双曲 Euler公式 ,为研究狭义相对论中的有关问题提供了方便 .主要结果有 :1.(Cl+ 1 ,0 )是 Abel群 ;2 .L u:Cl+ 1 → Cl1 ,w→ u w为 L

向量组极小相关组的定义、性质及应用

基于编码理论的实际需要,提出了一个与极大无关组相对称的概念——极小相关组。与极大无关组相比,极小相关组的求解要困难得多。重点探讨了极小相关组的定义及其一些简单性质,旨在抛砖引玉,希望能找到向量组极小相关组的有效求解方法。最后将极小相关组概念应用于线性分组码的纠错能力的计算。