巴楚露头地区海相地层沉积体系与声波速度、密度关系的研究

对巴楚露头地区下切谷和礁滩地层沉积环境岩样纵、横波速测量和密度测量的结果进行统计分析,其结果表明下切谷相中峡谷相的纵横波速度以及密度均高于斜坡相,礁滩相中礁前相和礁后相的物性变化较大,礁核相的纵、横波速度以及密度相对较高。另外,在测量过程中,由于岩石的裂缝、岩石速度的各向异性、超声仪的测量精度以及密度仪对温度的灵敏度等等因素,在一定程度上会影响测量的结果。尽管如此,通过对下切谷和礁滩沉积环境的物性分析,这些结果仍然能为塔里木巴楚一间房组沉积体系的精细储层预测提供重要的线索。     

CAN系统中DeviceNET通信协议的研究与实现

在ADAM－5000／CAN系统的结构与功能特点的基础上，结合CAN总线的通信协议DeviceNET,实现关于CAN总线的DeviceNET通信协议在ADAM－5000／CAN系统中的基本应用。     

程序的分层静态分析模型HSAM

论文阐述了程序的一种分层静态分析的模型(HSAM)。在一定的分析精度的要求下,该模型采用一种分层分析的思想:先从整体的角度对程序进行模块结构分析;然后在模块内部进行控制流的分析;最后进行数据流分析。论文提出的逆序path更新算法对于控制流的分析非常有效。     

甲醇生产中选择性回收尾气膜分离产物

平煤蓝天公司的30万t/a甲醇装置采用天然气前补碳制甲醇工艺流程,膜分离技术回收甲醇合成尾气。本文介绍了将膜分离产物选择性地返回生产系统的原理和实际运行效果。     

物联网安全测评技术综述

近年来,物联网大规模应用于智能制造、智能家居、智慧医疗等产业,物联网的安全问题日益突出,给物联网的发展带来了前所未有的挑战。安全测评技术是保障物联网安全的重要手段,在物联网应用的整个开发生命周期都需要进行安全测评工作,以保证物联网服务的安全性和健壮性。物联网节点面临计算能力、体积和功耗受限等挑战,智慧城市等应用场景提出了大规模泛在异构连接和复杂跨域的需求。本文首先总结了目前物联网中常用的安全测评方法和风险管理技术;然后从绿色、智能和开放三个方面分析物联网安全技术的发展现状和存在的安全问题,并总结了物联网安全测评面临的挑战以及未来的研究方向。     

液化天然气工厂重烃脱除工艺方案比选

分析了液化天然气工厂重烃脱除的现状及存在的问题,对比了多种重烃脱除方案的优劣性。以华油天然气股份有限公司处理规模为100×104 m3/d(20℃,101.325kPa)的广元LNG工厂现有装置为例,在脱水单元后新增1套脱重烃装置可取得良好的重烃脱除效果,减少重烃闪蒸气量,提高天然气液化率,降低LNG产品的比功耗,促进装置长周期满负荷稳定运行。     

基于遗传算法聚类的变异体约简

对导致变异测试高代价的原因之一--测试过程中容易产生数目庞大的变异体进行了研究,提出基于遗传算法聚类的变异体约简方法。把具有相似特征的变异体置于同一簇中,再从每个簇中随机选择一个作为代表,从而实现变异体的约简。实验表明:1)该方法可在不降低构造出的测试用例集的测试充分度的前提下,约简变异体;2)与K-means算法和凝聚型层次聚类算法相比,该方法能够在自动产生合适的聚类数目的同时,具有更优的约简效果。     

建立计量器具档案 确保强制检定实施

为了认真贯彻落实国家技术监督局1991年8月颁布的《强制检定的工作计量器具实施检定的有关规定》,我们湖北省长阳土家族自治县技术监督局和所属计量检定机构结合计量器具检定,从建立健全计量器具档案入手,对全县在用强检工作计量器具实施统一登记造册,建立计量器具档案,使我县强制检定工作初步走上了规范化、制度化、科学化管理的轨道。 一.主要作法 l·领导重视,方案落实 计量器具进行登记造册,是落实强制检定的一项重要基础工作,是全面实施计量法制管理的重要措施。我局领导对此非常重视,将强检计量器具的登记建档工作纳入全年的目标管理…     

二进制程序的动态符号化污点分析

污点分析技术常用于跟踪二进制程序的信息流及检测安全漏洞,通过程序的动态执行来检测程序中由测试用例触发的漏洞。它的误报率很低,但是漏报率较高。针对污点分析的这一问题,动态符号化污点分析方法对污点分析进行了改进,通过将污点分析符号化来降低漏报率。根据基于指令的污点传播来获得相关污点数据的信息,同时制定符号化的风险分析规则,通过检测污点信息是否违反风险规则来发现存在的风险。实验结果表明,该方法不仅具有污点分析低误报率的优点,而且克服了污点分析高漏报率的缺点。在污点分析过程中产生的漏洞、风险及相关污点信息还可用于指导测试用例的生成,提高测试效率并降低测试用例的冗余。