关于Lyness方程的周期性证明的一种算法

考虑Ｌｙｎｅｓｓ方程的周期性,利用结式消去法,通过整序,在参数为负和复的情形得到了方程周期性结论,推广了文有关论著的结果。     

用代数方法精确研究Li_2分子部分电子态的高阶振动能级和离解能(英文)

用代数能量方法得到了Li2分子9个电子态的振动光谱常数,完全振动能谱{Ev}和分子离解能De．结果显示：振动能谱{Ev}不仅能重复有限的已知实验数据,而且能给出一些未知的高阶振动能量．用AEM所得到的离解能很好的符合了已知的实验值De．对一些双原子系统,当无法得到实验离解能时,用AEM方法也能得到合理的近似离解能值．     

三角代数的Jordan同构

利用对幂等元的作用确定了非交换环上三角代数的Jordan同构的结构;由此结构判断该Jordan同构或者是同构,或者是反同构.     

实代数数的代数表达式的符号判定

将符号计算方法与数值计算方法结合起来应用于计算机代数领域,构造了一种判定实代数数的代数表达式的符号的算法,并在计算机数学系统上加以实现,算法的基本思想是对每一个实代数数ａ定义了一个二元组（Ｉ,ｆ（ｘ））,其中Ｉ是包含ａ的区间,ｆ（ｘ）是ａ所满足的多项式,并将代数数的运算转化为对应的二元组的运算,同时结合多项式的根的最短距离估计式,从而达到对代数数的代数表达式进行符号判定的目的。     

有扭仿射李代数(g)[σ]-模范畴C的分类

设g为有限维复单李代数,g[σ]为对应的有扭仿射李代数,W、U分别为g[σ]-模范畴R、E中不可约模。本文利用生成函数的方法对g[σ]-模范畴C中可积不可约模进行讨论,证明WU为中可积不可约模且C中仅有形如WU的可积不可约模,并给出了同构定理。     

分布式数据查询优化算法的研究

分布式数据查询是分布式数据库管理系统的核心,而查询优化算法又是查询处理中的关键技术。分布式数据库管理系统的研究始于20世纪70年代中期,在30多年的发展中,取得了丰硕的成果。但由于分布式数据的分散性,使分布式数据查询比集中式数据查询复杂得多。本文对基于关系代数优化的算法进行了探讨和研究,并应用于实例,取得了较好的优化效果。     

工业计算机断层扫描技术在文物保护中的应用

环境问题与人为因素对文物的保护构成了威胁,本文简要讨论了文物保护的相关技术,并对工业计算机断层扫描技术及其在文物中的应用进行了分析,通过一个实例实现了文物的断层扫描与图像重建的应用过程,以达到文物保护与研究的目的.     

关于不定方程x2+16=y13的解

利用代数数论的方法,证明了不定方程x2+16=y13无整数解.     

最小二乘估计中法方程的迭代解法

从求解严重病态线性代数方程组的实际出发，提出了一种求解最小二乘估计中法方程的迭代方法－谱修正迭代法，该迭代公式不仅直观、简单，而且适用于良态，病态和奇异系数阵的各种情况，最后通过实例验证了上述结论。     

Quantale代数余核的若干性质

在K．I．Rosenthal等人工作的基础上,对Quantale的代数余核及其对应的子Quantale的若干性质作了有限的探讨,主要讨论了Quantale代数余核的若干新的性质．同时对代数余核所构成的子Quantales亦作了某些研究．提出了一些新的定义,并总结了Quantale代数余核的相关性质．扩展和深化了已有文献的结论．