登录
首页 » 算法 » HybirdSat求解器smt

HybirdSat求解器smt

于 2022-02-20 发布 文件大小:50.49 kB
0 210
下载积分: 2 下载次数: 1

代码说明:

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

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • Lacoally weighted Regression source code
    Lacoally weighted Regression source code
    2022-01-28 07:41:20下载
    积分:1
  • 指数回归方程 ExponentRegress.cs 方程模型为 public override double[] buildFormula()...
    指数回归方程 ExponentRegress.cs 方程模型为 public override double[] buildFormula() 得到系数数组,存放顺序与模型系数相反,即该数组中系数的值依次是b,a。 public override double forecast(double x) 预测函数,根据模型得到预测结果。 public override double computeR2() 计算相关系数(决定系数),系数越接近1,数据越满足该模型。
    2023-06-14 17:20:02下载
    积分:1
  • Delta 并联机器人 反解代码
    应用背景MFC界面编写的Delta蜘蛛并联机器人的反解算法代码关键技术完整详细的MFC代码,验证过。能被用于机器人系统控制。
    2022-03-23 14:34:07下载
    积分:1
  • 定位在传感器网络中的 改进策略
    资源描述本文首先在查阅和参考大量国内外相关文献的基础上,介绍了无线传感器网 络节点定位技术的研究背景及意义,综述了国内外研究现状,并详细介绍了无线 传感器网络中一些典型的无需测距定位算法和系统。 传统DV-Hop 算法采用较少的锚节点参与平均跳距计算,未知节点使用此平均 跳距值误差大,为了减小DV-Hop 算法的定位误差,提高待定位节点的定位精度, 本文从以下三方面对其进行改进:针对DV-Hop 定位算法适应节点均匀分布的网络 这一特性,在算法的前期提出了节点的部署策略;针对平均每跳距离在求各种跳 数的节点之间的距离时有着不同程度的影响,在算法的中期提出了距离修正值策 略;针对用三边或多边测量法计算未知节点的坐标精度不高这一问题,在算法的 后期使用了具有交叉因子的粒子群算法这一策略 使用Omnet++和Matlab 仿真工具对提出改进算法的有效性进行验证。实验证 明,与DV-Hop 算法相比,三种改进算法的定位精度都得到了一定程度的提高,特 别是基于交叉因子粒子群定位时效果最佳,能更好地满足实际应用的需求。 关键词:无线传感器网络,节点定位技术,距离向量-跳段,平分四块部署,距离 修正,交叉粒子群优化算法
    2022-11-10 18:25:04下载
    积分:1
  • 判断点是否处于多边形内的最佳方(适用于任意多边形包括凹凸边形)
        本例子在VC6.0上编写了判断点是否处于多边形内的最佳方法,它和一般的叉乘判别法,角度判别法,面积判别法不同,它适用于任意多边形(包括凹凸边形)。它的基本思想就是:假设需要判定的点P,通过点P水平向左做射线,如果P在多边形内部,那么这条射线与多边形的交点必为奇数,反之,交点个数为偶数。所以,我们可以顺序考虑多边形的每条边,求出交点的总个数。当然,存在一些特殊情况,例如射线刚好和多边形端点相交。对于一些特殊情况,算法也有所考虑,并一一解决。具体见算法里的注释即可。
    2022-01-31 11:10:31下载
    积分:1
  • HEC 虚拟机源码
    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  
    2022-02-10 02:24:18下载
    积分:1
  • 信息论哈夫曼编码
    信息论哈夫曼编码-Information Huffman
    2023-07-26 20:20:03下载
    积分:1
  • kalman filter with state constraints lecture and example
    kalman filter with state constraints lecture and example
    2022-08-19 21:22:30下载
    积分:1
  • 实序列IFFT傅里叶反变换
    离散傅立叶反变换 (IDFT)及其快速算法 (IFFT)通常是针对一般的复数序列定义和推导的 , 而在实际应用中 ,进行时频分析的信号大多是实数信号 ,即实序列。 是基于C语言编写的基于时间抽取的基二实序列FFT傅里叶变换算法和IFFT傅里叶反变换算法。
    2023-08-14 04:30:04下载
    积分:1
  • 雷达数据处理
    对雷达数据处理的单目标,多传感器的matlab源程序,简单的卡尔曼滤波算法,初学的朋友们可以看看
    2022-02-19 23:24:19下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载