|
搜索
搜 索
高等教育领域数字化综合服务平台
软件可信性自动验证系统
软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了C程序自动验证系统和PLC程序自动验证系统，对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质，具有验证速度快、发现缺陷能力强、成本低的特点，从技术上突破了程序分析、程序测试的一些瓶颈，对提高软件质量具有不可替代的作用。目前，本自动验证系统已验证了涉及航空航天、武器装备、铁路、通讯等多种系统，显现出了明显效果，得到了认可。 该成果具有国际先进水平，自主可控，填补了国内程序可信性自动验证的空白，获得省部级和学会级三等以上奖励，有着有广阔的应用领域。。
西南交通大学
2016-06-27
各种纳米结构保护性涂层
纳米涂层亦称纳米防水涂层、纳米防水液。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
科学探究性实验室
科学探究室能充分满足演示试验和分组实验需要,在这里，教师为学生做演示实验或者指导学生做分组实验，学生通过活动，提高了动手操作能力，更有助于创造性思维的开发。而好奇、好动、好探究、充满幻想又是孩子们的天性，实验教学的开展正是迎合了学生的这一身心特征。在实验过程中，孩子们的好奇心、好动性得到了充分的发挥，他们的奇思异想会象泉水一样喷涌出来，渴望知识，对未知事物的探索，达到了刨根深究的程度。这样，实验教学的开展为每一个学生提供科学探究的动力，使学生真正做到了“爱科学，学科学，用科学”的目的，提高了学生素质。
广东厚吉教育科技有限公司
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
粉煤成型及催化热解-活化耦合多联产技术
煤是一种廉价的、使用量最大的、短期内无法替代的能源。随着机械化采煤技术的普及，煤炭在开采过程中的块煤率降低，粉煤、末煤率却高达 40~60% 以上。粉煤与块煤的价格相差甚远，如不加以合理利用，会给煤炭企业带来较大的经济损失。西安科技大学化学与化工学院周安宁教授带领的科研团队针对这一现状及粉煤热解加工利用难题，成功开发了新型粉煤成型技术及连续式梯级热解 - 活化耦合多联产移动床（自有专利技术），在实现粉煤热解加工利用的同时，多联产兰炭（或高附加值的活性炭）和氢气。相关的研究成果已申请发明专利 2 项，发表论文 10 余篇。目前该成果已进入中试开发阶段。
西安科技大学
2021-04-11
带钢热连轧计算机控制系统
带钢热连轧计算机控制是冶金企业计算机应用最早、最成熟和效益最好的。经过近半个世纪的发展，热连轧生产线已经实现了从加热炉、粗轧区、精轧区到卷取区的全线计算机控制，形成了包括传动控制与检测级、基础自动化级、过程控制级和生产控制与管理级的多级分布式计算机控制系统组成模式。控制功能则从最初的以轧制规程设定计算和操作自动化为主，发展到以减少能源消耗、增加经济效益、扩大产品规格和品种、全面提高产品质量（包括带钢的几何尺寸精度、板形、组织性能、表面质量等）为主要特征的新阶段。先进控制理论和智能控制理论、高性能计算机控制系统、网络通讯与信息技术、大功率交流传动系统与液压伺服系统、检测与传感技术等高新技术在该领域的应用日新月异，保证了带钢热连轧计算机控制处于持续发展的态势，取得了巨大的经济效益。 北京科技大学信息工程学院自动控制研究所是以轧钢自动化为主要特色的科研机构。从上世纪八十年代以来，在我国轧钢自动化领域著名专家、我国带钢热连轧计算机控制开拓者之一孙一康教授的领导下，承担与参加了一系列国家和省部级带钢热连轧控制工程，取得了丰硕的成果，获得了多项国家和省部级重大奖励，在我国轧钢自动化领域占有重要地位和广泛影响。近年来与鞍山钢铁集团公司、武汉钢铁集团公司、高效轧制国家工程研究中心、北京麦思科自动化系统工程公司等单位密切合作，在新型控制功能的研制开发、多级分布式计算机控制系统的软硬件集成、热连轧三电工程（计算机、电气传动、仪表）总承包等方面业绩突出，形成了各类轧制自动化控制系统的设计与集成、应用软件开发与调试、人员培训、投产与生产服务的综合实力，具备了与国外大公司进行平等合作和参与国内外市场竞争的能力。
北京科技大学
2021-04-11
微泵功低品位热驱动朗肯发电装置
本发明公开了一种微泵功低品位热驱动朗肯发电装置,包括流体输运单元和膨胀做功单元,所述流体输运单元包括冷凝器、流体泵、储液装置、蒸发器;所述的膨胀做功单元包括汽轮机和发电机,所述的储液装置包括储液罐以及储液罐出入口处的流体截止装置,各单元通过管路相连,储液装置内的流体流入蒸发器内被低品位热加热产生蒸汽,蒸汽进入汽轮机膨胀做功,带动发电机发电。本发明的流体输运单元的流体泵仅需克服流体在管道内流动的阻力,泵功消耗可大大减少,发电装置的净发电效率得到极大提高。
浙江大学
2021-04-11