最大生命周期的贪婪连通控制集构造算法

开源的的smt求解器，用于求解约束集的可满足性，能够支持位向量的求解，速度还算不错。

红黑树是一种自平衡二叉查找树，是在计算机科学中用到的一种数据结构，典型的用途是实现关联数组。它是在1972年由Rudolf Bayer发明的，他称之为"对称二叉B树"，它现代的名字是在 Leo J. Guibas 和 Robert Sedgewick 于1978年写的一篇论文中获得的。它是复杂的，但它的操作有着良好的最坏情况运行时间，并且在实践中是高效的： 它可以在O(log n)时间内做查找，插入和删除，这里的n 是树中元素的数目。

为了降低移动自组织网络（Manet）中的路由开销，我们提出了一种基于邻居覆盖的概率重播方案，由于移动自组织网络（Manet）的高移动性，存在频繁的链路中断，导致路径失效和路由失效新发现路由发现的开销不能被忽略被忽视。在路线发现，广播是一种基本而有效的数据传播机制，其中，移动节点盲目地重播第一个接收到的路由请求包，从而导致广播Strom问题来了我们正在避开广播风暴问题来了我们使用两个主要因素，即连通性因子和平均延迟，找到了从源到目的地发送消息的共同邻居比率.we将通过公共邻居路径发送rreq，从而减少重传和路由开销。

这是一个函数，模拟 Alamouti 时空计划并绘制误码率 vs 信噪比图。

2009

  所谓K短路，就是从s到t的第K短的路，第1短就是最短路。     如何求第K短呢？有一种简单的方法是广度优先搜索，记录t出队列的次数，当t第k次出队列时，就是第k短路了。但点数过大时，入队列的节点过多，时间和空间复杂度都较高。     A*是在搜索中常用的优化，一种启发式搜索。简单的说，它可以用公式表示为f(n) = g(n) + f(n)，其中，f(n)是从s经由节点n到t的估价函数，g(n)是在状态空间中从s到n的实际代价，h(n)是从n到t的最佳路径估计代价。在设计中，要保证h(n)

Numerical Anaysis 8th Edition Burden and Faires (Fortran Source)

Conjugate Gradient Method

用For/Next循环语句编写程序计算自然对数之和，并要求先定义求a到b的自然对数之和的函数为Nlogarithm(a,b),然后单击“求自然对数之和”按钮时调用该函数。

一维有限元方法