本发明公开了一种嵌入式环境下并行程序数据竞争检测与重放 的方法，结合软件调试与测试的需求，采用符号执行虚拟机方案，动 态地监测程序的运行，收集程序的执行信息，并分析数据竞争。并且 还能通过执行信息对程序进行确定性重放，使得程序的执行轨迹能够 重现。功能包括：基于符号执行虚拟机的数据竞争检测、基于符号执 行虚拟机的数据竞争重放功能。本发明可以发掘隐藏在程序中的数据 竞争，防止多线程程序在运行时发生错误。

采用高性能200W像素1/2.8英寸CMOS图像传感器，低照度效果好，图像清晰度高 可输出200万(1920X1080)@25fps 支持H.265编码，压缩比高，超低码流 支持CVBS/SDI输出 最大红外监控距离30米 支持防闪烁，宽动态，3D降噪，强光抑制，背光补偿，数字水印，电子防抖，适用不同监控环境 支持H.264H,H.264,H264B,H.265，灵活编码，适用不同带宽和存储环境 支持遮挡报警，虚焦侦测，SD卡异常，网络异常，非法访问，动态检测，区域入侵，绊线入侵，物品遗留/消失，场景变更，徘徊检测，全局配置，快速移动，人员聚集，非法停车，音频异常侦测，人脸侦测，外部报警，起立检测，客流量统计，区域人数统计,热度图 支持报警2进2出，音频1进1出，RS485，BNC，128G SD卡，内置MIC 支持DC12V/POE供电方式，支持电源返送，最大电流1A,方便工程安装 支持IP67防护等级 类别 参数 参数值 外观 红外枪 传感器类型 1/2.8英寸CMOS 最大分辨率 200万 扫描方式 逐行扫描 电子快门 1/3s~1/100000s;可手动或自动调节 最低照度 0.002Lux(彩色模式);0.0002Lux(黑白模式);0Lux(红外灯开启) 信噪比 ＞56dB 最大补光距离 30米 补光灯数量 双灯 强光抑制 支持 外调焦 支持 镜头类型 定焦 镜头接口 M12 镜头焦距 3.6mm 镜头光圈 3.6mm:F1.8 视场角 3.6mm:水平:76°;垂直:46° 对角:80.5° 光圈控制 固定 近摄距 3.6mm：0.9mm 智能 支持 智能功能 支持遮挡报警，虚焦侦测，SD卡异常，网络异常，非法访问，动态检测，区域入侵，绊线入侵，物品遗留/消失，场景变更，徘徊检测，全局配置，快速移动，人员聚集，非法停车，音频异常侦测，人脸侦测，外部报警，起立检 测，客流量统计，区域人数统计，热度图,并且可以与报警联动;支持多种触发规则联动动作;支持目标过滤

本发明涉及检测领域，公开了一种果蔬检测装置及果蔬检测方法，果蔬检测装置包括传送机构以及设置在所述传送机构的传送途径上的至少一个检测单元，所述传送机构包括：轨道；托盘组件，沿所述轨道运动，所述托盘组件包括第一托盘以及位于所述第一托盘内的第二托盘，所述第二托盘尺寸小于所述第一托盘；以及升降模块，至少部分与所述第二托盘连接，用于带动所述第二托盘相对所述第一托盘升起或降落。本发明的果蔬检测装置及果蔬检测方法，兼顾待检物平稳运输的同时减小检测时承载件对待检物的过多遮挡，以提高检测精度。

产品详细介绍进口无损检测仪泄露检测仪器电压范围:                        10-25KV,调节精度5KV电压选择:                        旋钮选择电压形式:                        单级脉冲脉冲幅度：                       ＜10us电源:                            6V 4.5Ah,分离式蓄电池组蓄电池尺寸及重量：               90X45X120mm    0.9公斤持续工作时间：                   最长持续工作时间9小时尺寸及重量：                     220X256X88mm不含蓄电池的外壳重量：           小于3公斤音频报警信号：                   约为86分贝，频率3500HZ连接测试干额中继电缆长度:        1.5米相关标准及行业规定               DIN55670,DIN28055,DIN30670,DIN4681,DIN28063,DIN EN14330(IV),DVGW462/1,W400-2

