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

成果简介宝钢五冷轧连续退火/热镀锌中试机组（以下简称中试机组） 是可进行连续退火、 热镀锌两种工艺于一体的特殊生产线， 该机组的工艺集成是由宝钢自主完成， 没有可以借鉴的成熟工艺控制技术。 带钢在加热炉和均热炉的温度控制的准确性是整个热处理过程至关重要的环节。宝钢中试机组具备了两条生产线的产品生产能力， 它的产品范围广、 工艺要求复杂、 控制难度大。 根据工艺设计和产品的定位， 中试机组的炉子温度采用数学模型控制。 由于中试机组的炉子温度控制模型是使用日本合作方提供的控制

本发明公开了一种配流冷却机构，包括依次相连接的进气阀片、 阀板、出气阀片、导流片及冷媒片。所述进气阀片开设有第一通槽、 第二通槽、第三通槽及第四通槽，所述第一通槽、所述第三通槽、所 述第二通槽及所述第四通槽绕所述进气阀片的中心轴均匀排布;所述 第一通槽、所述第二通槽、所述第三通槽及所述第四通槽内分别设置 有一级进气舌簧片、二级进气舌簧片、三级进气舌簧片及四级进气舌 簧片，所述一级进气舌簧片、所述二级进气舌簧片、所述三级进气舌簧片及所述四级进气舌簧片分别通过弹性变形或者恢复弹性变形，以 控制进入斜盘压

本发明公开了一种虚拟机在线迁移方法，属于计算机虚拟化技 术领域。该方法具体为：中心控制服务器监控各物理服务器的资源消 耗状态，以优化资源消耗状态为目标确定迁移源物理服务器；在迁移 源物理服务器上选取候选待迁移虚拟机，按照一一对应方式构成候选 迁移方案；综合虚拟机迁移过程造成的迁移性能干扰以及迁移之后对 目的物理服务器造成的同机性能干扰评价候选迁移方案造成的整体性 能干扰；从各候选迁移方案中选取整体性能干扰最小者作为最

本发明公开了一种基于高速投影机的悬浮式360°视场空间三维显示装置。该装置包括偏折型散射屏、高速投影机、图像发生器、探测模块、电机和传动机构。高速投影机将三维物体360°全景视场的组合图像投影到高速旋转的偏折型散射屏上。偏折型散射屏可控制出射光的垂直偏折角度和水平发散角度，使观察者的双眼观察到不同视角的图像，实现显示的三维物体悬浮在偏折型散射屏的上方。基于高速投影机的悬浮式360°空间三维显示可供多人360°视场裸眼同时观看，实现空间遮挡消隐并可探入触摸交互。

本发明公开了一种融合扩张观测器的超临界火电机组机炉协调控制方法。首先根据1000MW超临界火电机组的非线性模型，基于非线性分析的方法在机组的不同工况点建立多个局部线性模型。之后采用该组局部线性模型，设计了一种融合扩张状态观测器的多模型预测控制器(MMPC)。通过扩张状态观测器的引入，估计并补偿了机组在不同通道内的扰动及模型不确定性，提升了预测控制器的扰动抑制性能。本发明的算法能在保证控制系统全局稳定的前提下实现机组负荷的大范围跟踪，并且具有良好的扰动抑制性能。

产品详细介绍 www.boct-sz.com

产品详细介绍

采用新型裸眼3D技术，以裸眼3D一体机为展示平台，搭配丰富的3D安全教育优质资源，为学生展示近乎真实的安全演练情景。可设置在校园入口、教学楼、宣传栏、食堂、通道等校内公共场所，让学生课堂外愉快地学习安全知识，是校园安全教育首选方案。

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