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.展开更多
In enterprise dynamic alliance towards agile manufacturing systems, any group needs to know which activities it must take part in, in what order those activities take place and how many other groups it must interact ...In enterprise dynamic alliance towards agile manufacturing systems, any group needs to know which activities it must take part in, in what order those activities take place and how many other groups it must interact with. The traditional procedural models can’t meet the requirement of the modeling for an enterprise dynamic alliance. In this paper, we use role based models for an enterprise modeling. Role based models group activities into roles, which describe the desired behavior of individual enterprise. We have developed a graphical modeling tool built on Web/DCOM platform according to Petri net theory and role based methodology.展开更多
In order to reduce the enormous pressure to environmental monitoring work brought by the false sewage monitoring data, Grubbs method, box plot, t test and other methods are used to make depth analysis to the data, pro...In order to reduce the enormous pressure to environmental monitoring work brought by the false sewage monitoring data, Grubbs method, box plot, t test and other methods are used to make depth analysis to the data, providing a set of technological process to identify the sewage monitoring data, which is convenient and simple.展开更多
On the basis of PDM(product data management) definition and its connotation, the factors to ensure implementation success are analyzed. The definition phase, analysis phase, design phase, build and test phase, and pos...On the basis of PDM(product data management) definition and its connotation, the factors to ensure implementation success are analyzed. The definition phase, analysis phase, design phase, build and test phase, and post production phase during PDM implementation are described. The implementation is divided into ten processes, which consist of the above different phases. The relationships between phases and processes are illustrated. Finally, a workflow is proposed to guide the implementing at a fixed price.展开更多
An upwind scheme based on the unstructured mesh is developed to solve ideal 2-D magnetohydrodynamics (MHD) equations. The inviscid fluxes are approximated by using the modified advection upstream splitting method (...An upwind scheme based on the unstructured mesh is developed to solve ideal 2-D magnetohydrodynamics (MHD) equations. The inviscid fluxes are approximated by using the modified advection upstream splitting method (AUSM) scheme, and a 5-stage explicit Runge-Kutta scheme is adopted in the time integration. To avoid the influence of the magnetic field divergence created during the simulation, the hyperbolic divergence cleaning method is introduced. The shock-capturing properties of the method are verified by solving the MHD shock-tube problem. Then the 2-D nozzle flow with the magnetic field is numerically simulated on the unstructured mesh. Computational results demonstrate the effects of the magnetic field and agree well with those from references.展开更多
To alleviate the resulting increase in energy consumption and emissions and other issues caused by the traffic congestion ahead of the expressway toll station, a novel traffic flowcontrol method is put forward based o...To alleviate the resulting increase in energy consumption and emissions and other issues caused by the traffic congestion ahead of the expressway toll station, a novel traffic flowcontrol method is put forward based on the environment-friendly conception. The technical thinking of inducing the slowly moving traffic into a batch pass is determined based on the conclusion of the research, traffic flowtheory and traffic sensing detection technology. The model of stop times is established and the parameters of the system are optimized in accordance with the principle of minimizing the fuel consumption. The optimal location selection of traffic control lights and Detector 2 for queue of different lengths at toll stations are calculated based on the model. Finally, the effect of the congestion flowcontrol system is verified via the Paramics simulation system. The result shows that the control system is capable of reducing90% of fuel consumption for vehicles going through toll stations.展开更多
The preconditioning method is used to solve the low Mach number flow. The space discritisation scheme is the Roe scheme and the DES turbulence model is used. Then, the low Mach number turbulence flow around the NACA00...The preconditioning method is used to solve the low Mach number flow. The space discritisation scheme is the Roe scheme and the DES turbulence model is used. Then, the low Mach number turbulence flow around the NACA0012 airfoil is used to verify the efficiency of the proposed method. Two cases of the low Mach number flows around the multi-element airfoil and the circular cylinder are also used to test the proposed method. Numerical results show that the methods combined the preconditioning method and compressible Navier-Stokes equations are efficient to solve low Mach number flows.展开更多
To solve the problems that the exception handling code is hard to test and maintain and that it affects the robustness and reliability of software, a method for evaluating the exception handling of programs is present...To solve the problems that the exception handling code is hard to test and maintain and that it affects the robustness and reliability of software, a method for evaluating the exception handling of programs is presented. The exception propagation graph (EPG) that describes the large programs with exception handling constructs is proposed by simplifying the control flow graph and it is applied to a case to verify its validity. According to the EPG, the exception handling code that never executes is identified; the points that are the most critical to controlling exception propagation are found; and the irrational exception handling code is corrected. The constructing algorithm for the EPG is given; thus, this provides a basis for automatically constructing the EPG and automatically correcting the irrational exception handling code.展开更多
Urban development is becoming increasingly reliant on effective use of intelligent services.In the process of providing better services to all citizens and improving the efficiency of administration processes,the conc...Urban development is becoming increasingly reliant on effective use of intelligent services.In the process of providing better services to all citizens and improving the efficiency of administration processes,the concept of a smart city has been lauded as a promising solution for the coming challenge of global urbanization.However,due to the broad scope of smart cities their definition has not been standardized,thus proposed architectures are diverse.This work proposes a new architecture from the perspective of the data that underpins all the functionality of smart cities.The proposed architecture is discussed,outlining design challenges and offering insight into the development of smart cities.展开更多
The mass of the embedded systems are driven by second batteries, not by wired power supply. So saving energy is one of the main design goals for embedded system. In this paper we present a new technique for modelling ...The mass of the embedded systems are driven by second batteries, not by wired power supply. So saving energy is one of the main design goals for embedded system. In this paper we present a new technique for modelling and solving the dynamic power management (DPM) problem for embedded systems with complex behavioural characteristics. First we model a power-managed embedded computing system as a controllable Flow Chart. Then we use the Poisson process for optimisation, and give the power management algorithm by the help of Dynamic Voltage Scaling (DVS) technology. At last we built the experi- mental model using the PXA 255 Processors. The experimental results showed that the proposed technique can achieve more than 12% power saving compared to other existing DPM techniques.展开更多
For complex chemical processes,process optimization is usually performed on causal models from first principle models.When the mechanism models cannot be obtained easily,restricted model built by process data is used ...For complex chemical processes,process optimization is usually performed on causal models from first principle models.When the mechanism models cannot be obtained easily,restricted model built by process data is used for dynamic process optimization.A new strategy is proposed for complex process optimization,in which latent variables are used as decision variables and statistics is used to describe constraints.As the constraint condition will be more complex by projecting the original variable to latent space,Hotelling T^2 statistics is introduced for constraint formulation in latent space.In this way,the constraint is simplified when the optimization is solved in low-dimensional space of latent variable.The validity of the methodology is illustrated in pH-level optimal control process and practical polypropylene grade transition process.展开更多
MapReduce is a popular program- ming model for processing large-scale datasets in a distributed environment and is a funda- mental component of current cloud comput- ing and big data applications. In this paper, a hea...MapReduce is a popular program- ming model for processing large-scale datasets in a distributed environment and is a funda- mental component of current cloud comput- ing and big data applications. In this paper, a heartbeat mechanism for MapReduce Task Scheduler using Dynamic Calibration (HMTS- DC) is proposed to address the unbalanced node computation capacity problem in a het- erogeneous MapReduce environment. HMTS- DC uses two mechanisms to dynamically adapt and balance tasks assigned to each com- pute node: 1) using heartbeat to dynamically estimate the capacity of the compute nodes, and 2) using data locality of replicated data blocks to reduce data transfer between nodes. With the first mechanism, based on the heart- beats received during the early state of the job, the task scheduler can dynamically estimate the computational capacity of each node. Us- ing the second mechanism, unprocessed Tasks local to each compute node are reassigned and reserved to allow nodes with greater capacities to reserve more local tasks than their weaker counterparts. Experimental results show that HMTS-DC performs better than Hadoop and Dynamic Data Placement Strategy (DDP) in a dynamic environment. Furthermore, an en- hanced HMTS-DC (EHMTS-DC) is proposed bv incorporatin historical data. In contrastto the "slow start" property of HMTS-DC, EHMTS-DC relies on the historical computation capacity of the slave machines. The experimental results show that EHMTS-DC outperforms HMTS-DC in a dynamic environment.展开更多
Many workflow management systems have emerged in recent years, but few of them provide any form of support for verification. This frequently results in runtime errors that need to be corrected at prohibitive costs. In...Many workflow management systems have emerged in recent years, but few of them provide any form of support for verification. This frequently results in runtime errors that need to be corrected at prohibitive costs. In Ref.[1], a few reduction rules of verifying workflow graph are given. After analyzing the reduction rules, the overlapped reduction rule is found to be inaccurate. In this paper, the improved reduction rules are presented and the matrix-based implementing algorithm is given, so that the scope of the verification of workflow is expanded and the efficiency of the algorithm is enhanced. The method is simple and natural, and its implementation is easy too.展开更多
To provide efficient monitoring of web service-based business processes, a web service proxy (WS- proxy) is developed to monitor business activities by monitoring the enactment of services. WS-proxy is deployed as a...To provide efficient monitoring of web service-based business processes, a web service proxy (WS- proxy) is developed to monitor business activities by monitoring the enactment of services. WS-proxy is deployed as an intermediary between internal business processes and external service providers, and it provides a single point of service access with the functions of message routing and content inspection. By using an XPath engine named WS-filter, performance indicators can be generated from service messages for assessing business performance. In the experiments, the feasibility of WS-proxy is verified and it achieves good performance in the monitoring work. The latency introduced by WS-proxy is only about 15% of the overall latency while extracting performance indicators just consumes less than one third of the processing time.展开更多
Techniques of gully-specific debris flow hazard assessment develope d in four periods since the end of the 1980s have been discussed in the present paper. The improvement for the empirical assessment method is the sec...Techniques of gully-specific debris flow hazard assessment develope d in four periods since the end of the 1980s have been discussed in the present paper. The improvement for the empirical assessment method is the sectionalized function transformation for the factor value, rather than the classified logical transformation. The theoretical equation of the gully-specific debris flow haz ard is expressed as the definite integral of an exponential function and its num erical solution is expressed by the Poisson Limit Equation. Current methods for assessment of debris flow hazard in China are still valid and practical. The fur ther work should be put on the study of the reliability (or uncertainty) of the techniques. For the future, we should give a high priority to the relationship b etween debris flow magnitude and its frequency of occurrence, make more developm ents of prediction model on debris flow magnitude, so as to finally reach the go al of assessing the hazard of debris flow by theoretical model, and realize both actuality assessment and prediction appraisal of debris flow.展开更多
文摘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.
文摘In enterprise dynamic alliance towards agile manufacturing systems, any group needs to know which activities it must take part in, in what order those activities take place and how many other groups it must interact with. The traditional procedural models can’t meet the requirement of the modeling for an enterprise dynamic alliance. In this paper, we use role based models for an enterprise modeling. Role based models group activities into roles, which describe the desired behavior of individual enterprise. We have developed a graphical modeling tool built on Web/DCOM platform according to Petri net theory and role based methodology.
文摘In order to reduce the enormous pressure to environmental monitoring work brought by the false sewage monitoring data, Grubbs method, box plot, t test and other methods are used to make depth analysis to the data, providing a set of technological process to identify the sewage monitoring data, which is convenient and simple.
文摘On the basis of PDM(product data management) definition and its connotation, the factors to ensure implementation success are analyzed. The definition phase, analysis phase, design phase, build and test phase, and post production phase during PDM implementation are described. The implementation is divided into ten processes, which consist of the above different phases. The relationships between phases and processes are illustrated. Finally, a workflow is proposed to guide the implementing at a fixed price.
文摘An upwind scheme based on the unstructured mesh is developed to solve ideal 2-D magnetohydrodynamics (MHD) equations. The inviscid fluxes are approximated by using the modified advection upstream splitting method (AUSM) scheme, and a 5-stage explicit Runge-Kutta scheme is adopted in the time integration. To avoid the influence of the magnetic field divergence created during the simulation, the hyperbolic divergence cleaning method is introduced. The shock-capturing properties of the method are verified by solving the MHD shock-tube problem. Then the 2-D nozzle flow with the magnetic field is numerically simulated on the unstructured mesh. Computational results demonstrate the effects of the magnetic field and agree well with those from references.
基金The Natural Science Foundation of Hebei Province(No.E2013202228)the Science and Technology Planning Project of the Department of Transportation of Hebei Province(No.R070245)
文摘To alleviate the resulting increase in energy consumption and emissions and other issues caused by the traffic congestion ahead of the expressway toll station, a novel traffic flowcontrol method is put forward based on the environment-friendly conception. The technical thinking of inducing the slowly moving traffic into a batch pass is determined based on the conclusion of the research, traffic flowtheory and traffic sensing detection technology. The model of stop times is established and the parameters of the system are optimized in accordance with the principle of minimizing the fuel consumption. The optimal location selection of traffic control lights and Detector 2 for queue of different lengths at toll stations are calculated based on the model. Finally, the effect of the congestion flowcontrol system is verified via the Paramics simulation system. The result shows that the control system is capable of reducing90% of fuel consumption for vehicles going through toll stations.
文摘The preconditioning method is used to solve the low Mach number flow. The space discritisation scheme is the Roe scheme and the DES turbulence model is used. Then, the low Mach number turbulence flow around the NACA0012 airfoil is used to verify the efficiency of the proposed method. Two cases of the low Mach number flows around the multi-element airfoil and the circular cylinder are also used to test the proposed method. Numerical results show that the methods combined the preconditioning method and compressible Navier-Stokes equations are efficient to solve low Mach number flows.
基金The National Natural Science Foundation of China(No60503020)the National Basic Research Program of China (973Program) (No2002CB312000)+1 种基金the Natural Science Foundation of Jiangsu Province (NoBK2006094)the Science Research Foundation of China University of Mining and Technology
文摘To solve the problems that the exception handling code is hard to test and maintain and that it affects the robustness and reliability of software, a method for evaluating the exception handling of programs is presented. The exception propagation graph (EPG) that describes the large programs with exception handling constructs is proposed by simplifying the control flow graph and it is applied to a case to verify its validity. According to the EPG, the exception handling code that never executes is identified; the points that are the most critical to controlling exception propagation are found; and the irrational exception handling code is corrected. The constructing algorithm for the EPG is given; thus, this provides a basis for automatically constructing the EPG and automatically correcting the irrational exception handling code.
基金This work was partially supported by the National Natural Science Foundation of China,the National High Technology Research and Development Program of China,the Fundamental Research Funds for the Central Universities
文摘Urban development is becoming increasingly reliant on effective use of intelligent services.In the process of providing better services to all citizens and improving the efficiency of administration processes,the concept of a smart city has been lauded as a promising solution for the coming challenge of global urbanization.However,due to the broad scope of smart cities their definition has not been standardized,thus proposed architectures are diverse.This work proposes a new architecture from the perspective of the data that underpins all the functionality of smart cities.The proposed architecture is discussed,outlining design challenges and offering insight into the development of smart cities.
基金Project (No. 2003AA1Z2120) supported by the Hi-Tech Researchand Development Program (863) of China
文摘The mass of the embedded systems are driven by second batteries, not by wired power supply. So saving energy is one of the main design goals for embedded system. In this paper we present a new technique for modelling and solving the dynamic power management (DPM) problem for embedded systems with complex behavioural characteristics. First we model a power-managed embedded computing system as a controllable Flow Chart. Then we use the Poisson process for optimisation, and give the power management algorithm by the help of Dynamic Voltage Scaling (DVS) technology. At last we built the experi- mental model using the PXA 255 Processors. The experimental results showed that the proposed technique can achieve more than 12% power saving compared to other existing DPM techniques.
基金Supported by the National Natural Science Foundation of China(61174114)the Research Fund for the Doctoral Program of Higher Education in China(20120101130016)+1 种基金the Natural Science Foundation of Zhejiang Province(LQ15F030006)the Educational Commission Research Program of Zhejiang Province(Y201431412)
文摘For complex chemical processes,process optimization is usually performed on causal models from first principle models.When the mechanism models cannot be obtained easily,restricted model built by process data is used for dynamic process optimization.A new strategy is proposed for complex process optimization,in which latent variables are used as decision variables and statistics is used to describe constraints.As the constraint condition will be more complex by projecting the original variable to latent space,Hotelling T^2 statistics is introduced for constraint formulation in latent space.In this way,the constraint is simplified when the optimization is solved in low-dimensional space of latent variable.The validity of the methodology is illustrated in pH-level optimal control process and practical polypropylene grade transition process.
文摘MapReduce is a popular program- ming model for processing large-scale datasets in a distributed environment and is a funda- mental component of current cloud comput- ing and big data applications. In this paper, a heartbeat mechanism for MapReduce Task Scheduler using Dynamic Calibration (HMTS- DC) is proposed to address the unbalanced node computation capacity problem in a het- erogeneous MapReduce environment. HMTS- DC uses two mechanisms to dynamically adapt and balance tasks assigned to each com- pute node: 1) using heartbeat to dynamically estimate the capacity of the compute nodes, and 2) using data locality of replicated data blocks to reduce data transfer between nodes. With the first mechanism, based on the heart- beats received during the early state of the job, the task scheduler can dynamically estimate the computational capacity of each node. Us- ing the second mechanism, unprocessed Tasks local to each compute node are reassigned and reserved to allow nodes with greater capacities to reserve more local tasks than their weaker counterparts. Experimental results show that HMTS-DC performs better than Hadoop and Dynamic Data Placement Strategy (DDP) in a dynamic environment. Furthermore, an en- hanced HMTS-DC (EHMTS-DC) is proposed bv incorporatin historical data. In contrastto the "slow start" property of HMTS-DC, EHMTS-DC relies on the historical computation capacity of the slave machines. The experimental results show that EHMTS-DC outperforms HMTS-DC in a dynamic environment.
文摘Many workflow management systems have emerged in recent years, but few of them provide any form of support for verification. This frequently results in runtime errors that need to be corrected at prohibitive costs. In Ref.[1], a few reduction rules of verifying workflow graph are given. After analyzing the reduction rules, the overlapped reduction rule is found to be inaccurate. In this paper, the improved reduction rules are presented and the matrix-based implementing algorithm is given, so that the scope of the verification of workflow is expanded and the efficiency of the algorithm is enhanced. The method is simple and natural, and its implementation is easy too.
基金The National Natural Science Foundation of China(No60473078)
文摘To provide efficient monitoring of web service-based business processes, a web service proxy (WS- proxy) is developed to monitor business activities by monitoring the enactment of services. WS-proxy is deployed as an intermediary between internal business processes and external service providers, and it provides a single point of service access with the functions of message routing and content inspection. By using an XPath engine named WS-filter, performance indicators can be generated from service messages for assessing business performance. In the experiments, the feasibility of WS-proxy is verified and it achieves good performance in the monitoring work. The latency introduced by WS-proxy is only about 15% of the overall latency while extracting performance indicators just consumes less than one third of the processing time.
文摘Techniques of gully-specific debris flow hazard assessment develope d in four periods since the end of the 1980s have been discussed in the present paper. The improvement for the empirical assessment method is the sectionalized function transformation for the factor value, rather than the classified logical transformation. The theoretical equation of the gully-specific debris flow haz ard is expressed as the definite integral of an exponential function and its num erical solution is expressed by the Poisson Limit Equation. Current methods for assessment of debris flow hazard in China are still valid and practical. The fur ther work should be put on the study of the reliability (or uncertainty) of the techniques. For the future, we should give a high priority to the relationship b etween debris flow magnitude and its frequency of occurrence, make more developm ents of prediction model on debris flow magnitude, so as to finally reach the go al of assessing the hazard of debris flow by theoretical model, and realize both actuality assessment and prediction appraisal of debris flow.