|
搜索
搜 索
高等教育領域數字化綜合服務平臺
軟件可信性自動驗證系統
軟件可信性自動驗證是新一代信息技術領域的新技術。我們基于原創性且國際先進水平的理論成果，自主研發了高效的自動推理工具；借鑒目前世界上最先進的程序形式化技術，形成了C程序自動驗證系統和PLC程序自動驗證系統，對指針安全、數組越界、溢出等常見復雜問題可實現自動驗證或根據用戶需要驗證特殊性質，具有驗證速度快、發現缺陷能力強、成本低的特點，從技術上突破了程序分析、程序測試的一些瓶頸，對提高軟件質量具有不可替代的作用。目前，本自動驗證系統已驗證了涉及航空航天、武器裝備、鐵路、通訊等多種系統，顯現出了明顯效果，得到了認可。 該成果具有國際先進水平，自主可控，填補了國內程序可信性自動驗證的空白，獲得省部級和學會級三等以上獎勵，有著有廣闊的應用領域。。
西南交通大學
2016-06-27
功能性納米纖維防護材料
靜電紡絲法制備的納米纖維空氣過濾材料，具有高攔截效率高透氣性的特點，對0.3微米的顆粒物可以達到99%的攔截效率，同時空氣阻力小于90Pa。另外采用靜電紡絲技術可一步制備具有抗菌、防紫外、阻燃等功能的防水透氣納米纖維膜。
一、項目分類
顯著效益成果轉化
二、技術分析
靜電紡絲法制備的納米纖維空氣過濾材料，具有高攔截效率高透氣性的特點，對0.3微米的顆粒物可以達到99%的攔截效率，同時空氣阻力小于90Pa。另外采用靜電紡絲技術可一步制備具有抗菌、防紫外、阻燃等功能的防水透氣納米纖維膜。原料廣泛（高聚物、生物降解聚合物、可回收材料），不含氟。該納米纖維膜具有微多孔結構，孔徑小于30nm，孔隙率70%以上，熱熔膠貼合后的面料具有高耐水壓，高透氣性，柔軟輕薄（<7g/m2）的特點，適用于戶外運動服裝、汽車內飾及帳篷布等，可替代Gore-tex，完全無氟防水。耐水壓可達10000mmH2O，透濕度10000g/m2/24h，透氣性0.3cm3/cm2/s，真正實現防水面料的“可呼吸”。
蘇州大學
2022-08-15
各種納米結構保護性涂層
納米涂層亦稱納米防水涂層、納米防水液。EUBO優寶納米防水涂層是一種以含氟溶劑為溶媒，具有防水防油性能的氟素化合物溶液。因具有很低的表面張力，所以能防水、防潮、防塵、防油、防化學，可替代“三防漆”。同時，優寶納米防水涂層還具有以下功能：(1)快速在工件表面形成一層輕薄、透明的保護膜(0.1-1μm);(2)極低的表面張力(11~12mN/m)，易于涂覆;(3)材料相容性好(塑料、金屬、玻璃等材料表面);(4)防水、防油、防污、防塵以及防化學的效果較好;(5)室溫下干燥速度快，提高工作效率;(6)無毒、無閃點，安全性高;(7)保護環境，不含氯和溴、不破壞臭氧層，ODP值為0，GWP為HGWP為0.25。
上海理工大學
2021-04-13
柑橘大實蠅性誘劑
該性誘劑在田間對柑橘大實蠅雄蟲具有專一引誘特性，且引誘效果顯著，能準確的對柑橘大實蠅雄性成蟲進行引誘消滅，阻斷其繁殖，從源頭上治理柑橘大實蠅蟲害。本發明對天敵、益蟲、人畜及作物不會造成危害，靶標害蟲不會產生抗性，具有天然、環保等優點。
該性誘劑用量少、效果顯著、覆蓋面廣，在柑橘大實蠅的發生產區均可應用，防治成本低，收益高。
轉化條件：需要餌劑制備的生產線
成果完成時間：2015年
華中農業大學
2021-04-11
診斷性刮宮監測考核指導模型
XM-TMA診斷性刮宮監測考核指導模型
?
功能特點：
1、診斷性刮宮監測考核指導模型采用優質材料制成，腹腔內有早期妊娠子宮，解剖位臵準確，皮膚柔軟有彈性，手感逼真。
2、早期妊娠子宮內設有模擬病變，供操作者訓練，可客觀地評價操作者實施診斷性刮宮的質量是否達標。
上海欣曼科教設備有限公司
2021-08-23
29022物體導電性實驗材料
寧波華茂文教股份有限公司
2021-08-23
科學探究性實驗室
? 科學探究室能充分滿足演示試驗和分組實驗需要,在這里，教師為學生做演示實驗或者指導學生做分組實驗，學生通過活動，提高了動手操作能力，更有助于創造性思維的開發。而好奇、好動、好探究、充滿幻想又是孩子們的天性，實驗教學的開展正是迎合了學生的這一身心特征。在實驗過程中，孩子們的好奇心、好動性得到了充分的發揮，他們的奇思異想會象泉水一樣噴涌出來，渴望知識，對未知事物的探索，達到了刨根深究的程度。這樣，實驗教學的開展為每一個學生提供科學探究的動力，使學生真正做到了“愛科學，學科學，用科學”的目的，提高了學生素質。
廣東厚吉教育科技有限公司
2021-08-23
沙發耐久性試驗機
產品詳細介紹
沙發耐久性試驗機,沙發耐沖擊試驗機,沙發強度測試儀,沙發的力學性能試驗主要是試驗沙發的座，背和扶手的耐久性。試驗時將一定形狀，質量的加載模塊，以規定的加載形式，頻率，分別對座，背和扶手表面重復加載。這一試驗方法是模擬日常使用條件下，檢驗沙發對長期重復性載荷的承受能力。
沙發耐久性試驗機執行標準：QB 1952.1-6.8
機器名稱：沙發耐久性試驗機
沙發耐久性試驗機機器介紹：
座面加載模塊：50kg，直徑200mm，沖擊面R341mm
背面加載模塊：200mmx100mm
扶手加載模塊：直徑50mm
配 重 塊：70kg，直徑350mm
加 載 頻 率：0.33Hz~0.42Hz(20~25次/min)
背部加載塊間距：300mm
扶手加載角度：45度
輔助設備：配重板，高度測量裝置
沙發耐久性試驗機使用觸摸屏和PLC控制。
東莞美和檢測儀器有限公司
2021-08-23
織物透濕性測試儀
產品詳細介紹
織物透濕性測試儀測試工位：8工位。
測試方法：蒸發法。
轉動速度：2r/min.
織物透濕性測試儀使用電源：220V/50Hz，3A.
織物透濕性測試儀計時器控制，1~9999999分鐘內可任意設定並自動停機。
織物透濕性測試儀外形尺寸：350mm×380mm×310mm.
織物透濕性測試儀重量：25Kg.
織物透濕性測試儀需放置在恒溫恒濕房或是恒溫恒濕機內使用。
織物透濕性測試儀配置不同測試杯可做不同標準的試驗。
東莞美和檢測儀器有限公司
2021-08-23
基于相似性和不相似性融合排序優化的行人重識別方法
本發明公開了一種基于相似性和不相似性融合排序優化的行人重識別方法，行人重識別是一種針對 特定行人的檢索問題，本發明的主要思想是正確檢索的行人目標應該跟查詢行人的極正樣本相似，并且 跟查詢行人的極負樣本不相似。同時我們將與極正樣本相似的那些行人定義為疑正樣本，與極負樣本相 似的樣本為疑負樣本，通過提高疑正樣本的排名，同時降低疑負樣本的排名，來達到通過排序優化的方 式來提升行人重識別的效果。此外，融合多種方法的結果來加強這種相似性和不相似性關系。本
武漢大學
2021-04-14