|
搜索
搜 索
高等教育領域數字化綜合服務平臺
一種檢測內核模塊在原子上下文中休眠錯誤的方法
1.痛點問題
原子上下文休眠是操作系統中一類非常危險并且難以發現的缺陷，可以導致偶發的系統死鎖和崩潰。實踐證明，現有的主流開源操作系統存在不少該類缺陷，會引起實際的安全問題。隨著系統軟件自主化和物聯網技術的發展，越來越多的國產操作系統誕生并被廣泛使用，而這些國產操作系統中也會存在原子上下文休眠的缺陷，嚴重影響系統可靠性和安全性。由于操作系統具有代碼量大、邏輯復雜和并發程度高等特點，對其進行代碼分析和缺陷檢測是比較困難的。
2.解決方案
本技術提出了一種檢測原子上下文休眠缺陷的方法，包含了兩個創新點：
1)自適應流敏感分析算法，能夠較為準確高效地找出在原子上下文中被調用的函數；
2)函數調用圖的檢查算法，能夠較為準確地判斷函數是否可以休眠。
本技術還綜合采用了流敏感分析、過程間分析、基于約束求解的路徑檢查和別名分析等，能夠有效降低誤報和漏報，并提升分析效率。
本技術的工作流程是自動的，不需要開發者和測試者手動分析和修改被測操作系統的源代碼。因此，本發明可以應用于原子上下文休眠缺陷的檢測，提高操作系統的安全性和可靠性。
合作需求
尋求對系統軟件缺陷檢測有需求的科技企業和科研單位，開展成果落地轉化，以及探索服務模式。
清華大學
2022-05-20
中國科大在基于里德堡原子的多頻率微波無線傳感方面取得重要進展
有效地解碼了一個含噪聲QR碼的FDM相移鍵控信號，準確率高達99.32%,研究成果表明，基于深度學習增強的里德堡微波接收器可允許一次直接解碼20路頻分復用(FDM)信號，不需要多個帶通濾波器和其他復雜電路。
中國科學技術大學
2022-06-02
一種五自由度的白光干涉原子力探針位姿調整機構
本發明公開了一種原子力探針位姿調整機構。包括探針座，調 節機構和連接頭。其中探針座用于原子力探針的安裝固定;調節機構 包括由下至上的第一調節部件、第二調節部件、第三調節部件以及第 四調節部件，分別用于原子力探針的里外水平偏擺、左右水平和上下 旋轉、上下俯仰以及上下豎直位姿調節;連接頭用于與顯微物鏡相連。 本發明能夠實現原子力探針姿態在五個自由度上的細微調節，各個調 節動作相互獨立，彼此不發生干涉，互不影響，提高了探針姿態的調 節精度;且能夠對調節后的位姿進行鎖定，使其保持穩定。
華中科技大學
2021-04-14
一種白光干涉原子力探針系統的成像自動調整裝置及其控制方 法
本發明公開了一種基于白光干涉原子力探針掃描顯微鏡探針系 統的成像自動調整裝置自動及其控制方法，該裝置主要包括計算機， 夾持機構及鉸鏈機構，原子力探針及其探針組件，白光干涉顯微系統， 面 CCD 光路連接筒。在白光干涉原子力探針顯微鏡連接完成的情況 下，根據面 CCD 上探針的成像與面 CCD 坐標系的水平夾角，通過計算機來控制舵機偏轉一定的角度，使得原子力探針在面 CCD 中的成像 與面 CCD 坐標系中的夾角在誤差范圍內，從而得到測量的結果有較小 的測量誤差。本發明可以實現探針在面 CCD 中的成
華中科技大學
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
天津大學機械學院大樣品臺原子力顯微鏡項目競爭性磋商公告
天津大學機械學院大樣品臺原子力顯微鏡項目競爭性磋商
天津大學
2022-05-27
甲醇汽車尾氣凈化單原子Pd1/Ce1-xLaxO2催化劑的研究
一、項目進展
創意計劃階段
二、負責人及成員
姓名
學院/所學專業
入學/畢業時間
學號
宋兆華
化學化工學院
2018.09-2022.06
201831045132
三、指導教師
姓名
學院/所學專業
職務/職稱
研究方向
陳永東
化學化工學院
教授
能源催化，環境催化
四、項目簡介
針對甲醇汽車尾氣凈化催化劑貴金屬Pd用量大、甲醇深度氧化起燃溫度高等問題，本項目擬以Ce1-xLaxO2為載體，采用光化學還原法制備Pd1/Ce1-xLaxO2單原子催化劑，并將其涂覆在蜂窩陶瓷上制成整體式催化劑，考察其甲醇深度氧化性能；并利用XRD、XPS、TEM、球差校正高角環形暗場掃描透射電鏡（AC-HAADF-STEM）、X射線吸收精細結構（XAFS）等技術對載體及催化劑進行系統表征，揭示載體晶相、尺寸、形貌對Pd1/Ce1-xLaxO2界面結構的影響規律；結合動力學研究，建立Pd1/Ce1-xLaxO2界面結構—催化性能之間的構-效關系；為設計和開發新型高效低貴金屬甲醇汽車尾氣凈化催化劑提供理論指導和實踐基礎。
西南石油大學
2023-07-20
在耗散弗洛凱系統的超冷原子中觀察到宇稱-時間對稱性破缺
利用周期性共振光脈沖序列導致的自旋依賴布居數耗散、射頻場耦合下的自旋拉比振蕩、以及Feshbach共振調制下的相互作用控制，在一個量子系統中同時實現了精密調控耗散、相干和相互作用三大要素，為實現宇稱-時間對稱的非厄米哈密頓量的量子模擬奠定了技術基礎。 實驗結果不僅精確地復現了在經典系統中已經觀測到的靜態哈密頓量的宇稱-時間對稱性破缺，還利用周期性耗散機制發現了在任意小耗散下的宇稱-時間對稱性破缺，觀察到系統的能量可以在極其微小的耗散下發生不可逆的發散。不同于以往靜態哈密頓量的單參數相變，周期性耗散驅動的宇稱-時間對稱性的相圖在頻率的參數空間實現延拓，在特定的頻率區間，宇稱-時間對稱性對于耗散有極其敏感的響應。這個現象之前只有理論預言，而羅樂教授小組首次在絕對零度之上500納開爾文的超冷費米氣體中首次觀測到。同時這項工作還發現了對稱性破缺點附近的慢衰變模式、類比于多光子躍遷的高階PT對稱性破缺等新穎有趣的物理現象。 目前，羅樂教授研究團隊正基于非厄米量子體系研究宇稱-時間對稱哈密頓量的拓撲量子態轉換、耗散下的量子相干態保持、以及高階奇異點附件的超靈敏能譜響應。這些研究將為基于開放量子系統的量子計算和量子精密測量開拓新的前沿。
中山大學
2021-04-13