2025年3月21日，由安徽省首席信息官协会主办的 “2025安徽省汽车及零部件产业创新发展论坛” 在合肥融创铂尔曼酒店圆满落幕。本次论坛汇聚行业专家、企业精英及科技先锋，共同探讨汽车及零部件产业的创新发展之路。作为中国领先的物流供应链全场景解决方案服务商，鼎软天下受邀参会，为汽车行业供应链产业带来前沿技术与AI创新解决方案。

究团队在线光电检测技术及仪器方面，主要采用光谱技术对水质进行监测，具体包括：1）采用紫外-可见光谱技术实现了水质COD和浊度的在线监测。自主开发了浸没式、小型化、一体化的采样分析的探头，探头直径仅50m，能耗低，可在野外无人值守的环境工作。该探头经过上海市计量测试技术研究院的测试，结果表明，该探头符合国家环保行业相关标准；2）采用红外光谱技术实现水体CO2含量的在线监测，为水生态环境的监测提供支撑。

研究团队十余年来致力于光谱检测与分析领域，研发了数件产品，持有多项发明专利，发表了多篇高水平论文。例如， 1）采用紫外-可见光谱技术实现了水质COD和浊度的在线监测。自主开发了浸没式、小型化、一体化的采样分析的探头，直径仅50 mm，能耗低，可在野外无人值守环境工作。2）采用红外光谱技术实现水体CO2含量的在线监测，分辨率高，稳定性高。目前，探头正在三峡库区进行测试。3）建立一系列基于表面增强拉曼光谱效应的新型光学免疫检测方法，发展了相关纳米光学探针和微通道芯片器件，实现了血液、唾液等体外复杂环境中肿瘤标志物（包括循环肿瘤细胞、循环肿瘤DNA、肿瘤来源外泌体表面受体分子及内含miRNA分子等）的高灵敏、高通量和快速检测。

产品详细介绍至尊8188亚克力防盗仪 产品编号：323 型　号：至尊8188(SSLT-EM-2008A) 品　牌：盛世龙图 档　次：高档 推荐指数：      特点描述： 采用纯进口全亚克力材料设计、耐磨性强、晶莹剔透，报警灯光采用全反射、全迷幻效果设计，先进的液晶显示人次统计系统，具有精确的报警和超高的检测率，通过公安部安全与警用电子产品质量检测中心检验，是国内外高档图书馆、大型书城、书店、图书馆、药店、音像店、化妆品店、部队等首选产品，现大量出口国外50多个国家。 具体说明： ◆ 保护宽度： 单通道75-120厘米。 ◆ 灵敏度高：采用DMPD（动态多相位检测）技术，最短可以探测3厘米的磁条，高保障地检测目前市面上的全部磁条产品。 ◆ 稳定性好：拥有世界上最先进的DSP技术，完美确保系统的稳定性与可靠性。 ◆ 无误报：先进的检测仪自检能力，有效识别、过滤外界干扰源，实现行家客户要求的高报警、无误报的理想效果。 ◆ 抗金属能力强：自主开发的智能数字化微电脑控制技术和三环同步递归滤波技术，空前提高系统的抗金属干扰的能力，并对抗金属干扰进行自由调节。 ◆ 保护范围广：不仅可以保护图书、药品、化妆品、音像制品，还可以保护U盘、MP3、MP4、移动硬盘、笔记本电脑等电子产品。 ◆安全技术检验：通过公安部安全与警用电子产品质量检测中心检验。 ◆生产工艺：按照公司通过的ISO9001：2000质量管理体系认证要求，高标准、高质量组织设计、生产与服务。 ◆ 技术针对性强：针对大型书店、图书馆、药店、音像店、化妆品店等的安装要求设计。 ◆ 极具视觉冲击力的设计：外观设计高雅大方，选用日本进口亚克力材料、透光性强、抗磨性强、不变形；报警灯光采用全反射、全迷幻效果设计； ◆ 先进的进店客流人次统计功能（三种模式）：可通过独家开发的可视液晶模块实现总人数历史统计（无需计算机、默认配置）；可通过连接计算机实现当日和历史客流流量的统计、分析、报表生成等（需计算机）；通过主机内置模块实现当天人次统计。 ◆ 符合绿色环保标准：产品功率小于5瓦，使用寿命长、耗电量少，对人体无辐射。设计与制造完全符合美国联邦通讯委员会（FCC）颁发的有关无线电频率、信号强度、电磁干扰（EMI）及其它方面的规定。 ◆ 性价比高：国际品质、国内价格  技术指标：  ◆ 综合报警率 98% ◆ 报警方式: 声光报警（报警灯采用全反射、全迷幻效果设计） ◆ 探测范围： 高：5-165cm 宽：75—120cm ◆ 信号处理： 数字式-DMPD（动态多相位检测）技术、DSP多重滤波技术 ◆ 制作材料：纯进口亚克力材料，不变形、不变色、晶莹透亮、抗磨性强 ◆ 无故障时间≥80000小时 ◆ 外型尺寸：150 cm*48cm*3cm ◆ 天线功率： 3.6W-5W ◆ 工作电压：AC:220V±20%、50Hz ◆ 安装形式：底座式、金属扣槽式、预埋管式、切割扣槽式

