In service-oriented systems, composition of services is required to build new, distributed and more complex services, based on the logic behavior of individual ones. This paper discusses the formal composition of Petr...
详细信息
In service-oriented systems, composition of services is required to build new, distributed and more complex services, based on the logic behavior of individual ones. This paper discusses the formal composition of Petri nets models used for the process description and control in service-oriented automation systems. The proposed approach considers two forms for the composition of services, notably the offline composition, applied during the design phase, and the online composition, related to the synchronization of Petri nets models on the fly. An experimental case study is used to illustrate the proposed composition approach.
A delivery route optimization system greatly improves the real time delivery efficiency. To realize such an optimization, its distribution network requires solving several tens to hundreds (max. 1500-2000) cities Trav...
详细信息
A delivery route optimization system greatly improves the real time delivery efficiency. To realize such an optimization, its distribution network requires solving several tens to hundreds (max. 1500-2000) cities Traveling Salesman Problems (TSP) within interactive response time (around 3 seconds) with expert-level accuracy (below 3% level of error rate). To meet these requirements, a Backtrack and Restart Genetic Algorithm (Br-GA) is proposed and compared with conventional ones, especially such as an Inner Random Restart Genetic Algorithm (Irr-GA). This method combines Backtracking and GA having simple heuristics such as 2-opt and NI (Nearest Insertion) so that, in case of stagflation, GA can restarts with the state of populations going back to the state in the generation before stagflation. Including these heuristics, field experts and field engineers can easily understand the way and use it. Using the tool applying their method, they can easily create/modify the solutions or conditions interactively depending on their field needs. Experimental results proved that the method meets the above-mentioned delivery scheduling requirements more than other methods from the viewpoint of optimality as well as simplicity. Especially as to optimality, Br-GA is superior to even Irr-GA.
The noise image is decomposed into the unknown true image u and the noise v by a new image de-noising method based on image decomposition. The common decomposition models are all dense and can only be transformed into...
详细信息
The noise image is decomposed into the unknown true image u and the noise v by a new image de-noising method based on image decomposition. The common decomposition models are all dense and can only be transformed into high-order partial differential equations to solve, which are heavy computations. DT model and the Jiang model are sparse image decomposition models. A new image de-noising model based on the above two models is put forward in this paper. This new model is sparse which is defined in the new smooth space G β p, q (smooth Besov space embedding) variational functional. The variational functional can be solved by second-generation Curvelet contraction threshold. Experimental results show that de-noising effect is better of the proposed model than these common models.
A delivery route optimization system greatly improves the real time delivery efficiency. To realize such an optimization, its distribution network requires solving several tens to hundreds (maximum 2 thousands or so) ...
详细信息
A delivery route optimization system greatly improves the real time delivery efficiency. To realize such an optimization, its distribution network requires solving several tens to hundreds (maximum 2 thousands or so) cities Traveling Salesman Problems (TSP) within interactive response time (around 3 seconds) with expert-level accuracy (below 3% level of error rate). To meet these requirements, an Inner Random Restart Genetic Algorithm (Irr-GA) method is proposed. This method combines random restart and GA that has different types of simple heuristics such as 2-opt and NI (Nearest Insertion). Including these heuristics, field experts and field engineers can easily understand the way and use it. Using the tool applying their method, they can easily create/modify the solutions or conditions interactively depending on their field needs. Experimental results proved that the method meets the above-mentioned delivery scheduling requirements more than other methods from the viewpoint of optimality as well as simplicity.
In this paper, we introduce multiple agents, knowledge discovery and data mining into customer relationship management (CRM) to set up the architecture of a multi-agent-based CRM system (MAB-CRM), and then use the SVM...
详细信息
This paper suggests a new stability analysis approach dedicated to a class of fuzzy control systems controlling multi input-multi output (MIMO) nonlinear processes by means of Takagi-Sugeno fuzzy logic controllers. Th...
详细信息
This paper suggests a new stability analysis approach dedicated to a class of fuzzy control systems controlling multi input-multi output (MIMO) nonlinear processes by means of Takagi-Sugeno fuzzy logic controllers. The approach is based on LaSalle's global invariant set theorem, and an original stability theorem offers sufficient stability conditions. The applicability and efficiency of the theoretical results are illustrated by a MIMO case study dealing with the fuzzy control of a spherical three tank system.
This paper deals with a possibility of non-destructive diagnostics of solid objects by software analysis of vibration spectrum by accelerometers. By a use of MATLAB platform, a processing and information evaluation fr...
详细信息
This paper deals with a possibility of non-destructive diagnostics of solid objects by software analysis of vibration spectrum by accelerometers. By a use of MATLAB platform, a processing and information evaluation from accelerometer is possible. Accelerometer is placed on the measured object. The analog signal needs to be digitized by a special I/O device to be processed offline with FFT (Fast Fourier Transformation). The power spectrum is then examined by developed evaluating procedures.
This paper introduces an approach to decision support systems in service-oriented automation control systems, which considers the knowledge extracted from the Petri nets models used to describe and execute the process...
详细信息
This paper introduces a novel method for the specification and selection of criteria-weighted operation modes for the orchestration of services in industrial automation using Petri nets. The objective is to provide to...
详细信息
ISBN:
(纸本)9781424472987;9781424473007
This paper introduces a novel method for the specification and selection of criteria-weighted operation modes for the orchestration of services in industrial automation using Petri nets. The objective is to provide to the internal decision support system of a service-oriented automation device or of another applicable computational system the capability to select the best path in a Petri net orchestration model considering different criteria to evaluate the quality of services, such as the time, energy efficiency and reliability. The transition-invariants obtained from the Petri net represent the set of possible modi operandi and these are then weighted with decision criteria. The result will be afterwards evaluated in order to select the optimal modus operandi to be executed by the device. Based on the experiments, this method permits the dynamic optimization of processes in real-time, considering available parameters from devices and other resources.
暂无评论