可校正多普勒频移的多相差分调制解调器

提出了一种适用于超短波航空信道条件下的具有多普勒频移校正功能的多相差分(DnPSK)调制解调器,分析了超短波信道下多普勒频移的特性及对信息传输的影响,给出了适用于突发格式的多普勒频移校正方法以及具有频差校正功能的差分解调算法。     

利用CMOS锁相环芯片实现FSK信号调制与解调的研究

文章介绍了一种利用CMOS锁相环芯片CD4046实现FSK信号调制与解调的方法。通过实际使用,证明了该方法性能优良,设计简单,成本低廉。     

微波直接解调器中AGC设计

本文介绍了微波直接解调器中自动增益控制（AGC）的两种设计方法。主要就两种设计方法所面对的基带信号抖动问题进行了分析。     

Turbulence in unmagnetized Vlasov plasmas

The classical technique of transformation and characteristics is employed to analyze the problem of strong turbulence in unmagnetized plasmas. The effect of resonance broadening and perturbation expansion are treated simultaneously, without time secularities. The renormalization procedure of Dupree and Tetreault [1] is used in the transformed Vlasov equation to analyze the turbulence and to derive explicitly a diffusion equation. Analyses are extended to inhomogeneous plasmas and the relationship between the transformation and ponderomotive force is obtained.     

A case study in automated theorem proving: Finding sages in combinatory logic

We present in this article an application of automated theorem proving to a study of a theorem in combinatory logic. The theorem states: the strong fixed point property is satisfied in a system that contains the B and W combinators. The theorem can be stated in terms of Smullyan's forests of birds: a sage exists in a forest that contains a bluebird and a warbler. Proofs of the theorem construct sages from B and W. Prior to the study, one sage, discovered by Statman, was known to exist. During the study, with much assistance from two automated theorem-proving programs, four new sages were discovered. The study was conducted from a syntactic point of view because the authors know very little about combinatory logic. The uses of the automated theorem-proving programs are described in detail.This work was supported by the Applied Mathematical Sciences subprogram of the office of Energy Research, U.S. Department of Energy, under contract W-31-109-Eng-38.     

Equalization problems in a digital FM receiver

In some recent papers a new all-digital intermediate frequency unit for the application in commercial broadcast FM receivers was introduced. Serious problems of an efficient hardware solution are the dynamic requirements of the input analog-to-digital converters, which can be solved by narrow-band analog pre-filtering, only. In this paper a digital nonrecursive equalization network is described, which can be used to compensate the non-ideal characteristics of the analog pre-filters. Furthermore, it will be shown that this equalization technique can be applied to multipath echo cancellation, as well. Some examples will be given to illustrate the reduction of nonlinear distortions after demodulation, if digital equalization is carried out.     

IRIG-B时间格式码产生解调电路的设计

IRIG-B码作为一种国际通用的时间编码,在时间信息传输方面已得到广泛应用.通过介绍IRIG-B格式码的格式与规范,给出了应用于对时终端的IRIG-B格式时间码,产生解调电路的设计及相应的软件程序流程.     

一种基于主动轮廓模型的心脏核磁共振图像分割方法

提出一种基于主动轮廓模型的左室壁内、外膜分割方法.首先构造了主动轮廓模型的广义法向有偏梯度矢量流外力模型GNBGVF,作为对梯度矢量流(GVF)的改进,该外力场同时保持了切线方向和法线方向有偏的扩散,具有捕捉范围大、抗噪能力强,且在弱边界泄漏等问题上性能突出.就左室壁内膜的分割而言,考虑到左室壁的近似为圆形的特点,引入了圆形约束的能量项,有利于克服由于图像灰度不均、乳突肌等而导致的局部极小.对于左室壁外膜的分割,采用内膜的分割结果初始化,即通过重新组合梯度分量来构造外力场.该外力场能够克服原始梯度矢量流的不足,使得左室壁外膜边缘很弱时也能得到保持,可以自动、准确地分割外膜.实验结果表明,该方法能高效准确地分割左室壁内、外膜.     

面向磁共振图像重建的k空间降采样优化

成像速度是关系磁共振临床应用效能的重要因素,在k空间中降采样,再配合图像重建,可有效加快成像速度.因此,文中考虑降采样方式对磁共振图像重建质量的影响,在训练深度学习网络进行磁共振图像重建的情况下,提出联合优化k空间降采样方式与重建模型的方法.从k空间全采样入手,逐步删除次要的相位编码,直到针对相位编码的采样满足稀疏性要求为止.同时,采样方式的优化是和深度学习图像重建模型参数优化交替进行,即赋予每个相位编码一个权重,通过权重大小确定相位编码的重要性,在优化重建网络参数的同时,完成对k空间降采样方式的优化.实验表明文中方法可提升磁共振图像重建质量.     

连续相位调制信号的载波相位软同步算法

针对连续相位调制(CPM)信号载波相位同步困难的问题,提出一种通用的CPM信号的载波相位软同步算法。在CPM调制信号的Rimoldi分解的基础上,基于最大似然准则和EM算法推导了载波相位的软同步算法,该算法将解调器与同步器联合,利用CPM软解调器输出的软信息进行载波相位估计。仿真结果表明,该算法能够得到接近修正克拉美罗限的载波相位估计,并获得近似理想的误码率性能。