英国支持向量机的环境下使用的是用的+ +开发的，有完整的…

命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。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 maze of achievement and improvement

基于FIR神经网络的非线性盲信号分离-FIR based on the nonlinear neural network Blind Signal Separation

改程序实现UB算法，对Web日志文件进行分析，产生相似度矩阵-reform program UB algorithm, the Web log file analysis, the similarity matrix produced

此程序为训练RBF网权值的量子粒子群优化算法，供各位参考-this program for training RBF net weights Quantum Particle Swarm Optimization Algorithm for reference

人工智能课程的实验中用C语言环境实现子句归结的算法和反映-experimental artificial intelligence courses using C language environment to achieve phrase attributed to the algorithm and reflect

完整的3D 模型检索程序，使用C语言编写，可以使学习者从底层研究三维模型的检索框架，同时提供的C语言程序包也可以设计新的三维模型检索算法。-Complete 3D model retrieval, the use of C language, so that students can study three-dimensional model from the bottom of the search framework to provide the C language package can also be three-dimensional model of the design of the new search algorithm.

本程序实现通过构造一棵前缀树实现 最大模式频繁项集挖掘算法.应用fp树增长算法实现.-the program by constructing a prefix tree to achieve the greatest model Frequent Mining algorithms. Application fp growth tree algorithm.

基于ICA的信号分离程序，是一个很好的信号处理方面的程序-based ICA signal separation procedure is a very good signal processing procedures

基于人工神经网络的房地产项目评判模型，值得一看-based on artificial neural network evaluation model for real estate projects, an eye-catcher