sat-cnf-转换器
用于将布尔公式从 DIMACS SAT 转换为 DIMACS CNF 格式的小实用程序。 该计划是理学硕士论文“对布尔问题求解器的贡献”的一部分。
特征
MIT 许可
用C++语言编写
仅使用标准 C++ 库。 不需要额外的框架
编译测试适用于 Windows 和 Linux 系统
转换结果可能会被 UBCSAT、Sat4j、sharpSAT、RELSAT、RSat 等 SAT 求解器处理
建造
该项目是使用 Qt Creator 编写的。 在 Qt Creator 中打开文件“project.pro”并使用顶部菜单（“Build” - “Build Project”）或按 + 构建项目。
运行程序
假设程序名为“sat_to_cnf.exe”，输入文件名为“sample.sat”。
sat_to_cnf.exe sample.sat
如果
2022-05-11 11:11:36
45KB
1
大数据-算法-针对FPGA复杂可编程逻辑单元的快速布尔匹配方法研究.pdf
2022-05-08 14:07:24
4.91MB
实现了工程坐标及经纬度的转换、根据控制点求布尔沙公式参数、根据7参数或13参数，利用布尔沙公式实现坐标转换，经过测试，放心使用
2022-05-07 21:06:45
224KB
1
聚布尔
不到20行代码即可生成一个强大的多边形布尔库！ （不包括依赖项）与任何种类的多边形一起使用，结果对机器精度都是准确的，并且在任何情况下有效输入都不会崩溃或产生错误的输出。
例子
var polybool = require ( 'poly-bool' )
var a = [ [ [ - 1 , - 1 ] , [ - 1 , 1 ] , [ 1 , 1 ] , [ 1 , - 1 ] ] ]
var b = [ [ [ 0 , 0 ] , [ 0 , 2 ] , [ 2 , 2 ] , [ 2 , 0 ] ] ]
console . log ( polybool ( a , b , 'sub' ) )
输出
[ [ [ 1 , 1 ] , [ 1 , 0 ] , [ 2 , 0 ] , [ 2 , 2 ] , [ 0 , 2 ] , [ 0 , 1 ] ] ]
安装
npm
2022-05-06 23:29:55
3KB
1
布尔代数通用化简方法Quine-McCluskey算法的C++实现，可用于电子电路逻辑门设计的优化
2022-04-04 16:50:21
12KB
1
为了延长机械设备的使用寿命和避免因设备零件故障而带来的经济损失,提出了针对机械设备零件预防性更换的概念。介绍了机械零件的可靠度和失效率,将寿命分布函数威布尔分布引入到机械零件的平均寿命上,在此基础上提出了预防性更换策略。研究表明,对于机械零件寿命服从威布尔分布的零件,预防性更换策略对于机械零件可靠使用寿命以及准确合理的维修具有很大的指导意义。
2022-04-01 18:13:44
235KB
1