-
HybirdSat求解器smt
开源的的smt求解器,用于求解约束集的可满足性,能够支持位向量的求解,速度还算不错。
- 2022-02-20 09:49:11下载
- 积分:1
-
ZIP解压源程序 VC++编写 Borland C++buider 环境下通过
ZIP解压源程序 VC++编写 Borland C++buider 环境下通过-source VC extracting ZIP prepared Borland C environment through buider
- 2022-01-31 04:10:24下载
- 积分:1
-
改进后的bp 算法实现.\并给出一些实例子进行模拟算法用vc实现...
改进后的bp 算法实现.\并给出一些实例子进行模拟算法用vc实现-bp improve the algorithm. And gives some examples for simulation algorithm to achieve vc
- 2022-05-14 08:27:10下载
- 积分:1
-
这是SIR微分方程模型对初值问题的求解和作图
这是SIR微分方程模型对初值问题的求解和作图-This is the SIR model differential equations to solve the problem of initial value and mapping
- 2022-03-13 22:57:17下载
- 积分:1
-
割线算法;
数值计算算法:割线算法的数学写的帕斯卡尔要找到解决方程f(x)=0 给定的初始近似值P0和P1: 输入:初始近似值P0,P1;公差TOL; 迭代N 0的最大数目。 输出:近似解p或 该算法失败的消息。
- 2022-02-10 14:26:53下载
- 积分:1
-
非线性回归问题的求解
非线性回归问题SQP解法-nonlinear regression problems SQP Solution
- 2022-11-23 00:25:03下载
- 积分:1
-
Matlab的地理数据分析
%Markov链%第一种方法A=[0 1243.37 171.92 29.79 0 0 00 0 6983.97 957.97 0 0 00 0 203845.5 9812.96 0 0 034 0 77259.28 11323.64 3851.17 0 4.89128.47 11580.83 917.15 0 5761.7 2397.61 02293.52 79225.61 9979.07 3647.11 0 91339.8 24.360 141.18 964.94 2.2 0 0 28.67]; %原始数据矩阵[m,n]=size(A); %计算矩阵的行数和列数Rsum=sum(A"); %计算矩阵各行数值之和S=Rsum(ones(n,1),:); %将各行数值之和平移为矩阵M=(A"./S)"; %计算转移概率矩阵%第二种方法A=[0
- 2022-01-22 01:04:19下载
- 积分:1
-
分支定界的0/1背包问题
分支定界的0/1背包问题-branch delimitation of the 0/1 knapsack problem
- 2022-02-14 20:11:44下载
- 积分:1
-
sha-1 算法
/*
100%免费公共域算法实现的长沙-1
由赖歇尔 Dominik < dominik.reichl@t-online.de >
Web: http://www.dominik-reichl.de/
版本 1.8-2008年-03-16
-转换为 Visual Studio 2008 格式的项目文件。
-添加 Unicode 支持 HashFile 实用程序方法。
-添加对哈希文件使用 HashFile 方法的支持,是
大于 2 GB。
-HashFile 现在返回一个错误代码,而不是复制错误
到输出缓冲区中的消息。
-GetHash 现在返回一个错误代码,并通过验证的输入的参数。
-添加 ReportHashStl STL 实用程序方法。
- 2022-01-26 07:50:53下载
- 积分:1
-
任意精度求pi,对内存基本没有要求,spigot算法
任意精度求pi,对内存基本没有要求,spigot算法-arbitrary precision for pi, no basic right memory requirements spigot Algorithm
- 2022-08-19 15:13:09下载
- 积分:1