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