Continuing growth and increasing complexity of distributed software systems make them be more flexible, adaptive and easily extensible. Dynamic evolution or reconfiguration of distributed software systems is one possi...
详细信息
Decision rules mining is an important issue in machine learning and data ***,most proposed algorithms mine categorical data at single level,and these rules are not easily understandable and really useful for ***,a new...
详细信息
Decision rules mining is an important issue in machine learning and data ***,most proposed algorithms mine categorical data at single level,and these rules are not easily understandable and really useful for ***,a new approach to hierarchical decision rules mining is provided in this paper,in which similarity direction measure is introduced to deal with hybrid *** approach can mine hierarchical decision rules by adjusting similarity measure parameters and the level of concept hierarchy trees.
Partial order reduction techniques have been used to combat the state explosion problem in model checking procedures for concurrent systems with probabilistic behaviors. There are some results that give criteria on ap...
详细信息
ISBN:
(纸本)9781424465972;9780769540115
Partial order reduction techniques have been used to combat the state explosion problem in model checking procedures for concurrent systems with probabilistic behaviors. There are some results that give criteria on applying partial order reduction for verifying quantitative time properties and reward-based properties on actions. However, there are many situations that reward-based properties are expressed on states rather than on actions because actions are triggered in no time and the quantities can not be obtained easily. This paper presents reduction criteria for a probabilistic temporal logic that allows specification of restrictions on quantitative measures given by spatial resources function for the states of the considered system and provides the proof of the correctness.
This paper proposes a generalized model by extending Markov chain with spatial resources labels, which can describe the functional and performance properties and some basic characteristics such as nondeterminacy and r...
详细信息
This paper proposes a generalized model by extending Markov chain with spatial resources labels, which can describe the functional and performance properties and some basic characteristics such as nondeterminacy and randomicity. The syntax and semantics of the new model are shown based on the existing temporal logics such as CSRL and pathCSRL. The model checking procedure is discussed and thus the practicability of the new model is intuitive. Based on the existing models, the proposed model includes spatial resources labels only by adding the spatial information to the existing labels of states, so the treatment of the state explosion problem is similar to that in the existing models.
Rigidity and reflectivity are important properties of objects, identifying these properties is a fundamental problem for many computer vision applications like motion and tracking. In this paper, we extend our previou...
详细信息
Rigidity and reflectivity are important properties of objects, identifying these properties is a fundamental problem for many computer vision applications like motion and tracking. In this paper, we extend our previous work to propose a motion analysis based approach for detecting the object's rigidity and reflectivity. This approach consists of two steps. The first step aims to identify object rigidity based on motion estimation and optic flow matching. The second step is to classify specular rigid and diffuse rigid objects using structure from motion and Procrustes analysis. We show how rigid bodies can be detected without knowing any prior motion information by using a mutual information based matching method. In addition, we use a statistic way to set thresholds for rigidity classification. Presented results demonstrate that our approach can efficiently classify the rigidity and reflectivity of an object.
We study the asymptotic throughput for random extended networks , where n ad hoc nodes are randomly deployed in a square region R ( n ) = 0 , n 2 . We directly consider the multicast throughput to unify the unicast an...
We study the asymptotic throughput for random extended networks , where n ad hoc nodes are randomly deployed in a square region R ( n ) = 0 , n 2 . We directly consider the multicast throughput to unify the unicast and broadcast throughput, and design a new multicast scheme under the generalized physical model based on the so-called secondary highways system . Taking account of all possible cases of n s = ω (1) and 1 ⩽ n d ⩽ n − 1, we derive the achievable multicast throughput, where n s and n d denote the number of sessions and the number of destinations of each session. We prove that for some cases in terms of n s and n d , our scheme achieves better throughput than the existing schemes.
Coronary heart disease (CHD) is a common cardiovascular disease in the elderly, which causes high death rate and low cure rate. Therefore, the TCM diagnosis objectification is important. This paper proposes the Relati...
详细信息
Coronary heart disease (CHD) is a common cardiovascular disease in the elderly, which causes high death rate and low cure rate. Therefore, the TCM diagnosis objectification is important. This paper proposes the Relative Associated Density (RAD) method to analyze the data set. RAD results of the symptoms to syndromes are used in performing feature selection, and the prediction results with different classification machines show significant improvements. Compared to other traditional feature selection methods, RAD provides higher Interpretability in the TCM field.
Particle swarm optimizer (PSO) is a stochastic global optimization technique based on a social interaction metaphor. Because of the complexity, dynamics and randomness involved in PSO, it is hard to theoretically anal...
详细信息
Compared with wheeled mobile robots, legged robots can easily step over obstacles and walk through rugged ground. They have more flexible bodies and therefore, can deal with complex environment. Nevertheless, some oth...
详细信息
Compared with wheeled mobile robots, legged robots can easily step over obstacles and walk through rugged ground. They have more flexible bodies and therefore, can deal with complex environment. Nevertheless, some other issues make the locomotion control of legged robots a much complicated task, such as the redundant degree of freedoms and balance keeping. From literatures, locomotion control has been solved mainly based on programming mechanism. To use this method, walking trajectories for each leg and the gaits have to be designed, and the adaptability to an unknown environment cannot be guaranteed. From another aspect, studying and simulating animals' walking mechanism for engineering application is an efficient way to break the bottleneck of locomotion control for legged robots. This has attracted more and more attentions. Inspired by central pattern generator (CPG), a control method has been proved to be a successful attempt within this scope. In this paper, we will review the biological mechanism, the existence evidences, and the network properties of CPG. From the en- gineering perspective, we will introduce the engineering simulation of CPG, the property analysis, and the research progress of CPG inspired control method in locomotion control of legged robots. Then, in our research, we will further discuss on existing problems, hot issues, and future research directions in this field.
Task scheduling is one of the core steps to effectively exploit the capabilities of heterogeneous re-sources in the *** paper presents a new hybrid differential evolution(HDE)algorithm for findingan optimal or near-op...
详细信息
Task scheduling is one of the core steps to effectively exploit the capabilities of heterogeneous re-sources in the *** paper presents a new hybrid differential evolution(HDE)algorithm for findingan optimal or near-optimal schedule within reasonable *** encoding scheme and the adaptation ofclassical differential evolution algorithm for dealing with discrete variables are discussed.A simple but ef-fective local search is incorporated into differential evolution to stress *** performance of theproposed HDE algorithm is showed by being compared with a genetic algorithm(GA)on a known staticbenchmark for the *** results indicate that the proposed algorithm has better perfor-mance than GA in terms of both solution quality and computational time,and thus it can be used to de-sign efficient dynamic schedulers in batch mode for real grid systems.
暂无评论