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

一、项目分类 关键核心技术突破 二、成果简介 与传统人工焊接技术相比，激光焊接技术具备加工精度高、加工速度快、加工质量稳定等优点，被广泛应用于制造加工行业，随着激光加工技术以及焊接机器人系统的不断发展，激光焊接机器人技术也因此得到了发展。激光焊接技术搭配上智能工业机器人系统，可以代替人工焊接，实现焊接过程的自动化。蓝光半导体与光纤激光复合焊接机器人系统配合上数控设备能实现生产制造的全自动化，拥有着生产效率高、生产产品质量好以及可以在人不适合的工作环境下运行等优点，可以完美符合这一需求。蓝光半导体激光器产生的450nm蓝光在铜材料焊接上有不可比拟的优势，适用于铜等金属材料的高吸收率使得焊接热影响区减小，同时恰当功率的蓝光激光焊接时可以避免高功率光纤激光焊接时产生的飞溅影响，而这也是在汽车动力电池、航空航天和电气等高精细度要求的领域中蓝光半导体激光焊接最强有力的优势。

该成果 2015 年获全国商业科技进步奖一等奖。成果包括奶牛围产期疾病的预测预报和生物抗氧化剂防控围产期疾病的发生两部分。通过在围产期检测高产奶牛代谢应激状况的预测预报和生物抗氧化剂的应用，不仅使围产期脂肪肝、酮病、生产瘫痪、真胃变位等疾病的发病率明显降低，同时可显著降低临床型乳房炎和子宫内膜炎的发生，对保障牛奶的质量和安全具有积极意义，具有广阔的应用前景。

本发明公开了一种基于矢量变换与信号滤波的定子磁链计算方法。采用交流电动机定子磁链的电压模型，对输入的反电动势矢量进行幅值和相位变换直接得到原始的定子磁链矢量，然后经过信号滤波与补偿处理得到期望的定子磁链。分别设计了基于可编程的低通滤波器(LPF)和带通滤波器(BPF)的矢量变换方案，并且根据计算磁链幅值尽快收敛于给定磁链值的原则得到优化函数，对 LPF 与 BPF 的优点进行组合，得到性能最优的磁链计算方法。进一步的

本发明公开了一种闭环控制系统的模型与对象不匹配的检测方法,在工业过程正常运行时获取当前系统的闭环数据，利用该数据获取模型质量指标，根据模型质量指标的值来检测模型与对象的匹配程度；模型质量指标越接近于 1，模型与对象的匹配度越高；该模型质量指标不受控制器的调节参数的改变与干扰模型变化的影响；该方法可有效地把模型与对象不匹配从其它影响控制性能的因素中分离出去，更清晰地分析出模型与对象不匹配对控制系统性能的影响。另外，采用

本发明公开了一种对固体燃料颗粒物单颗粒识别与分析的方法，其利用计算机控制扫描电镜技术(CCSEM)分析固体燃料燃烧后收集的灰样，由粒径换算公式将 CCSEM 所测每个灰颗粒的几何粒径换算为空气动力学直径，可识别出飞灰中各粒径段的颗粒物，如具有代表性的空气动力学直径 0.5-10μm 粒径段的 PM0.5-10，以及 PM0.5-2.5 和PM2.5-10 等。通过分析灰颗粒的粒径与矿物组成信息，可得到PM0.5-2.

本发明公开了一种基于体表反向场的内外伤漏磁检测区分方法及装置。该方法的特征为：将被检测导磁构件磁化，在上述被磁化导磁构件体表内施加反向磁感应场 B_反，与体内原有磁感应场B_原发生矢量叠加抵消，在体表内形成零磁感应区域，使得出现在该体表内区域的缺陷(也即外伤)因无漏磁场产生而无法被探测到；而出现在非体表零磁感应区的缺陷均有漏磁场产生而可以被探测到，包括内、外伤；然后采用磁敏元件分别布置靠近于零磁感应区和非零磁感应

