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

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

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

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

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

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

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

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

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

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

改革高校经济学教育的思考

为强化素质教育,培养全球性经济背景下的科技人才,高校的经济学教育应通过组织新的经济学教材和改革教学方法,培养学生获得知识、应用知识并创造新知识等五种基本技能,达到经济学教育的基本目标.     

一种基于模糊规则的非线性系统快速模糊辨识方法

针对以往模糊建模方法中算法中算法过于复杂的问题，提出了一种简单而有交的复杂系统模糊建模新方法。该方法是基于输入空间的模糊划分，计算给定样本在各模糊子空间的隶属度，并列用卡尔曼滤波算法辨识模糊模型的结论参数。整个辨识过程与模糊聚类方法和误差反馈学习方法相比所需的CPU时间最短。最后通过著名的Box-Jenkins煤气炉数据仿真结果证明了该方法的有效性与实用性。     

MARKOV DECISION PROGRAMMING-THE FIRST PASSAGE MODEL WITH DENUMERABLE STATE SPACE

In this paper,we discuss MDP with discrete time parameter-the firstpassage model with denumerable state space.Under assumption A in this paper,we prove that an ε(>0)-optimal stationary policy exists.To find an ε-optimalstationary policy,an algorithm of policy improvement iteration and a method ofsuccessive approximations are given.     

超微粒子－有机聚合物薄膜的研究

我们用离子团束－飞行时间质谱（ＩＣＢ－ＴｏＦＭＳ）系统制备了金（Ａｕ）超微粒子－聚乙烯（ＰＥ）薄膜和Ｃ＿（６０）－聚乙烯薄膜。用透射电子显微镜（ＴＥＭ）分析了所制备的样品。它们的结构是Ａｕ超徽粒子镶嵌在多晶的ＰＥ薄膜中，其中Ａｕ原子团呈球形，直径分布在２．０－５．０ｎｍ窄范围内，当沉积基底温度为９０℃时，Ａｕ原子团相互靠近，几乎连接起来，但仍保持原来大小。基底温度为１４０℃蒸积的Ｃ＿（６０）－ｐＥ薄膜具有晶态结构，其晶格常数为１．４５４ｎｍ。     

工作流技术在公文流转中的设计

对工作流技术的产生、体系结构及特点作了简要介绍,分析了公文流转的业务过程,提出了基于工作流控制的公文流转系统的设计方法,使得目前存在的公文流转系统中并未实现真正流程化的问题得以解决,对于具体公文流转的抽象、简化以及整个系统规划都进行了详细的阐述。