首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   2篇
  免费   0篇
  国内免费   1篇
化学工业   1篇
机械仪表   1篇
自动化技术   1篇
  2014年   2篇
  1999年   1篇
排序方式: 共有3条查询结果,搜索用时 5 毫秒
1
1.
随着集成电路工艺持续高速发展,片上处理器核数目呈现指数增长规律,设计复杂程度不断增长,对处理器验证提出了严峻的挑战,至今仍缺乏有效的工具手段。提出了一种多核处理器事务级模型的多视图协同验证方法,将模拟验证、形式验证、应用验证三种不同验证视图,采用统一平台集成为一体化验证环境。从而可在一体化验证环境中,充分发挥多种验证方法综合应用的优势,协同高效完成多核处理器事务级模型验证任务。基于SoCLib事务级建模仿真平台实现了一个具有良好可扩展性的多视图协同验证环境MVIE。初步应用实验结果表明,多视图协同验证和传统单一视图验证方法相比,在模型验证的方便性、完备性、高效性以及模型数据一致性维护等方面,具有明显的优势。  相似文献   
2.
出于运行监控需求,火力发电厂蒸汽管道存在大量取样点,均为现场安装。300MW级机组工程普遍采用A335P91高合金钢做主蒸汽管道,该材料具有良好的抗高温蠕变性能,但对焊接工艺要求极为严格,附属设备的不良焊接质量也易影响主管道的正常运行;出于化验要求,取样管道材质为1Cr18Ni9Ti不锈钢。如何将两种性能、合金含量差异极大的材料焊接在一起,同时满足工作要求,成为一个施工难点。本文探讨了A335P91与1Cr18Ni9Ti异种钢焊接工艺,并应用于实际施工中,对同类型的焊接施工具有指导意义。  相似文献   
3.
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号