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

产品详细介绍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 单一样品测试系统原理示意图

该旋转式多功能明渠试验系统主要由水箱段、固定明渠段和旋转明渠段构成。水箱段分为两层三箱，下层为储水箱，试验中水流的流量通过水箱中的挡板调节；固定明渠段由梯形截面的明渠出水槽和弧形截面回水渠道组成，并在回水渠道出口安装一个三角量水堰，用于测定水流流量；旋转明渠段由两端支架支撑，固定在旋转轴上，含有四个对称的明渠水槽，水槽之间由弧形水槽固定翼连接，通过调节支架上的升降阀，能够调整明渠的底坡类型。明渠水槽上能够设置多种水工建筑物模型，通过转动旋转明渠段，能够完成不同的明渠试验。 利用旋转、组合的方法使得多种明渠试验装置集于一体，每旋转一次旋转明渠段，水箱段、固定明渠段和旋转明渠段都能构成一个整体，形成一种明渠试验装置，完成至少一种明渠试验。装置中回水槽的特殊设计，能够使试验用水循环利用，达到节约试验用水目的

涉及一种基于平面扫描三维成像的人体安检系统及方法，该系统的安检门框架内装有平面扫描驱动单元的扫描臂，扫描臂前后两侧分别装有扫描单元的毫米波收发天线阵列，安检门框架两侧分别装有毫米波收发机，扫描臂上端连接平面扫描驱动单元的驱动机构，控制单元连接扫描单元和平面扫描驱动单元，以使毫米波收发天线阵列进行平面扫描；控制单元连接数据采集单元，用于控制所述数据采集单元采集处理来自扫描单元的检测信号；图像处理单元连接数据采集单元，用于根据采集数据和采集数据的空间位置信息合成三维全息图像，并由显示器显示所述三维全息图像。

该诊断方法是基于癌症组织切片吸收常数的THz近场光纤扫描成像，系统传输的图像易于量化，且无需H&E染色，即可实现病理诊断自动化。因此，该系统在临床癌症检查中具有重要的潜在应用价值，有望在快速、简便、准确地鉴别胃癌上发挥重要作用，可以节约大量医院和人力资源的使用，具有重要的社会经济价值。

成果简介：在单光子发射断层成像（SPECT）中, 放射性示踪剂被注入病人体内，根据对放射性示踪剂所发出的伽马射线的测量，SPECT 可以重建出放 射性示踪剂在人体内的分布图，该图可以反映人体组织结构及其活动功能。SPECT 已经被用在肿瘤的早期诊断, 心血管疾病和脑部疾病的诊断,骨胳影 像的显示等。基于国家自然科学基金的支持，我们国际上率先发展了非均匀 衰减锥形投影 SPECT 解析重建方案。该方案可以同时

本实用新型公开了一种用于荧光检测器的成像辅助调节焦距和位置系统，包括校准平台、聚焦于荧光收集物镜、激发光源、透镜、二向色镜、长通滤光片、光电检测器、摄像装置和电脑，摄像装置通过铁架和光电检测器固装在一起，使该摄像装置成像的中心位置和光电检测器前方的小孔重合，所述长通滤光片位于光电检测器上方，在长通滤光片上方设置二向色镜，其上方设置聚焦与荧光收集物镜，在聚焦与荧光收集物上方设置校准平台，校准平台上设置辅助光源，所述辅助光源的光线通过聚焦与荧光收集物镜、二向色镜、长通滤光片，将微通道的像投射在光电检测器前的小孔所处的平面上。 成果亮点 技术特点：操作简单，不受所用微流控芯片形状的限制。

NJTECH MF7型电容层析成像系统可用于石油管道输送的气/液流或油/水流，气力输送、流化床内物料分布的气/固流以及燃烧火焰等的可视化监测中。支持32电极的ECT系统，实测成像速度可达1000帧/秒，处于国际先进水平。研发的电容层析成像仪被华东理工大学洁净煤研究所、东南大学能源与环境学院、东方电气集团等高校和企业应用于气力输送的过程监测中，可在线测量管道中两相流的流型、浓度分布、速度场和流量等参数。通过三维ECT技术对流化床气固流动过程进行实时全局成像，通过实验方法研究循环流化床的流动机理。

HY-90系列无人机载高光谱成像系统，采用自主研发的高光谱相机，结合高清可见光相机、定制化高稳云台、高精度GPS系统、远程控制系统，实现对地物多源信息的同步定性、定量、定时、定位的采集。  功能特性 采用高性能大靶面cmos图像传感器，光谱分辨率优于2.8nm； 内含定制云台自稳定系统，无人机推扫成像，作业效率高 ； 硬件同步触发高清可见光相机，分辨率达1500w像素，支持高精度正射影像拼接 ； 硬件同步触发POS系统，GPS定位数据与高光谱数据按行精准对应，辅助图像拼接 ； 小型地面站广播基站GPS信息，实现机载端RTK ；可实现远程智控，提升用户操作及使用便利性； 支持实时图传，监控单波段图像及光谱曲线； 机载控制及数据采集软件，数据格式完美支持ENVI等第三方软件； 可适配大疆M600 pro、华测P580及科卫泰、海康等多种无人机平台。  应用领域 水质环保：水质监测（总氮、总磷、氨氮、叶绿素、浊度、高锰酸钾指数等） 土壤监测：土壤含水量监测、土壤肥力监测、重金属污染监测； 地质应用：矿物填图、矿物成分探测、成矿预测； 农林碳汇：农业测绘，病虫害防治，树种识别， 国防军工：伪装识别，无人侦察等； 

【发 明人】马宏跃；段金廒；丁安伟；潘苏华；王珏；周婧；张启春；范林乾；李尧【技术领域】本实用新型设计了一种眼部医疗保健器，尤其涉及一种控温药物雾化浴眼仪。【摘    要】本实用新型公开了一种温控雾化浴眼仪，它包括依次连通的主机、支架和喷头：主机包括由输气管路依次相连的雾化室、冷凝室和加热室；雾化室设有加料盖和加药斗，可将物料送入储液槽中；储液槽底部设有导能片；涡轮风机和雾化室相通，可将雾化室内的雾化气体送入输气管路；冷凝室通过外加冰水，可将输气管路置于冰水浴中；加热室将输气管路缠绕在高温加热片上；输气管路通过出气口将气体从主机传输到支架中，再通过支架传送到喷头中，由喷头气栅喷出气体。本实用新型结合了药物雾化治疗和传统热蒸汽熏眼的医疗方式，集蒸汽加热、药物雾化治疗及其清凉降温功能于一身，在药物治疗同时，促进眼部血液循环，立刻缓解疲劳的作用，标本兼顾。