没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
基于命题投影时序逻辑的单调速率调度算法模型检测
基于命题投影时序逻辑的单调速率调度算法模型检测
研究论文
0 下载量
133 浏览量
2021-02-24
03:18:38
上传
评论
收藏
298KB
PDF
举报
温馨提示
立即下载
基于命题投影时序逻辑的单调速率调度算法模型检测
资源推荐
资源评论
论文研究-基于命题投影时序逻辑的统一框架模型检查 .pdf
浏览:89
基于命题投影时序逻辑的统一框架模型检查,朱维军,段振华,统一逻辑语义框架验证方法有利于从规范到实现的逐步求精;区间时序逻辑具有表达区间语义的能力和更强大的并发描述能力。然而在统
Verilog程序的命题投影时序逻辑符号模型检测 (2014年)
浏览:142
为了保证以Verilog硬件描述语言设计的片上系统的正确性,提出了Verilog程序的符号模型检测方法.依据形式化操作语义将Verilog程序建模为有限状态机,将设计规范用命题投影时序逻辑公式描述,并采用命题投影时序逻辑符号模型检测工具对程序进行验证,从而证明片上系统满足设计规范.以Verilog 程序描述的四位同步二进制计数系统的验证实例表明,Verilog程序的命题投影时序逻辑符号模型检测方法
音视频-编解码-命题投影时序逻辑的判定性复杂性表达性及模型检测.pdf
浏览:123
音视频-编解码-命题投影时序逻辑的判定性复杂性表达性及模型检测.pdf
一种命题投影时序逻辑的分布式模型检测方法.pdf
浏览:189
#资源达人分享计划#
音视频-编解码-打结不变的命题投影时序逻辑与模型检测.pdf
浏览:167
音视频-编解码-打结不变的命题投影时序逻辑与模型检测.pdf
面向命题投影时序逻辑的安全协议模型检测
浏览:40
面向命题投影时序逻辑的安全协议模型检测
命题投影时序逻辑并发建模与自动验证 (2010年)
浏览:186
针对目前尚无模型检测方法对区间并发模型进行区间性质的自动验证的情况,采用命题投影时序逻辑中具有特定结构的一类公式来建立系统的区间并发模型,该逻辑的任意公式可以描述模型需要满足的区间性质,通过归约为已有...
论文研究-命题μ-演算局部模型检测高效算法设计.pdf
浏览:38
针对命题μ-演算局部模型检测算法的计算过程进行分析,得到迭代计算的中间迭代值间满足的一组偏序关系,然后利用该偏序关系设计了一个局部模型检测算法,算法时间复杂度的指数部分为[d2],大大提高了算法的计算效率...
论文研究-基于DNA计算的命题逻辑推理算法.pdf
浏览:191
通过讨论DNA计算的生物机理和表面DNA计算中的荧光标记策略的基本原理,利用表面DNA计算的思想,对数理逻辑中的命题推理进行了研究,给出了一种合适的DNA编码策略,提出了一种新的对一般的命题公式的推理算法。...
命题逻辑和谓词逻辑
浏览:177
对命题逻辑和谓词逻辑的核心归纳可以做到一目了然
论文研究-Decision Procedure for Propositional Projection Temporal Logic with Infinite Models.pdf
浏览:145
命题投影时序逻辑在无穷模型范围内的判定过程,段振华,田聪,本文研究命题投影时序逻辑 (PPTL) 在无穷模型下的可满足性的判定算法. 为此, 我们定义了PPTL公式的标准范式 (Normal Form) 和标准范式图 (Nor
支持Stutter-不变性的命题区间时序逻辑
浏览:34
支持Stutter-不变性的命题区间时序逻辑
区间时序逻辑的模型检查 (2009年)
浏览:44
利用这些规则 ,可以构造一个 chop-自动机 ,该自动机接受的语言恰是所有满足这个区间时序逻辑公式的模型的集合 .同时 ,定义了一套转换规则把一个 chop-自动机转换为一个标注有限状态自动机 ,使得它们接受相同的原子...
大数据-算法-基于命题逻辑的《伤寒论》方证理论体系研究.pdf
浏览:182
大数据-算法-基于命题逻辑的《伤寒论》方证理论体系研究.pdf
多智体系统时序认知规范的SPIN模型检测
浏览:16
本文着重讨论了如何利用 SPIN 模型检测线性时序认知逻辑的方法, 根据局部命题的理论, 将模型检 测 知 识 算 子 和 公 共 算 子 表 述 的 规 范 规 约 为 模 型 检 测 线 性 时 序 逻 辑 的 问 题, 从 而 使...
论文研究-Satisfiablity of Propositional Projection Temporal Logic.pdf
浏览:130
命题投影时序逻辑的可满足性,段振华,张丽,本文研究命题投影时序逻辑的可满足性的判定过程. 文中给出了该逻辑的语法,语义及该逻辑公式的标准范式.研究了该逻辑公式在有穷模��
芯片开发功能验证的形式化方法
浏览:92
提出一种新型验证设计模型和生成代码一致性的方法,该方法利用MSVL语言进行系统建模,并通过模型提取命题投影时序逻辑公式描述的系统的性质,通过统一模型检测的原理,验证模型是否满足性质的有效性.进而,应用信号灯控制...
具有圆柱计算模型的命题投影时间逻辑的完整公理系统
浏览:172
具有圆柱计算模型的命题投影时间逻辑的完整公理系统
命题投影时态逻辑与星的表达
浏览:5
命题投影时态逻辑与星的表达
行人惯性导航零速检测算法
浏览:194
行人惯性导航零速检测算法
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
浏览:105
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
基于CORDIC的反正弦和反余弦计算的FPGA实现
浏览:116
5星 · 资源好评率100%
基于CORDIC的反正弦和反余弦计算的FPGA实现
BA无标度网络中的SIR模型
浏览:29
BA无标度网络中的SIR模型
使用3DCNN和卷积LSTM进行手势识别学习时空特征
浏览:76
使用3DCNN和卷积LSTM进行手势识别学习时空特征
基于三次贝塞尔曲线的类汽车曲率连续路径平滑
浏览:109
本文重点研究在大型科学设施环境中工作的类似汽车的车辆的可行路径的生成。 考虑曲率连续性和最大曲率约束,一种新颖的路径平滑算法是根据三次贝塞尔曲线提出的。 在算法中,贝塞尔转弯和贝塞尔路径分别为发达。 Bezier 转弯首先设计用于连接两个任意配置。 然后可以通过以下方式获得贝塞尔路径使用贝塞尔曲线来拟合避免碰撞规划器提供的一系列目标点。 在算法的指导下,车辆可以以预定的方向到达目标点。 模拟实验进
基于机器学习的设备剩余寿命预测方法综述
浏览:34
基于机器学习的设备剩余寿命预测方法综述
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
浏览:65
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
基于FPGA的奇异值和特征值分解的快速实现。
浏览:75
基于FPGA的奇异值和特征值分解的快速实现。
基于BP神经网络的人口预测
浏览:37
基于BP神经网络的人口预测
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38668754
粉丝: 3
资源:
973
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
交易流水证明_用于材料证明_20240425_213223.zip
23215120613王祉琪web实验2.zip
Lafida多目(鱼眼)数据集2
基于BP神经网络的航迹跟踪(代码完整,数据齐全)
反光衣检测识别yolo模型
Lafida多目(鱼眼)数据集1
yolo车辆识别检测模型
Javaweb期末大作业游戏购物网站
webrtc peerconnection-client windows下运行不跳转到设备列表界面的问题
液晶显示器点阵取模软件
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功