Geometry-based optimal power control was proposed in [14] to transform the power-control problem to a new geometrical problem on the position relationship between a line and some points. This scheme provides a novel v...
详细信息
This research aims to evaluate the internal structure of concrete material configuration using an immersed ultrasonic computed tomography imaging technique. We propose a relative difference method of time of flight da...
详细信息
Strategy of sensor nodes deployment is directly related to the cost and performance for underwater wireless sensor networks, which is largely determined the various service-quality improvement of wireless sensor netwo...
详细信息
Strategy of sensor nodes deployment is directly related to the cost and performance for underwater wireless sensor networks, which is largely determined the various service-quality improvement of wireless sensor networks. In order to improve the coverage of the target area, this paper presents a distributed algorithm of coverage control. Assume that nodes initially deployed on the surface of the water and can only move in vertical direction in 3-D space, the algorithm is first to control the nodes in-depth and relocate the nodes at different depths, then the nodes continue to adjust their depths until there is no augment for improving their coverage, and to achieve efficient coverage of the three-dimensional sensor networks ultimately. Experimental results show that compared with traditional random deployment method, the proposed coverage control algorithm can improve coverage of network effectively.
The concept of using node-based sampling for the treatment of packet capture mechanism based on Libpcap of network-based detecting Peer-to-Peer botnet process was tested, and its effect on the time window of feature e...
详细信息
Model checking is one of the most important technology for automatically verification. So this paper generally proposed a method of combining CCS and Z language, to perform model checking. It combines the advantage of...
详细信息
Model checking is one of the most important technology for automatically verification. So this paper generally proposed a method of combining CCS and Z language, to perform model checking. It combines the advantage of current CCS and Z systems, where CCS is good at describing concurrent systems, also Z is a good tool for data structure. As a result, form the new system CCS-Z. Then we give the syntax and semantics of it, at last give the model checking *** advantage of this paper is combined data stucture on the famous system CCS, and increase the capacity of system description.
A fuzzy clustering algorithm for intrusion detection based on heterogeneous attributes is proposed in this paper. Firstly, the algorithm modifies the comparability measurement for the categorical attributes according ...
详细信息
Using Particle Swarm Optimization to handle complex functions with high-dimension it has the problems of low convergence speed and sensitivity to local convergence. The convergence of particle swarm algorithm is studi...
详细信息
Using Particle Swarm Optimization to handle complex functions with high-dimension it has the problems of low convergence speed and sensitivity to local convergence. The convergence of particle swarm algorithm is studied from the dynamic system theory, and the condition for the convergence of particle swarm algorithm is given. The analysis provided qualitative guidelines for the general algorithm parameter selection. Results of numerical tests show the efficiency of the results.
Geometry-based optimal power control was proposed in [14] to transform the power-control problem to a new geometrical problem on the position relationship between a line and some points. This scheme provides a novel v...
详细信息
Geometry-based optimal power control was proposed in [14] to transform the power-control problem to a new geometrical problem on the position relationship between a line and some points. This scheme provides a novel visual perspective and lowers the complexity of optimization. We generalize this scheme to a larger class of power-control optimization problems so as to maximize the network utility with multiple average and peak power constraints in wireless networks. To facilitate the handling of the geometrical model, we define a subset of geometrical models with specified characteristics, called a regular geometrical model, and derive the type of power-control problems eligible for the regular geometrical model. For such a type of problems, two strategies are proposed for the construction of the regular geometrical model. Utilizing geometrical properties, we propose a novel geometry-based optimization scheme for the general power-control problem. Its computational complexity is significantly lower than the conventional algorithms. We also provide a further discussion on irregular geometrical model cases. Finally, we provide two examples of deploying the proposed geometry-based power-control scheme.
In MAS (Multi-Agent System), communicating among agents is an important characteristic as it is important in transmitting information among agents, recognizing the status changing, and scheduling and accomplishing coo...
详细信息
Event anaphora resolution plays a critical role in discourse analysis. This paper proposes a tree kernel- based framework for event pronoun resolution. In particular, a new tree expansion scheme is introduced to autom...
详细信息
ISBN:
(纸本)9781577355120
Event anaphora resolution plays a critical role in discourse analysis. This paper proposes a tree kernel- based framework for event pronoun resolution. In particular, a new tree expansion scheme is introduced to automatically determine a proper parse tree structure for event pronoun resolution by considering various kinds of competitive information related with the anaphor and the antecedent candidate. Evaluation on the OntoNotes English corpus shows the appropriateness of the tree kernel-based framework and the effectiveness of competitive information for event pronoun resolution.
暂无评论