清华仿真机器人2002年源码.rar。可以从下面这个网址找到更详细的内容。 http://www.lits.tsinghua.edu.cn/robocup...

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

利用hopfield神经网络解决TSP(旅行商)问题-use hopfield neural network to solve TSP salesman problem (TSP)

一个完整BP神经网络源代码，包括数据和说明文档,很有用的。-A complete BP neural network source code, including data and documentation, very useful.

C++神经网络开发包,基于C++语言，VisualC++环境-C++ Neural network development package, based on the C++ Language, VisualC++ Environment

神经网络中自适应谐振理论模型实现的C语言源程序！-Neural network adaptive resonance theory model of the C language source code!

遗传模拟退火算法在弹药装载中的应用研究 PDF文挡，相当经典，供大家分享-Genetic simulated annealing algorithm in ammunition loaded in the Applied Research PDF text block, very classic for everyone to share

遗传算法解决NN逼近任意函数-genetic algorithm to solve arbitrary function approximation NN

一个遗传算法例子-example of a genetic algorithm

关于产生均匀分布和标准正态分布的随机变量的VC程序-on the production and distribution of uniform standard normal distribution of random variables VC Program

一种基于BP网络的小波神经网络程序，用MATLAB编写的-BP network based on wavelet neural network procedures, prepared by using MATLAB