造價(jià)通
更新時(shí)間:2024.12.29
嵌入式建模中帶有時(shí)間擴(kuò)展的UML狀態(tài)圖的形式化方法

格式:pdf

大?。?span class="single-tag-height">406KB

頁數(shù): 3頁

面向?qū)ο蠼UZ言UML(Unified Modeling Language)已廣泛用于嵌入式系統(tǒng)建模,但它在嵌入式實(shí)時(shí)系統(tǒng)建模時(shí)存在概念模型形式化復(fù)雜和狀態(tài)圖對時(shí)間約束方面的建模功能不強(qiáng)的問題,針對這些問題,提出一種對UML狀態(tài)圖進(jìn)行時(shí)間擴(kuò)展的方法,并提出利用“可執(zhí)行UML”對帶有時(shí)間擴(kuò)展的UML狀態(tài)圖形式化的方法。

具有時(shí)間選擇性的熱磁式塑殼斷路器

格式:pdf

大?。?span class="single-tag-height">239KB

頁數(shù): 4頁

闡述了一種低成本、高可靠性的具有時(shí)間選擇性的熱磁式塑殼斷路器。它是在普通熱磁斷路器上安裝一套短路短延時(shí)保護(hù)裝置,可實(shí)現(xiàn)普通熱磁式塑殼斷路器的時(shí)間選擇性保護(hù),增強(qiáng)電網(wǎng)的可靠性,避免大面積停電。

熱門知識

招標(biāo)采購有沒有時(shí)間規(guī)定

精華知識

招標(biāo)采購有沒有時(shí)間規(guī)定

最新知識

招標(biāo)采購有沒有時(shí)間規(guī)定
點(diǎn)擊加載更多>>

相關(guān)問答

招標(biāo)采購有沒有時(shí)間規(guī)定
點(diǎn)擊加載更多>>
專題概述
招標(biāo)采購有沒有時(shí)間規(guī)定相關(guān)專題

分類檢索: