-
HybirdSat求解器smt
开源的的smt求解器，用于求解约束集的可满足性，能够支持位向量的求解，速度还算不错。
- 2022-02-20 09:49:11下载
- 积分：1
-
先序遍历的非递归算法
先序遍历的非递归算法-preorder non- recursive algorithm
- 2023-07-17 08:50:03下载
- 积分：1
-
安全通信
应用背景客户端和服务器的C共享一个对称密钥KCS，这关键是唯一已知的服务器和客户端。这是长期密钥是用来设置一个会话密钥，而这个会话密钥则是由服务器发送一个秘密的对客户的价值：关键技术通信安全 ； ；AES ；欧洲央行pkcs5 ；
- 2023-03-22 15:30:02下载
- 积分：1
-
用最小二乘法拟和数据，得到一条最接近所给数据的直线
用最小二乘法拟和数据，得到一条最接近所给数据的直线-least squares method to be used and the data obtained by one closest to the straight-line data
- 2022-06-03 03:34:17下载
- 积分：1
-
use demon data feature extraction C Programming Language, welcomed the exchange
利用demon数据进行特征提取的C语言程序，欢迎交流-use demon data feature extraction C Programming Language, welcomed the exchange
- 2022-06-21 03:29:58下载
- 积分：1
-
51贪吃蛇程序
应用背景（2）蛇的运动
此程序的关键就在于蛇的移动。游戏在进入界面后，在没有执行任何操作的情况下，蛇沿着原来的方向以某一速度前行。若蛇在水平方向上前行，操作者按向左或向右的键，此时该指令判为无效，蛇继续沿着原来水平的方向前行。同样的道理，若蛇在竖直的方向上前行，操作者按向上或向下的键，此时该指令也判为无效，蛇继续沿着原来竖直的方向前行。关键技术图形的驱动，首先是由detectgraph通过检测硬件确定图形驱动程序和模式，然后把自动测试硬件的结果赋给图形驱动器。不同的显示器适配器有不同的图形分辨率。即是同一显示器适配器, 在不同模式下也有不同分辨率。因此, 在屏幕作图之前, 必须根据显示器适配器种类将显示器设置成为某种图形模式, 在未设置图形模式之前,微机系统默认屏幕为文本模式(80列, 25行字符模式), 此时所有图形函数均不能工作。再由initgraph()函数，根据测试结果初始化图形。
- 2023-02-02 18:30:04下载
- 积分：1
-
一个模拟树木生长的程序
一个模拟树木生长的程序-a simulated tree growth procedures
- 2022-03-04 19:01:44下载
- 积分：1
-
运动驱动程序版本6.1
移动驱动器6.1版本，支持MPU9250，MPU9150，MPU6050，STM32与MSP430平台上的MPU6500。
- 2022-03-04 02:02:11下载
- 积分：1
-
Zju2112 Dynamic Rankings
- 2023-03-30 15:35:03下载
- 积分：1
-
TPS变形算法、线性插值、最近邻插值算法
应用背景线性插值、最近邻插值算法,自己写的代码，可以作为参考实现opencv里cvresize的功能，可以应用在图像变形后插值不成功的点，效果不错，根据实际情况选择算法。TPS变形算法应用于图像变形，矫正摄像机畸变。关键技术线性插值、最近邻插值算法，都是自己写的，可以作为参考实现opencv里cvresize的功能，TPS薄板样条函数变形算法应用于图像变形，真的蛮实用的，希望可以帮到你。TPS就是一种插值方法，它寻找一个通过所有的控制点的弯曲最小的光滑曲面；就像一个薄铁板，通过所给定的几个“样条”（比如木条），铁板表面是光滑的。
- 2022-01-22 11:00:18下载
- 积分：1
