ARP attack is a serious security problem. There have been several defense ways, proposed to solve this problem. However, all of the previous have some critical drawbacks such as can't locate the attack source accu...
详细信息
ARP attack is a serious security problem. There have been several defense ways, proposed to solve this problem. However, all of the previous have some critical drawbacks such as can't locate the attack source accurately and deal with the attack source immediately. Hence, in this paper, we have proposed a switch-based ARP attack containment strategy, which can overcome these drawbacks and be usable for Local Area Network (LAN). Through the way, a prototyped system has also been implemented and experimented on. The experimental results have demonstrated the switch-based ARP attack containment strategy has better performance than the previous ones.
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.
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.
Intuition process is a very essential in the product creative design stage. A new creative design approach is put forward based on product gene and intuition models. The product gene model and its sequential gene mani...
Intuition process is a very essential in the product creative design stage. A new creative design approach is put forward based on product gene and intuition models. The product gene model and its sequential gene manipulation are established. The intuition process reflects that the thinking of human brain produces qualitative change. An approach of intuition simulation is used by Hebb learning law, Hopfield neural networks and crossover and mutation. The calculating models and the calculating formulas for the creative design are put forward. Finally, this essay offers us the applied examples for creative design of solar energy portable lamp. The better results are obtained in the creative design.
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.
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...
详细信息
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.
This demonstration shows a spatial-temporal denoising and demosaicking scheme for noisy CFA videos. This scheme can significantly reduce the noise-caused color artifacts and effectively preserve the image edge structu...
详细信息
This demonstration shows a spatial-temporal denoising and demosaicking scheme for noisy CFA videos. This scheme can significantly reduce the noise-caused color artifacts and effectively preserve the image edge structures. The experimental results showed that this scheme achieves promising color video reproduction in terms of both PSNR and visual perception.
In this paper, a novel method for predicting RNA secondary structure called RNA secondary structure prediction based on Tabu Search (RNATS) is proposed. In RNATS, two search models, intensification search and diversif...
详细信息
In this paper, a novel method for predicting RNA secondary structure called RNA secondary structure prediction based on Tabu Search (RNATS) is proposed. In RNATS, two search models, intensification search and diversification search, are designed to exploit the local regions around the current solution and explore the unvisited space, respectively. Simulation experiments are conducted for six RNA sequences to show that the proposed method is feasible and effective.
In order to support mobile service of long-distance monitoring and controlling UPS based on Web, a kind of design and implementation solution of embedded UPS (EUPS) system is brought forward in this paper. The design ...
详细信息
暂无评论