条件概率系列公式的学习技巧

条件概率系列公式是“概率论与数理统计”课程的重要知识点．分析这些公式之间的联系和公式使用的一些规则和技巧，这些规则和技巧便于学生掌握，在求解古典概型问题时颇为有效，教学过程中学生反映良好。     

科技期刊中数理公式编排规范探讨

对32种科技期刊进行了考察,发现目前科技期刊中数理公式的编排无一定的规则,为使科技期刊中数理公式的编排进一步规范化,针对共同存在的几个问题,提出了规范化的见解。     

基于软集上逻辑公式的极大关联规则描述与挖掘方法

针对常规关联规则定义中未涉及项域划分的问题, 提出极大关联规则是对常规关联规则的有益补充. 以软集理论和软集逻辑公式为主要工具, 解决了常规关联规则和极大关联规则挖掘中相关核心概念的描述问题, 获得了二者的统一数学刻画. 实例分析表明, 与经典挖掘方法相比, 基于软集逻辑公式的极大关联规则挖掘方法能有效降低冗余, 并剔除无效规则, 提高了所得规则的准确性和挖掘效率.     

一种多值规则量词公式的Tableau的方法

在多值逻辑中，含有量词的Tableau方法具有统一的扩展规则，并已通过可靠性和完备性的证明，但是由于扩展后的分枝非常庞大，使机器实现非常困难，通过对规则量词公式与一阶经典量词公式的对应关系近研究，使二者使用统一的扩展规则。     

逻辑基本规律的公式表示

同一律、矛盾律和排中律是思维的三大基本规律,而目前国内大多数逻辑学教材关于同一律、矛盾律和排中律的公式表示却是错误的。就此逐一对这三大规律的公式表示所存在的问题进行了论证。结论是主张取消对同一律、矛盾律和排中律的公式表示。此外,还特别强调了三大逻辑规律作为元逻辑规则的特殊地位。     

一类代数上的逻辑淡（Ⅰ）

引入了一种代数，称为模糊公式代数，在这种代数上建立了一个准形式演绎系统，证明了相应的可行性定理与相容性定理，提出了程度化的Ｍｏｄｕｓ Ｐｏｎｅｎｓ规则和Ｈｙｐｏｔｈｅｔｉｃａｌ Ｓｙｌｌｏｇｉｓｍ规则。     

几个积分公式的注释及其应用

Green公式、Stokes公式与Gauss公式是微积分中的三个重要公式,它们将不同的积分联系起来,在许多研究领域有非常重要的应用.本文主要讨论这几个公式的关系、描述的数学本质、统一形式及在偏微分方程中的一些应用.     

微积分基本公式的注记

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

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

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

化工公式的特点与应用

公式是人们科学研究的结果,是自然现象和过程中各有关因素间数量关系的客观描述。化学工程中的公式,描述了动量传递、热量传递、质量传递和化学反应等过程中某些变量之间的关系,是人们进行化工计算的基本依据。众多的化工公式分为两类:一类是理论公式,另一类是经验公式。     

基于Nutch的Web数学公式提取

本文主要研究基于公式的数学搜索引擎中数学公式的识别和提取方法,总结了MathML、Open-Math、LaTex、Infix格式数学公式在网页中出现时的各自特征,提出了基于特征和启发式规则的公式识别和提取方法,并用实验说明了该识别和提取方法的可行性和准确率.     

关于斯托克斯公式的几点补充

斯托克斯公式是多元微积分学中一个重要的公式,本文给出了关于它的几点补充说明,让学生能更容易接受和理解斯托克斯公式。     

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

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

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

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

一类代数上的逻辑学(Ⅰ)

引入了一种代数，称为模糊公式代数．在这种代数上建立了一个准形式演绎系统，证明了相应的可靠性定理与相容性定理，提出了程度化的ＭｏｄｕｓＰｏｎｅｎｓ规则和ＨｙｐｏｔｈｅｔｉｃａｌＳｙｌｏｇｉｓｍ规则     

一类Cauchy-Fantappié型积分的合成公式

利用Coxoukuu-Plemelj公式,得到了C~中具有强拟凸边界的有界域上函被和(n,n—1)型的Cauchy-Fantappie积分的合成公式和反转公式。     

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

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

顶层进位级联CLA的算法与设计规则

提出了一种新型加法器结构——顶层进位级联超前进位加法器,该结构将超前进位加法器(CLA)底层进位改为顶层超前进位单元进位．给出了顶层进位级联超前进位加法器延迟时间公式．推导出该结构模块延迟时间公式、最大级联数Km(max)、最优分组方案等重要结果,并归纳出优化设计规则．     

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

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

经典组合一公式及其应用

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