鲸准作为领先的一站式金融科技服务平台，我们为大型企业、创业公司、地方政府、金融机构等经济体提供从数字化到解决方案的多种金融科技服务。 鲸准致力于用数字化助力投资决策与产业创新，以“数据+产业+人才+资本”为服务体系，聚焦产业领域、专注产业创新、助推产业变革，培育信息化新兴园区。 鲸准专业服务政府、各类投资机构和园区，赋能产业创新中的各个环节，促进经济社会建设，致力于成为产业升级时代背景下科技创新的行业领航者。

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

采用高性能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卡异常，网络异常，非法访问，动态检测，区域入侵，绊线入侵，物品遗留/消失，场景变更，徘徊检测，全局配置，快速移动，人员聚集，非法停车，音频异常侦测，人脸侦测，外部报警，起立检 测，客流量统计，区域人数统计，热度图,并且可以与报警联动;支持多种触发规则联动动作;支持目标过滤

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

上海芸英工业皮带有限公司生产各种型号的糙面带，糙面橡胶带，糙面橡胶皮，糙面包辊带，包辊糙面带，防滑糙面带，罗拉皮，糙面罗拉皮，粒面罗拉皮，高温罗拉皮，包辊罗拉皮，防滑罗拉皮，刺皮，高温刺皮，糙面刺皮，粒面刺皮，包辊刺皮，刺皮包辊带，平面包辊带，光面包辊带,糙面带，耐高温糙面带，耐高温光面带，耐高温粒面，耐磨耐油防滑包辊带，耐高温硅胶包辊带,主要库存40mm，50mm，100mm门幅的包辊带，糙面带，拥有大量糙面带现货，我公司拥有一整套的生产加工糙面带的设备，可以根据不同客户的要求进行加工长度以及宽度可根据用户的特殊需要定做.特性采用经特殊处理的织物为骨架材料，表面压制特种花纹（糙面、粒面），广泛应用于各种辊筒的包辊；耐油、耐磨、高弹性、不变形、不剥离、牢固耐用糙面带又称糙面橡皮、糙面带、糙面橡皮、包辊带，包辊皮，辊包皮，颗粒带，颗粒皮，粒面带，粒面皮，糙面皮,罗拉皮,防滑带，糙面橡胶、胶刺皮、刺皮、粒面橡胶。糙面带适用于喷水织机、喷气织机、剑杆织机、印染机和验布机的导布辊上，可用于各类织物的牵引，增大摩擦力，提高生产效率。具有不变形、不剥离、耐磨、耐油、防水、抗静电等特点

论无忧学位论文格式检测机器人可以自动分析学位论文格式是否符合学校的撰写规范以及相关的国家标准，支持文本、插图、表格、代码、算法和参考文献等上百个检测项，并将发现的不符合项以批注的形式在原稿中自动标注，指导学生修订相关规范性错误。平台历经7年运营，拥有两百余所高校用户（含40余所双一流、985/211学校），如中南大学、四川大学、电子科技大学、大连理工大学、国防科技大学、西安电子科技大学、北京邮电大学、中国矿业大学（徐州和北京）、中国地质大学（武汉和北京）、中南财经政法大学、北京体育大学、中国石油大学（华东）、上海开放大学、浙江省委党校等，研究生、本科、党校、军校、开放大学、继续教育、高职均有成功案例，支持800余所高校2000余份模板，百度搜索“论无忧 形式规范|格式 检测 通知”，可以看到上百所高校发通知把格式检测作为学位授予的一个必备环节。 

武汉大学采购卫星对地高速数传系统项目 招标项目的潜在投标人应在阳光招采电子招标投标交易平台（网址：http://www.yangguangzhaocai.com/）获取招标文件，并于2022年06月30日 09点30分（北京时间）前递交投标文件。

