硬件
DPLL_SAT求解器
基于DPLL算法的SAT问题解法程序
建设中
2021/3/10修改了部分DPLL算法的核心内容，并加入了计时功能
2021/3/11加入真值表的打印功能，拟增加冲突子句的记录功能，即学习函数拟加强MOM策略，改进变元的选择策略
2021/3/12拟增加数独部分
2021-06-17 10:17:45
7KB
1
SAT问题即命题逻辑公式的可满足性问题（satisfiability problem），是计算机科学与人工智能基本问题，是一个典型的NP完全问题，可广泛应用于许多实际问题如硬件设计、安全协议验证等，具有重要理论意义与应用价值。本设计要求基于DPLL算法实现一个完备SAT求解器，对输入的CNF范式算例文件，解析并建立其内部表示；精心设计问题中变元、文字、子句、公式等有效的物理存储结构以及一定的分支变元处理策略，使求解器具有优化的执行性能；对一定规模的算例能有效求解，输出与文件保存求解结果，统计求解时间。
2021-06-17 09:56:05
1.7MB
1
在 matlab function模块中编写的饱和函数代码，可以直接移植到模块中，运行可靠，并且可以根据需求更改斜率。
2021-06-15 18:05:34
118B
1
以下为各操作相应博客地址
影像预处理
ENVI5.3.1使用Landsat 8影像进行辐射定标和大气校正实例操作
ENVI5.3.1使用Landsat 8影像进行图像镶嵌和图像裁剪实例操作
ENVI5.3.1使用Landsat 8影像进行图像融合
影像分析
ENVI5.3.1使用Landsat 8影像进行主成分分析实例操作
ENVI5.3.1使用Landsat 8影像进行NDVI计算实例操作
ENVI5.3.1使用Landsat 8影像进行灰度分割（密度分割）
ENVI5.3.1使用Landsat 8影像进行典型地物光谱简单分析实例操作
操作中遇到的问题解决方法
利用ENVI自带全球DEM数据
2021-05-08 15:45:33
28KB
1