|
搜索
搜 索
高等教育領域數字化綜合服務平臺
軟件可信性自動驗證系統
軟件可信性自動驗證是新一代信息技術領域的新技術。我們基于原創性且國際先進水平的理論成果，自主研發了高效的自動推理工具；借鑒目前世界上最先進的程序形式化技術，形成了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
29022物體導電性實驗材料
寧波華茂文教股份有限公司
2021-08-23
診斷性刮宮監測考核指導模型
XM-TMA診斷性刮宮監測考核指導模型
?
功能特點：
1、診斷性刮宮監測考核指導模型采用優質材料制成，腹腔內有早期妊娠子宮，解剖位臵準確，皮膚柔軟有彈性，手感逼真。
2、早期妊娠子宮內設有模擬病變，供操作者訓練，可客觀地評價操作者實施診斷性刮宮的質量是否達標。
上海欣曼科教設備有限公司
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
一種D2D通信中能效最大化的功率分配方法
本發明公開了一種D2D通信中能效最大化的功率分配方法，在有蜂窩網絡覆蓋的上行場景中，通過分布式優化蜂窩用戶的發射功率、D2D用戶對的發射功率，在保證宏用戶最低服務質量要求和D2D用戶與蜂窩用戶的功率限制的情況下最大化D2D用戶的全局能源效率。本方法給出了在任何D2D用戶都可以使用所有信道，并且任意信道可以同時被所有D2D用戶占用的情況下，最優的蜂窩用戶發射功率和D2D鏈路發射功率。主要用MM方法將非凸問題近似為可求解的子優化問題，并利用給出的閉式解快速收斂到子問題的優化解。本發明適用范圍廣，頻譜資源共享模式具有通用性，計算量小，速度快。
東南大學
2021-04-11