-
HybirdSat求解器smt
开源的的smt求解器,用于求解约束集的可满足性,能够支持位向量的求解,速度还算不错。
- 2022-02-20 09:49:11下载
- 积分:1
-
样条插值函数,插值边界条件为自然边界条件。运行编写环境C...
样条插值函数,插值边界条件为自然边界条件。运行编写环境C-spline interpolation function, interpolation boundary conditions for the natural boundary conditions. Operation C-environment
- 2022-08-08 06:32:06下载
- 积分:1
-
c语言实现图案绘制
算例1使用图形学算法在屏幕上画出一个圆,运行结果如附图1.
运行本程序后,先要求用户输入要画圆的圆心坐标、半径等数据,然后清屏并按照用户给出数据画出一个圆。
知识点:Turbo C的图形方式编程、画圆算法等;
算例2:实现屏幕画线和画矩形的程序,运行效果见附图2.
运行本程序后在屏幕上显示256色的套接矩形框。
知识点:DOS中断调用以及怎样直接写视频缓冲区;
算例3:使用BIOS中断INT 10H的功能随机生成图案,运行效果附图3.
程序执行后将在屏幕上随机生成颜色并进行填充,本例中随机颜色的初始值选择比较偏近于蓝色调,也可以自行设ing。
算例4:实现了图形的旋转、平移和缩放,运行效果如附图4.
- 2022-04-28 10:45:57下载
- 积分:1
-
LBP(局部二值模式)纹理特征提取matlab代码
获取图像LBP局部二进制模式纹理特征的matlab代码,可选输出二进制模式纹理响应图或相应统计直方图,内附test文件
- 2022-05-23 14:44:38下载
- 积分:1
-
Kriging Matlab 工具包 很好用
国外网上找到的Kriging Matlab 工具包,很好用。1.支持变量多维度, 核函数有多种选择。2.可以根据自己的研究任务进行修改。3.已通过测试,在适当样本点的情况下,插值精度很高。
- 2022-01-22 10:56:53下载
- 积分:1
-
实用条码转换系统下载
实用条码转换系统下载-practical barcode conversion system download
- 2022-08-20 16:39:41下载
- 积分:1
-
VB源程序,层次分析算法.可以解决系统模糊评价的问题.
本算法结构清晰,适宜定量评价系统性能...
VB源程序,层次分析算法.可以解决系统模糊评价的问题.
本算法结构清晰,适宜定量评价系统性能-VB source, the level of analysis algorithm. Fuzzy system can solve the problem of evaluation. This algorithm clear and suitable for quantitative evaluation of system performance
- 2022-02-09 14:45:14下载
- 积分:1
-
聚类算法全集以及内附数据集,可以方便使用。
聚类算法全集以及内附数据集,可以方便使用。-clustering algorithm and the Collected Works of containing data sets, it is convenient to use.
- 2022-07-14 12:52:35下载
- 积分:1
-
0 / 1背包问题是一个N P
0 / 1背包问题是一个N P-复杂问题,为了解决该问题,,将用回溯算法解决该问题。既然想选择一个对象的子集,将它们装入背包,以便获得的收益最大,则解空间应组织成子集树的形状(如图1 6 - 2所示)。该回溯算法与4 . 2节的装载问题很类似。首先形成一个递归算法,去找到可获得的最大收益。然后,对该算法加以改进,形成代码。改进后的代码可找到获得最大收益时包含在背包中的对象的集合。-0/1 knapsack problem is a P-complex issues, in order to solve the problem, and will be used backtracking algorithm to solve the problem. As to the choice of a subset of object, they will load a backpack, in order to obtain the greatest profits, the solution should be organized into space subset of the shape of the tree (Figure 1 6-2 below). The backtracking algorithms and 4. Two loading problem is very similar. Forming a recursive algorithm to get the maximum benefit available. Then, this algorithm is modified to form code. Improved code can be found at the maximum benefits included in the backpack of a collection of objects.
- 2022-02-26 09:06:08下载
- 积分:1
-
ACM被分为凸侧行算法
acm中划分凸边行算法-acm were divided into convex side trip Algorithm
- 2022-06-16 14:08:10下载
- 积分:1