|
搜索
搜 索
高等教育领域数字化综合服务平台
软件可信性自动验证系统
软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了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
一氧化碳气体报警器，一氧化碳气体报警器
产品详细介绍一氧化碳气体报警器济南中诚专业生产厂家，【TEL：0531-88883789 联系人：李经理】，一氧化碳进入人体之后
会和血液中的血红蛋白结合，进而使血红蛋白不能与氧气结合，从而引起机体组织出现缺氧，导致
人体窒息死亡，因此一氧化碳具有毒性，一氧化碳气体报警器RBK-6000型产品广泛应用于炼焦、炼铁、锻冶、铸造和
热处理的生产等工业等存在一氧化碳气体的危险场所。固定式是由两部组成的,一部分是RBK-6000
型气体报警控制器,一部分是RBT-6000的一氧化碳浓度报警器,探测器与控制器之间采用三芯屏蔽电
缆或ZRRVV三芯电缆连接，探测器和控制器上都有接线端子。一氧化碳气体报警器RBK-6000型控制器高端的人性化设计
，主机采用了壁挂式箱体设计，面板状态直接显示，安装简单，操作方便。一氧化碳泄漏检测仪探
测器采用工业专用防爆装置，进口气敏传感器检测灵敏度使用寿命长。
济南中诚仪器仪表有限公司生产的液化气泄露检测仪液化气气体报警器证书齐全,有公安部及
消防部颁发的型式认可证书,防爆合格证,ISO-9000认证等,一氧化碳浓度超标检测仪销往全国各地
，十年的生产经验和高端的科研队伍是各行各业厂家值得信赖的产品，愿广大消费者前来采购。
一氧化碳气体报警器产品特点：
RBK-6000使用高速CPU处理器，能够快速精确地处理系统任务，保证系统的可靠性。
LCD液晶屏幕，可实时显示探测器的浓度、状态。
使用485通讯协议，可靠性高。
4组可编程的继电器，无源常开、常闭触点，触点容量240V5A
采用模块化结构设计，便于系统维护。
可通过计算机实现本地监控及远程监控，探测器运行状态数据可永久存储。
实现可燃与毒性气体探测器的混合配置。
选购配件
备电电源转化模块。
中继器模块
联动控制模块
执行器
一氧化碳气体报警器技术参数：
与RBT-6000气体探测器配套使用
工作电压：AC220V±10%
使用温度：-20℃～60℃
使用湿度：≤95%RH
LCD液晶屏幕显示：ppm/%LEL
报警系统：声光报警
报警音量：≥75dB
传输距离：≤2000m
外形尺寸：370mm(L)×305mm(W)×90mm(H)
重量：≤4.5kg
济南中诚仪器仪表有限公司
联系人：李经理
电话：0531-88883789
手机：13969050081
邮箱：sdzclar01@163.com
QQ：1245851641
济南中诚仪器仪表有限公司
2021-08-23