|
搜索
搜 索
高等教育领域数字化综合服务平台
软件可信性自动验证系统
软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了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
科学探究性实验室
科学探究室能充分满足演示试验和分组实验需要,在这里，教师为学生做演示实验或者指导学生做分组实验，学生通过活动，提高了动手操作能力，更有助于创造性思维的开发。而好奇、好动、好探究、充满幻想又是孩子们的天性，实验教学的开展正是迎合了学生的这一身心特征。在实验过程中，孩子们的好奇心、好动性得到了充分的发挥，他们的奇思异想会象泉水一样喷涌出来，渴望知识，对未知事物的探索，达到了刨根深究的程度。这样，实验教学的开展为每一个学生提供科学探究的动力，使学生真正做到了“爱科学，学科学，用科学”的目的，提高了学生素质。
广东厚吉教育科技有限公司
2021-08-23
29022物体导电性实验材料
宁波华茂文教股份有限公司
2021-08-23
诊断性刮宫监测考核指导模型
XM-TMA诊断性刮宫监测考核指导模型
功能特点：
1、诊断性刮宫监测考核指导模型采用优质材料制成，腹腔内有早期妊娠子宫，解剖位臵准确，皮肤柔软有弹性，手感逼真。
2、早期妊娠子宫内设有模拟病变，供操作者训练，可客观地评价操作者实施诊断性刮宫的质量是否达标。
上海欣曼科教设备有限公司
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
新型固体润滑添加剂材料
新型固体润滑剂层状金属磷酸盐材料具有具有类似于传统固体润滑剂二硫化钼、石墨的层状结构。该产品作为固体润滑剂添加到润滑脂中，通过合理的基础油复配技术，独特的工艺和配方设计，制备的润滑脂产品具有杰出的极压、耐磨、宽温润滑性能，满足多水、多尘和复杂工况的需要。技术指标： Cu-α-ZrP(Cu(OH)2Zr(HPO4)2· 2H2O)是浅蓝色粉末，粒径分布均匀， 在 400-600nm 范围。 作为固体润滑剂添加到锂基润滑脂中， PB（N） 值为 980N（加入量为 5.0 wt %），在同等条件下，比添加 MoS2 润滑脂的 PB 值高 58.8%，表现出优良的润滑性能。
太原理工大学
2021-05-05
一种浅色抗静电剂
随着科学技术的进步，合成材料对抗静电的要求将日益提高，凭借单一技术和手段，愈来 愈难以满足对抗静电性能日益迫切的要求。在完善现有品种的基础上，不仅要加强新品种的开 发，还需要进行复配研究工作。开发抗静电性能优异、高效稳定而又不受环境影响、用途广泛 的导电性材料是抗静电剂技术发展的重要趋势。大分子永久抗静电是行业发展的方向。 以噻吩及其衍生物为单体的导电聚合物具有较好的电化学行为和优异的稳定性，因而倍受 重视。理论研究表明，用适当的基团取代导电聚合物共扼链上的氢原子可以提高聚合物的导电 率并能改善聚合物的性能。 近几年来，PEDT在有机光电子领域也有很大的发展。在有机电致发光中，PEDT可以作 为阳极ITO的替代物或者与ITO复合使用。由于高分子的韧性，弯曲时PEDT也不会碎裂而导 致器件失效，在大电流工作时PEDT膜也不会与基片发生剥离，与有机基片的兼容性好，且制 备工艺简单。PEDT还广泛应用于ITO阳极与太阳能电池器件之间作为缓冲层或者单独使用作 为阳极材料，具有生产工艺简单、成本低的特点，在性能上也完全满足有机太阳能电池性能的 要求。
华东理工大学
2021-04-11