产品详细介绍产品名称:  DH3系列智能微差压数显变送控制器产品型号:  DH3Digihelic的功能，和Photohelic表一样的尺寸产品介绍:DH3系列Digihelic®差压控制器是一个三合一仪器，拥有数显表，控制继电器开关，和变送器输出，这些全都安装在通用型Potohelic®表盒中。结合这三个特点，避免了在一个产品中安装多重仪表，节约库存、安装时间和成本。Digihelic®控制器是一款理想的用于测量压力，速度和流量的工具，量程为0.25"w.c到2.5"w.c的 精度是1%，量程大于等于5"w.c的是0.5%。也可提供双向量程.开方根输出可用于流量计算.DH3系列Digihelic®差压控制器在测量压力，速度或容积流量运行中，能够互换几个常用的工程单位。2个单刀双掷继电器开关可调节死区，并具有可升级的4-20mA过程输出。使用菜单键是很容易编程的，进入5种简化菜单，可选择：安全级别；选择压力、速度或流量运行方式；选择工程单位；流量传感器时的K系数选择；在流量应用中选择的矩形或圆形管；设定点控制或设定点和报警操作；报警操作有高，低或高/低报警，自动或手动报警复位；报警延迟；看最高和最低的进程读数；不稳定过程数字阻尼；可升级4-20mA定标输出来满足不同应用的量程范围。 主要应用：集尘袋过滤器、输送管的流量测量、过滤器状态、输送管或建筑物的静压、风扇控制等。 技术参数:介质：空气和不可燃，兼容的气体材质：请向厂家咨询外壳材料：硬铸铝精度：<5”w.c(除了±2.5”w.c型之外)：±1%；其它所有型号在77℉（25℃）为±0.5%包括滞后性和重复性（1小时热身后）稳定性：每年<±1%压力范围：量程≤2.5”w.c；25psi；±2.5”，5”w.c:5 psi；10”w.c:5 psi；25”w.c:5 psi；50”w.c:5 psi；100”w.c:9 psi温度范围：32至140℉（0至60℃）补偿温度范围：32至140℉（0至60℃）热效应：0.020%/℉（0.036/℃）从77℉（25℃）电源：12-24VAC/VDC电力消耗：最大3VA输出信号：4-20mA DC最大900欧姆零点和范围调整：通过菜单调整响应时间：250ms显示：4位液晶显示0.4”高LCD指示设定点和报警状态电气连接：15针连接；18”（46cm）电缆带10连接件：1/8英寸FNPT阴螺纹，侧面或背部连接安装定位：在垂直平面安装尺寸：5”(127mm)O.D.×3-1/8”(79.38mm)重量：1.75磅（0.794KG）认证：CE 开关规格:开关类型：2个SPDT电气指标：1A@30VAC/VDC设定点调节：可通过表面按键调节 

产品详细介绍  鼎易数影仪X320 鼎易数影仪X320可以帮助您实现A4幅面文档拍摄/复印；拥有300万像素，小巧精致、便携；是商务人士的好文档管家。 产品特点 双镜头设计 自动调焦镜头：适合文档拍摄 定焦镜头：适合拍摄人像 高速高分辨率A4幅面文档拍摄/复印  采用高性能高分辨率CMOS传感器，只要轻轻“一键”点击鼠标即可完成文件或实物的拍摄/复印工作，文档可以是A4、A5、A6尺寸的。 具有300万像素的镜头  只要把文件放置于鼎易数影仪下拍摄，影像是高清高分辨率的图片，可通过OCR识别功能，可识别多个国家的语言，提取文字直接使用，也可直接编辑文字。文档管家 ：软件可实现文档或实物的拍摄/复印、图片编辑、网络传真、邮件发送、PDF保存、OCR识别等应用。 小巧精致、便携 ：合拢尺寸只有337mm*100mm*128mm，可放置在提包里，随身携带。 产品功能 1.高速扫描 ：高速完成A4、A5、名片等文件的扫描与保存，让办公瞬间提升。 2.实物展示：实物实时拍摄功能，数影仪的拍摄感应组件可向上调整90°角度，方便实体对象的拍摄并可以将之数字化存盘。可连续拍摄，时距自由设定。 3.图像处理：数影仪为你提供了功能强大的图片处理功能，实现了许多图像处理软件的常用功能，为你提供了图片添加文字、框选、镜像、旋转、裁切、改变图像大小、反色、灰度图、二值图、抖动处理、颜色变换、增加亮度、降低亮度、增加饱和度、降低饱和度等功能。 4.文档识别：快捷，专业的OCR识别技术更清晰，将拍摄好的文档图像转变为可编辑的word文件。 5.免拍打印：经由数影仪所提供之驱动接口将文件，照片等影像以约1秒的速度截取，并可经由你的黑白或彩色打印机实时打印，具有文件影印的功能。可自由设定放大缩小比例及旋转，并可翻拍一部书或是装订的文件。 6.网络传真：透过数影仪所拍摄截取之影像，可经由传真软件选择传真机号码，实时传真至对方。7.即时投影：数影仪为直立式设计，实体对象可置于拍摄镜头下，实时捕捉实物影像并与软件与之配合，直接投影于银幕上，提供实时无限度的缩放与移动，投影时可提供批注，是简报时不可或缺的展示利器。 8.视频录像：视频录像功能，数影仪除了提供文件及实物之拍摄功能外，随机附赠之程序具实时录像录音之功能且操作方便，录像时间之长短并无限制，且每秒至多可录78张画面。 9.电子邮件：经由数影仪扫描存盘之影像可经邮箱发送E-Mail至他方。 产品规格 展开尺寸：     337mm*245mm*128mm合拢尺寸：     337mm*100mm*128mm拍摄范围：     A4双镜头设计 自动调焦镜头像素：2000*1600dpi 定焦镜头像素：    1600x1200dpi 图片格式：     JPG、TIF、PNG、BMP输出格式：     PDF、DOC、TXT              视频格式：     AVI    接口类型：     USB2.0光源补偿：     LED灯 重  量：         0.731KG感光元件：     CMOS 应用领域  鼎易数影仪X320是适合于金融机构、政府机关、中小企业、教育行业等共同应用的一款高速高分辨的文档拍摄仪设备。适用于银行、证劵、保险等各类金融组织，以及政府办公室、税务部门、海关、医院等行政事业机关和幼儿园、中小学、高中以及大学等教育场所。在日常扫描，档案存储，行政办公方面都能够快速处理。   金融行业     单据、表格、合同、图纸、客户个人资料的快速扫描，自动存储，整理归档；实现网络化储存资料；资料的网络化远程集中授权。教育行业     老师备课，实物展示；学生试卷、学生档案的快速扫描，自动存储，整理归档，实现纸质原件的网络化管理和查询。政府机关     证件识别；文件、数据、表单、账本、手写报告/申请/证明等的快速录入，自动存储，整理归档，实现原件证据网络化管理与查询。通讯行业     用户办理业务的证件进行文档影像数字化，以后不同级别、形式的查阅存档文件，从而提高通信营业厅的整体信息化水平，避免损失，提高了用户原始档案的安全性。

