色哟哟视频在线观看-色哟哟视频在线-色哟哟欧美15最新在线-色哟哟免费在线观看-国产l精品国产亚洲区在线观看-国产l精品国产亚洲区久久

電子發(fā)燒友App

硬聲App

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線課程
  • 觀看技術(shù)視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會員中心
創(chuàng)作中心

完善資料讓更多小伙伴認(rèn)識你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示
創(chuàng)作
電子發(fā)燒友網(wǎng)>電子資料下載>電子論文>嵌入式技術(shù)論文>LTL概率模型檢驗工具的實現(xiàn)與優(yōu)化

LTL概率模型檢驗工具的實現(xiàn)與優(yōu)化

2017-11-21 | rar | 0.44 MB | 次下載 | 免費

資料介紹

  概率模型檢驗建立在非概率模型檢驗技術(shù)的基礎(chǔ)上,不僅能夠?qū)ο到y(tǒng)進(jìn)行定性的驗證,還能夠定量判斷系統(tǒng)滿足相關(guān)性質(zhì)的概率,具有廣泛的適用性。LTL概率模型檢驗算法的復(fù)雜度較高,達(dá)到雙重指數(shù)級別,現(xiàn)有的工具如PRISM與MRMC均不支持對LTL性質(zhì)的驗證。針對這個問題,通過對原有的LTL概率模型檢驗算法進(jìn)行優(yōu)化,實現(xiàn)了一個高效的LTL概率模型檢驗工具。通過對比實驗驗證了該工具的有效性。

LTL概率模型檢驗工具的實現(xiàn)與優(yōu)化

下載該資料的人也在下載 下載該資料的人還在閱讀
更多 >

評論

查看更多

下載排行

本周

  1. 1DC電源插座圖紙
  2. 0.67 MB   |  2次下載  |  免費
  3. 2AN158 GD32VW553 Wi-Fi開發(fā)指南
  4. 1.51MB   |  2次下載  |  免費
  5. 3AN148 GD32VW553射頻硬件開發(fā)指南
  6. 2.07MB   |  1次下載  |  免費
  7. 4AN111-LTC3219用戶指南
  8. 84.32KB   |  次下載  |  免費
  9. 5AN153-用于電源系統(tǒng)管理的Linduino
  10. 1.38MB   |  次下載  |  免費
  11. 6AN-283: Σ-Δ型ADC和DAC[中文版]
  12. 677.86KB   |  次下載  |  免費
  13. 7SM2018E 支持可控硅調(diào)光線性恒流控制芯片
  14. 402.24 KB  |  次下載  |  免費
  15. 8AN-1308: 電流檢測放大器共模階躍響應(yīng)
  16. 545.42KB   |  次下載  |  免費

本月

  1. 1ADI高性能電源管理解決方案
  2. 2.43 MB   |  450次下載  |  免費
  3. 2免費開源CC3D飛控資料(電路圖&PCB源文件、BOM、
  4. 5.67 MB   |  138次下載  |  1 積分
  5. 3基于STM32單片機(jī)智能手環(huán)心率計步器體溫顯示設(shè)計
  6. 0.10 MB   |  130次下載  |  免費
  7. 4使用單片機(jī)實現(xiàn)七人表決器的程序和仿真資料免費下載
  8. 2.96 MB   |  44次下載  |  免費
  9. 53314A函數(shù)發(fā)生器維修手冊
  10. 16.30 MB   |  31次下載  |  免費
  11. 6美的電磁爐維修手冊大全
  12. 1.56 MB   |  24次下載  |  5 積分
  13. 7如何正確測試電源的紋波
  14. 0.36 MB   |  17次下載  |  免費
  15. 8感應(yīng)筆電路圖
  16. 0.06 MB   |  10次下載  |  免費

總榜

  1. 1matlab軟件下載入口
  2. 未知  |  935121次下載  |  10 積分
  3. 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
  4. 1.48MB  |  420062次下載  |  10 積分
  5. 3Altium DXP2002下載入口
  6. 未知  |  233088次下載  |  10 積分
  7. 4電路仿真軟件multisim 10.0免費下載
  8. 340992  |  191367次下載  |  10 積分
  9. 5十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
  10. 158M  |  183335次下載  |  10 積分
  11. 6labview8.5下載
  12. 未知  |  81581次下載  |  10 積分
  13. 7Keil工具M(jìn)DK-Arm免費下載
  14. 0.02 MB  |  73810次下載  |  10 積分
  15. 8LabVIEW 8.6下載
  16. 未知  |  65988次下載  |  10 積分
主站蜘蛛池模板: 成人无码精品1区2区3区免费看 | 日日摸夜夜添无码AVA片 | 性刺激欧美三级在线现看中文 | 国产一区二区在线观看免费 | 国产午夜精品一区二区三区 | 春药按摩人妻中文字幕 | 胸大美女又黄的网站 | 男女作爱在线播放免费网页版观看 | 狼人大香伊蕉国产WWW亚洲 | 男女做爽爽爽视频免费软件 | GAY东北澡堂激情2022 | 手机毛片在线观看 | 欧美eee114| 青青青青久久久久国产的 | 国产亚洲精品久久久久苍井松 | 强奷乱码欧妇女中文字幕熟女 | 99久久精品6在线播放 | 国产最猛性XXXX69交 | 免费观看美女的网站 | 999资源站 | 韩国精品无码少妇在线观看网站 | 外国三级片名 | 日韩欧美一区二区三区免费看 | 久久www免费人成_看片高清 | 日韩欧美一区二区三区在线视频 | 欧美精品AV精品一区视频 | 97国产成人精品免费视频 | 美女网站免费久久久久久久 | 浴室里强摁做开腿呻吟的漫画男男 | 日本粉嫩学生毛绒绒 | 国产成人a一在线观看 | 忘忧草日本在线WWW日本 | 色婷婷99综合久久久精品 | 成人在无码AV在线观看一 | 东北女人奶大毛多水多 | 女性性纵欲派对 | 国产精品一区二区在线观看 | 国产精品一国产精品免费 | 一区三区在线专区在线 | 边摸边吃奶玩乳尖视频 | 青青青青青青草 |