|
搜索
搜 索
高等教育領域數字化綜合服務平臺
面向CPS的時空數據模型
浙江工業大學
2021-05-06
一種基于模型轉換的CPS建模與驗證方法
東南大學
2021-04-10
微分代數時序動態邏輯的CPS屬性驗證方法
東南大學
2021-04-10
工業機器人應用CPS系統
復旦大學
2021-09-18
基于HybridUML向微分代數程序轉換的CPS建模與驗證方法
東南大學
2021-04-10
CPS紫外光快速成型機
西安交通大學
2021-01-12
基于HybridUML和定理證明的CPS自適應性驗證方法
東南大學
2021-04-10
基于發射分集的空移鍵控調制方法
電子科技大學
2021-04-10
鋰空電池及關鍵材料
廈門大學
2021-04-11
深空探測通信傳輸技術
哈爾濱工業大學
2021-04-14