Dissertation > Excellent graduate degree dissertation topics show

Research on Techniques of Pervasive Computing Oriented Semantic Reasoning Storage System

Author: ShiHuaiDong
Tutor: DongJinXiang
School: Zhejiang University
Course: Computer Science and Technology
Keywords: Operating System Pervasive Computing Description Logic Storage System Reasoning Frequent Closed Patterns Mining
CLC: TP333
Type: PhD thesis
Year: 2008
Downloads: 345
Quote: 0
Read: Download Dissertation


The computing model has been evolving toward the human centralized pervasive computing; accordingly the applications produce new behavior and requirements. As the fundamental software, operating system must also change to serve the applications better. On the other hand, many new research results have been gained to support this change. These results impel the operation system to improve itself despite the changes of computing model.This thesis researches on data storage mechanism in operating system. Analysis of pervasive computing by using RSS model (Rich Servants Service Model) concludes that intelligent stroge service is needed by pervasive applications, and the traditional file system can’t satisfy this requirement due to the absence of data semantic information. To solve this problem, we focus our research on formal expression and reasoning ability of data semantic information and adding them to the storage system.As the latest research results of knowledge representation, the descriptive logic, SI is adopted to express the semantic information and provide the reasoning capability. When implementing the reasoning mechnisim, this thesis analyzes the problem with existing Block strategy in allusion to role inversion and proposes the Loop Block strategy. SI Tableaux algorithm is given based on it and proved to be the decision algorithm of SI. Inspired by the Copy-on-Write strategy, we give the COW Reasoning Tree to improve the memory usage and implement Backjump optimization on it. To quickly find collision condition during reasoning, we present a new optimization technology, Collision Concept Set Buffer. The incremental algorithm of SI reasoning is proposed to deal with the frequent additions and deletions of concept. The experiment shows that these technologies effectively enhance the reasoning performance, and the enhanced reasoning engine is capable of dealing the reasoning tasks in semantic storage system.We investigate the high-performance closed sequential mining algorithm, Bide. By analyzing Bide algorithm, the theorem of Backward-extension Event (BEE) detection is proposed and proved. It shows that BEE set of any prefix item is non-increasing with the extension of the prefix. And the accumulation performance of BEE set is optimized. The FCP tree is defined to represent the final result of FCP mining and its three characteristics are demonstrated. When the frequent item and the prefix are not coexistent in the new input sequence, the results of contiguous FCP mining are reusable. And the corresponding theorem is proved. The Bidelnc algorithm is proposed to incrementally mine FCPs. The experiment shows BideInc improves the mining performance in dynamic input sequence database.We can utilize it in the data prefetching mechanism to mine the block relationship.With the support of the above researches, we give the Sematic Reasoning Storage System (SRSS), including its runtime architecture, data view and physical architecture. The architecture of the Kernel Description Logic Engine (KDLE) is also presented.The conclusion can be drawn from the whole research that it is feasible to store semantic information and perform reasoning in operating system. Comprehensive requirements of pervasive applications can be satisified by this solution. It is demonstrated by our work that operating system will evolve considerably in pervasive computing era.

Related Dissertations

  1. Answer Extraction Based on Logic Representation and Reasoning for Reading Comprehension,TP391.1
  2. Implementation of Data Compression, Operation and Query Processing System Based on BAP,TP311.13
  3. Research on University Students’ Deonitc Reasoning,B841
  4. Analysis of Game Logic Reasoning in the Field of Economic,B812
  5. Time pressure conditions on the direct effect of a belief that reasoning,B842.3
  6. Borehole imaging device based on embedded systems research,P634.3
  7. Ontology -based Distributed Description Logic Modular Construction Methods,TP391.1
  8. IP QoS technology research,TP393.09
  9. Periodic testing of the storage system reliability model,O213.2
  10. The Research and Application of Modified Algorithms About Fuzzy Predictive Functional Control,TP273
  11. The Study of Mei Yaochen’s Rational Poetry,I207.22
  12. Design and Implementation of Embedded Multi-parameter Intelligent Evironment Monitoring Systems,TP274
  13. Philosophical Research on the Intelligence Space in the Pervasive Computing Environment,N02
  14. A Design of Intelligent Terminal in Internet of Vehicles and Research of Its Routing Algorithm,TP391.44
  15. The Implementation and Optimization of Symbian’s H.264 Decoder Based on the FFmpeg,TN919.81
  16. Study of Case-Based Reasoning Modular Fixture CAD System,TP391.72
  17. The Design and Implementation of Network Video Transmission Scheme Based on H.264,TN919.81
  18. Application of Hot-standby Embedded Controller System on the VxWorks,TP273
  19. Research on Context Reasoning and Inconsistency Detection in Pervasive Computing,TP391.1
  20. The Design and Implementation of Monitoring System Based on Embedded Web Server in Portable Satellite Communication Earth Station,TN927.2
  21. Research on Utilization Technique of Regenerating Braking Energy in Urban Rail Traction System,TM922.3

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Electronic digital computer (not a continuous role in computer ) > Memory
© 2012 www.DissertationTopic.Net  Mobile