存储系统功能验证方法浅析

IC日益增长的设计复杂性和在时间、代价方面的需求,使得验证工作很重要却又困难重重。传统的简单验证方法和手段已不能满足 要求,采用新的验证方法势在必行。以存储系统功能性的验证为例,介绍了目前流行的先进的验证方法.包括ABV(Assertion-based verification)和TBV(Transaction-based verification)。对ASIC芯片的一般功能验证流程也作了较为详尽的分析。     

Cr13铁素体不锈钢在常减压装置的使用

我厂常减压装置1971年投运,至1982年基本上炼制大庆原油,设备用材基本上是碳钢.从1983年起炼制原油的性质不断变坏(表1),设备处理量也不断增加,设备腐蚀越来越严重,减压塔转油线低速段(20G)入口部位年蚀率3～4mm/a.为保证设备的安全运行,在腐蚀严重部位使用了Cr13型铁素体(或半铁素体)型不锈钢,如     

基于信息化环境的中职计算机教学设计研究

新时期教育信息化为教育现代化最为鲜明的时代特征,在这样的背景下,就需要我们结合各个学科的教学需求积极发展教学信息化.中职教育是我国教育体系十分重要的组成部分,在培养社会基础性人才方面发挥着不可替代的作用.计算机课程是中职教育的重要课程,为了更好的提高教学质量和教学效果,中职计算机教学必须顺应信息化发展需求,积极开展信息化教学.目前,中职计算机教学设计还比较单一化和简单化,教学内容注重培养学生的理论知识,对中职学生技能训练不足.在信息化环境下,中职计算机教学设计必须改变过去传统的计算机教学模式,探索全新的教学方式,最终促进教学质量提升.本文主要结合实际情况,就基于信息化环境的中职计算机教学设计进行了分析,希望通过本次研究对同行有一定帮助.     

电梯双电源供电装置PLC控制系统设计

提出了一种以S7 - 300 PLC为主的集成了后备电池供电、主回路检测、语音故障提示、无线救援和故障联锁控制等特殊功能的电梯专用双电源供电装置控制系统设计方法.分析了电梯双电源供电装置的结构组成和功能设计,着重阐述了后备供电单元、语音故障播放器、无线救援器和故障联锁控制的工作原理,深入分析了S7 - 300 PLC控制系统的硬件和软件设计方法.该系统的应用提高了电梯安全运行的稳定性和故障响应的实时性.     

基于现场总线技术的地铁环控方案研究

文章阐述了地铁环控方案，结合天津地铁的实际情况，利用PROFIBUS总线技术研究了对地铁环控系统的有效控制，并对通排风系统、给排水系统、防灾报警系统等方面进行了较详细地阐述，从而得出方案设计的结论。     

“BL—928”油溶性缓蚀剂在长岭一套常减压装置的应用试验

文章总结了“BL-928”油溶性缓蚀剂在常减压装置常压塔顶系统的工业应用试验结果。证明该缓蚀剂在常顶空冷系统比“7019”水溶性缓蚀剂缓蚀效果提高2.5倍以上,常压塔顶腐蚀速率降低1.7倍,缓蚀剂膜残余保护期达48小时,缓蚀剂注入维持浓度为2～3ppm。