一类广义长短波方程耦合系统柯西问题的适定性

研究了一类广义长短波方程耦合系统的柯西问题,在空间     

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

采用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公式。     

超定偏微分方程组局部解析解的存在唯一性

把柯西－柯尔列夫斯卡娅定理推广到如下偏微分方程组δ^|ki|u/δx^ki=Ai(x,u,…,δ|α|u/δx^α）研究了该方程组局部解析解的存在唯一性。通过对边界算子进行分类,给出提出适定边界条件的方法。并证明了在适定边界条件下,存在唯一的局部解析解。     

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

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

关于积分第一中值定理中ξ的变化趋势

本文在较弱条件下给出了当区间两端点趋于一个固定点时．积分第一中值定理中ξ的渐近性,推广和改进了文献[1-5]中的相应结果．     

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

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

入射光与折射光的振幅与光强的分析

利用菲涅尔公式和电磁场能量、能流理论,分析光在两个均匀各向同性媒质的界面上入射,反射和折射时,能够得出两个有趣的结论:1.一定条件下,折射光的振幅可以大于入射光的振幅;2.一定条件下,折射光的光强可以大于入射光的光强.