高含硫气藏元素硫沉积及其对储层伤害模型研究

根据元素硫的溶解沉积机理和物质平衡原理,利用高速非达西渗流理论,建立了元素硫沉积模型及受元素硫沉积影响的地层孔隙度、渗透率随生产时间的变化关系.研究表明:元素硫的沉积主要发生在近井地带1.5m以内,离井筒越近,沉积越严重,孔隙度和渗透率下降越大,对储层伤害越大;气井产量越大,硫沉积越严重,孔隙度和渗透率下降越大,合理产量应控制在(15~20)×104m3/d;高含硫气体的渗流表现出强烈的流固耦合特性.     

一个模型转换的验证框架

模型驱动体系结构（Model Driven Architecture,MDA）是OMG为充分利用基于UML的建模技术并分离软件系统的抽象描述和具体事项而提出的。模型转换对MDA的成功至关重要,但对于同传统软件开发过程中的测试部分同等重要的模型转换中的验证和有效性确认（V＆V）,目前的研究比较少。为此,尝试提供一个基于MDA上下文的模型转换性能的验证框架。该框架用于验证原模型包涵的性质,检查源模型与／或目标模型的各个元素是否通过模型转换规则实现了语义等价。同时,采用EMFAPI开发了一个用来分析Tefkat语言描述的模型转换规则的verifier原型系统,并通过实例验证了其有效性。