嵌入式建模中帶有時間擴展的UML狀態(tài)圖的形式化方法
格式:pdf
大小:406KB
頁數(shù): 3頁
面向?qū)ο蠼UZ言UML(Unified Modeling Language)已廣泛用于嵌入式系統(tǒng)建模,但它在嵌入式實時系統(tǒng)建模時存在概念模型形式化復(fù)雜和狀態(tài)圖對時間約束方面的建模功能不強的問題,針對這些問題,提出一種對UML狀態(tài)圖進行時間擴展的方法,并提出利用“可執(zhí)行UML”對帶有時間擴展的UML狀態(tài)圖形式化的方法。
具有時間選擇性的熱磁式塑殼斷路器
大?。?span class="single-tag-height">239KB
頁數(shù): 4頁
闡述了一種低成本、高可靠性的具有時間選擇性的熱磁式塑殼斷路器。它是在普通熱磁斷路器上安裝一套短路短延時保護裝置,可實現(xiàn)普通熱磁式塑殼斷路器的時間選擇性保護,增強電網(wǎng)的可靠性,避免大面積停電。
免契稅有時間限制嗎知識來自于造價通云知平臺上百萬用戶的經(jīng)驗與心得交流。 注冊登錄 造價通即可以了解到相關(guān)免契稅有時間限制嗎最新的精華知識、熱門知識、相關(guān)問答、行業(yè)資訊及精品資料下載。同時,造價通還為您提供材價查詢、測算、詢價、云造價等建設(shè)行業(yè)領(lǐng)域優(yōu)質(zhì)服務(wù)。手機版訪問:免契稅有時間限制嗎
? 2006- www.bjltl.com.cn 粵ICP備08028283號 增值電信業(yè)務(wù)經(jīng)營許可證:粵B2-20090350