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