本发明公开了一种基于磁真空泄漏原理的漏磁检测方法及其装置。该方法为①将待检测导磁构件磁化；②在上述被磁化的导磁构件外围，剔除已有背景磁场，形成磁真空区域；③采用磁敏元件布置于磁真空区域，拾取无磁压缩效应的缺陷漏磁场并转化为电压信号，如果电压信号中存在突变，则说明待检测导磁构件中存在缺陷，否则无缺陷。装置采用穿过式线圈对被检测导磁构件实施局部磁化，以便激发出该磁化区域内导磁构件上缺陷的漏磁场；在其内腔布置永磁体对，产生反向磁场与原背景磁场叠加抵消，形成磁真空区域以供缺陷的漏磁场泄漏扩散进来，同时消除由

本发明公开了一种成形区域温度梯度可控的高能束选区熔化方 法及设备，该设备的成形组件增设有测温模块与温控模块。利用该设 备进行高能束增材制造时，可利用测温模块所测得的成形区域边界温 度实时计算出熔池内部的温度梯度区间，并通过温控模块对成形区域 施加合适的热流条件以实现对熔池及成形区域温度梯度区间的控制， 使熔池始终满足定向凝固条件，进而完成不同尺寸、结构的高精度、 高性能定向凝固金属构件与单晶金属构件的高效制造。本发明

建立多元化的地面与空中防治结合、车载与便携式结合、机械化与自动化结合的装备体系，创制了7个类别、18个型号的立体式高效防治装备。 一、项目分类 关键核心技术突破 二、成果简介 林木植株高大、冠层浓密，林业病虫害种类繁多、突发性强、蔓延迅速，林地地形复杂等，这些因素综合形成了林木病虫害的防治重大难题。长期以来我国林业病虫害防治装备一直处于空白，无法满足林业 “高射程”、“强穿透”、“高附着”和“精确对靶”的林木防治需求。 1、建立多元化的地面与空中防治结合、车载与便携式结合、机械化与自动化结合的装备体系，创制了7个类别、18个型号的立体式高效防治装备。包括： ①车载式低量风送高射程喷雾机已研制成系列化产品，可全方位遥控喷雾作业，适用于高大林木喷雾，垂直射程25-45m，防治效率150-360亩/h；药剂利用率60%；防治成本降低32%。国内首创。 ②大型车载稳态燃烧烟雾机已研制成系列化产品，喷烟量100-420L/h，防治效率比常规喷雾装备提高100倍以上，比常规喷烟装备提高10倍以上，每小时防治375-690亩/h，每亩施药量仅为200-300mL。国内首创。 ③苗木果园精确对靶风送喷雾机已研制成系列产品，喷雾幅宽可达10m以上，特别适用于中国特色的低矮密植果园的病虫害防治，解决了常规机具无法入园作业的难题。国内外首创。 ④智能对靶高射程喷雾机已研制6HW-80、100型智能对靶高射程喷雾机，实现了可根据林木有无及其树形特征的变量对靶喷雾，减少了无效喷雾，提高了农药使用效率。国内外首创。 ⑤航空静电喷雾系统 已研制适用于固定翼Y5B飞机、直升机、蜜蜂机、无人机等多机型挂载的航空静电喷雾系统，农药有效利用率平均提高6%，防治成本平均降低44.8%。 ⑥多功能车载式喷雾喷烟一体机融合喷雾、喷生物农药、喷烟等功能于一体，集成创新了车载自动多功能喷雾喷烟一体机，实现了风送定向喷施功能。国内外首创。 ⑦多功能便携式喷雾喷粉机集高射程喷雾、喷粉和喷生物农药于一体，创制了多功能便携式喷雾喷粉机，垂直射程提高50%。主要参数优于国内外。 2、 首次制订了林业行业标准，保证项目技术规范及顺利实施。针对本项目创制的新产品，首次制订了“LY/T1669-2006 风送高射程喷雾机”、“LY/T1988-2011 林业机械 背负式高射程喷雾喷粉机”、“LY/T2233-2013 林业机械 车载式稳态燃烧烟雾机”、“LY/T2406-2014 林业机械 车载式风送喷雾喷烟一体机”4部林业行业标准，为项目成果生产和应用提供依据。