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

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

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

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

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

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

算子模糊命题逻辑中公式恒真恒假水平的模型

为了在模糊推理中求得公式为真程度的下界和上界,算子模糊逻辑显示使用[0,1]区间中的实数作为算子描述模糊命题的可信程度,其公式的语义值可以在公式的恒真水平和恒假水平之间变动。基于算子模糊命题逻辑,证明了任意公式在二值解释的意义下都可以转化成与之等值的合取范式和析取范式,并根据公式的合取范式或析取范式给出了公式恒真水平和恒假水平模型的生成方法。公式的恒真水平和恒假水平在根本上决定了公式的语义性质,其模型给出了公式在何时达到其最小和最大语义值的一个解答。     

克罗内克尔及置换符号在物理公式推导中的应用

本文论述了克罗内克尔及置换符号在物理公式推导过程中的应用。该方法可以极大地简化许多物理公式的推导过程且不失物理公式推导所应有的严密性。若能在教学过程中借助该方法讲解物理公式的推导,相信能够使学生更好地理解掌握教材中的物理公式并提高他们的公式推导能力。     

任意参数形式下的Frenet公式

Frenet公式是空间曲线论的基本公式,在经典微分几何中占有十分重要的地位。但由于受到弧长参数的制约,经典Frenet公式难以应用于弧长发生变化的诸多变形问题。对此推导出了任意参数形式下正则曲线的Frenet公式,并给出了新公式的一个应用实例。结果表明,新公式是经典Frenet公式在任意参数形式下的拓展,可极大简化变形问题的求解过程。     

经典组合一公式及其应用

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

一个等权的求积公式

文中通过对中值定理的研讨,得到一个等权的求积公式,该公式是中矩形求积公式的改进,在计算上较中矩形求积公式有效得多。     

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

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

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

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

关于数学期望公式推广的一个注记

在文献[1]的基础上,得到了用分布函数表示的任意随机变量数学期望的计算公式,并通过一些特例说明了该公式在期望计算中的有效性。     

带强制必然事件条件因子的全概率公式及其应用

对概率论中的全概率公式进行了有价值的拓展,提出并证明了带强制必然事件条件因子的全概率公式.基于该公式,对一直困扰人们,涉及强制必然事件随机问题的概率计算,给出了简单有效的计算方法.最后实例说明了其应用的广泛性.     

广义全概率公式

经典全概率公式的条件中要求事件列必须是“互不相容”的,本文将去掉这一条件,试图解决由任何事件列（相容或不相容）构成的样本空间,其复杂事件概率如何用全概率公式“直接”计算的问题,给出了广义全概率公式．并以集合运算律为工具,对公式给予了严密的证明．最后举出1个例子以阐明公式的运用。     

复合泊松模型破产概率的Pollaczek-Khinchin公式

Pollaczek—Khinchin公式是计算破产概率的重要公式之一。给出了复合Poisson风险模型破产Pollaezek—Khinchin公式的严格证明，纠正了文献[1]中的证明错误。     

分枝扩散过程的期望半群

本文在无生成半群及正则性的条件下讨论了分枝扩散过程期望半群的性质,并通过该半群的生成元求出了它的表达式。     

关于一类特殊复合风险模型的重要关系式

本文建立了一类特殊复合风险模型——保费到达为平衡更新过程的复合更新风险模型,给出了此类模型的有关重要关系式,应用这些关系式可进一步推算和论证模型的破产概率、生存概率分布。     

分数布朗运动下信用风险结构模型

假设企业资产价值的波动以真实概率服从分效布朗运动,在此基础上推算出时度量信用风险的:公司的违约概率公式,风险债券的价格公式,股票的价格公式以及风险溢价公式等,并且得到在这样的假设条件下画出的信用风险溢价随着资产价值波动项变化而呈现的不同走势接近实证结论.     

超几何分布高阶矩的一种简便算法

超几何分布是概率论中一种重要的分布,考虑到直接用定义计算其高阶原点矩的复杂性,本文将组合数学中的第二类Stirling数应用到概率中,给出了利用第二类Stirling数求超几何分布m阶原点矩的计算公式,并用实例对此公式进行了验证。     

关于全概率公式的一点注记

通过“有限总体、等可能概率”条件下，某些应用全概率公式求解问题的研究，我们得到了一个简单算法，并因此提出了一个关于全概率公式的一个注记的命题，同时给出了全概率公式注记命题的证明及实际应用的例子．     

依概率可达未定权益的定价

应用统计方法得出美式未定权益的α-价格,并构造出它的一个最小套期保值策略,再根据美式未定权益的α-价格推导出依概率可达未定权益的公平价格公式,并用该公式求出一个单时段市场上依概率可达未定权益的公平价格.