命题逻辑中几种常见的推理证明方法

数理逻辑是《离散数学》的难点之一．其主要原因是内容比较抽象且方法较独特，加之题型以知识较广的证明题居多．而命题逻辑又是数理逻辑的基础，熟练而灵活地掌握好命题逻辑中推理证明的方法既是学习命题逻辑的重点，又会为进一步学习谓词逻辑打下良好的基础．本文结合适当的例题总结了命题逻辑中几种常见的推理证明方法，以期在帮助学生掌握命题逻辑的推理证明方法的同时，又能对学生进行逻辑思维能力的训练，培养学生分析问题和解决问题的能力．     

带传动中带速的选择与分析

在设计带传动时，选用的带速参数直接影响传动带能否发挥其最大传动能力进行功率的传递本文对带速的最佳条件选择作了较详细的分析。     

由通项公式构造齐次线性递归数列的递归方程

给出并证明了由数列的通项公式判定其是齐次线性递归数列的充分条件,以及其递归方程的构造.     

拟群在构作图K_(m+2)\K_m的图设计中的应用

利用拟群给出所需的带洞图设计,再结合一些小阶数的图设计的存在性,得到了关于图Gm=Km+2、Km的图设计的一些存在性结果.从而展示了拟群在解决图设计问题中的应用.     

系统￡*中极大相容理论结构刻画的归纳证明

在不使用系统￡*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({ψ1,ψ2,…}),这里ψi∈是系统￡*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统￡*的满足性定理和紧致性定理,其结果完善了系统￡*的理论体系.     

基于线性调频信号的ADC时钟抖动误差分析

模数转换器的时钟抖动引起输出信号的误差,该误差会影响后继的数字信号处理.分析了输入为线性调频信号时,模数转换器中由时钟抖动引起的误差.在给出误差平均功率表达式的基础上,推导出信噪比的近似计算公式.并利用该计算公式,对影响信噪比的各种因素依次进行讨论,其中信号带宽和时钟抖动参数的增大都会降低输出信噪比,而信号时宽和采样频率的变化对信噪比影响非常小.仿真结果验证了信噪比计算公式的正确性.     

Fresnel积分∫+∞0sinx2dx和∫+∞0cosx2dx的计算

在一般的<高等数学>[4]教材中对于Fresnel积分的计算少有涉及,而在实际问题中,例如在研究光的衍射时,就会遇到Fresnel积分.因其被积函数的原函数不是初等函数,不能用牛顿-莱布尼茨公式来计算其积分值,但我们仍然能够通过其它途径来求其值.本文将给出几种求解Fresnel积分方法.     

回望“太阳系的黎明”

2007年9月27日，小行星探测器“黎明号”终于起程了。它将飞赴火星和木星之间的小行星带，探测那里的两颗神秘天体——灶神星和谷神星。这次任务的行程长达50亿km，耗时8年。学者们期待“黎明号”帮助他们回答一个古老而又玄妙的问题：太阳系是如何诞生的。科学家相信“黎明号”能帮助他们回溯诞生之初的太阳系，他们将那个时候称为“太阳系的黎明”，这也正是“黎明号”名字的由来。     

偶数P级数与相关级数的求和递推公式

利用函数f（x）=x在[0，π]上的舟里叶级数展开式和函数的特点．给出四类级数∞∑n=1 1/n2m,∞∑1/（2n-1）2m,∞∑n=1（-1）n-1/n2m,∞∑n=1（-1）n-1/（2n-1）2m＋1的求和递推公式和相互关系。其中：∞∑n=1 1/n2m,∞∑n=1（（-1）n-1/（2n-1）2m＋1的递推公式中，分别不涉及到贝努利数和欧拉数。     

关于一类扩散过程的随机变分计算

对一类比较广泛的随机微分方程的解进行了随机变分计算，在一定条件下得到了相应的分部积分公式．