半群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方法的算法.     

元胞自动机和复杂性研究

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

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

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

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

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

平面凸集存在最小凸生成集的充要条件

本文在平面上解决了StevenRLay在 [1 ]中提出的开放性问题“什么样的凸集存在唯一的最小凸生成子集” ,给出并证明了“平面上的凸集存在唯一的最小凸生成子集”的一个充要条件 .同时证明了En 中的开集一定不存在最小凸生成集 .     

四元数射影n-空间HPn的最小CW-复形伦型与它的法线数量特征

利用Morse理论给出四元数射影n-空间HP^n的CW-复形伦型的另个证明，并给出它的最小性与法线的一个数量特征。