华池油田长3岩性油藏流动单元划分及其合理性验证

提出岩性油气藏流动单元划分及其合理性验证方法。研究中针对华池油田长3岩性油藏的特点,采取控制流体渗流的主要参数,对流动单元进行了划分。同时采用数学方法、微观渗流实验方法、宏观生产动态分析方法对流动单元划分的合理性进行了验证。研究结果表明:1)研究区流动单元可以分为三类,分别为A类、B类和C类。不同流动单元所处相带位置不同,物性也不同。2)判别分析的方法、渗流实验方法和生产动态分析法是验证流动单元划分合理性的有效手段。研究区流动单元的正判率达95%以上;相同流动单元具有相似的微观渗流特征及生产动态特征,不同流动单元的微观渗流特征及生产动态特征明显不同。3)C类流动单元及注采井间不同流动单元对接区域是剩余油的主要富集区,应注意挖潜,提高油层采收率。

工作流合理性验证中的事件平衡分析

工作流合理性的验证是目前工作流研究领域尚未得到很好解决的一个问题,许多工作流管理系统都缺乏有效的方法和工具来保证工作流的合理性.从事件平衡的角度推导了合理工作流所具备的必要条件,提出工作流执行历史的事件平衡定理,并把事件平衡的计算引入工作流模型,用以分析模型中是否存在可能破坏工作流合理性的结构.这种分析方法不受具体工作流模型的限制,适用范围广,而且具有多项式时间的计算复杂度.

基于矩阵模型的工作流合理性验证算法研究

错误的工作流模型投入运行后对系统的破坏是非常严重的,很可能导致整个工作流系统的失败。为了提高模型的正确性和验证过程的可靠性,改进一种用于对工作流模型合理性验证的算法,将工作流网在语义上等价转化为一种完全由矩阵和向量来表示的数学模型,利用矩阵和向量的运算来验证其合理性。因此,验证过程脱离了对原有工作流网的依赖,使模型验证驱于数学化,算法更便于由计算机编程实现。

一种Web服务组合模型合理性验证方法

为了更加有效地对Web服务组合进行分析验证,设计BPEL到PNML语言的文件转换规则,实现Web服务组合流程的Petri网建模。针对Web服务组合流程设计中可能存在死锁及不正确的流程,在不破坏原Petri网模型结构性质与系统行为的基础上,将其调整映射为自由选择网。在自由选择Petri网理论基础上,设计了一种Web服务组合Petri网模型的合理性验证规则,能在多项式时间内分析网模型的结构活性与有界性,从而避免采用传统的可达树等分析方法出现的状态空间爆炸问题。最后,使用两个具体的Web服务组合Petri网模型证明了本文方法的有效性。

CTCS-3级列控系统测试序列合理性验证的研究

CTCS-3级列控系统测试序列是实验室以及现场调试和测试的基础,而测试序列的合理性将决定测试过程是否能够正确完成。在分析测试序列设计原则的基础上,结合测试序列生成条件、方法和步骤,得出测试序列合理性验证所需验证的内容。并在此基础上开发了测试序列合理性验证工具,从而提高了测试序列合理性验证的效率和智能化程度。

基于Petri网工作流过程模型合理性验证方法

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法。实验证明,该算法在实际应用中具有可操作性,有较强的现实意义。

基于扩展任务结构的工作流建模及其合理性验证

任务结构是工作流建模语言中好的广泛的代表,并且具有表达简洁、终止是隐式的以及与多数工作流管理系统的工作流建模语言相近的特点,但其表达能力和形式化分析有限。本文首先扩展了任务结构的表达能力,增加了对任务间数据流的支持;然后对扩展任务结构的合理性进行了分析和验证。

靖安油田大路沟二区流动单元划分及合理性验证

为了提高油藏开发效果,根据大路沟二区油藏的渗流特征,采用岩性物性方法划分了流动单元,并且用判别分析法、微观渗流实验法、生产动态法、井间示踪剂法、数值模拟法进行了合理性验证。研究区共分为A,B,C和D共4类流动单元,不同流动单元分布的相位不同,具有不同物性和微观渗流特征。综合验证结果表明,研究区的产能特征、储层吸水状况及见水见效特征和剩余油分布规律,与各流动单元的物性特征对应较好,表明所划分的流动单元是合理的。B类和C类流动单元及几类流动单元结合的区域为剩余油富集区,应作为调整挖潜的重点;可以根据流动单元的水驱优先顺序组合,决定注水调配原则。

集料图像测量系统（AIMSⅡ）的评价指标研究与合理性验证

