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.展开更多
Spectrogram analysis of seven natural gamma-ray logging of Member 1 of the Qingshankou Formation （K2qn^1） and Member 1 and 2 of the Nenjiang Formation （K2n^1-2） of Late Cretaceous age in the Songliao Basin reveals...Spectrogram analysis of seven natural gamma-ray logging of Member 1 of the Qingshankou Formation （K2qn^1） and Member 1 and 2 of the Nenjiang Formation （K2n^1-2） of Late Cretaceous age in the Songliao Basin reveals sedimentary cyclicities controlled by Milankovitch climate periodicities. The recognition of Milankovitch cycles allows estimation of an average accumulation rate of ～7.55- 8.62 cm/ka for the K2qn^1 sections, and ～6.69-10.16 cm/ka for the K2n^1-2 sections. Two marine transgression events occurred during the deposition of K2qn^1 and K2n^1-2 and their ages are at ～0.74- 1.10 Ma and ～2.38-4.84 Ma, respectively. Identification of Milankoviteh cycles from fine-grained deep lake sedimentary rocks in the Songliao Basin may provide great potential for high-resolution stratigraphic subdivisions and correlations.展开更多
1 IntroductionNowadays in China, there are more than six hundred million netizens [1]. On April 11, 2015, the nmnbet of simultaneous online users of the Chinese instant message application QQ reached two hundred milli...1 IntroductionNowadays in China, there are more than six hundred million netizens [1]. On April 11, 2015, the nmnbet of simultaneous online users of the Chinese instant message application QQ reached two hundred million [2]. The fast growth ol the lnternet pusnes me rapid development of information technology （IT） and communication technology （CT）. Many traditional IT service and CT equipment providers are facing the fusion of IT and CT in the age of digital transformation, and heading toward ICT enterprises. Large global ICT enterprises, such as Apple, Google, Microsoft, Amazon, Verizon, and AT＆T, have been contributing to the performance improvement of IT service and CT equipment.展开更多
基金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.
文摘Spectrogram analysis of seven natural gamma-ray logging of Member 1 of the Qingshankou Formation （K2qn^1） and Member 1 and 2 of the Nenjiang Formation （K2n^1-2） of Late Cretaceous age in the Songliao Basin reveals sedimentary cyclicities controlled by Milankovitch climate periodicities. The recognition of Milankovitch cycles allows estimation of an average accumulation rate of ～7.55- 8.62 cm/ka for the K2qn^1 sections, and ～6.69-10.16 cm/ka for the K2n^1-2 sections. Two marine transgression events occurred during the deposition of K2qn^1 and K2n^1-2 and their ages are at ～0.74- 1.10 Ma and ～2.38-4.84 Ma, respectively. Identification of Milankoviteh cycles from fine-grained deep lake sedimentary rocks in the Songliao Basin may provide great potential for high-resolution stratigraphic subdivisions and correlations.
基金supported in part by Ministry of Education/China Mobile joint research grant under Project No.5-10Nanjing University of Posts and Telecommunications under Grants No.NY214135 and NY215045
文摘1 IntroductionNowadays in China, there are more than six hundred million netizens [1]. On April 11, 2015, the nmnbet of simultaneous online users of the Chinese instant message application QQ reached two hundred million [2]. The fast growth ol the lnternet pusnes me rapid development of information technology （IT） and communication technology （CT）. Many traditional IT service and CT equipment providers are facing the fusion of IT and CT in the age of digital transformation, and heading toward ICT enterprises. Large global ICT enterprises, such as Apple, Google, Microsoft, Amazon, Verizon, and AT＆T, have been contributing to the performance improvement of IT service and CT equipment.
