|
搜索
搜 索
高等教育領域數字化綜合服務平臺
面向CPS的時空數據模型
針對智慧城市、移動設備、工控系統等多個領域的CPS
多源異構時空大數據，提出了多種時序模式挖掘算法和時空
模型構建方法，并應用在軌跡預測、交通流預測、空氣質量
預測、用戶畫像、活動識別、異常行為檢測、網絡攻擊檢測
等多個任務中，并為“人機物”融合的數據驅動模型提供理
論與技術基礎。
浙江工業大學
2021-05-06
工業機器人應用CPS系統
基于CPS RTnet更新物理世界在信息世界的信息，通過MOM實現物理層的制造運營管理，能夠完整真實再現工業機器人應用系統。
復旦大學
2021-09-18
CPS紫外光快速成型機
用于模型和零件的快速制造。應用領域：家用電器、汽車制造、航天航空、船舶、工業設計模具加工等。以低成本的紫外光燈為光源，以光固化的原理，通過疊層制造的方法快速制造零件，掃描速度：20～500mm/s。工作精度±0.2mm。該成型機是首創使用低成本紫外光源燈替代激光發生器，光源價格僅相當于激光器的1/100，性能價格比高，是目前國內外價格最低的快速成型機，具有
西安交通大學
2021-01-12
微分代數時序動態邏輯的CPS屬性驗證方法
可有效用于對CPS進行系統建模、屬性規約和屬性驗證。
東南大學
2021-04-10
太陽系模型
450mm×250mm×300mm，八大行星模型，大致區分大小（直徑），有公轉軌道，可手動操作。
寧波華茂文教股份有限公司
2021-08-23
一種基于模型轉換的CPS建模與驗證方法
本發明提出了一種基于模型轉換的CPS建模與驗證方法，主要用于處理CPS建模與屬性驗證問題，本發明涉及到的關鍵操作包括：(1)采用HybridUML對CPS進行建模，并將所建HybridUML模型轉換為微分動態邏輯方法的操作模型混合程序Hybrid？Programs。(2)將得到的Hybrid？Programs根據定理證明器KeYmaera的輸入格式，生成輸入代碼，在KeYmaera中進行推理驗證。
東南大學
2021-04-10
基于HybridUML向微分代數程序轉換的CPS建模與驗證方法
本發明提出了一種基于HybridUML向微分代數程序轉換的CPS建模與驗證方法，實現了由HybridUML模型向DAP的轉換，并依據微分代數動態邏輯(Differential-AlgebraicDynamicLogic，DAL)推理規則對CPS實例進行驗證。該方法使用HybridUML對CPS進行建模，將其轉換成DAL的操作模型DAP，并且基于DAL對CPS屬性進行驗證。
東南大學
2021-04-10
溴系阻燃劑
山東兄弟科技股份有限公司
2021-08-31
54403太陽系圖書
寧波華茂文教股份有限公司
2021-08-23
太陽系演示儀
主要用于天文普及教學，能演示太陽系中太陽和九大行星等主要天體的相對位置、大小以及太陽系的結構關系。
蘇州育龍科教設備有限公司
2021-08-23