软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了C程序自动验证系统和PLC程序自动验证系统，对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质，具有验证速度快、发现缺陷能力强、成本低的特点，从技术上突破了程序分析、程序测试的一些瓶颈，对提高软件质量具有不可替代的作用。目前，本自动验证系统已验证了涉及航空航天、武器装备、铁路、通讯等多种系统，显现出了明显效果，得到了认可。 该成果具有国际先进水平，自主可控，填补了国内程序可信性自动验证的空白，获得省部级和学会级三等以上奖励，有着有广阔的应用领域。。

一、成果简介： 中国农业大学根据我国果园对病虫草害防治的要求，应用光机电一体化技术、自动化控制等技术研制成功了果园自动对靶喷雾机系列机型(3WGZ-250、3WGZ-350Ⅰ、3WGZ-350II、3WC-600车载型)，该系列机在国内为首创，经农业部组织的专家鉴定：果园自动对靶喷雾机“设计思想新颖，应用光机电一体化技术、自动化控制等技术成功研制出果园自动对靶喷雾机在我国为首创，总体水平达到国际先进。果园自动对靶喷雾机由“电子眼”自动探测靶标并把“光

本实用新型公开了一种自动导向进给机构，包括工作台，工作台上并排设置有第一进给装置和第二进给装置，工作台上设置有长缝，第一进给装置包括第一主动带轮、第一从动带轮及驱动第一主动带轮旋转的第一电机，第二进给装置包括第二主动带轮、第二从动带轮及带动第二主动带轮旋转的驱动机构，所述第一皮带和第二皮带配合夹住包装袋袋口和标签移动直至完成缝线。本实用新型结构简单，使用方便，能够快速地将包装袋袋口和标签运送到缝包机处进行缝线，运送过程中包装袋袋口不容易发生变形，工作效率高。

南开大学自动吊车研究团队成功研制出32吨级安全高效自动桥式吊车系统一套，并提出了一系列高性能自动控制算法，取得的成果在国际上处于领先地位。经“国家起重运输机械质量监督检验中心”提供的权威检测报告知：它可使运送效率相比传统PID控制方法提高77%以上，同时使操作人员的工作效率提高2至3倍，具有良好的经济和社会效益。 一、项目分类 关键核心技术突破 二、成果简介 桥式吊车应用非常广泛，现有的人工操作方式工作效率很低。  人工操作吊车的主要问题： 工作效率低 定位准确度不高，难以应用在核电场合 人工操作安全系数低，伤亡事故频发 国内统计：吊车作业伤亡事故占很大比率 美国统计：年均死亡300~400人，死亡人数逐年上升 自动吊车研究目标： 对负载的自动快速运输，提高运输效率与自动化水平； 对负载的摆动进行抑制，提高效率、安全性与操作精度； 对各种紧急情况的自动处理，提高安全性。  南开大学自动吊车研究团队成功研制出32吨级安全高效自动桥式吊车系统一套，并提出了一系列高性能自动控制算法，取得的成果在国际上处于领先地位。经“国家起重运输机械质量监督检验中心”提供的权威检测报告知：它可使运送效率相比传统PID控制方法提高77%以上，同时使操作人员的工作效率提高2至3倍，具有良好的经济和社会效益。所搭建的自动吊车已在天津起重设备有限公司内进行初期应用，目前正积极推进产业化。

此项目为利用自然语言和语义网技术实现基于Web的有关广联达公司产品服务的自动问答系统。在传统基于搜索引擎的问答系统基础上，通过对问题和答案的进行语义依存分析并结合领域本体模型提供较为准确的自动问答功能，在实际应用中取得良好的效果。

依照美国AMCA207标准设计适合于不同类型规格风机的性能测试台，配用高精度传感器，采用计算机自动数据采集系统，对测量参数进行实时监控与测量，最后形成标准试验报告。

项目背景：目前国内市场上生产的实心胎硫化机均采用 手动取胎结构，自动的设备现刚刚处于开发初级阶段。目前 实心胎硫化机生产过程需要大量劳动力，其工作环境恶劣， 手动操作效率低下，劳动强度大，产品质量差，招工困难。 所需技术需求简要描述：1.实心胎取放时轮胎机械手与 模具中心定位问题，机械手与模具中心定位差不应超过 3mm。 2.实心胎胎坯形状不规则，抓取定位问题。实心胎内径范围 300-600mm，且在成型时内径不光滑，重量在 50-260KG，机 械手许抓取牢靠与足够大的支撑范围。3.熟胎抓取机械手需 要抓取实心胎外径，外径范围 600-1000mm，轮胎重量在 50-260KG。4.硫化好的胎型芯回拉时有 10000KG 会拉力，需 要熟胎抓取机械手承受力量。轮胎顶出需要有 15000KG 顶出 力。5.硫化好的轮胎摆放问题，多条轮胎摆放要稳定。6.一 台辅机多台实心胎硫化机共用，辅机与硫化机定位问题。辅 机与主机对齐误差不应超过 1mm，否则模具推拉会错位，造 成模具不出拉出硫化机。7.模具规格在 600-1150mm 范围内， 模具拉出至辅机时需要模具中心与辅机顶出机构同心，误差 不能超过 1mm，否则轮胎无法顺利顶出。8.模具推拉装置与 模具结合定位，误差不能超过 1mm，否则无法顺利挂住模具 进行下一步动作。 对技术提供方的要求:拟与高校联合开发，要求团队具有类似经验，具备液压与控制技术相结合的实施案例。 

