|
搜索
搜 索
高等教育領域數字化綜合服務平臺
一種檢測內核模塊在原子上下文中休眠錯誤的方法
1.痛點問題
原子上下文休眠是操作系統中一類非常危險并且難以發現的缺陷，可以導致偶發的系統死鎖和崩潰。實踐證明，現有的主流開源操作系統存在不少該類缺陷，會引起實際的安全問題。隨著系統軟件自主化和物聯網技術的發展，越來越多的國產操作系統誕生并被廣泛使用，而這些國產操作系統中也會存在原子上下文休眠的缺陷，嚴重影響系統可靠性和安全性。由于操作系統具有代碼量大、邏輯復雜和并發程度高等特點，對其進行代碼分析和缺陷檢測是比較困難的。
2.解決方案
本技術提出了一種檢測原子上下文休眠缺陷的方法，包含了兩個創新點：
1)自適應流敏感分析算法，能夠較為準確高效地找出在原子上下文中被調用的函數；
2)函數調用圖的檢查算法，能夠較為準確地判斷函數是否可以休眠。
本技術還綜合采用了流敏感分析、過程間分析、基于約束求解的路徑檢查和別名分析等，能夠有效降低誤報和漏報，并提升分析效率。
本技術的工作流程是自動的，不需要開發者和測試者手動分析和修改被測操作系統的源代碼。因此，本發明可以應用于原子上下文休眠缺陷的檢測，提高操作系統的安全性和可靠性。
合作需求
尋求對系統軟件缺陷檢測有需求的科技企業和科研單位，開展成果落地轉化，以及探索服務模式。
清華大學
2022-05-20
水體中主要病原微生物特異分子標識庫德建立和快速檢測技術
課題進展按計劃進行，完成了240株檢測范圍內和檢測范圍外近緣菌株的收集；對29株軍團菌、17株鉤端螺旋體和32株克雷伯的靶基因序列破譯和序列分析；完成了探針篩選及終型芯片點制；進行了105份模擬樣品的檢測實驗；進行了芯片判讀系統Bactarray軟件的初步開發；初步建立了芯片生產質量控制體系；課題組額外進行了嗜肺軍團菌3，6，13型的O抗原破譯，并完成了其序列分析；申請發明專利2項，發表SCI 論文2篇。
南開大學
2021-04-14
一種五自由度的白光干涉原子力探針位姿調整機構
本發明公開了一種原子力探針位姿調整機構。包括探針座，調 節機構和連接頭。其中探針座用于原子力探針的安裝固定;調節機構 包括由下至上的第一調節部件、第二調節部件、第三調節部件以及第 四調節部件，分別用于原子力探針的里外水平偏擺、左右水平和上下 旋轉、上下俯仰以及上下豎直位姿調節;連接頭用于與顯微物鏡相連。 本發明能夠實現原子力探針姿態在五個自由度上的細微調節，各個調 節動作相互獨立，彼此不發生干涉，互不影響，提高了探針姿態的調 節精度;且能夠對調節后的位姿進行鎖定，使其保持穩定。
華中科技大學
2021-04-14
一種白光干涉原子力探針系統的成像自動調整裝置及其控制方 法
本發明公開了一種基于白光干涉原子力探針掃描顯微鏡探針系 統的成像自動調整裝置自動及其控制方法，該裝置主要包括計算機， 夾持機構及鉸鏈機構，原子力探針及其探針組件，白光干涉顯微系統， 面 CCD 光路連接筒。在白光干涉原子力探針顯微鏡連接完成的情況 下，根據面 CCD 上探針的成像與面 CCD 坐標系的水平夾角，通過計算機來控制舵機偏轉一定的角度，使得原子力探針在面 CCD 中的成像 與面 CCD 坐標系中的夾角在誤差范圍內，從而得到測量的結果有較小 的測量誤差。本發明可以實現探針在面 CCD 中的成
華中科技大學
2021-04-14
一種類奔德斯分解的下垂控制孤島微電網潮流計算方法
本發明公開一種類奔德斯分解的孤島微電網潮流計算方法，將孤島微電網潮流計算分解成通過傳統潮流計算子問題和下垂節點更新子問題，對下垂節點進行等效后進行初始化；基于系統角頻率，更新負荷和線路阻抗參數；通過傳統潮流計算子問題，求解作為平衡節點的下垂節點和作為PV節點的下垂節點的相關變量參數；然后通過系統前后兩次迭代狀態變量之差來判斷算法是否收斂：若收斂，停止迭代獲得最終潮流解；若不收斂，通過下垂節點更新子問題，修正或求解作為平衡節點的下垂節點和作為PV節點的下垂節點相關變更參數；以此方式交替迭代，獲得最終的
東南大學
2021-04-14
一種磁測探頭及一種便攜式銫原子激光光泵磁力儀
本實用新型公開了一種磁測探頭及一種便攜式銫原子激光光泵磁力儀，其中磁測探頭包括VCSEL單模激光器(4)、準直鏡(5)、圓偏振器(6)、銫原子氣室(7)、加熱線圈(8)、射頻線圈(9)和光電探測器(10)；便攜式銫原子激光光泵磁力儀是一種利用激光光抽運技術與銫原子磁光共振相結合，精確測量磁場的磁力儀，包括了一個由單模激光器作為泵浦光源的磁測探頭、一個中繼控制器，使用PC電腦從中繼控制器讀取即時測量數據。本實用新型測量系統可以實時準確測得同一位置的磁感應強度。
浙江大學
2021-04-13
AIChE再度報道華東理工大學原子層沉積ALD多尺度模擬研究進展
近日，我校化工學院功能膜與電子化學品團隊青年教師莊黎偉博士，與美國約翰霍普金斯大學、北卡羅來納州立大學等單位合作，開發了一套原子層沉積（ALD）技術在多孔材料納米孔道內進行薄膜沉積的數值模型，可用于預測2-5納米孔道內前驅體擴散、吸附、脫附、沉積反應以及孔道收縮直至堵塞的動態過程。
華東理工大學
2022-09-28
環境透射電鏡助力解析Yolk?Shell結構向表面單原子催化劑轉變過程
利用電解水制造高純氫氣是當前能源利用與轉換中一個重大課題，因此，探索低成本、高效的水裂解制氫反應電催化劑具有重要意義。商用IrO2催化劑由于使用貴金屬，成本非常昂貴。目前，單原子催化劑已被證明是用于氧氣析出反應（OER）的有效催化劑，且由于這些單原子的配位環境，使得單原子催化劑具有高選擇性。同時，單原子催化劑可以提高有效負載量，并減少至少10倍的貴金屬使用。 制備單原子催化劑的典型方法
南方科技大學
2021-04-14
一德壹教喜獲網絡安全三級等保權威認證，安全保障再升級
三級等保認證的獲得，印證了一德壹教具備提供高標準數據安全服務的專業能力。
深圳市一德文化科技有限公司
2023-03-02
天津大學機械學院大樣品臺原子力顯微鏡項目競爭性磋商公告
天津大學機械學院大樣品臺原子力顯微鏡項目競爭性磋商
天津大學
2022-05-27