Microsoft Visio:雖然主要是圖表工具,但也可以用于簡單的系統(tǒng)建模,支持多種圖形和模板。Modelio:開源建模工具,支持UML...
從70年代末起,數(shù)學(xué)規(guī)劃開始用于制造系統(tǒng)建模,人們用整數(shù)規(guī)劃解決FMS中的任務(wù)分派問題,用動態(tài)規(guī)戈Ⅱ解決FMS運行中的問題,尤其是在某機器出...
系統(tǒng)設(shè)計與配置工具:用于定義和配置AUTOSAR系統(tǒng)的結(jié)構(gòu)和行為,包括軟件組件、接口、數(shù)據(jù)類型等。代碼生成工具:根據(jù)系統(tǒng)設(shè)計和配置自動生成符...
主要研究成果包括:1.混合關(guān)鍵性系統(tǒng)中的實時調(diào)度算法,共享資源同步協(xié)議與設(shè)計優(yōu)化技術(shù),用于混合關(guān)鍵性系統(tǒng)的安全認(rèn)證與硬件成本降低;2.分層內(nèi)...
甘茨軟件科技(上海)有限公司成立于2014年11月10日,注冊地位于上海市長寧區(qū)長寧路999號6樓6551室,法定代表人為劉欣。經(jīng)營范圍包括從事軟件科技、計算機信息科技領(lǐng)域內(nèi)的技術(shù)開發(fā)、技術(shù)咨詢、技術(shù)轉(zhuǎn)讓、技術(shù)服務(wù),計算機、軟件及輔助設(shè)備(除計算機信息系統(tǒng)安全產(chǎn)品)、機電設(shè)備、儀器儀表的批發(fā)、零售,從事貨物進出口及技術(shù)進出口業(yè)務(wù)?!疽婪毥?jīng)批準(zhǔn)的項目,經(jīng)相關(guān)部門批準(zhǔn)后方可開展經(jīng)營活動】甘茨軟件科技(上海)有限公司對外投資2家公司,具有1處分支機構(gòu)。