Accurate quantification of life-cycle greenhouse gas(GHG)footprints(GHG_(fp))for a crop cultivation system is urgently needed to address the conflict between food security and global warming mitigation.In this study,t...Accurate quantification of life-cycle greenhouse gas(GHG)footprints(GHG_(fp))for a crop cultivation system is urgently needed to address the conflict between food security and global warming mitigation.In this study,the hydrobiogeochemical model,CNMM-DNDC,was validated with in situ observations from maize-based cultivation systems at the sites of Yongji(YJ,China),Yanting(YT,China),and Madeya(MA,Kenya),subject to temperate,subtropical,and tropical climates,respectively,and updated to enable life-cycle GHG_(fp)estimation.The model validation provided satisfactory simulations on multiple soil variables,crop growth,and emissions of GHGs and reactive nitrogen gases.The locally conventional management practices resulted in GHG_(fp)values of 0.35(0.09–0.53 at the 95%confidence interval),0.21(0.01–0.73),0.46(0.27–0.60),and 0.54(0.21–0.77)kg CO_(2)e kg~(-1)d.m.(d.m.for dry matter in short)for maize–wheat rotation at YJ and YT,and for maize–maize and maize–Tephrosia rotations at MA,respectively.YT's smallest GHG_(fp)was attributed to its lower off-farm GHG emissions than YJ,though the soil organic carbon(SOC)storage and maize yield were slightly lower than those of YJ.MA's highest SOC loss and low yield in shifting cultivation for maize–Tephrosia rotation contributed to its highest GHG_(fp).Management practices of maize cultivation at these sites could be optimized by combination of synthetic and organic fertilizer(s)while incorporating 50%–100%crop residues.Further evaluation of the updated CNMM-DNDC is needed for different crops at site and regional scales to confirm its worldwide applicability in quantifying GHG_(fp)and optimizing management practices for achieving multiple sustainability goals.展开更多
Renewable energies including solar and wind are intermittent,causing difficulty in connection to conventional power grids due to instability of output duty.Compressed air energy storage(CAES)in underground caverns has...Renewable energies including solar and wind are intermittent,causing difficulty in connection to conventional power grids due to instability of output duty.Compressed air energy storage(CAES)in underground caverns has been considered a potential large-scale energy storage technology.In order to explore the gas injection char-acteristic of underground cavern,a detailed thermodynamic model of the system is established in the process modelling software gPROMS.The four subsystem models,i.e.the compressor,heat exchanger,underground cavern storage and expander,are connected with inlet-outlet equilibrium of flow rate/pressure/temperature to form an integrated CAES system model in gPROMS.The maximum air pressure and temperature in the cavern are focused to interrogate the critical condition of the cavern during the injection process.When analyzing the mass flow rate-pressure ratio relationship,it’s found that under specified operating conditions,an increase in mass flow rate can lead to a higher pressure ratio.Compression power demand also escalates significantly with increasing mass flow rates,underscoring the system’s energy-intensive nature.Additionally,the cooler outlet energy rate progressively decreases,becoming increasingly negative as the mass flow rate increases.These in-sights offer critical theoretical foundations for optimizing practical efficiency of CAES.展开更多
To investigate the process of information technology （IT） impacts on firm competitiveness, an integrated process model of IT impacts on firm competitiveness is brought forward based on the process-oriented view, the...To investigate the process of information technology （IT） impacts on firm competitiveness, an integrated process model of IT impacts on firm competitiveness is brought forward based on the process-oriented view, the resource-based view and the complementary resource view, which is comprised of an IT conversion process, an information system （IS） adoption process, an IS use process and a competition process. The application capability of IT plays the critical role, which determines the efficiency and effectiveness of the aforementioned four processes. The process model of IT impacts on firm competitiveness can also be used to explain why, under what situations and how IT can generate positive organizational outcomes, as well as theoretical bases for further empirical study.展开更多
Workflow management is an important aspect in CSCW at present. The elementary knowledge of workflow process is introduced, the Petri nets based process modeling methodology and basic definitions are provided, and the ...Workflow management is an important aspect in CSCW at present. The elementary knowledge of workflow process is introduced, the Petri nets based process modeling methodology and basic definitions are provided, and the analysis and verification of structural and behavioral correctness of workflow process are discussed. Finally, the algorithm of verification of process definitions is proposed.展开更多
To achieve an on-demand and dynamic composition model of inter-organizational business processes, a new approach for business process modeling and verification is introduced by using the pi-calculus theory. A new busi...To achieve an on-demand and dynamic composition model of inter-organizational business processes, a new approach for business process modeling and verification is introduced by using the pi-calculus theory. A new business process model which is multi-role, multi-dimensional, integrated and dynamic is proposed relying on inter-organizational collaboration. Compatible with the traditional linear sequence model, the new model is an M x N multi-dimensional mesh, and provides horizontal and vertical formal descriptions for the collaboration business process model. Finally, the pi-calculus theory is utilized to verify the deadlocks, livelocks and synchronization of the example models. The result shows that the proposed approach is efficient and applicable in inter-organizational business process modeling.展开更多
Along with the extensive use of workflow, analysis methods to verify the correctness of the workflow are becoming more and more important. In the paper, we exploit the verification method based on Petri net for workfl...Along with the extensive use of workflow, analysis methods to verify the correctness of the workflow are becoming more and more important. In the paper, we exploit the verification method based on Petri net for workflow process models which deals with the verification of workflow and finds the potential errors in the process design. Additionally, an efficient verification algorithm is given.展开更多
Processes supported by process-aware information systems are subject to continuous and often subtle changes due to evolving operational,organizational,or regulatory factors.These changes,referred to as incremental con...Processes supported by process-aware information systems are subject to continuous and often subtle changes due to evolving operational,organizational,or regulatory factors.These changes,referred to as incremental concept drift,gradually alter the behavior or structure of processes,making their detection and localization a challenging task.Traditional process mining techniques frequently assume process stationarity and are limited in their ability to detect such drift,particularly from a control-flow perspective.The objective of this research is to develop an interpretable and robust framework capable of detecting and localizing incremental concept drift in event logs,with a specific emphasis on the structural evolution of control-flow semantics in processes.We propose DriftXMiner,a control-flow-aware hybrid framework that combines statistical,machine learning,and process model analysis techniques.The approach comprises three key components:(1)Cumulative Drift Scanner that tracks directional statistical deviations to detect early drift signals;(2)a Temporal Clustering and Drift-Aware Forest Ensemble(DAFE)to capture distributional and classification-level changes in process behavior;and(3)Petri net-based process model reconstruction,which enables the precise localization of structural drift using transition deviation metrics and replay fitness scores.Experimental validation on the BPI Challenge 2017 event log demonstrates that DriftXMiner effectively identifies and localizes gradual and incremental process drift over time.The framework achieves a detection accuracy of 92.5%,a localization precision of 90.3%,and an F1-score of 0.91,outperforming competitive baselines such as CUSUM+Histograms and ADWIN+Alpha Miner.Visual analyses further confirm that identified drift points align with transitions in control-flow models and behavioral cluster structures.DriftXMiner offers a novel and interpretable solution for incremental concept drift detection and localization in dynamic,process-aware systems.By integrating statistical signal accumulation,temporal behavior profiling,and structural process mining,the framework enables finegrained drift explanation and supports adaptive process intelligence in evolving environments.Its modular architecture supports extension to streaming data and real-time monitoring contexts.展开更多
The mathematical model for online controlling hot rolled steel cooling on run-out table （ROT for abbreviation） was analyzed, and water cooling is found to be the main cooling mode for hot rolled steel. The calculati...The mathematical model for online controlling hot rolled steel cooling on run-out table （ROT for abbreviation） was analyzed, and water cooling is found to be the main cooling mode for hot rolled steel. The calculation of the drop in strip temperature by both water cooling and air cooling is summed up to obtain the change of heat transfer coefficient. It is found that the learning coefficient of heat transfer coefficient is the kernel coefficient of coiler temperature control （CTC） model tuning. To decrease the deviation between the calculated steel temperature and the measured one at coiler entrance, a laminar cooling control self-learning strategy is used. Using the data acquired in the field, the results of the self-learning model used in the field were analyzed. The analyzed results show that the self-learning function is effective.展开更多
With the development of automation and informatization in the steelmaking industry,the human brain gradually fails to cope with an increasing amount of data generated during the steelmaking process.Machine learning te...With the development of automation and informatization in the steelmaking industry,the human brain gradually fails to cope with an increasing amount of data generated during the steelmaking process.Machine learning technology provides a new method other than production experience and metallurgical principles in dealing with large amounts of data.The application of machine learning in the steelmaking process has become a research hotspot in recent years.This paper provides an overview of the applications of machine learning in the steelmaking process modeling involving hot metal pretreatment,primary steelmaking,secondary refining,and some other aspects.The three most frequently used machine learning algorithms in steelmaking process modeling are the artificial neural network,support vector machine,and case-based reasoning,demonstrating proportions of 56%,14%,and 10%,respectively.Collected data in the steelmaking plants are frequently faulty.Thus,data processing,especially data cleaning,is crucially important to the performance of machine learning models.The detection of variable importance can be used to optimize the process parameters and guide production.Machine learning is used in hot metal pretreatment modeling mainly for endpoint S content prediction.The predictions of the endpoints of element compositions and the process parameters are widely investigated in primary steelmaking.Machine learning is used in secondary refining modeling mainly for ladle furnaces,Ruhrstahl–Heraeus,vacuum degassing,argon oxygen decarburization,and vacuum oxygen decarburization processes.Further development of machine learning in the steelmaking process modeling can be realized through additional efforts in the construction of the data platform,the industrial transformation of the research achievements to the practical steelmaking process,and the improvement of the universality of the machine learning models.展开更多
Modeling and attitude control methods for a satellite with a large deployable antenna are studied in the present paper. Firstly, for reducing the model dimension, three dynamic models for the deploying process are dev...Modeling and attitude control methods for a satellite with a large deployable antenna are studied in the present paper. Firstly, for reducing the model dimension, three dynamic models for the deploying process are developed, which are built with the methods of multi-rigid-body dynam- ics, hybrid coordinate and substructure. Then an attitude control method suitable for the deploying process is proposed, which can keep stability under any dynamical parameter variation. Subse- quently, this attitude control is optimized to minimize attitude disturbance during the deploying process. The simulation results show that this attitude control method can keep stability and main- tain proper attitude variation during the deploying process, which indicates that this attitude con- trol method is suitable for practical applications.展开更多
Many applications of principal component analysis (PCA) can be found in dimensionality reduction. But linear PCA method is not well suitable for nonlinear chemical processes. A new PCA method based on im-proved input ...Many applications of principal component analysis (PCA) can be found in dimensionality reduction. But linear PCA method is not well suitable for nonlinear chemical processes. A new PCA method based on im-proved input training neural network (IT-NN) is proposed for the nonlinear system modelling in this paper. Mo-mentum factor and adaptive learning rate are introduced into learning algorithm to improve the training speed of IT-NN. Contrasting to the auto-associative neural network (ANN), IT-NN has less hidden layers and higher training speed. The effectiveness is illustrated through a comparison of IT-NN with linear PCA and ANN with experiments. Moreover, the IT-NN is combined with RBF neural network (RBF-NN) to model the yields of ethylene and propyl-ene in the naphtha pyrolysis system. From the illustrative example and practical application, IT-NN combined with RBF-NN is an effective method of nonlinear chemical process modelling.展开更多
Efficient experiment design is of great significance for the validation of simulation model with high nonlinearity and large input space.Excessive validation experiment raises the cost while insufficient test increase...Efficient experiment design is of great significance for the validation of simulation model with high nonlinearity and large input space.Excessive validation experiment raises the cost while insufficient test increases the risks of accepting an invalid model.In this paper,an adaptive sequential experiment design method combining global exploration criterion and local exploitation criterion is proposed.The exploration criterion utilizes discrepancy metric to improve the space-filling property of the design points while the exploitation criterion employs the leave one out error to discover informative points.To avoid the clustering of samples in the local region,an adaptive weight updating approach is provided to maintain the balance between exploration and exploitation.Besides,the credibility distribution function characterizing the relationship between the input and result credibility is introduced to support the model validation experiment design.Finally,six benchmark problems and an engineering case are applied to examine the performance of the proposed method.The experiments indicate that the proposed method achieves satisfactory performance for function approximation in accuracy and convergence.展开更多
As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new appro...As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using π calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π calculus, thus facilitating the optimization of business processes.展开更多
A catastrophic landslide occurred at Xinmo village in Maoxian County, Sichuan Province,China, on June 24, 2017. A 2.87×106 m3 rock mass collapsed and entrained the surface soil layer along the landslide path. Eig...A catastrophic landslide occurred at Xinmo village in Maoxian County, Sichuan Province,China, on June 24, 2017. A 2.87×106 m3 rock mass collapsed and entrained the surface soil layer along the landslide path. Eighty-three people were killed or went missing and more than 103 houses were destroyed. In this paper, the geological conditions of the landslide are analyzed via field investigation and high-resolution imagery. The dynamic process and runout characteristics of the landslide are numerically analyzed using a depth-integrated continuum method and Mac Cormack-TVD finite difference algorithm.Computational results show that the evaluated area of the danger zone matchs well with the results of field investigation. It is worth noting that soil sprayed by the high-speed blast needs to be taken into account for such kind of large high-locality landslide. The maximum velocity is about 55 m/s, which is consistent with most cases. In addition, the potential danger zone of an unstable block is evaluated. The potential risk area evaluated by the efficient depthintegrated continuum method could play a significant role in disaster prevention and secondary hazard avoidance during rescue operations.展开更多
A hybrid neural network model,in which RH process(theoretical)model is combined organically with neural network(NN)and case-base reasoning(CBR),was established.The CBR method was used to select the operation mode and ...A hybrid neural network model,in which RH process(theoretical)model is combined organically with neural network(NN)and case-base reasoning(CBR),was established.The CBR method was used to select the operation mode and the RH operational guide parameters for different steel grades according to the initial conditions of molten steel,and a three-layer BP neural network was adopted to deal with nonlinear factors for improving and compensating the limitations of technological model for RH process control and end-point prediction.It was verified that the hybrid neural network is effective for improving the precision and calculation efficiency of the model.展开更多
Current orchestration and choreography process engines only serve with dedicate process languages.To solve these problems,an Event-driven Process Execution Model(EPEM) was developed.Formalization and mapping principle...Current orchestration and choreography process engines only serve with dedicate process languages.To solve these problems,an Event-driven Process Execution Model(EPEM) was developed.Formalization and mapping principles of the model were presented to guarantee the correctness and efficiency for process transformation.As a case study,the EPEM descriptions of Web Services Business Process Execution Language(WS-BPEL) were represented and a Process Virtual Machine(PVM)-OncePVM was implemented in compliance with the EPEM.展开更多
In this paper,the process modeling and dynamic simulation for the EAST helium refrigerator has been completed.The cryogenic process model is described and the main components are customized in detail.The process model...In this paper,the process modeling and dynamic simulation for the EAST helium refrigerator has been completed.The cryogenic process model is described and the main components are customized in detail.The process model is controlled by the PLC simulator,and the realtime communication between the process model and the controllers is achieved by a customized interface.Validation of the process model has been confirmed based on EAST experimental data during the cool down process of 300-80 K.Simulation results indicate that this process simulator is able to reproduce dynamic behaviors of the EAST helium refrigerator very well for the operation of long pulsed plasma discharge.The cryogenic process simulator based on control architecture is available for operation optimization and control design of EAST cryogenic systems to cope with the long pulsed heat loads in the future.展开更多
The selection of phase change material(PCM)plays an important role in developing high-efficient thermal energy storage(TES)processes.Ionic liquids(ILs)or organic salts are thermally stable,non-volatile,and non-flammab...The selection of phase change material(PCM)plays an important role in developing high-efficient thermal energy storage(TES)processes.Ionic liquids(ILs)or organic salts are thermally stable,non-volatile,and non-flammable.Importantly,researchers have proved that some ILs possess higher latent heat of fusion than conventional PCMs.Despite these attractive characteristics,yet surprisingly,little research has been performed to the systematic selection or structural design of ILs for TES.Besides,most of the existing work is only focused on the latent heat when selecting PCMs.However,one should note that other properties such as heat capacity and thermal conductivity could affect the TES performance as well.In this work,we propose a computer-aided molecular design(CAMD)based method to systematically design IL PCMs for a practical TES process.The effects of different IL properties are simultaneously captured in the IL property models and TES process models.Optimal ILs holding a best compromise of all the properties are identified through the solution of a formulated CAMD problem where the TES performance of the process is maximized.[MPyEtOH][TfO]is found to be the best material and excitingly,the identified top nine ILs all show a higher TES performance than the traditional PCM paraffin wax at 10 h thermal charging time.展开更多
The reservoir volumetric approach represents a widely accepted, but flawed method of petroleum play resource calculation. In this paper, we propose a combination of techniques that can improve the applicability and qu...The reservoir volumetric approach represents a widely accepted, but flawed method of petroleum play resource calculation. In this paper, we propose a combination of techniques that can improve the applicability and quality of the resource estimation. These techniques include： 1） the use of the Multivariate Discovery Process model （MDP） to derive unbiased distribution parameters of reservoir volumetric variables and to reveal correlations among the variables; 2） the use of the Geo-anchored method to estimate simultaneously the number of oil and gas pools in the same play; and 3） the crossvalidation of assessment results from different methods. These techniques are illustrated by using an example of crude oil and natural gas resource assessment of the Sverdrup Basin, Canadian Archipelago. The example shows that when direct volumetric measurements of the untested prospects are not available, the MDP model can help derive unbiased estimates of the distribution parameters by using information from the discovered oil and gas accumulations. It also shows that an estimation of the number of oil and gas accumulations and associated size ranges from a discovery process model can provide an alternative and efficient approach when inadequate geological data hinder the estimation. Cross-examination of assessment results derived using different methods allows one to focus on and analyze the causes for the major differences, thus providing a more reliable assessment outcome.展开更多
With the development of advanced high strength steel,especially for dual-phase steel,the model algorithm for cooling control after hot rolling has to achieve the targeted coiling temperature control at the location of...With the development of advanced high strength steel,especially for dual-phase steel,the model algorithm for cooling control after hot rolling has to achieve the targeted coiling temperature control at the location of downcoiler whilst maintaining the cooling path control based on strip microstructure along the whole cooling section.A cooling path control algorithm was proposed for the laminar cooling process as a solution to practical difficulties associated with the realization of the thermal cycle during cooling process.The heat conduction equation coupled with the carbon diffusion equation with moving boundary was employed in order to simulate temperature change and phase transformation kinetics,making it possible to observe the temperature field and the phase fraction of the strip in real time.On this basis,an optimization method was utilized for valve settings to ensure the minimum deviations between the predicted and actual cooling path of the strip,taking into account the constraints of the cooling equipment′s specific capacity,cooling line length,etc.Results showed that the model algorithm was able to achieve the online cooling path control for dual-phase steel.展开更多
基金jointly supported by the National Key R&D Program of China(Grant No.2022YFE0209200)the National Natural Science Foundation of China(Grant Nos.U22A20562,42330607 and 41761144054)the National Large Scientific and Technological Infrastructure“Earth System Science Numerical Simulator Facility”(Earth-Lab)(https://cstr.cn/31134.02.EL)。
文摘Accurate quantification of life-cycle greenhouse gas(GHG)footprints(GHG_(fp))for a crop cultivation system is urgently needed to address the conflict between food security and global warming mitigation.In this study,the hydrobiogeochemical model,CNMM-DNDC,was validated with in situ observations from maize-based cultivation systems at the sites of Yongji(YJ,China),Yanting(YT,China),and Madeya(MA,Kenya),subject to temperate,subtropical,and tropical climates,respectively,and updated to enable life-cycle GHG_(fp)estimation.The model validation provided satisfactory simulations on multiple soil variables,crop growth,and emissions of GHGs and reactive nitrogen gases.The locally conventional management practices resulted in GHG_(fp)values of 0.35(0.09–0.53 at the 95%confidence interval),0.21(0.01–0.73),0.46(0.27–0.60),and 0.54(0.21–0.77)kg CO_(2)e kg~(-1)d.m.(d.m.for dry matter in short)for maize–wheat rotation at YJ and YT,and for maize–maize and maize–Tephrosia rotations at MA,respectively.YT's smallest GHG_(fp)was attributed to its lower off-farm GHG emissions than YJ,though the soil organic carbon(SOC)storage and maize yield were slightly lower than those of YJ.MA's highest SOC loss and low yield in shifting cultivation for maize–Tephrosia rotation contributed to its highest GHG_(fp).Management practices of maize cultivation at these sites could be optimized by combination of synthetic and organic fertilizer(s)while incorporating 50%–100%crop residues.Further evaluation of the updated CNMM-DNDC is needed for different crops at site and regional scales to confirm its worldwide applicability in quantifying GHG_(fp)and optimizing management practices for achieving multiple sustainability goals.
基金supported by National Natural Science Foundation of China Excellent Young Scientists Fund Program,Deep Earth Probe and Mineral Resources Exploration-National Science and Technology Major Project(grant No.2024ZD1004105)Shandong Excellent Young Scientists Fund Program(Overseas)(grant No.2022HWYQ-020)Shenzhen Science and Technology Program(grant No.JCYJ20220530141016036,GJHZ20240218113359001).
文摘Renewable energies including solar and wind are intermittent,causing difficulty in connection to conventional power grids due to instability of output duty.Compressed air energy storage(CAES)in underground caverns has been considered a potential large-scale energy storage technology.In order to explore the gas injection char-acteristic of underground cavern,a detailed thermodynamic model of the system is established in the process modelling software gPROMS.The four subsystem models,i.e.the compressor,heat exchanger,underground cavern storage and expander,are connected with inlet-outlet equilibrium of flow rate/pressure/temperature to form an integrated CAES system model in gPROMS.The maximum air pressure and temperature in the cavern are focused to interrogate the critical condition of the cavern during the injection process.When analyzing the mass flow rate-pressure ratio relationship,it’s found that under specified operating conditions,an increase in mass flow rate can lead to a higher pressure ratio.Compression power demand also escalates significantly with increasing mass flow rates,underscoring the system’s energy-intensive nature.Additionally,the cooler outlet energy rate progressively decreases,becoming increasingly negative as the mass flow rate increases.These in-sights offer critical theoretical foundations for optimizing practical efficiency of CAES.
基金The National Natural Science Foundation of China(No.70671024).
文摘To investigate the process of information technology （IT） impacts on firm competitiveness, an integrated process model of IT impacts on firm competitiveness is brought forward based on the process-oriented view, the resource-based view and the complementary resource view, which is comprised of an IT conversion process, an information system （IS） adoption process, an IS use process and a competition process. The application capability of IT plays the critical role, which determines the efficiency and effectiveness of the aforementioned four processes. The process model of IT impacts on firm competitiveness can also be used to explain why, under what situations and how IT can generate positive organizational outcomes, as well as theoretical bases for further empirical study.
文摘Workflow management is an important aspect in CSCW at present. The elementary knowledge of workflow process is introduced, the Petri nets based process modeling methodology and basic definitions are provided, and the analysis and verification of structural and behavioral correctness of workflow process are discussed. Finally, the algorithm of verification of process definitions is proposed.
基金The National Natural Science Foundation of China(No60473078)
文摘To achieve an on-demand and dynamic composition model of inter-organizational business processes, a new approach for business process modeling and verification is introduced by using the pi-calculus theory. A new business process model which is multi-role, multi-dimensional, integrated and dynamic is proposed relying on inter-organizational collaboration. Compatible with the traditional linear sequence model, the new model is an M x N multi-dimensional mesh, and provides horizontal and vertical formal descriptions for the collaboration business process model. Finally, the pi-calculus theory is utilized to verify the deadlocks, livelocks and synchronization of the example models. The result shows that the proposed approach is efficient and applicable in inter-organizational business process modeling.
文摘Along with the extensive use of workflow, analysis methods to verify the correctness of the workflow are becoming more and more important. In the paper, we exploit the verification method based on Petri net for workflow process models which deals with the verification of workflow and finds the potential errors in the process design. Additionally, an efficient verification algorithm is given.
文摘Processes supported by process-aware information systems are subject to continuous and often subtle changes due to evolving operational,organizational,or regulatory factors.These changes,referred to as incremental concept drift,gradually alter the behavior or structure of processes,making their detection and localization a challenging task.Traditional process mining techniques frequently assume process stationarity and are limited in their ability to detect such drift,particularly from a control-flow perspective.The objective of this research is to develop an interpretable and robust framework capable of detecting and localizing incremental concept drift in event logs,with a specific emphasis on the structural evolution of control-flow semantics in processes.We propose DriftXMiner,a control-flow-aware hybrid framework that combines statistical,machine learning,and process model analysis techniques.The approach comprises three key components:(1)Cumulative Drift Scanner that tracks directional statistical deviations to detect early drift signals;(2)a Temporal Clustering and Drift-Aware Forest Ensemble(DAFE)to capture distributional and classification-level changes in process behavior;and(3)Petri net-based process model reconstruction,which enables the precise localization of structural drift using transition deviation metrics and replay fitness scores.Experimental validation on the BPI Challenge 2017 event log demonstrates that DriftXMiner effectively identifies and localizes gradual and incremental process drift over time.The framework achieves a detection accuracy of 92.5%,a localization precision of 90.3%,and an F1-score of 0.91,outperforming competitive baselines such as CUSUM+Histograms and ADWIN+Alpha Miner.Visual analyses further confirm that identified drift points align with transitions in control-flow models and behavioral cluster structures.DriftXMiner offers a novel and interpretable solution for incremental concept drift detection and localization in dynamic,process-aware systems.By integrating statistical signal accumulation,temporal behavior profiling,and structural process mining,the framework enables finegrained drift explanation and supports adaptive process intelligence in evolving environments.Its modular architecture supports extension to streaming data and real-time monitoring contexts.
基金Item Sponsored by National Natural Science Foundation of China(50474016)
文摘The mathematical model for online controlling hot rolled steel cooling on run-out table （ROT for abbreviation） was analyzed, and water cooling is found to be the main cooling mode for hot rolled steel. The calculation of the drop in strip temperature by both water cooling and air cooling is summed up to obtain the change of heat transfer coefficient. It is found that the learning coefficient of heat transfer coefficient is the kernel coefficient of coiler temperature control （CTC） model tuning. To decrease the deviation between the calculated steel temperature and the measured one at coiler entrance, a laminar cooling control self-learning strategy is used. Using the data acquired in the field, the results of the self-learning model used in the field were analyzed. The analyzed results show that the self-learning function is effective.
基金supported by the National Natural Science Foundation of China(No.U1960202)。
文摘With the development of automation and informatization in the steelmaking industry,the human brain gradually fails to cope with an increasing amount of data generated during the steelmaking process.Machine learning technology provides a new method other than production experience and metallurgical principles in dealing with large amounts of data.The application of machine learning in the steelmaking process has become a research hotspot in recent years.This paper provides an overview of the applications of machine learning in the steelmaking process modeling involving hot metal pretreatment,primary steelmaking,secondary refining,and some other aspects.The three most frequently used machine learning algorithms in steelmaking process modeling are the artificial neural network,support vector machine,and case-based reasoning,demonstrating proportions of 56%,14%,and 10%,respectively.Collected data in the steelmaking plants are frequently faulty.Thus,data processing,especially data cleaning,is crucially important to the performance of machine learning models.The detection of variable importance can be used to optimize the process parameters and guide production.Machine learning is used in hot metal pretreatment modeling mainly for endpoint S content prediction.The predictions of the endpoints of element compositions and the process parameters are widely investigated in primary steelmaking.Machine learning is used in secondary refining modeling mainly for ladle furnaces,Ruhrstahl–Heraeus,vacuum degassing,argon oxygen decarburization,and vacuum oxygen decarburization processes.Further development of machine learning in the steelmaking process modeling can be realized through additional efforts in the construction of the data platform,the industrial transformation of the research achievements to the practical steelmaking process,and the improvement of the universality of the machine learning models.
基金sponsored by the National Natural Science Foundation of China (No. 11272172)
文摘Modeling and attitude control methods for a satellite with a large deployable antenna are studied in the present paper. Firstly, for reducing the model dimension, three dynamic models for the deploying process are developed, which are built with the methods of multi-rigid-body dynam- ics, hybrid coordinate and substructure. Then an attitude control method suitable for the deploying process is proposed, which can keep stability under any dynamical parameter variation. Subse- quently, this attitude control is optimized to minimize attitude disturbance during the deploying process. The simulation results show that this attitude control method can keep stability and main- tain proper attitude variation during the deploying process, which indicates that this attitude con- trol method is suitable for practical applications.
基金Supported by Beijing Municipal Education Commission (No.xk100100435) and the Key Research Project of Science andTechnology from Sinopec (No.E03007).
文摘Many applications of principal component analysis (PCA) can be found in dimensionality reduction. But linear PCA method is not well suitable for nonlinear chemical processes. A new PCA method based on im-proved input training neural network (IT-NN) is proposed for the nonlinear system modelling in this paper. Mo-mentum factor and adaptive learning rate are introduced into learning algorithm to improve the training speed of IT-NN. Contrasting to the auto-associative neural network (ANN), IT-NN has less hidden layers and higher training speed. The effectiveness is illustrated through a comparison of IT-NN with linear PCA and ANN with experiments. Moreover, the IT-NN is combined with RBF neural network (RBF-NN) to model the yields of ethylene and propyl-ene in the naphtha pyrolysis system. From the illustrative example and practical application, IT-NN combined with RBF-NN is an effective method of nonlinear chemical process modelling.
基金supported by the National Natural Science Foundation of China(No.61627810)。
文摘Efficient experiment design is of great significance for the validation of simulation model with high nonlinearity and large input space.Excessive validation experiment raises the cost while insufficient test increases the risks of accepting an invalid model.In this paper,an adaptive sequential experiment design method combining global exploration criterion and local exploitation criterion is proposed.The exploration criterion utilizes discrepancy metric to improve the space-filling property of the design points while the exploitation criterion employs the leave one out error to discover informative points.To avoid the clustering of samples in the local region,an adaptive weight updating approach is provided to maintain the balance between exploration and exploitation.Besides,the credibility distribution function characterizing the relationship between the input and result credibility is introduced to support the model validation experiment design.Finally,six benchmark problems and an engineering case are applied to examine the performance of the proposed method.The experiments indicate that the proposed method achieves satisfactory performance for function approximation in accuracy and convergence.
文摘As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using π calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π calculus, thus facilitating the optimization of business processes.
基金Financial support from National Nature Science Foundation of China (Grant No. 41572303, 41520104002)Chinese Academy of Sciences “Light of West China” Program and Youth Innovation Promotion Association
文摘A catastrophic landslide occurred at Xinmo village in Maoxian County, Sichuan Province,China, on June 24, 2017. A 2.87×106 m3 rock mass collapsed and entrained the surface soil layer along the landslide path. Eighty-three people were killed or went missing and more than 103 houses were destroyed. In this paper, the geological conditions of the landslide are analyzed via field investigation and high-resolution imagery. The dynamic process and runout characteristics of the landslide are numerically analyzed using a depth-integrated continuum method and Mac Cormack-TVD finite difference algorithm.Computational results show that the evaluated area of the danger zone matchs well with the results of field investigation. It is worth noting that soil sprayed by the high-speed blast needs to be taken into account for such kind of large high-locality landslide. The maximum velocity is about 55 m/s, which is consistent with most cases. In addition, the potential danger zone of an unstable block is evaluated. The potential risk area evaluated by the efficient depthintegrated continuum method could play a significant role in disaster prevention and secondary hazard avoidance during rescue operations.
基金Item Sponsored by National Natural Science Foundation of China(50074026)
文摘A hybrid neural network model,in which RH process(theoretical)model is combined organically with neural network(NN)and case-base reasoning(CBR),was established.The CBR method was used to select the operation mode and the RH operational guide parameters for different steel grades according to the initial conditions of molten steel,and a three-layer BP neural network was adopted to deal with nonlinear factors for improving and compensating the limitations of technological model for RH process control and end-point prediction.It was verified that the hybrid neural network is effective for improving the precision and calculation efficiency of the model.
文摘Current orchestration and choreography process engines only serve with dedicate process languages.To solve these problems,an Event-driven Process Execution Model(EPEM) was developed.Formalization and mapping principles of the model were presented to guarantee the correctness and efficiency for process transformation.As a case study,the EPEM descriptions of Web Services Business Process Execution Language(WS-BPEL) were represented and a Process Virtual Machine(PVM)-OncePVM was implemented in compliance with the EPEM.
基金supported by National Natural Science Foundation of China(No.51306195)Key Laboratory of Cryogenics,Technical Institute of Physics and Chemistry,CAS(No.CRYO201408)
文摘In this paper,the process modeling and dynamic simulation for the EAST helium refrigerator has been completed.The cryogenic process model is described and the main components are customized in detail.The process model is controlled by the PLC simulator,and the realtime communication between the process model and the controllers is achieved by a customized interface.Validation of the process model has been confirmed based on EAST experimental data during the cool down process of 300-80 K.Simulation results indicate that this process simulator is able to reproduce dynamic behaviors of the EAST helium refrigerator very well for the operation of long pulsed plasma discharge.The cryogenic process simulator based on control architecture is available for operation optimization and control design of EAST cryogenic systems to cope with the long pulsed heat loads in the future.
基金the financial support from Max Planck Society,Germany,for the Computer-Aided Material and Process Design(CAMPD)project
文摘The selection of phase change material(PCM)plays an important role in developing high-efficient thermal energy storage(TES)processes.Ionic liquids(ILs)or organic salts are thermally stable,non-volatile,and non-flammable.Importantly,researchers have proved that some ILs possess higher latent heat of fusion than conventional PCMs.Despite these attractive characteristics,yet surprisingly,little research has been performed to the systematic selection or structural design of ILs for TES.Besides,most of the existing work is only focused on the latent heat when selecting PCMs.However,one should note that other properties such as heat capacity and thermal conductivity could affect the TES performance as well.In this work,we propose a computer-aided molecular design(CAMD)based method to systematically design IL PCMs for a practical TES process.The effects of different IL properties are simultaneously captured in the IL property models and TES process models.Optimal ILs holding a best compromise of all the properties are identified through the solution of a formulated CAMD problem where the TES performance of the process is maximized.[MPyEtOH][TfO]is found to be the best material and excitingly,the identified top nine ILs all show a higher TES performance than the traditional PCM paraffin wax at 10 h thermal charging time.
文摘The reservoir volumetric approach represents a widely accepted, but flawed method of petroleum play resource calculation. In this paper, we propose a combination of techniques that can improve the applicability and quality of the resource estimation. These techniques include： 1） the use of the Multivariate Discovery Process model （MDP） to derive unbiased distribution parameters of reservoir volumetric variables and to reveal correlations among the variables; 2） the use of the Geo-anchored method to estimate simultaneously the number of oil and gas pools in the same play; and 3） the crossvalidation of assessment results from different methods. These techniques are illustrated by using an example of crude oil and natural gas resource assessment of the Sverdrup Basin, Canadian Archipelago. The example shows that when direct volumetric measurements of the untested prospects are not available, the MDP model can help derive unbiased estimates of the distribution parameters by using information from the discovered oil and gas accumulations. It also shows that an estimation of the number of oil and gas accumulations and associated size ranges from a discovery process model can provide an alternative and efficient approach when inadequate geological data hinder the estimation. Cross-examination of assessment results derived using different methods allows one to focus on and analyze the causes for the major differences, thus providing a more reliable assessment outcome.
文摘With the development of advanced high strength steel,especially for dual-phase steel,the model algorithm for cooling control after hot rolling has to achieve the targeted coiling temperature control at the location of downcoiler whilst maintaining the cooling path control based on strip microstructure along the whole cooling section.A cooling path control algorithm was proposed for the laminar cooling process as a solution to practical difficulties associated with the realization of the thermal cycle during cooling process.The heat conduction equation coupled with the carbon diffusion equation with moving boundary was employed in order to simulate temperature change and phase transformation kinetics,making it possible to observe the temperature field and the phase fraction of the strip in real time.On this basis,an optimization method was utilized for valve settings to ensure the minimum deviations between the predicted and actual cooling path of the strip,taking into account the constraints of the cooling equipment′s specific capacity,cooling line length,etc.Results showed that the model algorithm was able to achieve the online cooling path control for dual-phase steel.
