電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
用戶可使用UML從不同角度對(duì)系統(tǒng)進(jìn)行建模，但不同視圖間存在信息冗余，可能導(dǎo)致視圖不一致問題。該文針對(duì)具有多種邏輯語義的順序圖提出分析方法，為復(fù)雜層次結(jié)構(gòu)的狀態(tài)圖引入有限狀態(tài)自動(dòng)機(jī)，利用自動(dòng)機(jī)分解算法得到自動(dòng)機(jī)樹。制定新的順序圖和狀態(tài)圖一致性檢查準(zhǔn)則和Promela代碼結(jié)構(gòu)，用模型檢驗(yàn)工具SPIN進(jìn)行順序圖及其相關(guān)狀態(tài)圖的一致性檢驗(yàn)。
關(guān)鍵詞：統(tǒng)一建模語言；模型檢驗(yàn)；有限狀態(tài)自動(dòng)機(jī)
關(guān)鍵詞：統(tǒng)一建模語言；模型檢驗(yàn)；有限狀態(tài)自動(dòng)機(jī)
UML
加入交流群
掃碼添加小助手
加入工程師交流群
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 基于無監(jiān)督空間一致性約束的心臟MRI分割 38次下載
- 基于改進(jìn)一致性的多無人機(jī)編隊(duì)控制算法 16次下載
- 基于業(yè)務(wù)目標(biāo)和業(yè)務(wù)場(chǎng)景的語義一致性驗(yàn)證方法 9次下載
- 管理基于Cortex?-M7的MCU的高速緩存一致性 5次下載
- 基于實(shí)時(shí)UML的雷達(dá)軟件設(shè)計(jì) 24次下載
- 如何使用實(shí)時(shí)UML的進(jìn)行雷達(dá)軟件的設(shè)計(jì) 20次下載
- 如何使用異質(zhì)多智能體系統(tǒng)進(jìn)行滯后一致性跟蹤控制 8次下載
- Cache一致性協(xié)議優(yōu)化研究 0次下載
- DSA系統(tǒng)的全局一致性需求分析 0次下載
- TTCN在TD-SCDMA終端RRM一致性測(cè)試系統(tǒng)中的應(yīng)用
- CMP中Cache一致性協(xié)議的驗(yàn)證
- LabVIEW狀態(tài)圖編程指南
- 汽車產(chǎn)品認(rèn)證中的一致性檢查
- 一致性規(guī)劃研究
- UML狀態(tài)圖在回歸測(cè)試中的應(yīng)用
- 有關(guān)100M、1000M以太網(wǎng)一致性測(cè)試問題探討交流 295次閱讀
- 異構(gòu)計(jì)算下緩存一致性的重要性 2.7k次閱讀
- Redis緩存與Mysql如何保證一致性？ 1.6k次閱讀
- 如何保證緩存一致性 2.3k次閱讀
- 如何解決數(shù)據(jù)庫與緩存一致性 1.8k次閱讀
- 如何進(jìn)行千兆以太網(wǎng)的一致性測(cè)試 2.2k次閱讀
- Dubbo負(fù)載均衡策略之一致性哈希 1.7k次閱讀
- 如何保障MySQL和Redis的數(shù)據(jù)一致性 1.4k次閱讀
- RTL與網(wǎng)表的一致性檢查 5.5k次閱讀
- MIPI D-PHY物理層自動(dòng)一致性測(cè)試 4.7k次閱讀
- EMC輻射測(cè)試中，一致性分析是一個(gè)很困難的任務(wù) 6.3k次閱讀
- 一致性哈希是什么？為什么它是可擴(kuò)展的分布式系統(tǒng)架構(gòu)的一個(gè)必要工具 4.9k次閱讀
- 探討發(fā)送端物理層一致性測(cè)試的含義，要素及目標(biāo)和趨勢(shì) 6.7k次閱讀
- 影響動(dòng)力電池一致性的因素分析以及6大解決措施 2.3w次閱讀
- 加速器一致性接口 4.4k次閱讀
上傳資料賺積分下載排行
本周
- 1MDD品牌三極管MMBT3906數(shù)據(jù)手冊(cè)
- 2.33 MB | 次下載 | 免費(fèi)
- 2MDD品牌三極管S9012數(shù)據(jù)手冊(cè)
- 2.62 MB | 次下載 | 免費(fèi)
- 3聯(lián)想flex2-14D/15D說明書
- 4.92 MB | 次下載 | 免費(fèi)
- 4收音環(huán)繞擴(kuò)音機(jī) AVR-1507手冊(cè)
- 2.50 MB | 次下載 | 免費(fèi)
- 524Pin Type-C連接器設(shè)計(jì)報(bào)告
- 1.06 MB | 次下載 | 免費(fèi)
- 6新一代網(wǎng)絡(luò)可視化（NPB 2.0）
- 3.40 MB | 次下載 | 免費(fèi)
- 7MS1000TA 超聲波測(cè)量模擬前端芯片技術(shù)手冊(cè)
- 0.60 MB | 次下載 | 免費(fèi)
- 8MS1022高精度時(shí)間測(cè)量(TDC)電路數(shù)據(jù)手冊(cè)
- 1.81 MB | 次下載 | 免費(fèi)
本月
- 1愛華AIWA HS-J202維修手冊(cè)
- 3.34 MB | 37次下載 | 免費(fèi)
- 2PC5502負(fù)載均流控制電路數(shù)據(jù)手冊(cè)
- 1.63 MB | 23次下載 | 免費(fèi)
- 3NB-IoT芯片廠商的資料說明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測(cè)距通信定位模塊規(guī)格書
- 838.47 KB | 5次下載 | 免費(fèi)
- 6技嘉H110主板IT8628E_BX IO電路圖資料
- 2.61 MB | 4次下載 | 1 積分
- 7蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 8100W準(zhǔn)諧振反激式恒流電源電路圖資料
- 0.09 MB | 2次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191439次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評(píng)論