The control of network congestion has become a hot spot in the study of Internet of Things transmission service. Considering the complicated and integrated network environment that the Internet of Things to face in th...
详细信息
The control of network congestion has become a hot spot in the study of Internet of Things transmission service. Considering the complicated and integrated network environment that the Internet of Things to face in the future, the paper comes up with control algorithm of self-adapting congestion based on semi-normal distribution, this algorithm has improved the original packet loss rate function, and conduct corresponding control over network situation categorized according to the length of queue. The result of experiment shows that the algorithm of self-adapting congestion control based on semi-normal distribution is adapt to the complicated changing congestion situation in Internet of Things.
With the development of mobile computing, location-based service (LBS) is becoming an important aspect of applied research, the technology of service discovery becomes a core issue. So service matching is the most imp...
详细信息
With the development of mobile computing, location-based service (LBS) is becoming an important aspect of applied research, the technology of service discovery becomes a core issue. So service matching is the most important in service discovery, also it became hot spot in researching. In the process of providing service to user, not only the quality of service should be improved, but also user's preferences should be considered. The existing mainstream service discovery protocols in the location-oriented service were compared in this paper. Based on analysis and comparison, a new algorithm of service matching is proposed in this paper. It improves the service matching success rate through hierarchical matching and full accounting of the user's preference, and ultimately aim to improve service quality.
In order to improve the mobile services under the banner of the Internet of Things, we propose and design a new kind of Web-based method of media seamless migration. The method can ensure the media seamless migration ...
详细信息
Calculating the similarity between the concepts is the key in the process of the ontology mapping. Based on the analysis of the traditional method of calculating semantic similarity, a semantic distance-based concept ...
详细信息
Calculating the similarity between the concepts is the key in the process of the ontology mapping. Based on the analysis of the traditional method of calculating semantic similarity, a semantic distance-based concept similarity computation method is proposed. In order to keep the effectiveness and comprehensiveness of this method, the main factors which impact the semantic distance are considered fully, the factors of concept semantic contact ratio and depth differences between concepts nodes are also taken into account. By calculating test data, the experiment result shows that the method can calculate concepts similarity effectively.
A new spike detection method is proposed in order to detect the overlapped spikesIn order to avoid missing overlapped spikes, the method adds threshold detection based on window detection methodMoreover, nonlinear ene...
详细信息
A new spike detection method is proposed in order to detect the overlapped spikesIn order to avoid missing overlapped spikes, the method adds threshold detection based on window detection methodMoreover, nonlinear energy operator is introduced to make the method strong even under low signal-to-noise ratio situationIn addition, the method solves the repeated detection problem by estimating slopesExperiments show that the method is good for any occasion whatever the low signal-to-noise ratio or baseline wanderEspecially for the overlapped spikes detection, it has much lower false-negative-rate than other traditional detection methods.
Service mining is the important research field in universal environment. Locating a network service or a device on demand is a challenging task for pervasive computing. We introduce a new approach that explores the us...
详细信息
Service mining is the important research field in universal environment. Locating a network service or a device on demand is a challenging task for pervasive computing. We introduce a new approach that explores the use of Semantic Web language in building architecture for service mining in mobile environment in this paper. We propose a Web Ontology Language based ontology for service description, and for supporting logic-based service matchmaking. We introduced a semantic process algorithm according to the ontology. The algorithm takes the semantic meaning of service into account, enable interact between between device and device. It improves the veracity of service process, and paves the way for fuzzy process and service composition.
A kind of SND-based algorithm for self-adapting network congestion control has been presented in this paper, which is for the complicated and integrated network environment that the Internet of Things (IOT) to face in...
详细信息
It's well known machine learning from examples is an effective method to solve non-linear classification problem. A new dynamic method of machine learning from transition example is given in this paper. This metho...
详细信息
It is an attractive research topic to use model checking technique to automatically generate test cases in the research community of formal method and software testing, and recent years has witnessed many work. For in...
详细信息
ISBN:
(纸本)9780889869066
It is an attractive research topic to use model checking technique to automatically generate test cases in the research community of formal method and software testing, and recent years has witnessed many work. For infinite states systems with input/output domains defined on unbounded and types, in many contexts, explicit finite state models are not attained easily with the reasonable cost, therefore, testing with traditional model checking is often disenabled. This paper presents the idea of auto-generation of test cases based on symbolic execution and temporal formula rewriting method. The method proceeds with building the symbolic representation of program execution model, such that it can avoid explicitly building the model of infinite states systems with the enumeration of value of input and output or state explosion problem;Then temporal formula (test purposes) rewriting is applied to the symbolic execution model of program to generate complex constraint requirements according to the counterexample patterns related to test purposes and the suitable SMT(Satisfiability Modulo Theory) solver is called for generating test cases. The core tool - FormalTCGenerator is developed and the case study is conducted.
A hybrid strategy has been proposed to reduce the wrong clustering on Ambulatory ECG (electrocardiogram). Since Ambulatory ECG is usually composed by 24 hours data, the number of individual ECG waveform can reach to 1...
详细信息
暂无评论