基于逻辑函数e导数的双逻辑综合

讨论了逻辑函数的e导数与逻辑函数化简的关系,并在此基础上提出了基于逻辑函数e导数化简逻辑函数的新方法.由于采用了双逻辑综合,逻辑综合效果优于传统的基于与-或-非运算的逻辑综合.     

基于三变量通用阈值逻辑门的量逻辑函数查表综合变

介绍并讨论了逻辑函数的分类和通用阈值逻辑门，提出了使用三变量通用阈值逻辑门实现任意三变量逻辑函数的查表综合方法．并给出了若干设计实例。     

基于三变量通用阈值逻辑门的三变量逻辑函数查表综合

 介绍并讨论了逻辑函数的分类和通用阈值逻辑门,提出了使用三变量通用阈值逻辑门实现任意三变量逻辑函数的查表综合方法,并给出了若干设计实例.     

比较逻辑的研究

本文引入几种比较运算,并讨论了它们的表示、有关性质及其在处理逻辑函数中的应用。此外,还提出了使用晶体管的比较逻辑门及通用比较逻辑门的设计。作者认为,由于比较运算揭示了电路中开关元件的作用实质,因此,充分利用晶体管功能的比较逻辑单元,可在数字集成电路的设计中得到应用。     

基于互补输出的三变量通用阈值逻辑门CRM展开函数查表设计

介绍了在或-同或系统中逻辑函数的CRM展开与分类,给出了基于逻辑函数CRM展开的三变量函数P分类表、接线顺序表.讨论了互补输出通用阈值逻辑门及其设计方法.提出了CRM展开的P分类代表函数的接线方案表.在此基础上,提出了基于互补输出的三变量通用阈值逻辑门的任意三变量CRM展开函数的查表设计方法.通过若干设计实例,证明了此方法的有效性.     

数据选择器型通用逻辑组件的逻辑综合

本文提出了一种使用数据选择器进行逻辑设计的算法,本算法从数据选择器树的首级开始,挑选恰当的数据选择变量,使树型结构得以简化,减少组件总数。     

RM分解图及其应用

针对与-异或逻辑代数系统中电路设计与化简的要求，提出了一种全新的图形表示方法——RM分解图，讨论了利用RM分解图将任意开关函数变为RM对称函数等方面的应用，并在此基础上提出了一系列基于RM分解图的图形方法，用来指导超大规模集成电路中基于通用逻辑门的单元电路的设计与化简，设计出的电路具有易于检测、连线数少等优点。     

基于RTD可编程逻辑门的数字电路3层网络综合算法

随着集成电路的不断发展,CMOS器件的工艺逐渐达到其物理设计极限,研究新器件和新设计方法成为集成电路继续发展的必经之路. 阈值逻辑门因具有强大的逻辑功能而备受关注,共振隧穿二极管（RTD）因其负阻特性在设计阈值逻辑门时更具优势. 由于阈值逻辑门与二进制神经元模型有相似之处,因此可用神经网络模型实现逻辑函数,从而为电路设计提供新的思路. 对基于RTD可编程逻辑门的3层网络算法中的隐层综合算法进行了改进,提出采用汉明距离最大优先覆盖的方法对真向量进行覆盖,从而提高了真向量的覆盖效率,减少了隐层函数个数,并采用真假向量标记的方法简化了隐层综合算法.提出的算法比原隐层综合算法简单,进一步简化了基于RTD可编程逻辑门实现n变量函数的电路.     

最佳通用逻辑门ULG.2 的应用研究

本文在作者以前研究的基础上,进一步研究最佳通用逻辑门ULG.2的应用,提出了用ULG.2组成的一些脉冲电路。     

基于library-free映射的电路面积快速优化算法

针对library-free映射过程中常用的动态规划算法在求解大电路时覆盖时间过长的问题,提出了一种将动态规划与遗传算法相结合的混合优化算法,用于平衡求解速度和求解质量,并利用“与/或/非”图和逻辑努力实现基于MOS晶体管的电路的面积估算.MCNC电路的测试结果显示,相较于动态规划,混合算法求得的最优解在面积平均增加不到1%的情况下,求解时间可节省35%以上.     

基于自适应演化算法的DS-CDMA多用户检测

提出了一种新的自适应演化算法，用来解决码分多址系统中的多用户检测问题．该算法采用最大似然判决来检测用户发送的比特序列，根据当前变异的成功概率来自适应调整子代种群规模．仿真结果表明，基于自适应演化算法的多用户检测器总能在指定的迭代次数内收敛到与最优多用户检测器相一致的结果．该算法与未采用自适应机制的进化规划相比，当用户数从10增加到20时，收敛所需的代数相应减少37．5％到47．8％．该算法的计算复杂度是与用户数相关的多项式复杂度，与最优多用户检测器的指数复杂度相比，具有较好的可行性和实用性．     

