微积分基本公式的注记

简述微积分基本公式的应用价值 ,并将微积分基本公式推广到平面区域的情形即得格林公式 ,把该公式推广到三维区域的情形即得高斯公式。这就是牛顿——莱布尼兹公式与格林公式与高斯公式之间的联系。     

对积分公式∫((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)的改进

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

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

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

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

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

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

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

对积分公式∫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)

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

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

求由递推公式给出的数列通项的方法

数列的通项公式是指数列的第 n 项 a_n 与项数 n 之间的函数关系式,a_n=f(n).而递推公式是表示数列的相邻若干项关系的式子,它也是数列的一种表达形式.由相邻两项的关系给出的递推公式称为一阶递推公式,由相邻三项的关系给出的递推公式称为二阶递推公式…….数列的递推公式实质上是含有未知函数的方程,而通项公式则是递推公式的解.由数列的递推公式求通项公式的方法,归纳如下:     

单排管冻结温度场ТРУПАК和БАХОЛДИН公式的适用性

采用Ansys有限元分析软件模拟单排管冻结壁温度场的分布情况,将得到的数据与Трупак单排管公式和r2flx03i,K14H单排管冻结温度场公式作比较,分析Трупак公式与Бахолдин公式,找出公式的不足,同时验证工程中还在应用的Трупак公式与Бахолдин公式根据测温值反算冻土壁厚度公式的适用性.结果表明,冻土柱交圈前,Трупак单管公式能比较真实地反映单根管情况下冻土温度场的情况;交圈后Трупак公式的应用是极不合适的,而Бахолдин公式得到了满意的结果.     

前沿科学最新发现——二.黑洞（black hole）把相对论（relativity theory）与量子理论（quantum theory）联系在一起

由普朗克长度（L点空间）公式推导出量子强引力场—黑洞强引力公式,再由黑洞强引力公式或黑洞半径公式推导出量子引力公式,从而推导出大一统场公式。     

多复变函数高阶奇异积分的Hadamard主值的若干性质

本文给出多复变函数高阶奇异积分Hadamard主值的微分公式、转换公式、合成公式和反转公式．     

关于描述计算机科学数学对象的形式系统的无矛盾性问题

本文证明了〔2〕中提出的系统是无矛盾的.空的系统中的所有公式都是可推出公式.本文找到了不可推出公式.将系统中的公式与命题代数的公式对应,可推出公式必对立真公式,而(?)对应的是原始假公式,从而得到(?)是不可推出的,因而系统是非空(无矛盾)的.     

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

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

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

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

几种参考作物蒸散量计算方法的比较

对FAO—Penman—Monteith公式、Hargreaves公式、Priestley—Taylor公式、FAO-17Pen—man公式进行比较,应用这4种方法计算了河北省石家庄市的参考作物蒸散量。计算结果表明：FAO-17 Penman公式与Penman-Monteith公式具有很好的一致性,可代替Penman-Monteith公式计算参考作物蒸散量;Hargreaves公式与Penman-Monteith公式相比,其相关性并不显著,使用时需要进行修正;而Priestley—Taylor公式的计算值与FAO-Penman—Monteith公式的计算值相比,差异较为显著,是由于Priestley-Taylor公式没有考虑空气动力项对参考作物蒸散量的影响。因此,在使用Priestley—Taylor公式计算参考作物蒸散量时必须根据不同月份对公式中的常数项重新进行修正。     

经典组合一公式及其应用

经典组合学上有三个著名的公式，即Ｎｅｗｔｏｎ公式、Ｗａｒｉｎｇ公式以及唐华公式，本文在三公式的基础上重新提出另一公式，不仅使它们的关系更完善，同时还对美国《数学评论》杂志上一个错误报道加以修正。     

两类数值积分公式的改进

利用数值积分公式的余项表达武,对梯形求积公式和Simpson公式进行适当的修正,从而得到具有3次代数精确度的改进梯形求积公式和具有5次代数精确度的改进Simpson公式.     

高斯型求积校正新公式

基于高斯-勒让德求积公式余项,给出一种新的数值积分校正公式.该校正公式相比原高斯型求积公式可提高四阶代数精度,即n点校正公式的代数精度至少达2 n+3,而且数值算例表明,该校正公式的数值精度明显优于原高斯型求积公式和其他已知的计算结果.     

对积分公式∫(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)的改进

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

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

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