|
搜索
搜 索
高等教育領域數字化綜合服務平臺
一種基于模型轉換的CPS建模與驗證方法
本發明提出了一種基于模型轉換的CPS建模與驗證方法，主要用于處理CPS建模與屬性驗證問題，本發明涉及到的關鍵操作包括：(1)采用HybridUML對CPS進行建模，并將所建HybridUML模型轉換為微分動態邏輯方法的操作模型混合程序Hybrid？Programs。(2)將得到的Hybrid？Programs根據定理證明器KeYmaera的輸入格式，生成輸入代碼，在KeYmaera中進行推理驗證。
東南大學
2021-04-10
一種湍流邊界層載荷模型的等效方法
本發明公開了一種湍流邊界層載荷模型的等效方法，包括如下步驟：（１）湍流邊界層載荷模型經等效后形成等效完全隨機面壓載荷模型；（２）確定所述等效完全隨機面壓載荷模型的等效相關函數的量級；（３）確定結構彎曲波長及湍流邊界層載荷特征波長，進而計算一致性頻率，在此基礎上確定等效隨機面壓載荷模型的適用頻率范圍。本發明提供的一種湍流邊界層載荷模型的等效方法，是一種將湍流邊界層載荷模型等效為完全隨機面壓載荷模型的技術，該技術可有效降低湍流邊界層載荷作用下結構動響應分析的計算量，縮短設計周期，節約設計成本。
東南大學
2021-04-11
連鑄二冷配水模型及自動控制技術
連鑄二次冷卻對鑄坯的表面與內部質量具有顯著的影響。欲得到優質鑄坯，重要的是合理地控制澆鑄過程鑄坯溫度，而連鑄二冷配水的目的是均勻冷卻鑄坯，使鑄坯表面溫度保持在允許的范圍內，對提高連鑄坯的質量好連鑄生產具有重要的作用。原冶金部科技司將此項目列為“八五”攻關課題“大型連鑄機自動控制系統的研究開發”中一個重要研究課題，主要是以濟鋼板坯連鑄機而冷控制為研究對象，應用二維傳熱數學模型，建立了板坯連鑄機二冷配水計算模型，編制了二冷配水計算軟件，完成了對不同鋼種和斷面的連鑄冷卻的配水計算和控制系統，實現了對連鑄而冷水在線控制。 本項目主要用在板坯、矩形坯、方坯連鑄機二冷配水控制系統，結合現場具體條件，利用傳熱學基本原理建立凝固傳熱數學模型好計算軟件，計算配水參數，實現二冷水自動控制，從而確保連鑄機高的產量好良好的質量。
北京科技大學
2021-04-13
連鑄二冷配水模型及自動控制技術
連鑄二次冷卻對鑄坯的表面與內部質量具有顯著的影響。欲得到優質鑄坯，重要的是合理地控制澆鑄過程鑄坯溫度，而連鑄二冷配水的目的是均勻冷卻鑄坯，使鑄坯表面溫度保持在允許的范圍內，對提高連鑄坯的質量好連鑄生產具有重要的作用。原冶金部科技司將此項目列為“八五”攻關課題“大型連鑄機自動控制系統的研究開發”中一個重要研究課題，主要是以濟鋼板坯連鑄機而冷控制為研究對象，應用二維傳熱數學模型，建立了板坯連鑄機二冷配水計算模型，編制了二冷配水計算軟件，完成了對不同鋼種和斷面的連鑄冷卻的配水計算和控制系統，實現了對連鑄而冷水在線控制。本項目主要用在板坯、矩形坯、方坯連鑄機二冷配水控制系統，結合現場具體條件，利用傳熱學基本原理建立凝固傳熱數學模型好計算軟件，計算配水參數，實現二冷水自動控制，從而確保連鑄機高的產量好良好的質量。
北京科技大學
2021-04-13
觸控分子通信（touchable molecular communication）”信道模型和體系架
利用納米機器人為信息載體的“觸控分子通信（touchable molecular communication）”信道模型和體系架構，并基于此分析和設計靶向給藥和造影成像系統，極大地提高了分子通信效率和實用性。該文章還入選了IEEE Transactions on NanoBioscience期刊的亮點文章（Featured Article）及高點擊量文章（Top Accessed Article），相關成果被收入IEEE 1906.1國際標準。 IEEE 1906.1是IEEE首個以分子通信和納米通信為主旨的國際標準，被列入IEEE通信學會“納米通信網絡最佳讀物”（Best Readings in Nanoscale Communication Networks）。 納米通信網絡指納米尺度的設備（如納米生物傳感器和執行器）之間通過信息共享而組成的短距離、小尺度通信網絡，以協助納米設備在較大的空間范圍上完成較復雜的任務。這些納米尺度的設備可以通過血液注入或者人體植入的方式，在人體單個器官或者全身分布多個節點，形成一個可存儲、計算及傳送信息的通信網絡，完成生理病理信息監測、藥物和造影劑輸送等，同時與外部監控設備以及無線通信網絡相連接，協助移動醫療和相關大數據處理等。
南方科技大學
2021-04-13
燒結過程熱質傳遞機理模型及余熱利用技術
針對鋼鐵燒結工序煙氣量大、顯熱利用率低等問題，構建了燒結過程熱-質耦合數值模型，開發了燒結工藝質-熱耦合仿真軟件和質-熱平衡分析計算軟件，闡明了燒結過程混合料散體多相反應機制及熱-質耦合傳輸機理，分析了燒結過程中 SO 2 、NOx 等污染物的產生規律，開發了燒結過程余熱利用技術，優化了燒結工藝，為燒結工序綠色發展提供理論支撐和技術支持。 相比傳統冷風燒結工藝，高溫煙氣循環燒結與余熱利用技術通過煙氣循環回收部分燒結機高溫煙氣，來替代常溫空氣，作為燒結助燃氣體。該技術既能回收部分高溫燒結廢氣余熱，又可減少廢氣排放量，降低污染物處理成本。
北京科技大學
2021-04-13
馬蹄形隧道模型試驗水壓加載裝置及其方法
本發明公開了一種馬蹄形隧道模型試驗水壓加載裝置及其方法，該裝置包括臺架、馬蹄形隧道模型、轉向立柱、鋼絞線張拉裝置及四組鋼絞線；對所述馬蹄形隧道模型采用鋼絞線對拱頂、拱腰、拱腳和仰拱分別進行加載，所述鋼絞線環箍拱頂、拱腰、拱腳和仰拱的相應圓弧段后相切于其與相鄰兩圓弧的分界點后引出，保證在該圓弧段產生均布徑向接觸壓力，而對其他圓弧段無施加力；采用鋼絞線環箍加載可以確保力與模型的緊密貼合，且對模型試驗的其他項目不會產生影響；鋼絞線的張拉裝置位于模型縱向外側，既有利于控制力的大小，又不會加載效果產生擾動；每根鋼絞線都獨立張拉，張拉應力采用振弦測試儀及時反映，做到模擬加載準確靈活。
西南交通大學
2018-09-18
橋上移動車輛模型三維抗風試驗裝置
本發明公開了一種橋上移動車輛模型三維抗風試驗裝置，支架上固定有橋梁模型，支架上端和橋梁模型之間形成空腔，在空腔內設置有支座，且支座固定在支架上，支座上固定有直線模組；橋梁模型沿車輛模型運動方向設置有橋面開槽，橋面開槽內安裝有彈性橡皮；測力支架通過橋面開槽，其一端固定于直線模組上的滑臺，另一端固定位于橋面的測力天平，測力天平連接車輛模型；直線模組的傳動連接軸連接到伺服電機，驅動滑臺移動，實現車輛模型的移動。本發明減小了裝置在加工過程中的制造安裝誤差，提高了車輛在移動過程中的動態穩定性。
西南交通大學
2018-09-18
基于多智能體的復雜軟件演化模型及支撐環境
建立基于多智能體的軟件動態體系結構模型，采用模型驅動的軟件構造方法，敏捷構造開放環境下軟件系統；研究變化建模、層次感知、智能決策等技術方法，實現軟件結構、行為等多方面的動態演化。
主要技術指標
從環境感知、數據分析、通信機制等多個方面，提升了面向動態環境的復雜軟件系統持續性演化能力。
支持軟件系統在運行過程中靈活調整、柔性適變。
相關成果
（1）基于多智能體的軟件動態演化支撐環境；
（2）自適應軟件體系結構建模工具；
（3）基于Agent自適應動態集成演化平臺；
（4）面向動態演化的集成規則設計工具軟件。
西安電子科技大學
2022-12-12
基于概率位置模型的空間位置誤差影響消除方法
一、技術研究背景 空間位置誤差的存在直接影響了遙感數據應用的范圍以及以遙感影像為數據源的研究結論的可靠性。如何消除這種空間位置誤差已經成為學術界和遙感產業化過程中一個熱點問題。常規的消除方法（例如空間聚合的方法）只能消除部分誤差，而且對于中低分辨率的遙感數據并不適用。因此，發展一種適用于多尺度遙感影像中空間位置誤差消除方法成為必然。二、技術先進性 本成果提出了一種基于概率位置模型的空間位置誤差影響消除方法，該模型有效地利用前
常州大學
2021-04-14