|
搜索
搜 索
高等教育領域數字化綜合服務平臺
一種檢測內核模塊在原子上下文中休眠錯誤的方法
1.痛點問題
原子上下文休眠是操作系統中一類非常危險并且難以發現的缺陷，可以導致偶發的系統死鎖和崩潰。實踐證明，現有的主流開源操作系統存在不少該類缺陷，會引起實際的安全問題。隨著系統軟件自主化和物聯網技術的發展，越來越多的國產操作系統誕生并被廣泛使用，而這些國產操作系統中也會存在原子上下文休眠的缺陷，嚴重影響系統可靠性和安全性。由于操作系統具有代碼量大、邏輯復雜和并發程度高等特點，對其進行代碼分析和缺陷檢測是比較困難的。
2.解決方案
本技術提出了一種檢測原子上下文休眠缺陷的方法，包含了兩個創新點：
1)自適應流敏感分析算法，能夠較為準確高效地找出在原子上下文中被調用的函數；
2)函數調用圖的檢查算法，能夠較為準確地判斷函數是否可以休眠。
本技術還綜合采用了流敏感分析、過程間分析、基于約束求解的路徑檢查和別名分析等，能夠有效降低誤報和漏報，并提升分析效率。
本技術的工作流程是自動的，不需要開發者和測試者手動分析和修改被測操作系統的源代碼。因此，本發明可以應用于原子上下文休眠缺陷的檢測，提高操作系統的安全性和可靠性。
合作需求
尋求對系統軟件缺陷檢測有需求的科技企業和科研單位，開展成果落地轉化，以及探索服務模式。
清華大學
2022-05-20
中國科大在基于里德堡原子的多頻率微波無線傳感方面取得重要進展
有效地解碼了一個含噪聲QR碼的FDM相移鍵控信號，準確率高達99.32%,研究成果表明，基于深度學習增強的里德堡微波接收器可允許一次直接解碼20路頻分復用(FDM)信號，不需要多個帶通濾波器和其他復雜電路。
中國科學技術大學
2022-06-02
一種強穩定性樹枝盒狀溴化物鈣鈦礦量子點制備方法
本發明公開了一種強穩定性樹枝盒狀溴化物鈣鈦礦量子點制備方法，該量子點材料為聚酰胺胺樹狀分子(PAMAM)包裹的CH3NH3PbBr3，結構式為PAMAM?CH3NH3PbBr3。其制備方法包括如下步驟：(1)以官能團為羧基的PAMAM和正辛胺作為配體輔助制備PAMAM?CH3NH3PbBr3前驅體溶液；(2)將前驅體溶液轉換到甲苯中，搖勻形成PAMAM?CH3NH3PbBr3量子點。本發明使用一鍋法制備鈣鈦礦量子點，簡單易操作，原料供給方便，在一般實驗室均能完成，易于推廣。
東南大學
2021-04-11
一種判斷電力系統靜態電壓穩定性的方法及裝置
本發明實施例提供一種判斷電力系統靜態電壓穩定性的方法及裝置。所述方法包括：獲取電力系統中各節點電壓在不同電壓區間的分布概率；利用所述不同電壓區間的權值對所述分布概率進行加權，獲得加權電壓熵，進而判斷所述電力系統靜態電壓的穩定性。本發明實施例考慮各區間電壓水平不相同的情況，利用所述不同電壓區間的權值對所述分布概率進行加權獲得加權電壓熵，進而利用加權電壓熵來判斷電力系統靜態電壓的穩定性；無需知道電力系統的具體參數，計算量小，簡單高效，而且不會隨著電力系統規模的增大而增加計算量。
中國農業大學
2021-04-11
一種螺旋立銑刀正交車銑加工三維穩定性建模方法
本發明公開了一種螺旋立銑刀正交車銑加工三維穩定性建模方 法，包括以下步驟:(1)將機床-刀具-工件系統簡化為質塊-彈簧-阻尼器 連接的振動系統，建立坐標系 xFyFzF，建立振動系統動力學方程;(2) 利用錘擊法模態試驗分別得到振動系統分別在 xF，yF，zF 每個方向的 頻響函數，辨識出振動系統的模態質量、剛度和阻尼，計算振動系統的慣性力、彈簧力、阻尼力;(3)計算螺旋立銑刀的動態切削力;(4)求 解振動系統動力學方程得到振動系統的穩定性葉瓣圖。本發明考慮了
華中科技大學
2021-04-14
電磁鐵電源磁場實驗室勵磁電源恒流驅動高穩定性
北京錦正茂科技有限公司
2022-02-21
一種五自由度的白光干涉原子力探針位姿調整機構
本發明公開了一種原子力探針位姿調整機構。包括探針座，調 節機構和連接頭。其中探針座用于原子力探針的安裝固定;調節機構 包括由下至上的第一調節部件、第二調節部件、第三調節部件以及第 四調節部件，分別用于原子力探針的里外水平偏擺、左右水平和上下 旋轉、上下俯仰以及上下豎直位姿調節;連接頭用于與顯微物鏡相連。 本發明能夠實現原子力探針姿態在五個自由度上的細微調節，各個調 節動作相互獨立，彼此不發生干涉，互不影響，提高了探針姿態的調 節精度;且能夠對調節后的位姿進行鎖定，使其保持穩定。
華中科技大學
2021-04-14
一種白光干涉原子力探針系統的成像自動調整裝置及其控制方 法
本發明公開了一種基于白光干涉原子力探針掃描顯微鏡探針系 統的成像自動調整裝置自動及其控制方法，該裝置主要包括計算機， 夾持機構及鉸鏈機構，原子力探針及其探針組件，白光干涉顯微系統， 面 CCD 光路連接筒。在白光干涉原子力探針顯微鏡連接完成的情況 下，根據面 CCD 上探針的成像與面 CCD 坐標系的水平夾角，通過計算機來控制舵機偏轉一定的角度，使得原子力探針在面 CCD 中的成像 與面 CCD 坐標系中的夾角在誤差范圍內，從而得到測量的結果有較小 的測量誤差。本發明可以實現探針在面 CCD 中的成
華中科技大學
2021-04-14
大型沉管隧道水下基槽浚邊坡穩定性、承載力和變形分析
1.依據海河實際土質條件，提出了基槽水下開挖下部和上部坡率建議值；2.提出了適合濱海軟土地層特性的水下開挖法及合理的超挖值；3.提出了適合海河沉管隧道的水下邊坡檢測要求和減少基底回淤的施工措施；4.通過應力路徑試驗方法，進行模擬基坑開挖時主動區側向卸荷試驗（DEP）和固結試驗，得到主動區卸荷狀態下土的強度參數；5.編制了天津市地方標準《內河沉管法隧道設計、施工及驗收規范》DB/T29-219-2013。 在海河下游軟土地層環境下，針對內河沉管沉放過程中存在的技術難題，形成了對沉
天津城建大學
2021-01-12
一種考慮風速和負荷不確定性的風機準入容量檢測優化方法
本申請公開了一種考慮風速和負荷不確定性的風機準入容量檢 測優化方法，屬于含風機的配電網安全穩定研究領域。現有技術中， 都沒有考慮風速的不確定性，并且網絡中的負荷處于波動狀態，與風 速結合起來，增加了不確定性因素的維度，本申請基于快速解耦法和 魯棒優化理論，通過確定風速和負荷的波動范圍，提出了魯棒優化方 法，該方法不僅可以實現在風速和負荷不確定下的單點風機準入研究， 還可以計算多點接入時組合風機的容量。
華中科技大學
2021-04-14