GF(2)上本原多项式的三项倍式的次数研究

研究了二元域上本原多项式的三项倍式的计数问题,通过对三项倍式进行分类,导出了本原多项式三项倍式最低次数的一个上界.利用这一结果,使构造本原多项式的次数最低的三项倍式的计算复杂性降到原来的九分之一.     

半群K(n,r)中的幂等生成元

设Singn是由一个n元集上的所有奇异变换所构成的奇异变换半群，I是由Singn中一些亏数为1的幂等元组成的集合，Howie利用有向图证明了：I是Singn的一个生成集当且仅当与其相应的有向图D（I）是强连通的完全图，本文利用多重有向图将这一结果推广到Singn的每个理想K（,r)上。     

环上矩阵的分解

将复数域及四元数体上矩阵的积因子分解推广到上矩阵，并指出[1]中的定理2的证明是错误的，由此可知[1]中定理2的结论不成立。     

五元体系Li~ /Cl~-,CO_3~(2-),SO_4~(2-),B_4O_7~(2-)-H_2O298K相关系实验研究

青藏高原盐湖富含锂、钠、钾的氯化物、硫酸盐、碳酸盐和硼酸盐,尤以其高锂、硼而闻名于世[1]。这些盐湖卤水大多属于Li ,Na ,K ,Mg2 /Cl-,SO42-,CO32-,Borate-H2O体系。在卤水蒸发浓缩后期,由于绝大部分钠盐、钾盐均已结晶析出,所以卤水的化学组成实际变成Li ,Mg2 /Cl-,SO42-,     

基于项重写技术的机器发现逻辑

机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.     

元胞自动机和复杂性研究

元胞自动机是建立复杂系统的离散模型，深入了解其动力学相互作用与时空演化过程的实验数学方法，它开创了基础科学研究与复杂性探索的新途径，是一类获得迅速发展的新的并行计算机，又是计算机、信息和智能应用高科技的热点之一。     

多元函数总体极小的双参数广义填充函数法

1 广义填充函数的一般方法 设函数F:R~n→R二阶连续可微,我们的目的是求出x~0∈R~n,使不等式对一切x∈R~n成立,也就是求解函数F的总体极小。 为了求F的总体极小,葛人溥引进了双参数填充函数法,这一方法是有意义的,在[1]中填充函数形式为:     

Г-环的单位元与其算子环的单位元之间的关系

г—环的单位元是其算子环中的元素.本文探讨Г—的单位与其算子环的单位元之间的关系.举例表明存在Г—环(Г_N—环)M,它的左、右算子环均有单位元,而M既无左单位元,又无右单位元.那么在什么条件下,Г—环(Г_N—环)的左、右算子环具有单位元时,其本身必定具有左、右单位元呢?对Г—环和Г_N—环分别探讨了此问题,并给出了了解答此问题的充要条件.     

关于不完全双二次非协调板元的误差估计

本文在[1,2]的基础上,对不完全双二次板元作了进一步的讨论,不仅得到了最优的L~2—误差估计,改进了[1]的相应结果,而且利用“辅助元技巧”并结合正则Green函数法,得到了拟最优的L~∞—误差估计.