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

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

H-空间与拟向量变分不等式

本在Hausdorff locally convex H-空间上建立了一个新的不动点定理；利用局部交性质，在Hausdorff locally convex H-空间上建立了相应的拟向量变分不等式．     

完备流形上带位势的热核估计

在完备非紧流形上获得了关于带位势热方程正解的梯度估计；接着，利用测地线的技巧获得了Harnack不等式；进一步，建立了两个积分不等式，综合Harnack不等式获得了热核的上下界；最后，利用函数的结果来控制p形式的热核。     

变式乘除一口清的最佳易倍数应为2—6

在珠算乘除运算中，应用“一口清”变为加减运算。从算理算法上讲，必能减少拨珠次数，提高运算速度。但在实践上讲，学习和掌握它却是相当困难的。如被珠算研究者和珠算选手们视为魔数的“7”，它的进律多迭六位数码，这样在实际计算中就要看七位(有时还不止是七位)数码才能得出一位乘积。这就不但给人们学习和掌握这一方法造成了记忆的困难，     

位置参数模型变点问题的非参数检验

本文引入Fisher-Yates提出的计分函数和Van der Waerden提出的计分函数,对只有一个变点的位置参数模型的假设检验问题分别给出了四个检验统计量.利用Monte-Carlo随机模拟的方法,求出了检验的渐近临界值,并且对本文提出的检验,以及Pettitt在文[1] 中提出的检验,Schechtman和Wolfe在文[2]中提出的检验的势进行了比较。     

二阶椭圆型微分方程解的振动定理

考虑二阶非线性椭圆型微分方程∑^n_{i,j}∂/∂x_i{A_{i,j}(x,y)∂/∂x_j}+q(x)f(y)=0 (E)，其中q(x)在外区域 Ω∈R\+n上变号. 利用偏Riccati变换和积分平均技巧, 建立了方程(E)所有解振动的充分准则.     

广义拟变分不等式解集的稳定性及本质连通区的存在性

在赋范线性空间下．讨论广义拟变分不等式解集的稳定性，证明了满足一定连续性和凸性条件的广义拟变分不等式问题构成的空间M中，大多数(在Baire分类意义下)广义拟变分不等式问题的解集是稳定的，并证明了M中每一个广义拟变分不等式的解集至少存在一个本质连通区。     

UNIFORM CONVERGENCE OF CESARO MEANS OF NEGATIVE ORDER OF DOUBLE TRIGONOMETRIC FOURIER SERIES

In this paper we prove that iff ∈ C([-π,π]2) and the function f is bounded partial p-variation for some p ∈ [1, ∞), then the double trigonometric Fourier series of a function f is uniformly (C;-α,-β) summable (α β＜ 1/p,α,β＞ 0) in the sense of Pringsheim. If α β≥ 1/p, then there exists a continuous function f0 of bounded partial double trigonometric Fourier series of fo diverge over cubes.     

关于Lipschitz区域上Schr(o..)dinger方程的不连续边界值问题

讨论Lipschitz区域上Schrodinger方程的不连续边界值问题及其研究进展,给出Lp(p＞1)边值问题和Hp(p＜1)边值问题的位势理论.同时指出Besov-Sobolev边值、Orlicz边值等需要进一步研究的问题.     

对称法求积分

积分计算是高等数学的基本运算 ,巧妙地利用对称性解积分题 ,常能化难为易 ,简化计算 ,收到事半功倍的效果 ,本文拟就此方法作一探讨。　　一　利用函数奇偶性利用被积函数的奇偶性和积分区间关于原点的对称性简化计算 ,是积分运算中经常使用的方法。例 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 是偶函数 ,所以 …