路基冻胀对高速铁路轨道结构形变的影响分析

通过对路基冻胀引起的高速铁路轨道结构形变的分析,发现路基冻胀会使底座板与路基上表面之间产生一定程度的离缝。同时对冻胀幅值和波长的变化对轨道结构形变的影响进行了分析,以期为冻区轨道的养护维修提供参考。     

基于Isabelle/HOL的安全操作系统形式化验证方法

操作系统作为信息时代的基石,其安全性不言而喻。常规的软件测试方法不足以保障操作系统的安全性,需使用更为严格的基于数理逻辑的形式化验证方法。本文提出一种软件形式化验证的新思路：通过在Isabelle中构造模拟运行环境,使汇编代码运行其中,并记录系统状态的变化,最终根据程序运行前后系统状态的变化情况判断程序的正确性和安全性。重点介绍了顺序、分支和循环等3种程序结构的证明方法,并通过一个程序实例证明,得到在任意前提条件下程序执行前后系统状态的变化情况。      

TC4钛合金铣削轴向力及铣削温度分析与预测

针对YG8硬质合金刀具铣削TC4钛合金过程中因铣削力大、铣削温度高导致的表面质量差和生产效率低的问题,对其建立三维仿真模型.根据响应面法的中心复合设计(CCD)对铣削TC4的仿真试验方案进行设计,通过仿真数据得出铣削速度vc、每齿进给量fz、轴向切深ap、刀具前角γ0对轴向铣削力Fz和铣削温度T的影响规律.建立二阶响应...     

利用地震多属性分析和波阻抗技术提高叠后反演分辨率

本文采用多属性分析和波阻抗相处理结合的方法,将波阻抗反演结果作为外部属性利用概率神经网络分析技术,建立准确的地震数据与测井信息的非线性关系,以提高常规叠后反演的分辨率。通过实际地震资料和测井数据验证该方法,能够较好的提高储层预测的精度。     

钻井平台用ASTM 4130管线钢管焊接工艺评定

为了保障钻井平台用ASTM 4130管线钢管的安全运行,研究满足规范要求并符合现场工况的焊接工艺,通过对管材焊接性能分析,制定出与之相匹配的焊接工艺,并进行了焊接工艺评定试验。试验结果显示,ASTM 4130管线钢管试样的各项力学性能试验结果均符合评定标准要求,表明研究制定的焊接工艺规范合理,能够满足严苛的标准和现场工况要求,保证了ASTM 4130管线钢管的顺利生产和安全运行。     

OBC船队生产报表系统的开发与应用

为了提高制作OBC地震队野外日常生产报表的效率及准确性,根据OBC船队实际生产情况及以往的经验,利用Visual Studio 2008C++语言,建立了OBC地震船队的生产报表系统——SeisField Report Ver1.0。该系统采用数据库来管理生产数据的方法,能够快速、自动生成图文并茂的生产报表。本文详细地介绍了该系统的结构组成及其各项功能和优越性。     

PMA-qPCR方法用于监测超声波灭菌效率的适用性及其应用

为研究PMA-qPCR方法的适用性问题,本文以超声波制备膜损伤细菌,用PMA-qPCR方法进行检测,并与平板计数的结果进行比较,证明该方法适用于监测超声波法灭菌率的监测.将该方法用于检测不同因素对超声波灭菌效率的影响,表明在温度和超声频率一定的条件下,处理时间和功率对灭菌效率的影响比较明显,而占空比对其影响较小.     

阿波罗公司在老挝经营橡胶树种植园

印度阿波罗轮胎公司宣布,为保证天然橡胶的供应,降低原料采购成本,该公司在老挝租用1万hm2土地建设橡胶树种植园。这标志着阿波罗公司正式进军橡胶树种植领域。公司预计3～5年后阿波罗轮胎工厂所需25％的天然橡胶可由该橡胶树种植园提供。     

海岛离网型风力发电控制器模拟仿真

为解决海岛供电难的问题,提出了将离网型风力发电技术和蓄电池供电技术相结合,在海岛建立发电系统向海岛居民供应电力的方案。结合山东省即墨市大管岛高可靠独立风能供电系统产业化项目,以22kW离网型风力发电系统控制器为研究对象,针对海岛环境对风力发电控器的特殊设计要求,应用Matlab/Simulink仿真平台对控制器的功能进行模拟仿真。由仿真结果可知,控制器的工作性能符合设计要求。