Adaptive Variable step directional variation of genetic algorithm optimization s...

神经网络的源代码，关于字符识别的一些东西-Neural network source code, something about character recognition

人工智能中的全局搜索的九宫问题用VC实现 这下九宫问题的三种搜索方法都齐了-artificial intelligence of the global search JiuGongTu problems with VC JiuGongTu this issue under the three search methods are here

用vc写的，同时有用bp算法和用rbf神经网络进行训练和识别的程序，可以看到两种不同方法得到的结果-vc used to write, while useful bp algorithm and the use of rbf neural network training and identification procedures, we can see the two different methods to obtain the result

本压缩软件有vc++图象处理编程的源代码，相信会对从事图像处理的各位有所帮助- This compression software has the vc imagery processing programming the source code, believed can to be engaged in picture processing each position to have the help

神经网络介绍的源码-neural network introduced by the source

用于求解TSP问题的matlab源代码，需要读取距离矩阵-Used to solve TSP problem matlab source code, need to read the distance matrix

一个人工神经网络BP算法源代码与演示程序-an artificial neural network algorithm source code and demonstration program

一个机器人信息显示系统，代码比较全，你会喜欢的-Information display system of a robot, code-wide comparison, you would like

采用的是康力山等人确定的实验参数。 对于n个城市的旅行商问题，其参数如下： 初始温度：t0=280, 每一个温度下采用固定的迭代次数L=100n, 温度的衰减系数alpha=0.92 算法停止的准则是当相邻两个温度得到的解变化很小时算法停止。-used the Stanozolol Hill were determined by the experimental parameters. N cities for the traveling salesman problem, the parameters are as follows : initial temperature : t0 = 280, each a fixed temperature of the iteration number L = 100n, temperature attenuation coefficient alpha = 0.92 algorithm to stop the criteria when two adjacent the temperature change was very Solution Algorithm stop.

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