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.展开更多
基金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.
