论文部分内容阅读
Structure-Oriented RTL Automatic Test Generation
【出 处】
：
湖南大学学报(自然科学版)
【发表日期】
：
2000年S2期
其他文献
安全生产是炼化企业生存的基础,安全管理工作是炼化企业工作的重中之重。本文结合工作实际,就炼化企业安全管理工作中的一些普遍的不足之处,提出若干建议。
目的探讨低浓度25 G笔尖式SA针应用于老年人PFNA手术的临床麻醉效果。方法随机选取该院于2012年9月—2013年5月间收治的60例老年人PFNA手术选用低浓度腰麻,选择L3~4穿刺为研
拓扑简化可以为渐进网格带来更好的效果,但目前几乎所有的渐进网格方法都不支持拓扑简化,而且edgecollapse和vertexsplit操作有时会产生非流形.针对这些问题,提出了基于图形旋转系统的渐进网格法.以基于图形旋转系统的数据结构和操作实现了渐进网格,用图形旋转系统的操作集合构建了edgecollapse和vertexsplit操作.在此基础上,通过扩展新操作即可进行任意拓扑变化,从而实现拓
从河南省临颖县采集的病毒感染的甜瓜样本经ELISA检测和接种分离获得黄瓜花叶病毒（Cucumber mosaic vi-rus,CMV）分离物。把该分离物接种于西葫芦,从发病的叶片中提取总RNA,并以
从语言的文化特性入手，围绕文化蕴涵与语言能力的建构等讨论长期以来我国英语学习中所存在的主要问题，认为在跨文化交际中必须强化文化语境知识和文化素养习得的突出地位。惟其
胃粘膜巨大肥厚症４例报告权力，刘勇昌，魏庆异沈阳２４５医院外科沈阳市大东区长安路７５号１１００４２胃粘膜巨大肥厚症为一罕见疾病，１８８８年Ｍｅｎｅｔｒｉｅｒ首先报道，故又名为Ｍｅｎｅｔｒｉｅｒ病。目前多数学者称为胃粘膜巨大肥厚症。我院自
根据中部地区的资源禀赋和发展基础，有选择、有重点地进行经济圈建设，加速中部地区区域经济一体化进程，是快速提升中部地区集团竞争力、实现国家“中部崛起”战略的有效途径。
本文介绍了大港油田注水站自动化系统建设现状，分析存在问题，提出开展注水站自控及能耗自动分析系统研究与应用。首先开展注水站自控及能耗自动监控系统的关键技术研究，确定建设
目的分析并研究病前进行抗血小板治疗对急性缺血性脑卒中患者静脉溶栓的疗效和安全方面的影响。方法整群选取该院自2010年9月—2014年12月期间,所收治的发病6 h内给予静脉溶
<正>'‘全方位质量深度管控’战略,是管理部在管道建设过程中,处理新建管道工程项目遗留问题,不断探索提出的科研成果。'集中建设项目管理部(以下简称管理部),是管道
期刊