復(fù)雜機(jī)電系統(tǒng)的軟件與物理統(tǒng)一的形式化功能分析

打開(kāi)文本圖片集

摘要：復(fù)雜機(jī)電系統(tǒng)的功能分析長(zhǎng)期以來(lái)主要關(guān)注物理子系統(tǒng)實(shí)現(xiàn)的連續(xù)物理變換，忽略了軟件子系統(tǒng)控制的物理過(guò)程之間的復(fù)雜執(zhí)行順序。針對(duì)這一挑戰(zhàn)，提出了一種軟件與物理統(tǒng)一的形式化功能表征與分析方法。對(duì)基于流的功能表示方法進(jìn)行擴(kuò)展，形成軟件與物理統(tǒng)一的形式化功能表征。在此基礎(chǔ)上，提出一種基于規(guī)則的功能分解方法，支持軟件與物理混合功能的自動(dòng)分解。（剩余16712字）