“先重后单”法用于求空间曲面所围立体的体积

学生在用三重积分求体积时，当体积由比较复杂的空间曲面所围成，同学们由于对这样的空间曲面缺乏了解，作图也比较困难，所以通常做起来会感到束手无策，但是如果曲面为绕某一轴的旋转曲面，通过使用“先重后单”的方法，并且充分利用初等数学的公式，可使问题得到大量的简化。下面我们举几个具体例子。例1求曲面（x2＋y2＋z2）2＝a2（x2＋y2－z2）所界体积。分析与解：实际上这个曲面是WZ平面上双纽线（y2＋z2）2＝a2（y2－z2）绕z轴旋转一周而成。过X轴一点D作平行于Xoy平面的平面截旋转体得一圆环，如图1所示，内半径DA，外半径DB，…     

类双线性系统的稳定性

本文综合利用ＬｙａｐｕｎｏｖＶ－函数，ＬａＳａｌｌｅ不变性原理和构造正向不变集的方法，讨论了二维齐次状态双线性系统（１）的全局Ｌｙａｐｕｎｏｖ渐近稳定性，发展了文［１］［２］的结果。     

R~n中有界区域上调和函数的积分平均值估计

设={x∈Rⁿ;λ(x<0}是一具有光滑边界的有界区域.给定x₀∈,0-1,m∈N及ε>0足够小,就上的调和函数f证明了和其中M_p(f,r)是f在上的积分平均,grad_jf为f的j次梯度.     

第三种线性积分方程组的广义解

§1 引言近年来Bart等人讨论了单个第三种积分方程广义解的存在性,具有较明显的物理意义,受到广泛重视本文讨论下列第三种积分方程组广义解的存在性:     

一类具有偏差变元的积分—微分方程解的渐近性质

~~     

混料试验中的确界约束与多余约束

在混料问题中,经常出现附加的混料约束.对于单分量上、下界约束系,我们证明:只存在两种非确界约束,或者都是单侧的,或者只有一个分量存在双侧非确界约束,不可能有两个分量存在异侧非确界约束.对于分量线性组合上、下界约束系和复合约束系,我们分别给出了关于多余约束的判别方法,并用了一些数值例子说明这些判别方法.     

理想微裂纹系统中的随机扩展效应

本文讨论了在理想微裂纹系统中,由于微裂纹的随机性扩展,对微裂纹统计演化产生的效应。文中提供了一般的理论框架,给出了便于处理的转移概率的表达式。最后,用数值计算的例子展示了随机模型的统计演化特征,并比较了与确定性扩展模型下统计演化的异同。     

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

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