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

机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了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-复形伦型的另个证明，并给出它的最小性与法线的一个数量特征。     

n维氢原子的散射态

研究了n维氢原子的散射态性质．给出了精确的按“k/2π标度”归一化的散射态的精确解波函数及相移表达式，讨论了相移的解析性质，获得了束缚-连续跃迁矩阵元的解析计算公式．普通氢原子(n=3)散射态的有关结果作为特例包含在本文的一般结论之中． 关键词： n维氢原子 散射态 精确解 相移 束缚-连续跃迁矩阵元     

对称法求积分

积分计算是高等数学的基本运算 ,巧妙地利用对称性解积分题 ,常能化难为易 ,简化计算 ,收到事半功倍的效果 ,本文拟就此方法作一探讨。　　一　利用函数奇偶性利用被积函数的奇偶性和积分区间关于原点的对称性简化计算 ,是积分运算中经常使用的方法。例 1　求积分 I =∫1- 12 x2 +xcosx1 +1 -x2 dx解　本题中虽然积分区间关于原点对称 ,但被积函数不具奇偶性 ,但通过拆项 ,可利用奇偶性来简化积分运算。原积分 I =∫1- 12 x21 +1 -x2 dx +∫1- 1xcosx1 +1 -x2 dx △ I1+I2 .因为 xcosx1 +1 -x2 是奇函数 ,而 2 x21 +1 -x2 是偶函数 ,所以 …     

直接求线性规划可行基的一种方法

本文给出直接求线性规划问题基可行解的一种简易方法,该方法既避免了引入人工变量,减少存储,一般又能较快地得到一个较好的基可行解.