|
搜索
搜 索
高等教育领域数字化综合服务平台
软件可信性自动验证系统
软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了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
诊断性刮宫监测考核指导模型
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
磷酸盐无机铸造粘结剂悬浮液固化剂制备方法和应用
研发阶段/n本发明公开了一种磷酸盐无机铸造粘结剂悬浮液固化剂及其制备方法。在醇类溶剂中，加入有机树脂，搅拌至完全溶解后加入有机酸，再搅拌使之完全溶解后加入粉状氧化镁，再搅拌分散均匀，制得该悬浮液固化剂。本发明还公开了该固化剂在铸造工业中的应用。该磷酸盐无机铸造粘结剂固化剂制备方法简单，所用原料易得，成本较低；该固化剂具有高效、无毒、高悬浮率、高含固量、与粘结剂反应速度适中等优异性能；用该固化剂与无机粘结剂固化所粘结的铸造砂模，固化强度高，固化性能稳定，在混砂过程中无飘灰现象，不会产生粉尘污染，易于在
湖北工业大学
2021-01-12
造影剂r1 核磁共振造影剂驰豫率测试仪
产品详细介绍产品简介： PQ001核磁共振造影剂驰豫率测试仪是一款经典的小核磁，专为核磁共振造影剂研究应用设计开发而成，该设备配套有造影剂专用弛豫时间测试软件，可以直接测试得到不同浓度造影剂样品的T1、T2弛豫时间，R1、R2弛豫速率以及造影剂样品的弛豫效率r。弛豫时间测试过程非常简单，样品无需特别配置，软件实现中英文双语选择界面，操作简便，易学易用。技术指标：1、磁体类型：永磁体；2、磁场强度：0.5±0.08T，仪器主频率：21.3MHz；3、探头线圈直径：15mm；应用解决方案：1、Gd类，Fe类，Mn类等核磁共振造影剂T1、T2弛豫时间测试，弛豫效率r测试； 2、细胞液弛豫测试 .....应用案例一：T2弛豫时间测试应用案例二：T1 弛豫时间测试应用案例三：r2弛豫效率测试造影剂专用测试软件注：仪器外观如有变动，以产品技术资料为准。
上海纽迈电子科技有限公司
2021-08-23