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

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

产品详细介绍 HWXG-II型全自动502手印熏显柜价格：5000.00功能介绍：该产品用于502胶气体熏显法显现非渗透性客体上的潜在汗液指印，它可以准确控制柜内湿度和502胶气体浓度，为502胶气体在手印纹线上聚合创造良好条件。产品特点：1 、可使用仪器内预装的“固有自动程序”控制手印熏显过程。2 、可自己设定“自编自动程序”控制手印熏显过程。3 、可手动控制各单项功能。 4 、内设湿度传感器自动控制柜内的湿度。 5 、熏显完成后， 502 残气通过排气管自动排出。性能指标： 电    源：交流220V   50HZ            功    率：100W外形尺寸：655 x 430 x 325mm3         熏显空间：530 x 380 x 300mm3重    量：15kg

产品详细介绍万深 全自动菌落计数分析仪（HiCC-Y型）一、用途：用于自动微生物菌落计数分析等二、主要性能参数指标：1 成像装置★超大变焦镜头的佳能EOS单反相机、1800万像素真彩CMOS (5184×3456)。最高分辨率0.014mm，可分辨大于0.016mm的菌落（对90mm平皿=90mm /3456像素=0.026mm/像素；对50mm平皿=50mm /3456像素=0.014mm/像素）。光源：可实现均匀背光成像、悬浮式暗视野正面成像的上下双光源★具有9点自动聚焦、动静态图像并行观察、自动白平衡、自动色温控制。系统内含扫描仪接口，还可以通过扫描仪成像分析具有图象增强、色度调节、灰度负相变换，图像亮度、对比度、饱和度调整功能，调整值自动记忆保存。具有视野导航、任意放大、缩小、局部观察功能适应培养皿：50～140mm（倾注、涂布、膜滤、螺旋平皿、3M纸片）2 菌落计数分析★自动识别统计：SmartdownTM菌落智能识别技术，具有菌落目标自动增强特性，自动识别大规模团状、链状粘连的长形杆菌（显微形态大片粘连的大肠杆菌、病菌孢子）及平皿上的各类菌落（含金色葡萄球菌计数（GB4789.10-2016）、大肠菌群测定（GB4789.3-2016）等等）。可自动形成批处理向导，实现一键式自动计数自动计数精度≥96.5%，最多监视修正3.5%，即达100%正确。分析统计速度：150～800个菌落/s ★菌落粘连分割：自动分割相互成片粘连的长形、圆形等菌落目标，用户可选择分割或不分割。还可手动分割、合并菌落目标图像★颜色形状识别：具有快速水平集提取技术，可按20类分类识别计数特定颜色、形状的菌落数量，并可类别转换修正。可同时选择6个目标区自动分别分析，并自由增减或编辑分析目标区菌落形态分析：自动获得各菌落面积、等效直径、长轴、短轴、长宽比、圆度、周长、形状系数等。可按形态指标过滤查询。鼠标点击修正，无痕剔除网格及文字，自动剔除杂质，有效支持复杂微生物统计，符合GB4789.2-2016的参数自动换算特性。3 测量、导出查询与升级可经标定后，测量抑菌圈直径（测量分辨率0.05mm）。分析图像与数据结果可保存，可直接报告结果，无需手工计算，结果可以直接导出到Excel或PDF文档报告，可统一保存或查看阅读相关各类分析数据和图像证据，并形成总报表。尺寸自动标定及人工标定。具有可视化比对、交互式精确测量、编辑功能。最新Windows操作界面，简便易用，★软件可自主在线升级。三、系统配置：带超大变焦镜佳能EOS单反相机的光学成像装置 1台万深HiCC系列全自动菌落计数分析软件及锁 1套品牌电脑（酷睿i5 CPU / 8G内存/ 19.5”彩显/无线网卡，5个以上USB2.0口，运行环境Windows 10完整专业版或旗舰版）1台

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

产品详细介绍 JK系列医用全自动喷淋清洗消毒器  皖合药监械（准）字2010第1570107号  合肥金尼克机械制造有限公司   地址：合肥双凤开发区凤麟路38-2号 联系人：苏苏 电话：13215694991/13275601658/0551-65683226 传真：0551-3511286 本仪器是根据医院的特点设计的专用的喷淋全自动清洗设备，主要适用于医用手术刀，手机，止血钳，内镜活检钳、镊子、注射针头、各式大小注射器、试管、玻璃片、换药碗、各种盘子、圆桶、测压器等放射性、污染性、大批量、高洁度的予浸后的清洗，是医院口腔科、内镜中心、手术室及供应室的必 备设备。  仪器型号 JK-DY120 JK-DY360 JK-DY500 JK-DY600  仪器尺寸(mm) 1250*600*1800 1400*700*1800 1580*800*1800 1700*640*1800  清洗内槽尺寸（mm） 500*300*800 500*450*800 600*550*800 700*750*800  清洗容量 120L 360L 500L 600L喷淋电功率 1500W 1500W 1750W 1750W  风压电功率 50W 750W 1100W 1100W  水加热电功率 14KW 20KW 35KW 35KW  干燥加热电功率 6 KW 6 KW 8 KW 8 KW  耗电最大功率 16 KW 22  KW 37 KW 37 KW  最高干燥功率 105℃  最高消毒温度 98℃  工作时间可调 1-480min  清洗剂投量 150ml/min  防锈剂投量 150ml/min  清洗剂排放方式 一个清洗周期自动排放一次  防锈剂投量方式 一个防锈润滑处理周期自动排放一次  清洗车进出 手控进出  开、关门方式 电动开关门或手动开关门  工作噪音 55db水源压力 0.10MPa-0.80MPa  电源电源 380V/220 50HZ

