没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
关于不变口吃PLTL的注意事项
关于不变口吃PLTL的注意事项
研究论文
0 下载量
165 浏览量
2021-02-23
14:59:54
上传
评论
收藏
86KB
PDF
举报
温馨提示
立即下载
关于不变口吃PLTL的注意事项
资源推荐
资源评论
通过NFG从PLTL转换为自动机
浏览:4
通过NFG从PLTL转换为自动机
并发系统性质验证的一种形式化方法* (1999年)
浏览:177
采用Manna和Pnueli提出的命题线性时态逻辑PLTL作为并发系统的形式化规约语言、用PLTL公式描述系统的性质,给出并发系统性质验证的一种模型检验算法。
实时系统的一种定量时态逻辑描述方法 (1999年)
浏览:19
针对Manna-Pnueli命题线性时态逻辑(PLTL)在描述实时性方面的不足,本文扩充PLTL,引入物理时间因子,提出一种用于实时系统的定量时态逻辑;并给出一个实例——监视器计时网(WIN)的定量时态逻辑描述。
Construction:软件构造LTL生成器
浏览:32
输入数量后,程序将针对Pltl,Qltl,Rltl询问相同的问题。 然后程序将要求用户选择“全局范围”的类型。 全局范围1#缺少P 2#存在P 3#Q响应P 4#Q严格优先Pc 5#Q严格优先Pe 6#Q优先Pc * 7
MIRACH-开源
浏览:130
我们正在开发MIRACH,这是一种基于PLTL形式主义的生物途径模型统计在线模型检查器,用于表达要检查的规则/属性。 MIRACH当前可以检查用CSML或SBML编写的路径模型。
行人惯性导航零速检测算法
浏览:117
行人惯性导航零速检测算法
基于CORDIC的反正弦和反余弦计算的FPGA实现
浏览:50
5星 · 资源好评率100%
基于CORDIC的反正弦和反余弦计算的FPGA实现
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
浏览:200
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
BA无标度网络中的SIR模型
浏览:97
BA无标度网络中的SIR模型
使用3DCNN和卷积LSTM进行手势识别学习时空特征
浏览:144
使用3DCNN和卷积LSTM进行手势识别学习时空特征
基于三次贝塞尔曲线的类汽车曲率连续路径平滑
浏览:137
本文重点研究在大型科学设施环境中工作的类似汽车的车辆的可行路径的生成。 考虑曲率连续性和最大曲率约束,一种新颖的路径平滑算法是根据三次贝塞尔曲线提出的。 在算法中,贝塞尔转弯和贝塞尔路径分别为发达。 Bezier 转弯首先设计用于连接两个任意配置。 然后可以通过以下方式获得贝塞尔路径使用贝塞尔曲线来拟合避免碰撞规划器提供的一系列目标点。 在算法的指导下,车辆可以以预定的方向到达目标点。 模拟实验进
基于机器学习的设备剩余寿命预测方法综述
浏览:172
基于机器学习的设备剩余寿命预测方法综述
基于开源工具集的大数据网络安全态势感知及预警架构
浏览:188
基于开源工具集的大数据网络安全态势感知及预警架构
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
浏览:144
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
基于FPGA的奇异值和特征值分解的快速实现。
浏览:176
基于FPGA的奇异值和特征值分解的快速实现。
基于BP神经网络的人口预测
浏览:197
基于BP神经网络的人口预测
两轮平衡车的建模与控制研究
浏览:12
两轮平衡车的建模与控制研究
无人机协同目标的多无人机协同搜索方法
浏览:45
无人机协同目标的多无人机协同搜索方法
基于改进遗传算法的六自由度机器人时间最优轨迹规划
浏览:26
基于改进遗传算法的六自由度机器人时间最优轨迹规划
一种基于深度学习的机械臂抓取方法
浏览:104
一种基于深度学习的机械臂抓取方法
基于深度神经网络的交通流量预测
浏览:75
精确的预测结果可以为通勤者提供合理的出行建议,并进一步为交通管理提供帮助。现有的研究深入深度学习方法在时空特征提取方面已经有了显着的进展,诸如图卷积神经网络,长短期记忆网络模型等在此过程中发挥了重要的作用。而,仅将这些方法应用到具体的路网场景下的交通流量预测问题是不够合理的的,本文提出了一种优化的时空交通流量预测模型,将线图转换到道路交通拓扑结构的建造过程,并利用GCN实现了更有效的路网空间特征提
一种去除ECG中基线漂移和工频干扰的高效滤波方法
浏览:99
一种去除ECG中基线漂移和工频干扰的高效滤波方法
模式分类中的特征融合方法综述
浏览:58
模式分类中的特征融合方法综述
适用于1-8GHz宽带应用的原始Vivaldi天线
浏览:187
适用于1-8GHz宽带应用的原始Vivaldi天线
一种用于433MHz 射频发射前端的天线及相关电路设计
浏览:34
5星 · 资源好评率100%
一种用于433MHz 射频发射前端的天线及相关电路设计
基于稀疏贝叶斯学习的高效DOA估计方法
浏览:149
基于稀疏贝叶斯学习的高效DOA估计方法
基于卷积神经网络的路面裂缝检测
浏览:193
基于卷积神经网络的路面裂缝检测
亮度保持和细节增强的红外图像增强方法
浏览:14
针对红外图像对比度低和细节信息少的特性,提出一种能保持亮度和增强细节的方法。改进的自适应双边滤波将图像分成基本层和细节层,在基本层利用基于高斯混合模型的直方图规定化实现亮度保持,在细节层利用人眼视觉特性自适应选取增强函数来增强较弱细节并保护原图像中的清晰边缘不失真,再恢复到原来灰度空间。研究结果表明:该算法可保持整体明暗视觉效果,同时,原图像中较暗和较亮处的细节都可得到有效增强.
基于多目标优化算法的多无人机协同航迹规划
浏览:58
基于多目标优化算法的多无人机协同航迹规划
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38698433
粉丝: 4
资源:
969
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
贪心算法解决活动选择问题源码
4_base.apk.1
杨辉三角源码,java文件
PDF转PPT工具,实现批量将文件夹下的PDF转化为PPT
如何使用 Gitea 搭建图床
打印杨辉三角 Java程序源码
jizu3.cod
JVM+Java程序运行过程内存分配图解
爬虫开发大纲资料.txt
stm大纲资料.txt
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功