Using the genetic algorithm automatically Timetable

petri网络的演示程序，本程序是计算机网络课程中涉及到的petri网络的演示，输入预先的转换规则，搜索可以击发的状态，设定次数进行状态转换-Petri Network Demonstration Program, the process is computer network courses related to the petri network demonstration, the importation of pre-conversion rules can search the state while working on the creation of a state for the number change

KMEANS聚类算法实现程序，程序分为两个部分，包括数据和KMEANS聚类算法实现程序，并有详细的注释．-Clustering algorithm KMEANS realize procedure, the procedure is divided into two parts, including the data and clustering algorithm KMEANS realize procedure, and detailed notes.

神经网络中学习矢量量化模型算法的源程序，属于有导师学习！-Neural network model of learning vector quantization algorithm source code, which has instructors to learn!

Code for Truth Maintenance System in Artificial Intelligence.-Code for Truth Maintenance System in Artificial Intelligence.

清华大学不确定规划教材中的用遗传算法训练神经元网络的混合智能算法2-Tsinghua University, uncertainty in the planning of teaching materials by using genetic algorithm trained neural network Hybrid Intelligent Algorithm 2

遗传算法优化神经网络的C源程序- Heredity algorithm optimization nerve network C source program

现代控制理论经典PPT，非常有效，而且方便好用-Classic modern control theory, PPT, very effective and convenient easy to use

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

细胞自动机的，很好的-Cellular Automata and fine