使用希尔排序法对一维数组排序

分布性一致性算法的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.

Abaqus 中Johnson-cook模型只能用于explicit显示分析中，而我们需要在standard模块中可以使用的更加精细的Johnson-cook模型，故而借助Fortran来编写子程序来实现其本构关系。

这是一个利用C#语言编程实现的背包问题，运用了窗体，实现了求解最优值求解，装入包中的物品编号显示和最后装入包中的物品的比例

经典的数学问题――百鸡问题的VC源码。-classical mathematical problem-- the 100 chicken VC source.

KALMAN滤波器和condense算法的运动跟踪分析-Kalman filter and condense the motion tracking algorithm analysis

利用C语言实现了通信中经常用到的几种滤波器：低通滤波器，高通滤波器，带通滤波器。可以在vc上实现对信号的滤波，而且还可以移植到各种嵌入式板子上，实现滤波功能！

FIR滤波器系数计算 C源码，有多种加窗处理-FIR filter coefficients C source code, plus a variety of window treatment

一种新型的数值求解算法-a new numerical algorithm

列主元消去法。计算方法中的一种课程算法-out PCA elimination method. The calculation algorithm curriculum

人工智能课程中鲁滨逊消解原理的课程实验，采用支持集策略进行子句消解的演示代码，代码假设输入为化简后的子句，包含了输入的样例 其主要解决的问题为：任何拿到学位并找到工作的人都是幸福的，任何认真学习或者家庭背景良好的人 都可以拿到学位，李一天不认真学习但是家庭背景良好，任何家庭背景良好的人都能找到工 作。 求证：李一天是幸福的