《数术记遗》中的算器研究（一）

《数术记遗》旧题汉徐岳撰，北周甄鸾注。唐代选举之制，学习《算经十书》外，兼习此书。《四库全书》提要认为当时好事因托为之，嫁名於岳。钱宝琮先生认为是甄鸾依托伪造的书。近有人提出反对，认为确为汉末作。关于作年代，另外详考。此处只对书中所载的十三种算器进行研究。     

五元体系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-,     

二阶三点半正边值问题正解的存在性

利用锥的Krasnosel'skill不动点定理建立了二阶三点半正边值问题u″+λf(t,u)+δg(t,u)=0, t∈(0,1),u(0)=0, αu(η)=u(1).其中,λ,δ＞0, 0＜η＜1, 0＜αη＜1正解的存在性,这里,非线性项不需要是非负的.     

一类广义非线性混合拟变分包含组

本文引入了一类新的带松弛单调映射和松弛Lipschitz映射的广义非线性混合拟变分包含组 ,构造了求解该类变分包含组的迭代算法 ,证明了该类变分包含组解的存在性以及由本文构造的迭代算法产生的迭代序列的强收敛性 .所得结果推广和改进了大量文献中的最新结果[1 5 ] .     

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

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

元胞自动机和复杂性研究

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

有限点组重心的一个推论及其应用

《数学通报》81年第一期上,吕学礼先生在《有限点组的重心(以下简称《重心》) 一文中,较详细地介绍了有关重心的一些性质及其应用,读后受益非浅.近十年来,笔者不断发现,由《重心》中有关结论,可得一个十分有趣的推论.它对一些复杂的三角问题,使其问题简单化.     

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

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