基于《知网》的词汇语义相似度计算Final.doc

命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。 -Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization. Because the rules did not specify what steps in the derivation of what should be the introduction of the premise or intermediate conclusions, which also depends on the person s experience of the skills and talent. Wang Hao in 1960 proposed algorithm can be completely divorced from the person s experience and skills, a mechanical structure is derived for each step to prove that a propositional logic theorem establishment.

遗传算法,实现的是一个猜答案的过程， 这种算法比较经典，可以借鉴-genetic algorithm to achieve guess the answer is a process, this method is classic, we can draw on

神经网络隐节点合成算法，用于神经网络泛化能力的提高，和大家共享！-Hidden node neural network synthesis algorithm for neural network generalization capability, and the U.S. share!

详细讲解了动态规划的算法问题，再通过“装箱问题”等7个程序实例介绍解决动态规划问题的思路和方法。-Gave a detailed algorithm for dynamic programming problems, and through the " bin-packing problem" and other instances of seven procedures introduced to solve the problem of dynamic programming ideas and methods.

详细介绍了SVM 和RVM的区别及各自的优点，说明RVM在很多方面优于SVM-Described in detail the difference between SVM and the RVM and their respective advantages, indicating RVM in many ways superior to SVM

用高斯和离子滤波来跟踪视频图像中的移动对象，和模式识别有关-And ions with Gaussian filtering to track video images of moving objects, and pattern recognition on the

神经网络中HOPFIELD模型算法的源程序，常用语控制领域！-Neural network model algorithm HOPFIELD source, commonly used to control the area of language!

K-mean算法实现程序-K-mean algorithm program! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! !

java神经网络工具箱-neural network toolbox

神经网络基本算法源程序，包含四个基本算法：BF,ART I,RBF,自组织算法，有详细的帮助文件。-basic neural network algorithm source, contains four basic arithmetic : BF, ART I, RBF, self-organizing algorithm, a detailed help files.