|
搜索
搜 索
高等教育領域數字化綜合服務平臺
一種檢測內核模塊在原子上下文中休眠錯誤的方法
1.痛點問題
原子上下文休眠是操作系統中一類非常危險并且難以發現的缺陷，可以導致偶發的系統死鎖和崩潰。實踐證明，現有的主流開源操作系統存在不少該類缺陷，會引起實際的安全問題。隨著系統軟件自主化和物聯網技術的發展，越來越多的國產操作系統誕生并被廣泛使用，而這些國產操作系統中也會存在原子上下文休眠的缺陷，嚴重影響系統可靠性和安全性。由于操作系統具有代碼量大、邏輯復雜和并發程度高等特點，對其進行代碼分析和缺陷檢測是比較困難的。
2.解決方案
本技術提出了一種檢測原子上下文休眠缺陷的方法，包含了兩個創新點：
1)自適應流敏感分析算法，能夠較為準確高效地找出在原子上下文中被調用的函數；
2)函數調用圖的檢查算法，能夠較為準確地判斷函數是否可以休眠。
本技術還綜合采用了流敏感分析、過程間分析、基于約束求解的路徑檢查和別名分析等，能夠有效降低誤報和漏報，并提升分析效率。
本技術的工作流程是自動的，不需要開發者和測試者手動分析和修改被測操作系統的源代碼。因此，本發明可以應用于原子上下文休眠缺陷的檢測，提高操作系統的安全性和可靠性。
合作需求
尋求對系統軟件缺陷檢測有需求的科技企業和科研單位，開展成果落地轉化，以及探索服務模式。
清華大學
2022-05-20
中國科大在基于里德堡原子的多頻率微波無線傳感方面取得重要進展
有效地解碼了一個含噪聲QR碼的FDM相移鍵控信號，準確率高達99.32%,研究成果表明，基于深度學習增強的里德堡微波接收器可允許一次直接解碼20路頻分復用(FDM)信號，不需要多個帶通濾波器和其他復雜電路。
中國科學技術大學
2022-06-02
一種節能環保型電渣重熔新渣系及使用規范
項目成果/簡介:成果簡介電渣重熔工藝作為一種特種冶煉手段， 在提高金屬材料質量方面起到了重要作用。但是其也有很多缺點， 其中最重要的一點就是電耗較高，很多小型電渣爐每噸鋼電耗在 1700～1900 kW.h，這不僅影響了產品成本，而且在能源緊張的今天，勢必影響電渣重熔的擴大應用和技術的發展；另外，重熔渣系中含有較高的CaF2，在冶煉過程易產生氟化物揮發，污染環境。針對以上缺點，開發了節能環保型新渣系（CaF2-Al2O3-CaO-MgO-SiO2 五元渣系），并針對不同鋼種制定了相應的使用規范流程。應用該渣系，可使噸鋼電耗在30/70渣的基礎上降低200-300Kwh，具有巨大的成本優勢；同時由于本渣系采用低氟路線， 也可以降低對環境的污染。成熟程度和所需建設條件本項目無需增加其它設備，僅僅采用新渣系并配合相應的使用規范即可以獲得理想的效果。本項目已在相關企業進行了試驗（1噸、3噸、5噸電渣爐），節電效果良好，鑄錠無任何質量問題。技術指標（1）所開發的新渣系熔點不高于1350℃；（2）渣系中氟化鈣（CaF2）含量小于60%；（3）電耗不高于1400度電/噸鋼；（4）鋼錠質量良好。市場分析和應用前景目前大多數電渣企業特別是一些中小企業仍然采用傳統30/70渣系生產，這種渣系有比較大的缺點，其中最重要一點就是渣系電導率大，電耗太大，環境污染嚴重，特別是目前環保壓力巨大，因此有必要開發節能環保型新渣系。本成果中的新渣系含有較低的CaF2含量，可降低生產過程中氟的揮發污染；同時由于采用高電阻設計思路， 也可以明顯降低噸鋼電耗，市場應用前景較好。社會經濟效益分析采用新渣系后，噸鋼電耗降低 200～300度。按照小型特鋼廠每年5000噸電渣錠計算，僅僅電耗降低而增加的利潤就在100萬元以上，這還不考慮對環境污染的改善。
安徽工業大學
2021-04-11
一種節能環保型電渣重熔新渣系及使用規范
成果簡介電渣重熔工藝作為一種特種冶煉手段， 在提高金屬材料質量方面起到了重要作用。但是其也有很多缺點， 其中最重要的一點就是電耗較高，很多小型電渣爐每噸鋼電耗在 1700～1900 kW.h，這不僅影響了產品成本，而且在能源緊張的今天，勢必影響電渣重熔的擴大應用和技術的發展；另外，重熔渣系中含有較高的CaF2，在冶煉過程易產生氟化物揮發，污染環境。
針對以上缺點，開發了節能環保型新渣系（CaF2-Al2O3-CaO-MgO-SiO2 五元渣系），并針對不同鋼種制定了相應的使用規范流程。應用該渣系，可使噸鋼電耗在30/70渣的基礎上降低200-300Kwh，具有巨大的成本優勢；同時由于本渣系采用低氟路線， 也可以降低對環境的污染。
成熟程度和所需建設條件本項目無需增加其它設備，僅僅采用新渣系并配合相應的使用規范即可以獲得理想的效果。本項目已在相關企業進行了試驗（1噸、3噸、5噸電渣爐），節電效果良好，鑄錠無任何質量問題。
技術指標（1）所開發的新渣系熔點不高于1350℃；（2）渣系中氟化鈣（CaF2）含量小于60%；（3）電耗不高于1400度電/噸鋼；（4）鋼錠質量良好。
市場分析和應用前景目前大多數電渣企業特別是一些中小企業仍然采用傳統30/70渣系生產，這種渣系有比較大的缺點，其中最重要一點就是渣系電導率大，電耗太大，環境污染嚴重，特別是目前環保壓力巨大，因此有必要開發節能環保型新渣系。本成果中的新渣系含有較低的CaF2含量，可降低生產過程中氟的揮發污染；同時由于采用高電阻設計思路， 也可以明顯降低噸鋼電耗，市場應用前景較好。
社會經濟效益分析采用新渣系后，噸鋼電耗降低 200～300度。按照小型特鋼廠每年5000噸電渣錠計算，僅僅電耗降低而增加的利潤就在100萬元以上，這還不考慮對環境污染的改善。
安徽工業大學
2021-05-21
一種自發永生化的綿羊外周血來源細胞系及其建立方法
本發明涉及生物細胞系，具體公開了一種自發永生化的綿羊外周血來源細胞系及其建立方法。具體為，采集成年健康綿羊的外周血，利用人外周血淋巴細胞分離液分離細胞后，進行細胞的培養與傳代，傳代過程中，通過對消化步驟的優化以及對培養基的優化，獲得一種均一性高的自發永生化的綿羊外周血來源細胞系，該細胞系可表達綿羊的多種先天免疫受體，可用于細胞生物學、病原與宿主相互作用的體外研究。為促進綿羊健康養殖及疫病防控提供了很好的細胞學工具，為體外研究病原與綿羊的相互作用、評估藥物或生物制品對綿羊的影響，更好的服務綿羊的健康養殖。
中國農業大學
2021-04-11
提高油菜波里馬胞質雄性不育系制種產量和純度的方法
研發階段/n本發明屬于利用油菜細胞質雄性不育系生產雜交F1種子的技術領域，具體涉及到利用一類不穩定型波里馬細胞質雄性不育系在冬油菜產區（長江流域）秋播生產雜交F1種子的雜交制種方法。該技術的目的在于克服已有技術的不足，提供一種制種方法簡單但又能提高制種產量和雜種純度的雜交制種方法。技術水平：專利技術（國家發明專利授權號：ZL01114273.1）應用前景：該技術的發明使得過去認為沒有利用價值的不穩定型波里馬細胞質雄性不育系應用于油菜雜交種的生產，并提高了油菜種質資源的有效利用；用不穩定型波里馬細胞質
華中農業大學
2021-01-12
一種節能環保型電渣重熔新渣系及使用規范
成果簡介電渣重熔工藝作為一種特種冶煉手段， 在提高金屬材料質量方面起到了重要作用。 但是其也有很多缺點， 其中最重要的一點就是電耗較高， 很多小型電渣爐每噸鋼電耗在 1700～1900 kW.h， 這不僅影響了產品成本， 而且在能源緊 張的今天， 勢必影響電渣重熔的擴大應用和技術的發展； 另外， 重熔渣系中含有較高的CaF2， 在冶煉過程易產生氟化物揮發， 污染環境。針對以上缺點， 開發了節能環保型新渣系（CaF2-Al2O3-CaO-MgO-SiO2 五元渣系）， 并針
安徽工業大學
2021-04-14
一種基于化學和物理交聯的雙網絡纖維素凝膠系材料
本發明公開了一種基于化學和物理交聯的雙網絡纖維素凝膠系材料，該材料包括水凝膠、氣凝膠和 生物塑料。在纖維素溶液中加入定量的交聯劑并攪拌后先形成部分化學交聯的纖維素凝膠，然后將該凝 膠置于纖維素的非溶劑中進行物理交聯，經過水洗后得到雙網絡纖維素水凝膠。由雙網絡纖維素水凝膠 干燥制備雙網絡纖維素氣凝膠;將雙網絡纖維素氣凝膠在 150?oC 以上熱處理后得到碳氣凝膠;將雙網 絡纖維素水凝膠或氣凝膠熱壓制備雙網絡纖維素生物塑料。本發明制備的雙網絡纖維素材料具有優良的 力學性能、高的比表面
武漢大學
2021-04-14
一種同時控制電渣錠氫-氧含量的渣系的制備方法
（專利號：ZL 201510033273.0） 簡介：本發明公開了一種同時控制電渣錠氫-氧含量的渣系的制備方法，屬于電渣重熔渣系技術領域。該渣系成分及重量百分比為：CaF2：43～47％，CaO：18～22％，Al2O3：4～6％，MgO：8～12％，Ce2O3：14～16％，La2O3：4～6％。其制備步驟為：根據制備渣系組分及重量百分比要求按比例配置渣料，渣料為石灰石、白云石、螢石、鋁礬土、氧化鈰粉末和氧化鑭粉末；將混合渣料在1600
安徽工業大學
2021-01-12
一種五自由度的白光干涉原子力探針位姿調整機構
本發明公開了一種原子力探針位姿調整機構。包括探針座，調 節機構和連接頭。其中探針座用于原子力探針的安裝固定;調節機構 包括由下至上的第一調節部件、第二調節部件、第三調節部件以及第 四調節部件，分別用于原子力探針的里外水平偏擺、左右水平和上下 旋轉、上下俯仰以及上下豎直位姿調節;連接頭用于與顯微物鏡相連。 本發明能夠實現原子力探針姿態在五個自由度上的細微調節，各個調 節動作相互獨立，彼此不發生干涉，互不影響，提高了探針姿態的調 節精度;且能夠對調節后的位姿進行鎖定，使其保持穩定。
華中科技大學
2021-04-14