基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

氨基膦酸羧酸螯合树脂的合成及其对痕量镧系稀土富集分离性能的研究

简要叙述了氨基膦酸羧酸树脂的合成路线 ,用 ICP- AES对其富集分离痕量镧系稀土元素进行了研究 ,讨论了吸附酸度、洗脱、吸附流速以及共存离子干扰等的影响 ,并进行了实际样品的分析 ,获得了满意的结果 .     

光子选通光谱烧孔的全息检测与图像存贮

报道在有机光子选通光谱烧孔材料苯基四苯并卟啉锌/芳晴系统中，进行全息光谱烧孔和图像存贮的实验结果．实验表明全息烧孔极大地提高了光谱孔的检测灵敏度和信噪比．通过全息光子选通光谱烧孔，成功地进行了光子选通型的频率选择的多幅全息图存贮，得到清晰的图像再现 关键词：     

KNbO3：Fe晶体的时间微分效应及图像追踪

本文观察到了KNbO_3:Fe晶体的时间微分效应,并用这个微分效应进行了图像追踪的演示,为KNbO_3:Fe晶体在光折变器件领域的应用进行了有益的探索。     

工业CT图像均匀性校正

在工业CT图像重建过程中,射束硬化使得图像出现“杯状”伪影,阵列探测器响应不一致使得图像出现环状伪影、带状伪影和点伪影,影响图像均匀性.本文分析了射束硬化的原理和探测器响应不一致的数学模型,并通过实验,对探测器响应进行多挡板定标得到校正系数表.利用查表插值的方法对投影数据进行均匀性校正,消除上述伪影.     

基于DSP的电子耳蜗语音处理器的研制

电子耳蜗是一项正在迅速发展的聋人康复新技术，其关键是要研制出可靠、灵活、价格低廉的产品。首先介绍电子耳蜗的原理及其进展，然后介绍基于TMS320VC5402 DSP处理器的电子耳蜗语音处理器。实验证明：基于DSP的电子耳蜗系统可以按照患者的实际情况灵活选择各种语音处理方案，并能方便实现语音预处理、噪声抑制和对应各电极的频谱阈值调整，是一种比较好的系统结构。     

YBa2Cu3O6+x光电导效应的研究进展

本就高温超导体YB2Cu3O6 x的光电导效应的研究现状进行了介绍，并就机理解释及未来的研究工作做了简单的评述。     

Three New Diarylpropanes from Dioscorea composita

Three new diarylpropanes were isolated from the dried rhizomes of Dioscorea composita Hemsl., and their structures were determined as 1, 3-bis-(2-hydroxy-4-methoxyphenyl) propane (1), 1, 3-bis-(2, 4-dihydroxyphenyl)propane (2), 1-(2′-hydroxy-4′-O-β-D- glucopymnosy-phenyl)-3-(2“, 4“-dihydroxyphenyl)propane (3), by spectroscopic analysis, respectively.     

一个包含Smarandache函数的方程

对于任意正整数n,我们用S(n)表示Smarandache函数,即S(n)=min{m:n|m!}.本文的主要目的是运用初等方法研究方程∑_(d|n)S(d)=n的可解性,并给出它的所有正整数解.     

洛沦兹混沌系统的实验验证

分析了洛沦兹混沌系统的基本原理,详细阐述了在电路上实现的方法,通过MATLAB中计算模拟、EWB电子电路仿真、硬件实验结果三者相比较,取得了一致的结果,因此证实了此方法的可行性.这种电路设计方法可以推广到类似的混沌系统的电路设计.