二值命题逻辑中公式的一种概率真度

将经典二值命题逻辑中公式的真度概念推广到势为2的概率空间上,定义了二值逻辑(p,q)测度和其上命题的概率真度;在〔1/3,2/3〕的情形下证明了全体公式的概率真度之集在[0,1]中是稠密的,并给出了公式概率真度的表达通式.     

命题逻辑中推理理论的数字形式

本文对简单合取式的主析取范式及简单析取式的主合取范式作了数字形式上的表示,在一定程度上简化了自然推理系统P.     

一类n值命题逻辑系统中改进的相似度及伪距离

基于均匀概率空间的无穷乘积在一类n值命题逻辑系统中定义了公式的真度，并利用真度给出一种改进了的相似度定义，进而导出全体公式集F(S)上的一种伪距离，最后讨论了相似度及伪距离的重要性质．     

信息系统中公式定义研究与应用

在信息系统开发过程中,通常由系统向用户提供自定义接口,从而允许用户根据自身情况定义满足自身需求的计算公式.目前常用公式定义方法有预留冗余法、自定义法、预定义与自定义相结合等.以代理人佣金管理系统中佣金项的计算为例,详细分析佣金项的计算流程、自定义公式的解析规则及过程.     

一个新的计数公式及其应用

将几个著名数论问题转化为计算2个有限集合交集元素的个数。对于给定整数集的2个有限子集,建立了一个计算他们交集元素个数的公式。作为该公式的一个应用例子,给出了Goldbach猜想的一个等价命题。     

小麦制粉中皮磨剥刮率公式的纠错与新公式推导

指出了《制粉工艺与设备》一书中关于剥刮率公式的错误,并推导出了3种不同层面的新公式及它们间的转换计算关系,同时指出了各公式的应用背景.     

Gauss公式在管问题中的应用

运用Gauss公式计算三维欧氏空间中围绕光滑曲线的管体积.     

Stirling公式与Wallis公式之间的关系

Stirling公式为对于任意自然数n,n!=√2nπ(n/e)n·θ/e12n=(0＜θ＜1)及wallis公式limn→∞1/2n+1[(2n)!!/(2n-1)!!]2=π/2,由级数收敛理论及通过构造相应的收敛级数来揭示这二者之间的内在联系.     

用修正的Dunkerley公式计算结构的基频

用修正的Dunkerley公式计算了二振系的基频,结果表明,用修正的Dunkerley公式计算结构基频,基精度明显高于Dunkerley公式.     

一些命题逻辑的Groebner基算法

介绍了一种得到命题结论的新方法,即通过把逻辑命题的项转化成相应的多项式,然后计算Groebner基,从而得到命题的结论.     

集约度与粗放度的灰色测度公式及其应用

以灰色系统的ＧＭ（１，Ｎ）为基础，推导出集约度与粗放度的灰色测试公式。实际应用表明，这种建立在ＧＭ（１，Ｎ）基础上的集约度与粗放度的灰测度公式，有明显的优点。     

圆柱和上半平面域拓扑积的Hilbert反转公式和合成公式

给出了双圆柱Schwarz积分公式的一个简洁证明，并由此导出了圆柱和上半平面域拓扑积的Hilbert反转公式、合成公式。     

Sobolev空间中的Green公式及其应用

Green公式是数学分析里的一个重要公式，它建立了二重积分与边界曲线积分之间的联系。按照同样的原理，可以把它扩展到Sobolev空间中。文中把数学分析中的Green公式推广到了Sobolev空间中，并给出了几种常用形式及其在变分问题中的应用。     

谈Stirling公式的探求过程

本文介绍Stirling公式的探求过程.并由此得到阶乘的一个更精细的表达式:(n!=2~(1/2πn)(n/e)ne(1/2n)-(θn/240n2)(0<θn<1).     

发震时间公式的研究

介绍翁氏发震时间公式产生的过程和震例.经过多年对翁化发震时间公式的使用,根据干支理论对其进行修订.指出修订后的公式适合计算7级以上地震的发震时间及其在中国的适用地区.根据统计,修订后公式计算的发震时间与实际地震发生的时间误差在3d以内的占42.9%。     

多边界药量计算公式的量纲分析

通过量纲分析理论的推导,得出了多边界爆破体系中药量公式的一般形式,又通过大规模工程试验,确定了其中系数,建立了在多边界条件下的工程爆破药量公式,并兼容了当前国内外在工程爆破中所采用的药量公式.     

谈韩国语程度副词的分类

以韩国语常用程度副词为研究对象,划分程度副词的等级,归纳程度副词的意义,深入研究程度副词的分类,并最终形成较为清晰的分类体系,对韩国语教学有较好的参考价值。     

齿轮最大重合度的极限证明

根据极限理论给出了齿轮最大重合度的一个严谨证明，是对有关资料中该概念推导的完善与补充。     

更新度——城市改造的合理性思考

更新度是改造合理性的表现,它包含现状的保留程度和改造后达到的程度两个方面。分析了城市改造中失度的现象,探讨了更新度的基本理论问题,以期在更新中合理把握“度”,提高改造的合理性。