|
搜索
搜 索
高等教育領域數字化綜合服務平臺
大學.jpg){kind=logo}
面向CPS的時空數據模型
針對智慧城市、移動設備、工控系統(tǒng)等多個領域的CPS
多源異構時空大數據，提出了多種時序模式挖掘算法和時空
模型構建方法，并應用在軌跡預測、交通流預測、空氣質量
預測、用戶畫像、活動識別、異常行為檢測、網絡攻擊檢測
等多個任務中，并為“人機物”融合的數據驅動模型提供理
論與技術基礎。
浙江工業(yè)大學
2021-05-06
工業(yè)機器人應用CPS系統(tǒng)
基于CPS RTnet更新物理世界在信息世界的信息，通過MOM實現(xiàn)物理層的制造運營管理，能夠完整真實再現(xiàn)工業(yè)機器人應用系統(tǒng)。
復旦大學
2021-09-18
CPS紫外光快速成型機
用于模型和零件的快速制造。應用領域：家用電器、汽車制造、航天航空、船舶、工業(yè)設計模具加工等。以低成本的紫外光燈為光源，以光固化的原理，通過疊層制造的方法快速制造零件，掃描速度：20～500mm/s。工作精度±0.2mm。該成型機是首創(chuàng)使用低成本紫外光源燈替代激光發(fā)生器，光源價格僅相當于激光器的1/100，性能價格比高，是目前國內外價格最低的快速成型機，具有
西安交通大學
2021-01-12
微分代數時序動態(tài)邏輯的CPS屬性驗證方法
可有效用于對CPS進行系統(tǒng)建模、屬性規(guī)約和屬性驗證。
東南大學
2021-04-10
一種基于模型轉換的CPS建模與驗證方法
本發(fā)明提出了一種基于模型轉換的CPS建模與驗證方法，主要用于處理CPS建模與屬性驗證問題，本發(fā)明涉及到的關鍵操作包括：(1)采用HybridUML對CPS進行建模，并將所建HybridUML模型轉換為微分動態(tài)邏輯方法的操作模型混合程序Hybrid？Programs。(2)將得到的Hybrid？Programs根據定理證明器KeYmaera的輸入格式，生成輸入代碼，在KeYmaera中進行推理驗證。
東南大學
2021-04-10
基于HybridUML向微分代數程序轉換的CPS建模與驗證方法
本發(fā)明提出了一種基于HybridUML向微分代數程序轉換的CPS建模與驗證方法，實現(xiàn)了由HybridUML模型向DAP的轉換，并依據微分代數動態(tài)邏輯(Differential-AlgebraicDynamicLogic，DAL)推理規(guī)則對CPS實例進行驗證。該方法使用HybridUML對CPS進行建模，將其轉換成DAL的操作模型DAP，并且基于DAL對CPS屬性進行驗證。
東南大學
2021-04-10
基于HybridUML和定理證明的CPS自適應性驗證方法
本發(fā)明提出一種基于HybridUML和定理證明的CPS自適應性驗證方法，本發(fā)明步驟包括：首先利用HybridUML視圖對CPS建模；然后將HybridUML規(guī)約轉換為定理證明器KeYmaera的輸入-量化混合程序QHP；結合生成的QHP，以量化微分動態(tài)邏輯QdL公式的形式對待驗證的屬性進行規(guī)約，然后利用KeYmaera進行自動驗證。
東南大學
2021-04-10
一種基于指令域分析的數控機床工作過程 CPS 建模方法
本發(fā)明公開來一種基于指令域分析的數控機床工作過程的 CPS 建模方法，包括如下步驟：(1)在數控機床執(zhí)行工作任務前，確定事前 工作任務數據和事前制造資源數據；(2)采集數控機床工作過程中的內 部電控數據和外部傳感器數據，得到數控機床運行狀態(tài)數據、事中工 作任務數據以及事中制造資源數據；(3)將制造資源、工作任務作為輸 入，數控機床運行狀態(tài)作為輸出，在賽博空間建立相關映射關系，以 該映射關系作為數控機床工作過程的 CPS 模型，實現(xiàn)對數控機床工作 過程的 CPS 建模。本發(fā)明的方法通過制造資源數據和工
華中科技大學
2021-04-14