|
搜索
搜 索
高等教育领域数字化综合服务平台
软件可信性自动验证系统
软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了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
抗肿瘤药物伊马替尼与尼洛替尼新工艺
伊马替尼是瑞士诺华公司研发的一种酪氨酸激酶抑制剂类抗肿瘤药物，于2001年5月获得 美国食品与药品管理局 (FDA) 的批准上市，用于治疗慢性骨髓性白血病，又于2002年2月被批 准用于治疗胃肠道间质细胞肿瘤，具有起效迅速、转移性强、副作用小等优点，其专利化合物 专利近年到期，国内多家企业仿制上市。 尼洛替尼是瑞士诺华公司开发的第二代具有高度选择性的酪氨酸激酶抑制剂，用于对既往 治疗(包括伊马替尼治疗)耐药与不耐受的费城染色体阳性慢性髓性白血病慢性期或加速期的成 人患者，治疗范围更广，疗效更佳，目前国内多个企业酝酿尼洛替尼的仿制工作。 达沙替尼由百时美施贵宝公司研发，2006年2月在美国首次上市。是首个批准上市的口服 多重酪氨酸激酶抑制剂，用于对既往治疗失败或不耐受的成人各阶段慢性髓细胞样白血病，也 可用于治疗对其他疗法耐药或不耐受的费城染色体阳性急性淋巴细胞性白血病成年患者。目前 国内多个企业进行达沙替尼的仿制工作。
华东理工大学
2021-04-11