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