|
搜索
搜 索
高等教育領域數字化綜合服務平臺
基于HybridUML和定理證明的CPS自適應性驗證方法
本發明提出一種基于HybridUML和定理證明的CPS自適應性驗證方法，本發明步驟包括：首先利用HybridUML視圖對CPS建模；然后將HybridUML規約轉換為定理證明器KeYmaera的輸入-量化混合程序QHP；結合生成的QHP，以量化微分動態邏輯QdL公式的形式對待驗證的屬性進行規約，然后利用KeYmaera進行自動驗證。
東南大學
2021-04-10
一種高通用性大裝載小型無人飛行器
本發明提供一種高通用性大裝載小型無人飛行器。該飛行器包括：翼身融合機體，設置在所述機體兩側的兩個固定主翼，設置在所述兩個主翼下方的兩個撐桿以及設置在兩個撐桿后端的模塊化尾翼組件。所述兩個主翼采用優化后的高升力翼型，使全機具有較小的失速速度；所述機體進行了翼身融合設計，機體內具有較大的裝載容積，能夠搭載多種任務載荷，同時，全機具有靈活的起降能力，可根據任務需要進行彈射起飛、滑跑起飛或垂直起降，從而提高了無人飛行器對不同類型飛行任務的適應能力和執行效率。
北京航空航天大學
2021-04-10
前瞻性隊列成員管理及問卷調查智能分析系統
前瞻性隊列成員管理及問卷調查智能分析系統是針對新時期大型中心人群隊列的研究設計，體現了云 計算、互聯網、大數據的設計理念和時代特征
中山大學
2021-04-10
生物酶法制備納米級功能性膳食纖維技術
本技術采用花生殼、小麥麩皮、大豆皮等農副產物為原料制備 納米纖維素。首次采用生物酶結合超聲波技術以農副產品為原材料制備納米級 膳食纖維，克服了目前酸法制備納米級膳食纖維污染重、周期長等缺點，建立 了一種高效、綠色、環保制備納米級膳食纖維的新方法；首次開發出納米級膳 食纖維及高纖維食品：包括面制品、淀粉制品、肉制品及功能性飲料制品等， 拓展了納米級膳食纖維的應用范圍。本項目所開發的納米級膳食纖維功能性食 品，兼具優良口感與保健功效，具有良好的市場前景，對建設資源節約型和環 境友好型社會具有重要的促進作用。 生產條件及經濟效益預測：納米膳食纖維素的初步市場估價為 15 萬元/噸。 項目投產后，年加工量 2000 噸的農副產物生產線，估算投資額為 8000 萬，可 產生經濟效益 2.55 億元，實現利稅 1.2 萬元。年加工量 1000 噸的農副產物生 產線，估算投資額為 4000 萬，可產生經濟效益 1.275 億元，實現利稅 8400 萬 元；年加工量 500 噸的農副產物生產線，估算投資額為 2000 萬，可產生經濟效 益 6375 萬元，實現利稅 3200 萬元。
青島農業大學
2021-04-11
HL-1型信號式功能性電刺激治療儀
HL-1型信號式功能性電刺激治療儀采用進口微處理器電腦芯片和先進的漢字液晶顯示技術，通過聲光指令指導患者主動收縮和放松患側肌肉，加快受損的神經和肌肉再生過程及運動功能恢復。可針對不同病理需要，儀器設置了7種固定治療處方模式和自由編程處方模式。治療過程中，可隨時查看通過患者皮膚的實際功能性電流大小。應用語音（聲音）和閃光燈（光信號）作為指導信號，無論是對于聽力差，還是視力差的患者，甚至聽力與視力均差的患者都能得到提醒與指導，然后將主動訓練與被動電刺激相結合，引發肌肉的全收縮，帶動關節完成關節的功能活動。 1、光信號提示功能：治療中不同的語音信號和光信號提示患者收縮和放松肌肉，配合儀器進行被動訓練。 2、語音提示信號錄音功能：可錄入以我國的普通話或各地方言或外國語表達的提示語音，并可在微處理器的控制下播出，指導醫生或患者按操作指令進行治療。 3、能實時檢測治療時通過患者局部皮膚的功能性刺激電流的大小。 4、微電腦程序控制，可在固定處方模式（7種治療處方）或自由編程模式下運行。 5、設有兩組輸出通道，可同時進行兩組肌肉或兩名患者同時進行治療。 6、高清晰漢字液晶屏顯示。 7、友好的人機操作界面設計，具備語音和光信號提示，操作方便。8、造型美觀大方，攜帶方便。
上海理工大學
2021-04-11
淺埋煤層開采頂板涌（突）水危險性分區預測技術
礦井水害的預測防治是煤炭生產中一項重要任務。前人對煤層頂板含水層地下水水害已研究提出了比較可行的預測方法，但對淺埋煤層頂板含水層地下水、采空區積水和地表水多種水源復合水害問題還未研究出合理的預測方法。本成果以陜北侏羅紀煤田典型淺埋煤層礦井為研究區，研究提出了淺埋煤層開采頂板涌（突）水危險性分區預測的技術方法，成果已通過陜西省科技廳組織的鑒定并獲陜西煤業化工集團科技進步二等獎。本成果的技術原理是：以礦井水文地質與工程地質條件分析為基礎，首先確定礦井煤層頂板的充水條件（充水水源、充水通道、充水強度）；其次，進行各充水因素的富水性分區；第三，進行各充水因素的冒裂安全性分區；第四，進行各充水因素的富水性分區和冒裂安全性分區的疊加綜合分析，確定礦井不同區域各主采煤層的頂板涌（突）水危險性大小級別，編制礦井涌（突）水危險性分區預測圖；第五，針對各充水因素制定相應的防治水措施
西安科技大學
2021-04-11
一種基于能量捕獲的能效公平性優化方法
本發明公開了一種基于能量捕獲的能效公平性優化方法，包括： 獲取初始數據，包括基站發射功率、路徑損耗因子、網絡接收閾值、 用戶與單層網絡的基站之間的距離、網絡總帶寬和其它層網絡的基站 對用戶的干擾；在頻譜正交分割的情形下，根據路徑損耗因子和網絡 接收閾值，得到覆蓋概率的平均對數；根據覆蓋概率的平均對數、網 絡總帶寬和網絡接收閾值，以網絡能效值最大為目標建立網絡能效模 型，基于網絡能效模型得到網絡接收閾值的隱函數；將初始數據輸入 到網絡接收閾值的隱函數，得到最優網絡接收閾值和最優網絡能效值。 本發明在保證用戶服務質量的同時，有效提升整個網絡的能量公平性。
華中科技大學
2021-04-11
利用新型邊緣整塑材料制取無牙頜功能性閉口式印模
相關專利提供了一種新型的用于制取牙科全口義齒印模的邊緣整塑材料，以及利用這種新型邊緣整塑材料的獨特性能，臨床常規制取無牙頜功能性閉口式印模的操作流程。應用范圍:可應用于口腔醫學臨床全口義齒制作中的無牙頜印模制取工作效益分析:利用相關專利的新型邊緣整塑材料獨特性能，整合全口義齒印模制取與頜位關系記錄兩個臨床操作步驟為一體，常規制取無牙頜功能性閉口式印模，操作流程簡便、實用，義齒邊緣封閉效果更佳，可顯著提高全口義齒固位力。 一、主要技術優勢： （1）邊緣塑形材料在人體口腔溫度下即具有良好的可塑性，無需常規材料的酒精燈烘烤步驟，在冷水沖涼后的常溫下又能恢復一定的強度，為終印模材和印模石膏提供有力支撐，保證印模和工作模型不會發生變形。 （2）可以在患者口腔內同時進行唇、頰、舌各部位整體的肌能整塑工作，簡化操作流程，較之傳統材料，更能準確反映全口義齒邊緣封閉區外形。 （3）充分利用新型邊緣整塑材料獨特性能，整合全口義齒印模制取與頜位關系記錄兩個臨床操作步驟為一體，設計了一套臨床操作簡便、實用的制取無牙頜功能性閉口式印模的操作流程。 二、主要性能指標 （1）材料規格：直徑 6—8mm，長 100—150mm 圓柱型 （2）材料性能：軟化點溫度為 37 攝氏度 （3）材料成分：醫用石蠟、低聚度聚乙烯、環保無毒增塑劑、硅微粉等，經物理混合制成
天津醫科大學
2021-04-10
關于舉辦全國顛覆性技術創新大賽領域賽的通知
根據《科技部關于舉辦全國顛覆性技術創新大賽的通知》（國科發火〔2021〕195號），科技部火炬中心將于近期舉辦全國顛覆性技術創新大賽（以下簡稱大賽）領域賽。現將大賽領域賽有關事項通知如下。
科技部火炬中心
2021-10-21
《人工智能領域研究生指導性培養方案（試行）》印發
根據相關要求，與本領域發展定位、學校學科布局和師資結構相適應的具體培養方向，可參考設置人工智能基礎理論研究相關方向、人工智能共性技術相關研究方向、人工智能支撐技術研究方向、人工智能應用技術相關研究方向和人工智能與智能社會治理相關研究方向等五大培養方向。
教育部
2022-08-05