10702245
A wireless LAN-based indoor positioning technology
Context-aware computing is an emerging computing paradigm that can provide new or improved services by exploiting user context information. In this paper, we present a wireless-local-area-network-based (WLAN-based) indoor positioning technology. The wireless device deploys a position-determination model to gather location information from collected WLAN signals. A model-based signal distribution training scheme is proposed to trade off the accuracy of signal distribution and training workload. A tracking-assistant positioning algorithm is presented to employ knowledge of the area topology to assist the procedure of position determination. We have set up a positioning system at the IBM China Research Laboratory. Our experimental results indicate an accuracy of 2 m with a 90% probability for static devices and, for moving (walking) devices, an accuracy of 5 m with a 90% probability. Moreover, the complexity of the training procedure is greatly reduced compared with other positioning algorithms.
5812455
Knowledge Enhanced IT Service Management
To manage the increasing complexity of IT systems and align IT services with business is the main theme of IT Service Management (ITSM). Current ITSM architecture adopts ITU as the framework to integrate silos of operational management tools and configuration information to build an end-to-end solution based on best practices. However, it lacks of a systematic means to address an important aspect of IT operation, i.e., managing the knowledge separated in various tools and experts' minds. In this paper, a novel knowledge-enhanced architecture is proposed to improve the effectiveness and efficiency of ITSM. The essential contribution of this novel architecture is to involve a Knowledge Management Database (KMDB) which provides assistance for knowledge capture, mining, storage and sharing. The paper will discuss an approach of how to construct such a KMDB with motivating scenarios and detailed description of key components. To validate the approach, a prototype system is developed and evaluated by being applied for problem analysis on a Cisco Voice over IP (VoIP) system. The experiment results show a remarkable improvement in the effectiveness and efficiency for practical IT service management operations.
14513982
An Online Model Checking Tool for Safety and Liveness Bugs
Modern software model checkers are usually used to find safety violations. However, checking liveness properties can offer a more natural and effective way to detect errors, particularly in complex concurrent and distributed e-business systems. Specifying global liveness properties which should always eventually be true proves to be more desirable, but it is hard for existing software model checkers to verify liveness in real codes because doing so requires finding an infinite execution. For solving such a challenge, this paper proposes an online checking tool to verify the safety and liveness properties of complex systems. We adopt the linear temporal logic to describe the semantics of the finite model checking, use binary instrumentation to obtain the distribute states and apply a checking engine to dynamically verify the finite trace linear temporal logic properties. At last, we demonstrate the method in a distributed system using distributed protocol Paxos and achieve good results by experiments.
14899060
Automatic model-based service hosting environment migration
The proper operation of Service-Oriented Architecture (SOA) depends on underlying system services of operating systems, so efficient and effective migration of Service Hosting Environment is critical to cope with intrinsic-changed nature of SOA. However, due to the large amount of configuration items, complicated mapping and complex dependency relationship among system services, migrating into a new Service Hosting Environment satisfying the operation requirement of SOA becomes an error-prone and time-consuming task. The SCM project in IBM develops a novel approach to migrate Service Hosting Environment shaped in Unix-like systems. Firstly, this approach builds a set of configuration models to describe various system services. Then based on models, it presents knowledge based mapping to translate system service configurations between Service Hosting Environments. Finally, it designs a dependency hierarchy deducting algorithm to compute the dependency relationship among system services for migration traceability and error determination. A SCM prototype has performed well on largely reducing time, labor and errors in real migration cases.
8395605
FLTL-MC: Online High Level Program Analysis for Web Services
Although Java- or .NET- centric technologies are the most commonly used in Web services, they are by no means the only ones in practice. This paper proposes an online finite model checking tool FLTL-MC to check the high level safety and liveness properties in complex distributed web service systems, which can offer both a richer and more natural way to search errors. Liveness properties can specify desirable system behaviors which must be satisfied eventually, but are not always satisfied. Existing software model checkers cannot verify liveness in real code because doing so requires finding an infinite execution that does not satisfy aliveness property. In our proposed model, we adopt the finite linear temporal logic to specify the semantics of the online model checking, use binary instrumentation to obtain the distribute states and apply the FLTL-MC engine to dynamically verify the finite linear temporal logic properties in Web service systems. At last, we investigate the well-known distributed protocol WS-Reliable Messaging to demonstrate its applications and detect some hidden bugs with our prototype system.
15004157
A Semantic QoS-Aware Discovery Framework for Web Services
Augmenting web services with explicit semantics forms the foundation of Service Oriented Architectures (SOAs) automation. As more and more Semantic Web Services (SWSs) are deployed, similar SWSs could have quite different quality-of-service (QoS) levels. The QoS-aware discovery becomes an important challenge. While some efforts try to solve it via Constraint Programming (CP), they suffer from the purely syntactic matchmaking method. Furthermore, the construction of constraints and the selection of services are completely dependent on the literal translation from QoS descriptions, which increase obstacles to actually apply CP. In this paper, we propose a semantic QoS-aware framework for SWSs discovery by combining the semantic matchmaking and CP. Initially, a QoS ontology is presented to define QoS data into service descriptions. Then the ontology reasoning is adopted to change previous syntactic matchmaking into a semantic way. Through confirming the compatibility of concepts, complex QoS conditions are solved as constraints and a selection algorithm is proposed to obtain the optimal offer. Finally, the prototype implementation of our framework is discussed and a SWSs discovery case is used to illustrate the comprehensive discovery process.
22165485
An Efficient Fuzzy Kohonen Clustering Network Algorithm
Fuzzy Kohonen clustering networks (FKCN) are well known for clustering analysis (unsupervised learning and self-organizing). This classification of FKCN algorithm is a set of iterative procedures that suffer some major problems, for example its constringency rate is not too fast for a large amount of datasets. To overcome these defects, an efficient fuzzy Kohonen network algorithm is proposed in this paper, which can significantly reduce the computation time required to partition a dataset into desired clusters. By introducing the threshold values and fuzzy convergence operators in the network learning procedure to adjust the learning rates dynamically, the network convergence rate is greatly improved and the error rates of dataset cluster are significantly decreased. Experimental results show the new algorithm is on average three times faster than the original FKCN algorithm. We also demonstrate that the quality of the improved FKCN is better than the original FKCN algorithm.
12042823
bSpace: A Data Cleaning Approach for RFID Data Streams Based on Virtual Spatial Granularity
RFID holds the promise of real-time identifying, locating, tracking and monitoring physical objects without line of sight, and can be used for a wide range of pervasive computing applications. To achieve these goals, RFID data have to be collected, filtered, and transformed into semantic application data. RFID data, however, contain false readings and duplicates. Such data cannot be used directly by applications unless they are filtered and cleaned. To compensate for the inherent unreliability of RFID data streams, most RFID middleware systems employ a “smoothing filtering”. In this paper, a new “smoothing filtering” approach named bSpace is proposed, which is based on the concept of virtual spatial granularity. For providing accurate RFID data to applications, bSpace uses a Bayesian estimation algorithm to fill up false negatives, and uses the rules which we define to solve false positives.
16326025
Research on Positioning Technology of Xinjiang Mobile GIS
In this paper, the characteristics of Xinjiang mobile communication network are analyzed, the results show that for a reliable mobile communication network, BS (base station) and base station control BSC (base station controller) monitoring system, cable and fiber optic cable monitoring system and mobile communications troubleshooting and dispatching system should be built. Combined with GIS, GPS, GSM and geographic database technology, positioning technology for different targets and detection on fault point are studied, the results indicate that precise positioning of static target can accurately locate the failure telecom equipment in the electronic map and provide data source for the realization of real-time monitoring and management system for telecom equipment based on GIS & wireless sensor network technology. GSM-based wireless messaging communications and real-time fast positioning of dynamic target is the key to the emergency repair vehicles monitoring and dispatch system. The proposed fault determination and fault point location method can provide fast accurately fault devices location with detailed geography information and prompt the efficiency of fault management and improve the reliability of telecom network services. The above research results are important basis on the design and implementation of the system.
7017728
Indexing Genomic Databases for Fast Homology Searching
Genomic sequence databases has been widely used by molecular biologists for homology searching. However, as amino acid and nucleotide databases are growing in size at an alarming rate, traditional brute force approach of comparing a query sequence against each of the database sequences is becoming prohibitively expensive. In this paper, we re-examine the problem of searching for homology in large protein databases. We proposed a novel filter-and-refine approach to speed up the search process. The scheme operates in two phases. In the filtering phase, a small set of candidate database sequences (as compared to all sequences in the database) is quickly identified. This is realized using a signature-based scheme. In the refinement phase, the query sequence is matched against the sequences in the candidate set using any local alignment strategies. Our preliminary experimental results show that the proposed method results in significant savings in computation without sacrificing on the accuracy of the answers as compared to FASTA.
10472791
Certified Email Delivery with Offline TTP
Email has become a standard communication method nowadays. But when it comes to important correspondences containing sensitive governmental, commercial or medical information, certified delivery is required. We present in this paper a new certified email protocol which assures fair delivery, non-repudiability, confidentiality and timeliness. To achieve definite fairness, an offline TTP is employed which will be involved only if there is a dispute.