自助服务终端一体机银行政务海关酒店医院智能报道缴费工位机终端

本项目提供压缩机全生命周期管理系统，建立模块化、集成化数据环境，面向于往复压缩机、隔膜压缩机，服务于石油化工、加氢站、储气库、船舶动力等行业主要包括： 设计规划阶段——压缩机整体方案设计，压缩机结构形式设计，核心部件材料遴选分析，启/停流程设计，安全控制策略设计等； 运行工作阶段——压缩机运行数据实时采集、远程动态展示，核心部件状态监测与故障诊断，监测诊断一体式/分体式硬件与软件系统开发； 检修维护阶段——零部件维修预警、寿命预测，可视化维修方案、维修模型、维修视频，压缩机及其辅助系统、零备件信息数字化管理平台。 关键技术一：压缩机性能计算技术与选型设计技术 基于 Windows 平台，遵循结构化、模块化原则，采用 QT 框架、C++语言编制交互设计软件，可实现往复压缩机物性计算、热力计算、动力计算、设计校核复算、平衡计算、产品系列化自动匹配、多工况计算七项功能于一体，可实现往复压缩机机组设计计算、选型、零部件管理一体化功能。现阶段已授权发明专利 1 项，软件著作权 1 项。 关键技术二：压缩机状态监测与故障诊断技术及设备 针对压缩机核心零部件构建相应状态监测方案与故障诊断方法，包括：①集成气缸内热力过程特征和阀片声发射信号的诊断方法，基于气阀声发射信号获得气阀故障的特征参数和反映故障程度的量化指标，诊断不同类型气阀故障；②基于活塞杆应变重构 pV 图方法的往复压缩机气阀无损故障诊断方法，基于活塞杆应变重构压力-容积图（p-V图）的无损监测方法，为传统侵入式方法破坏气缸完整性带来安全隐患的问题提供解决方案；③十字头销磨损、活塞杆松动的故障诊断方法，对不同程度十字头销磨损、活塞杆松动故障进行模拟试验，对比时频域分析研究十字头销磨损、活塞杆松动的故障机理、声发射信号和振动信号特征，提取故障特征识别故障程度；④基于压缩机内油-气压力“伴随”关系，国内外首次提出了集成声发射与油-气压无损监测的隔膜压缩机状态监测新方法，进一步根据油-气压力“伴随”关系的失调追溯故障根源；⑤基于增量式编码器的往复压缩机轴系扭振测试方法，基于增量式编码器构建了往复式压缩机扭振测试系统，为传统方法在现场实际应用时难于实施提出解决方案；⑥压缩机气流脉动和振动模态分析技术，隔振结构设计、管路结构设计，提供机组振动测试、诊断以及改进方案。 本项关键技术现阶段已授权国内发明专利 4 项，申请国际专利 2 项、国内发明专利10 项；应用于中海油海洋平台天然气压缩机；开发压缩机故障诊断仪，已在某加氢站压缩机调试中成功检测出气阀泄漏、膜片运动失效、活塞环磨损、溢油阀阀芯磨损等严重故障。 关键技术三：压缩机数据共享与健康管理云平台 构建压缩机及其辅助系统、零备件信息数字化管理平台；构建压缩机热力-动力-应力-寿命分析模块，集成监测数据评价机组运行状态；基于故障诊断技术，建立机组现场监测数据与健康/故障状态信息实时共享平台，打破机组现场与远程管理者之间的技术壁垒；实现压缩机核心部件维修预警、寿命预测，交互 GUI 界面集成可视化压缩机维修维保手册、指导视频、三维模型；压缩机全生命周期管理，显著提高运维效率和管理水平。