The performance of the user's safeguard strategy is a direct factor which touches the reliability and cost of data link network in the whole procedure from fault discovering to trouble shooting. To improve the per...
详细信息
The performance of the user's safeguard strategy is a direct factor which touches the reliability and cost of data link network in the whole procedure from fault discovering to trouble shooting. To improve the performance of network, a novel model of data-link user's safeguard strategy based on reliability theory is designed in this present study. It minimizes the cost of equipments' safeguard procedure and normal running on the premise of the network and solves the problem of redundant management efficiently. An example is given to express the model.
This paper presents an approach to build a flow of grid services named GFlow. This approach converts all of the services＇ interfaces in globus toolkit 3 into platform independent model format. The conversion uses ecl...
详细信息
This paper presents an approach to build a flow of grid services named GFlow. This approach converts all of the services＇ interfaces in globus toolkit 3 into platform independent model format. The conversion uses eclipse modeling framework plug-ins and graphical editing framework plug-ins to parse the models into platform specific models, which are responsible for implementation of grid services＇ clients and servers and their automatic deployment. This paper emphasizes on design method, which uses model drive architecture, and design process, which uses model-view-control.
A writer recognition approach based on SVM is proposed in this paper. Above all, the effect of SVM on the writer recognition is also analyzed under the condition of small samples and weak features, and then the improv...
详细信息
A writer recognition approach based on SVM is proposed in this paper. Above all, the effect of SVM on the writer recognition is also analyzed under the condition of small samples and weak features, and then the improvement of its performance is validated by experiments. Futhermore, in terms of C-SVC, two parameter optimization schemes are put up based on collapse tests plus margin-based bounds and collapse tests plus compression bounds, respectively, their performance are compared, thus the generation performance of the classifier is enhanced
Problem cognition is often the first step to problem solving. Complex problem solving is often promoted by cooperative cognition. Our research work presented in this paper is initialed by a motivated example. Then met...
Problem cognition is often the first step to problem solving. Complex problem solving is often promoted by cooperative cognition. Our research work presented in this paper is initialed by a motivated example. Then meta-cognition and cooperative cognition are explored by defining their Cognition Logic Context and Cognition Resource Context. Cognition evolution is discussed from the transformation of problem state space. Moreover, the knowledge flow principle engaged in cooperative cognition is explored from the perspective of learning and cognition evolution. To promote cooperative cognition under Web environment, a context application paradigm is proposed based on P2P scenarios. The conclusions and our future works are presented at last.
In this paper,we propose a fast motion estimation algorithm of arbitrarily shaped video object in MPEG- *** proposed algorithm incorporates the binary alpha-plane and the extended contour to predict accurately the mot...
详细信息
In this paper,we propose a fast motion estimation algorithm of arbitrarily shaped video object in MPEG- *** proposed algorithm incorporates the binary alpha-plane and the extended contour to predict accurately the motion vectors of boundary macroblocks so that the conventional fast motion estimation algorithms can be employed to search the motion vectors of opaque macro-blocks using the motion vectors of the neighboring boundary macro-blocks as the initial *** results show that the proposed algorithm requires low computation complexity while provides good motion compensation quality.
Formalized analyzing the situation of grid and the target of fault diagnosis, a new method - FTFD for grid troubleshooting based on fuzzy event is proposed. By introducing situation-detection function, FTFD can charac...
详细信息
Formalized analyzing the situation of grid and the target of fault diagnosis, a new method - FTFD for grid troubleshooting based on fuzzy event is proposed. By introducing situation-detection function, FTFD can characterize complicated fuzzy fault with accurate mathematics conversion, and "abnormal degree" can be defined by the vector of probability with belief functions. The method can effectively reduce false positives and negative positives. It aims to be applied to real-time fault diagnosis. The operational prototypical system demonstrates its feasibility and gets the effectiveness of real-time fault diagnosis
According to the immunology principles of bionics, a grid root-fault detection system is presented. In this paper event detection sequences are viewed as analogous to peptide. With the principle of positive selection ...
详细信息
According to the immunology principles of bionics, a grid root-fault detection system is presented. In this paper event detection sequences are viewed as analogous to peptide. With the principle of positive selection in immunology, the system builds up its event database. And the behavior whose frequency is higher will be analyzed and processed first to improve the speed and effectiveness of fault detection. The experiment system implemented by this method shows a good diagnostic ability
In this paper, we present a timed automaton reachability analysis algorithm which can use some other properties to improve the model checking efficiency. If the model checker aborts because of memory or CPU time limit...
详细信息
In this paper, we present a timed automaton reachability analysis algorithm which can use some other properties to improve the model checking efficiency. If the model checker aborts because of memory or CPU time limitation when checking a property P, the users can still use a set of auxiliary properties P 1 , P 2 ,..., P n about the system to reduce the space and time requirement. People can verify these auxiliary properties by either model checking or other methods like theorem proving. This algorithm gives the users a way to reduce the space and time requirement of model checking using their knowledge about the system under check.
暂无评论