地震属性组合分析方法及其应用

利用常规叠后地震资料提取的地震属性很多,在进行属性综合分析时会遇到很多问题,为此,提出了一种叠后地震属性综合分析方法。其基本思想是:利用多属性交会图分析方法,根据研究目的对众多属性进行筛选; 利用统计类比方法把优选的属性信息综合到一张图中;利用统计类比的结果进行油气聚集有利区带和不利区带预测。生成统计类比图的过程分为4步:在确定了控制点(通常为井点)基准区的基础上,①利用多属性交会图分析技术对基准区内的属性进行优选;②选择基准点,计算基准点的属性基准值;③按基准值的大小对属性进行分类;④将分类后的平面图相加,得到统计类比图。统计类比图给出了整个研究区中每一基准点与控制点相似属性的个数,因为控制点一般选为油气井位或干井位,因此,可利用统计类比图进行有利区带和不利区带的预测。在某一地区利用地震属性组合分析方法进行了有利区带预测,预测结果与钻井结果较吻合。

基于静态贝叶斯博弈的蠕虫攻防策略绩效评估

现有蠕虫攻击策略(防护策略)评估方法没有考虑防护策略(攻击策略)变化对攻击策略(防护策略)绩效评估的影响,且防护策略评估忽视了策略实施成本.针对这种情况,构建了基于静态贝叶斯博弈的绩效评估模型(performance evaluation model based on static Bayesian game,简称PEM-SBG)以及对抗情形下的蠕虫攻防策略绩效评估方法.在模型PEM-SBG基础上提出的基于灰色多属性理论的防护策略绩效评估方法,综合考虑了成本类和收益类的多个评估属性,有助于提高评估过程的全面性.针对典型的蠕虫攻防场景.利用仿真工具SSFNet进行了模拟实验,验证了所提出的模型和方法的有效性.

塔里木盆地奥陶系碳酸盐岩大型缝洞集合体定量描述

大型缝洞集合体的定量描述是在中低丰度缝洞型碳酸盐岩储层中实现少井高效开发的重要手段。缝洞型碳酸盐岩储层复杂、多期的地质成因及其内部强烈的非均质性,使得常规建模手段难以直接应用于该类储层。以塔里木盆地哈拉哈塘油田典型区块为例,结合地质体特征和地震相分析,运用聚类分析方法,实现了大型缝洞集合体的几何结构建模;针对缝洞型碳酸盐岩储层测井资料少、内部结构复杂和非均质性强的特点,将地质统计学地震反演技术应用于储层岩相和孔隙度建模中,建立了哈拉哈塘油田缝洞集合体静态模型,实现了对其的定量地震描述;进一步利用单井与井组内动态数据,修正大型缝洞集合体模型的规模、边界和连通性,完成了对大型缝洞集合体的动静态精细刻画。研究成果指导了基于大型缝洞集合体的井位部署及开发。

可撤销动静态属性的车联网属性基加密方法

车载自组织网络(vehicular ad hoc network,VANET)(也称车联网)数据安全共享通常采用群加密方式,高速移动的车载终端给群组构建和群密钥管理带来困难.密文策略属性基加密(ciphertext-policy attribute-based encryption,CP-ABE)为车联网通信安全带来了新的解决方案,但是传统的CPABE方案解密计算复杂度高,属性撤销需要整个密文进行全部更新,策略树的构建不够灵活,导致在车联网中的应用受限.为了解决上述问题,围绕车联网云存储数据安全分享,设计可撤销动静态属性的属性基加密方案.将动态属性和静态属性分开管理,构建组合策略树,引入解密代理将高复杂度的属性基解密过程的主要部分外包到服务端,车辆终端通过中央和本地认证中心进行属性撤销和动态属性更新.可撤销动静态属性的车联网属性基加密方案是安全的,在空间和加解密时间复杂度上较传统CP-ABE算法具有优势,实验还分析了车载终端解密、属性撤销和系统并发等性能.

基于动态安全属性保护的可信固件

遵循TCG可信计算的固件通过可信度量和信任传递保证固件模块及OS Loader的完整性。这种可信固件当前实现的缺点在于只保护了系统的静态安全属性,而对动态安全属性保护无能为力。基于此,通过对固件代码和数据的分类研究,对固件代码和数据进行安全分级控制,提出固件动态安全属性保护模型,在EFI/UEFI可信固件的基础上实现动态安全属性的保护。实验证明,该方法简单有效,适合于固件代码尺寸小、启动速度快的要求。

基于属性综合评价系统的漏洞静态严重性评估

