项目研究内容 ： 本系统的开发内容是实现一个能够对网络安全认证 协议进行形式化自动分析的模型检测系统， 该系统能够自动完成对协议的 建模、性质归纳及协议系统模型的验证，并在发现协议漏洞时，以直观的 图形化界面显示该漏洞的攻击序列图。 技术特点 ：抽象性：该系统具有较高的抽象性。协议的建模和验证过 程对用户来说是完全透明的

基于自主路径规划的光伏板表面自适应无水清洁技术。面向光伏板壁面全方位清洁检测的基本需求，针对光伏板表面结构化环境，研究并设计自适应路径规划算法，解决光伏板表面自适应清洁与缺陷检测死角问题，切实提高光伏板表面清洁度与表面检测范围，实现光伏板表面全面深度清洁与检测，最大化降低发电效率损失。 一、项目进展 创意计划阶段 二、负责人及成员 姓名 学院/所学专业 入学/毕业时间 学号 苟益鹏 机器人产业学院/ 2020/2024 20497214 李川 机器人产业学院/自动化 2020/2024 20416216 张涵琳 机器人产业学院/自动化 2020/2024 20461106 三、指导教师 姓名 学院/所学专业 职务/职称 研究方向 徐淑玲 机器人产业学院 院长 智能制造 戴昌志 机器人产业学院 指导老师 人工智能 四、项目简介 目前市面上的清洁车无法做到完全无人化值守，我们希望能解决清洁车全自动化清洁问题。 基于自主路径规划的光伏板表面自适应无水清洁技术。面向光伏板壁面全方位清洁检测的基本需求，针对光伏板表面结构化环境，研究并设计自适应路径规划算法，解决光伏板表面自适应清洁与缺陷检测死角问题，切实提高光伏板表面清洁度与表面检测范围，实现光伏板表面全面深度清洁与检测，最大化降低发电效率损失。同时研究使用与光伏板表面的无水清洁技术，实现光伏表面的无水清洁，减低水资源使用，提升系统应用对环境的友好性。

本项目由摄象机、图象采集卡、通用微机、红外车辆检测器和识别软件组成，能自动完成实景下车头图象的获取、牌照的分割和识别，可用于收费站、停车场、加油站、出入口等场所，实现车辆的自动监控、自动登记、自动查询等功能。本项目的技术也可推广应用于集装箱、货运列车的自动抄号等。本项目具有广阔的应用前景，但是技术难度很大，目前已达到实用程度，希望投资者与合作单位投资共同开

采用采用工业控制机+PLC 控制实现楼宇自动化现场总线控制系统。其中上 位机与各分节点通讯，对各楼层所有被控对象、监测对象在中控室进行集中监测、 显示、控制。BA 控制室一名员工根据业主需求，可同时监测、控制各层的被控 对象，使其正常运转。B3 楼层与中控室通讯，对 B3 层的热水泵启停进行控制、 对集水井水位、污水处理站水位进行监测报警。员工无需频繁地对 B3 层进行巡 检，可对水泵进行手动/自动控制。1-5 及顶层与中控室通讯，监测送风、回风温度，对送风温度除进行中控室集中控制外，可进行现场显示

1、改变卷装，增加纱线卷装的容纱量： 通过络筒将容量较少的管纱(或绞纱)连接起来，做成容量较大的筒子，一只筒子的容量相当于二十多只管纱。筒子可用于整经,并捻,卷纬,染色,无梭织机上的纬纱以及针织用纱等。这些工序如果直接使用管纱会造成停台时间过多，影响生产效率的提高，同时也影响产品质量的提高，所以增加卷装容量是提高后道工序生产率和质量的必要条件。 2、清除纱线上的疵点，改善纱线品质： 棉纺厂生

随着电磁环境日益密集复杂，通信信号调制方式识别成为无线电管理的重要任务。利用通信信号调制方式识别系统可以便于监测无线电台是否严格遵守分配的工作参数限制，同时侦听非法电台的干扰并识别信号的调制类型，从而确保无线电通信的正常秩序。 本系统采用接收信号的高阶累积量作为主要特征，利用人工神经网络实现了对22种不同调制方式（包括7种模拟调制方式和15种数字调制方式）高效自动识别，可用于接收机I、Q数据的识别，识别正确率高。 本系统可以应用于无线电监测与无线电管理、通信侦查、电子对抗、信号认证、干扰识别和频谱管理等领域。

1、目前公司采取人工焊接，效率低，焊接质量不稳定，产品质量得不到保证，通过优化工艺流程，采用自动焊接机器人，可大幅提高生产效率，使产品质量得到进一步提升。2、目前产品装配采用手工装配，效率低，产品一致性差，通过产品自动化装配产线，实现产品装配规范，保证产品质量一致性。

