用多個時間自動機來規范模擬風洞試驗自動控制系統,給出了一種自動化的風洞試驗控制模型(CRW),并采用實時系統驗證工具Uppaal 對CRW 進行了驗證,證明了該模型具有安全性、有效性和可控性。
關注B站賬號,站內消息自動回復給您下載驗證碼。
前往 B站:半導體科技觀察
蟲蟲下載站版權所有 京ICP備2021023401號-1