|
搜索
搜 索
高等教育領域數字化綜合服務平臺
一種檢測內核模塊在原子上下文中休眠錯誤的方法
1.痛點問題
原子上下文休眠是操作系統中一類非常危險并且難以發現的缺陷，可以導致偶發的系統死鎖和崩潰。實踐證明，現有的主流開源操作系統存在不少該類缺陷，會引起實際的安全問題。隨著系統軟件自主化和物聯網技術的發展，越來越多的國產操作系統誕生并被廣泛使用，而這些國產操作系統中也會存在原子上下文休眠的缺陷，嚴重影響系統可靠性和安全性。由于操作系統具有代碼量大、邏輯復雜和并發程度高等特點，對其進行代碼分析和缺陷檢測是比較困難的。
2.解決方案
本技術提出了一種檢測原子上下文休眠缺陷的方法，包含了兩個創新點：
1)自適應流敏感分析算法，能夠較為準確高效地找出在原子上下文中被調用的函數；
2)函數調用圖的檢查算法，能夠較為準確地判斷函數是否可以休眠。
本技術還綜合采用了流敏感分析、過程間分析、基于約束求解的路徑檢查和別名分析等，能夠有效降低誤報和漏報，并提升分析效率。
本技術的工作流程是自動的，不需要開發者和測試者手動分析和修改被測操作系統的源代碼。因此，本發明可以應用于原子上下文休眠缺陷的檢測，提高操作系統的安全性和可靠性。
合作需求
尋求對系統軟件缺陷檢測有需求的科技企業和科研單位，開展成果落地轉化，以及探索服務模式。
清華大學
2022-05-20
中國科大在基于里德堡原子的多頻率微波無線傳感方面取得重要進展
有效地解碼了一個含噪聲QR碼的FDM相移鍵控信號，準確率高達99.32%,研究成果表明，基于深度學習增強的里德堡微波接收器可允許一次直接解碼20路頻分復用(FDM)信號，不需要多個帶通濾波器和其他復雜電路。
中國科學技術大學
2022-06-02
新型手性Ir(III)催化劑誘導的分子內碳氫鍵氨基化反應-γ-內酰胺的高效構筑
基于前期關于雙齒導向基團輔助的C-H鍵活化策略，利用氨基酸作為母體結構，設計合成了一類含有8-氨基喹啉基團的新型手性配體（QAAligands），并制備了相應的手性Ir(III)催化劑。在該催化劑的作用下，可以精準調控二噁唑酮類化合物分子內的C(sp3)-H鍵胺化反應，以大于99%ee實現γ-內酰胺的高效不對稱合成。該類新型催化劑具有一定的類酶特性，可以容忍大量水的存在，并且水的存在對于特定底物具有明顯的促進效果。通過對催化劑的單晶結構進行分析，作者發現該類手性Ir(III)催化劑中的五甲基環戊二烯基(Cp*)，8-氨基喹啉（AQ）和鄰苯二甲酰胺（NPhth）組成了一個規則的溝狀手性空腔，金屬中心處于手性空腔的內部，從而使其具有優異的立體控制能力。通過與韓國高等技術研究院的SukbokChang教授合作進行計算化學的研究發現手性控制的關鍵因素是底物中的C-H鍵與NPhth基團存在多個C-H/π弱相互作用。
南開大學
2021-04-10
中國科學技術大學實現具有聚集可調雙發射性質的三維手性分子碳納米環
具有聚集誘導發射(AIE)和聚集誘導猝滅(ACQ)效應的雙發射有機材料在文獻中很少報道，通過調控這類有機分子的聚集程度可以實現多色熒光發射。中國科學技術大學杜平武教授課題組合成了首個具有聚集可調雙發射性質的手性雙環分子，并與楊上峰教授課題組合作，通過AIE效應實現了圓偏振發光性質（CPL）的增強。
中國科學技術大學
2022-07-11
手性 2,4-二取代-噻唑酮類化合物及其制備和在制備抗癌 藥物中的應用
手性藥物是由具有藥理活性的手性化合物組成，它在人體內通過與生物大分子間相互手性匹配和分子識別而發揮治療作用。雖然對應異構體藥物在體外的物理化學性質基本上相同，但是，由于藥物分子所作用的受體或靶位是由氨基酸、核苷、膜等組成的手性蛋白和核酸大分子等，它們對與其結合的藥物分子的空間立體構型有一定的要求，因此，對映異構體藥物在體內往往呈現很大的藥效學、代謝動力學等方面的差異。在二十世紀末，隨著人們對對映異構體藥物的研究與認識不斷深入，FDA 等藥政部門于 1992 年開始把對應異構體藥物當做混合物加以審批，
蘭州大學
2021-04-14
一種五自由度的白光干涉原子力探針位姿調整機構
本發明公開了一種原子力探針位姿調整機構。包括探針座，調 節機構和連接頭。其中探針座用于原子力探針的安裝固定;調節機構 包括由下至上的第一調節部件、第二調節部件、第三調節部件以及第 四調節部件，分別用于原子力探針的里外水平偏擺、左右水平和上下 旋轉、上下俯仰以及上下豎直位姿調節;連接頭用于與顯微物鏡相連。 本發明能夠實現原子力探針姿態在五個自由度上的細微調節，各個調 節動作相互獨立，彼此不發生干涉，互不影響，提高了探針姿態的調 節精度;且能夠對調節后的位姿進行鎖定，使其保持穩定。
華中科技大學
2021-04-14
一種白光干涉原子力探針系統的成像自動調整裝置及其控制方 法
本發明公開了一種基于白光干涉原子力探針掃描顯微鏡探針系 統的成像自動調整裝置自動及其控制方法，該裝置主要包括計算機， 夾持機構及鉸鏈機構，原子力探針及其探針組件，白光干涉顯微系統， 面 CCD 光路連接筒。在白光干涉原子力探針顯微鏡連接完成的情況 下，根據面 CCD 上探針的成像與面 CCD 坐標系的水平夾角，通過計算機來控制舵機偏轉一定的角度，使得原子力探針在面 CCD 中的成像 與面 CCD 坐標系中的夾角在誤差范圍內，從而得到測量的結果有較小 的測量誤差。本發明可以實現探針在面 CCD 中的成
華中科技大學
2021-04-14
陜西省獲批建設國家級知識產權保護中心
至此，全國在建和已建成運行的國家級知識產權保護中心數量達到61家
國家知識產權局
2022-10-14
納米銀表面改性聚氨酯中心靜脈導管及其制備方法
鑒于醫用導管在臨床應用或儲存中容易被細菌污染，帶來感染問題；本技術成果對醫用聚氨酯中心靜 脈導管進行表面改性，賦予導管表面廣譜、強效的抗菌性能。基于紫外光輻照化學鍍反應，在聚氨酯中心 靜脈導管表面原位將銀離子還原成納米銀。本技術成果制備的納米銀表面改性聚氨酯中心靜脈導管具有較 患者進行放射性口腔黏膜炎發病風險預測，對高危個體提前采取針對性的預防措施，實現個體化治療，顯 強的抗菌和抗感染性能，應用前景廣泛。 得尤為重要。
中山大學
2021-04-10
第三方超大規模云災備中心
項目簡介：一種新的基于云計算的第三方超大規模云災備中心，突破了傳統容災備份系統對線路穩定性以及可靠性要求高等技術難題，提供基于Internet的共享備份中心數據容災，支持完全備份、差異備份、數據鏡像以及基于差異的快速恢復等功能，可滿足超過10萬個Windows、Linux以及Unix等用戶對邏輯卷、數據庫、文件等的容災備份需求，支持公共災備中心的建設及運營；單個文件最大可達2TB，備份中心存儲容量超過24PB，提供數據動態遷移、數據加密等功能，提供靈活的統計和計費管理。本項目研究前后歷時16年，具有完全的自主知識產權和自控權，擁有28項國家發明專利，通過了由金怡濂、沈昌祥、李德毅、朱中梁、黃先祥院士等參加的技術成果鑒定，專家認為“突破了傳統容災抗毀系統依賴高速專線這一長期困擾業界的技術難題，顯著地降低了容災抗毀系統的建造成本和使用成本”，“具有獨創性和開拓性”。產品已小規模推廣應用，用戶單位包括四川省財政系統（21個地市州、183個縣）等，經濟效益、社會效益顯著，獲2008年四川省科技進步一等獎、2010年中國人民解放軍科技進步一等獎。
四川大學
2021-04-11