技術(shù)編號：6273958
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細信息。本發(fā)明涉及計算機應(yīng)用，具體而言涉及一種轉(zhuǎn)換系統(tǒng)，適于將線性混成系統(tǒng)等價轉(zhuǎn)換至遷移系統(tǒng)。背景技術(shù)混成系統(tǒng)(Hybrid System)是一類既包含離散動態(tài)行為，又包含連續(xù)動態(tài)行為的復(fù)雜系統(tǒng)。隨著航天、汽車、機械控制等相關(guān)嵌入式領(lǐng)域的蓬勃發(fā)展，混成系統(tǒng)已遍布我們生活、工作的眾多方面。因此，對混成系統(tǒng)的研究體現(xiàn)出十分重要的現(xiàn)實意義，對混成系統(tǒng)的質(zhì)量保障也成為一項重要課題。目前，混成系統(tǒng)質(zhì)量保障的相關(guān)研究工作主要集中于系統(tǒng)的形式化驗證領(lǐng)域，包括系統(tǒng)的安全性(saf...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。