It is desirable to develop new signal processing techniques for effectively extracting reflected waves under the strong interferences of borehole guided waves. We presented a multi-scale semblance method for the separ...It is desirable to develop new signal processing techniques for effectively extracting reflected waves under the strong interferences of borehole guided waves. We presented a multi-scale semblance method for the separation and velocity （slowness） analysis of the reflected waves and guided waves in borehole acoustic logging. It was specially designed for the newly developed tools with ultra-long source- receiver spacing for acoustic reflection survey. This new method was a combination of the dual tree com- plex wavelets transform （DT-CWT） and the slowness travel time coherence （STC） method. Applications to the 3D finite difference （FD） modeling simulated data and to the field array sonic waveform signals have demonstrated the ability of this method to appropriately extract the reflected waves under severe interference from the guided waves and to suppress noise in the time-frequency domain.展开更多
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.展开更多
Illegal logging has become a serious problem in forest management in ASEAN. In the paper, the illegal logging status in ASEAN is introduced, and it is sure that Indonesia, Malaysia, Brunei, Laos, Myanmar and Cambodia ...Illegal logging has become a serious problem in forest management in ASEAN. In the paper, the illegal logging status in ASEAN is introduced, and it is sure that Indonesia, Malaysia, Brunei, Laos, Myanmar and Cambodia are production countries, Thailand and Vietnam are the processing countries, and Philippines, Singapore are consumer countries in the whole supply chain of illegal logging. As well, the trade flows of illegal forest products of ASEAN are checked, the cause of illegal logging and its producing impacts are assessed. To tackle illegal logging, one feasible way is to design ecological supply chain to supervise illegal logging process, and under the concept of ecological supply chain, the production countries, processing countries and consumer countries should take actions together. Non-ASEAN countries should improve border control, introduce public procurement policies, promote market-based instruments, and strengthen international cooperation. For ASEAN countries, they should establish cooperation mechanisms within the region, take a unified action, increase governance capacity and promote legality verification or sustainability certification.展开更多
业务流程合规性检查可以帮助企业及早发现潜在问题,保证业务流程的正常运行和安全性。提出一种基于改进BERT(Bidirectional Encoder Representations from Transformers)和轻量化卷积神经网络(CNN)的业务流程合规性检查方法。首先,根据...业务流程合规性检查可以帮助企业及早发现潜在问题,保证业务流程的正常运行和安全性。提出一种基于改进BERT(Bidirectional Encoder Representations from Transformers)和轻量化卷积神经网络(CNN)的业务流程合规性检查方法。首先,根据历史事件日志中的轨迹提取轨迹前缀,构造带拟合情况标记的数据集;其次,使用融合相对上下文关系的BERT模型完成轨迹特征向量的表示;最后,使用轻量化CNN模型构建合规性检查分类器,完成在线业务流程合规性检查,有效提高合规性检查的准确率。在5个真实事件日志数据集上进行实验,结果表明,该方法相比Word2Vec+CNN模型、Transformer模型、BERT分类模型在准确率方面有较大提升,且与传统BERT+CNN相比,所提方法的准确率最高可提升2.61%。展开更多
基金National Natural Science Foundation of China (the project No.is 50674098)the National 863 Project of China (Grant 2006AA06Z207)theNational Basic Research Program of China (973 Program,2007CB209601).
文摘It is desirable to develop new signal processing techniques for effectively extracting reflected waves under the strong interferences of borehole guided waves. We presented a multi-scale semblance method for the separation and velocity （slowness） analysis of the reflected waves and guided waves in borehole acoustic logging. It was specially designed for the newly developed tools with ultra-long source- receiver spacing for acoustic reflection survey. This new method was a combination of the dual tree com- plex wavelets transform （DT-CWT） and the slowness travel time coherence （STC） method. Applications to the 3D finite difference （FD） modeling simulated data and to the field array sonic waveform signals have demonstrated the ability of this method to appropriately extract the reflected waves under severe interference from the guided waves and to suppress noise in the time-frequency domain.
基金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 Social Science Foundation of China (Grant No. 13BGL101)financial support from Jiangsu Education Administration Bureau
文摘Illegal logging has become a serious problem in forest management in ASEAN. In the paper, the illegal logging status in ASEAN is introduced, and it is sure that Indonesia, Malaysia, Brunei, Laos, Myanmar and Cambodia are production countries, Thailand and Vietnam are the processing countries, and Philippines, Singapore are consumer countries in the whole supply chain of illegal logging. As well, the trade flows of illegal forest products of ASEAN are checked, the cause of illegal logging and its producing impacts are assessed. To tackle illegal logging, one feasible way is to design ecological supply chain to supervise illegal logging process, and under the concept of ecological supply chain, the production countries, processing countries and consumer countries should take actions together. Non-ASEAN countries should improve border control, introduce public procurement policies, promote market-based instruments, and strengthen international cooperation. For ASEAN countries, they should establish cooperation mechanisms within the region, take a unified action, increase governance capacity and promote legality verification or sustainability certification.
文摘业务流程合规性检查可以帮助企业及早发现潜在问题,保证业务流程的正常运行和安全性。提出一种基于改进BERT(Bidirectional Encoder Representations from Transformers)和轻量化卷积神经网络(CNN)的业务流程合规性检查方法。首先,根据历史事件日志中的轨迹提取轨迹前缀,构造带拟合情况标记的数据集;其次,使用融合相对上下文关系的BERT模型完成轨迹特征向量的表示;最后,使用轻量化CNN模型构建合规性检查分类器,完成在线业务流程合规性检查,有效提高合规性检查的准确率。在5个真实事件日志数据集上进行实验,结果表明,该方法相比Word2Vec+CNN模型、Transformer模型、BERT分类模型在准确率方面有较大提升,且与传统BERT+CNN相比,所提方法的准确率最高可提升2.61%。
