对积分公式∫((dx)/(a bsinx))=(2/((a~2-b~2)~(1/2)))arctan((atan(x/2) b)/((a~2-b~2)~(1/2))) C (b~2＜a~2)的改进

本文对《高等数学》积分公式表中的一个三角函数有理分式函数的积分公式进行了研究,指出了公式中存在的缺陷,并将公式进行了改进,得出了一个方便、准确的公式,改进后的公式消除了原公式的缺陷。     

对积分公式∫dx/(a bcosχ)=2/(a b)((a b)/(a-b))～(1/2) arctan [((a-b)/(a b))～(1/2) tan χ/2] C(b~2

刘德厚 《科技信息》2008,(8)

对积分公式∫dx/a+bcosχ=2/a+b√a+b/a-barctan[√a-b/a+btanχ/2]+C(b2＜a2)的改进

对<高等数学>积分公式表中的一个三角函数有理分式函数的积分公式进行了研究,指出了公式中存在的缺陷,并将公式进行了改进,改进后的公式消除了原公式中的缺陷.     

分支水平井产能公式研究进展

分析了分支水平井的7个典型产能公式.对比发现,王卫红公式、李?公式均为程林松公式的特例;蒋廷学公式比程林松公式更加准确.通过理论分析和实例运算,验证了齐成伟公式在外部渗流阻力部分的重要突破.进一步分析发现,齐成伟公式的外部渗流阻力部分自相容,科学严谨.最后,考虑到各种附加阻力,得出了完整的产能公式.     

对积分公式∫(1)/(a+bcosx)dx=(1)/(b+a)(√(b+a)/(b-a))ln|tan(x)/(2)+(√(b+a)/(b-a))/tan(x)/(2)+(√(b+a)/(b-a))|+C (b2＞a2)的改进

对《高等数学》积分公式表中的一个三角函数有理分式函数的积分公式进行了研究,指出了公式中存在的缺陷,并将公式进行了改进,得出了一个方便、准确的公式.     

对积分公式∫dx/a2cos2X+b2sin2X=1/abarctan(b/atanx)+C 的改进

对<高等数学>积分公式表中的一个三角函数有理分式函数的积分公式进行了研究,指出了公式存在的缺陷,并将公式进行了改进,得出了一个方便、准确的公式.     

对积分公式∫(1/a bcosx)dx=1/(b a) (b a/b-a)～1/2ln│tanx/2 (b a/b-a)～1/2/tanx/2-(b a/b-a)～1/2│ C(b~2>a~2)的改进

对《高等数学》积分公式表中的一个三角函数有理分式函数的积分公式进行了研究,指出了公式中存在的缺陷,并将公式进行了改进,得出了一个方便、准确的公式。     

关于Romberg求积公式注记

对Romberg求积公式进行了详细分析.讨论了其显式公式,给出了其误差公式.与Newton-Cotes和Gauss求积公式进行了比较分析,得出Romberg求积并不是一个理想的求积公式.     

一类带端点导数的中矩形修正公式

利用Euler-Maclaurin公式研究了数值积分中矩形法则,得到了一类带端点导数的中矩形修正公式,分析了公式的代数精度,并给出了公式的截断误差.由于2个端点导数项系数互为相反数且复化公式只含有整个区间端点处的导数,所以在不增加计算量的情况下,这类修正公式大幅提高了数值积分公式的收敛阶.     

Newton-Cotes数值求积公式的注记

通过Newton-Cotes数值求积公式的余项,直接给出了Newton-Cotes求积公式的校正公式以及误差分析.这些校正公式比原有的数值求积公式提高了一次或两次代数精度.     

只分学中基本公式关系研究

探讨了积分学中Newton-Leibniz公式、Green公式、Stokes公式、Gauss公式四个基本公式的关系,以便加深对公式的理解。     

积分学中基本公式关系研究

探讨了积分学中Newton－Leibniz公式、Green公式、Stokes公式、Gauss公式四个基本公式的关系,以便加深对公式的理解。     

高斯曲率内蕴公式的几种形式的推导方法

考虑曲面上高斯曲率内蕴公式的表示问题,运用曲面基本方程的矩阵表示法,给出了高斯曲率是内蕴量的直接的显式公式,并指出这种内蕴公式与Brioschi的表示公式是明显一致的;给出了高斯曲率简化公式的推导来源,揭示出了高斯曲率隐式公式的发现过程。     

利用二阶导数构造的数值积分公式

为解决积分的近似计算问题,利用二阶导数,构造了利用3个节点满足6个条件的一种数值积分公式,验证了该公式具有7次代数精度,并给出了其复合公式和加速公式,对于每个公式也进行了余项研究和误差分析.最后通过几个典型的例子验证公式的有效性.     

确定的与非确定的公式时钟自动机的等价性

本文分析了传统的时间自动机在实时系统进行形式化验证方面所存在的问题,提出了一种新的形式化验证工具——公式时钟自动机,给出了公式时钟自动机的形式化定义。在公式时钟自动机中,每一个事件对应一个命题、并且针对给定命题集上的每个时态公式,我们定义两个时钟:公式记录时钟与公式预测时钟。前者记录公式最近一次被满足时距目前的时间,后者预测下一次公式将被满足时距目前的时间。最后讨论了公式时钟自动机的确定性和非确定性,并证明了确定的公式时钟自动机和非确定的公式时钟自动机的等价性。     

勒贝格积分与积分变换公式

目的为了减弱面积变换公式和二重积分变换公式成立的条件。方法利用勒贝格积分和傅立叶级数讨论平面区域面积变换公式和二重积分变量变换公式。结果在比现有文献有关结论中较弱条件下得到了面积变换公式和二重积分的变量变换公式。结论对现有的有关面积变换公式和二重积分变量变换公式的结果作了相应的改进和推广。     

关于格林公式和奥高公式的推论

在格林公式的基础上推出了求平面区域面积的更简捷公式,在奥高公式基础上推出了求空间体体积的更简捷公式。     

常用数值求积分公式的直接证明及收敛性的证明

考虑数值积分公式的直接证明问题,利用微分中值定理给出了数值积分的矩形公式和梯形公式的直接证明,然后给出了数值积分公式的收敛性的证明．     

推求堰流公式的新法

本文介绍应用动量定理來推求堰流公式;並提出了新的流量公式係数公式,避免了各家經驗公式在因次上不符的的缺点。     

梯形修正公式及其余项“中间点”的渐近性

给出了一种带端点导数的梯形修正公式,并给出了该公式的截断误差。分析了相应的复化求积公式的收敛阶,其收敛阶比复化梯形法提高了2阶;并通过对梯形修正公式余项的研究。讨论了该求积公式余项中间点的渐近性,使求积公式的代数精度得到进一步提高。