产品详细介绍ZDHW-300微机全自动量热仪功能特点： 1. 采用标准pc机控制，保持了计算机全部功能，并可使用各种通用软件，计算机扩展槽仍可插接其它功能板。可自动标定量热系统的热容量（能当量），测量发热量。输入硫、水分、氢等数据，即可换算并打印出弹筒发热量、高位发热量，低位发热量等结果。 2. 恒温式量热仪内筒采用片状桨叶的电动搅拌，外筒采用循环泵搅拌，使水温更均匀；增加了注水口、抽水口和自动调水温部分，使操作更简单更方便。仪器即可使用熔断式也可使用非熔断方式点火，使用方便自如。 3. 微机全自动量热仪可对两台或两台以上量热仪进行异步控制，亦可作为单筒量热仪使用。 4．量热仪的操作采用在WIN2000操作系统系统上运行，保证了软件的安全性和稳定性。既可以对量热仪控制的同时进行数据的修改，还可在测试时可进行报表管理等其它工作，为用户提供了方便，真正做到了一机多用。 5. 系统操作全过程汉字提示，按提示操作即可完成试验。 技术参数 1.热容量（能当量） 约10450J/K 2.外水筒容量 30L 3.内水筒容量 约2.3L 4.点火电压 24V 5.点火时间 6分钟点火 6.测量精度 符合国标GB/T213-2008 7.温度分辨率 0.0001℃ 8.使用环境 10-30℃（每次测定室温变化应≤1℃）相对湿度≤85% 9.电 源 220V±10%

产品详细介绍 产品特点： ZDHW-8微电脑全自动量热仪是我公司最近新研发的大屏幕汉字显示智能型发热量测定仪器，符合GB/T213-2008《煤的发热量测定方法》中恒温式热量计法的规定。   ZDHW-8型全自动量热仪的详细资料： ZDHW-8型全自动量热仪适用范围： 适用于生产、研究和使用可燃物质的企业、学校、科研部门以及军工单位用来测量煤炭、焦炭、水泥、生料等可燃物的发热量及火药的爆热值。符合国标GB/T213-2008《煤的发热量测定方法》要求。 ZDHW-8型全自动量热仪功能特点： ◆采用单片机技术开发研制，240×128液晶屏中文显示，双探头测定，无需调节水温。自动加水、自动放水。 ◆测试精度高，性能稳定，系统常数和实验结果可长期保存并且关机不丢失。配有微型打印机实验结果一目了然。 ZDHW-8型全自动量热仪技术参数： ◆测量范围：10-38℃  ◆测定误差：＜0.3% ◆测温分辨率：＞0.001℃ ◆整机功耗：＜30W ◆电源电压：AC220V±10%  50HZ  

产品详细介绍  仪器特点 1、炉体自动升降、定位准确，提高了测量的重复型。 2、两路吹扫气体与一路保护气体，使用集成的质量流量控制系统及相应软件功能进行精确的流量设定与控制。 3、液晶时时显示仪器状态、数据。 4、DSC方式数据才具分析。 5、从微量样品到大型样品均可满足，差动型TG—DTA最大样品可达200mg（更换大热电偶，最大样品可达5g）。可满足各种样品在不同条件下的测试要求。 6、增加气流调节装置，在升温过程中可使热浮力引起的表现增重减到最小。 7、智能化软硬件设计，全部测量过程自动完成，自动绘图，丰富的软件可完成TG、DTA常规数据处理；特殊数据处理（DTA面积及热焓计算；动力学参数计算；数据比较）。 8、智能化系统采集试样过程中，根据输出信号大小自动变换量程。 9、国内唯一可由用户利用标准试样进行温度、热重、差热各项校正的仪器，减少仪器误差。 10、USB或串行通讯接口，方便与笔记本电脑连接。 11、自动化控温软件功能强大而灵活，用户界面友好，具有丰富的数据分析功能并可灵活的进行温度程序设定。 仪器指标 温度范围：STA—100为室温—1150℃、STA—200为室温—1450℃ 温度准确度：±0.1℃ 升温速率：0.1℃/min—80℃/min     之间可任意设定 天平测量范围：1mg—200mg 天平灵敏度：0.1ug 测量范围：±10uv—±1000uv DTA解析度：0.005℃ DSC方式数据采集分析。 DSC测量范围：1mw至±100mw DSC解析度：10uw 真空度（仪器本身有真空密封措施）选配真空机组后可达2.66-2pa 两路吹扫气体与一路保护气体，使用集成的质量控制系统及相应软件功能进行精确的流量设定与控制。 具备热重、差热基线校正功能。 坩埚容积：约0.06 ml

产品详细介绍特点　　•公称容积：1.5L、3L、5L、10L、15 L　　•材 质：硼硅玻璃　　•装料系数：70%~80%　　•高 径 比：1：2～1：3　　•搅拌形式：气流（GYB）、磁力（GJB）　　•控制类型：分A（普及型）、B（优化型）、BE（增强型）、C（全自控型）四种（详见控制系统介绍）　　•可控参数：温度、转速（磁力搅拌型）、pH、溶氧、流量、压力、补料、自动消泡等