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

本发明属于煤炭洗选前脱粉分级技术领域，具体涉及一种用于细粒煤选前干法分级的螺旋风筛脱粉机。本脱粉机包括采用螺旋气流输送分级方式的一次分级区和采用切线气流喷射旋转分级方式的二次分级区。本发明首先使物料在下降过程中受到螺旋离心力和气流输送力的综合作用，并在此综合作用下得到强化分级，经过一次分级后的一次细物料将进入二次分级区中进行二次分级和排粗，且二次分级区中引入向下负压，保证了物料在要求分级粒度较大时能够顺利排出。 本发明从根本上解决了筛孔堵塞问题，实现了分级粒度从 0～13mm 根据需求任意地调控，为动力煤脱粉入洗提供一项新技术。

本发明涉及一种自动定位固定舰载直升机起落架的辅助降落系统，本发明旨在解决驱逐舰受风浪载荷作用不平稳时，帮助舰载直升机更稳定快速降落。该系统包括固定底座、旋转底座、下连接杆、上连接杆、摄像头、伸缩杆、机械爪。其机械臂呈三角形排列，可在槽口内360度旋转及移动，以适配不同大小舰载直升机并同时固定其三个部位；通过摄像头自动定位舰载直升机及起落架位置，伸出机械爪固定。系统利用高清摄像头识别测量，中央控制系统处理数据，机械臂依指令精确调整，伸缩杆精准控制机械爪伸出长度，机械爪能有效固定舰载直升机起落架，保障其安全稳定降落。

 技术成熟度：技术突破 本发明具有结构合理简单、生产成本低、调节方便的优点。教师示范时，首先将磁力底座吸附在焊接试件上，然后，通过焊条角度上下调节机构调节焊条的上下空间位置。在调焊条角度左右调节机构，使焊条上下左右角度调整到位，最后固定焊条。 焊接教学焊条角度示范器包括三部分： 1.磁力底座； 2.焊条角度上下调节机构； 3.焊条角度左右调节机构； 4焊条夹持机构。 避免传统焊接示范讲解时教师赤手拿焊条时的不规范，角度不准确的缺点。学生能更直观的观察焊条的空间位置，了解焊条角度和焊缝成形的关系。本装置具有稳定性、可靠性、经济性及安全性。

产品详细介绍产品优势：１、本产品是无需电脑后台管理软件可单机独立完成所有考勤操作的一站式考勤机；２、员工实现以分部门管理；支持节假日登记；允许短时间的迟到或者早退；员工可直接查询个人考勤明细，直观方便；３、支持有规律的按周循环的班次，支持跨天，并且通过EXCEL格式文件进行排班，直观易懂；直接生成EXCEL格式的考勤报表，并通过 U 盘输出；４、支持 T9 输入法，可在考勤机上直接录入员工资料；５、人员信息可通过 U 盘导入导出EXCEL格式，方便备份及资料变更；６、可设置响铃，实现上下班提醒, 语音提示上班、下班、迟到、早退信息；７、定义上班、下班；当不进行人员排班时，可以像卡钟一样考勤；解决复杂班次问题。

