This paper proposes validated control system design method based on verified numerical computation. The proposed method designs a controller and validates it using verified numerical computation. We also propose a met...
详细信息
Profile is the basis of reliability research. There is a lack of study on the communication network profile and test cases generation methods in current research, which will directly affect the validity of reliability...
Profile is the basis of reliability research. There is a lack of study on the communication network profile and test cases generation methods in current research, which will directly affect the validity of reliability evaluation. This paper first presents a new algorithm for reliability test case generation, based on the content of communication network profile. This algorithm can generate test cases according to the statistical laws which are stated in the profile. Then the testing tool LoadRunner is used to generate test case automatically. Finally, a case study is given to show in detail the construction of profile and the process of generating test cases, which proves that the algorithm has vast value in evaluating communication network reliability.
Adding location to the available information enables a new category of applications. With the constrained battery on cell phones, energy-efficient localization becomes an important challenge. In this paper we introduc...
详细信息
Adding location to the available information enables a new category of applications. With the constrained battery on cell phones, energy-efficient localization becomes an important challenge. In this paper we introduce a low-energy calibration- free localization scheme based on the available internal sensors in many of today's phones. We start by energy profiling the different sensors that can be used for localization. Based on that, we propose GAC: a hybrid GPS/accelerometer/compass scheme that depends mainly on using the low-energy accelerometer and compass sensors and uses the GPS infrequently for synchronization. We implemented our system on Android-enabled cell phones and evaluated it in both highways and intra-city driving environments. Our results show that the proposed hybrid scheme has an exponential saving in energy, with a linear loss in accuracy compared to the GPS accuracy. We also evaluate the effect of the different parameters on the energy-accuracy tradeoff.
Separation of identifier and locator provides good conditions of routing scalability and mobility for Internet routing and IP addressing. Based on the idea of identifier and locator separation, in this paper we introd...
详细信息
The purpose of this research was to develop a combined sense system that uses both force feedback and visual feedback to determine the shape of the microscopic features of a microsample. It is thought that the efficie...
详细信息
This paper presents a new pipeline inspection robot with a linkage type mechanical clutch, which is designed for inspection of pipelines with 100mm diameter. This robot has three powered wheel chains each of which has...
详细信息
This paper presents a new pipeline inspection robot with a linkage type mechanical clutch, which is designed for inspection of pipelines with 100mm diameter. This robot has three powered wheel chains each of which has a mechanical clutch. The mechanical clutch is designed by using a parallel linkage mechanism. The kinematic model of the pipeline inspection robot is driven and its proto type has been developed. The performance of this robot system is verified by both simulation and experimentation.
Digital libraries have shouldered the mission of preserving and spreading human culture in the era of information. However, knowledge extraction for digital libraries is not well studied, and that holds back the role ...
详细信息
Digital libraries have shouldered the mission of preserving and spreading human culture in the era of information. However, knowledge extraction for digital libraries is not well studied, and that holds back the role promotion of digital libraries from information collector to knowledge provider. This paper presents an ontology-based approach, which extracts detailed attributes of Traditional Chinese Medicine (TCM) from digitized textbooks. According to the characters of digitized textbooks, we propose an extraction ontology that is compatible with both textbook extraction and TCM theory. To improve extraction tolerance for OCR errors, we extract features of different aspects. Finally, a structured pattern based extraction method is adopted to minimize extraction supervision. The result shows that our method is a practical and robust exploration to address the problem of information extraction for digitized textbooks of TCM.
Most routing protocols in MANETs don't scale well in networks with large numbers of nodes where the scalability of the routing protocols plays a vital role. And it is well known that these routing protocols usuall...
详细信息
In this paper, we revisit the energy-based swing-up control for the Pendubot, a two-link underactuated planar robot with a single actuator at the base joint (shoulder). Different from previous energy-based control sol...
详细信息
In this paper, we revisit the energy-based swing-up control for the Pendubot, a two-link underactuated planar robot with a single actuator at the base joint (shoulder). Different from previous energy-based control solutions, we obtain the following results: 1) we provide a bigger control parameter region for achieving the control objective. Specifically, we present a necessary and sufficient condition for avoiding the singular points in the control law. We obtain a necessary and sufficient condition on the control parameters such that the up-down equilibrium point (at which links 1 and 2 are in the upright and downward positions, respectively) is the only undesired closed-loop equilibrium point. 2) We prove that the up-down equilibrium point is saddle (hyperbolic and unstable) via an elementary proof by using the Routh-Hurwitz criterion to show that the Jacobian matrix valued at the point has two and two eigenvalues in the open left- and right-half planes, respectively. This paper prove that the Pendubot will eventually enter the basin of attraction of any stabilizing controller for all initial conditions with the exception of a set of Lebesgue measure zero provided that these improved conditions on the control parameters are satisfied. The simulation results are provided to validate these results.
Delay Tolerant Mobile Networks (DTMNs) focus on scenarios where most of the time contemporaneous end-to-end paths between source and destination do not exist, and mobility should be explored for message delivery. Ant ...
详细信息
暂无评论