Business processes described by formal or semi-formal models are realized via information systems.Event logs generated from these systems are probably not consistent with the existing models due to insufficient design...Business processes described by formal or semi-formal models are realized via information systems.Event logs generated from these systems are probably not consistent with the existing models due to insufficient design of the information system or the system upgrade.By comparing an existing process model with event logs,we can detect inconsistencies called deviations,verify and extend the business process model,and accordingly improve the business process.In this paper,some abnormal activities in business processes are formally defined based on Petri nets.An efficient approach to detect deviations between the process model and event logs is proposed.Then,business process models are revised when abnormal activities exist.A clinical process in a healthcare information system is used as a case study to illustrate our work.Experimental results show the effectiveness and efficiency of the proposed approach.展开更多
The numerical solution of Green’s function for the potential in 2-D arbitrary in-homogeneous media with axial symmetry has been given by use of efficient half-analytical, half-numerical hybrid method. Then the loggin...The numerical solution of Green’s function for the potential in 2-D arbitrary in-homogeneous media with axial symmetry has been given by use of efficient half-analytical, half-numerical hybrid method. Then the logging responses of various kinds of the DC resistivity log with axisymmetric excitation have been obtained by using surface integral equation method to match the boundary conditions on the electrodes of the logging sonde. Comparing the results with that obtained by other methods, one can see good precision and efficiency of the given method. Some applications of the numerical modeling have been also discussed.展开更多
This paper introduces a new spontaneous potential log model for the case in which formation resistivity is not piecewise constant. The spontaneous potential satisfies an elliptic boundary value problem with jump condi...This paper introduces a new spontaneous potential log model for the case in which formation resistivity is not piecewise constant. The spontaneous potential satisfies an elliptic boundary value problem with jump conditions on the interfaces. It has beer/ shown that the elliptic interface problem has a unique weak solution. Furthermore, a jump condition capturing finite difference scheme is proposed and applied to solve such elliptic problems. Numerical results show validity and effectiveness of the proposed method.展开更多
This work is devoted to the analysis of the formation conditions and geologic model of Paleozoic basement rocks of a number of oil-and-gas fields, located in Tomsk region(South of West-Siberian Oil-and-Gas Province,Ru...This work is devoted to the analysis of the formation conditions and geologic model of Paleozoic basement rocks of a number of oil-and-gas fields, located in Tomsk region(South of West-Siberian Oil-and-Gas Province,Russia).The research is based on integrated data interpretation of seismic exploration, well logging and deep drilling.The study is at the interfaces between exploration geophysics展开更多
The log float technology from timber depot at the reservoir to log feeding rolls was studied by model tests. The model test was taken with the rule of gravitation similitude and ratio of 1∶10. Main parameters, like t...The log float technology from timber depot at the reservoir to log feeding rolls was studied by model tests. The model test was taken with the rule of gravitation similitude and ratio of 1∶10. Main parameters, like the amount of tug boats, hydro-accelerators and the structure of feeding rolls, were determined. The more suitable float process is put forward and the reliable basis for the design is supplied.展开更多
This paper analyzes some specific features of the numerical interpretation of high-frequency electromagnetic logging data in vertical, deviated and horizontal boreholes entering oil- and water-saturated formations. Th...This paper analyzes some specific features of the numerical interpretation of high-frequency electromagnetic logging data in vertical, deviated and horizontal boreholes entering oil- and water-saturated formations. The interpretation is based on numerical modeling for signals.展开更多
In order to improve the interpretation of production log data on gas-water elongated bubble （EB） flow in horizontal wells, a multi-phase flow simulation device was set up to conduct a series of measurement experimen...In order to improve the interpretation of production log data on gas-water elongated bubble （EB） flow in horizontal wells, a multi-phase flow simulation device was set up to conduct a series of measurement experiments using air and tap water as test media, which were measured using a real production logging tool （PLT） string at different deviations and in different mixed flow states. By understanding the characteristics and mechanisms of gas-water EB flow in transparent experimental boreholes during production logging, combined with an analysis of the production log response characteristics and experimental production logging flow pattern maps, a method for flow pattern identification relying on log responses and a drift-flux model were proposed for gas-water EB flow. This model, built upon experimental data of EB flow, reveals physical mechanisms of gas-water EB flow during measurement processing. The coefficients it contains are the specific values under experimental conditions and with the PLT string used in our experiments. These coefficients also reveal the interference with original downhole flow patterns by the PLT string. Due to the representativeness that our simulated flow experiments and PLT string possess, the model coefficients can be applied as empirical values of logging interpretation model parameters directly to real production logging data interpretation, when the measurement circumstances and PLT strings are similar.展开更多
基金supported by the National Natural Science Foundation of China(61170078,61472228,61903229,61902222)the “Taishan Scholar” Construction Project of Shandong Province,China,the Natural Science Foundation of Shandong Province(ZR2018MF001)+1 种基金the Scientific Research Foundation of Shandong University of Science and Technology for Recruited Talents(2017RCJJ044)the Key Research and Development Program of Shandong Province(2018GGX101011)
文摘Business processes described by formal or semi-formal models are realized via information systems.Event logs generated from these systems are probably not consistent with the existing models due to insufficient design of the information system or the system upgrade.By comparing an existing process model with event logs,we can detect inconsistencies called deviations,verify and extend the business process model,and accordingly improve the business process.In this paper,some abnormal activities in business processes are formally defined based on Petri nets.An efficient approach to detect deviations between the process model and event logs is proposed.Then,business process models are revised when abnormal activities exist.A clinical process in a healthcare information system is used as a case study to illustrate our work.Experimental results show the effectiveness and efficiency of the proposed approach.
基金Supported by the National Natural Science FoundatiOn of China
文摘The numerical solution of Green’s function for the potential in 2-D arbitrary in-homogeneous media with axial symmetry has been given by use of efficient half-analytical, half-numerical hybrid method. Then the logging responses of various kinds of the DC resistivity log with axisymmetric excitation have been obtained by using surface integral equation method to match the boundary conditions on the electrodes of the logging sonde. Comparing the results with that obtained by other methods, one can see good precision and efficiency of the given method. Some applications of the numerical modeling have been also discussed.
基金supported by the National Natural Science Foundation of China (No. 10431030)the Shanghai Natural Science Foundation (No. 08ZR1401100)
文摘This paper introduces a new spontaneous potential log model for the case in which formation resistivity is not piecewise constant. The spontaneous potential satisfies an elliptic boundary value problem with jump conditions on the interfaces. It has beer/ shown that the elliptic interface problem has a unique weak solution. Furthermore, a jump condition capturing finite difference scheme is proposed and applied to solve such elliptic problems. Numerical results show validity and effectiveness of the proposed method.
文摘This work is devoted to the analysis of the formation conditions and geologic model of Paleozoic basement rocks of a number of oil-and-gas fields, located in Tomsk region(South of West-Siberian Oil-and-Gas Province,Russia).The research is based on integrated data interpretation of seismic exploration, well logging and deep drilling.The study is at the interfaces between exploration geophysics
文摘The log float technology from timber depot at the reservoir to log feeding rolls was studied by model tests. The model test was taken with the rule of gravitation similitude and ratio of 1∶10. Main parameters, like the amount of tug boats, hydro-accelerators and the structure of feeding rolls, were determined. The more suitable float process is put forward and the reliable basis for the design is supplied.
文摘This paper analyzes some specific features of the numerical interpretation of high-frequency electromagnetic logging data in vertical, deviated and horizontal boreholes entering oil- and water-saturated formations. The interpretation is based on numerical modeling for signals.
文摘In order to improve the interpretation of production log data on gas-water elongated bubble （EB） flow in horizontal wells, a multi-phase flow simulation device was set up to conduct a series of measurement experiments using air and tap water as test media, which were measured using a real production logging tool （PLT） string at different deviations and in different mixed flow states. By understanding the characteristics and mechanisms of gas-water EB flow in transparent experimental boreholes during production logging, combined with an analysis of the production log response characteristics and experimental production logging flow pattern maps, a method for flow pattern identification relying on log responses and a drift-flux model were proposed for gas-water EB flow. This model, built upon experimental data of EB flow, reveals physical mechanisms of gas-water EB flow during measurement processing. The coefficients it contains are the specific values under experimental conditions and with the PLT string used in our experiments. These coefficients also reveal the interference with original downhole flow patterns by the PLT string. Due to the representativeness that our simulated flow experiments and PLT string possess, the model coefficients can be applied as empirical values of logging interpretation model parameters directly to real production logging data interpretation, when the measurement circumstances and PLT strings are similar.
