|
搜索
搜 索
高等教育領(lǐng)域數(shù)字化綜合服務(wù)平臺(tái)
.jpg){kind=logo}
一種檢測(cè)內(nèi)核模塊在原子上下文中休眠錯(cuò)誤的方法
1.痛點(diǎn)問(wèn)題
原子上下文休眠是操作系統(tǒng)中一類(lèi)非常危險(xiǎn)并且難以發(fā)現(xiàn)的缺陷，可以導(dǎo)致偶發(fā)的系統(tǒng)死鎖和崩潰。實(shí)踐證明，現(xiàn)有的主流開(kāi)源操作系統(tǒng)存在不少該類(lèi)缺陷，會(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
.jpg){kind=logo}
多重PCR-反向斑點(diǎn)雜交技術(shù)檢測(cè)結(jié)核分枝桿菌耐藥性的方法
本發(fā)明涉及到一種多重PCR-反向斑點(diǎn)雜交技術(shù)檢測(cè)結(jié)核分枝桿菌耐藥性的方法,即是一種基于多重PCR的反向斑點(diǎn)雜交技術(shù)檢測(cè)結(jié)核分枝桿菌耐藥性的方法,包括了引物的設(shè)計(jì)、探針的設(shè)計(jì)、雜交試驗(yàn)、結(jié)果判定,能夠同時(shí)檢測(cè)結(jié)核分枝桿菌對(duì)RIF、INH和EMB三種藥的耐藥性,大大縮短了檢測(cè)的時(shí)間,結(jié)果可靠。
四川大學(xué)
2017-12-28
.jpg){kind=logo}
一種用于鑄造鋁合金表面制備復(fù)合涂層的涂料及使用方法
本發(fā)明提供了一種用于鑄造鋁合金表面制備復(fù)合涂層的涂料及使用方法，該涂料由涂料Ａ和涂料Ｂ組成，其中涂料Ａ包括Ａｌ（Ｈ２ＰＯ４）３和純水，涂料Ｂ包括Ｍｇ（Ｈ２ＰＯ４）２、純水和Ａｌ２Ｏ３粉末；該涂料的使用步驟如下：１）配制涂料Ａ和涂料Ｂ：２）將鑄造鋁合金樣品放置于堿性溶液中堿洗，之后用純水清洗，最后自然干燥后備用；３）在干燥后的鑄造鋁合金表面涂覆涂料Ａ，
東南大學(xué)
2021-04-14
農(nóng)業(yè)大學(xué).jpg){kind=logo}
一種便攜式果蔬內(nèi)部腐爛變質(zhì)檢測(cè)裝置及其檢測(cè)方法
本發(fā)明涉及果蔬檢測(cè)設(shè)備技術(shù)領(lǐng)域，公開(kāi)了一種便攜式果蔬內(nèi)部腐爛變質(zhì)檢測(cè)裝置及其檢測(cè)方法，包括：箱體，在所述箱體的內(nèi)部構(gòu)造有容納空間；設(shè)置在所述容納空間中并用于照射待測(cè)果蔬的光照結(jié)構(gòu)；設(shè)置在所述箱體的內(nèi)部并能夠沿所述箱體的縱向進(jìn)行上下往復(fù)運(yùn)動(dòng)的果蔬支撐結(jié)構(gòu)；設(shè)置在所述箱體的內(nèi)部并位于所述果蔬支撐結(jié)構(gòu)的下方的光譜傳導(dǎo)器件，用于傳導(dǎo)待測(cè)果蔬中的光譜信號(hào)；設(shè)置
中國(guó)農(nóng)業(yè)大學(xué)
2021-04-14
一種小容量薄膜電容永磁同步電機(jī)直軸電流給定控制方法
本發(fā)明公開(kāi)了一種小容量薄膜電容永磁同步電機(jī)直軸電流給定控制方法，采用小容量的薄膜電容，代替?zhèn)鹘y(tǒng)功率電路中的大容量電解電容，相比傳統(tǒng)的電機(jī)驅(qū)動(dòng)系統(tǒng)，小容量薄膜電容變頻系統(tǒng)體積得到減小，重量得到減輕。本發(fā)明不需要考慮波動(dòng)的母線電壓對(duì)交直軸參考電流的影響，相比于傳統(tǒng)的直軸電流給定方式更簡(jiǎn)單有效；交直軸電壓給定經(jīng)過(guò)陷波器，濾除特定次諧波分量，電流控制器采用內(nèi)
東南大學(xué)
2021-04-14
.jpg){kind=logo}
一種基于事件最優(yōu)重組的保時(shí)序摘要視頻生成方法與系統(tǒng)
本發(fā)明公開(kāi)了一種基于事件最優(yōu)重組的保時(shí)序摘要視頻生成方法和系統(tǒng)，將事件最優(yōu)重組問(wèn)題建立在保持事件之間的時(shí)序關(guān)系的基礎(chǔ)之上，將事件重組的問(wèn)題轉(zhuǎn)換為迭代判斷當(dāng)前事件與已發(fā)生的事件之間的軌跡相關(guān)程度以及已發(fā)生事件的疏密程度的方式來(lái)解決。通過(guò)迭代最后得到事件重組后每個(gè)事件發(fā)生的時(shí)間點(diǎn)，選取適當(dāng)?shù)谋尘皥D像與事件特定時(shí)刻的目標(biāo)圖像進(jìn)行拼接得到最終的摘要視頻。該方法能夠避免現(xiàn)行的動(dòng)態(tài)視頻摘要生成方法中不能完全包含原始視頻中的
華中科技大學(xué)
2021-04-14
一種對(duì)過(guò)渡金屬氧化物進(jìn)行本征改性引入氧空位的方法
本發(fā)明公開(kāi)了一種對(duì)過(guò)渡金屬氧化物進(jìn)行本征改性引入氧空位的方法，包括以下步驟：將過(guò)渡金屬氧化物與氧化石墨烯溶液按照元素比充分混合獲得分散液；對(duì)該分散液進(jìn)行快速冷凍干燥處理獲得中間樣品；將中間樣品再次冷凍干燥獲得金屬氧化物與氧化石墨烯復(fù)合物；對(duì)金屬氧化物與氧化石墨烯復(fù)合物進(jìn)行微波燃燒處理獲得改性材料；本發(fā)明采用過(guò)渡金屬氧化物與氧化石墨烯作為原料，將原料進(jìn)行均勻包覆、冷凍、干燥、微波燃燒處理，通過(guò)控制濃度、冷凍干燥的
華中科技大學(xué)
2021-04-14
一種站坐兩用式的雙輪自平衡車(chē)及其平衡控制方法
本發(fā)明公開(kāi)了一種站坐兩用式的兩輪自平衡車(chē)的平衡控制方法， 包括采集電池電壓，判斷電池電壓是否正常，判斷自平衡車(chē)是否處于 鎖車(chē)狀態(tài)，采集腳踏信號(hào)，判斷是否有腳踩在自平衡車(chē)踏板上，以及 采集自平衡車(chē)當(dāng)前俯仰角和俯仰角速度、左右車(chē)輪轉(zhuǎn)速等狀態(tài)信息， 和控制平衡車(chē)行駛速度速的油門(mén)指令、控制平衡車(chē)轉(zhuǎn)向速度的轉(zhuǎn)向指 令，通過(guò)狀態(tài)反饋控制器實(shí)時(shí)計(jì)算并給定左伺服電機(jī)和右伺服電機(jī)的 驅(qū)動(dòng)電壓，從而使車(chē)主體在直行和轉(zhuǎn)彎過(guò)程中保持平衡，并根據(jù)駕駛 者的意愿實(shí)施加減速和轉(zhuǎn)向。本發(fā)明具有靈活、安全、節(jié)能的啟動(dòng)方 式。
華中科技大學(xué)
2021-04-14
一種染料敏化太陽(yáng)能電池光陰極及其制備方法和應(yīng)用
本發(fā)明公開(kāi)了一種染料敏化太陽(yáng)能電池光陰極及其制備方法和 應(yīng)用。該方法包括如下步驟：(1)在具有熱收縮特性的聚合物基底上沉 積一層透明導(dǎo)電薄膜；(2)在透明導(dǎo)電薄膜表面沉積一層金屬薄膜；(3) 對(duì)步驟(2)得到的結(jié)構(gòu)進(jìn)行退火處理，使基底受熱收縮，在透明導(dǎo)電薄 膜和金屬薄膜上形成褶皺和間隙，完成光陰極的制備。本發(fā)明能顯著 提高光陰極的催化面積，提高光陰極對(duì)透過(guò)光的反射率和散射率，進(jìn) 而提高光陰極的還原效率及光陽(yáng)極對(duì)入射光的利用率，最終提高染料·119·敏化太陽(yáng)能電池的光電轉(zhuǎn)換
華中科技大學(xué)
2021-04-14
一種螺旋立銑刀正交車(chē)銑加工三維穩(wěn)定性建模方法
本發(fā)明公開(kāi)了一種螺旋立銑刀正交車(chē)銑加工三維穩(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