|
搜索
搜 索
高等教育領(lǐng)域數(shù)字化綜合服務(wù)平臺(tái)
.jpg){kind=logo}
一種檢測(cè)內(nèi)核模塊在原子上下文中休眠錯(cuò)誤的方法
1.痛點(diǎn)問題
原子上下文休眠是操作系統(tǒng)中一類非常危險(xiǎn)并且難以發(fā)現(xiàn)的缺陷，可以導(dǎo)致偶發(fā)的系統(tǒng)死鎖和崩潰。實(shí)踐證明，現(xiàn)有的主流開源操作系統(tǒng)存在不少該類缺陷，會(huì)引起實(shí)際的安全問題。隨著系統(tǒng)軟件自主化和物聯(lián)網(wǎng)技術(shù)的發(fā)展，越來越多的國(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ù)還綜合采用了流敏感分析、過程間分析、基于約束求解的路徑檢查和別名分析等，能夠有效降低誤報(bào)和漏報(bào)，并提升分析效率。
本技術(shù)的工作流程是自動(dòng)的，不需要開發(fā)者和測(cè)試者手動(dòng)分析和修改被測(cè)操作系統(tǒng)的源代碼。因此，本發(fā)明可以應(yīng)用于原子上下文休眠缺陷的檢測(cè)，提高操作系統(tǒng)的安全性和可靠性。
合作需求
尋求對(duì)系統(tǒng)軟件缺陷檢測(cè)有需求的科技企業(yè)和科研單位，開展成果落地轉(zhuǎn)化，以及探索服務(wù)模式。
清華大學(xué)
2022-05-20
科學(xué)技術(shù)大學(xué).jpg){kind=logo}
中國(guó)科大在基于里德堡原子的多頻率微波無線傳感方面取得重要進(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
.jpg){kind=logo}
一種強(qiáng)穩(wěn)定性樹枝盒狀溴化物鈣鈦礦量子點(diǎn)制備方法
本發(fā)明公開了一種強(qiáng)穩(wěn)定性樹枝盒狀溴化物鈣鈦礦量子點(diǎn)制備方法，該量子點(diǎn)材料為聚酰胺胺樹狀分子(PAMAM)包裹的CH3NH3PbBr3，結(jié)構(gòu)式為PAMAM?CH3NH3PbBr3。其制備方法包括如下步驟：(1)以官能團(tuán)為羧基的PAMAM和正辛胺作為配體輔助制備PAMAM?CH3NH3PbBr3前驅(qū)體溶液；(2)將前驅(qū)體溶液轉(zhuǎn)換到甲苯中，搖勻形成PAMAM?CH3NH3PbBr3量子點(diǎn)。本發(fā)明使用一鍋法制備鈣鈦礦量子點(diǎn)，簡(jiǎn)單易操作，原料供給方便，在一般實(shí)驗(yàn)室均能完成，易于推廣。
東南大學(xué)
2021-04-11
農(nóng)業(yè)大學(xué).jpg){kind=logo}
一種判斷電力系統(tǒng)靜態(tài)電壓穩(wěn)定性的方法及裝置
本發(fā)明實(shí)施例提供一種判斷電力系統(tǒng)靜態(tài)電壓穩(wěn)定性的方法及裝置。所述方法包括：獲取電力系統(tǒng)中各節(jié)點(diǎn)電壓在不同電壓區(qū)間的分布概率；利用所述不同電壓區(qū)間的權(quán)值對(duì)所述分布概率進(jìn)行加權(quán)，獲得加權(quán)電壓熵，進(jìn)而判斷所述電力系統(tǒng)靜態(tài)電壓的穩(wěn)定性。本發(fā)明實(shí)施例考慮各區(qū)間電壓水平不相同的情況，利用所述不同電壓區(qū)間的權(quán)值對(duì)所述分布概率進(jìn)行加權(quán)獲得加權(quán)電壓熵，進(jìn)而利用加權(quán)電壓熵來判斷電力系統(tǒng)靜態(tài)電壓的穩(wěn)定性；無需知道電力系統(tǒng)的具體參數(shù)，計(jì)算量小，簡(jiǎn)單高效，而且不會(huì)隨著電力系統(tǒng)規(guī)模的增大而增加計(jì)算量。
中國(guó)農(nóng)業(yè)大學(xué)
2021-04-11
.jpg){kind=logo}
一種螺旋立銑刀正交車銑加工三維穩(wěn)定性建模方法
本發(fā)明公開了一種螺旋立銑刀正交車銑加工三維穩(wěn)定性建模方 法，包括以下步驟:(1)將機(jī)床-刀具-工件系統(tǒng)簡(jiǎn)化為質(zhì)塊-彈簧-阻尼器 連接的振動(dòng)系統(tǒng)，建立坐標(biāo)系 xFyFzF，建立振動(dòng)系統(tǒng)動(dòng)力學(xué)方程;(2) 利用錘擊法模態(tài)試驗(yàn)分別得到振動(dòng)系統(tǒng)分別在 xF，yF，zF 每個(gè)方向的 頻響函數(shù)，辨識(shí)出振動(dòng)系統(tǒng)的模態(tài)質(zhì)量、剛度和阻尼，計(jì)算振動(dòng)系統(tǒng)的慣性力、彈簧力、阻尼力;(3)計(jì)算螺旋立銑刀的動(dòng)態(tài)切削力;(4)求 解振動(dòng)系統(tǒng)動(dòng)力學(xué)方程得到振動(dòng)系統(tǒng)的穩(wěn)定性葉瓣圖。本發(fā)明考慮了
華中科技大學(xué)
2021-04-14
電磁鐵電源磁場(chǎng)實(shí)驗(yàn)室勵(lì)磁電源恒流驅(qū)動(dòng)高穩(wěn)定性
北京錦正茂科技有限公司
2022-02-21
一種五自由度的白光干涉原子力探針位姿調(diào)整機(jī)構(gòu)
本發(fā)明公開了一種原子力探針位姿調(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ā)明公開了一種基于白光干涉原子力探針掃描顯微鏡探針系 統(tǒng)的成像自動(dòng)調(diào)整裝置自動(dòng)及其控制方法，該裝置主要包括計(jì)算機(jī)， 夾持機(jī)構(gòu)及鉸鏈機(jī)構(gòu)，原子力探針及其探針組件，白光干涉顯微系統(tǒng)， 面 CCD 光路連接筒。在白光干涉原子力探針顯微鏡連接完成的情況 下，根據(jù)面 CCD 上探針的成像與面 CCD 坐標(biāo)系的水平夾角，通過計(jì)算機(jī)來控制舵機(jī)偏轉(zhuǎn)一定的角度，使得原子力探針在面 CCD 中的成像 與面 CCD 坐標(biāo)系中的夾角在誤差范圍內(nèi)，從而得到測(cè)量的結(jié)果有較小 的測(cè)量誤差。本發(fā)明可以實(shí)現(xiàn)探針在面 CCD 中的成
華中科技大學(xué)
2021-04-14
.jpg){kind=logo}
大型沉管隧道水下基槽浚邊坡穩(wěn)定性、承載力和變形分析
1.依據(jù)海河實(shí)際土質(zhì)條件，提出了基槽水下開挖下部和上部坡率建議值；2.提出了適合濱海軟土地層特性的水下開挖法及合理的超挖值；3.提出了適合海河沉管隧道的水下邊坡檢測(cè)要求和減少基底回淤的施工措施；4.通過應(yīng)力路徑試驗(yàn)方法，進(jìn)行模擬基坑開挖時(shí)主動(dòng)區(qū)側(cè)向卸荷試驗(yàn)（DEP）和固結(jié)試驗(yàn)，得到主動(dòng)區(qū)卸荷狀態(tài)下土的強(qiáng)度參數(shù)；5.編制了天津市地方標(biāo)準(zhǔn)《內(nèi)河沉管法隧道設(shè)計(jì)、施工及驗(yàn)收規(guī)范》DB/T29-219-2013。 在海河下游軟土地層環(huán)境下，針對(duì)內(nèi)河沉管沉放過程中存在的技術(shù)難題，形成了對(duì)沉
天津城建大學(xué)
2021-01-12
一種考慮風(fēng)速和負(fù)荷不確定性的風(fēng)機(jī)準(zhǔn)入容量檢測(cè)優(yōu)化方法
本申請(qǐng)公開了一種考慮風(fēng)速和負(fù)荷不確定性的風(fēng)機(jī)準(zhǔn)入容量檢 測(cè)優(yōu)化方法，屬于含風(fēng)機(jī)的配電網(wǎng)安全穩(wěn)定研究領(lǐng)域。現(xiàn)有技術(shù)中， 都沒有考慮風(fēng)速的不確定性，并且網(wǎng)絡(luò)中的負(fù)荷處于波動(dòng)狀態(tài)，與風(fēng) 速結(jié)合起來，增加了不確定性因素的維度，本申請(qǐng)基于快速解耦法和 魯棒優(yōu)化理論，通過確定風(fēng)速和負(fù)荷的波動(dòng)范圍，提出了魯棒優(yōu)化方 法，該方法不僅可以實(shí)現(xiàn)在風(fēng)速和負(fù)荷不確定下的單點(diǎn)風(fēng)機(jī)準(zhǔn)入研究， 還可以計(jì)算多點(diǎn)接入時(shí)組合風(fēng)機(jī)的容量。
華中科技大學(xué)
2021-04-14