|
搜索
搜 索
高等教育領域數字化綜合服務平臺
網絡空間安全可信性測評關鍵技術研發與應用
提出基于矛盾體分離的動態多元協同自動演繹推理的理論和方法，提高了自動推理引擎求解和證明能力，增強了系統可信性測評的綜合能力。
一、項目分類
重大科學前沿創新
二、成果簡介
以具有國際先進水平的原創自動推理體系為核心支撐，立足通信系統安全檢測、評定與防護，在網絡空間安全可信性測評關鍵技術的研發與應用上實現以下重要創新:(1)提出基于矛盾體分離的動態多元協同自動演繹推理的理論和方法，提高了自動推理引擎求解和證明能力，增強了系統可信性測評的綜合能力。獲得命題邏輯求解器國際競賽第二名和一階邏輯證明器國際競賽第二名，發表論文(JCRQ1)3篇，登記軟件著作權3項。(2)提出了基于自動推理的形式化驗證技術、基于交互式應用安全測試技術的檢測方法，提升了網絡空間安全軟件系統在開發過程中軟件代碼層和業務邏輯層安全缺陷檢測過程有效性和檢測結果準確性。目前已形成擁有自主知識產權的商業工具，支撐了軟件系統在關鍵信息基礎設施中的安全應用，并輔助了國家相關信息安全標準的建設，測試工具是唯一一家被OWASPBenchmark工作組收錄的中國廠商自研工具。獲批國家標準2項(GB/T30279-2020 GB/T38628-2020)，獲得發明專利4(ZL201910498983.9ZL2019108553424 ZL2020100476371 ZL20201175663.9)登記軟件著作權11項。
(3)提出了一種網絡空間非正常無線電信號的電磁干擾識別與自組織處理的方法，實現了及時發現與處理電磁威脅，提高了電磁信息的安全性。獲得發明專利2項(ZL2012104380941、ZL2012104380937)，獲得實用新型專利1項，發表論文1(JCRQ2）篇。
西南交通大學
2022-09-13
一種肝癌靶向和選擇性的抗癌小分子多肽
抗癌藥物的靶向選擇性、低耐藥性是目前抗癌藥物深度研發的難點和瓶頸。本成果發明了一種靶向腫瘤標志蛋白的小分子多肽，其不僅呈現對已篩選的肝癌、乳腺癌、前列腺癌等細胞強的抑制和殺傷作用，尤其是對肝癌呈現強的細胞選擇性，具有開發為國家注冊一類原創新藥的前景。相關工作與成果已申報國家發明專利，屬于自主知識產權和原創研發。
西南交通大學
2015-12-26
石化裝置設備可靠性評估（RCM）方法研究及工程應用
1.目的意義 以可靠性為中心的維修(Reliability Centered Maintenance)：按照以最少的資源消耗保持裝備固有可靠性和安全性的原則，應用邏輯決斷的方法確定裝備預防性維修要求的過程或方法。 RCM于上世紀60年代末起源于美國航空界。其目的是制定8-747飛機的預防性維修程序，確保其安全性；進入80年代，美國電力研究所(EPRI)把RCM概念用語指定為核電廠維修程序；到了90年代在核電廠得到了廣泛應用，隨后日本、加拿大、法國等也在其核電廠相繼引入了
常州大學
2021-04-14
提高多逆變器并聯并網系統對電網阻抗魯棒性的方法
本發明公開了提高多逆變器并聯并網系統對電網阻抗魯棒性的 方法。方法一步驟為：檢測各逆變器電容電流、并網電流、PCC 點電 壓；計算得到誤差信號 e1k；計算誤差信號 e2k；由誤差信號 e2k 得到 控制逆變器開關管的驅動信號；判斷并網電流峰值 ig1 是否大于設定 的并網電流閾值 iT：若是，導通電容支路，否則，切斷。方法二步驟 為：檢測電容電流 iCk、并網電流 igk、 PCC 點電壓；計算誤差信號 e1k； 計算誤差信號 e2k；由誤差信號 e2k 得到控制逆變器開關管的驅動信 號。在電網阻
華中科技大學
2021-04-14
一種軟件更新的補丁安全性檢測方法及系統
本發明公開了一種軟件更新的補丁安全性檢測方法及系統，所 述方法包括：通過對補丁預處理，進而進行中間代碼分析以獲得受補 丁影響的基本塊，通過這些受補丁影響的基本塊得到內存敏感型函數 及其變量，從其出發構造主要執行路徑；在對路徑的進行符號執行的 過程中，確定具體的路徑條件，到達具體的內存敏感型函數時，結合 此時的路徑條件和相應的安全檢測器來判斷是否存在軟件更新安全問 題。本發明著重于檢測軟件更新后，新版本相對舊版本不同部
華中科技大學
2021-04-14
一種耐高溫高可靠性的自擊穿氣體開關
本發明公開了一種耐高溫高可靠性的自擊穿氣體開關，適用于 高溫、高壓以及對可靠性要求較高的場合。其主要包括長電極桿，電 極，絕緣套管，不銹鋼外筒，連接墊圈以及充氣閥孔，整個裝置由陰 極和陽極兩部分構成且呈軸對稱設置。電極放電表面為橢圓導角，電 極通過連接墊圈焊接在電極桿一端，絕緣套管緊套于長電極桿外部， 并通過連接墊圈與不銹鋼外筒進行無縫焊接，在保證氣密性的同時， 可提供更加可靠的機械強度，從而避免氣體開關因多次持續放電沖擊 而導致結構松動的情況。本發明在保證開關電氣性能的同時，使開關 在高溫高壓環境
華中科技大學
2021-04-14
基于分布式光纖傳感技術的管道完整性測試系統
一、項目分類
關鍵核心技術突破
二、成果簡介
管道運輸由于內部腐蝕、外部環境、管材和施工等原因，易發生管道失效甚至引發爆炸事故，嚴重威脅國家經濟和人民財產安全?，F有管道安全檢測技術主要是針對已鋪設管道加裝傳感器定期巡檢排查，無法做到管道在線自檢且實施成本極高。因此，亟需構建一套管道安全完整性監測終端系統，實時在線監測管道運營狀態，實現全天候、分布式、高靈敏度、長距離的油氣管道健康監測。
本技術研發的光纖分布式聲波傳感系統（DAS）可以連續記錄長距離光纖沿線的聲波信號，是一款世界領先的分布式聲波傳感系統。由于瑞利散射效應，入射進傳感光纖中的部分背向散射光會沿原傳播路徑返回，當光纖沿線周圍環境發生微小變化時，散射光的特征也會受到調制。通過記錄時間域散射光信號的變化，可實現對光纖沿線聲波信號的測量。本系統基于高精度的相干解調算法，將分布式聲波傳感系統的探測能力優化至皮應變級，響應帶寬涵蓋次聲到超聲，可應用管道安全和周界安防等領域。與傳統管道監測技術相比，具有全天候、低成本、多參量、高響應、長距離在線管道監測等突出先進性。
華中科技大學
2022-07-26
肌萎縮側索硬化癥模式動物及潛在治療性靶標
1.痛點問題
ALS（肌萎縮側索硬化癥，俗稱“漸凍人癥”），被稱為“全球五大絕癥之首”，平均約每90分鐘就會有人確診，平均生存期只有2-5年，歐美僅有2-3年。目前ALS全球沒有有效治療藥物，被美國FDA批準的治療藥物僅有依達拉奉（Edaravone）和利魯唑（Riluzole），這兩款藥物僅能延長2-3個月生存期，亟需有效治療的藥物上市。
2.解決方案
本項成果涉及一種ALS小鼠疾病模型和ALS潛在的治療靶點。利用本項目成果預期能夠研發出一種ALS新的治療方案，采用基因治療的方式將靶點基因轉入腺相關病毒載體，然后輸入到患者體內，從而使患者的運動神經元產生該基因的蛋白產物。該產物預期能夠挽救患者的運動神經元，從而將ALS病人生存期極大地延長。而ALS小鼠疾病模型可以在基因治療開發過程中用于藥效檢測。
合作需求
1）了解ALS等神經退行性疾病研發的風險與難度，有情懷和使命感，有志于共同向這一世界級難題發起挑戰的各類投資機構。
2）有志于布局神經系統疾病藥物合作開發，尤其具有成功出海經驗的大型生物醫藥企業一起合作開發相關管線。
3）1500平米研發實驗室的孵化器（加速器）及動物房。
4）與園區/政府等合作共建神經系統疾病動物平臺。
5）具有神經生物學或AAV科研背景，且愿意與衍生企業一起向這一世界級難題發起挑戰的專業人才。
清華大學
2022-07-04
二進制遞歸網絡的隨機多故障條件診斷性分析
項目簡介： 隨著并行計算系統中處理器數目的快速 增加， 系統
西華大學
2021-04-14
基于分布式光纖傳感技術的管道完整性監測系統
管道運輸由于內部腐蝕、外部環境、管材和施工等原因，易發生管道失效甚至引發爆炸事故，嚴重威脅國家經濟和人民財產安全?，F有管道安全檢測技術主要是針對已鋪設管道加裝傳感器定期巡檢排查，無法做到管道在線自檢且實施成本極高。因此，亟需構建一套管道安全完整性監測終端系統，實時在線監測管道運營狀態，實現全天候、分布式、高靈敏度、長距離的油氣管道健康監測。
本技術研發的光纖分布式聲波傳感系統（DAS）可以連續記錄長距離光纖沿線的聲波信號，是一款世界領先的分布式聲波傳感系統。由于瑞利散射效應，入射進傳感光纖中的部分背向散射光會沿原傳播路徑返回，當光纖沿線周圍環境發生微小變化時，散射光的特征也會受到調制。通過記錄時間域散射光信號的變化，可實現對光纖沿線聲波信號的測量。本系統基于高精度相干解調算法，將分布式聲波傳感系統的探測能力優化至皮應變級，響應帶寬涵蓋次聲到超聲，可應用管道安全和周界安防等領域。與傳統管道監測技術相比，具有全天候、低成本、多參量、高響應、長距離在線管道監測等突出先進性。
華中科技大學
2021-09-28