没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
二阶扩展Horn逻辑的复杂性和表达能力
二阶扩展Horn逻辑的复杂性和表达能力
研究论文
0 下载量
67 浏览量
2021-04-03
05:39:43
上传
评论
收藏
1.68MB
PDF
举报
温馨提示
立即下载
资源推荐
资源评论
基于Horn扩展逻辑的非否认协议建模与验证 (2012年)
浏览:90
该文首次提出使用Horn逻辑扩展模型验证非否认协议的非否认性和公平性的方法;使用Horn逻辑扩展模型的逻辑规则描述非否认协议中消息的传输过程,并基于 Horn逻辑扩展模型对协议的非否认性、公平性进行了建模,同时对参与协议的诚实主体、恶意主体、仲裁进行了建模,提出了针对非否认协议的验证算法;通过使用Horn逻辑扩展模型对Zhou-Gollmann协议进行验证,得到Witness和 Request事实
Horn逻辑.ppt
浏览:53
文档介绍了Horn集的概念和Horn逻辑的详细介绍,对了解Horn集上的语义归结和调换有一定帮助。
将描述逻辑和Horn规则与ARTIGENCE中的不确定性相结合
浏览:59
设计ARTIGENCE的目的不仅在于结合Horn规则和描述逻辑的表达能力,还在于其处理不确定性的能力。 第三,我们考虑ACLNR。 作为ARTIGENCE的描述逻辑组件,这是迄今为止具有可确定的推理过程的最具表现力的描述逻辑之一...
基于GAG的Horn逻辑分布式推导模型.pdf
浏览:158
#资源达人分享计划#
Horn-Schunck方法_Horn-Schunck算法_HornSchunckMethod_Horn-Schunck_光流算
浏览:54
光流算法:Horn-Schunck方法,效果不错。
基于GAG的Horn逻辑分布式推导模型 (2012年)
浏览:7
分布式逻辑推理是在网络环境下提供分布式智能服务的推理机制,提出了一个基于广义与或图(GAG)的Horn逻辑分布式推导模型.该模型可以清晰地表示变量约束,实现无须回溯的远程谓词调用, Horn逻辑中一次成功的推导在该...
Horn_Antennas_Horn_srd_antenna_waveguideantenna_
浏览:123
The horn antenna is widely used in thetransmission and reception of RF microwave signals. It isusually an assembly of flaring metal waveguide andantenna. Beyond the fundamental knowledge of ...
对视频目标进行光流提取,对比Lucas-Kanade和Horn-Schunck+matlab操作视频
浏览:177
5星 · 资源好评率100%
1.领域:matlab,Lucas-Kanade和Horn-Schunck算法 2.内容:对视频目标进行光流提取,对比Lucas-Kanade和Horn-Schunck+matlab操作视频 3.用处:用于Lucas-Kanade和Horn-Schunck算法编程学习 4.指向人群:本硕博等...
matlab.rar_Horn-Schunck matlab_Horn-Schunck算法_canny _optical net
浏览:5
Horn-Schunck 光流场 的经典算法,matlab程序,可直接用 联合开发网...
矩阵分析,horn著
浏览:41
4星 · 用户满意度95%
矩阵分析-horn,控制科学与工程一本不可或缺的书。其中涉及了,数值分析和矩阵处理内容,是交我自适应控制老师推荐给我的,拿来和大家分享!
Horn R A, Johnson C R, Matrix Analysis
浏览:36
4星 · 用户满意度95%
Horn R A, Johnson C R, Matrix Analysis
分别使用Horn-Schunck算法和Lucas-Kanade算法对双目图像进行光流提取+matlab操作视频
浏览:83
5星 · 资源好评率100%
1.领域:matlab,Horn-Schunck算法和Lucas-Kanade算法 2.内容:分别使用Horn-Schunck算法和Lucas-Kanade算法对双目图像进行光流提取+matlab操作视频 3.用处:用于Horn-Schunck算法和Lucas-Kanade算法编程学习 4....
逻辑谓词与Prolog
浏览:114
一阶谓词逻辑下的Horn 逻辑是人工智能程序语言Prolog 的理论基础,利用Prolog 在计算机 上可实现机械化,从而使自动化求解问题和定理证明具备可行性。
Aroon_Horn - MetaTrader 5脚本.zip
浏览:112
Aroon Horn 指标
Horn-Schunck Optical Flow Estimation Method
浏览:18
5星 · 资源好评率100%
Matlab code for Horn-Schunck method
矩阵分析-horn 中文版
浏览:161
4星 · 用户满意度95%
矩阵分析-horn 中文版 经典书籍 ,已经绝版 中文扫描版
金字塔Horn-Schunck光流算法实现
浏览:124
金字塔Horn-Schunck光流算法的实现,能够较好地解决大位移的问题。在VS2017下实现,并使用了OpenCV库,运行时,请自己设置项目的属性,添加OpenCV库。
行人惯性导航零速检测算法
浏览:16
行人惯性导航零速检测算法
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
浏览:17
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
基于CORDIC的反正弦和反余弦计算的FPGA实现
浏览:114
5星 · 资源好评率100%
基于CORDIC的反正弦和反余弦计算的FPGA实现
使用3DCNN和卷积LSTM进行手势识别学习时空特征
浏览:116
使用3DCNN和卷积LSTM进行手势识别学习时空特征
BA无标度网络中的SIR模型
浏览:119
BA无标度网络中的SIR模型
基于三次贝塞尔曲线的类汽车曲率连续路径平滑
浏览:134
本文重点研究在大型科学设施环境中工作的类似汽车的车辆的可行路径的生成。 考虑曲率连续性和最大曲率约束,一种新颖的路径平滑算法是根据三次贝塞尔曲线提出的。 在算法中,贝塞尔转弯和贝塞尔路径分别为发达。 Bezier 转弯首先设计用于连接两个任意配置。 然后可以通过以下方式获得贝塞尔路径使用贝塞尔曲线来拟合避免碰撞规划器提供的一系列目标点。 在算法的指导下,车辆可以以预定的方向到达目标点。 模拟实验进
基于机器学习的设备剩余寿命预测方法综述
浏览:154
基于机器学习的设备剩余寿命预测方法综述
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
浏览:163
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
基于FPGA的奇异值和特征值分解的快速实现。
浏览:22
基于FPGA的奇异值和特征值分解的快速实现。
基于BP神经网络的人口预测
浏览:95
基于BP神经网络的人口预测
无人机协同目标的多无人机协同搜索方法
浏览:181
无人机协同目标的多无人机协同搜索方法
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38737283
粉丝: 3
资源:
905
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
rabbitmq面试题.pdf
C语言实战:贪吃蛇.exe
GESPC++ 一级 集训第二课
TCP协议在物联网中的实战-基于AIoT平台的模拟器
GESP 一级 集训课ppt
IDEA如何查看JDK源码
dsdy-b4-v30003-1h.apk
NX二次开发uf5339 函数介绍
TCP三次握手四次挥手介绍.pdf
财务自由操作系统课程十周课程笔记 财富自由课程的笔记第七周.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功