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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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 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.展开更多
An ore-blending optimization model for the sintering process is an intelligent system that includes iron ore characteristics, expert knowledge and material balance. In the present work, 14 indices are proposed to repr...An ore-blending optimization model for the sintering process is an intelligent system that includes iron ore characteristics, expert knowledge and material balance. In the present work, 14 indices are proposed to represent chemical composition, granulating properties and high temperature properties of iron ores. After the relationships between iron ore characteristics and sintering performance are established, the ＂two-step＂ method and the simplex method are introduced to build the model by distinguishing the calculation of optimized blending proportion of iron ores from that of other sintering materials in order to improve calculation efficiency. The ore-blending optimization model, programmed by Access and Visual Basic, is applied to practical production in steel mills and the results prove that the present model can take advantage of the available iron ore resource with stable sinter yield and quality performance but at a lower cost.展开更多
To equip data-driven dynamic chemical process models with strong interpretability,we develop a light attention–convolution–gate recurrent unit(LACG)architecture with three sub-modules—a basic module,a brand-new lig...To equip data-driven dynamic chemical process models with strong interpretability,we develop a light attention–convolution–gate recurrent unit(LACG)architecture with three sub-modules—a basic module,a brand-new light attention module,and a residue module—that are specially designed to learn the general dynamic behavior,transient disturbances,and other input factors of chemical processes,respectively.Combined with a hyperparameter optimization framework,Optuna,the effectiveness of the proposed LACG is tested by distributed control system data-driven modeling experiments on the discharge flowrate of an actual deethanization process.The LACG model provides significant advantages in prediction accuracy and model generalization compared with other models,including the feedforward neural network,convolution neural network,long short-term memory(LSTM),and attention-LSTM.Moreover,compared with the simulation results of a deethanization model built using Aspen Plus Dynamics V12.1,the LACG parameters are demonstrated to be interpretable,and more details on the variable interactions can be observed from the model parameters in comparison with the traditional interpretable model attention-LSTM.This contribution enriches interpretable machine learning knowledge and provides a reliable method with high accuracy for actual chemical process modeling,paving a route to intelligent manufacturing.展开更多
In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activit...In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.展开更多
On the basis of Digital Elevation Model data, the raster flow vectors, watershed delineation, and spatial topological relationship are generated by the Martz and Garbrecht method for the upper area of Huangnizhuang st...On the basis of Digital Elevation Model data, the raster flow vectors, watershed delineation, and spatial topological relationship are generated by the Martz and Garbrecht method for the upper area of Huangnizhuang station in the Shihe Catchment with 805 km<SUP>2</SUP> of area, an intensified observation field for the HUBEX/GAME Project. Then, the Xin’anjiang Model is applied for runoff production in each grid element where rain data measured by radar at Fuyang station is utilized as the input of the hydrological model. The elements are connected by flow vectors to the outlet of the drainage catchment where runoff is routed by the Muskingum method from each grid element to the outlet according to the length between each grid and the outlet. The Nash-Sutcliffe model efficiency coefficient is 92.41% from 31 May to 3 August 1998, and 85.64%, 86.62%, 92.57%, and 83.91%, respectively for the 1st, 2nd, 3rd, and 4th flood events during the whole computational period. As compared with the case where rain-gauge data are used in simulating the hourly hydrograph at Huangnizhuang station in the Shihe Catchment, the index of model efficiency improvement is positive, ranging from 27.56% to 69.39%. This justifies the claim that radar-measured data are superior to rain-gauge data as inputs to hydrological modeling. As a result, the grid-based hydrological model provides a good platform for runoff computation when radar-measured rain data with highly spatiotemporal resolution are taken as the input of the hydrological model.展开更多
Clinical practice guidelines(CPGs)contain evidence-based and economically reasonable medical treatment processes.Executable medical treatment processes in healthcare information systems can assist the treatment proces...Clinical practice guidelines(CPGs)contain evidence-based and economically reasonable medical treatment processes.Executable medical treatment processes in healthcare information systems can assist the treatment processes.To this end,business process modeling technologies have been exploited to model medical treatment processes.However,medical treatment processes are usually flexible and knowledge-intensive.To reduce the effort in modeling,we summarize several treatment patterns(i.e.,frequent behaviors in medical treatment processes in CPGs),and represent them by three process modeling languages(i.e.,BPMN,DMN,and CMMN).Based on the summarized treatment patterns,we propose a pattern-based integrated framework for modeling medical treatment processes.A modeling platform is implemented to support the use of treatment patterns,by which the feasibility of our approach is validated.An empirical analysis is discussed based on the coverage rates of treatment patterns.Feedback from interviewed physicians in a Chinese hospital shows that executable medical treatment processes of CPGs provide a convenient way to obtain guidance,thus assisting daily work for medical workers.展开更多
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.展开更多
Hard coal mines are required to constantly ventilate mine workings to ensure that the air composition is at a certain humidity and temperature level that is comfortable for underground mine workers,especially in deep ...Hard coal mines are required to constantly ventilate mine workings to ensure that the air composition is at a certain humidity and temperature level that is comfortable for underground mine workers,especially in deep deposits.All underground workings,which are part of the mine ventilation network,should be ventilated in a way that allows maintaining proper oxygen concentration not lower than 19%(by volume),and limits concentration of gases in the air such as methane,carbon monoxide or carbon dioxide.The air flow in the mine ventilation network may be disturbed due to the natural convergence(deformation)and lead to change in its original cross-section.Reducing the cross-sectional area of the mining excavation causes local resistances in the air flow and changes in aerodynamic potentials,which leads to emergency states in the mine ventilation network.This paper presents the results of numerical simulations of the influence of gateroad convergence on the ventilation process of a selected part of the mine ventilation network.The gateroad convergence was modelled with the finite element software PHASE 2.The influence of changes in the cross-sectional area of the gateroad on the ventilation process was carried out using the computational fluid dynamics software Ansys-Fluent.展开更多
基金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.
文摘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 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.
基金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 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.
基金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 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 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 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.
文摘An ore-blending optimization model for the sintering process is an intelligent system that includes iron ore characteristics, expert knowledge and material balance. In the present work, 14 indices are proposed to represent chemical composition, granulating properties and high temperature properties of iron ores. After the relationships between iron ore characteristics and sintering performance are established, the ＂two-step＂ method and the simplex method are introduced to build the model by distinguishing the calculation of optimized blending proportion of iron ores from that of other sintering materials in order to improve calculation efficiency. The ore-blending optimization model, programmed by Access and Visual Basic, is applied to practical production in steel mills and the results prove that the present model can take advantage of the available iron ore resource with stable sinter yield and quality performance but at a lower cost.
基金support provided by the National Natural Science Foundation of China(22122802,22278044,and 21878028)the Chongqing Science Fund for Distinguished Young Scholars(CSTB2022NSCQ-JQX0021)the Fundamental Research Funds for the Central Universities(2022CDJXY-003).
文摘To equip data-driven dynamic chemical process models with strong interpretability,we develop a light attention–convolution–gate recurrent unit(LACG)architecture with three sub-modules—a basic module,a brand-new light attention module,and a residue module—that are specially designed to learn the general dynamic behavior,transient disturbances,and other input factors of chemical processes,respectively.Combined with a hyperparameter optimization framework,Optuna,the effectiveness of the proposed LACG is tested by distributed control system data-driven modeling experiments on the discharge flowrate of an actual deethanization process.The LACG model provides significant advantages in prediction accuracy and model generalization compared with other models,including the feedforward neural network,convolution neural network,long short-term memory(LSTM),and attention-LSTM.Moreover,compared with the simulation results of a deethanization model built using Aspen Plus Dynamics V12.1,the LACG parameters are demonstrated to be interpretable,and more details on the variable interactions can be observed from the model parameters in comparison with the traditional interpretable model attention-LSTM.This contribution enriches interpretable machine learning knowledge and provides a reliable method with high accuracy for actual chemical process modeling,paving a route to intelligent manufacturing.
文摘In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.
基金The research is jointly supported financially by the National Natural Science Foundation of China under Grant No. 40171016 and 49794030.
文摘On the basis of Digital Elevation Model data, the raster flow vectors, watershed delineation, and spatial topological relationship are generated by the Martz and Garbrecht method for the upper area of Huangnizhuang station in the Shihe Catchment with 805 km<SUP>2</SUP> of area, an intensified observation field for the HUBEX/GAME Project. Then, the Xin’anjiang Model is applied for runoff production in each grid element where rain data measured by radar at Fuyang station is utilized as the input of the hydrological model. The elements are connected by flow vectors to the outlet of the drainage catchment where runoff is routed by the Muskingum method from each grid element to the outlet according to the length between each grid and the outlet. The Nash-Sutcliffe model efficiency coefficient is 92.41% from 31 May to 3 August 1998, and 85.64%, 86.62%, 92.57%, and 83.91%, respectively for the 1st, 2nd, 3rd, and 4th flood events during the whole computational period. As compared with the case where rain-gauge data are used in simulating the hourly hydrograph at Huangnizhuang station in the Shihe Catchment, the index of model efficiency improvement is positive, ranging from 27.56% to 69.39%. This justifies the claim that radar-measured data are superior to rain-gauge data as inputs to hydrological modeling. As a result, the grid-based hydrological model provides a good platform for runoff computation when radar-measured rain data with highly spatiotemporal resolution are taken as the input of the hydrological model.
基金supported by Chinese National Key Research and Development Program(No.2017YFB1400604).
文摘Clinical practice guidelines(CPGs)contain evidence-based and economically reasonable medical treatment processes.Executable medical treatment processes in healthcare information systems can assist the treatment processes.To this end,business process modeling technologies have been exploited to model medical treatment processes.However,medical treatment processes are usually flexible and knowledge-intensive.To reduce the effort in modeling,we summarize several treatment patterns(i.e.,frequent behaviors in medical treatment processes in CPGs),and represent them by three process modeling languages(i.e.,BPMN,DMN,and CMMN).Based on the summarized treatment patterns,we propose a pattern-based integrated framework for modeling medical treatment processes.A modeling platform is implemented to support the use of treatment patterns,by which the feasibility of our approach is validated.An empirical analysis is discussed based on the coverage rates of treatment patterns.Feedback from interviewed physicians in a Chinese hospital shows that executable medical treatment processes of CPGs provide a convenient way to obtain guidance,thus assisting daily work for medical workers.
基金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.
基金research realized at the Central Mining Institute in Katowice,Poland(No.10030217-152)financed by the Polish Ministry of Science and Higher Education
文摘Hard coal mines are required to constantly ventilate mine workings to ensure that the air composition is at a certain humidity and temperature level that is comfortable for underground mine workers,especially in deep deposits.All underground workings,which are part of the mine ventilation network,should be ventilated in a way that allows maintaining proper oxygen concentration not lower than 19%(by volume),and limits concentration of gases in the air such as methane,carbon monoxide or carbon dioxide.The air flow in the mine ventilation network may be disturbed due to the natural convergence(deformation)and lead to change in its original cross-section.Reducing the cross-sectional area of the mining excavation causes local resistances in the air flow and changes in aerodynamic potentials,which leads to emergency states in the mine ventilation network.This paper presents the results of numerical simulations of the influence of gateroad convergence on the ventilation process of a selected part of the mine ventilation network.The gateroad convergence was modelled with the finite element software PHASE 2.The influence of changes in the cross-sectional area of the gateroad on the ventilation process was carried out using the computational fluid dynamics software Ansys-Fluent.
