14272122
A Dynamic Immunity-Based Model for Computer Virus Detection
Internet provides a fertile medium for new breeds of computer viruses. Many people who have access to a wealth of information via Internet are attacked by more computer viruses than they can effectively process. We present a dynamic computer virus detection model that can detect known viruses and previously unknown viruses to prevent information systems from damage. This model is inspired by biological immune systems that protect the body against damage from pathogens. The architecture of this model, the formal definitions of self, nonself, antigen, antibody, and vaccine gene library are introduced. Furthermore, the evolution of self and nonself, the generation of the antibody, the evolution of the virus vaccine gene, and the detection of the antigen are depicted. Experiment results show that this model has better capacity of self-adaptability and self-learning in detecting unknown viruses than traditional models.
35751769
CNP: A Protocol for Reducing Maintenance Cost of Structured P2P
With highly dynamic, structured P2P system needs very high maintenance cost. In this paper we propose a Clone Node Protocol to reduce the maintenance cost of structured P2P system by a mechanism of clone nodes. In order to verify the efficiency of CNP, we achieve a Clone Node Chord structure based on CNP, i.e. CNChord. Furthermore, we implement a bidirectional CNChord (BCNChord) in order to reduce query time of CNChord. Theoretical analysis and experimental results show that CNChord can greatly reduce the cost of maintaining P2P structure and BCNChord can effectively improve the query speed. In a word, CNP can effectively reduce the maintenance cost of structured P2P.
29802848
Improved Approximate Detection of Duplicates for Data Streams Over Sliding Windows
Detecting duplicates in data streams is an important problem that has a wide range of applications. In general, precisely detecting duplicates in an unbounded data stream is not feasible in most streaming scenarios, and, on the other hand, the elements in data streams are always time sensitive. These make it particular significant approximately detecting duplicates among newly arrived elements of a data stream within a fixed time frame. In this paper, we present a novel data structure, Decaying Bloom Filter (DBF), as an extension of the Counting Bloom Filter, that effectively removes stale elements as new elements continuously arrive over sliding windows. On the DBF basis we present an efficient algorithm to approximately detect duplicates over sliding windows. Our algorithm may produce false positive errors, but not false negative errors as in many previous results. We analyze the time complexity and detection accuracy, and give a tight upper bound of false positive rate. For a given space G bits and sliding window size W, our algorithm has an amortized time complexity of $ O + (\sqrt{G/W}) $. Both analytical and experimental results on synthetic data demonstrate that our algorithm is superior in both execution time and detection accuracy to the previous results.
18262600
Parameters optimization of support vector regression based on immune particle swarm optimization algorithm
A novel Immune Particle Swarm Optimization (IPSO) for parameters optimization of Support Vector Regression (SVR) is proposed in this article. After introduced clonal copy and mutation process of Immune Algorithm (IA), the particle of PSO is considered as antibodies. Therefore, evaluated the fitness of particles by the Leave-One-Out Cross-Validation (LOOCV) standard, the best individual mutated particle for each cloned group will be selected to compose the next generation to get better parameters of SVR. It can construct high accuracy and generalization performance regression model rapidly by optimizing the combination of three SVR parameters at the same time. Under the datasets generated from sinx function with additive noise and spectra dataset, simulation results show that the new method can determine the parameters of SVR quickly and the gotten models have superior learning accuracy and generalization performance.
34552917
A new dynamic Bayesian network for integrating multiple data in estimating gene networks
We propose a novel method for estimating a gene regulatory network from both gene expression data and transcription factor binding location data. Based on dynamic Bayesian network (DBN) models, our method has two advantages. First, structural expectation maximization algorithm is embedded into a DBN framework, allowing it to learn the network with unknown structure and incomplete data, which cannot be tackled by expectation maximization algorithm. Second, since learning only from gene expression data is not enough to accurately estimate a gene network, we incorporate transcription factor binding location data through a structure prior. We demonstrate the effectiveness of the proposed method by the analysis of Saccharomyces Cerevisiae cell cycle data. The experimental results show that this new approach suits for dealing with missing values. Furthermore, combination of heterogeneous data from multiple sources ensures that our results are more accurate than those recovered from gene expression data alone.
1495082
A coordinate SPC model for assuring designated fit quality via quality-oriented statistical tolerancing
On the basis of studies to process quality indices and fit quality indices, the quality-oriented statistical tolerancing is introduced, which provides an interface between fit quality and the process parameter design of mating parts. A statistical mating model via the quality-oriented statistical tolerancing under information-based manufacturing condition is discussed. Compared with traditional mating model for a pair of hole/shaft fit, the statistical mating model is developed for equal batches of hole/shaft fit, and it can achieve a designated fit quality and minimum defective ratio by fully utilizing statistical tolerance zone and the known information of manufactured mating parts via a coordinate SPC model and local network and information system. Thus, production cost for mating parts can be reduced obviously. This new approach provides a possibility and guideline to concurrent design of the process quality, statistical tolerances to assure designated process quality and fit quality for hole and shaft parts.
18794722
Word Sense Language Model for Information Retrieval
This paper proposes a word sense language model based method for information retrieval. This method, differing from most of traditional ones, combines word senses defined in a thesaurus with a classic statistical model. The word sense language model regards the word sense as a form of linguistic knowledge, which is helpful in handling mismatch caused by synonym and data sparseness due to data limit. Experimental results based on TREC-Mandarin corpus show that this method gains 12.5% improvement on MAP over traditional tf-idf retrieval method but 5.82% decrease on MAP compared to a classic language model. A combination result of this method and the language model yields 8.92% and 7.93% increases over either respectively. We present analysis and discussions on the not-so-exciting results and conclude that a higher performance of word sense language model will owe to high accurate of word sense labeling. We believe that linguistic knowledge such as word sense of a thesaurus will help IR improve ultimately in many ways.
8620934
Certifying Concurrent Programs Using Transactional Memory
Transactional memory (TM) is a new promising concurrency-control mechanism that can avoid many of the pitfalls of the traditional lock-based techniques. TM systems handle data races between threads automatically so that programmers do not have to reason about the interaction of threads manually. TM provides a programming model that may make the development of multi-threaded programs easier. Much work has been done to explore the various implementation strategies of TM systems and to achieve better performance, but little has been done on how to formally reason about programs using TM and how to make sure that such reasoning is sound. In this paper, we focus on the semantics of transactional memory and present a proof-carrying code (PCC) system for reasoning about programs using TM. We formalize our reasoning with respect to the TM semantics, prove its soundness, and use examples to demonstrate its effectiveness.
11938589
Evaluation of Localization Attacks on Power-Modulated Challenge–Response Systems
Location information should be verifiable in order to support new computing and information services. In this paper, we adapt the classical challenge-response method for authentication to the task of verifying an entity's location. Our scheme utilizes a collection of transmitters, and adapts the power allocations across these transmitters to verify a user's claimed location. This strategy, which we call a power-modulated challenge response, is able to be used with existing. wireless sensor networks. First, we propose a direct method, where some transmitters are selected to send ldquochallengesrdquo that the claimant node should be able to witness based on its claimed location, and for which the claimant node must correctly respond to in order to prove its location. Second, we reverse the strategy by presenting an indirect method, where some transmitters send challenges that the claimant node should not be able to witness. Then, we present a signal-strength-based method, where the node responds with its received signal strength and thereby provides improved location verification. To evaluate our schemes, we examine different adversarial models for the claimant, and characterize the performance of our power-modulated challenge response schemes under these adversarial models. Further, we propose a new localization attack, where a set of nodes collaborates to pretend that there is a node at the claimed location. This collusion attack can do tremendous harm to localization and the performance of the aforementined methods under collusion attack are explained. Finally, we propose the use of a rotational directional power-modulated challenge response, where directional antennas are used to defend against collusion attacks.