逻辑基本规律的公式表示

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

量子相位的公式表述和图像

在深入剖析经典相位的基础上,根据对量子力学基本观念的重新认识,再次诠释了量子相位的概念：它是角动量算符的正则共轭变量,相应于经典框架下真实空间中的角坐标仍但在量子框架下的Hilbert虚拟空间中却表现为复指数形式e^iφ≡COSφ＋isinφ,亦即数学上复数域著名的Euler公式．尤其是当φ=π／2时,相应的量子相位即为单位纯虚数：e^iπ／2≡cos（π／2）＋isin（π／2）≡i．利用最近得到的光子态矢函数,它作为光子Schrǒdinger方程的普遍解,除了描述光子的能量特征和光子的动量特征之外,关键是还包含了光子的角动量特征,得以体现光子完整的量子行为,我们据此具体讨论了光子角动量和光子相位的正则共轭关系,分析了宏观的光波相位和微观的光子相位之间的内在联系和本质差异．     

基于水系多样性影响下的砂岩储层流体识别技术探讨

地层水矿化度变化大的地区测井解释难度大,易得出错误的解释结论。以测井响应机理研究为基础,依托阿尔奇公式中的电性、物性和含油性之间的关系,提出了水层底部包络线法、视地层水电阻率法和自然电位与电阻率乘积法。分别以水系相对集中的A井考查水层底部包络线法和视地层水电阻率法识别水系的准确性,以水系相对变化大的B井区考查自然电位与电阻率乘积法直接识别流体性质的实用性。结果表明,当水系相对集中为两套时,水层底部包络线法和视地层水电阻率法可以很好地识别不同水系,为在同一套水系中进行流体识别奠定了基础。当水系变化较大的情况下,自然电位与电阻率乘积法不受水系的干扰,直接识别流体解释符合率达到了80.9%,对于其他地层水矿化度变化大的地区有重要的借鉴作用。     

An,r（X）——一类的正交多项式

探求了一类相关Legendre多项式及其导数的正交多项式的一般表示形式及其递推公式,得到了较好的结论。     

程序正确性证明中逻辑公式的可满足性

采用Herbrand定理及归结原理证明在程序证明中遇到的逻辑公式是可满足的。并给出了相应的算法;同时讨论了已知循环程序中循环不变式的求解方法。     

修正的Black—Scholes期权定价模型

在期权有效期内σ,r,D0是时间t的已知函数下,得到了欧式期权的B－S定价方程的解,从而获得了欧式看涨和看跌期权的定价公式。     

x^3振荡器的周期的近似计算

应用牛顿第二定律得到x^3振荡器的运动学方程及其振荡器的周期公式;应用数学推导的方法证明x^3振荡器的周期与振幅成反比;并借助第一类全椭圆积分在ρ^2→1时的近似展开公式及椭圆积分的模数变换得到周期公式中的无量纲常量的近似计算,提供的计算公式的近似程度极高。     

纳米改性金属陶瓷刀具切削参数优化

文章系统地讨论了 Ti( C,N)基金属陶瓷刀具及 YG8刀具切削灰铸铁时的失效形式和磨损机理 ,研究了切削用量、Ni含量及纳米改性对刀具耐用度的影响。结果表明 ,刀具耐用度随切削用量 f、ap及 vc的增大而降低 ,纳米 Ti N改性 Ti C基金属陶瓷刀具的效果明显 ,最后通过一元线性回归分析给出了 Ti( C,N)基金属陶瓷刀具耐用度的广义 Taylor公式。     

湿式除尘器中脱水装置性能的理论和实验

详细分析了湿式除尘器中脱水装置的脱水机理,并对脱水装置性能进行了实验研究,建立了脱水装置的极限风速和阻力系数与液气比有关的经验和半径验公式,为研究和设计其他类型的脱水装置提供理论依据和实验数据。     

母函数在数列极限中的应用

根据母函数的知识推导出三种具体递推关系数列{an}的通项公式,然后利用它的通项公式来解决数列{an}相关的极限问题。