没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
有穷时间投影时序逻辑的完备公理系统
有穷时间投影时序逻辑的完备公理系统
研究论文
0 下载量
35 浏览量
2021-02-23
00:18:43
上传
评论
收藏
243KB
PDF
举报
温馨提示
立即下载
有穷时间投影时序逻辑的完备公理系统
资源推荐
资源评论
具有圆柱计算模型的命题投影时间逻辑的完整公理系统
浏览:75
具有圆柱计算模型的命题投影时间逻辑的完整公理系统
基于时间区间时序逻辑的实时系统统一模型检测
浏览:77
基于时间区间时序逻辑的实时系统统一模型检测
投影时序逻辑在系统建模中的应用 (2010年)
浏览:38
目的 为了解决形式化验证时需要分别使用不同工具进行系统建模和性质描述的问题。方法 利用投影时序逻辑PTL(projection temporal logic)在同一逻辑框架内完成待验证系统的建模和性质的描述。结果 对PTL投影操作符的特点和用途进行了详细分析,并结合实例展示了PTL系统建模的使用。结论 PTL具备强大的表达能力,可广泛的应用于各类软硬件系统的验证。
论文研究-基于并发投影时序逻辑模型检测的入侵检测方法 .pdf
浏览:127
基于并发投影时序逻辑模型检测的入侵检测方法,朱维军,陈建辉,基于投影时序逻辑模型检测的入侵检测方法具有描述网络入侵者分段攻击的能力,然而对并发攻击仍无能为力,因为该逻辑无法直接描述
利用投影时序逻辑的多内核进程调度建模与验证.pdf
浏览:180
利用投影时序逻辑的多内核进程调度建模与验证.pdf
论文研究-基于命题投影时序逻辑的统一框架模型检查 .pdf
浏览:138
基于命题投影时序逻辑的统一框架模型检查,朱维军,段振华,统一逻辑语义框架验证方法有利于从规范到实现的逐步求精;区间时序逻辑具有表达区间语义的能力和更强大的并发描述能力。然而在统
音视频-编解码-打结不变的命题投影时序逻辑与模型检测.pdf
浏览:168
音视频-编解码-打结不变的命题投影时序逻辑与模型检测.pdf
音视频-编解码-命题投影时序逻辑的判定性复杂性表达性及模型检测.pdf
浏览:49
音视频-编解码-命题投影时序逻辑的判定性复杂性表达性及模型检测.pdf
基于命题投影时序逻辑的单调速率调度算法模型检测
浏览:67
基于命题投影时序逻辑的单调速率调度算法模型检测
Verilog程序的命题投影时序逻辑符号模型检测 (2014年)
浏览:197
依据形式化操作语义将Verilog程序建模为有限状态机,将设计规范用命题投影时序逻辑公式描述,并采用命题投影时序逻辑符号模型检测工具对程序进行验证,从而证明片上系统满足设计规范.以Verilog 程序描述的四位同步二...
基于扩展投影时序逻辑的组合Web服务描述与验证 (2007年)
浏览:115
针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征,对投影时序逻辑进行了扩展,并用扩展投影时序逻辑描述和验证组合Web服务。将组合Web服务视为一个基于过程的工作流,将工作流引擎与组合Web服务组成...
命题投影时序逻辑并发建模与自动验证 (2010年)
浏览:98
采用命题投影时序逻辑中具有特定结构的一类公式来建立系统的区间并发模型,该逻辑的任意公式可以描述模型需要满足的区间性质,通过归约为已有的逻辑公式可满足性判定算法,证明了命题投影时序逻辑统一框架模型检测是...
一种命题投影时序逻辑的分布式模型检测方法.pdf
浏览:44
#资源达人分享计划#
利用投影时序逻辑的多内核进程调度建模与验证 (2010年)
浏览:197
针对软件测试无法满足多内核处理器上进程调度的验证需要这一问题,提出利用投影时序逻辑(PTL)的定理证明方法来验证进程调度。使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S,并将...
面向命题投影时序逻辑的安全协议模型检测
浏览:201
面向命题投影时序逻辑的安全协议模型检测
框架投影时序逻辑程序设计语言中的指针 (2008年)
浏览:150
针对框架投影时序逻辑程序设计语言Framed Tempura,提出了一种形式化指针及其实现的新方法。该方法扩展了投影时序逻辑,基于名字常量给出了指针引用和反引用的形式化定义,再使用框架操作符和极小模型,给出了指针在...
利用投影时序逻辑的多内核进程调度建模与验证
浏览:143
利用投影时序逻辑的多内核进程调度建模与验证
面向对象的时序逻辑语言 (2009年)
浏览:164
针对时序逻辑语言缺少面向对象概念的现状, 对投影时序逻辑进行了扩展, 介绍了新的语法和语义。在扩展投影时序逻辑中, 基于变量集合的层次化和谓词的分组, 给出了对象、类和继承等概念的形式化定义。扩展投影时序逻辑...
投影时态逻辑程序的公理语义
浏览:163
投影时态逻辑程序的公理语义
桌面融合系统 投影融合系统
浏览:192
桌面投影融合系统 ,如果有需求请联系本人
行人惯性导航零速检测算法
浏览:20
行人惯性导航零速检测算法
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
浏览:44
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
基于CORDIC的反正弦和反余弦计算的FPGA实现
浏览:55
5星 · 资源好评率100%
基于CORDIC的反正弦和反余弦计算的FPGA实现
使用3DCNN和卷积LSTM进行手势识别学习时空特征
浏览:41
使用3DCNN和卷积LSTM进行手势识别学习时空特征
BA无标度网络中的SIR模型
浏览:67
BA无标度网络中的SIR模型
基于三次贝塞尔曲线的类汽车曲率连续路径平滑
浏览:110
本文重点研究在大型科学设施环境中工作的类似汽车的车辆的可行路径的生成。 考虑曲率连续性和最大曲率约束,一种新颖的路径平滑算法是根据三次贝塞尔曲线提出的。 在算法中,贝塞尔转弯和贝塞尔路径分别为发达。 Bezier 转弯首先设计用于连接两个任意配置。 然后可以通过以下方式获得贝塞尔路径使用贝塞尔曲线来拟合避免碰撞规划器提供的一系列目标点。 在算法的指导下,车辆可以以预定的方向到达目标点。 模拟实验进
基于机器学习的设备剩余寿命预测方法综述
浏览:85
基于机器学习的设备剩余寿命预测方法综述
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
浏览:201
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
基于FPGA的奇异值和特征值分解的快速实现。
浏览:41
基于FPGA的奇异值和特征值分解的快速实现。
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38548817
粉丝: 3
资源:
917
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
基于Java+mysql 实现的食品公司管理系统(进销存)课程设计(课程设计报告+报告PPT+源码)
大创项目-中医药知识图谱构建.rar
尚硅谷IDEA的安装与使用
智慧环保数字化转型方案
FSCapture轻巧方便可以截滚动窗口截长图录屏的多功能免费截图软件
2024全球AI现状报告
第九届全国大学生GIS技能应用大赛上午试题
中国移动:对算力网络新型智算和开放DPU发展的思考和实践
计算机网络 现代通信组网相关的教程案例.zip
6G内生AI的架构思考
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功