HybirdSat求解器smt

Lacoally weighted Regression source code

指数回归方程 ExponentRegress.cs 方程模型为 public override double[] buildFormula() 得到系数数组，存放顺序与模型系数相反，即该数组中系数的值依次是b,a。 public override double forecast(double x) 预测函数，根据模型得到预测结果。 public override double computeR2() 计算相关系数（决定系数），系数越接近1，数据越满足该模型。

应用背景MFC界面编写的Delta蜘蛛并联机器人的反解算法代码关键技术完整详细的MFC代码，验证过。能被用于机器人系统控制。

资源描述本文首先在查阅和参考大量国内外相关文献的基础上，介绍了无线传感器网 络节点定位技术的研究背景及意义，综述了国内外研究现状，并详细介绍了无线 传感器网络中一些典型的无需测距定位算法和系统。 传统DV-Hop 算法采用较少的锚节点参与平均跳距计算，未知节点使用此平均 跳距值误差大，为了减小DV-Hop 算法的定位误差，提高待定位节点的定位精度， 本文从以下三方面对其进行改进：针对DV-Hop 定位算法适应节点均匀分布的网络 这一特性，在算法的前期提出了节点的部署策略；针对平均每跳距离在求各种跳 数的节点之间的距离时有着不同程度的影响，在算法的中期提出了距离修正值策 略；针对用三边或多边测量法计算未知节点的坐标精度不高这一问题，在算法的 后期使用了具有交叉因子的粒子群算法这一策略 使用Omnet++和Matlab 仿真工具对提出改进算法的有效性进行验证。实验证 明，与DV-Hop 算法相比，三种改进算法的定位精度都得到了一定程度的提高，特 别是基于交叉因子粒子群定位时效果最佳，能更好地满足实际应用的需求。 关键词：无线传感器网络，节点定位技术，距离向量-跳段，平分四块部署，距离 修正，交叉粒子群优化算法

    本例子在VC6.0上编写了判断点是否处于多边形内的最佳方法，它和一般的叉乘判别法，角度判别法，面积判别法不同，它适用于任意多边形（包括凹凸边形）。它的基本思想就是：假设需要判定的点P，通过点P水平向左做射线，如果P在多边形内部，那么这条射线与多边形的交点必为奇数，反之，交点个数为偶数。所以，我们可以顺序考虑多边形的每条边，求出交点的总个数。当然，存在一些特殊情况，例如射线刚好和多边形端点相交。对于一些特殊情况，算法也有所考虑，并一一解决。具体见算法里的注释即可。

HEC 虚拟机源码  verview of HEC on Win32 ------------------------ There are 4 batch files which you can use to build and maintain HEC 1) bldall.bat - makes all the win32 binaries 2) mvbin.bat   - moves all the win32 binaries to the win32in directory 3) wipe.bat  

信息论哈夫曼编码-Information Huffman

kalman filter with state constraints lecture and example

离散傅立叶反变换 (ＩＤＦＴ)及其快速算法 (ＩＦＦＴ)通常是针对一般的复数序列定义和推导的 , 而在实际应用中 ,进行时频分析的信号大多是实数信号 ,即实序列。 是基于C语言编写的基于时间抽取的基二实序列FFT傅里叶变换算法和IFFT傅里叶反变换算法。

对雷达数据处理的单目标，多传感器的matlab源程序，简单的卡尔曼滤波算法，初学的朋友们可以看看