用VIS验证微处理器PIC

近年来,二叉判定图ＢＤＤ和符号模型检验在形式验证数字电路设计中取得了突破性进展,文中介绍了符号模型检验的基本原理和方法,重点介绍了如何用ＶＩＳ系统验证微处理器ＰＩＣ设计的正确性。利用ＶＩＳ证明了ＰＩＣ设计部分电路的等价性。发现了一个设计错误并证明了ＰＩＣ中一些重要模块的特性。     

甲烷化炉内衬的改造

甲烷化炉内衬的改造刘建元（湖北省化工厂湖北省应城４３２４０７）１甲烷化炉出回微量偏高对生产的影响我厂在１９８７年７月～１９９３年７月间，由于甲烷化炉出口微量长期偏高，使合成氨生产一直处于极其被动的局面。其影响有如下两个方面：门）合成催化剂受其毒害寿命...     

一种测试语言包含的算法

在积自动机基础上,利用互模拟关系引出商自动机,用以解决积自动机的状态组合爆炸问题。进而提出一个自然的测试语言包含的算法,这种算法的空间复杂度与规范自动机的状态目呈指数关系即O（2^k),其中K是规范自动机的状态数目。     

有序二叉判定图及其构造算法研究

有序二叉判定图OBDD(orderedbinarydecisiondiagram)是一种数据结构 ,它把布尔函数表示为有向无回路图 ,是布尔函数的一种正则表示 ,可以用来检查布尔函数的一些性质如可满足性、等价性等等。本文将详细地介绍OBDD的数据结构及基于OBDD的布尔函数运算 ,并给出改进后的构造OBDD的算法     

大尺寸NiFe2O4-10NiO/17Ni型金属陶瓷惰性阳极的制备

研究以PVA为主要成分的粘结剂体系的热分解特性对大尺寸粉末压坯脱脂行为的影响,发现PVA的不均匀热分解是造成大尺寸粉末压坯脱脂失效的原因之一,开发一种具有稳定热分解反应特性的新型粘结剂体系,实现大尺寸粉末压坯的无缺陷热脱脂;研究烧结气氛、金属相的添加对NiFe2O4-10NiO致密化行为的影响。结果表明：N2气氛烧结及加入Ni可有效提高NiFe2O4-10NiO陶瓷基体的烧结致密度,1350℃时于N2气氛中烧结的NiFe204．10NiO／5Ni型金属陶瓷材料的相对密度达到97．28％。采用优化工艺实现d120mmX140mm深杯状NiFe2O4-10NiO／17Ni金属陶瓷惰性阳极脱脂预烧坯的烧结,所得烧结坯平均相对密度为95．21％。     

放射性示踪剂在储层评价中的应用

在碳酸岩和方解石胶结的砂岩储层中，水通常含有大量的二价钙离子（Ca＋2）和镁离子（Mg＋2）。据Cowan和Weintritt的研究，在石油开采过程中，碳酸钙（CaCO3）是最普遍的成分。肖一种可溶物过饱和的时候，易溶的碳酸钙（CaC03）就可能形成。储层中，在一定的温度和压力下，盐水在化学成分上与他周围的介质相平衡。当碳酸钙（CaC03）为固态时，平衡可能被从盐水或石油中脱出的CO2破坏，从而导致沉淀作用的发生。最后，沉淀作用可能会因油田水的回注或CO2在流动过程中因盐水-CO2的相互作用而产生。然而，许多水已经变得过饱和和易于结垢的生产水并不是大量产生。在过饱和（SR）与结晶之间存在着一个时问差。这段时间延迟一般定义为感应时间（tind），     

机关文件印刷 首选营口冠华

~~机关文件印刷 首选营口冠华$潍坊市委机关印刷所!所长@刘建元     

UG-CAM铣削编程与数控加工仿真软件的综合应用

以一个工件的数控加工工艺为例,阐述了UG数铣编程操作过程及UG编程的操作技巧。通过将UG-CAM生成的数控加工程序导入仿真系统进行加工模拟,证实数控加工仿真软件可模拟数控机床的操作及数控加工程序的试切过程,并能对数控加工程序的加工效果进行预评估。     

自由曲面实时插补技术及其改进研究

本文指出了传统离线编程方法的不足,提出了自由曲面直接插补控制方法,提出了对传统插补方法的修正偏置算法及针对实时插补技术的速度修调,阐述了实时插补算法轨迹的生成过程、该插补算法基于曲面曲率等几何信息控制加工误差及切削步长、切削行宽,生成的刀具路径具有一定的自适应性。