成果与项目的背景及主要用途： 烟气排放的在线监测能够实时检测污染源排放物是否符合现行国家排放标准规定；能够正确评价除尘净化装置及污染防治设施的性能、监督防污设施的运行情况；为环境质量管理和评价提供科学准确的依据。可应用于对固定污染源颗粒物浓度和气态污染物浓度以及污染物排放总量进行连续自动监测。 技术原理与工艺流程简介： 基于紫外查分吸收光谱技术对各种气态污染物进行测量。光谱波段选择为200nm—250nm 的紫外光，入射光被各种污染物吸收后，经光栅分光，由 CCD探测器测量得到吸收光谱，经计算机软件处理后分离出宽带光谱和窄带光谱，最后通过反演算法计算得到污染物的种类和浓度。  应用前景分析及效益预测： 无需采样，省去过滤、冷凝、加热灯复杂的抽气和标定过程，真正实现在线连续测量。空气吹扫装置可保证烟道内光学元件不被烟气污染，运行成本低，缩短维护周期。 应用领域： 应用于工业锅炉、工业窑炉、电厂锅炉等污染源烟道废气排放连续监测。 合作方式及条件：合作开发、产品出售

浮选自动加药系统，是我院承担的淮南矿业（集团）选煤分公司科研项目，在大量的调研基础上，并对望峰岗选煤厂浮选工艺进行了研究，开发研制了该系统。控制 方 式 ： 前馈控制：主要根据入浮干煤量与吨煤油耗以及生产修正值控制药剂添加量。 反馈控制：主要根据浮选要求灰分与浮选快灰产生的偏差调节药剂添加量。 功 能： ： 1、通过传感器在线检测，实时动态显示入浮密度、流量以及浮选机、计量泵、乳化泵运转反馈信号； 2、根据密度计测量的密度换算出相应的浓度；电磁流量计测量的流量，计算出干煤泥量。根据干煤泥量、吨煤油耗以及根据生产实况的修正值，通过 PLC控制捕收剂与起泡剂计量泵的流量； 3、根据浮选精煤快灰，对捕收剂与起泡剂计量泵的流量进行反馈调节，使得浮选工作在最佳状态； 4、浮选生产系统中干煤泥量、捕收剂流量、起泡剂流量等重要参数进行实时显示； 5、浮选生产系统浓度、流量、干煤泥量、捕收剂流量、起泡剂流量等重要参数进行历史记录并可以导出。

产品详细介绍世界上性价比最高的专业CD/DVD 光盘打印机 Bravo SE AutoPrinter 是Primera 公司最新出品的“all-in-one”全自动化光盘打印系统。她将full-color 、4800dpi的图象直接打印在CD/DVD光盘表面。Bravo SE AutoPrinter 设计精致华丽，您可以一次性将最多20片空白表面光盘交给Bravo SE 来处理。她能自动的感应光盘的输入和输出，其低廉的价格同等与其他手动光盘打印机。 全自动“无人值守”CD/DVD打印系统 您是否曾经使用光盘贴纸一张一张的打印粘贴您的光盘？您肯定知道需要花费大量的时间和精力去实现这样的工作。或者花费大量的时间和成本去外面加工您的光盘。如果是这样，我想您需要寻找一个更好的方法去解决您的难题。现在Primera 新推出的Bravo SE disc 光盘制作系统能为您解决难题。Bravo SE是一款小巧精致、“all-In-one”自动化小型光盘打印机。她能生产出真彩色、高质量的CD/DVD光盘，让您的企业突显出更加专业的形象。 智能机械手技术 Bravo SE 让复杂的机械工作更加简单。她使用Primera 公司的第六代智能机械人技术，让整个工作更加的稳定，同时也提高制作工作效率。 Bravo SE 是怎样工作的？  1、 Bravo SE 的机械手从光盘输入仓抓起一张空白光盘。 2、 机械手将光盘移动到4800DPI 喷墨打印机盘架上。 3、 光盘开始打印。 4、 打印完成后，机械手抓起打印拖架上的光盘，将他放置到输出仓里面。 5、 然后重复上面的工作打印第二张。 Bravo SE 为您做了所有的工作——无人值守、自动化的。她为您降低了光盘制作的时间和成本。 Bravo SE 光盘打印机详细技术参数 产品名称 派美雅(primera) Bravo SE 光盘打印机(单打印) 产品型号 Primera Bravo SE AutoPrinter 光盘容量 20片光盘 全自动输入/输出 取盘技术 AccuDisc™ 全自动智能机械手取盘技术 打印方式 喷墨 打印分辨率 最高4800 dpi; 在驱动程序中可调打印分辨率及光盘盘面大小 驱动器 无 最大打印宽度 4.724" (120mm) 墨盒 一个CMY彩色墨盒；Primera P/N:53332或P/N:53335 色彩 1670 万色 配色方案 包含Primera Z-Color™配色方案 盘面编辑软件 PC: SureThing™ CD Label Software Primera Edition 简体中文版盘面制作软件 Mac: 为Mac® 和Windows用户提供 EPS 盘面设计模板   支持介质 可打印光盘，包括（BD-R，DVD±R，CD-R；普通或防水可打印光盘） 数据接口 一个USB 2.0接口 支持操作系统 PC：Windows XP/2000和Vista；Mac：OS X v10.2 或更高, 包含两个操作系统的软件 最低系统配置 (PC) Pentium III 700MHz或更高处理器, 512MB 内存, USB 2.0接口,NTFS 文件系统 最低系统配置 (Mac) PowerPC G4 700MHz或Intel® Solo/Duo Core™更高处理器，256MB内存，USB 2.0接口 电源 100-240 VAC, 50/60Hz, 60 watts 输入电源 12VDC, 5A 重量 11.5 lbs. (4.1 kg) 尺寸 15”W x 14.75”H x 7”H (381mmW x 375mmH x 178mmH) 认证 安全认证: UL, UL-C,RoHS 电气认证: FCC Class B，CE 保修 标准一年保修(可扩展)