为了研究集料的测量与评价问题,阐释了集料图像测量系统(AIMSⅡ)设备的工作原理,研究了集料3个形态特征分量,即形状、棱角和表面纹理的评价指标;测量并分析了3种标准形状物体(球体、标准多边体1、标准多边体2)的形态特征。结果表明:集料图像测量系统(AIMSⅡ)的测量结果与物体实际情况相吻合,采用该系统评价集料的形状、棱角和表面纹理均有一定的合理性。

工作流网合理性验证的矩阵实现

业务流程建模后,一般需要对流程模型进行结构合理性验证,以避免投入使用后才发现错误而造成巨大损失。为了对工作流模型的结构合理性进行验证,改进了一种工作流网模型的合理性验证算法,将工作流网模型用矩阵及向量的形式表示,基于矩阵运算对合理性进行判断。该方法更便于计算机实现,并且对不合理性情况进行了判断处理,在一定程度上提高了验证的效率。

基于本福特定律的短视频播放量合理性验证研究

在自媒体、短视频、微新闻等快速发展背景下,视频播放量产生了虚假刷流量的"灰色产业链"业务,这种现象违背了数据客观公正原则,不利于对媒体传播的数据真实性进行评估。由于视频播放量符合随机性、多数量级、增长量正比于存量等特征,因此可以基于本福特定律对视频播放量进行模型验证并通过相关性对验证结果进行检验,从而反映数据异常点,这对于评价热点视频播放量数据客观公正具有重要意义。

膨胀土填料分类指标体系的合理性验证

为进一步检验膨胀土填料分类指标体系的合理性,对在建广西百隆高速路上3种膨胀土系统开展了基本土性和各种强度、变形等路用性能试验,全面分析测试结果并对照新填料分类体系,3种土样均满足以改进CBR值、改进CBR膨胀量和稠度为指标的分级标准,都可直接用于下路堤填筑。据此,按物理处治技术原理并结合工程实施条件,采取粘土包边膨胀土夹层填芯方案,将性质最差的1号土分2阶段填筑于ZK176+135～+410路段,共消耗膨胀土60 000 m3,跟踪检测表明,路堤施工质量良好。通过系统试验和修建工程实体验证了膨胀土填料三指标分类体系的合理性。

基于控制关系和数据关系的科学工作流验证

面向科学问题求解的科学工作流具有以数据为中心的特性,其验证要求同时考虑控制流和数据流的合理性。为此,分析科学工作流中的4种控制关系和2种数据关系,给出相关合理性定义,提出相应算法以遍历获得科学工作流中存在的控制关系和数据关系,实现对科学工作流的合理性验证。通过正反实例证明了该验证方法的有效性。

基于规范化工作流网建模的模型验证方法

在比较分析已有工作流模型验证算法优缺点的基础上,提出一种新的工作流模型验证方法.该方法基于规范化工作流网,不仅可以检测死锁、孤立点等常规模型错误结构,而且能够检测隐蔽性很强的AND-split→OR-join(A→O)结构.为了成功检测A→O结构,详尽分析了不同A→O结构的特点,并找到它们之间的共同特征,进而通过探测该共同特征来检测是否存在A→O结构,从而克服已有算法无法验证A→O结构的缺陷.此外,还给出模型规范化规则,使得方法能够验证不规范的业务流程.通过实例分析,表明算法有效可靠.

基于Petri网的工作流层次化建模与合理性分析

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键。本文基于Petri网对工作流业务流程进行层次化建模和合理性分析,层次化模型的提出使得复杂系统的工作流模型的规模得到缩减,一方面可以清晰地反映出模型的层次,另一方面也便于用逐步求精的方法对模型进行分析。合理性分析验证保证模型不存在结构上或行为上的死锁,杜绝可能造成工作流不能正常完成的现象发生。

落地四坡房屋表面风致雪漂移效应分析

为了获得落地四坡房屋表面积雪分布规律,根据风雪运动机理选取适当的雪粒粒径、积雪密度、沉降速度等条件,考虑积雪侵蚀沉积等影响因素,基于Euler-Euler多相流理论,使用FLUENT软件Mixture多相流模型模拟了立方体周围积雪及高低屋盖模型表面积雪分布,并与实测进行了比较,确定了湍流物理方程、数值风洞尺寸、细部网格及数量、壁面条件等各计算参数设置。以风速、风向角为参数,模拟落地四坡房屋屋面积雪分布得出:随着风速增加,屋面积雪量不断减少,15m/s风速下屋面积雪呈完全侵蚀状态,低风速下屋面积雪更多;屋面各区域积雪漂移随着风向角的改变不断改变,总体表现为侵蚀状态沉积区域较少;在5m/s风速下落地四坡房屋的迎风面各区域积雪分布系数在0.5以下,迎风屋顶各区域积雪分布系数基本为0,背风屋顶各区域积雪分布系数变化幅度高达0.8,背风面各区域积雪分布系数整体保持在0.9附近。得到了5m/s风速下区域积雪分布系数表,可为该类房屋的设计使用提供理论依据。

