反例引导的模型检验工具的设计

针对模型组合中常见的"状态空间爆炸"问题,分析了抽象和组合两种方法各自的优缺点,采用"反例引导的抽象精化"框架和模型检验思想,将抽象和组合结合起来,为模型组合的检验提出了一种新的方法.设计了模型的抽象、组合、检验和精化算法,开发了一款基于反例引导的、图形化的模型检验工具,使用Kripke结构建立模型,用LTL描述性质,从而表明了反例引导的模型检验方法的过程.     

二连盆地气测解释失误层原因剖析

以往人们对气测解释评价成功的范例介绍较多,而对解释结论与试油结果不符合的层公开交流甚少。该文通过对气测解释失误层进行梳理,归纳了六条“认识不到位”等技术因素造成的解释失误和三条非技术因素造成的偏高解释,通过六个失败实例分析,总结、反思应吸取的教训,对今后的油气水层解释评价应有一定的借鉴意义。     

抗腐蚀低密度水泥浆体系的研究

分析了地层水腐蚀油井水泥的机理,并通过大量试验研究,开发出了密度为1.30—1.50 g/cm~3的低密度水泥浆体系。同时在模拟腐蚀性地层水中,对该体系水泥浆凝结硬化形成的水泥石试件的耐久性和浆体的综合工程性能进行了评价。结果表明,该低密度水泥浆体系耐地层水腐蚀能力强,综合工程性能良好,可满足易漏浅井防止腐蚀性地层水腐蚀套管外壁的固井要求。     

采用补硫技术的ZnS∶Mn蒸发膜的成份与结构的研究

本文介绍了电阻蒸发ZnS∶Mn薄膜在硫饱和蒸汽压下进行热处理的工艺。通过AES和XRD分析及带隙宽度的测试,结果表明:此法所制备的薄膜有较好的化学计量比,且具有电致发光薄膜所需要的六方结构。     

烟火药剂中硫磺含量测定方法的研究

确定了烟火药剂中硫磺含量的测定方法,将烟火药剂洗去有机粘合剂后,用稀盐酸充分溶解、过滤,用浓硝酸将硫磺氧化成硫酸,加入过量的钡离子,然后用EDTA容量法测定过量的钡离子,进而得到硫磺含量.试验表明,本文提出的方法回收率在98.22%～99.79%.     

航引-16导电药的工艺改进

应用范德华分子吸引力原理，改进了航引—16导电药的生产工艺，提高了电雷管的良品率．     

催化剂组分对制取单壁碳纳米管的影响

采用温控电弧炉,以FeS,Ni,Mg的混和粉末作为催化剂,起弧电压为32V,放电时间为10min;研究了催化剂组成与成分对制取单壁碳纳米管的影响,确定了优化参数。在环境温度为600℃时,起弧电流为100A,催化剂FeS/Ni/Mg的组成和成分含量分别为2∶1∶2(%),5%,氦气气氛,气氛真空度为5.7×104Pa,单壁碳纳米管的产量和纯度都分别达到了12g/h和70%上,其管径为1.24～1.36nm。     

基于MREI模型混晶光学声子频率计算理论的改进

在随机元素等位移（MREI）模型的基础上,进一步改进了模型。在计算多元混晶声子频率时,对不同模式采用了不同的次近邻常数,并且推算了近邻常数与组分x呈负幂指数变化的规律,从而不使用任何调节参数计算了几种AB1-xCx混晶的声子频率对组分x的依赖关系。理论结果和实验数据两者符合较好,对今后的实验给出了一定程度的指导。     

飞秒激光对Mg/PTFE药剂烧蚀加工过程安全性分析

文章简要介绍了飞秒激光发展过程及其特点,讨论了利用飞秒激光的超快速时间和超高峰值的特性烧蚀加工烟火药剂Mg/PTFE的可行性与安全性.建立了飞秒激光与Mg/PTFE作用过程中的传热模型,根据模型计算了药剂内部的温度分布以及烧蚀反应放出的热量对周围药剂的影响;在本研究的计算条件下,确定了在切割过程中,受激光作用表面的温度可达3000℃以上,单个激光脉冲的作用深度小于5.0×10-7m,药剂反应放出的热量对周边基本上没有影响,因而飞秒激光能够用于Mg/PTFE药剂的加工.     

流量经营时代的大数据处理技术应用研究

移动互联网的快速发展及流量收入占比的快速攀升,促使流量经营成为运营商战略转型的重点。运营商传统数据存储与处理技术无论是从成本、性能还是扩展性等方面都受到了巨大挑战。探讨了流量经营时代运营商引入大数据处理技术的必要性与具体实施方案,并通过实践验证大数据技术带来的效益,以此指导运营商实施大数据解决方案。