程序中表达式的副作用问题讨论

讨论函数式语言中引入赋值操作 ,表达式的副作用对程序正确性检查的影响 ,同时也讨论了强制型语言中如何克服表达式的副作用 .文中引入了良性副作用的概念 ,并对函数式语言和强制型语言中表达式副作用是否是良性的作了进一步的讨论     

傅里叶级数的曲线仿真应用及算法

以电力系统日负荷曲线为例，应用傅里叶级数进行仿真，并提出用线性化回归方法求取傅里叶级数系数的新算法。     

73K222AL单芯片调制解调器与单片机的接口电路

73K222L是TDK公司新推出的单芯片式调制解调器，主要用于单片机测控系统．文章分析了它的主要特性，同时给出了73K222AL与单片机AT89C51的接口电路和应用程序设计．实践表明，该模块通过电话网络实现远程控制效果很好．     

适应式可逆环形电路

本文介绍一种 N 级适应式可逆环形电路的原理和设计方法。该电路有两个特点:一、当电源电压大幅度变动时,环形电路仍能正常工作,二、其最大移位速率随着级数的增加而增加。由于上述特点,这种电路的工作不受环境温度和电路级数的影响,因面它具有很强的抗干扰能力,特别适用于含有可控硅开关的设备中。     

关于分圆域的整数剩余类环上的DFT

由于电子计算机的发展,快速计算离散富氏变换(DFT)的方法,近几年来发展很快,已在许多实际问题中得到应用。数论变换就是其中一个重要的新方法。对于数论变换及复数论变换,Rader、Agarwal、Burrus、Reed、Truong以及作者,先后均有若干工作,可参看和所附的参考资料。     

关于Banach空间范数的可微性

设E是一个Banach空间,E~*是E的共轭空间。定义1:设x_ o∈E,如果对任意x∈E,极限■(‖x_o+hx‖-‖x_o‖)/h皆存在,则称范数‖x‖在x_o处弱可微;如果对E中单位球‖x‖≤1的元素而言,极限存在是一致的,则称范数在x_o处强可微,如果范数在每一点x处皆强(弱)可微,简称范数强(弱)可微。类似地可考虑E~*中范数的可微性,(?)曾研究了范数的可微性,给出了范数可微的一些条件:     

苏云金芽孢杆菌cry1I基因沉默的研究

分析了苏云金芽孢杆菌(Bt)cry1和cry1I基因的保守区,在cry1类基因的下游和cry1I基因的上游设计了一对通用引物,用于检测cry1I与cry1类基因的连锁现象.从鉴定的142株Bt分离株中,PCR扩增发现71株出现约1.4kb的阳性带,说明这一现象广泛存在于Bt菌株中.在此基础上用pGEM-T Easy载体克隆了菌株Bt07和J8中的连锁序列,序列分析表明,Bt07中是cry1I基因与cry1Db基因连锁,间隔区为504bp;J8中是cry1Ia基因与cry1Ac基因连锁,间隔区为506bp.进一步比较间隔区序列,同源性达93.7%,同时含有多个原核生物终止序列,且未发现启动子序列,揭示了这两个菌株中cry1I基因沉默的成因.     

Chwa & Hakimi故障模型的方程诊断算法

对于一般情形下的Chwa ＆ Hakimi模型,在不以“t-可诊断性”和“相信大多数”作前提假设的情况下,找到了求全体相容故障模式的具体方法——方程诊断算法,实践证明,诊断效果理想。     

基于四阶累积量的线性调频信号参量估计

针对加性高斯有色噪声背景下的一维、二维线性调频信号的参量估计问题,引入高阶统计量,提出了一种基于四阶累积量的新方法。该方法利用高阶累积量对加性高斯噪声有较好的抑制能力的特性,结合极大似然方法,可获得较低信噪比下的线性调频信号参量的较高精度的估计。给出了应用该方法的具体步骤,通过仿真实验证明了该算法的有效性。     

短语音说话人识别新方法的研究

提出了一种较短训练语音的说话人识别新方法。利用模糊核聚类算法设计矢量量化器,对说话人的语音特征进行训练。模糊核矢量量化器将原始空间通过非线性映射到高维特征空间,在高维特征空间中对说话人的训练语音特征进行模糊聚类分析,将得到的每个类中心作为说话人的语音模型。识别时将识别矢量映射到高维空间进行匹配决策。由于核方法的引入,使得原来没有显现的特征突现出来,增加了说话人之间的可区分性。实验表明,该方法对于较短的训练语音,其识别效果优于高斯混合模型和模糊矢量量化。