针对计算机安全漏洞的静态严重性评估问题,提出了一种基于属性综合评价系统的漏洞静态严重性分析方法。该方法从漏洞的基本属性中提取漏洞的威胁性、影响度、流行性和修补难易4个指标,运用属性综合评价系统理论评价其静态严重性,获得二元组表示的漏洞静态严重性,其中的定性表示值表示漏洞的静态严重性等级,定量表示值表示漏洞静态严重性分值。应用实例表明该方法对于漏洞静态严重性的评估是准确有效的。相比于现有的漏洞严重性分析方法,该方法兼备了定性和定量表示的优点,体现了同一级别之下不同漏洞的静态严重性的细微差别。

基于传播引擎的指针引用错误检测

指针在C程序中应用广泛,指针引用错误多发且危害严重.目前代表性的检测工具由于使用方便性和检测精度不足以及难以处理大规模程序等原因,并不能满足实用需求.文中提出一种新型的错误检测方法,该方法基于域敏感、流敏感和上下文敏感的传播引擎,通过定义错误属性格、在源程序中对错误属性格值进行计算和传播来完成错误检测.在开放源码编译器Open64中实现了其原型系统Propagator.以空指针引用错误检测为实例研究内容,使用Apache、OpenSSH、gzip等应用领域广泛的典型应用为实验用例.与Saturn、Splint和Clang-SA进行对比,Propagator的平均检测时间仅为12s,误报率平均仅为13%,远低于对比工具,且没有发现漏报已知错误.上述结果表明,Propagator既提高了检测精度又保证了可扩展性,具有很好的实用前景.

Android平台恶意应用程序静态检测方法

本文构建的静态检测系统主要用于检测Android平台未知恶意应用程序.首先,对待检测应用程序进行预处理,从Android Manifest.xml文件中提取权限申请信息作为一类特征属性;如待检测应用程序存在动态共享库,则提取从第三方调用的函数名作为另一类特征属性.对选取的两类特征属性分别选择最优分类算法,最后根据上述的两个最优分类算法对待检测应用程序的分类结果判定待检测应用程序是否为恶意应用程序.实验结果表明:该静态检测系统能够有效地检测出Android未知恶意应用程序,准确率达到95.4%,具有良好的应用前景.

共反射面元叠加波场属性参数的应用

共反射面元叠加是一种获得与宏观速度模型无关的零炮检距剖面的方法。该法利用出射到地表的零炮检距射线的出射角α、出射到地表的Normal波和NormalIncidencePoint波的波前曲率半径三个地震波场属性参数描述反射界面与走时的关系。通过对共反射面元双曲型时距关系式进行泰勒二阶展开,求得CRS叠加公式。由于这种叠加方法考虑到了地下反射面不同的几何状态,而且是在一个菲涅尔带内的叠加,所以此法更加接近实际的地下地质情况。对模型和实际地震资料的处理表明:应用此法不仅可以极大地提高地震资料的信噪比和连续性,而且可以获得三个地震波场属性参数,有利于提高地震波速度反演的精度、剩余静校正量的求取精度以及AVO分析的效果。

一种ABAC静态策略冲突检测算法

在分布式计算环境下,传统基于属性的静态访问控制策略多存在扩展性差、难以实现等问题。针对上述问题,提出一种基于策略属性分解的冲突检测算法。该算法对策略属性进行分解,构造策略属性分解图,判断策略属性值之间的相交关系,根据静态策略冲突的定义进行策略冲突检测,从而提高策略冲突检测算法的可扩展性和易实现性。实验结果表明,该算法对静态策略冲突的检测率接近85%。

村民自治权属性的法学解析及其实现路径

村民自治权是村民自治制度的核心概念,也是"三农"法学研究中的重点和难点。以法学研究为视角,在综合分析当前法学界关于村民自治权属性各种观点的基础上,从静态和动态两个层面考察村民自治权属性。从静态角度看,村民自治权具有权利性及广泛性,同时兼具有限性;从动态角度看,村民自治权具有合法性和直接民主性。以此为基础,进一步指出,在环境变迁中,应通过完善"四民主"制度、规范乡村关系以及加大村民自治投入等方式充分确保村民自治权的实现。

地学空间几何要素发布机理分析

本文以"地学空间信息检索系统"为例,通过不同应用实例分别对地质资料中矢量数据和栅格数据的发布机理进行综合分析研究,以及投影参数统一化、栅格影像数据的静态切片(四叉树切片原理)、图块拼合与编码格式转换等关键技术的引用,解决栅格数据海量效应的同时实现了地质资料大数据的发布、快速缩放浏览、属性解析与空间百度,归纳出了针对不同数据源采取不同方法的特点与优势,提供了极具操作性的技术流程,为后期应用提出了可供参考使用的合理化建议。

