没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
Deontic STIT逻辑,从逻辑悖论到安全策略
Deontic STIT逻辑,从逻辑悖论到安全策略
研究论文
0 下载量
10 浏览量
2021-03-09
13:27:14
上传
评论
收藏
290KB
PDF
举报
温馨提示
立即下载
Deontic STIT逻辑,从逻辑悖论到安全策略
资源推荐
资源评论
电子签约的逻辑模型-研究论文
浏览:178
签约是开展业务的重要方面。 电子合同利用电信和人工智能通过简化执行法律正确性的繁文tape节来改善合同流程。 为此,必须仔细了解合同和合同的基本... 提出了一个逻辑模型,该模型强调合同的时间,义务和执行方面。
deontic-logic.github.io
浏览:173
deontic-logic.github.io 项目和相关研究的存储库。
务实的可能性的不可逾越的道义逻辑-研究论文
浏览:180
我们介绍了Deontic Defeasible Logic的一种变体来处理务实的奇数问题。 关键思想是,仅当每个单独的义务独立于对其他义务的违反时,才允许使用合取义务。 该解决方案在保持可行的计算复杂性的同时,也充分利用了逻辑...
一种基于SDL的角色系统描述框架 (2008年)
浏览:155
将SDL(standard deontic logic)引入到角色管理系统,提出一种基于SDL的角色系统描述框架SBDF(SDL-based role system description frame).在该框架中,对系统中的角色进行分类.提供一系列的逻辑谓词,通过对各类...
Talos:由RPI的RAIR Labs设计的DCEC *的自动定理证明器,即Deontic认知事件演算
浏览:129
DCEC* 的自动定理证明器,在 RPI 的 RAIR 实验室设计的道义认知事件演算,可在此处找到: ://rair.cogsci.rpi.edu/projects/the-deontic-cognitive-event-calculus 这是建立在 SPASS 系统上的,可以在这里找到: : ...
Philosophical and Mathematical Logic (Springer原版超清)
浏览:132
The reader will not only be provided with an introduction to classical logic, but to philosophical (modal, epistemic, deontic, temporal) and intuitionistic logic as well. The first chapter is an easy
行人惯性导航零速检测算法
浏览:98
行人惯性导航零速检测算法
基于CORDIC的反正弦和反余弦计算的FPGA实现
浏览:170
5星 · 资源好评率100%
基于CORDIC的反正弦和反余弦计算的FPGA实现
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
浏览:176
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
BA无标度网络中的SIR模型
浏览:80
BA无标度网络中的SIR模型
使用3DCNN和卷积LSTM进行手势识别学习时空特征
浏览:14
使用3DCNN和卷积LSTM进行手势识别学习时空特征
基于三次贝塞尔曲线的类汽车曲率连续路径平滑
浏览:71
本文重点研究在大型科学设施环境中工作的类似汽车的车辆的可行路径的生成。 考虑曲率连续性和最大曲率约束,一种新颖的路径平滑算法是根据三次贝塞尔曲线提出的。 在算法中,贝塞尔转弯和贝塞尔路径分别为发达。 Bezier 转弯首先设计用于连接两个任意配置。 然后可以通过以下方式获得贝塞尔路径使用贝塞尔曲线来拟合避免碰撞规划器提供的一系列目标点。 在算法的指导下,车辆可以以预定的方向到达目标点。 模拟实验进
基于机器学习的设备剩余寿命预测方法综述
浏览:108
基于机器学习的设备剩余寿命预测方法综述
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
浏览:100
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
基于FPGA的奇异值和特征值分解的快速实现。
浏览:35
基于FPGA的奇异值和特征值分解的快速实现。
基于BP神经网络的人口预测
浏览:39
基于BP神经网络的人口预测
两轮平衡车的建模与控制研究
浏览:85
两轮平衡车的建模与控制研究
无人机协同目标的多无人机协同搜索方法
浏览:53
无人机协同目标的多无人机协同搜索方法
基于改进遗传算法的六自由度机器人时间最优轨迹规划
浏览:129
基于改进遗传算法的六自由度机器人时间最优轨迹规划
一种基于深度学习的机械臂抓取方法
浏览:44
一种基于深度学习的机械臂抓取方法
基于深度神经网络的交通流量预测
浏览:168
精确的预测结果可以为通勤者提供合理的出行建议,并进一步为交通管理提供帮助。现有的研究深入深度学习方法在时空特征提取方面已经有了显着的进展,诸如图卷积神经网络,长短期记忆网络模型等在此过程中发挥了重要的作用。而,仅将这些方法应用到具体的路网场景下的交通流量预测问题是不够合理的的,本文提出了一种优化的时空交通流量预测模型,将线图转换到道路交通拓扑结构的建造过程,并利用GCN实现了更有效的路网空间特征提
一种去除ECG中基线漂移和工频干扰的高效滤波方法
浏览:114
一种去除ECG中基线漂移和工频干扰的高效滤波方法
模式分类中的特征融合方法综述
浏览:147
模式分类中的特征融合方法综述
一种用于433MHz 射频发射前端的天线及相关电路设计
浏览:86
5星 · 资源好评率100%
一种用于433MHz 射频发射前端的天线及相关电路设计
适用于1-8GHz宽带应用的原始Vivaldi天线
浏览:72
适用于1-8GHz宽带应用的原始Vivaldi天线
基于稀疏贝叶斯学习的高效DOA估计方法
浏览:34
基于稀疏贝叶斯学习的高效DOA估计方法
基于卷积神经网络的路面裂缝检测
浏览:165
基于卷积神经网络的路面裂缝检测
亮度保持和细节增强的红外图像增强方法
浏览:79
针对红外图像对比度低和细节信息少的特性,提出一种能保持亮度和增强细节的方法。改进的自适应双边滤波将图像分成基本层和细节层,在基本层利用基于高斯混合模型的直方图规定化实现亮度保持,在细节层利用人眼视觉特性自适应选取增强函数来增强较弱细节并保护原图像中的清晰边缘不失真,再恢复到原来灰度空间。研究结果表明:该算法可保持整体明暗视觉效果,同时,原图像中较暗和较亮处的细节都可得到有效增强.
基于多目标优化算法的多无人机协同航迹规划
浏览:180
基于多目标优化算法的多无人机协同航迹规划
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38543950
粉丝: 6
资源:
874
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
2024-05-03_08-11-06.txt
基于object-c实现人脸识别活体检测眨眼检测ios源码.zip
Spermatid.apk
基于JSP植物知识分享论坛系统源码.zip
基于OPENCV 的全景图像拼接C++源码.zip
python二级电子教案-第2章-Python语言基本语法元素.ppt
python基础重点梳理笔记.doc
基于C++opencv实现全景图像拼接源码.zip
基于SIFT算法实现全景图像拼接python源码+项目说明.zip
1.py
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功