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