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

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

产品详细介绍南京固琦分析仪器制造有限公司专业制造各类非水碳硫分析仪，非水碳硫分析仪器，碳硫分析仪器，智能定硫仪，炉料分析仪，碳硫高速分析仪器，高智能碳硫分析仪器，南京碳硫分析仪，碳硫检测仪，碳硫联测分析仪,  化验室仪器，碳分析仪器，硫分析仪器，管式碳硫分析仪，管式碳硫仪，智能碳硫分析仪器，自动分析仪器，智能化验仪器，智能分析仪器，快速碳硫分析仪、分析仪器，化验仪器，化验设备，不锈钢成分测定仪,化学元素分析仪, 电化学分析仪,实验室分析仪器, 智能元素分析仪，微机元素分析仪，三元素分析仪器，可测定工业材料中碳、硫、锰、磷、硅、镍、铬、钼、铜、钛、锌、钒、镁、稀素的含量土等元素。仪器测量范围广、精度高，高、中、低档齐全，并能接受用户特殊定货。广泛应用于钢铁分析仪器、冶金化验仪器、铸造化验设备、机械分析仪器，化工分析仪器、矿山开发设备等行业及质量监督部门和大专院校。(http://www.gqfxy.com)  025-57357222 13851978239)。

扭振分析仪可以用于开展汽轮机等各类旋转机械传动轴系扭转振动测试，提供以下分析图表：数据列表、波形、频谱、棒图、趋势分析、瀑布图、层叠图、历史数据查询等，测试数据可导出至Excel文件。主要技术指标：4通道；美国国家虚拟仪器公司硬件；32位计数器；计数频率100MHz；最低测量转速：0.025r/min。

扭振分析仪可以用于开展汽轮机等各类旋转机械传动轴系扭转振动测试，提供以下分析图表：数据列表、波形、频谱、棒图、趋势分析、瀑布图、层叠图、历史数据查询等，测试数据可导出至Excel文件。主要技术指标：4通道；美国国家虚拟仪器公司硬件；32位计数器；计数频率100MHz；最低测量转速：0.025r/min。

超高速流式成像分析仪是数字显微技术、微流体力学和图像处理技术的综合应用，用于自动分析颗粒或液体中的悬浮细胞。当样品流过检测区时，仪器会捕捉样品的影像，影像中的每个颗粒将被分析，生成关于颗粒的数量、尺寸、透明度、形态等方面的数据。也能用于实时分析颗粒的动态过程。形态分析软件还可用于分析特殊形态的颗粒，或者用于分离一些亚颗粒群体。该成像仪器利用高速重复频率的激光脉冲作为主动照明光源，利用时空频映射对成像区域进行频分扫描，该扫描完全利用光源本身的光谱特性实现，没有使用机械或电子的扫描装置，因此可以大大提升扫描成像的速度。目前实现了超高速成像仪的帧率可以达到1 百万帧/秒至 20 亿帧/秒的帧率，可以连续记录 10 万帧以上的影像数据，成像分辨率小于1 微米，可以连续观察非周期性的无规律的偶发事件。在应用方面，已经进行了超高速无标记流式细胞成像实验，可以实现对血液细胞当中的早期癌细胞（CTC）进行高精度高通量的筛查，成像通量超过 100 万细胞/秒，是目前常用的流式细胞仪的 1000 倍。另外，在高速气溶胶（PM2.5、PM10）成像机制上也进行了应用，可以实现气溶胶喷口速度在 10 米/秒的情况下进行颗粒成像，目前国际上还没有类似的仪器出现。因此，超高速激光扫描显微成像仪拥有传统检测仪器不具备的特殊功能，通过高速成像，获取传统仪器无法得到的信息，解决多个交叉领域的关键问题。

高速细胞检测一直是生物、医学领域非常有挑战性的工作，而流式细胞检测以其较大的 检测通量成为高速细胞检测的首选方案。本成果超高速流式成像分析仪灵活运用了高速光纤通信、微波光子技术及光信号处理技术，结合高速数据处理和生物医学技术，实现了对传统 细胞成像速度的巨大突破。与此同时，在获取了海量的细胞图像之后，根据具体应用的需求 进行快速数据压缩、人工智能图像分类处理、细胞特征提取等操作。通过细胞图像获取每一 个细胞的核心参数，从而将复杂的生物学现象（细胞）快速转换为直观可读的信息呈现形式， 为细胞特性的分析以及疾病的诊断提供第一手的，准确的资料。 创始团队基本来自于清华大学，拥有雄厚的研发能力，并与北京大学、武汉大学、东京 大学、加州大学洛杉矶分校、北京天坛医院实验室等知名高校及科研机构建立项目合作。同时获得天使轮投资，拥有发明专利两项，并获得第二十二届全国发明展览会—金奖，第十二届北京发明创新大赛—金奖，受到业内一致好评。 超高速流式成像分析仪是数字显微技术、微流体力学和图像处理技术的综合应用，用于自动分析颗粒或液体中的悬浮细胞。当样品流过检测区时，仪器会捕捉样品的影像，影像中的每个颗粒将被分析，生成关于颗粒的数量、尺寸、透明度、形态等方面的数据。也能用于实时分析颗粒的动态过程。形态分析软件还可用于分析特殊形态的颗粒，或者用于分离一些 亚颗粒群体。该成像仪器利用高速重复频率的激光脉冲作为主动照明光源，利用时空频映射 对成像区域进行频分扫描，该扫描完全利用光源本身的光谱特性实现，没有使用机械或电子 的扫描装置，因此可以大大提升扫描成像的速度。目前实现了超高速成像仪的帧率可以达到 1 百万帧/秒至 20 亿帧/秒的帧率，可以连续记录 10 万帧以上的影像数据，成像分辨率小于1 微米，可以连续观察非周期性的无规律的偶发事件。

扭振分析仪可以用于开展汽轮机等各类旋转机械传动轴系扭转振动测试，提供以下分析图表：数据列表、波形、频谱、棒图、趋势分析、瀑布图、层叠图、历史数据查询等，测试数据可导出至Excel文件。主要技术指标：4通道；美国国家虚拟仪器公司硬件；32位计数器；计数频率100MHz；最低测量转速：0.025r/min。

水质分析仪的主要用户是环境监测、水利水务部门、水处理行业、高校、科研院所、电力钢铁化工企业、第三方检测机构等，可替代大量手工分析劳动。市场主要被美国HACH、德国SEAL、荷兰SKALAR等进口产品垄断。但由于仪器结构复杂，操作难度大，多数单位引进后被迫处于闲置状态。我们与多家单位联合研制生产的THINKED 7800系列多参数连续流动水质快速分析仪全部性能指标相当或优于进口品牌，易用性优势特别突出，整机和配件价格优势明显，可提供专家级的咨询服务，售后响应快捷。具有很强的市场竞争力。