|
搜索
搜 索
高等教育領域數字化綜合服務平臺
一種基于模型轉換的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
一種基于指令域分析的數控機床工作過程 CPS 建模方法
本發明公開來一種基于指令域分析的數控機床工作過程的 CPS 建模方法，包括如下步驟：(1)在數控機床執行工作任務前，確定事前 工作任務數據和事前制造資源數據；(2)采集數控機床工作過程中的內 部電控數據和外部傳感器數據，得到數控機床運行狀態數據、事中工 作任務數據以及事中制造資源數據；(3)將制造資源、工作任務作為輸 入，數控機床運行狀態作為輸出，在賽博空間建立相關映射關系，以 該映射關系作為數控機床工作過程的 CPS 模型，實現對數控機床工作 過程的 CPS 建模。本發明的方法通過制造資源數據和工
華中科技大學
2021-04-14
面向CPS的時空數據模型
針對智慧城市、移動設備、工控系統等多個領域的CPS
多源異構時空大數據，提出了多種時序模式挖掘算法和時空
模型構建方法，并應用在軌跡預測、交通流預測、空氣質量
預測、用戶畫像、活動識別、異常行為檢測、網絡攻擊檢測
等多個任務中，并為“人機物”融合的數據驅動模型提供理
論與技術基礎。
浙江工業大學
2021-05-06
工業機器人應用CPS系統
基于CPS RTnet更新物理世界在信息世界的信息，通過MOM實現物理層的制造運營管理，能夠完整真實再現工業機器人應用系統。
復旦大學
2021-09-18
3D快速建模系統
集成3D模型、視頻、圖片等各種素材，提供場景編輯、交互流程設定、渲染等功能，以實現3D模型自動重建的目標。
利用人工智能技術，構建模擬計算的算法和模型，根據數據實時進行仿真計算。
上傳一張圖片，可以在1分鐘以內快速生成三維模型素材。
上傳一段視頻，可以在1個小時以內快速生成精細紋理三維模型素材。
支持本地化部署，支持分布式部署建模，支持大批量用戶同時在線訪問。
可實現實體設計、草圖繪制、參數化建模和模型編輯功能。
支持導入*.glb、*.stl、*.obj、*.gltf格式模型。
可輸出*.glb、*.stl、*.obj、*.gltf格式模型。
全方位的3D場景，上下、左右、前后360度觀察模型所在環境，展示效果更逼真。
可以通過造型表面上的多個點來控制造型變形；
可對造型進行扭曲、折彎、錐度等多種變形處理。
可實現邊學習邊實操的教學模式，支持創建學習資源或教學課件。
可直接在軟件里拖曳云盤中的三維模型，也可以將軟件中模型直接上傳到云盤。
系統采用PBR材質，基于物理的著色技術，最大程度還原工作環境，提高用戶沉浸感；
采用LOD技術處理復雜場景的繪制，使軟件運行更加流暢，分層級處理系統渲染效果；
采用三維模型構建場景及物體，物體多邊形面數(poly)控制在≤30 萬面，基礎包大小＜50MB，支持多種分辨率(1280×720，1600×900，1920×1080)確保用戶體驗；
實訓場景內模型無閃面、重面、破面，不能有多邊面，保證場景演示無閃爍現象；
場景烘焙無曝光過度，無黑邊現象，采用PostProcess進行場景后處理，真實逼真；
虛擬人物滿足人設需求，著裝符合角色身份；
虛擬人物能自主控制，具有多種動作，動作自然，可模擬操作主要過程；
北京華視恒通信息技術有限公司
2024-06-20
CPS紫外光快速成型機
用于模型和零件的快速制造。應用領域：家用電器、汽車制造、航天航空、船舶、工業設計模具加工等。以低成本的紫外光燈為光源，以光固化的原理，通過疊層制造的方法快速制造零件，掃描速度：20～500mm/s。工作精度±0.2mm。該成型機是首創使用低成本紫外光源燈替代激光發生器，光源價格僅相當于激光器的1/100，性能價格比高，是目前國內外價格最低的快速成型機，具有
西安交通大學
2021-01-12
微分代數時序動態邏輯的CPS屬性驗證方法
可有效用于對CPS進行系統建模、屬性規約和屬性驗證。
東南大學
2021-04-10
基于HybridUML和定理證明的CPS自適應性驗證方法
本發明提出一種基于HybridUML和定理證明的CPS自適應性驗證方法，本發明步驟包括：首先利用HybridUML視圖對CPS建模；然后將HybridUML規約轉換為定理證明器KeYmaera的輸入-量化混合程序QHP；結合生成的QHP，以量化微分動態邏輯QdL公式的形式對待驗證的屬性進行規約，然后利用KeYmaera進行自動驗證。
東南大學
2021-04-10
多架構系統建模軟件
多架構建模軟件基于多架構統一建模語言KARMA開發。KARMA語言是一種可讀文本式語言，多架構建模指在軟件中采用一種建模語言及技術實現多種架構描述及表達的方法。基于KARMA語言，可以實現基于模型系統工程相關語言建模，架構驅動，代碼生成，系統行為動態描述，指標分析及驗證，數值分析，支持數據顯示化（表格，甘特圖）、二維固定語法展示及三維固定可視化建模，與工業本體的互轉化。
本項目可解決航空、航天、防務、船舶等領域復雜裝備研制過程中存在的子系統多、不同部門人員專業語言不通、開發溝通過程困難等問題。用戶在基于模型的軟件工具環境中，高效的建立各種專業模型，進而實現復雜裝備產品開發過程中的自動化開發。
使用本項目不僅可以在系統開發的早期階段形式化其需求、功能、邏輯、架構等視點，還可以在系統方案初步確認前的概念設計階段檢查系統設計是否滿足需求規范，從而極大地降低產品開發的成本與風險。
本項目相較目前市場上現有產品，支持更多建模功能，并可兼容十余種建模語言，具有良好的可擴展性。
北京理工大學
2022-10-24