色哟哟视频在线观看-色哟哟视频在线-色哟哟欧美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 積分
主站蜘蛛池模板: 日韩插啊免费视频在线观看 | 色狠狠AV老熟女 | 免费人成在线观看视频不卡 | 国产精品亚欧美一区二区三区 | 好大好硬好湿再深一点网站 | 国产成人精品三级在线 | 国精产品999一区二区三区有限 | 99久久精品费精品国产一区二 | 亚洲偷自拍精品视频在线观看 | 中文字幕va一区二区三区 | 欧美亚洲日本日韩在线 | 99手机在线视频 | 99视频在线免费 | 亚洲视频无码中字在线 | 日本xxxx96| 亚洲 欧美 视频 手机在线 | gogo亚洲肉体艺术照片9090 | 老师在讲桌下边h边讲课 | 幺妹视频福利视频 | 天天色天天干天天 | 国产精品欧美一区二区在线看 | 国产成人在线小视频 | 亚洲熟妇色自偷自拍另类 | 两个奶被男人揉了一个晚上 | 內射XXX韩国在线观看 | 国产AV国片精品无套内谢无码 | 乳液全集电影在线观看 | 国产二级一片内射视频播放 | 一本之道加勒比在线观看 | 亚洲熟伦熟女专区 | 韩国无遮羞禁动漫在线观看 | 成人性生交大片免费看4 | 天天狠狠弄夜夜狠狠躁·太爽了 | 幻女FREE性俄罗斯学生 | 中国女人精69xxxxxx视频 | 久久99re6国产在线播放 | 精品无码久久久久久国产百度 | 女神被调教成了精盆 | 国产成人精品永久免费视频 | 日本XXXXZZX片免费观看 | 扒开美女下面粉嫩粉嫩冒白浆 |