1[3]Holst H J.Visual Prolog Version 5.x Getting Started[M]. New york:Prolog Development Center, 2001.
2[4]Holst H J.Visual Prolog Version 5.x Visual Development Environment[M]. New york:Prolog Development Center, 2001.
3[5]Holst H J.Visual Prolog Version 5.x Visual Programming Interface[M]. New york:Prolog Development Center, 2001.
4Osuna E, Freund R, Girosi F. Training support vector machines: an application to face detection. In: Proceedings of Computer Vision and Pattern Recognition 97', Puerto Rico, 1997. 130 ~ 136.
5Platt J. Fast training of SVMs using sequential minimal optimization. In:Scholkpf B, Burges C, Smola A, eds., Advances in kernel methods-support vector machine learning, Cambridge: MIT Press, 1998.
6Berther T, Davies P. Condition monitoring of check valves in reciprocating pumps. Tribology Transactions, 1991, 34:321 ~326.
7Xu W H, Fu K. An intelligent diagnostic system for reciprocating machine.In: Proceedings of IEEE International Conference on Intelligent Processing Systems, Beijing, 1997, 1 520~ 1 522.
8Sbi Wengang, Wang Rixin, Huang Wenhu. Application of rough set theory to fault diagnosis of check valves in reciprocating pumps. In: Proceedings of IEEE Canadian Conference on Electrical and Computer Engineering, Toronto, 2001. 1 247~ 1 250.
9Boser B, Guyon I, Vapnik B. A training algorithm for optimal margin classitiers. In: Fifth Annual Workshop on Computational leaming Theory, Pittsburgh: ACM Press, 1992.