|
搜索
搜 索
高等教育領(lǐng)域數(shù)字化綜合服務(wù)平臺
大學(xué).jpg){kind=logo}
面向CPS的時空數(shù)據(jù)模型
浙江工業(yè)大學(xué)
2021-05-06
旦大學(xué).jpg){kind=logo}
工業(yè)機(jī)器人應(yīng)用CPS系統(tǒng)
復(fù)旦大學(xué)
2021-09-18
.jpg){kind=logo}
CPS紫外光快速成型機(jī)
西安交通大學(xué)
2021-01-12
.jpg){kind=logo}
微分代數(shù)時序動態(tài)邏輯的CPS屬性驗證方法
東南大學(xué)
2021-04-10
一種基于模型轉(zhuǎn)換的CPS建模與驗證方法
東南大學(xué)
2021-04-10
基于HybridUML向微分代數(shù)程序轉(zhuǎn)換的CPS建模與驗證方法
東南大學(xué)
2021-04-10
基于HybridUML和定理證明的CPS自適應(yīng)性驗證方法
東南大學(xué)
2021-04-10
.jpg){kind=logo}
一種基于指令域分析的數(shù)控機(jī)床工作過程 CPS 建模方法
華中科技大學(xué)
2021-04-14