差分进化算法的源代码，编码简单，可读性强，与约。

*说  明：EVA下面的通用定时器T1工作于连续增/减计数模式，产生三角载波，载波频率为 *        3000Hz，载波比N=60，因此调制波形正弦波的频率为50Hz。本实验中，调制度为 *        0.8。

无向图的邻接表的建立和遍历-no plans to the table adjacent to the establishment and ergodic

AES128源代码实现

tinyxml使用实例 tinyxml使用实例tinyxml使用实例tinyxml使用实例

C4.5决策树算法，经典，易于理解，中间存在一点点的小问题，希望大家多多指点，帮忙解决

天然气管道连接问题原程序，一百个用户，其中有四个无效用户，将其它96个有效用户连接成一个树形网络，用kruskal算法实现-Natural gas pipeline to connect the issue of the original procedure, 100 users, which has four invalid users, will the other 96 valid user to connect into a tree network, using Kruskal Algorithm

这是一个代码初始化和使用爱特梅尔在屏幕液晶书写和编程上atmega16a同样是一个代码使用4X4键盘matricila

C语言作的四色验证1．需求分析问题描述：证明了可以用不多于4种颜色对n个区域着色，而满足相邻的区域具有不同的颜色输入形式 ： 暂定最多50个区域，如需证明更多区域，修改#define S 50 即可；以整形形式输入（取值范围1-32767）用户需要证明的区域数目，相联的一对矩阵； 输出形式：以0和1输出关联矩阵，和以blue yellow orange pink形式输出每个区域相对应证明出的颜色；-C language does four colors confirm 1. demands analyses question description: Had proven may use not to be many to 4 kind of colors to n region coloration, but satisfies the neighboring region to have the different color input form: Establishes provisionally more than 50 regions, if must prove more regions, revise#define S 50 then; Region number (value scope 1-32767) the user needs to prove which by the reshaping form input, unites a pair of matrix; Output form: By 0 and 1 output incidence matrixs, with form outputs the color by blue yellow orange the pink which each region corresponds proves;

高斯消去法求解线性方程组，以在TC2.0中编译通过-Gaussian elimination method for solving linear equations, in which the compiler through WITH TC 2.0

分布性一致性算法的Isabella验证 we introduce a novel Broadcast-Free Algorithm that solves Consensusproblem in the presence of a Weak-Fairness property and an unreliablefailure detector -property, in asynchronous distributed systems, and later itsformal verication. The Broadcast-Free Algorithm Model is dened as a globaltransition system that is unambigously generated by local transition rules. At thesystem run, the algorithm model attempts involves two concepts : one to systemrun represents a innite computation and one to asynchronous communicationbetween processes without Broadcast.