一种基于改进Petri网的工作流案件分布式处理系统模型

针对现有的案件处理系统功能单一、效率低、缺乏并行处理和协调优化能力,无法满足现代案件处理需求的问题,基于改进Petri网的工作流技术,解析案件处理特征,对案件处理系统动态过程进行规划、调度和调整,在建模过程中引入Petri网分布式处理框架和工作流的路由结构、触发机制,建立了一种改进Petri的网工作流案件分布式处理系统模型,并对模型进行定义化描述和合理性验证,为司法部门案件处理提供高效、安全、可靠的平台。

轻量级工作流及其在发电企业燃料管理中的应用

工作流技术被广泛地应用在企业信息系统中,针对发电企业燃料管理中的大多流程只存在“通过”和“退回”等基本操作的情况,设计开发了轻量级的工作流管理系统,在满足自身需求的前提下,能够有效降低集成的复杂度。轻量级工作流管理系统主要由工作流定义工具和工作流引擎组成,工作流定义工具通过图形化操作将实际的业务流程抽象成工作流模型,并将其存储到数据库中或转换为XML文件;工作流引擎用于驱动工作流实例的自动流转。为了验证工作流结构,设计了基于矩阵模型和深度优先搜索的算法,能够有效地检测出工作流模型中存在的结构性错误。实际应用结果表明,该系统可以满足信息系统中对审批流程自动化流转的要求。

储层流动单元划分及剩余油研究

本文以大庆油田某区块为例,以SII10+11a-SII15+16b共7小层为研究对象,开展储层流动单元划分评价、合理性以及剩余油研究。在高分辨率地层格架内,筛选反映储层渗流能力的主控参数,结合模糊聚类分析方法,建立流动单元分类评价标准,并运用判别分析、油井初期静态分析法以及动态示踪剂监测等多种方法对流动单元划分评价结果进行验证,通过全区逐井流动单元类型判别,总结全区流动单元规律;并结合流动单元研究揭示剩余油分布规律性。

基于剩余能量释放速率指数的煤岩组合体冲击倾向性判定

煤岩冲击倾向性是煤岩是否发生冲击地压的自然属性,是煤岩发生冲击地压灾害的关键影响因素。为准确评判煤岩冲击倾向性,以煤岩组合体为研究对象,对其开展单轴循环加卸载试验,获得组合体不同应力水平下弹性应变能,建立弹性应变能与应力水平之间的函数关系,提出一种峰值应力时刻弹性应变能计算新方法。据此,提出一种综合考虑试件峰值强度、弹性应变能、破坏过程能量耗散及破坏时间的剩余能量释放速率指数,并结合现有指标给出冲击倾向性判定区间,最后进行合理性验证。结果表明:(1)随着应力的增大,弹性应变能呈现“缓慢→快速→缓慢”的增长规律,对应了应力-应变曲线的压密阶段、弹性阶段、塑性阶段。(2)输入应变能、弹性应变能、耗散应变能的演化规律与应力演化规律相似,均随应力的增大而增大,输入应变能增幅最大,耗散应变能增幅最小。(3)试验获得了组合体不同应力水平时刻的弹性应变能,建立弹性应变能与应力水平之间的函数关系,即任一时刻应力的平方与弹性应变能具有良好线性关系,据此,提出一种峰值应力时刻弹性应变能计算新方法。(4)综合考虑试件峰值强度、弹性应变能、破坏过程能量耗散及破坏时间等多种因素,提出一种新的冲击倾向性鉴定指标:剩余能量释放速度指数WT,该指数为试样峰前弹性应变能减去峰后耗散应变能得到的剩余能量与动态破坏时间的比值,表征煤岩发生冲击破坏时单位时间内能量释放情况。该指标与抗压强度Rc、冲击能量指数KE、弹性能量指数WET、动态破坏时间DT密切相关。给定了剩余能量释放速度指数WT的评判区间:当WT≤0时,煤岩无冲击倾向;当0<WT≤14.5时,煤岩为弱冲击倾向;当WT>14.5时,煤岩为强冲击倾向。(5)采用多试样法对提出的剩余能量释放速率指数WT进行合理性验证。采用该指数对8个矿区煤层冲击倾向性进行评判,结果表明:剩余能量释放速率指数WT评价准确率高达93.75%。利用提出的新指标评价煤岩冲击倾向性,准确率高,合理性好,能够反映煤岩实际冲击倾向,具有较好的推广和应用价值。