It is necessary to guarantee the validity of Web services and their composition. Since B-method is a model-based formal method, which has strong structuring mechanisms and good tool support, it is an effective method for modeling and verifying. Therefore, this paper models for Web Services and their composition and verifys the B model with the help of the tools of B.
Support vector machine algorithm becomes another important technique after neural networks in the field of machine learning, but the evaluation and choice for kernel function is not solved. Based on the structural risk theory, a quantity estimation is proposed though empirical risk and confidence interval, and an evaluation formula for kernel function is given. This article points out the default of traditional definition of empirical risk, and gives a new definition. The results of simulation experiment show the feasibility and effectiveness of the method.
or
related to paragraph, the noise content is eliminated based on this way. Experiments performed on a set of 132 559 Web pages from CWT200G show that this approach can eliminate noise content of Web pages effectively and decrease the size of index files to about 75%. The information retrieval speed can be faster, and the accuracy of retrieval can be improved.