弱幻方的代数系统

在弱幻方定义的基础上,采用类比法研究了相关代数系统,从而结合抽象代数的相关定义提出弱幻方关于二元运算■和■的代数系统:弱和幻方关于■构成代数系统、半群、交换半群、群、交换群;弱积幻方关于■构成代数系统、半群、有幺元的交换半群;弱和弱积幻方关于■和■构成代数系统、环。     

八元向量代数及其在电动力学中的应用

本文建立了八元向量代数,它既是一种方阵代数,又作为一个更加完备的运算系统而包含了复数、矢量和四元数.应用八元向量代数,可以十分方便地导出 Maxwell 方程组的对称变换,并将其拓展成为一个更加完整而对称的电磁场结构定律,从而构成进一步发展经典电动力学的理论基础.     

一种验证软件演化过程行为的代数推导方法

针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM-A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM-A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性.     

分子反应散射的李代数处理

利用李代数方法构造反应散射系统Ｈ＋Ｈ＿２（α）→Ｈ＋Ｈ＿２（β）的动力学代数Ａ。按照这种代数可以导出系统的反应跃迁矩阵元Ｔ＿（αβ）及反应截面σ＿（αβ）的表达式。探讨了在跃迁过程中的选择定则。     

C~*—代数的表示

<正> 在“C~*—代数及其例”、“C~*—代数的谱理论”,“C~*—代数中的正元”,“C~*—代数的正泛函和态”(见《九江师专学报》)四篇文章中我们系统讨论了 C~*—代数的几个最基本的问题.现在我们讨论其表示理论。C~*—代数 A 假定含有单位元。我们知道 Hilbert空间 H 上有界算子集 B(H)在所定义的运算下成一个     

扩张李代数Schrödinger-Virasoro子代数生成元和一些李子代数幂零性

研究了扩张无限维李代数Schr?dinger-Virasoro子代数的生成元.证明了李子代数h2与商李代数h5/h2都无有限生成元,李代数Schr?dinger-Virasoro有有限生成元且生成元可为5.最后证明了李子代数h5为幂零子代数.     

3-元对称代数的型心结构

本文构造了一种3-元对称代数,并研究了此代数的型心结构。证明了其型心是结合代数。通过详细的计算,给出了型心中每个元的具体表达式。     

10维三重罗木凡尼克(МУФАНГ)的无穷小元自同构代数

利用Малъцева代数,讨论了10维三重罗木凡尼克的无穷小元自同构代数,分别算出了三重罗木凡尼克的无穷小元自同构代数非零子代数的维数.     

保积n元-Hom-李超代数的对偶表示

把保积n元-Hom-李代数的对偶表示推广到保积n元-Hom-李超代数上,定义保积n元-Hom-李超代数对偶表示,并给出保积n元-Hom-李超代数的表示是对偶表示的充分必要条件.     

新四元数及其快速乘法

本文定义了一类新的四元数代数系统,给出了这类四元数的快速乘法,并且做出了此算法的两种不同的推导过程。     

关于R-模的游离元

R-模的游离元在模的扩张、分拆，函子的建立，态射的广义逆，…等问题上都是应引起注意的特殊元．探讨了关于R-模的游离元的存在性及其简单应用，获得三个定理．     

格上的Pawlak算子

在具有最大元和最小元的有补分配格中建立了Pawlak算子的公理系,研究了Pawlak算子代数性质之间的逻辑关系,给出了一种格上的广义Pawlak算子.     

代数多级网格预处理器(I)

本文用分片线性元离散椭圆型问题．用预处理共轭梯度法求解有限元方程。逐层分离节点，构造了一类代数多级网格预处理器。预处理后的矩阵的条件数为０（ｍ＋１）２），其中（ｍ＋１）为多级网格的级数。     

论平面空间的自然代数结构

所要探讨的问题是数与形的统一,提出了用一个代数数系的代数运算,把数与形相互统一起来的新方法,通过这种方法,可以发现,代数数系中的任一元素"数量",与构成几何理论体系的基本元素"矢量",在数学理论的逻辑结构中,实属同一数学元素.     

连通代数domain上相容紧元及范畴的研究

基于连通集的定义,引入了c-理想的概念,得出了连通代数domain中每一个元都是相容紧元,当且仅当它的每个c-理想都是主c-理想,给出了连通代数domain满足升链条件.研究了连通完备偏序集A中的每个元是相容紧元的充要条件是A与A的c-理想格同构.最后,证明了连通代数domain范畴与偏序集范畴等价.     

椭圆问题有限元方程的区域分裂直接解法

讨论了二阶椭圆边值问题有限元区域分裂算法，通过构造新型的基函数，建立了一种求解有限元离散方程的具有并行计算结构的直接解法。     

一种新的参数化设计方法

本文引入可用约束、特定元素，双向约束等概念，通过建立网状数据结构表达几何元素，几何约束求解方法－基于推理的代数法。该方法把代数法和几何推理有机地结合在一起，其推理过程采用普通算法而洋是人工智能的方法，方程组的求解转化为几何元素的相切和相交等运算。     

利用代数结构寻找二次根式的有理化因式

考虑下面代数式a0 a1b1 a2b2 … anbn(*)的有理化因式问题．本文区别于传统作法-利用观察、猜测的方法来求有理化因式，运用近世代数的有关理论，将形如(*)式纳入代数系统讨论，首先，将(*)式作为有理数域的代数扩域的元素加以考虑，通过扩域的相关性质的分析得到它的有理化因式的一般结构；进而，运用待定系数法把求解(*)式的有理化因式问题转化为一个关于结构系数的齐次线性方程组的求解问题；最后指出，这种方法可用计算机实现，     

关于椭圆型问题的多子域重叠型区域分解算法

用比较一般的有限元（包括众多非协调元）解二阶自共轭椭圆型问题的重叠型区域分解算法，本文证明只要离散格式满足一定的条件，该算法具有几何收敛性，同时详细讨论了子域划分、收敛因子、内含预处理器、网格参数之间的关系。     

代数多重网格与多波前技术综合并行有限元分析方法

提出一种新的有限元并行计算格式，将代数多重网格、块迭代与多波前技术综合用于有限元分析，具有不限制节点编号顺序、编程简单、存储量小和计算时间少的优点。并行程序是在国家高性能计算中心（北京）的曙光1000A上借助PVM（Parallel Virtual Machine）软件系统实现的，PVM系统用于处理各计算节点间的通信。考题显示出较高的并行加速比和效率。