面向CPU芯片的验证技术研究

CPU芯片规模大、复杂度高,在芯片设计的不同阶段进行多层次的验证,保证芯片的正确性非常关键。文章探讨了模拟验证、FPGA仿真、形式验证和静态时序分析等验证方法,提出了一种多级验证体系方法,实现CPU芯片的多层次验证,并成功地验证了自行设计的微处理器的正确性和兼容性。     

长庆气田无人值守技术及攻关方向浅析

目前长庆气田井场无人值守率100%,新建站场无人值守率100%,实现了无人值守场站运行模式和管理模式的创新,提高了气田管理水平,提高了生产运行安全保障能力,探索出了适合"三低"气藏效益开发的"低成本"数字化无人值守管理模式。详细介绍了长庆苏里格气田、靖边气田和榆林气田井场和站场无人值守技术,同时提出了无人值守技术的两点攻关方向,对国内同类气田无人值守技术的建设具有一定的指导意义。     

tģ�͵�Ӧ�ü�����

在油气藏工程研究中，ｔ模型是一个有用的预测模型。文章首次提出ｔ模型参数ｎ的变化范围，提出预测油，气田可采储量，产量和累积产量的方法，为油气田开发管理决策提供了依据。     

变径弯管过渡段三岔管曲面设计

文中主要利用变径弯管曲面设计出主管与三分岔管间的过渡段曲面，以改善水流条件。     

延长寿命的冷冲模设计

在金属成形工艺中,模具寿命直接影响到产品的质量与成本。如何延长模具的使用寿命,一直是模具设计、制造、使用者所关心的问题,也是模具工业中需要解决的一个极其重要的问题。当然,在提高模具寿命方面业已总结出很多行之有效的措施,如冲压间隙值的合理选取、正确选用模具材料、制订科学的热处理工艺、完善冲压加工工艺等等,在实践中已收到了很好的效果。本文结合实例,仅从改进凹(凸)模结构方面,谈谈延长冷冲模寿命的方法。     

CPU验证平台的研究与实现

针对CPU设计的特点,建立完善的验证平台对CPU的验证至关重要。介绍了CPU验证平台一般形式和特点,提出了面向高性能CPU功能验证的全芯片验证平台的结构和构造方法,阐述了基于硬件加速器的CPU验证平台的实现。该验证平台已成功验证了自主设计的CPU的正确性和兼容性。     

应用压力恢复曲线中期段确定油井的地质储量

提出了应用压力恢复曲线径向流直线段及其结束的时间(△t_(end))、计算单井油井原始地质储量(N)的方法.通过实例应用容积法对该方法的检验结果表明,二者计算的油井原始地质储量是一致的.     

冲击钻嵌岩灌注桩沉渣厚度测量方法

分析了造成冲击钻嵌岩灌注桩沉渣厚度测量不准确的原因,提出了一种简便易行的解决方法.