The pressure-sensitive effect on the pore structure of sandstone was investigated using X-ray computed micro-tomography and QEMSCAN quantitative mineral analysis. In a physical simulation study, we extracted the pore ...The pressure-sensitive effect on the pore structure of sandstone was investigated using X-ray computed micro-tomography and QEMSCAN quantitative mineral analysis. In a physical simulation study, we extracted the pore network model from digital cores at different confining pressures and evaluated the effect of pressure sensitivity on the multiphase displacement process. In both the pore network model and QEMSCAN scanning, the pore structure was observed to be damaged under a high confining pressure. Due to their different scales, the pores and throats exhibited inhomogeneous changes; further, the throats exhibited a significant variation compared to that exhibited by the pores. Meanwhile, the heterogeneity of the pore structure under the two aforementioned activities was aggravated by the elastic-plastic deformation of the pore structure.The pressure-sensitive effect increased the proportion of mineral particles, such as quartz(the main component of the core skeleton), and reduced the proportion of clay minerals. The clay minerals were originally attached to the pore walls or interspersed in the pores; however, as the pressure increased, the clay minerals accumulated in the pores resulting in blockage of the pores. While simulating the multiphase displacement process, increasing the confining pressure was observed to severely restrict the flowability of oil and water. This study promises to improve the efficiency of reservoir development in terms of oil and gas exploitation.展开更多
Railway transportation system is a critical sector where design methods and techniques are defined by international standards in order to reduce possible risks to an acceptable minimum level. CENELEC 50128 strongly re...Railway transportation system is a critical sector where design methods and techniques are defined by international standards in order to reduce possible risks to an acceptable minimum level. CENELEC 50128 strongly recommends the utilization of finite state machines during system modelling stage and formal proof methods during the verifi- cation and testing stages of control algorithms. Due to the high importance of interlocking table at the design state of a sig- nalization system, the modelling and verification of inter- locking tables are examined in this work. For this purpose, abstract state machines are used as a modelling tool. The developed models have been performed in a generalized structure such that the model control can be done automatically for the interlocking systems. In this study, NuSMV is used at the verification state. Also, the consistency of the developed models has been supervised through fault injection. The developed models and software components are applied on a real railway station operated by Metro Istanbul Co.展开更多
文摘The pressure-sensitive effect on the pore structure of sandstone was investigated using X-ray computed micro-tomography and QEMSCAN quantitative mineral analysis. In a physical simulation study, we extracted the pore network model from digital cores at different confining pressures and evaluated the effect of pressure sensitivity on the multiphase displacement process. In both the pore network model and QEMSCAN scanning, the pore structure was observed to be damaged under a high confining pressure. Due to their different scales, the pores and throats exhibited inhomogeneous changes; further, the throats exhibited a significant variation compared to that exhibited by the pores. Meanwhile, the heterogeneity of the pore structure under the two aforementioned activities was aggravated by the elastic-plastic deformation of the pore structure.The pressure-sensitive effect increased the proportion of mineral particles, such as quartz(the main component of the core skeleton), and reduced the proportion of clay minerals. The clay minerals were originally attached to the pore walls or interspersed in the pores; however, as the pressure increased, the clay minerals accumulated in the pores resulting in blockage of the pores. While simulating the multiphase displacement process, increasing the confining pressure was observed to severely restrict the flowability of oil and water. This study promises to improve the efficiency of reservoir development in terms of oil and gas exploitation.
文摘Railway transportation system is a critical sector where design methods and techniques are defined by international standards in order to reduce possible risks to an acceptable minimum level. CENELEC 50128 strongly recommends the utilization of finite state machines during system modelling stage and formal proof methods during the verifi- cation and testing stages of control algorithms. Due to the high importance of interlocking table at the design state of a sig- nalization system, the modelling and verification of inter- locking tables are examined in this work. For this purpose, abstract state machines are used as a modelling tool. The developed models have been performed in a generalized structure such that the model control can be done automatically for the interlocking systems. In this study, NuSMV is used at the verification state. Also, the consistency of the developed models has been supervised through fault injection. The developed models and software components are applied on a real railway station operated by Metro Istanbul Co.
