有限信念集上修正的一种方法

讨论了信念集是有限子句集时的信念修正方法，首先给出了一阶逻辑上求所有极小不协调子集的一个过程，证明了该过程的正确性，讨论了由所有极小不协调的子集来实现信念修正的方法，介绍了我们开发的信念修正的原型系统，最后和相关工作进行了比较。     

E^n中稳定极小超曲面

局部证明了Ｙａｕ‘ｓ ｃｏｎｊｅｃｔｕｒｅ。获得如下定理：Ｍ为Ｅ＾ｎ中稳定极小超曲面且局部紧的，则Ｍ为超平面。     

求解绝对极小拟合问题的神经网络方法

提出了一个解绝对极小拟合问题的神经网络，并证明它的全局收敛性，该网络的优点是没有选择惩罚参数的困难，稳态解对应最优解，及网络电路中不含变量间的模拟乘法器。     

极小超曲面的pinching常数与特征值

设M~n是单位球面S~(n+1)的闭极小嵌入超曲面S和λ_1分别表示M(?)的第二基本形式的模长平方和Laplacian算子的第一特征值.本文主要结论:如果S>n且为常数,那么S≥n+λ_l(由于已知λ_1≥n/2.从而知S≥n+n/2).已知λ_1≥n/2,从而知S≥n+n/2).     

相容矩阵方程AXB＝D的极小范数解及其稳定性

给出了相容矩阵方程ＡＸＢ＝Ｄ的极小范数解的结构，并在Ａ＝Ａ＋δＡ，Ｂ＝Ｂ＋δＢ，Ｄ＝Ｄ＋δＤ的扰动下分析了矩阵方程ＡＸＢ＝Ｄ极小范数解的稳定性．     

关于电磁场能流密度矢量与能量密度的相对论变换

推出了电磁场能流密度矢量与能量密度的相对论变换,证明了S与w可构成一洛伦兹不变量,并应用所得结论研究电磁波能速的变换.     

极小极大不等式及其变分不等式

给出了Ｆａｎ引理的一个推广，并用此证明了定义在两个拓扑向量空间的乘积空间上的两处泛函的极小极大小等式。这一等式推广了Ｆａｎ，ＢＮＳ，Ｙｅｎ等的不等式。最后给出了该不等式对变分不等式的一些应用。     

极小于子群的C—正规性对有限群结构的影响

Ｇ为有限群，本文证明了：若奇阶群Ｇ的Ｆｉｔｔｉｎｇ子群Ｆ（Ｇ）的每极小子群在Ｇ中Ｃ－正规，则Ｇ是超可解群。     

极小映射的一个性质

极小映射是动力系统理论中常见的概念。本文证明了极小映射的一个性质，说明了，在连续映射族Ｃ＾０（Ｘ，Ｘ）中，一致极小映射族可扩张为闭集族。     

抽油井分层测压技术及其应用

尕斯库勒油田位于青海省柴达木盆地西部南区的尕斯断陷亚区红柳泉跃进一号断鼻带上的一个三级构造,位于狮子沟——油砂山大逆断层下盘,石油地质储量7200多万吨,目前,尕斯库勒油田已步入中后期开发阶段,由于开采的各小层间和层内地质特征的差异(如各小层地层压力、渗透率、孔隙度等物性的不同),在油田注水开发后,地下水线推进速度相差很大,致使油井见水时间、含水率及各分层的出力状况相差悬殊,严重时甚至非主力层出力甚微或根本不出力,多层合采时的产量远远低于分层开采时的产量之和,从而制约了油井生产寿命,严重影响了油田的长期稳产。因此…