没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
不可满足子式在谓词抽象中的应用与分析
不可满足子式在谓词抽象中的应用与分析
研究论文
0 下载量
61 浏览量
2021-04-02
05:56:58
上传
评论
收藏
1.48MB
PDF
举报
温馨提示
立即下载
不可满足子式在谓词抽象中的应用与分析
资源推荐
资源评论
SQL-SELECT语句中谓词分析与应用.pdf
浏览:6
SQL-SELECT语句中谓词分析与应用.pdf
针对Java语言中间形式的谓词抽象算法 (1).pdf
浏览:2
谓词抽象是解决软件模型检查中状态空间爆炸的最有效方法之一,针对java语言面向对象的特性,描述了一种对java程序语言中间形式的谓词抽象算法,该算法将java程序抽象成为布尔程序,抽象过程中处理的java数据结构包括:...
通过谓词抽象自动验证Golog程序
浏览:34
通过谓词抽象自动验证Golog程序
逻辑谓词与Prolog
浏览:12
一阶谓词逻辑下的Horn 逻辑是人工智能程序语言Prolog 的理论基础,利用Prolog 在计算机 上可实现机械化,从而使自动化求解问题和定理证明具备可行性。
基于谓词抽象的测试用例约简生成方法
浏览:79
基于谓词抽象的测试用例约简生成方法
人工智能导论:第五章 谓词演算及应用
浏览:16
人工智能导论:第五章 谓词演算及应用
谓词逻辑与推理
浏览:84
谓词逻辑推理,人工智能的基本理论,为人工智能系统的开发奠定了一定的理论基础
人工智能导论:第五章 谓词演算及应用.ppt
浏览:85
人工智能导论:第五章 谓词演算及应用.ppt
第二章 谓词逻辑与归结原理
浏览:117
人工智能课件,关于谓词逻辑与归结原理,在学习了离散数学的基础上,进一步深入的学习谓词逻辑,掌握人工智能的初步知识
SQL查询相关技术(常用SQL查询技术、比较逻辑运算符查询、SQL关键字查询、表结构与性能、时间与谓词、聚合函数、子查询与连接查询、交叉表、常用数据操作高级应用、试图存储过程和触发器的使用)
浏览:179
5星 · 资源好评率100%
常用SQL查询技术、比较逻辑运算符查询、SQL关键字查询、表结构与性能、时间与谓词、聚合函数、子查询与连接查询、交叉表、常用数据操作高级应用、试图存储过程和触发器的使用。。。。。。。
论文研究-分簇结构高效谓词机制及编译优化方法.pdf
浏览:86
谓词执行是在控制流存在的条件下可以有效挖掘指令级并行性的硬件机制,而在分簇结构上实现谓词机制,可以提高分簇结构上条件的执行效率。针对分簇结构展开谓词体系结构的研究,提出了分簇结构部分谓词的高效实现方法...
谓词逻辑离散数学
浏览:81
谓词逻辑离散数学
离散数学 谓词逻辑
浏览:69
离散数学 谓词逻辑 PPT 基础 有用 好好学习
第二章_谓词逻辑1
浏览:147
第 2 章谓词逻辑命题逻辑对于反映在自然语言中的逻辑思维进行了精确的形式化描述,能够对一些比较复杂的逻辑推理,用形式化方法进行分析。在命题逻辑中,把命题分解到原
基于谓词逻辑的归结原理实验
浏览:59
加深对归结原理进行定理证明过程的理解,掌握基于谓词逻辑的归结过程中子句变换过程、替换与合一算法即归结策略等重要环节,进一步了解实 现机器自动定理证明的步骤。 采用C++
怀宁方言亲属称谓词特征分析
浏览:70
怀宁方言亲属称谓词特征分析
命题逻辑与谓词逻辑PPT课件.pptx
浏览:134
命题逻辑与谓词逻辑PPT课件.pptx
人工智能课件:第三章 谓词逻辑与搜索原理.pdf
浏览:41
人工智能课件:第三章 谓词逻辑与搜索原理.pdf
行人惯性导航零速检测算法
浏览:112
行人惯性导航零速检测算法
基于CORDIC的反正弦和反余弦计算的FPGA实现
浏览:97
5星 · 资源好评率100%
基于CORDIC的反正弦和反余弦计算的FPGA实现
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
浏览:2
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
BA无标度网络中的SIR模型
浏览:109
BA无标度网络中的SIR模型
使用3DCNN和卷积LSTM进行手势识别学习时空特征
浏览:12
使用3DCNN和卷积LSTM进行手势识别学习时空特征
基于三次贝塞尔曲线的类汽车曲率连续路径平滑
浏览:153
本文重点研究在大型科学设施环境中工作的类似汽车的车辆的可行路径的生成。 考虑曲率连续性和最大曲率约束,一种新颖的路径平滑算法是根据三次贝塞尔曲线提出的。 在算法中,贝塞尔转弯和贝塞尔路径分别为发达。 Bezier 转弯首先设计用于连接两个任意配置。 然后可以通过以下方式获得贝塞尔路径使用贝塞尔曲线来拟合避免碰撞规划器提供的一系列目标点。 在算法的指导下,车辆可以以预定的方向到达目标点。 模拟实验进
基于机器学习的设备剩余寿命预测方法综述
浏览:129
基于机器学习的设备剩余寿命预测方法综述
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
浏览:78
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
基于FPGA的奇异值和特征值分解的快速实现。
浏览:62
基于FPGA的奇异值和特征值分解的快速实现。
基于BP神经网络的人口预测
浏览:97
基于BP神经网络的人口预测
无人机协同目标的多无人机协同搜索方法
浏览:15
无人机协同目标的多无人机协同搜索方法
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38748207
粉丝: 7
资源:
917
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
英语词汇学习用软件-保存单词含义例句等
lineage vender
Magisk模块-神仙自动救砖-支持OTA稳定(救砖模块可刷可不刷).apk
lineage source f
lineage boot file
选修课并行计算实验报告
cc语言文件读写操作代码tion-model-for-network-开发笔记
c语言连接两个字符串JavaWeb-mast开发笔记
web期末作业设计网页-mast开发笔记
通信仿真on-model-for-netwo开发笔记
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功