電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問(wèn) 
發(fā)資料
發(fā)視頻基于線性時(shí)態(tài)邏輯的Petri網(wǎng)模型檢測(cè)研究
2009-08-31 |
rar |
336 |
次下載 |
5積分
資料介紹
線性時(shí)態(tài)邏輯Petri 網(wǎng)結(jié)合了Petri 網(wǎng)和時(shí)序邏輯的優(yōu)點(diǎn)，清晰簡(jiǎn)潔的描述并發(fā)系
統(tǒng)事件間的時(shí)序和因果關(guān)系，包括系統(tǒng)的活性和安全性。其中自動(dòng)機(jī)的體積是模型檢驗(yàn)的一個(gè)關(guān)鍵性問(wèn)題，為了得到盡可能小體積的自動(dòng)機(jī)，在LTL 公式轉(zhuǎn)換為Büchi 自動(dòng)機(jī)之前，對(duì)LTL 公式進(jìn)行預(yù)處理來(lái)減少冗余，然后通過(guò)布爾技術(shù)優(yōu)化自動(dòng)機(jī)。
統(tǒng)事件間的時(shí)序和因果關(guān)系，包括系統(tǒng)的活性和安全性。其中自動(dòng)機(jī)的體積是模型檢驗(yàn)的一個(gè)關(guān)鍵性問(wèn)題，為了得到盡可能小體積的自動(dòng)機(jī)，在LTL 公式轉(zhuǎn)換為Büchi 自動(dòng)機(jī)之前，對(duì)LTL 公式進(jìn)行預(yù)處理來(lái)減少冗余，然后通過(guò)布爾技術(shù)優(yōu)化自動(dòng)機(jī)。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 广义可能性模糊时态计算树逻辑的模型检测4次下载
- 基于度量线性时态逻辑与安全性综述5次下载
- 可检测实时系统的正确性的符号化模型6次下载
- 基于时间Petri网的并发系统建模分析方法0次下载
- 随机函数Petri网的动力学关联分析模型0次下载
- Petri网在计费系统中的应用研究_侯煜0次下载
- Petri网在PLC程序设计中的应用23次下载
- Petri网分析方法综述18次下载
- 基于Petri网推理的监控视频19次下载
- 基于组合着色Petri网的空间复合事件检测机制13次下载
- 基于Petri网的煤矿企业电子商务模型研究9次下载
- 基于对象Petri网的研究导弹作战效能评估的方法0次下载
- 一类混杂系统Petri网模型的优化算法的研究17次下载
- 基于Petri 网的工作流逻辑化简规则的矩阵表示15次下载
- 基于树型Petri网的网格资源调度模型24次下载
- 高压放大器基于线性F-P腔在CH4气体检测中的应用540次阅读
- 射频功率放大器在纺织复合材料研究中的应用687次阅读
- lp模型的要素、组成部分及特征1893次阅读
- 基于DiAD扩散模型的多类异常检测工作2209次阅读
- 如何基于深度学习模型训练实现圆检测与圆心位置预测2850次阅读
- 大型语言模型的逻辑推理能力探究1447次阅读
- 基于多模态学习的虚假新闻检测研究3213次阅读
- 软件漏洞检测场景中的深度学习模型实证研究977次阅读
- 使用三种稳健线性回归模型处理异常值9943次阅读
- 逻辑架构模型开发概念原则详解4925次阅读
- 机器学习线性模型训练：线性回归和逻辑回归2010次阅读
- 基于六反相器4069的逻辑检测探头电路5252次阅读
- 掌握logistic regression模型，有必要先了解线性回归模型和梯度下降法7862次阅读
- 线性光耦隔离检测电压电路详解83646次阅读
- 用TL431制作TTL逻辑电平检测电路8151次阅读
上傳資料賺積分 广告![]()
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說(shuō)明
- 4.28 MB | 18次下載 | 4 積分
- 5開(kāi)關(guān)電源原理及各功能電路詳解
- 0.38 MB | 11次下載 | 免費(fèi)
- 6100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 7基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專(zhuān)業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開(kāi)關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評(píng)論