项目研究的背景及用途:配电网是电力系统的重要组成部分，其安全、可靠运行是整个电力系统安全、可靠运行的重要保障。与输电网不同，配电系统要从变电站、馈电线路一直延伸到企业、商业和居民用户，配电设备名目繁多，数量巨大、且线路及设备的增改频繁，因此管理任务十分繁重。传统的手工作业管理方式不仅工作繁杂，劳动强度大，难以适应配电网高速发展和配电自动化的需求，而且容易引发事故，给用户带来重大的经济损失。利用飞速发展的计算机和现代信息技术进行配电网的科学运行与管理，及时进行数据采集、状态监视、网络分析(包括校正性控制和恢复供电)，提高工作质量和工作效率，消除隐患，更好地保证电网安全、可靠运行，将对电力部门和全社会有着深远的社会和经济效益。 我们在了解了供电公司的调度、用电和变电部门的实际情况基础上，为顺应电力企业在市场情况下，对各项管理工作自动化水平和关键数据保护安全性要求不断提高的趋势，将最新的计算机技术和网络技术引入到日常的调度运行管理、方式操作等工作中，使不同的供电公司的调度运行管理上一个新的台阶。系统实现网上数据和图形发布，可以实现远程查询和管理，为今后地理信息系统的推广使用打下资料基础。技术原理及流程:调度方式自动化管理系统，能够管理不同电压等级的线路资料和运行情况，能够完成日常调度运行方式的各种管理工作，能够完成运行线路的拓扑着色、拓扑追寻;可以和 SCADA 系统互联实现数据共享。采用客户机/服务器方式的分层分布式结构，在软件开发方面采用面向对象编程技术，整个软件模块化、开放式。具备网上发布功能，可以通过 WEB 浏览功能查看图形的切改和数据的变更等功能。 异地备份系统，实现系统数据和图形的异地自动备份，以便在主服务器受到致命破坏后，利用异地备份恢复数据和运行。成果水平及主要技术指标:项目的开发是从 1993 年开始的，并经过多年的艰苦努力和潜心研究，现已开发完成了一套较完善的配电网管理与分析系统。在软件的开发过程中，为了保证所开发软件的实用性，项目组一直与国内电力行业的一些配电网分析和管理部门保持着密切地合作关系，在电力生产部门拥有多个具体合作伙伴。所开发系统的每一项功能都得到了实际配电网运行管理部门的考核，从而充分保证了系统实用性。同时，在系统开发过程中，项目组投入了多名教师、博士研究生和硕士研究生，在广泛收集国内外最新文献及深入现场进行调研的基础上，时刻跟踪配网分析与计算机新技术的发展，在模型算法及所采用的计算机技术方面保证了系统的先进性。该系统通过了天津市科委组织的成果鉴定，获得 1998 年天津市科技进步二等奖。市场分析及效益预测:该系统开发完成后可以广泛地用于城市的各区局配电网和县级配电网，应用前景非常广阔。项目投入使用后，可以有效提高供电公司内部管理的自动化水平和效率。 1998 年 7 月，国家电力公司为了贯彻国务院指示，召开了“推进城网建设改造工作会议”，提出在 3～5 年内将投资 2500 亿用于城乡电网改造，并强调“城网建设改造做好规划”。另外随着配网改造的进行，采用信息技术对配电网进行科学的管理和分析，对配电系统的安全可靠运行，提高管理水平，降低损耗具有重要意义。本项目正适应了这一需要，因此无论是城市电网，还是农村电网都需要本产品，随着我国经济的飞速发展和技术的进步，该系统的市场还会进一步加大，市场前景非常广阔。

“NMT界乔布斯”许越先生推荐创新平台 中关村NMT产业联盟推介成员单位创新产品  “全球抗疫，人人有责” 推出背景：        非损伤微测技术(NMT) 源自1974年美国海洋生物学实验室（MBL，Marine Biological Laboratory）的神经科学家Lionel F. Jaffe提出原初概念，到1990年成功应用于测定细胞的Ca2+流速，已经解决了众多科学问题。2001年，中国学者许越先生与Dr.Jaffe以美国扬格公司 (YoungerUSA, LLC) 为依托，进一步完善系统功能和用户体验，初步形成了现代NMT的雏形。        非损伤微测技术（Non-invasive Micro-test Technology, NMT）是通过测定活体动植物组织、细胞与内/外环境间Ca2+/Cd2+/Na+/K+/NO3-/NH4+/O2...交换量的实时变化，揭示基因功能的一种新技术。目前已被103位诺贝尔奖得主所在单位，以及北大/清华/中科院使用。        非损伤微测系统已经经历了多代的更新，从最初实验室自行搭建的设备，到现在商业化的设备与售后，非损伤微测系统还将继续升级，满足更多科研人员的需求。 应对挑战： 非损伤微测系统已经实现了数据自动化的检测，但随着技术需求的提高，对于进一步的自动化，减少人员操作问题是需要拓展的 检测标准的一致性是人工操作经常出现的问题，如检测位点的确定等等 解决方法： 智能非损伤微测系统提供了智能化图像识别技术，对于样品检测时自动化的定位，有着至关重要的作用 智能非损伤微测系统能够进行智能化的点位选取与检测，让标准更加的固定 智能非损伤微测系统配备高清触摸屏，使操作更加便捷，为今后便携式的设备打下基础 功能特点 1.基本功能： 1.1智能寻位检测，无需人工操作 1.2采用智能化图像识别技术 1.3活体、原位、非损伤检测 1.4检测指标：Ca2+、H+、K+、Na+、Cd2+、Cl-、NH4+、NO3-、Mg2+、Pb2+、Cu2+ 1.5配备高清触摸显示屏，操作便捷   2.性能参数： 2.1工作电压：220V 2.2流速最高检测灵敏度：10-12mol·cm-2·s-1 2.3浓度最高检测灵敏度：10-6M 2.4最短检测周期：5s 2.5智能检测可选点位范围：5μm-1000μm 2.6智能检测可选点位数量：不限 2.7传感器最小运动距离：1μm   3. AIFluxes软件参数： 3.1智能识别流速传感器 3.2支持多点位智能检测 3.3智能捕捉样品图像 3.4可直接输出流速、浓度数据和折线图，无需额外换算

