|
搜索
搜 索
高等教育领域数字化综合服务平台
软件可信性自动验证系统
软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了C程序自动验证系统和PLC程序自动验证系统，对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质，具有验证速度快、发现缺陷能力强、成本低的特点，从技术上突破了程序分析、程序测试的一些瓶颈，对提高软件质量具有不可替代的作用。目前，本自动验证系统已验证了涉及航空航天、武器装备、铁路、通讯等多种系统，显现出了明显效果，得到了认可。 该成果具有国际先进水平，自主可控，填补了国内程序可信性自动验证的空白，获得省部级和学会级三等以上奖励，有着有广阔的应用领域。。
西南交通大学
2016-06-27
全自动安瓿瓶开启装置
本实用新型属于医疗器械领域，尤其涉及一种全自动安瓿瓶开启装置。包括底座，所述底座上安装 有电机、转位凸轮、滑槽，所述电机通过皮带带到转位凸轮，所述转位凸轮向下与出力转塔 A 配合，所 述出力转塔 A 与牙轮同轴固定并垂直安装在底座上，所述转位凸轮向上与出力转塔 B 配合，所述出力 转塔 B 通过
武汉大学
2021-04-14
果园自动对靶喷雾机
一、成果简介： 中国农业大学根据我国果园对病虫草害防治的要求，应用光机电一体化技术、自动化控制等技术研制成功了果园自动对靶喷雾机系列机型(3WGZ-250、3WGZ-350Ⅰ、3WGZ-350II、3WC-600车载型)，该系列机在国内为首创，经农业部组织的专家鉴定：果园自动对靶喷雾机“设计思想新颖，应用光机电一体化技术、自动化控制等技术成功研制出果园自动对靶喷雾机在我国为首创，总体水平达到国际先进。果园自动对靶喷雾机由“电子眼”自动探测靶标并把“光
中国农业大学
2021-04-14
一种自动导向进给机构
本实用新型公开了一种自动导向进给机构，包括工作台，工作台上并排设置有第一进给装置和第二进给装置，工作台上设置有长缝，第一进给装置包括第一主动带轮、第一从动带轮及驱动第一主动带轮旋转的第一电机，第二进给装置包括第二主动带轮、第二从动带轮及带动第二主动带轮旋转的驱动机构，所述第一皮带和第二皮带配合夹住包装袋袋口和标签移动直至完成缝线。本实用新型结构简单，使用方便，能够快速地将包装袋袋口和标签运送到缝包机处进行缝线，运送过程中包装袋袋口不容易发生变形，工作效率高。
华中科技大学
2021-04-14
家庭中水自动处理装置
本实用新型属于污水处理与回收利用领域，涉及一种家庭中水自动处理装置。本装置主要由进水水质识别器2、过滤器5和高级氧化反应器7组成；进水水质识别器2前端与污水进水口1相连，后端分别与电磁阀11和水泵4连接，电磁阀11与下水道3连接；水泵4的出口端与过滤器5相联，过滤器5的另一端与高级氧化反应器7的一端相联；高级氧化反应器7内部设有紫外灯8，内壁有二氧化钛膜9，高级氧化反应器7的另一端与再生水出口10 相联。联用过滤与光催化氧化高级氧化技术处理污水，出水水质好且不用投加任何药剂，再生水处理成本低。
南开大学
2021-04-14
安全高效自动桥式吊车系统
南开大学自动吊车研究团队成功研制出32吨级安全高效自动桥式吊车系统一套，并提出了一系列高性能自动控制算法，取得的成果在国际上处于领先地位。经“国家起重运输机械质量监督检验中心”提供的权威检测报告知：它可使运送效率相比传统PID控制方法提高77%以上，同时使操作人员的工作效率提高2至3倍，具有良好的经济和社会效益。
一、项目分类
关键核心技术突破
二、成果简介
桥式吊车应用非常广泛，现有的人工操作方式工作效率很低。
人工操作吊车的主要问题：
工作效率低
定位准确度不高，难以应用在核电场合
人工操作安全系数低，伤亡事故频发
国内统计：吊车作业伤亡事故占很大比率
美国统计：年均死亡300~400人，死亡人数逐年上升
自动吊车研究目标：
对负载的自动快速运输，提高运输效率与自动化水平；
对负载的摆动进行抑制，提高效率、安全性与操作精度；
对各种紧急情况的自动处理，提高安全性。
南开大学自动吊车研究团队成功研制出32吨级安全高效自动桥式吊车系统一套，并提出了一系列高性能自动控制算法，取得的成果在国际上处于领先地位。经“国家起重运输机械质量监督检验中心”提供的权威检测报告知：它可使运送效率相比传统PID控制方法提高77%以上，同时使操作人员的工作效率提高2至3倍，具有良好的经济和社会效益。所搭建的自动吊车已在天津起重设备有限公司内进行初期应用，目前正积极推进产业化。
南开大学
2022-07-29
产品服务Web自动问答系统
此项目为利用自然语言和语义网技术实现基于Web的有关广联达公司产品服务的自动问答系统。在传统基于搜索引擎的问答系统基础上，通过对问题和答案的进行语义依存分析并结合领域本体模型提供较为准确的自动问答功能，在实际应用中取得良好的效果。
北京理工大学
2021-04-14
全自动风机性能测试台
依照美国AMCA207标准设计适合于不同类型规格风机的性能测试台，配用高精度传感器，采用计算机自动数据采集系统，对测量参数进行实时监控与测量，最后形成标准试验报告。
上海理工大学
2021-04-13
全自动实心胎硫化机
项目背景：目前国内市场上生产的实心胎硫化机均采用 手动取胎结构，自动的设备现刚刚处于开发初级阶段。目前 实心胎硫化机生产过程需要大量劳动力，其工作环境恶劣， 手动操作效率低下，劳动强度大，产品质量差，招工困难。
所需技术需求简要描述：1.实心胎取放时轮胎机械手与 模具中心定位问题，机械手与模具中心定位差不应超过 3mm。 2.实心胎胎坯形状不规则，抓取定位问题。实心胎内径范围 300-600mm，且在成型时内径不光滑，重量在 50-260KG，机 械手许抓取牢靠与足够大的支撑范围。3.熟胎抓取机械手需 要抓取实心胎外径，外径范围 600-1000mm，轮胎重量在 50-260KG。4.硫化好的胎型芯回拉时有 10000KG 会拉力，需 要熟胎抓取机械手承受力量。轮胎顶出需要有 15000KG 顶出 力。5.硫化好的轮胎摆放问题，多条轮胎摆放要稳定。6.一 台辅机多台实心胎硫化机共用，辅机与硫化机定位问题。辅 机与主机对齐误差不应超过 1mm，否则模具推拉会错位，造 成模具不出拉出硫化机。7.模具规格在 600-1150mm 范围内， 模具拉出至辅机时需要模具中心与辅机顶出机构同心，误差 不能超过 1mm，否则轮胎无法顺利顶出。8.模具推拉装置与 模具结合定位，误差不能超过 1mm，否则无法顺利挂住模具 进行下一步动作。
对技术提供方的要求:拟与高校联合开发，要求团队具有类似经验，具备液压与控制技术相结合的实施案例。
青岛祥杰橡胶机械制造有限公司
2021-09-13
TX系列自动空调实训台
本发动机实训台是本公司采用丰田凌志ES300电控发动机自动空调为适应汽车教学需求而研制的，该实训台由电控发动机自动空调（八成新）、操作显示面板及发动机彩色原理图电脑控制柜、可移动式台架(万向脚轮)、汽油供给系统(脚踏式油门踏板)、冷却系统(自动电子风扇)、启动系统、发电系统、排放系统、发动机传感、器执行器、原车仪表、原车电脑、具有发动机运转及显示、自动空调操作显示面板、（水温.燃油.机油.充电.转速.车速）真空显示表、燃油压力显示表、A134高压、低压指针试压力表、电压检测表（检测任意路传感器、执行器工作信号、工作电压）、故障设置区可设置32路故障（老师设置任一路线路故障）、故障排除区（学生通过各种仪器、仪表、或读取故障码）在面板上用专用排故线连接排除故障、故障分析、传感器信号模拟等多项功能、具结构紧凑、操作方便、安全可靠、教学直观、是汽车发动机实物教学不可缺少的实验室设备之一。
技术性能：
1、主要参数值：
●发动机V型6缸水冷电喷发动机 排量3.0L
●自动空调总成 ES300
●可移动台架(分体式+安全不锈钢防护拦) 1700×1000×1800mm
●汽油箱容量 10L
●润滑液容量 4.5L
●自动空调制冷剂 A134/2kg
●蓄电池容量 12V42AH
●冷却液容量 12L
●设备重量（不含油液） 380Kg
芜湖中方科教设备有限公司
2021-08-23