微积分基本公式的注记

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

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

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

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

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

两类数值积分公式的改进

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

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

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

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

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

二重数值积分的计算方法的比较

在一元数值积分公式的基础上,提出了二重数值积分的复合公式,并给出复化复合公式和逐次减半的复合递推公式,通过实验比较了两种算法．     

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公式计算参考作物蒸散量时必须根据不同月份对公式中的常数项重新进行修正。     

Excel用于数组公式的自定义函数的设计与实现

Excel公式广泛应用于数据处理,数组公式又将Excel数据处理能力提升到新的高度。由于用于数组公式的自定义函数参考资料少,实现途径不清晰,所以鲜见自定义函数应用到数组公式中。对用于数组公式的自定函数的参数传递、参数处理、功能实现进行分析,得到用于数组公式计算的自定义函数通用的设计方法。     

半平面弹性体受梯形分布荷载作用下的沉陷计算

利用Ｆｌａｍａｎｔ公式导出半平面弹性体在边界上受梯形分布荷载作用下的沉陷公式，同时还给出了受任意分布荷载作用下的沉陷计算方法，与现行方法相比，提高了计算精度。     

一个求解SAT问题的随机算法

本文中引入了一个求解满足性问题的随机算法。在该算法中,利用CNF公式转换为其对偶式——DNF公式,通过对满足DNF公式的真值赋值数Y作出估计。根据Y与2n比较结果,对CNF公式的可满足性进行估计并对其满足性进行判断。     

一类保费随机风险模型的破产问题研究

研究了一类保费随机的风险模型.该模型在保费收取方式上一方面是保费收取为时间的线性函数,另一方面是复合Poisson过程.给出了此模型最终生存概率的积分表达式及其在特殊情况下的具体表达式,并用鞅方法得到最终破产概率所满足的Lundberg不等式和一般表达式.     

"一种分段常量信号"作用下的RC串联电路

在文献[1]的基础上,本文运用子区间分析,分析了“一种分段常量信号“作用下的RC串联电路(线性、非时变电路),而且着重讨论了两种情况下的稳态过程.在满足有关条件下,得到了计算电容电压稳态波形极值的两个公式.文献[2]所介绍的式(7-61)和式(7-62)均属于本文两个公式的特殊情况.     

推广的Rostoker公式

将仅适用于库仑静电相互作用体系的Ｒｏｓｔｏｋｅｒ公式，推广到包括感应电磁场力的完全电磁相互作用的相对论粒子体系。证明过程完全独立于博格留鲍夫准静态假设，因而推广的Ｒｏｓｔｏｋｅｒ公式同样适用于稳定过程及非稳定过程。     

旋风除尘器阻力计算的新方法

本文根据旋风除尘器内部流场的理想模型,通过伯努里方程导出了旋风除尘器阻力计算的新公式,经实验表明该公式比其它计算式具有更简单、更精确的特点.     

基于精确数值离散的一类新的辛算法

对数值计算中经典的中点公式参数化,基于精确数值离散的思想构造了带参数的修正中点公式.此修正中点公式是对称的具有2阶精度的辛算法,应用此修正中点公式模拟简单单摆问题.数值实验表明:对于小的初始摆角和较大的初始摆角,带参数的修正中点公式比经典的中点公式更优越.     

关于求解高阶常系数线性微分方程的新公式

文章利用高阶常系数线性微分方程与一阶常系数线性微分方程组之间的关系,引入向量的内积,运用其运算性质,从而得到了求解高阶常系数线性微分方程的新公式.最后通过实例,说明了这个新公式可以普遍地应用于高阶常系数线性微分方程的求解.     

5A限流器电路的设计

利用电压比较器设计了一个限流器电路,可用于具有限流要求的电路中,同时也为设计同类电路提供了思路,包括计算公式、设计步骤及元器件的选择。     

多道分析器死时间的精确数字测量(英文)

描述了两种简单而精确的多道分析器死时间测量方法 ,实际测量结果与 80 0型ADC操作手册给出的公式计算结果进行了比较 ,死时间的测量精度可达到 10 -6秒 .