分谐波采样锁相环和分频式锁相环的性能比较

锁相环路(PLL)是一个能够跟踪输入信号相位的闭环自动控制系统，具有载波跟踪特性，可以提取淹没在噪声中的信号。锁相环可分为全数字锁相和取样锁相环。其中取样锁相环为数模混合锁相环路，又可分为分谐波采样锁相环和分频式锁相环。分频式锁相环具有较高的稳定度、较低的相位噪声和易于集成等优点，而分谐波采样锁相环还可以提供更低的相位噪声，它们在通信技术中都有着广泛的应用。     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

一堂物理课

 我是一位中学教师,我深爱《现代物理知识》,在讲授《卢瑟福核式结构》一课时,我向同学们言简意赅地介绍了那上面的一篇文章:《原子核壳模型发现前后》.当我讲述卢瑟福提出有效模型是怎样成功地解释盖革与马斯顿的实验结果时,同学们顿时活跃起来,纷纷想一展身手,体验一次科学发明的过程.然而,物理上的每一个发现,都是科学家凭借坚实的理论基础和实验事实而获得的.在教师的指导下,同学们通过阅读教材,得出了如下结论:“如果是枣糕式模型,α粒子穿过原子内部时,它受到原子内两侧的斥力相互抵消,使α粒子偏转不会很大”.     

四阶方程两点边值问题Hermite有限元解的渐近展式与外推

1引言有限元解的渐近展式是提高微分方程数值解精度的重要工具,比如亏量校正和外推就是建立在有限元解的渐近展式的基础之上．许多作者对此进行了大量的研究(见[1]-[4]),特别是文[1],提出了在研究有限元解的渐近展式中十分有用的能量嵌入技巧．本文利用能量嵌入定理得到了四阶方程两点边值问题Hermite有限元解及其二阶平均导数的渐近展式,进一步我们还讨论了它们的Richardson外推公式．考虑四阶方程两点边值问题     

大学物理问题式导入研究

通过对大学物理课堂导入重要性的讨论,探讨问题式导入法在大学物理课堂教学中的应用,并阐述了设计物理问题的基本理念.     

关于两类重要微分不等式

本文研究了两类重要微分不等式有界解的性质。引入了赋范线性空间(f,‖‖M),利用比较定理和黎卡提方程解的性质,给出了有界解的上界估计式,推广和改进了文[1,2]中的有关结果.     

有Edgeworth展式的分布的随机加权逼近的重对数律

本文研究了未知分布的逼近问题，利用随机加权法，给出了有Edgeworth展式的一类（未知）分布的模拟分布，证明了在一定条件下，模拟分布与未知分布的逼近精度达到O(n^-1√lnlnn），称之为随机加权逼近的重对数律。     

超稳定TO-8型压力传感器在气体导热系数测定实验中的应用

介绍了TO-8型压力传感器的性能及电源电路.以气体导热系数测定实验为例,用TO-8型压力传感器制成的测压装置代替旋转式麦氏真空计,利用可调针孔式放气阀对真空气压进行连续调节,实现了对测试系统真空度的实时监测.     

变式乘除一口清的最佳易倍数应为2—6

在珠算乘除运算中，应用“一口清”变为加减运算。从算理算法上讲，必能减少拨珠次数，提高运算速度。但在实践上讲，学习和掌握它却是相当困难的。如被珠算研究者和珠算选手们视为魔数的“7”，它的进律多迭六位数码，这样在实际计算中就要看七位(有时还不止是七位)数码才能得出一位乘积。这就不但给人们学习和掌握这一方法造成了记忆的困难，     

400例导乐式分娩的临床效果评价

目的：评价导乐式分娩在临床应用的效果。方法：实验组共400例，采用陪伴式分娩，有一个亲属陪伴，一位助产士全程陪伴，并指导产妇顺利渡过分娩期。对照组400例，为未开展陪伴分娩期的产妇。结果：通过临床观察发现，产妇在分娩时的心理状态，各种原因的剖宫产率(导乐组为23％，对照组为39％)有显著差异(P＜0．05)；尤其是社会因素，实验组(11．96％)均优于对照组(33．97％)。结论：导乐陪伴分娩能解除产妇的恐惧和焦虑心理，减少了各种原因的剖官产率，保护、促进和支持了自然分娩。