|
搜索
搜 索
高等教育領域數字化綜合服務平臺
一種檢測內核模塊在原子上下文中休眠錯誤的方法
1.痛點問題
原子上下文休眠是操作系統中一類非常危險并且難以發現的缺陷，可以導致偶發的系統死鎖和崩潰。實踐證明，現有的主流開源操作系統存在不少該類缺陷，會引起實際的安全問題。隨著系統軟件自主化和物聯網技術的發展，越來越多的國產操作系統誕生并被廣泛使用，而這些國產操作系統中也會存在原子上下文休眠的缺陷，嚴重影響系統可靠性和安全性。由于操作系統具有代碼量大、邏輯復雜和并發程度高等特點，對其進行代碼分析和缺陷檢測是比較困難的。
2.解決方案
本技術提出了一種檢測原子上下文休眠缺陷的方法，包含了兩個創新點：
1)自適應流敏感分析算法，能夠較為準確高效地找出在原子上下文中被調用的函數；
2)函數調用圖的檢查算法，能夠較為準確地判斷函數是否可以休眠。
本技術還綜合采用了流敏感分析、過程間分析、基于約束求解的路徑檢查和別名分析等，能夠有效降低誤報和漏報，并提升分析效率。
本技術的工作流程是自動的，不需要開發者和測試者手動分析和修改被測操作系統的源代碼。因此，本發明可以應用于原子上下文休眠缺陷的檢測，提高操作系統的安全性和可靠性。
合作需求
尋求對系統軟件缺陷檢測有需求的科技企業和科研單位，開展成果落地轉化，以及探索服務模式。
清華大學
2022-05-20
一種深孔加工用超細硬質合金刀具材料的制備方法
本發明公開了一種深孔加工用超細硬質合金刀具材料的制備方法，其特征是采用VC-Co飽和固溶體為粘結相，并通過超聲分散和pH值調節使表面包覆吐溫80分子膜；采用（WC，VC）二元復合粉末實現VC對WC晶界面遷移抑制；控制用于提高紅硬性的(W，Ta)C粉末的重量*平均粒度=（WC，VC）粉末的重量*平均粒度，使二者顆粒數匹配。
四川大學
2017-12-28
一種光控開關型TiO2納米顆粒表面活性劑
本成果來自國家科技計劃項目，獲國家發明專利授權。在許多工業應用中，往往要求不改變體系的組成和熱動力學狀態，原位調控表面活性劑的性質，引起乳液定時定量地發生相變化（油包水乳液→破乳分相→水包油乳液）。本成果納米顆粒表面活性劑具備“非介入原位調控”和“可回收”優勢，無需改變體系環境參數，僅需光照/黑暗的交替可實現乳液的相轉變，操作便捷，可適合遠程控制和有毒害場合使用，適用于材料合成、化妝品制備、乳液反應體系、污水處理等。這項研究成果在化妝品、食品、醫療衛生、新型材料、藥物緩釋、食品工業、精細化工、石油化工等領域具有廣闊的應用前景
西南交通大學
2016-06-24
一種用于鑄造鋁合金表面制備復合涂層的涂料及使用方法
本發明提供了一種用于鑄造鋁合金表面制備復合涂層的涂料及使用方法，該涂料由涂料Ａ和涂料Ｂ組成，其中涂料Ａ包括Ａｌ（Ｈ２ＰＯ４）３和純水，涂料Ｂ包括Ｍｇ（Ｈ２ＰＯ４）２、純水和Ａｌ２Ｏ３粉末；該涂料的使用步驟如下：１）配制涂料Ａ和涂料Ｂ：２）將鑄造鋁合金樣品放置于堿性溶液中堿洗，之后用純水清洗，最后自然干燥后備用；３）在干燥后的鑄造鋁合金表面涂覆涂料Ａ，
東南大學
2021-04-14
一種便攜式果蔬內部腐爛變質檢測裝置及其檢測方法
本發明涉及果蔬檢測設備技術領域，公開了一種便攜式果蔬內部腐爛變質檢測裝置及其檢測方法，包括：箱體，在所述箱體的內部構造有容納空間；設置在所述容納空間中并用于照射待測果蔬的光照結構；設置在所述箱體的內部并能夠沿所述箱體的縱向進行上下往復運動的果蔬支撐結構；設置在所述箱體的內部并位于所述果蔬支撐結構的下方的光譜傳導器件，用于傳導待測果蔬中的光譜信號；設置
中國農業大學
2021-04-14
一種小容量薄膜電容永磁同步電機直軸電流給定控制方法
本發明公開了一種小容量薄膜電容永磁同步電機直軸電流給定控制方法，采用小容量的薄膜電容，代替傳統功率電路中的大容量電解電容，相比傳統的電機驅動系統，小容量薄膜電容變頻系統體積得到減小，重量得到減輕。本發明不需要考慮波動的母線電壓對交直軸參考電流的影響，相比于傳統的直軸電流給定方式更簡單有效；交直軸電壓給定經過陷波器，濾除特定次諧波分量，電流控制器采用內
東南大學
2021-04-14
一種基于事件最優重組的保時序摘要視頻生成方法與系統
本發明公開了一種基于事件最優重組的保時序摘要視頻生成方法和系統，將事件最優重組問題建立在保持事件之間的時序關系的基礎之上，將事件重組的問題轉換為迭代判斷當前事件與已發生的事件之間的軌跡相關程度以及已發生事件的疏密程度的方式來解決。通過迭代最后得到事件重組后每個事件發生的時間點，選取適當的背景圖像與事件特定時刻的目標圖像進行拼接得到最終的摘要視頻。該方法能夠避免現行的動態視頻摘要生成方法中不能完全包含原始視頻中的
華中科技大學
2021-04-14
一種可判別彎曲方向的曲率和溫度同時測量的光纖傳感器
本發明公開了一種可判別彎曲方向的曲率和溫度同時測量的光 纖傳感器，包括寬帶光源、第一單模光纖、第一熔接點、第一細芯光 纖、細芯長周期光纖光柵、第二細芯光纖、第二熔接點、第二單模光 纖和光譜儀；寬帶光源與第一單模光纖連接，第一單模光纖與第一細 芯光纖的連接點構成第一熔接點；第一熔接點、第一細芯光纖和細芯 長周期光纖光柵的連接構成在線馬赫澤德干涉結構，實現了在線馬赫 澤德干涉結構與細芯長周期光纖光柵的級聯；第二細芯光纖和
華中科技大學
2021-04-14
一種對過渡金屬氧化物進行本征改性引入氧空位的方法
本發明公開了一種對過渡金屬氧化物進行本征改性引入氧空位的方法，包括以下步驟：將過渡金屬氧化物與氧化石墨烯溶液按照元素比充分混合獲得分散液；對該分散液進行快速冷凍干燥處理獲得中間樣品；將中間樣品再次冷凍干燥獲得金屬氧化物與氧化石墨烯復合物；對金屬氧化物與氧化石墨烯復合物進行微波燃燒處理獲得改性材料；本發明采用過渡金屬氧化物與氧化石墨烯作為原料，將原料進行均勻包覆、冷凍、干燥、微波燃燒處理，通過控制濃度、冷凍干燥的
華中科技大學
2021-04-14
一種站坐兩用式的雙輪自平衡車及其平衡控制方法
本發明公開了一種站坐兩用式的兩輪自平衡車的平衡控制方法， 包括采集電池電壓，判斷電池電壓是否正常，判斷自平衡車是否處于 鎖車狀態，采集腳踏信號，判斷是否有腳踩在自平衡車踏板上，以及 采集自平衡車當前俯仰角和俯仰角速度、左右車輪轉速等狀態信息， 和控制平衡車行駛速度速的油門指令、控制平衡車轉向速度的轉向指 令，通過狀態反饋控制器實時計算并給定左伺服電機和右伺服電機的 驅動電壓，從而使車主體在直行和轉彎過程中保持平衡，并根據駕駛 者的意愿實施加減速和轉向。本發明具有靈活、安全、節能的啟動方 式。
華中科技大學
2021-04-14