产品详细介绍BKTEM-Dx全自动热电性能分析系统关键词：热电材料，Seebeck系数，电导率， 电阻率，V-1装置产品介绍：     BKTEM-Dx热电性能分析系统是一款全新的自动化热电赛贝克系数测试仪，该仪器实现了一体化设计，无需手动，电脑软件上可以直接抽真空，设置温度，只要将样品装上之后，实现一键式的测量，电阻率及各个表格能够直观出现，其测试性能远超越国内外热电材料测试仪，不仅可以用于块体材料同时也可以用于薄材料的测试，是目前国内高等院校和材料研究所的重要设备。对于热电材料的研究，热电性能测试是不可或缺的试验数据。BKTEM-Dx(x=1,2,3)系列可以精确地测定半导体材料、金属材料及其他热电材料(Bi2Te3, PbTe, Skutterudites等)及薄膜材料的Seebeck系数及电导率。主要原理和特点如下: 该装置由高精度，高灵敏度温度可控的电阻炉和控制温度用的微型加热源构成。通过PID程序控温，采用四点法的方式精确测定半导体材料及热电材料的Seebeck系数及电导率、电阻率。试样与引线的接触是否正常V-1装置可以自动检出，自动出来测试数据和测试报告。一、适用范围：1、精确地测定半导体材料、金属材料及其他热电(Bi2Te3,PbTe,Skutterudites康铜、镍、钨等金属，Te、Bi2Te3、ZrNiSn、ZnAgSb、NiMoSb、SnTe、FeNbSb、CuGaTe2、GeTe、Ag1-xCuS、Cu2ZnSnSe4等)的Seebeck系数及电导率、电阻率。3、块体和薄膜材料测均可以测试。4、试样与引线的接触是否正常V-1装置可以自动检出。5、拥有自身专利分析软件，独立分析，过程自动控制，界面友好。6、国内高等院校材料系研究或是热电材料生产单位。7、汽车和燃油、能源利用效率、替代能源领域、热电制冷.8、很多其他工业和研究领域-每年都会诞生新的应用领域。二、技术特点：      一体化设计，所有参数直接在电脑上操作，无须人工干预·解决高温下温控精度不准的问题，静态法测量更加直观的了解产品热电材料的真正表征物理属性。温度检测可采用J、K型热电偶，降低测试成本。·试样采用独特的焊偶机构，保证接触电阻最小以及测量结果的高重现性。每次可测试1-3个样品.采用高级数据采集技术，避免电路板数据采集技术带来的干扰误差，可控温场下同步测量赛贝克系数和电阻率。 采用原装进口的采集仪，测试报告自动生成。三：主要技术：测量温度：室温-600℃,800℃,1200℃ 可选同时测试样品数量：1个，2个，3个 可选控温精度：0.5K（温度波动:≤±0.1℃）升温速率：0.01 –100K/min，极大得提高测试时间测量原理：塞贝克系数：静态直流电；电阻系数：四端法测量范围：塞贝克系数：0.5μV/K_25V/K；电阻系数：0.2Ohm-2.5KOhm分辨率：塞贝克系数：10nV/K;电阻系数： 10nOhm测量精度：塞贝克系数：＜±6％；电阻系数：＜±5％样品尺寸：块体方条形：2-3×2-3 mm×10-23mm长，薄膜材料：≥50 nm热电偶导距: ≥6 mm电   流: 0 to 160 Ma气   氛：0 to 160 mA加热电极相数/电压：单相，220V，夹具接触热阻：≤0.05 m2K/W图1 单一样品测试系统原理示意图