|
搜索
搜 索
高等教育領域數(shù)字化綜合服務平臺
一種檢測內(nèi)核模塊在原子上下文中休眠錯誤的方法
1.痛點問題
原子上下文休眠是操作系統(tǒng)中一類非常危險并且難以發(fā)現(xiàn)的缺陷，可以導致偶發(fā)的系統(tǒng)死鎖和崩潰。實踐證明，現(xiàn)有的主流開源操作系統(tǒng)存在不少該類缺陷，會引起實際的安全問題。隨著系統(tǒng)軟件自主化和物聯(lián)網(wǎng)技術的發(fā)展，越來越多的國產(chǎn)操作系統(tǒng)誕生并被廣泛使用，而這些國產(chǎn)操作系統(tǒng)中也會存在原子上下文休眠的缺陷，嚴重影響系統(tǒng)可靠性和安全性。由于操作系統(tǒng)具有代碼量大、邏輯復雜和并發(fā)程度高等特點，對其進行代碼分析和缺陷檢測是比較困難的。
2.解決方案
本技術提出了一種檢測原子上下文休眠缺陷的方法，包含了兩個創(chuàng)新點：
1)自適應流敏感分析算法，能夠較為準確高效地找出在原子上下文中被調(diào)用的函數(shù)；
2)函數(shù)調(diào)用圖的檢查算法，能夠較為準確地判斷函數(shù)是否可以休眠。
本技術還綜合采用了流敏感分析、過程間分析、基于約束求解的路徑檢查和別名分析等，能夠有效降低誤報和漏報，并提升分析效率。
本技術的工作流程是自動的，不需要開發(fā)者和測試者手動分析和修改被測操作系統(tǒng)的源代碼。因此，本發(fā)明可以應用于原子上下文休眠缺陷的檢測，提高操作系統(tǒng)的安全性和可靠性。
合作需求
尋求對系統(tǒng)軟件缺陷檢測有需求的科技企業(yè)和科研單位，開展成果落地轉(zhuǎn)化，以及探索服務模式。
清華大學
2022-05-20
中國科大在基于里德堡原子的多頻率微波無線傳感方面取得重要進展
有效地解碼了一個含噪聲QR碼的FDM相移鍵控信號，準確率高達99.32%,研究成果表明，基于深度學習增強的里德堡微波接收器可允許一次直接解碼20路頻分復用(FDM)信號，不需要多個帶通濾波器和其他復雜電路。
中國科學技術大學
2022-06-02
固相力化學制備聚合物超細粉體新技術
聚合物超細微粉是經(jīng)過一定工藝過程制備的具有微米到納米尺寸的聚合物粉體材料，具有獨特的性能，應用廣泛。然而由于聚合物強韌性、低軟化溫度，實現(xiàn)聚合物的超微細化難度較高。傳統(tǒng)的機械粉碎法能耗高，對強韌性聚合物需深冷粉碎，有時需引入酸堿介質(zhì)，且達到的粒度有限。本項目利用具有自主知識產(chǎn)權的固相磨盤形力化學反應器獨特結構產(chǎn)生的強大擠壓剪切力或在優(yōu)選的助磨劑共同作用下實現(xiàn)脆性、彈性和強韌性聚合物如PP、PS、PE、PA6、SBS等的有效粉碎，可制備粒度可達微米級的單一聚合物超細微粉、混合聚合物超細微粉、聚合物共混物超細微粉以及聚合物/無機物復合超細微粉。
四川大學
2021-04-11
一種考慮力載荷的板結構屈曲溫度分析方法
本發(fā)明公開了一種考慮力載荷的板結構屈曲溫度分析方法，計算考慮熱效應的結構線性剛度矩陣和熱應力剛度矩陣，計算板結構在力載荷作用下的結構位移；建立考慮結構變形的板結構線性剛度矩陣和非線性剛度矩陣，計算給定熱載荷作用下的結構熱應力剛度矩陣；計算結構屈曲因子，計算得到板結構此時的屈曲溫度；計算所得屈曲溫度和給定熱載荷的誤差值，若誤差值在容許值范圍內(nèi)，則得到板結構最終的屈曲溫度等于所得屈曲溫度，否則將所得屈曲溫度作為新的給定熱載荷，并更新對應溫度的結構材料參數(shù)，重新計算直至最終獲得考慮力載荷的板結構屈曲溫度。本發(fā)明能夠有效提高復雜環(huán)境下板結構屈曲溫度分析精度。
東南大學
2021-04-11
回轉(zhuǎn)窯托輪軸向力測量儀傳動裝置
本實用新型涉及回轉(zhuǎn)窯托輪軸向力測量儀傳動裝置，由中心桿、防護罩、螺栓、傳感器連接件構成，其中心桿與傳感器連接件之間設有防護罩，中心桿的底部扣在防護罩內(nèi)，中心桿內(nèi)安裝一推力桿，其推力桿上設有壓縮彈簧，推力桿的底部安裝一彈性擋圈；防護罩中心軸處安裝一推力軸承，傳感器連接件的頂部通過螺栓固定在防護罩內(nèi)，傳感器連接件頂端內(nèi)側固定一蝶形彈簧，本實用新型的有益效果為：通過檢測出這個軸向力，并調(diào)整使托輪軸向力在合理的范圍，可以有效避免這些事故的發(fā)生，這對維持設備的正常運行。
安徽建筑大學
2021-01-12
無縫線路軌道結構鋼軌縱向力的測試方法
本發(fā)明屬于交通技術領域，具體涉及一種無縫線路軌道結構鋼軌縱向力的測試方法。 本發(fā)明根據(jù)無縫線路鋼軌橫向振動阻尼將隨其所受軸向載荷的加大和無縫線路鋼軌橫 向振動自振頻率隨其所受軸向載荷的加大而減小的原理，通過測定某一瞬態(tài)激勵下無縫 線路鋼軌振動響應的時間歷程波形，測得其自振頻率或振動阻尼系數(shù)，參照對應的標準 關系曲線，求出被測點鋼軌實際縱向力值；預測無縫線路軌道的穩(wěn)定性。本發(fā)明方法可 根據(jù)具體要求進行多點實測，不影響軌道結構和列車運行，可以在鋼軌承受縱向拉力或 承受縱向壓力的狀態(tài)下測試，不受鋼軌鎖定軌溫的影響，容易實施，便于操作。
同濟大學
2021-04-13
連鑄結晶器摩擦力專用數(shù)據(jù)庫軟件
該軟件用于連鑄結晶器摩擦力數(shù)據(jù)的在線分析和離線分析。它將 MDF 數(shù)據(jù)和連鑄工藝參數(shù)數(shù)據(jù)庫進行關聯(lián)，實現(xiàn)信息集成，是分析摩擦力變化趨勢、規(guī)律和進行事故分析的方便工具。對于工藝參數(shù)數(shù)據(jù)庫經(jīng)常和可能出現(xiàn)的錯誤，做了一系列的容錯算法和經(jīng)驗處理，目前的摩擦力專用數(shù)據(jù)庫能將每一塊坯的各種工藝信息與此板坯在結晶器中的摩擦力信息較好地一一對應，且操作方便。可按 cast _no 、爐號（ pono ）、坯號（ slab_no ）三種方式分別對應找到其在結晶器內(nèi)的摩擦力信息。本軟件具有數(shù)據(jù)導入、曲線瀏覽、表格瀏覽、曲線打印、報表打印（表格打印）等功能。軟件將原始專用數(shù)據(jù)表（這里稱作工藝數(shù)據(jù)表）、摩擦力數(shù)據(jù)文件導入到軟件專用的數(shù)據(jù)庫中，點擊工具條上的查詢按鈕，即可以三種方式瀏覽工藝參數(shù)、摩擦力數(shù)據(jù)，生成曲線，打印曲線和報表。
大連理工大學
2021-04-13
大學.jpg){kind=logo}
基于余能原理的基面力元法及其計算軟件
北京工業(yè)大學
2021-04-14
藥大學.jpg){kind=logo}
成都市民營醫(yī)院競爭力的調(diào)查與分析
成都市民營醫(yī)院競爭力的調(diào)查與分析
成都中醫(yī)藥大學
2015-05-24
一種減小插拔力且便于插拔的連接器
本發(fā)明公開了一種減小插拔力且便于插拔的連接器，它包括插頭和插座，當插頭插入插座時，導向金屬外殼（4）接觸到插座的鎖扣鈕（10）的弧形面（21），其按壓力的豎直向下的分力將鎖扣鈕（10）按下，鎖扣鈕（10）和壓板（11）靠楔形面接觸，鎖扣鈕（10）推動壓板（11）沿嵌合方向向前移動，進而壓板（11）使兩片弧形導電簧片（27）之間的間距增大，此時，插座的插針不會和弧形導電簧片接觸，當插針到位后，鎖扣鈕正好從鎖孔（24）中彈起，實現(xiàn)鎖定。本發(fā)明的有益效果是：插拔操作方便，插針插拔過程中插拔力小或無插拔力，從而大大延長連接器使用壽命；減小了連接器尺寸，可布置更多的插針；降低插針和插孔的制造加工難度。
四川大學
2016-10-25