疏水沉降下井壁次生地压及附加力分布规律

根据表土沉降过程中立井井壁的受力变形特点,将立井井壁的变形区域划分为塑性变形区和上、下弹性变形区,并针对3个变形区利用轴对称原理、弹性薄板理论和静不定问题的方法进行了力学上的计算分析,获得了每个区域的次生地压和井壁附加力的解析式及分布规律,计算结果与实际观测结果基本吻合。     

常顶系统流动腐蚀机理预测及防控措施优化

国内某炼油厂常减压蒸馏装置的常压塔顶冷却系统换热器频繁出现腐蚀失效问题。基于物料衡算原理,采用逆向推导的方法及工艺过程模拟计算分析了该常压塔顶冷却系统的流动腐蚀失效机理,包括露点腐蚀、铵盐结晶沉积垢下腐蚀以及多相流冲刷腐蚀。注水是一种方便且非常有效的破除露点腐蚀和铵盐结晶沉积垢下腐蚀的工艺防护措施。但由于该炼油厂常压塔顶注水量有限,每台换热器采用不同的注水方式,依然出现了流动腐蚀失效问题。通过模拟计算,提出根据不同的注水量应选择不同的注水方式(总管注水、换热器定点注水和程控注水),从而实现该常顶冷却系统长周期稳定运行。     

基于VB、EXCLE设计的电子天平检测系统

利用VB6.0设计用户界面,通过串口通讯采集电子天平检测数据,调用EXCEL实现数据处理,并将计算结果录入EXCEL编辑的电子化原始记录,直接打印记录,实现在线检测。     

具有热过载报警功能的CM3塑料外壳式断路器

介绍了一种具有热过载报警不脱扣功能的CM3塑料外壳式断路器,其将热过载继电器的部分功能与MCCB的功能有机地结合在一起.通过与传统热过载报警方案的比较,充分说明了该MCCB结构简单、经济实用的特点.     

关于开展京津运河规划的意见

关于开展京津运河规划的意见罗廷栋，徐晓峰，郭占全自五十年代开始，交通部就曾会同有关省市对京津运河规划做过多次方案研究。在１９９３年１０月，国务院正式批准了新修订的《北京城市总体规划》、批复中明确指出：必须采取措施从根本上解决首都水源不足、能源紧缺、交...     

低温沉积ZnO薄膜的压敏特性及其热处理影响

采用GDARE法在较低温度下,通过一次和多次沉积制备单层及多层ZnO薄膜.AFM和XRD分析表明,薄膜具有以ZnO(002)晶面取向为主的多晶结构,多层膜的晶粒尺寸增大.经200～300℃退火热处理,薄膜呈现出良好的低压压敏特性.经200℃退火热处理后,多层ZnO薄膜的非线性系数达到61.54,压敏电压20.10V.在一定范围内升高热处理温度,可明显降低压敏电压.分析了不同膜层及热处理温度对ZnO薄膜压敏特性的影响机理.     

合成甲醇铜基催化剂及制备工艺研究进展

合成甲醇大型化装置主要使用铜基催化剂,并且铜基催化剂类型、助催化剂和制备工艺等对甲醇收率影响较大。合成甲醇铜基催化剂主要分为Cu-Zn、Cu-Zn-Cr、Cu-Zn-Al、Cu-Zr以及其他类,Cu-Zn-Al催化剂性能优异,是当代甲醇生产技术主要采用的催化剂。碱金属、碱土金属、过渡金属、稀土金属和非金属元素对合成甲醇催化剂的活性、选择性和稳定性表现出不同作用。沉淀法、溶胶-凝胶法、燃烧法、机械混合法和骨架合成法等是制备铜基催化剂的有效方法,工业上制备合成甲醇催化剂主要采用沉淀法。针对合成甲醇大型化装置催化剂的开发,提升催化剂的选择性与稳定性是下一步的研究重点。     

共沉淀法制备铜钴基低碳混合醇催化剂

采用分步连续共沉淀法制备系列K改性的铜钴基催化剂,并对催化剂催化活性进行考察。结果表明,在钴铜质量比1∶1、K_2CO_3质量分数1%、pH=7.2和反应温度310℃条件下,催化剂催化活性最佳,CO转化率65.74%,液相产物中C_(2+)OH产量0.062 g·(m L·h)-1,C_(2+)OH质量分数18.95%。     

测量MEMS中几何量的方法的探讨

中国正处于快速发展阶段。MEMS也顺应时代的潮流迅速兴起。由于其制作过程要求及其精密。所以,对其几何量的测试方法要求也十分严格。在此过程中,涉及到MEMS几何量测量中的特殊测量方法。目前MEMS几何量测量的方法一般有光切、干涉、光栅投影、扫描探针等。在探索MEMS几何量测量的方法之前,应对其工作的原理及检测方法进行初步的探索和分析。这样才能更深层次地挖掘其几何量测量,法的合理性以及发展趋势。接下来便是本文,对MEMS几何量测量方法的一些探讨。     

基于SmartVerif的比特币底层协议算力盗取漏洞发现

比特币引入了一种新的P2P(Peer to Peer)交易方法,并依靠其底层协议实现去中心化交易.然而,由于目前缺乏对比特币各底层协议的细粒度形式化分析和系统建模,比特币安全性并未被保证.本文通过设计多维度的比特币安全模型引理和细粒度的比特币模型规则,系统地抽象了多协议组合运行考虑下的比特币协议实体交互,完成了对比特币的形式化符号建模与自动化安全分析.与以前的工作相比,本文更细粒度地建模了比特币协议实体及其相关操作,并全面设计了满足比特币各实体需求的安全属性.此外,本文利用自动化形式化验证系统SmartVerif实现了无需额外手工推导证明的形式化验证实验,通过将本文所建模的符号模型规则与引理作为SmartVerif的输入,发现了比特币底层协议算力盗取攻击.