|
搜索
搜 索
高等教育領域數字化綜合服務平臺
軟件可信性自動驗證系統
軟件可信性自動驗證是新一代信息技術領域的新技術。我們基于原創性且國際先進水平的理論成果，自主研發了高效的自動推理工具；借鑒目前世界上最先進的程序形式化技術，形成了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
柑橘大實蠅性誘劑
已有樣品/n該項目公開了(R)-(+)-檸檬烯作為柑橘大實蠅性引誘劑活性成分的用途，本發明還公開了一種柑橘大實蠅性引誘劑，其活性成分是(R)-(+)-檸檬烯。R-(+)-檸檬烯在田間對柑橘大實蠅雄蟲具有專一引誘特性，且引誘效果顯著，能準確的對柑橘大實蠅雄性成蟲進行引誘消滅，阻斷其繁殖，從源頭上治理柑橘大實蠅蟲害。本發明對天敵、益蟲、人畜及作物不會造成危害，靶標害蟲不會產生抗性，具有天然、環保等優點。
華中農業大學
2021-01-12
各種納米結構保護性涂層
納米涂層亦稱納米防水涂層、納米防水液。EUBO優寶納米防水涂層是一種以含氟溶劑為溶媒，具有防水防油性能的氟素化合物溶液。因具有很低的表面張力，所以能防水、防潮、防塵、防油、防化學，可替代“三防漆”。同時，優寶納米防水涂層還具有以下功能：(1)快速在工件表面形成一層輕薄、透明的保護膜(0.1-1μm);(2)極低的表面張力(11~12mN/m)，易于涂覆;(3)材料相容性好(塑料、金屬、玻璃等材料表面);(4)防水、防油、防污、防塵以及防化學的效果較好;(5)室溫下干燥速度快，提高工作效率;(6)無毒、無閃點，安全性高;(7)保護環境，不含氯和溴、不破壞臭氧層，ODP值為0，GWP為HGWP為0.25。
上海理工大學
2021-04-13
織物透濕性測試儀
產品詳細介紹
織物透濕性測試儀測試工位：8工位。
測試方法：蒸發法。
轉動速度：2r/min.
織物透濕性測試儀使用電源：220V/50Hz，3A.
織物透濕性測試儀計時器控制，1~9999999分鐘內可任意設定並自動停機。
織物透濕性測試儀外形尺寸：350mm×380mm×310mm.
織物透濕性測試儀重量：25Kg.
織物透濕性測試儀需放置在恒溫恒濕房或是恒溫恒濕機內使用。
織物透濕性測試儀配置不同測試杯可做不同標準的試驗。
東莞美和檢測儀器有限公司
2021-08-23
29022物體導電性實驗材料
寧波華茂文教股份有限公司
2021-08-23
科學探究性實驗室
? 科學探究室能充分滿足演示試驗和分組實驗需要,在這里，教師為學生做演示實驗或者指導學生做分組實驗，學生通過活動，提高了動手操作能力，更有助于創造性思維的開發。而好奇、好動、好探究、充滿幻想又是孩子們的天性，實驗教學的開展正是迎合了學生的這一身心特征。在實驗過程中，孩子們的好奇心、好動性得到了充分的發揮，他們的奇思異想會象泉水一樣噴涌出來，渴望知識，對未知事物的探索，達到了刨根深究的程度。這樣，實驗教學的開展為每一個學生提供科學探究的動力，使學生真正做到了“愛科學，學科學，用科學”的目的，提高了學生素質。
廣東厚吉教育科技有限公司
2021-08-23
診斷性刮宮監測考核指導模型
XM-TMA診斷性刮宮監測考核指導模型
?
功能特點：
1、診斷性刮宮監測考核指導模型采用優質材料制成，腹腔內有早期妊娠子宮，解剖位臵準確，皮膚柔軟有彈性，手感逼真。
2、早期妊娠子宮內設有模擬病變，供操作者訓練，可客觀地評價操作者實施診斷性刮宮的質量是否達標。
上海欣曼科教設備有限公司
2021-08-23
基于有功功率波動性和周期性的洗衣機非侵入辨識方法
本發明公開了一種基于有功功率波動性和周期性的洗衣機非侵入辨識方法，包括在一定的采樣頻率范圍內，對總電源進線的電壓和電流進行采樣，形成電壓信號采樣序列u和電流信號采樣序列i，并計算平均功率序列P；構造長度為N的滑動窗Wn，并計算滑動窗內有功功率序列的標準差Sn；求取序列Sn的子區間的最小值位置序列Mt，記錄最小值所在位置；計算序列Mt差分序列ΔMt，根據ΔMt的周期性來判別是否為洗衣機運行，并計算啟停時間。本發明提綜合利用洗衣機的周期性以及波動性這兩個特性，提出了有效的洗衣機辨識方法，將平均有功功率序列轉換成標準差序列，避免了偶爾情況下現實工況帶來的功率波動而會被誤辨成洗衣機的情況。
東南大學
2021-04-11
基于相似性和不相似性融合排序優化的行人重識別方法
本發明公開了一種基于相似性和不相似性融合排序優化的行人重識別方法，行人重識別是一種針對 特定行人的檢索問題，本發明的主要思想是正確檢索的行人目標應該跟查詢行人的極正樣本相似，并且 跟查詢行人的極負樣本不相似。同時我們將與極正樣本相似的那些行人定義為疑正樣本，與極負樣本相 似的樣本為疑負樣本，通過提高疑正樣本的排名，同時降低疑負樣本的排名，來達到通過排序優化的方 式來提升行人重識別的效果。此外，融合多種方法的結果來加強這種相似性和不相似性關系。本
武漢大學
2021-04-14