ArcObject的空间查询代码，比较简单和初步的供大家一起学习

遗传算法的Matlab程序，用于数值优化-GA Matlab procedures for Numerical Optimization

程序包含的设置包括：列数、样本总个数、建模样本数、预报因子数、预报对象数、学习因子、 动量因子、训练次数、总体误差、隐节点数。-procedures contained in the set include : number, the total sample number, the number of samples modeling, forecasting several factors, forecasting several targets, learning factor, momentum factor, the number of training, the overall error of hidden nodes.

贝叶斯优化算法是一种新的演化算法，通过贝叶斯概率统计的知识来学习后代，可是使演化朝有利的方向前进，程序用C实现了贝叶斯优化算法。-Bayesian Optimization Algorithm is a new evolutionary algorithm, through Bayesian probability and statistics to learn the knowledge of future generations, but to enable the evolution towards a favorable direction, procedures C achieved a Bayesian Optimization Algorithm.

模式识别―分类程序VC源码,是《图像模式识别VC++技术实现》一书的源码-pattern recognition-classification procedure VC source, "VC image pattern recognition technology to achieve" a source book

基于MATLAB完成的神经网络源程序 大家-Based on the MATLAB neural network to complete the U.S. source

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

本程序为基于工艺参数优化的改进遗传算法程序-based on the procedures for the optimization of process parameters improved genetic algorithm

On the splitting method for VQ codebook generation by using Matlab

libneural神经网络C库函数源代码，版本1.0.3.-libneural neural network C library functions source code, version 1.0.3.

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