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.展开更多
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.展开更多
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.展开更多
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.展开更多
Among the proposed techniques for delivering drugs to specific sites within the human body, magnetic targeting drug delivery surpasses due to its non-invasive character and its high targeting efficiency. Although ther...Among the proposed techniques for delivering drugs to specific sites within the human body, magnetic targeting drug delivery surpasses due to its non-invasive character and its high targeting efficiency. Although there have been some analyses theoretically for magnetic drug targeting, very few researchers have addressed the hydrodynamic models of magnetic fluids in the blood vessel of human body. This paper presents a mathematical model to describe the hydrodynamics of ferrofluids as drug carriers flowing in a blood vessel under the applied magnetic field. A 3D flow field of magnetic particles in a blood vessel model is numerically simulated in order to further understand clinical application of magnetic targeting drug delivery. Simulation results show that magnetic nanoparticles can be enriched in a target region depending on the applied magnetic field intensity. Magnetic resonance imaging confirms the enrichment of ferrofluids in a desired body tissue of Sprague-Dawley rats. The simulation results coincide with those animal experiments. Results of the analysis provide the important information and can suggest strategies for improving delivery in favor of the clinical application.展开更多
Development of the global economy makes modem enterprises confront challenges of efficient managements for large projects and complex processes. Projects are typically managed in rather special manners. On the contrar...Development of the global economy makes modem enterprises confront challenges of efficient managements for large projects and complex processes. Projects are typically managed in rather special manners. On the contrary, there exist many methodologies for product process management to achieve consistency and continuance. However, processes often lack flexibility offered by projects. This paper dis~ the relationship of conceptual characteristics between process and project, gives low-level details to tackle the difference between them, and proposes an enterprise process modeling method for project management. An integrated environment is designed to support the method from which both project management and process management can receive benefits and conform to the limitations.展开更多
activities.Ex-periments on a synthetic log of the non-secondary hy-pertension MTP and empirical findings demonstrate the effectiveness of our approach.The results show that the process mining in our approach framework...activities.Ex-periments on a synthetic log of the non-secondary hy-pertension MTP and empirical findings demonstrate the effectiveness of our approach.The results show that the process mining in our approach framework can automatically generate more accurate MTP mod-els,and the subprocess models based on treatment pat-terns make the models easy to understand.展开更多
This paper aims at providing an effective modeling methods for more and more mobile business applications. First a high level Petri nets method-Xml nets is introduced, which combines the advantage of Petri nets and XM...This paper aims at providing an effective modeling methods for more and more mobile business applications. First a high level Petri nets method-Xml nets is introduced, which combines the advantage of Petri nets and XML. Petri nets have strict mathematics and intuitionistic diagram ex- pression way, rich system describing means and system behavior analytical technology, and the re- lated powerful supporting tools. XML, as an extensible markup language, is already a information description de facto standard. XML nets could be utilized to model both the controlling flow and the data flow of mobile business process effectively, which consequently enables the analysis and optimi- zation of the mobile business processes and could be utilized to simulate the execution of the mobile business process with the Petri nets tools to improve the system execution efficiency. In this paper, to demonstrate the modeling of the controlling flow and data flow of mobile business process, an in- strument repair business case is modeled with XML nets.展开更多
Artificial neural networks have been studied for applicability for modeling of spot welding process. Some basic concepts relating to neural networks are explained as well as how they can be used to model welding quali...Artificial neural networks have been studied for applicability for modeling of spot welding process. Some basic concepts relating to neural networks are explained as well as how they can be used to model welding qualitv parameters in terms of the welding process parameter. The performance of the neural networks for modeling is presented and evaluated using actual welding data. It is concluded that neural network modeling is a good means of estimating spot welding quality on-line.展开更多
Simulation technique is an efficient approach to realize the planning and scheduling of manufacturing process of products. An appropriate and efficient manufacturing process model is the basis and key of manufacturing...Simulation technique is an efficient approach to realize the planning and scheduling of manufacturing process of products. An appropriate and efficient manufacturing process model is the basis and key of manufacturing process simulation. By analyzing the features of large-sized and complex products, a method of manufacturing process modeling based on activity network is presented and a mapping algorithm of translating BOM/BOP into the manufacturing process model is designed in detail.展开更多
Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process mod...Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process modeling of civil aircraft. Then, we expound a general method of civil aircraft maintenance activities, determine the maintenance level for decomposition, and propose the methods of describing logic of relations between the maintenance activities based on Petri Net. Finally, a time Colored Petri multi-level network modeling and simulation procedures and steps are given with the maintenance example of the landing gear burst tire of a certain type of aircraft. The feasibility of the method is proved by the example.展开更多
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.展开更多
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.展开更多
Software Development Life Cycle (SDLC) is one of the major ingredients for the development of efficient software systems within a time frame and low-cost involvement. From the literature, it is evident that there are ...Software Development Life Cycle (SDLC) is one of the major ingredients for the development of efficient software systems within a time frame and low-cost involvement. From the literature, it is evident that there are various kinds of process models that are used by the software industries for the development of small, medium and long-term software projects, but many of them do not cover risk management. It is quite obvious that the improper selection of the software development process model leads to failure of the software products as it is time bound activity. In the present work, a new software development process model is proposed which covers the risks at any stage of the development of the software product. The model is named a Hemant-Vipin (HV) process model and may be helpful for the software industries for development of the efficient software products and timely delivery at the end of the client. The efficiency of the HV process model is observed by considering various kinds of factors like requirement clarity, user feedback, change agility, predictability, risk identification, practical implementation, customer satisfaction, incremental development, use of ready-made components, quick design, resource organization and many more and found through a case study that the presented approach covers many of parameters in comparison of the existing process models. .展开更多
Cities are facing challenges of high rise in population number and con-sequently need to be equipped with latest smart services to provide luxuries of life to its residents.Smart integrated solutions are also a need t...Cities are facing challenges of high rise in population number and con-sequently need to be equipped with latest smart services to provide luxuries of life to its residents.Smart integrated solutions are also a need to deal with the social and environmental challenges,caused by increasing urbanization.Currently,the development of smart services’integrated network,within a city,is facing the bar-riers including;less efficient collection and sharing of data,along with inadequate collaboration of software and hardware.Aiming to resolve these issues,this paper recommended a solution for a synchronous functionality in the smart services’integration process through modeling technique.Using this integration modeling solution,atfirst,the service participants,processes and tasks of smart services are identified and then standard illustrations are developed for the better understand-ing of the integrated service group environment.Business process modeling and notation(BPMN)language based models are developed and discussed for a devised case study,to test and experiment i.e.,for remote healthcare from a smart home.The research is concluded with the integration process model application for the required data sharing among different service groups.The outcomes of the modeling are better understanding and attaining maximum automation that can be referenced and replicated.展开更多
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.展开更多
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.展开更多
A copper chemical mechanical polishing (Cu CMP) process is reviewed and analyzed from the view of chemical physics. Three steps Cu CMP process modeling is set up based on the actual process of manufacturing and patt...A copper chemical mechanical polishing (Cu CMP) process is reviewed and analyzed from the view of chemical physics. Three steps Cu CMP process modeling is set up based on the actual process of manufacturing and pattern-density-step-height (PDSH) modeling from MIT. To catch the pattern dependency, a 65 nm testing chip is designed and processed in the foundry. Following the model parameter extraction procedure, the model parameters are extracted and verified by testing data from the 65 nm testing chip. A comparison of results between the model predictions and test data show that the former has the same trend as the latter and the largest deviation is less than 5 nm. Third party testing data gives further evidence to support the great performance of model parameter optimization. Since precise CMP process modeling is used for the design of manufacturability (DFM) checks, critical hotspots are displayed and eliminated, which will assure good yield and production capacity of IC.展开更多
The use of Concurrent Engineering and other modern methods of product development and maintenance require that a large number of time overlapped “processes” be performed by many people. However, successfully describ...The use of Concurrent Engineering and other modern methods of product development and maintenance require that a large number of time overlapped “processes” be performed by many people. However, successfully describing and optimizing these processes are becoming even more difficult to achieve. The perspective of industrial process theory (the definition of process) and the perspective of process implementation (process transition, accumulation, and inter operations between processes) are used to survey the method used to build one base model (multi view) process model.展开更多
Fluid catalytic cracking(FCC)is a vitally important refinery process.The fractionation,absorption,and stabilization system in the FCC process is a significant way to obtain key products,and its parameters will directl...Fluid catalytic cracking(FCC)is a vitally important refinery process.The fractionation,absorption,and stabilization system in the FCC process is a significant way to obtain key products,and its parameters will directly affect the quality of the products.In this work,using industrial data from an actual FCC process,a model of the FCC fractionation,absorption,and stabilization system was developed using process simulation software.The sequence quadratic program algorithm was then used to identify the parameters of each tower,increasing the accuracy of the simulation results.Next,using this improved model,a sensitivity analysis was performed to examine the effects of different operating conditions.The pattern-search method was then used to optimize the operating parameters of the system.The results showed that the optimized model has good prediction accuracy,and using the model,it was found that changing the operation parameters could result in a 1.84%improvement in economic benefits.As such,the developed model was demonstrated to be usefully applicable to the optimization of the process operation of an FCC fractionation,absorption,and stabilization system.展开更多
基金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.
基金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.
基金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.
文摘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.
基金supported by National Natural Science Foundation of China (Grant No. 50875169)National Basic Research Program of China (973 Program, Grant No. 2007CB936004).
文摘Among the proposed techniques for delivering drugs to specific sites within the human body, magnetic targeting drug delivery surpasses due to its non-invasive character and its high targeting efficiency. Although there have been some analyses theoretically for magnetic drug targeting, very few researchers have addressed the hydrodynamic models of magnetic fluids in the blood vessel of human body. This paper presents a mathematical model to describe the hydrodynamics of ferrofluids as drug carriers flowing in a blood vessel under the applied magnetic field. A 3D flow field of magnetic particles in a blood vessel model is numerically simulated in order to further understand clinical application of magnetic targeting drug delivery. Simulation results show that magnetic nanoparticles can be enriched in a target region depending on the applied magnetic field intensity. Magnetic resonance imaging confirms the enrichment of ferrofluids in a desired body tissue of Sprague-Dawley rats. The simulation results coincide with those animal experiments. Results of the analysis provide the important information and can suggest strategies for improving delivery in favor of the clinical application.
基金Project supported by Aviation Basic Science Fundation( GrantNo .00F51058)
文摘Development of the global economy makes modem enterprises confront challenges of efficient managements for large projects and complex processes. Projects are typically managed in rather special manners. On the contrary, there exist many methodologies for product process management to achieve consistency and continuance. However, processes often lack flexibility offered by projects. This paper dis~ the relationship of conceptual characteristics between process and project, gives low-level details to tackle the difference between them, and proposes an enterprise process modeling method for project management. An integrated environment is designed to support the method from which both project management and process management can receive benefits and conform to the limitations.
基金Chinese National Key Research and Development Program(No.2017YFB1400604).
文摘activities.Ex-periments on a synthetic log of the non-secondary hy-pertension MTP and empirical findings demonstrate the effectiveness of our approach.The results show that the process mining in our approach framework can automatically generate more accurate MTP mod-els,and the subprocess models based on treatment pat-terns make the models easy to understand.
基金Supported by the Beijing Natural Science Foundation(9133020)the National Natural Science Foundation of China(70972007)+1 种基金National Sciences Foundation Committee and General Administration of Civil Aviation of China(60672180)Beijing Municipal Natural Science Foundation(9102015)
文摘This paper aims at providing an effective modeling methods for more and more mobile business applications. First a high level Petri nets method-Xml nets is introduced, which combines the advantage of Petri nets and XML. Petri nets have strict mathematics and intuitionistic diagram ex- pression way, rich system describing means and system behavior analytical technology, and the re- lated powerful supporting tools. XML, as an extensible markup language, is already a information description de facto standard. XML nets could be utilized to model both the controlling flow and the data flow of mobile business process effectively, which consequently enables the analysis and optimi- zation of the mobile business processes and could be utilized to simulate the execution of the mobile business process with the Petri nets tools to improve the system execution efficiency. In this paper, to demonstrate the modeling of the controlling flow and data flow of mobile business process, an in- strument repair business case is modeled with XML nets.
文摘Artificial neural networks have been studied for applicability for modeling of spot welding process. Some basic concepts relating to neural networks are explained as well as how they can be used to model welding qualitv parameters in terms of the welding process parameter. The performance of the neural networks for modeling is presented and evaluated using actual welding data. It is concluded that neural network modeling is a good means of estimating spot welding quality on-line.
文摘Simulation technique is an efficient approach to realize the planning and scheduling of manufacturing process of products. An appropriate and efficient manufacturing process model is the basis and key of manufacturing process simulation. By analyzing the features of large-sized and complex products, a method of manufacturing process modeling based on activity network is presented and a mapping algorithm of translating BOM/BOP into the manufacturing process model is designed in detail.
文摘Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process modeling of civil aircraft. Then, we expound a general method of civil aircraft maintenance activities, determine the maintenance level for decomposition, and propose the methods of describing logic of relations between the maintenance activities based on Petri Net. Finally, a time Colored Petri multi-level network modeling and simulation procedures and steps are given with the maintenance example of the landing gear burst tire of a certain type of aircraft. The feasibility of the method is proved by the example.
基金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.
文摘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.
文摘Software Development Life Cycle (SDLC) is one of the major ingredients for the development of efficient software systems within a time frame and low-cost involvement. From the literature, it is evident that there are various kinds of process models that are used by the software industries for the development of small, medium and long-term software projects, but many of them do not cover risk management. It is quite obvious that the improper selection of the software development process model leads to failure of the software products as it is time bound activity. In the present work, a new software development process model is proposed which covers the risks at any stage of the development of the software product. The model is named a Hemant-Vipin (HV) process model and may be helpful for the software industries for development of the efficient software products and timely delivery at the end of the client. The efficiency of the HV process model is observed by considering various kinds of factors like requirement clarity, user feedback, change agility, predictability, risk identification, practical implementation, customer satisfaction, incremental development, use of ready-made components, quick design, resource organization and many more and found through a case study that the presented approach covers many of parameters in comparison of the existing process models. .
文摘Cities are facing challenges of high rise in population number and con-sequently need to be equipped with latest smart services to provide luxuries of life to its residents.Smart integrated solutions are also a need to deal with the social and environmental challenges,caused by increasing urbanization.Currently,the development of smart services’integrated network,within a city,is facing the bar-riers including;less efficient collection and sharing of data,along with inadequate collaboration of software and hardware.Aiming to resolve these issues,this paper recommended a solution for a synchronous functionality in the smart services’integration process through modeling technique.Using this integration modeling solution,atfirst,the service participants,processes and tasks of smart services are identified and then standard illustrations are developed for the better understand-ing of the integrated service group environment.Business process modeling and notation(BPMN)language based models are developed and discussed for a devised case study,to test and experiment i.e.,for remote healthcare from a smart home.The research is concluded with the integration process model application for the required data sharing among different service groups.The outcomes of the modeling are better understanding and attaining maximum automation that can be referenced and replicated.
基金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 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.
基金Project supported by the National Major Science and Technology Special Project of China During the 11th Five-Year Plan Period(No. 2009ZX02023-4-2)
文摘A copper chemical mechanical polishing (Cu CMP) process is reviewed and analyzed from the view of chemical physics. Three steps Cu CMP process modeling is set up based on the actual process of manufacturing and pattern-density-step-height (PDSH) modeling from MIT. To catch the pattern dependency, a 65 nm testing chip is designed and processed in the foundry. Following the model parameter extraction procedure, the model parameters are extracted and verified by testing data from the 65 nm testing chip. A comparison of results between the model predictions and test data show that the former has the same trend as the latter and the largest deviation is less than 5 nm. Third party testing data gives further evidence to support the great performance of model parameter optimization. Since precise CMP process modeling is used for the design of manufacturability (DFM) checks, critical hotspots are displayed and eliminated, which will assure good yield and production capacity of IC.
文摘The use of Concurrent Engineering and other modern methods of product development and maintenance require that a large number of time overlapped “processes” be performed by many people. However, successfully describing and optimizing these processes are becoming even more difficult to achieve. The perspective of industrial process theory (the definition of process) and the perspective of process implementation (process transition, accumulation, and inter operations between processes) are used to survey the method used to build one base model (multi view) process model.
基金supported by the National Key Research&Development Program-Intergovernmental International Science and Technology Innovation Cooperation Project (Grant No.2021YFE0112800)National Natural Science Foundation of China (Grant Nos.61973124+2 种基金61873093)the SINOPEC Research Program (Grant No.119030-2)Shanghai AI Lab
文摘Fluid catalytic cracking(FCC)is a vitally important refinery process.The fractionation,absorption,and stabilization system in the FCC process is a significant way to obtain key products,and its parameters will directly affect the quality of the products.In this work,using industrial data from an actual FCC process,a model of the FCC fractionation,absorption,and stabilization system was developed using process simulation software.The sequence quadratic program algorithm was then used to identify the parameters of each tower,increasing the accuracy of the simulation results.Next,using this improved model,a sensitivity analysis was performed to examine the effects of different operating conditions.The pattern-search method was then used to optimize the operating parameters of the system.The results showed that the optimized model has good prediction accuracy,and using the model,it was found that changing the operation parameters could result in a 1.84%improvement in economic benefits.As such,the developed model was demonstrated to be usefully applicable to the optimization of the process operation of an FCC fractionation,absorption,and stabilization system.