|
搜索
搜 索
高等教育領域數字化綜合服務平臺
一種檢測內核模塊在原子上下文中休眠錯誤的方法
1.痛點問題
原子上下文休眠是操作系統中一類非常危險并且難以發現的缺陷，可以導致偶發的系統死鎖和崩潰。實踐證明，現有的主流開源操作系統存在不少該類缺陷，會引起實際的安全問題。隨著系統軟件自主化和物聯網技術的發展，越來越多的國產操作系統誕生并被廣泛使用，而這些國產操作系統中也會存在原子上下文休眠的缺陷，嚴重影響系統可靠性和安全性。由于操作系統具有代碼量大、邏輯復雜和并發程度高等特點，對其進行代碼分析和缺陷檢測是比較困難的。
2.解決方案
本技術提出了一種檢測原子上下文休眠缺陷的方法，包含了兩個創新點：
1)自適應流敏感分析算法，能夠較為準確高效地找出在原子上下文中被調用的函數；
2)函數調用圖的檢查算法，能夠較為準確地判斷函數是否可以休眠。
本技術還綜合采用了流敏感分析、過程間分析、基于約束求解的路徑檢查和別名分析等，能夠有效降低誤報和漏報，并提升分析效率。
本技術的工作流程是自動的，不需要開發者和測試者手動分析和修改被測操作系統的源代碼。因此，本發明可以應用于原子上下文休眠缺陷的檢測，提高操作系統的安全性和可靠性。
合作需求
尋求對系統軟件缺陷檢測有需求的科技企業和科研單位，開展成果落地轉化，以及探索服務模式。
清華大學
2022-05-20
中國科大在基于里德堡原子的多頻率微波無線傳感方面取得重要進展
有效地解碼了一個含噪聲QR碼的FDM相移鍵控信號，準確率高達99.32%,研究成果表明，基于深度學習增強的里德堡微波接收器可允許一次直接解碼20路頻分復用(FDM)信號，不需要多個帶通濾波器和其他復雜電路。
中國科學技術大學
2022-06-02
光伏發電逆變系統的研究和開發
我們對如何通過預測控制的各要素設計，提升逆變系統的性能指標，進行研究，取得了良好的成果。對LCL型三電平逆變系統，我們在分析系統指標與系統控制量之間關系的基礎上，設計了相應的基于個離散控制量的預測控制器，為解決該類非線性約束優化在線計算量大的問題，基于分值定界的思想提出了相應基于DSP的快速算法。為進一步提升逆變系統的效率等指標，我們提出了變系數的光伏逆變預測控制器，在目標函數中對電流跟蹤和大電流時開關動作的抑制實現了統一，設計了相應的系數表達式并給出相關算法和實驗結果。我們進一步研究了基于預測控制的微電網系統的調度問題，針對微電網群系統集中式優化計算量巨大的問題，我們從結合ADMM，從給出了系統的分布式預測控制器并對其在線迭代算法并進行了研究和驗證。同時，我們對無線并聯型逆變系統的穩定性進行了分析。達到了預期研究目標。
南昌航空大學
2021-05-04
陽離子硫鎓鹽紫外光引發劑
與自由基光固化體系相比，陽離子光固化體系具有以下特點：（1）固化體積收縮率小，（2）不被氧氣阻聚，（3）固化反應不易終止。適用于厚膜和色漆的光固化，可廣泛用于涂料、油墨、黏合劑，電子工業的封裝材料，光刻膠及印刷材料等領域。因此，研究開發陽離子的光固化引發劑具有重要意義
武漢工程大學
2021-04-11
光物聯網之智能光纖光纜管理監控系統
"項目涉及兼具高科技和經濟環保意義的光纖光纜傳感技術，獲得山東省科技進步二等獎等兩項，該技術利用光纖對環境變化的敏感性，將輸入物理量變換為調制的光信號。其工作原理基于光纖的光調制效應，即光纖在外界環境因素，如溫度、壓力、電場、磁場等等改變時，其傳光特性，如相位與光強，會發生變化的現象。因此，如果能測出通過光纖的光相位、光強變化，就可以知道被測物理量的變化。憑借自主研發的專利光纖光纜傳感技術以及精湛的工藝水平，并結合多年的行業經驗和客戶積累，開發出了面向通信行業的業界首套智能光纖光纜管理監控系統（IFMS），該系統采用創新式的便攜式音頻標簽，對于無源的光纖線路做業務無損的快速標定。智能光纖光纜管理監控系統具有外形緊湊、節能、智能化、高可靠、無污染、大數據等特點，符合我國建設節約型社會和環境友好型社會的要求。同時，該系統還可以拓展到光纖周界防護、水下震動定位等多個領域，滿足不同行業的需求。在物聯網發展及國家對光纖光纜改造工程的大背景下，“智能光纖光纜管理監控系統”，僅在運營商就擁有每年有~0.9億的市場規模，考慮基于該系統的擴展，計算國防、民生、工程等領域，更是擁有廣闊的市場前景。 "
山東大學
2021-04-10
太陽能自動跟蹤光伏發電驅動系統
本發明提供一種太陽能自動跟蹤光伏發電驅動系統，旨在提供一種以太陽能為能源的用于太陽能集熱板轉動的驅動系統，它包括太陽能槽式集熱板、太陽能自動跟蹤儀、太陽能電池組件、電機箱、電機、傳動齒輪、轉動軸、蓄電池。本系統在太陽光自動跟蹤儀的帶動下能全天候跟蹤太陽光，通過太陽能電池組件的光伏發電為太陽能槽式集熱板的轉動提供動力源，使該系統具有很高的光能利用率和傳質效率，采用固定式太陽能電池的效率一般在10%左右，而采用自動跟蹤技術可使太陽能電池效率率達到20%左右。太陽能發電所提供的驅動動力源，使本系統擺脫外接電源的束縛，做到了高效節能，自給自足。
天津城建大學
2021-04-11
太陽能聚光發電（光伏發電）跟蹤系統
兩軸跟蹤是基于天文學理論編程實現的。在系統中使用了PLC，以控制兩個伺服電機和相應的執行機構，這些執行機構使得系統能夠跟蹤太陽的軌跡。從而使系統能夠在一天中，始終以最佳的傾角和方向對準太陽，進而最大限度地利用太陽能。 利用逆變器能夠將光伏電池產生的直流電轉變為交流電，進而直接輸送到電網上。在白天有日照的情況下，光伏電池會將大部分的能量輸送到電網上，而到了晚上光復電池裝置會自動與電網斷開。
南京工業大學
2021-04-13
三相非隔離型光伏并網逆變器
T 型三電平電路結構，全數字化控制、低漏電流的 SVPWM 技術，產品功率等級為 10kW、12kW、 15kW、 17kW，適用于戶用型及小型并網發電站，自主知識產權。
揚州大學
2021-04-14
兩級式高頻隔離光伏并網逆變器
該產品功率等級為 3kW~4.6kW，具有雙向功率流動特性，拓展產品應用范圍，適用于低壓輸入的戶用型及小型并網發電站，適用于儲能系統、電動汽車充放電等， D2D 為模塊化結構，功率易于擴容，高頻電氣隔離，更加安全可靠，高效、先進的軟開關技術，自主知識產權。 峰值效率大于 96.5%； CEC 和歐洲效率大于 95%。
揚州大學
2021-04-14
一種光片顯微成像轉換裝置
本發明公開了一種光片顯微成像轉換裝置，包括：光片激光光 源、樣品夾持器、以及運動器；所述光片激光光源，產生光片激光， 水平照射在被固定于樣品夾持器樣品上；所述運動器，與樣品夾持器 連接，用于帶動樣品夾持器在與豎直方向夾角小于 15 度方向上運動。 本發明提供的光片顯微成像轉換裝置，是一種小型化、低成本的轉換 裝置，能通過加裝在普通的倒置熒光顯微鏡上，使其具備光片顯微成 像的能力，通過少量改裝實現三維成像上的質的突破，
華中科技大學
2021-04-14