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