-
walksat 找到一种令人满意的 cnf 公式模型
Walksat 规格
Walksat 试图找到一种令人满意的 cnf 公式模型。
格式是.cnf 格式：
c 在文件的开头的可选注释。
c"p"行指定 cnf 格式、 编号 var、 数字通则
c 变量的编号从 1 开始的
c 每个子句结束与 0
p cnf 3 2
1-3 0
2 3-1 0
Walksat 读取从标准中 （或从作为命令指定的文件
线参数） 并将写入到标准输出 （和标准错误）。 到
获取的命令行选项，类型列表
walksat-帮助
（或其他任何非法的选项）。
- 2023-04-14 06:25:03下载
- 积分：1
-
this Runge
这事龙格-库塔解围分方程算法实例-this Runge- Kutta raise siege equation algorithm examples
- 2023-03-24 13:25:03下载
- 积分：1
-
实验数据的等距五点三次平滑
一. 功能 用五点三次平滑公式., 对等距节点上的实验数据进行平滑,力争消除随机误差的影响, 提高实验数据的质量 ....
实验数据的等距五点三次平滑
一. 功能 用五点三次平滑公式., 对等距节点上的实验数据进行平滑,力争消除随机误差的影响, 提高实验数据的质量 .-experimental data smoothing offset a 5.3 times. Functional with 5.3 times smoothing formula. The equidistant nodes on the experimental data smoothing, and strive to eliminate the impact of random error, improve the quality of experimental data.
- 2022-04-23 19:48:39下载
- 积分：1
-
算10000以内数阶乘的C语言程序
算10000以内数阶乘的C语言程序-count 10,000 factorial within the C Programming Language
- 2022-03-14 06:28:32下载
- 积分：1
-
0v7670实现寻捡网球机器人
应用背景可用于物体的识别跟踪。寻捡。实现视觉跟踪。关键技术网球的识别与跟踪。寻找中心，进行中心的扩散，确定网球的边界以及中心，并在LCD显示。以新的中心进行扩散。不断实现网球的跟踪。学校一门课程最后做的寻捡网球机器人，0v7670采集图像，处理pwm控制电机进行跟踪，最后通过多次判断寻捡网球条件，驱动舵机捡起网球。
- 2022-06-17 20:12:11下载
- 积分：1
-
Least Soft-thresold Squares Tracking
we propose a generative tracking method based on a novel robust linear regression algorithm. In con-
trast to existing methods, the proposed Least Soft-thresold Squares (LSS) algorithm models the error term with the
Gaussian-Laplacian distribution, which can be solved ef- ficiently. Based on maximum joint likelihood of parameters,
we derive a LSS distance to measure the difference between an observation sample and the dictionary. Compared with
the distance derived from ordinary least squares methods, the proposed metric is more effective
- 2022-03-22 17:30:20下载
- 积分：1
-
Kalman filtering, introduced the word document, there are five important kalman...
介绍kalman filtering 的word文档，里面有关于kalman filtering五个重要公式的详细推导过程，对于初学者理解kalman filtering相当有用-Kalman filtering, introduced the word document, there are five important kalman filtering on a detailed formula derivation process, kalman filtering for beginners to understand very useful
- 2022-01-25 22:09:52下载
- 积分：1
-
1个LZW算法
一个LZW算法的实现，自带界面，可以压缩图片，文本文件等，还可以查看压缩率，压缩时间等
- 2022-07-18 05:21:01下载
- 积分：1
-
rgb转yuv420sp
一个考题，参照网上一些算法，实现了3种算法，并做比较。
然后再看看还有没有更大的优化空间，比如汇编，最好用NEON。
- 2022-05-07 18:18:06下载
- 积分：1
-
对称算法AES
高级加密标准（Advanced Encryption Standard，AES），在密码学中又称Rijndael加密法，是美国联邦政府采用的一种 请点击左侧文件开始预览 ！预览只提供20%的代码片段，完整代码需下载后查看 加载中 侵权举报
- 2022-07-10 03:25:38下载
- 积分：1
