没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
一种基于SAT的C程序缓冲区溢出漏洞检测技术
一种基于SAT的C程序缓冲区溢出漏洞检测技术
研究论文
0 下载量
156 浏览量
2021-04-14
10:05:00
上传
评论
收藏
393KB
PDF
举报
温馨提示
立即下载
一种基于SAT的C程序缓冲区溢出漏洞检测技术
资源推荐
资源评论
论文研究-一种基于SAT的C程序缓冲区溢出漏洞检测技术 .pdf
浏览:130
一种基于SAT的C程序缓冲区溢出漏洞检测技术,陈石坤,李舟军,缓冲区溢出是C程序中很多安全问题的根源。本文给出一种基于SAT的C语言缓冲区溢出检测方法。该方法利用源代码变换技术,在程序源码�
基于SAT的数独游戏求解程序-数据结构课程设计报告.docx
浏览:177
5星 · 资源好评率100%
基于SAT的数独游戏求解程序-数据结构课程设计报告
基于C语言 实现 SAT 的数独游戏求解程序【100010778】
浏览:173
5星 · 资源好评率100%
本设计要求基于 DPLL 算法实现一个完备 SAT 求解器,对输入的 CNF 范式算例文件,解析并建立其内部表示;精心设计问题中变元、文字、子句、公式等有效的物理存储结构以及一定的分支变元处理策略,使求解器具有优化的...
基于sat的二进制数独游戏求解程序课程设计 .zip
浏览:116
华中科技大学计算机学院,程序设计综合课程,基于sat的二进制数独游戏求解程序,包括实验报告,源代码,部分求解结果,程序简单操作手册。
数据结构课设基于SAT的二进制数独游戏求解C++源码+课设报告+代码注释.zip
浏览:85
要求基于DPLL算法实现一个完备SAT求解器,对输入的CNF范式算例文件,解析并建立其内部表示;精心设计问题中变元、文字、子句、公式等有效的物理存储结构以及一定的分支变元处理策略,使求解器具有优化的执行性能;对...
基于SAT的数独游戏求解程序
浏览:121
本设计要求基于DPLL算法实现一个完备SAT求解器,对输入的CNF范式算例文件,解析并建立其内部表示;精心设计问题中变元、文字、子句、公式等有效的物理存储结构以及一定的分支变元处理策略,使求解器具有优化的执行...
论文研究-H-GRASP:一种基于GRASP改进的混合SAT解法器.pdf
浏览:27
与解决混合约束问题的其他两种方法——整数线性规划和纯基于SAT方法进行了彻底的比较。实验结果证明,H-GRASP方法从整体上大大减少了运行时间,加快了速度,同时还保证了加入这种方法的低耗费。
论文研究-一种基于信任模型的P2P快速搜索算法—SAT.pdf
浏览:5
针对如何高效准确地从海量的网络信息中搜索到所需的资源,分析了现有搜索算法的优缺点,结合P2P网络中的信任机制对源节点请求算法和中继节点的转发、响应算法进行改进,提出SAT搜索算法来提高搜索的成功率,并采取了...
基于C语言实现 SAT 的二进制数独游戏求解程序【100010544】
浏览:182
5星 · 资源好评率100%
输入输出功能:包括程序执行参数的输入,SAT 算例 cnf 文件的读取,执行结果的输出与文件保存等。(15%) 公式解析与验证:读取 cnf 算例文件,解析文件,基于一定的物理结构,建立公式的内部表示;并实现对解析正确...
基于 SAT 的数独游戏求解程序【100012345】
浏览:102
输入输出功能:包括程序执行参数的输入,SAT 算例 cnf 文件的读取,执行结果的输出与文件保存等。(15%) 公式解析与验证:读取 cnf 算例文件,解析文件,基于一定的物理结构,建立公式的内部表示;并实现对解析正确性...
基于SAT的ARX不可能差分和零相关区分器的自动化搜索.rar
浏览:113
5星 · 资源好评率100%
基于SAT的ARX不可能差分和零相关区分器的自动化搜索.rar
数独求解程序游戏设计报告书
浏览:24
4星 · 用户满意度95%
数独 sudoku 设计 报告 此报告为英文版,转自其他地方
基于 SAT 的二进制数独游戏求解程序的设计与实现(数据结构课设)【100012318】
浏览:141
实验完成了基于 SAT 的二进制数独游戏求解程序的设计与实现,要求具有如下功能: 输入输出功能:包括程序执行参数的输入,SAT 算例 cnf 文件的读取,执行结果的输出与文件保存等。(15%) 公式解析与验证:读取 cnf ...
论文研究-基于SAT的多目标故障测试向量动态压缩方法.pdf
浏览:6
针对传统的自动测试图形向量生成采用逐个求解单一故障模型导致生成测试向量数据量巨大的缺点, 提出一种基于布尔满足性(boolean satisfiability, SAT)的多目标故障测试向量动态压缩方法, 同时论证多目标故障测试生成...
论文研究-基于寻找可满足2SAT子问题的SAT算法.pdf
浏览:89
提出了一种求解SAT的新算法(FFSAT)。该算法将SAT问题转换为寻找一个可满足的2-SAT子问题。SAT问题虽然是NP完全问题,但是当所有子句长度不大于2时,SAT问题可以在线性时间求解。使用2-SAT算法-BinSat求解2-SAT子...
一种求解SAT问题的新方法
浏览:195
一种求解SAT问题的新方法。与大家分享。一种求解SAT问题的新方法。与大家分享。
基于DPLL算法的SAT问题求解器【100012387】
浏览:162
5星 · 资源好评率100%
是一个基于DPLL算法的SAT问题求解器。并且利用这个求解器,实现了求解数独游戏。在操作手册.txt中查看目标程序的使用方法。
基于SAT的二进制数独游戏求解程序
浏览:51
5星 · 资源好评率100%
基于DPLL算法实现一个完备SAT求解器,对输入的CNF范式算例文件,解析并建立其内部表示;精心设计问题中变元、文字、子句、公式等有效的物理存储结构以及一定的分支变元处理策略,使求解器具有优化的执行性能;对一定...
行人惯性导航零速检测算法
浏览:108
行人惯性导航零速检测算法
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
浏览:147
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
基于CORDIC的反正弦和反余弦计算的FPGA实现
浏览:67
5星 · 资源好评率100%
基于CORDIC的反正弦和反余弦计算的FPGA实现
使用3DCNN和卷积LSTM进行手势识别学习时空特征
浏览:189
使用3DCNN和卷积LSTM进行手势识别学习时空特征
BA无标度网络中的SIR模型
浏览:187
BA无标度网络中的SIR模型
基于三次贝塞尔曲线的类汽车曲率连续路径平滑
浏览:126
本文重点研究在大型科学设施环境中工作的类似汽车的车辆的可行路径的生成。 考虑曲率连续性和最大曲率约束,一种新颖的路径平滑算法是根据三次贝塞尔曲线提出的。 在算法中,贝塞尔转弯和贝塞尔路径分别为发达。 Bezier 转弯首先设计用于连接两个任意配置。 然后可以通过以下方式获得贝塞尔路径使用贝塞尔曲线来拟合避免碰撞规划器提供的一系列目标点。 在算法的指导下,车辆可以以预定的方向到达目标点。 模拟实验进
基于机器学习的设备剩余寿命预测方法综述
浏览:138
基于机器学习的设备剩余寿命预测方法综述
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
浏览:159
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
基于FPGA的奇异值和特征值分解的快速实现。
浏览:175
基于FPGA的奇异值和特征值分解的快速实现。
基于BP神经网络的人口预测
浏览:147
基于BP神经网络的人口预测
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38627826
粉丝: 5
资源:
939
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
1715529600000
1715625090345895_download.jsp
com.daikin.dchecker.apk
(源代码)基于numpy-stl操作stl文件-读取圆台z轴截面的周长
小米路由器3G-不死breed1.1-1.2版本
小米路由器G3-编程器备份full-eeprom.bin-miwifi-ssh.bin
剪映SRT字幕一键导出工具
m3u编辑器-editor(电脑版)
小灰熊字幕工具3.5 字幕编辑制作软件
魔音 Morin Ver3.5.8-Modified-v8a-黑鹰.apk
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功