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