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

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

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

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

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

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

偶数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的递推公式中，分别不涉及到贝努利数和欧拉数。     

高校图书馆资源建设与共享

简要介绍了高校图书馆的现状，论述了实体资源与虚拟资源的内容和获取方法，并对二者的关系进行了说明。     

三元复合深度调驱技术在魏岗四区Ⅴ断块油藏应用

魏岗四区Ⅴ断块油藏采用一套井网不分层系开发,由于储层的非均质性,致使注入水在平面上沿河道方向选择性舌进和纵向上向高渗透层突进现象较严重,油、水井之间存在注入水的无效循环,注入水的利用效率低,注水波及体积小,存水率呈下降趋势,油藏压力保持水平下降、递减加大、开发效果变差。三元复合调驱是改善该区块注水开发效果、实现区块稳产的有效手段。通过现场应用6口井,取得了明显的增油降水效果,区块开发形势明显好转,同时也解决了三元复合调驱中含油污泥污染环境的问题。     

国际新闻

澳发现超新星爆发残留物；英破解塑料激光二极管制造难题；美发现复合胺与脂肪的作用机制；科学家首次利用激光“冻结”原子波（图）；美国开发出可再生生物燃料的原料     

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

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

新型复合混泥土剪力墙结构体系研究

随着现代科学技术的发展,复合材料的应用已经越来越广泛。在建筑结构工程中,为满足不同的功能和受力需要,根据材料特性形成复合受力构件或体系,也将是一个必然的发展方向。作者在文章中将研究一种新型复合结构体系,即新型复合混泥土剪力墙结构体系。     

研究氨基酸振荡反应的经验公式

依据实验数据，归纳出氨基酸振荡反应的经验公式，发现振荡体系的获得仅与氨基酸活性基团的数目有关。依据经验公式，可计算出该振荡体系的酸度和底物浓度，并以此获得振荡体系的各种信息。