The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Discrete EVent system Specification(DEVS) is widely used in modeling and simulation for the interoperability, re-useability, and composability. The Distributed and Parallel DEVS is developed to study the complex problems. But the available implementations are all distribution centered, not performance centered. This paper applies the Message Passing Interface(MPI) into distributed DEVS simulation...
With the development and application of modern science and technology, many new technical measurement methods have been put forward successively which are of high resolution and high collection rate about microseismic monitoring. We urgently need an effective detection method of abnormal data (mine earthquake) to collect lots of data to make real-time detection. In the past, we usually depend on experienced...
The Algorithm UCT, proposed by Kocsys et al, which apply multi-armed bandit problem into the tree-structured search space, achieves some remarkable success in some challenging fields. For UCT algorithm, Monte-Carlo simulations are performed with the guidance of UCB1 formula, which are averaged to evaluate a specified action. We observe that, as more simulations are performed, later ones usually lead...
The design based on ARM techniques is to realize a common model of communication equipment simulator. The S3C2410 chip, as the core of hardware, together with FPGA and other interface circuits, realize standardized coding and display controlling; the backstage computer software as a finite-state machine, need to give correct operating response, send display orders, communicate with other simulator...
Model checking is an automatic verification technique for finite state concurrent systems. In this approach to verification, temporal logic specifications are checked by an exhaustive search of the state space of the concurrent system. The size of the state space grows exponentially with the number of processes. This phenomenon is commonly called ??State Explosion Problem??. Many progress has been...
To specify dataflow applications efficiently is one of the greatest challenges facing Network-on-Chip (NoC) simulation and exploration. BTS (Behavior-level Traffic Simulation) was proposed to specify behavior-level applications more efficiently than conventional message-passing programming model does. To alleviate the complexity in parallel programming, BTS has the computation tasks implemented as...
In this paper, the intelligent internal model control algorithm was applied to a temperature object. According to experimental results it is shown that control performance of the intelligent internal model control algorithm is superior to one of the internal model control algorithm. It has great robustness and anti-inference, and this algorithm makes a small computation which is easy to use for engineering...
Web services choreography describes global model of services interactions among a set of participants. The correct description of choreography is very important, so before implementation upon choreography design description, we must be sure about correctness. Several techniques are employed to verify WS-CDL. In this paper we use a logical formal model to verify specifications of WS-CDL. In our approach,...
Gaussian mixture model (GMM) has been widely used in fields of image processing and investment data mining. However, in many practical applications, the number of the components is not known. This paper proposes a kind of greedy merge EM (GMEM) learning algorithm such that the number of Gaussians can be determined automatically with the minimum message length (MML) criterion. Moreover, the greedy...
The well known fuzzy measures, ??-measure and P-measure, both of them have only one formulaic solution. A multivalent fuzzy measure with infinitely many solutions was proposed by our previous work, called L-measure, but it is not a completed measure. After that, an improved completed measure with more many solutions than L-measure, called complete L-measure, was also proposed by the author. In this...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.