-
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
-
DELPHI FFT written procedures, the demonstration curve, convenient reference.
DELPHI写的FFT程序，有曲线的演示，方便大家参考。-DELPHI FFT written procedures, the demonstration curve, convenient reference.
- 2023-03-16 17:20:03下载
- 积分：1
-
V-Blast算法
它采用一种直接的天线与层的对应关系，即编码后的第k个子流直接送到第k根天线，不进行数据流与天线之间对应关系的周期改变。如图1.c所示，它的数据流在时间与空间上为连续的垂直列向量，称为V-BLAST(Vertical-BLAST)
- 2022-01-20 22:43:10下载
- 积分：1
-
99 秒计数器
99秒计数器控制器由程序计数器、指令寄存器、指令译码器、时序发生器和操作控制器等组成，是发布命令的“决策机构”，即协调和指挥整个微机系统的操作。其主要功能有：(1) 从内存中取出一条指令，并指出下一条指令在内存中的位置。(2) 对指令进行译码和测试，并产生相应的操作控制信号，以便于执行规定的动作。(3) 指挥并控制CPU、内存和输入输出设备之间数据流动的方向。微处理器内通过内部总线把ALU、计数器、寄存器和控制部分互联，并通过外部总线与外部的存储器、输入输出接口电路联接。外部总线又称为系统总线，分为数据总线DB、地址总线AB和控制总线CB。通过输入输出接口电路，实现与各种外围设备连接。
- 2022-03-07 05:04:03下载
- 积分：1
-
这事lanrange插值算法实例
这事lanrange插值算法实例-this interpolation algorithm examples lanrange
- 2022-03-10 20:26:05下载
- 积分：1
-
一种具有加、减、乘、除的能力。
A Fraction class that has the ability to add, subtract,multiply and divide .
- 2022-06-15 09:12:17下载
- 积分：1
-
TinyOS数据解析代码
针对TinyOS数据所写的代码，数据格式详情请参考http://tinyos.stanford.edu/tinyos-wiki/index.php/Main_Page
- 2022-07-24 14:40:38下载
- 积分：1
-
连通域提取算法
这个是纯C写的连通域提取算法，速度和效率相对较快，在算法中采用了八领域的关系来确定是否是同一个连通域，有用的朋友可以自行下载，可以用于自己的工程当中。
- 2022-01-25 20:14:52下载
- 积分：1
-
用几种规则控制倒立摆的模糊运动的程序
用几种规则控制倒立摆的模糊运动的程序-Several rules of fuzzy control of inverted pendulum movement procedures
- 2023-07-07 14:10:03下载
- 积分：1
-
基于Boosting 算法的人脸检测
基于Boosting 算法的人脸检测,需要opencv，具体运行参见Readme，主要用于人脸的智能识别，只需要输出一张图就可以准确的判断其图中是否含有人脸，人脸的适量，位置，以及大小。非常使用
- 2022-05-21 17:19:27下载
- 积分：1
