|
搜索
搜 索
高等教育領(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ù)中，并為“人機(jī)物”融合的數(shù)據(jù)驅(qū)動模型提供理
論與技術(shù)基礎(chǔ)。
浙江工業(yè)大學(xué)
2021-05-06
.jpg){kind=logo}
一種基于模型轉(zhuǎn)換的CPS建模與驗(yàn)證方法
本發(fā)明提出了一種基于模型轉(zhuǎn)換的CPS建模與驗(yàn)證方法，主要用于處理CPS建模與屬性驗(yàn)證問題，本發(fā)明涉及到的關(guān)鍵操作包括：(1)采用HybridUML對CPS進(jìn)行建模，并將所建HybridUML模型轉(zhuǎn)換為微分動態(tài)邏輯方法的操作模型混合程序Hybrid？Programs。(2)將得到的Hybrid？Programs根據(jù)定理證明器KeYmaera的輸入格式，生成輸入代碼，在KeYmaera中進(jìn)行推理驗(yàn)證。
東南大學(xué)
2021-04-10
結(jié)腸空回腸解剖模型XM-508
XM-508結(jié)腸空回腸解剖模型
?
XM-508結(jié)腸空回腸解剖模型由4部件構(gòu)成，顯示結(jié)腸、空腸、回腸的形態(tài)結(jié)構(gòu)及相互毗鄰關(guān)系。
尺寸：自然大，20×9×23cm
材質(zhì)：PVC材料
上海欣曼科教設(shè)備有限公司
2021-08-23
XM-508結(jié)腸空回腸解剖模型
XM-508結(jié)腸空回腸解剖模型
?
XM-508結(jié)腸空回腸解剖模型由4部件構(gòu)成，顯示結(jié)腸、空腸、回腸的形態(tài)結(jié)構(gòu)及相互毗鄰關(guān)系。
尺寸：自然大，20×9×23cm
材質(zhì)：PVC材料
上海欣曼科教設(shè)備有限公司
2021-08-23
微分代數(shù)時序動態(tài)邏輯的CPS屬性驗(yàn)證方法
可有效用于對CPS進(jìn)行系統(tǒng)建模、屬性規(guī)約和屬性驗(yàn)證。
東南大學(xué)
2021-04-10
旦大學(xué).jpg){kind=logo}
工業(yè)機(jī)器人應(yīng)用CPS系統(tǒng)
基于CPS RTnet更新物理世界在信息世界的信息，通過MOM實(shí)現(xiàn)物理層的制造運(yùn)營管理，能夠完整真實(shí)再現(xiàn)工業(yè)機(jī)器人應(yīng)用系統(tǒng)。
復(fù)旦大學(xué)
2021-09-18
基于HybridUML向微分代數(shù)程序轉(zhuǎn)換的CPS建模與驗(yàn)證方法
本發(fā)明提出了一種基于HybridUML向微分代數(shù)程序轉(zhuǎn)換的CPS建模與驗(yàn)證方法，實(shí)現(xiàn)了由HybridUML模型向DAP的轉(zhuǎn)換，并依據(jù)微分代數(shù)動態(tài)邏輯(Differential-AlgebraicDynamicLogic，DAL)推理規(guī)則對CPS實(shí)例進(jìn)行驗(yàn)證。該方法使用HybridUML對CPS進(jìn)行建模，將其轉(zhuǎn)換成DAL的操作模型DAP，并且基于DAL對CPS屬性進(jìn)行驗(yàn)證。
東南大學(xué)
2021-04-10
.jpg){kind=logo}
CPS紫外光快速成型機(jī)
用于模型和零件的快速制造。應(yīng)用領(lǐng)域：家用電器、汽車制造、航天航空、船舶、工業(yè)設(shè)計(jì)模具加工等。以低成本的紫外光燈為光源，以光固化的原理，通過疊層制造的方法快速制造零件，掃描速度：20～500mm/s。工作精度±0.2mm。該成型機(jī)是首創(chuàng)使用低成本紫外光源燈替代激光發(fā)生器，光源價(jià)格僅相當(dāng)于激光器的1/100，性能價(jià)格比高，是目前國內(nèi)外價(jià)格最低的快速成型機(jī)，具有
西安交通大學(xué)
2021-01-12
基于HybridUML和定理證明的CPS自適應(yīng)性驗(yàn)證方法
本發(fā)明提出一種基于HybridUML和定理證明的CPS自適應(yīng)性驗(yàn)證方法，本發(fā)明步驟包括：首先利用HybridUML視圖對CPS建模；然后將HybridUML規(guī)約轉(zhuǎn)換為定理證明器KeYmaera的輸入-量化混合程序QHP；結(jié)合生成的QHP，以量化微分動態(tài)邏輯QdL公式的形式對待驗(yàn)證的屬性進(jìn)行規(guī)約，然后利用KeYmaera進(jìn)行自動驗(yàn)證。
東南大學(xué)
2021-04-10
.jpg){kind=logo}
基于發(fā)射分集的空移鍵控調(diào)制方法
本發(fā)明公開了一種基于發(fā)射分集的空移鍵調(diào)制方法，本發(fā)明的方法在傳統(tǒng)的SSK調(diào)制基礎(chǔ)上，結(jié)合發(fā)射分集模式進(jìn)行傳輸和接收，在發(fā)射端采用多個時隙發(fā)送同一數(shù)據(jù)，在不同時隙內(nèi)采用不同的天線映射方式，同時利用不同時隙激活天線的發(fā)送符號組合承載一部分額外的數(shù)據(jù)信息，因此本發(fā)明的方法是一種基于空間分集的SSK調(diào)制傳輸方式。
電子科技大學(xué)
2021-04-10