产品详细介绍 产品详细 冷热冲击试验机www.dgzhongzhi.com，用来测试材料结构或复合材料，在瞬间下经极高温及极低温的连续环境下所能忍受的程度，藉以在最短时间内试验其热胀冷缩所引起的化学变化或物理伤害。适用的对象包括金属，塑料，橡胶，电子……等材料，可作为其产品改进的依据或参考。 冷热冲击试验箱特点 1.三箱设备区分为：高温区、低温区、测试区三部分，测试产品置于测试区，冲击时高温区或低温区的温度冲入测试区进行冲击, 测试产品为静态式。 2.采用触控式图控操作介面，操作筒易。 3.冲击方式应用风路切换方式将温度导入测试区，做冷热冲击测试。 4.高温冲击或低温冲击时，最大时间可达999H，最大循环周期可达9999次。 5.系统可作自动循环衙擎或手动选择性冲击并可设定二区或三区冲击及冷冲热冲启始。 6.冷却采二元冷冻系统，降温效果快速，冷却方式为水冷式。 7.可以试验冲击常温执行满足标准及试验方法: GJB150.5 温度冲击试验;GJB360.7温度冲击试验;GB/2423.22 温度冲击试验 规格 型号 CZ-H-42(A~C)         内部尺寸WxHxD(cm) 40×35×30         外部尺寸WxHxD(cm) 140x180x145         温度范围 (150℃~A：-45℃；B：-55℃；C：-65℃)；(高温区 High temperature zone ：+60℃~+150℃；低温区 Low temperature zone ：-10℃~-65℃；) 升温时间(蓄热区) RT~200℃约需35min 降温时间(蓄冷区) RT~-70℃约需85min 温度回复时间／转换时间 ≤5min内 ／ ≤10sec内 温度控制精度／分布精度 ±0.5℃ ／ ±2.0℃ 内外部材质 全机为SUS 304#不锈钢板雾面处理，内箱为不锈钢 保温材质 耐高温高密度氯基甲酸乙醋泡沫绝缘体材料 系统 P.I.D+S.S.R+微电脑平衡调温控制系统 冷却系统 半密闭式双段压缩机(水冷式)／全密闭式双段压缩机(风冷式) 安全保护装置 无熔丝开关、压缩机高低压保护开关、冷媒高压保护开关、故障警告系统、电子警报器 配件 观窗口(特殊选购型)、上下可调隔层两片、通电测线孔、脚轮、水平支架 电源 AC380V 50HZ/60HZ 3∮ 重量(大约) 700Kg         控制器 韩国“TEMI” South Korea“TEMI” 或日本“OYO”牌 Japan's “OYO” Brand 　任选Optional 压缩机 法国"泰康"牌France/s "Tecumseh" Brand 详情请登录www.dgzhongzhi.com了解更多信息！

规格参数 主板平台 第六代智能英特尔® 酷睿™ i5处理器 CPU Intel® Core Processor i5-6360U     2核/4线程    2.0GHz 可睿频到3.1GHz               内存 DDR4-2400（4G/8G/16G可选） 显示设备 显卡 Intel® HD Graphics 540（300-1000MHz） 视频端口 HDMI *1, VGA *1 硬盘 1块 2.5 英寸 SATA 128GB 数据中心级固态硬盘1 块 2.5 英寸 SATA 2TB 企业级机械硬盘 COM口   4个 USB端口 USB 2.0×2，USB 3.0x4 无线局域网 内置4G模块 电源 交流10-220V AC/50-60Hz   19V6.32A 尺寸 250mm*175mm*35mm 声卡 Realtek HD ALC 269 以太网 RJ45*2千兆自适应网口  Spk，mic Spk*2,Mic*2前后双音频接口 功耗 TDP 65W 操作系统 Windows及liunx 重量 2KG（全套） 产品包装清单 序列号 数量 物料名单 1 1 云终端  2 1 19V6.32A电源适配器 3 1 安全与保修指南 4 1 产品使用手册 5 1 支架（套） 6 6 螺丝钉 单价(含税    

华南理工大学焊接装备团队经过多年艰苦努力，成功开发出面向复杂水下空间环境的机器人水下焊接制造系统，在水下机器人移动平台、水下机器人焊接电源、潜水送丝装置、微型排水装置、水下视觉检测、工艺过程计算模拟、质量评价等关键核心技术取得了突破。研制的机器人水下焊接系统已在中广核等进行示范应用，可应用于强核辐射环境水下焊接与在役修复，水下焊接制造过程稳定，焊缝成形美观，焊接接头质量优良。通过产学研用合作，部分核心技术已在国内焊接设备上市公司等进行技术转化。 相关研究成果已申请国际PCT 5项、国家专利81件（发明42件），软件著作权登记21件。研究工作被科技日报作为35项卡脖子技术之一（第28项）进行了重点报道，人民网、新华网、中国新闻网等主流媒体都做了相关报道。 党中央、国务院高度重视海洋经济发展，作出了建设海洋强国的重大战略部署。机器人水下焊接制造技术不仅可以满足海洋资源开发装备现场制造、在役修复的需要，还可以提升特种舰船以及海洋维权装备在恶劣环境下的自动化维保能力，也能够应用于核电站强核辐射环境应急事故紧急修复处理。水下机器人焊接制造技术是科技日报重点报道的35项卡脖子技术之一。总体技术方案电站现场机器人水下焊接实验知识产权类型:发明专利技术先进程度:达到国内领先水平成果获得方式:独立研究获得政府支持情况:无