共查询到20条相似文献,搜索用时 265 毫秒
1.
《延安大学学报(自然科学版)》2020,(2)
在弱幻方定义的基础上,采用类比法研究了相关代数系统,从而结合抽象代数的相关定义提出弱幻方关于二元运算■和■的代数系统:弱和幻方关于■构成代数系统、半群、交换半群、群、交换群;弱积幻方关于■构成代数系统、半群、有幺元的交换半群;弱和弱积幻方关于■和■构成代数系统、环。 相似文献
2.
陈光 《汕头大学学报(自然科学版)》1991,6(1):1-10
本文建立了八元向量代数,它既是一种方阵代数,又作为一个更加完备的运算系统而包含了复数、矢量和四元数.应用八元向量代数,可以十分方便地导出 Maxwell 方程组的对称变换,并将其拓展成为一个更加完整而对称的电磁场结构定律,从而构成进一步发展经典电动力学的理论基础. 相似文献
3.
针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM-A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM-A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性. 相似文献
4.
利用李代数方法构造反应散射系统H+H_2(α)→H+H_2(β)的动力学代数A。按照这种代数可以导出系统的反应跃迁矩阵元T_(αβ)及反应截面σ_(αβ)的表达式。探讨了在跃迁过程中的选择定则。 相似文献
5.
6.
研究了扩张无限维李代数Schr?dinger-Virasoro子代数的生成元.证明了李子代数h2与商李代数h5/h2都无有限生成元,李代数Schr?dinger-Virasoro有有限生成元且生成元可为5.最后证明了李子代数h5为幂零子代数. 相似文献
7.
8.
利用Малъцева代数,讨论了10维三重罗木凡尼克的无穷小元自同构代数,分别算出了三重罗木凡尼克的无穷小元自同构代数非零子代数的维数. 相似文献
9.
把保积n元-Hom-李代数的对偶表示推广到保积n元-Hom-李超代数上,定义保积n元-Hom-李超代数对偶表示,并给出保积n元-Hom-李超代数的表示是对偶表示的充分必要条件. 相似文献
10.
11.
许清海 《西南民族学院学报(自然科学版)》2003,29(1):27-28
R-模的游离元在模的扩张、分拆,函子的建立,态射的广义逆,…等问题上都是应引起注意的特殊元.探讨了关于R-模的游离元的存在性及其简单应用,获得三个定理. 相似文献
12.
在具有最大元和最小元的有补分配格中建立了Pawlak算子的公理系,研究了Pawlak算子代数性质之间的逻辑关系,给出了一种格上的广义Pawlak算子. 相似文献
13.
储德林 《清华大学学报(自然科学版)》1992,(6)
本文用分片线性元离散椭圆型问题.用预处理共轭梯度法求解有限元方程。逐层分离节点,构造了一类代数多级网格预处理器。预处理后的矩阵的条件数为0(m+1)2),其中(m+1)为多级网格的级数。 相似文献
14.
15.
梁晓荣 《太原理工大学学报》2010,41(3)
基于连通集的定义,引入了c-理想的概念,得出了连通代数domain中每一个元都是相容紧元,当且仅当它的每个c-理想都是主c-理想,给出了连通代数domain满足升链条件.研究了连通完备偏序集A中的每个元是相容紧元的充要条件是A与A的c-理想格同构.最后,证明了连通代数domain范畴与偏序集范畴等价. 相似文献
16.
讨论了二阶椭圆边值问题有限元区域分裂算法,通过构造新型的基函数,建立了一种求解有限元离散方程的具有并行计算结构的直接解法。 相似文献
17.
一种新的参数化设计方法 总被引:8,自引:0,他引:8
本文引入可用约束、特定元素,双向约束等概念,通过建立网状数据结构表达几何元素,几何约束求解方法-基于推理的代数法。该方法把代数法和几何推理有机地结合在一起,其推理过程采用普通算法而洋是人工智能的方法,方程组的求解转化为几何元素的相切和相交等运算。 相似文献
18.
陈大钊 《邵阳学院学报(自然科学版)》2004,1(3):24-27
考虑下面代数式a0 a1b1 a2b2 … anbn(*)的有理化因式问题.本文区别于传统作法-利用观察、猜测的方法来求有理化因式,运用近世代数的有关理论,将形如(*)式纳入代数系统讨论,首先,将(*)式作为有理数域的代数扩域的元素加以考虑,通过扩域的相关性质的分析得到它的有理化因式的一般结构;进而,运用待定系数法把求解(*)式的有理化因式问题转化为一个关于结构系数的齐次线性方程组的求解问题;最后指出,这种方法可用计算机实现, 相似文献
19.
关于椭圆型问题的多子域重叠型区域分解算法 总被引:1,自引:0,他引:1
用比较一般的有限元(包括众多非协调元)解二阶自共轭椭圆型问题的重叠型区域分解算法,本文证明只要离散格式满足一定的条件,该算法具有几何收敛性,同时详细讨论了子域划分、收敛因子、内含预处理器、网格参数之间的关系。 相似文献
20.
代数多重网格与多波前技术综合并行有限元分析方法 总被引:1,自引:0,他引:1
提出一种新的有限元并行计算格式,将代数多重网格、块迭代与多波前技术综合用于有限元分析,具有不限制节点编号顺序、编程简单、存储量小和计算时间少的优点。并行程序是在国家高性能计算中心(北京)的曙光1000A上借助PVM(Parallel Virtual Machine)软件系统实现的,PVM系统用于处理各计算节点间的通信。考题显示出较高的并行加速比和效率。 相似文献