Java并行注释规范JAC的扩展

JAC是基于扩展Java注释描述其并行编程的技术,具有隐藏线程、同步等并行编程机制,把应用逻辑与并行逻辑分离等优点.为了克服目前版本的JAC规范在执行类静态方法对象间的并行时可能会造成类静态变量的不确定性的缺点,扩展了JAC规范,用exclusive并行注释来控制Java对象间的方法的并行性,同时改进JAC预编译器,为程序中每个类维护一张ID列表,使JAC预编译器支持类静态方法对象间的并行编程.从而提高了JAC技术解决复杂的并行编程问题的能力.

外汇汇率时间序列静态属性的抽取

为了能够使用现有的数据挖掘技术(例如粗糙集)对外汇汇率时间序列进行数据挖掘,必须从外汇汇率时间序列数据中抽取决定时间序列行为发展趋势的静态属性.针对外汇汇率时间序列的特殊性,给出了时间序列静态属性抽取技术的几个关键步骤,完成了从外汇汇率时间序列中抽取出静态属性,最后利用这些静态属性组成的数据库,实现了对外汇汇率时间序列比较准确的预测.

形·名组合的句法限制及表达功能

沈家煊(1997)从句法功能的标记模式出发,指出性质形容词作谓语和状态形容词作定语是有标记的。文章从意义制约和表达功能的角度,考察了形容词与名词组合时的具体表现,也得出了类似的结论,即:若是定中式,状态形容词受到的语义限制更多,且该结构在表达功能上得到凸现;若为主谓式,则性质形容词受到的语义限制更多,该结构在表达功能上也被凸现。反之则反。这些现象在很大程度上反映了句法、语义和语用三者之间的密切关系。

Android恶意软件静态检测模型

为解决Android恶意应用泛滥的问题,提出一种Android恶意应用静态检测模型。模型选取AndroidManifest.xml文件中3个标签项属性值作为特征属性,采用信息增益(IG)算法对特征属性进行优化选择,根据优化结果生成对应特征向量集合。最后,应用知识分析Waikato环境(WEKA)的4种机器学习分类算法对特征向量集合进行检测和分类。实验结果表明,本文提出的静态检测模型具有较好的检测分类效果。

古城地区地震资料连片处理技术研究

连片资料处理可以解决时间和采集参数不同引起的客观误差,使地震资料连片解释成为可能。针对古城地区新、老资料采集参数的特点,在静校正、迭前去噪、振幅补偿、提高分辨率等方面进行攻关,系统地解决了新老资料连片处理中的关键问题。通过处理资料的分析和实际资料解释,认为连片资料比较适合构造解释。

阴阳学说的物理学基础

文章探讨了阴阳学说中阴阳诸属性之间的在物质层面的关系,依据对物质世界的认识,通过分析认为相对的运动与静止是阴阳诸属性中的根本属性,其余属性是这一属性的延伸和细化。

静态代码属性与软件模块缺陷数的偏相关分析

为了解决因选择不同的静态代码属性子集而带来的不同软件缺陷预测性能的分歧,采用偏相关分析法,分析了静态代码属性之间的相关性,以及该相关性对预测算法的影响.在Eclipse数据集(包括发布前与发布后的缺陷数据)上的实验结果表明,静态代码属性之间存在偏相关.同时,也证实了偏相关是软件质量分析的非常重要的因素,为建立软件缺陷预测模型提供了可靠的分析方法.

GeoEast地震数据处理解释一体化软件系统V2.0

GeoEast地震数据处理解释一体化软件系统V2.0是在GeoEast V1.0基础上,优化和完善了系统软件平台的系统主控、信息通信、数据管理等功能,增加了地震数据处理、解释新功能,在超大地震数据管理、PC—Cluster集群系统高效计算、统一系统通信方面有创新性成果,形成了具有较完备的陆上和海上二维、三维地震资料常规处理解释功能系列,并在噪声压制、复杂区静校正、复杂构造成像、VSP和多波资料处理、小断层和裂缝识别、现代属性提取与应用等技术方面具有特色,可支持上百TB数据的处理与管理、上千CPU/GPU集群规模的并行处理以及上百平方千米二维、三维的联合解释和盆地级解释,有力提升了中国石油物探技术的国际竞争力,成为全球少数能够为油气勘探开发提供全面技术支撑的软件系统之一。