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