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

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

金属陶瓷惰性阳极压坯的热脱脂工艺

以聚乙烯醇(PVA)和NiFe2O4/Ni型金属陶瓷压坯为对象,采用热重分析(TGA)研究PVA在N2气氛中的热脱脂行为,建立PVA热脱脂速率的数学模型,在此基础上,模拟并计算PVA分解产物气体在多孔粉末压坯内的压力构建情况;结合粉末压坯脱脂强度测试结果,分析粉末压坯在脱脂过程中压坯尺寸、粘结剂含量等因素对升温速率和脱脂时间的影响,获得不同半径尺寸压坯的极限升温速率.运用所得方法和所得极限升温速率结果进行脱脂实验升温制度设计,实现了压坯直径D＝0.12 m,压坯厚度e＝0.12 m的NiFe2O4/Ni惰性阳极大型压坯的无缺陷热脱脂.     

胆管引流T管脱管与常规拔除并发胆汁性腹膜炎的防治

T型管引流是胆道术中胆总管的常规引流方法.但若置管和裁剪方法不当及常规拔管均可引起并发症.选用合适的T管、裁剪长度不超过1.0cm、斟情冲洗胆道、适时拔管、预防及妥善处理胆管等措施均是对并发胆汁性腹膜炎有效的防治方法.     

硬件描述语言VHDL到Verilog的翻译

分析了两种常用硬件描述语言 Verilog和 VHDL的语言特征 ,找出它们之间内在的对应关系 ,并阐述了由 VHDL向 Verilog语言翻译的实现方法。这对于硬件设计具有辅助作用     

胆管引流T管脱管与常规拔除并发胆汁性腹膜炎的防治

Ｔ型管引流是胆道术中胆总管的常规引流方法，但若置管和裁剪方法不当及常规拔管均可引起并发症。选用合适的Ｔ管，裁剪长度不超过１．０ｃｍ，斟情冲洗胆道，适时拔管，预防及妥美处理胆管等措施均是对并发胆汁性腹膜炎有效的防治方法。