产品详细介绍  鼎易数影仪X310 产品特点 高速高分辨率文档拍摄/复印      采用高性能高分辨率CMOS传感器，只要轻轻“一键”点击鼠标即可完成文件或实物的拍摄/复印工作，文档可以是A4、A5、A6尺寸的。具有300万像素的镜头，拥有麦克风 只要把文件放置于鼎易数影仪下拍摄，影像是高清高分辨率的图片。拥有麦克风，可以让声音更宏亮。   文档管家： 软件可实现文档或实物的拍摄/复印、图片编辑、网络传真、邮件发送、PDF保存、OCR识别等应用。 小巧精致、便携 合拢尺寸只有337mm*100mm*128mm，可放置在提包里，随身携带。 1.高速扫描一键完成A4、A5、名片等文件的扫描与保存，让办公瞬间提升。 2.实物展示 实物实时拍摄功能，数影仪的拍摄感应组件可向上打开，方便实体对象的拍摄并可以将之数字化存盘。可连续拍摄，时距自由设定。3.图像处理 数影仪为你提供了功能强大的图片处理功能，实现了许多图像处理软件的常用功能，为你提供了图片添加文字、框选、镜像、裁切、改变图像大小、反色、灰度图、二值图、抖动处理、颜色变换、增加亮度、降低亮度、增加饱和度、降低饱和度等功能。4.语音功能 内置数码麦克风，可实现扬音和扩音功能，把你的声音带到你想达到的地方。 5.免拍打印 经由数影仪所提供之驱动接口将文件，照片等影像以约1秒的速度截取，并可经由你的黑白或彩色打印机实时打印，具有文件影印的功能。可自由设定放大缩小比例及旋转，并可翻拍一部书或是装订的文件。 6.网络传真    透过数影仪所拍摄截取之影像，可经由传真软件选择传真机号码，实时传真至对方。 7.即时投影  数影仪为直立式设计，实体对象可置于拍摄镜头下，实时捕 捉实物影像并与软件与之配合，直接投影于银幕上，提供实时无限度的缩放与移动，动态图像自由旋转，投影时可提供批注，是简报时不可或缺的展示利器。 8.视频录像 视频录像功能，数影仪除了提供文件及实物之拍摄功能外，随机附赠之程序具实时录像录音之功能且操作方便，录像时间之长短并无限制，且每秒至多可录78张画面。 9.电子邮件 经由数影仪扫描存盘之影像可经邮箱E-Mail至他方。 产品规格 展开尺寸：     337mm*245mm*128mm合拢尺寸：    337mm*100mm*128mm拍摄范围：     A4像素：         300万（2000*1600）图片格式：     JPG、TIF、PNG、BMP输出格式：     PDF、DOC、TXT              视频格式：     AVI    接口类型：     USB2.0光源补偿：     LED灯 麦克风：       有重量：        0.731KG感光元件：     CMOS