|
搜索
搜 索
高等教育領域數字化綜合服務平臺
面向CPS的時空數據模型
針對智慧城市、移動設備、工控系統等多個領域的CPS
多源異構時空大數據，提出了多種時序模式挖掘算法和時空
模型構建方法，并應用在軌跡預測、交通流預測、空氣質量
預測、用戶畫像、活動識別、異常行為檢測、網絡攻擊檢測
等多個任務中，并為“人機物”融合的數據驅動模型提供理
論與技術基礎。
浙江工業大學
2021-05-06
一種基于模型轉換的CPS建模與驗證方法
本發明提出了一種基于模型轉換的CPS建模與驗證方法，主要用于處理CPS建模與屬性驗證問題，本發明涉及到的關鍵操作包括：(1)采用HybridUML對CPS進行建模，并將所建HybridUML模型轉換為微分動態邏輯方法的操作模型混合程序Hybrid？Programs。(2)將得到的Hybrid？Programs根據定理證明器KeYmaera的輸入格式，生成輸入代碼，在KeYmaera中進行推理驗證。
東南大學
2021-04-10
結腸空回腸解剖模型XM-508
XM-508結腸空回腸解剖模型
?
XM-508結腸空回腸解剖模型由4部件構成，顯示結腸、空腸、回腸的形態結構及相互毗鄰關系。
尺寸：自然大，20×9×23cm
材質：PVC材料
上海欣曼科教設備有限公司
2021-08-23
XM-508結腸空回腸解剖模型
XM-508結腸空回腸解剖模型
?
XM-508結腸空回腸解剖模型由4部件構成，顯示結腸、空腸、回腸的形態結構及相互毗鄰關系。
尺寸：自然大，20×9×23cm
材質：PVC材料
上海欣曼科教設備有限公司
2021-08-23
微分代數時序動態邏輯的CPS屬性驗證方法
可有效用于對CPS進行系統建模、屬性規約和屬性驗證。
東南大學
2021-04-10
工業機器人應用CPS系統
基于CPS RTnet更新物理世界在信息世界的信息，通過MOM實現物理層的制造運營管理，能夠完整真實再現工業機器人應用系統。
復旦大學
2021-09-18
基于HybridUML向微分代數程序轉換的CPS建模與驗證方法
本發明提出了一種基于HybridUML向微分代數程序轉換的CPS建模與驗證方法，實現了由HybridUML模型向DAP的轉換，并依據微分代數動態邏輯(Differential-AlgebraicDynamicLogic，DAL)推理規則對CPS實例進行驗證。該方法使用HybridUML對CPS進行建模，將其轉換成DAL的操作模型DAP，并且基于DAL對CPS屬性進行驗證。
東南大學
2021-04-10
CPS紫外光快速成型機
用于模型和零件的快速制造。應用領域：家用電器、汽車制造、航天航空、船舶、工業設計模具加工等。以低成本的紫外光燈為光源，以光固化的原理，通過疊層制造的方法快速制造零件，掃描速度：20～500mm/s。工作精度±0.2mm。該成型機是首創使用低成本紫外光源燈替代激光發生器，光源價格僅相當于激光器的1/100，性能價格比高，是目前國內外價格最低的快速成型機，具有
西安交通大學
2021-01-12
基于HybridUML和定理證明的CPS自適應性驗證方法
本發明提出一種基于HybridUML和定理證明的CPS自適應性驗證方法，本發明步驟包括：首先利用HybridUML視圖對CPS建模；然后將HybridUML規約轉換為定理證明器KeYmaera的輸入-量化混合程序QHP；結合生成的QHP，以量化微分動態邏輯QdL公式的形式對待驗證的屬性進行規約，然后利用KeYmaera進行自動驗證。
東南大學
2021-04-10
基于發射分集的空移鍵控調制方法
本發明公開了一種基于發射分集的空移鍵調制方法，本發明的方法在傳統的SSK調制基礎上，結合發射分集模式進行傳輸和接收，在發射端采用多個時隙發送同一數據，在不同時隙內采用不同的天線映射方式，同時利用不同時隙激活天線的發送符號組合承載一部分額外的數據信息，因此本發明的方法是一種基于空間分集的SSK調制傳輸方式。
電子科技大學
2021-04-10