排序方式: 共有38条查询结果,搜索用时 303 毫秒
1.
用VIS验证微处理器PIC 总被引:2,自引:0,他引:2
近年来,二叉判定图BDD和符号模型检验在形式验证数字电路设计中取得了突破性进展,文中介绍了符号模型检验的基本原理和方法,重点介绍了如何用VIS系统验证微处理器PIC设计的正确性。利用VIS证明了PIC设计部分电路的等价性。发现了一个设计错误并证明了PIC中一些重要模块的特性。 相似文献
3.
4.
在积自动机基础上,利用互模拟关系引出商自动机,用以解决积自动机的状态组合爆炸问题。进而提出一个自然的测试语言包含的算法,这种算法的空间复杂度与规范自动机的状态目呈指数关系即O(2^k),其中K是规范自动机的状态数目。 相似文献
5.
大尺寸NiFe2O4-10NiO/17Ni型金属陶瓷惰性阳极的制备 总被引:1,自引:0,他引:1
研究以PVA为主要成分的粘结剂体系的热分解特性对大尺寸粉末压坯脱脂行为的影响,发现PVA的不均匀热分解是造成大尺寸粉末压坯脱脂失效的原因之一,开发一种具有稳定热分解反应特性的新型粘结剂体系,实现大尺寸粉末压坯的无缺陷热脱脂;研究烧结气氛、金属相的添加对NiFe2O4-10NiO致密化行为的影响。结果表明:N2气氛烧结及加入Ni可有效提高NiFe2O4-10NiO陶瓷基体的烧结致密度,1350℃时于N2气氛中烧结的NiFe204.10NiO/5Ni型金属陶瓷材料的相对密度达到97.28%。采用优化工艺实现d120mmX140mm深杯状NiFe2O4-10NiO/17Ni金属陶瓷惰性阳极脱脂预烧坯的烧结,所得烧结坯平均相对密度为95.21%。 相似文献
6.
在碳酸岩和方解石胶结的砂岩储层中,水通常含有大量的二价钙离子(Ca+2)和镁离子(Mg+2)。据Cowan和Weintritt的研究,在石油开采过程中,碳酸钙(CaCO3)是最普遍的成分。肖一种可溶物过饱和的时候,易溶的碳酸钙(CaC03)就可能形成。储层中,在一定的温度和压力下,盐水在化学成分上与他周围的介质相平衡。当碳酸钙(CaC03)为固态时,平衡可能被从盐水或石油中脱出的CO2破坏,从而导致沉淀作用的发生。最后,沉淀作用可能会因油田水的回注或CO2在流动过程中因盐水-CO2的相互作用而产生。然而,许多水已经变得过饱和和易于结垢的生产水并不是大量产生。在过饱和(SR)与结晶之间存在着一个时问差。这段时间延迟一般定义为感应时间(tind), 相似文献
7.
8.
刘建元 《中国制造业信息化》2011,40(13)
以一个工件的数控加工工艺为例,阐述了UG数铣编程操作过程及UG编程的操作技巧。通过将UG-CAM生成的数控加工程序导入仿真系统进行加工模拟,证实数控加工仿真软件可模拟数控机床的操作及数控加工程序的试切过程,并能对数控加工程序的加工效果进行预评估。 相似文献
9.
本文指出了传统离线编程方法的不足,提出了自由曲面直接插补控制方法,提出了对传统插补方法的修正偏置算法及针对实时插补技术的速度修调,阐述了实时插补算法轨迹的生成过程、该插补算法基于曲面曲率等几何信息控制加工误差及切削步长、切削行宽,生成的刀具路径具有一定的自适应性。 相似文献
10.
刘建元 《西安邮电学院学报》2001,6(3):6-10
有序二叉判定图OBDD(orderedbinarydecisiondiagram)是一种数据结构 ,它把布尔函数表示为有向无回路图 ,是布尔函数的一种正则表示 ,可以用来检查布尔函数的一些性质如可满足性、等价性等等。本文将详细地介绍OBDD的数据结构及基于OBDD的布尔函数运算 ,并给出改进后的构造OBDD的算法 相似文献