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