An answer set programming (ASP) based capability-matching mechanism for service discovery is proposed. The plan checking mechanism is employed to determine whether an agent has the ability to achieve a given goal. A m...
详细信息
An answer set programming (ASP) based capability-matching mechanism for service discovery is proposed. The plan checking mechanism is employed to determine whether an agent has the ability to achieve a given goal. A middle-agent employing such matching mechanism is implemented.
In order to solve massive data sort in digital library and dataware house, a highly efficient algorithm based on serpentine tape, named STESort (serpentine tape external sort), is provided. Taking full advantage of th...
详细信息
In order to solve massive data sort in digital library and dataware house, a highly efficient algorithm based on serpentine tape, named STESort (serpentine tape external sort), is provided. Taking full advantage of the characteristics of serpentine tape, the STESort algorithm reduces the whole seek time on tapes comp.red with traditional 2-way merge tape sort algorithm. Besides increasing the efficiency of tape sort, the STESort algorithm prolongs the duration of tapes by reducing the times of tape header moving on tape surface. The theoretical analysis and the experimental results show that the STESort algorithm is more efficient than the traditional tape sort algorithms. The STESort is suitable for massive data sort.
A new detection-oriented attack classification approach-DetectClass, based on the data collected directly by the intrusion detection system (IDS), is proposed. The DetectClass approach is analyzed and testified using ...
详细信息
A new detection-oriented attack classification approach-DetectClass, based on the data collected directly by the intrusion detection system (IDS), is proposed. The DetectClass approach is analyzed and testified using formal techniques. Based on the approach, the corresponding attack tree generating algorithm is presented, and is tested by concrete inst.nces of attack. The results show that the algorithm is effective and efficient. In doing so, the efficiency and accuracy of IDS detection is improved, and the attack patterns can be generated automatically and reused applying the attack tree generating algorithm.
A scheduling algorithm based on priority table design is presented. Any two characteristic parameters (e.g., relative deadline and slack) is a task are combined to design its priority so that the deadline is nearer or...
详细信息
A scheduling algorithm based on priority table design is presented. Any two characteristic parameters (e.g., relative deadline and slack) is a task are combined to design its priority so that the deadline is nearer or the slack of shorter, the priority is higher. The priority of a task is uniquely determined by its relative deadline and slack. For any task, its unique priority can be obtained by using Lagrange interposing algorithm on the designed priority table. comp.red with the classical EDF and LSF policies, simulated results show that the proposed algorithm improves the efficiency of task scheduling, i.e., to designate the priority of a task, increases the succeed ratio of task scheduling, and decreases the missed deadline percentage. The proposed algorithm can be applied to dynamically schedule real-time tasks in real-time systems.
As the feature sizes of integrated circuits have been continually reducing to below exposure wavelength, some correcting techniques, such as OPC and PSM are indispensable to comp.nsate for the distortions on wafer ima...
详细信息
As the feature sizes of integrated circuits have been continually reducing to below exposure wavelength, some correcting techniques, such as OPC and PSM are indispensable to comp.nsate for the distortions on wafer images. In this paper, we present an object-based approach to OPC named OPCM, which is a model-based OPC tool. Also, OPCM is applied to a rule-based OPC to enhance the practicability of the software. We show the validation of the approach by experimental results.
It is a very difficult problem in machine learning to learn uncertain knowledge automatically without prior domain knowledge. A theory is developed to express, measure and process uncertain information and uncertain k...
详细信息
It is a very difficult problem in machine learning to learn uncertain knowledge automatically without prior domain knowledge. A theory is developed to express, measure and process uncertain information and uncertain knowledge according to uncertainty measure of decision table and decision rule. Based on the Skowron's default rule generation algorithm, a self-learning model and the method is developed to solve this problem. Simulation results illustrate the efficiency of this self-learning method.
comp.tation partition is one of the most important problems in parallel comp.lation and optimization. For dealing with parallel loops with determinated data distribution, a comp.tation partition algorithm based on the...
详细信息
comp.tation partition is one of the most important problems in parallel comp.lation and optimization. For dealing with parallel loops with determinated data distribution, a comp.tation partition algorithm based on the subset of uniform schemes is proposed. The method of getting the subset of uniform schemes is given, as well as the algorithm of selecting the most optimized scheme under the consideration of communication and load balance. The experimental results prove that this algorithm is simpler and more effective than several previous algorithms in dealing with parallel loops, and the p_HPF comp.ler adopted by this algorithm can obtain good speedups and efficiencies. The comp.ler is applied in the field of petroleum.
In the system testing, the communication's validation between processors or different kinds of units is more important. For this purpose, we present a framework for transforming the OMG's unified modeling lang...
详细信息
In the system testing, the communication's validation between processors or different kinds of units is more important. For this purpose, we present a framework for transforming the OMG's unified modeling language sequence diagram (UML-SD) to the Markov chain whose encoding rule is a kind of Markup language (Markov Chain Markup Language - MCML). Then, the statistical software testing based project - Markov Test Logic (MaTeLo), and together with those related technologies used in MaTeLo is introduced. The main structure and encoding method for the XML based MCML is given. The algorithm for translating UML-SD into Markov chain usage model (MCUM) and its corresponding tool implementation is demonstrated.
This paper makes a detail discussion on the optimal dimension problem of optimal discriminant feature set, gives the condition under which the dimension of optimal features sets is c-1. That is the optimal features se...
详细信息
This paper makes a detail discussion on the optimal dimension problem of optimal discriminant feature set, gives the condition under which the dimension of optimal features sets is c-1. That is the optimal features set which optimizes the discriminant criterion with the form f(M1, , Mc, S1, , Sc), where Mi and Si are the first-and second-order moments, and the optimal features set which optimizes the error rate of some special classifiers, such as Bayesian linear classifier, minimum-distance classifier. Both of the optimal features are the posterior probabilities or their function. At last, variance analysis is introduced against.estimation error to select the optimal discriminant features that minimize the error rate of minimum-distance classifier. This method can also be used in other feature selection problems.
The key point in a MPEG-4 based facial animation system is the construction of the FaceDefTables, We proposed an automatic method to locate feature points on 3D facial models and then construct FaceDefTables for arbit...
详细信息
The key point in a MPEG-4 based facial animation system is the construction of the FaceDefTables, We proposed an automatic method to locate feature points on 3D facial models and then construct FaceDefTables for arbitrary facial models based on the FaceDefTables for the standard facial model. At last, we implemented the facial animation system that can animate arbitrary facial model based on the FAPs realistically.
暂无评论