MATLAB语言在化学中的应用(Ⅰ)

通过三个具体实例介绍了ＭＡＴＬＡＢ语言在化学中的应用,说明在数值计算方面ＭＡＴＬＡＢ语言有着比目前流行的高级语言ＦＯＲＴＲＡＮ、ＰＡＳＣＡＬ、Ｃ无法比拟的强大功能,同时也介绍了ＭＡＴＬＡＢ语言的其他功能,化学工作者只要掌握了ＭＡＴＬＡＢ语言即使不懂其它的高级程序设计语言,完全可以设计出功能强大,界面优美,稳定可靠的高质量的程序。     

新疆泥炭藓科植物的初步研究

通过十余年来在新疆所采的标本,整理研究了泥炭藓科植物。现知该地区有本科植物８种,拟尖叶泥炭藓、尖叶泥炭藓、秃叶泥炭藓、卵叶泥炭藓、红叶泥炭藓、粗叶泥炭藓、细叶泥炭藓和阔边泥炭藓。简要概述了每种的识别特征、生境和地理分布,并根据标本编制了新疆泥炭藓属植物分种检索表,凭证标本存于河北师范大学生物系植物标本室（ＨＢＮＵ）和新疆大学生物系植物标本室（ＸＪＵ）。     

Windows95,98维文平台的开发

在Ｗｉｎｄｏｗｓ９５,９８环境下,对维文字符的编码,宽度计算,自动选型,输入／输出技术从系统角度进行了全面的介绍。     

南疆沙蜥受精过程的细胞学研究

运用细胞学方法南疆沙晰在人工条件下的整个受精过程,进行了初步研究。南疆沙蜥的精和卵就象其他蜥蝎一样具有某些特征,南疆沙蜥的精子顶体具对精卵识别,粘附可能起着重要作用。在受精过程中几个精子以头部粘附在卵表面,以后精子头部弯曲,以至其头部的尖端接触卵表面,并进入卵中,在整个受精过程中仅有一个精子     

多值逻辑函数的扩散性质

对多值逻辑函数的扩散性进行了研究，采用多值逻辑函数的Chrestenson循环谱分别给出了满足PC(k)、PC(k)／m和EPC(k)／m的多值逻辑函数之充要条件，并给出了二次P值逻辑函数满足PC(k)／m和EPC(k)／m的充要条件．     

基于MIP的顺序资源共享分配系统的虹吸寻找方法

研究了S⁴PR(systems of sequential systems with shared resources)网的虹吸寻找问题.S⁴PR网是一类典型的用于建模顺序资源共享分配系统的Petri网模型.在S⁴PR网中,虹吸的不充分标识会导致死锁.现有的虹吸寻找算法得到的虹吸集合中,存在着不需要进行控制的冗余虹吸,对其添加控制器将会导致控制的冗余和受控系统行为允许度的降低.提出了一种基于混合整数规划(MIP)的虹吸寻找方法,并证明了当该方法没有合适的解时,网系统是活的.与现有的其他算法相比,这一方法能直接获取一个极小的虹吸,并剔除一些并不需要控制的虹吸,因此能用于设计更高允许度的虹吸控制器.应用实例说明了其用于死锁预防策略的可行性和有效性.     

FETV-ICP-AES直接测定高纯二氧化硅中痕量钛

以聚四氟乙烯（ＰＴＦＥ）悬浮液为氟化剂，氟化电热蒸发／（ＦＥＴＶ）－ＩＣＰ－ＡＥＳ直接分析粉末二氧化硅．在优化实验条件下，基体Ｓｉ及痕量Ｔｉ均转化为氟化物，并以氟化物形式蒸发．结果表明：高达２０ｇ·Ｌ－１的Ｓｉ对Ｔｉ的分析信号的干扰可以忽略不计；ＳｉＯ２的粒度高达１５４μｍ时，相对蒸发率仍接近１００％，对悬浮体和溶液中基体及待测元素的蒸发特性进行了比较研究，并对石墨炉内发生的热化学反应进行了初步的探索．     

地理信息系统结构设计

本文介绍了地理信息系统结构设计的基本原理和方法，讨论了系统的软件的基本内容和特点，系统的开发环境以及系统模型的构造原理，同时用系统论的方法阐述了地理信息系统库数据概念模型，地理空间数据的集合运算、图形／图象数据的逻辑运算信息系统操作原理，并深入探讨了地理信息系统的基本逻辑操作春操作公理。