Modeling of multiphase flow in marine gas hydrate production system and its application to control the production pressure difference

Zheng Liu,Baojiang Sun,Zhiyuan Wang,Wenqiang Lou,Jianbo Zhang
DOI: https://doi.org/10.1016/j.jngse.2020.103687
IF: 5.285
2021-01-01
Journal of Natural Gas Science and Engineering
Abstract:<p>The accuracy control of the production pressure difference is of great importance to the efficient development of marine gas hydrates through depressurization. But from the field trial production, the existing control method of bottom hole pressure is difficult to achieve the expected depressurization target. To this end, a transient gas-liquid two-phase flow model in marine gas hydrate production system was established, which considers the coupling interactions of the wellbore, the formation and the downhole electric submersible pump (ESP). Besides, an automatic control method of production pressure differential was proposed through real-time optimization of the pump displacement. Using the model, a series of numerical simulations were performed to study the multiphase flow rules in the production well. The results indicated the depressurization process could be divided into four stages based on the characteristics of gas-liquid flow in different pipelines. During the depressurization, the liquid level in the well exhibited a trend of first falling and then rising, and may eventually reach the wellhead for continuous drainage. In addition, sensitivity analysis showed that the smaller the pipe diameter, the higher the gas-liquid separation efficiency, and the greater the possibility of continuous drainage from the gas production pipeline. As the result, it was verified that the proposed model and method can achieve the expected depressurization well, which will provide useful references for the production design during the development of marine natural gas hydrate resources.</p>
energy & fuels,engineering, chemical
What problem does this paper attempt to address?
The main problem that this paper attempts to address is the development of a tableau-based decision procedure for Propositional Dynamic Logic (PDL) with nominals. Specifically, the paper focuses on how to extend existing PDL tableau methods to handle Hybrid PDL (HPDL), which incorporates nominals. Nominals are a special kind of atomic formula that is true in exactly one state, allowing HPDL to express equality and being a feature of hybrid logic. The paper points out that existing PDL tableau methods are difficult to extend directly to handle nominals, with the main challenge being the proof of correctness. To this end, the authors develop a new tableau method based on a prefix-free clausal form, decomposing the reasoning process into three modules: regular reasoning, propositional reasoning, and modal reasoning. This method not only handles nominals in HPDL but also has a modular structure that facilitates transparent correctness proofs. Each reasoning layer allows for further optimization, particularly at the regular level, where efficiency can be improved through the conversion of regular expressions to deterministic automata. Overall, the goal of the paper is to provide a tableau-based decision procedure for HPDL that can effectively handle nominals and has a clear correctness proof.