排序方式: 共有9条查询结果,搜索用时 15 毫秒
1
1.
2.
介绍安泰集团炼铁厂高炉炉墙粘结的形成发展过程及处理实践,高炉下部粘结物处理以热洗为主,较高部位的粘结物采用降料面烧洗或炸除。总结认为:高炉粘结物的形成主要与原料质量及高炉日常操作制度有关。加强生产技术管理,稳定原料质量,规范操作,探索适合本高炉特点的操作制度,对维持炉况顺行至关重要。 相似文献
3.
随着技术的不断发展,软件系统的非确定性(Uncertainty)不断增强,数据竞争是并发系统这一类典型的非确定性软件系统中常见的缺陷.尽管数据竞争静态检测近年来取得了巨大进展,但其面临的重要问题仍然存在.先前的静态技术要么以分析精度为代价达到高扩展性,要么由于高精度分析而导致可扩展性问题.本文提出一种解决上述矛盾的分段分析方法——GUARD.它首先基于程序值流进行轻量级上下文敏感的数据访问分析,以识别出候选的数据竞争子路径而非完整的程序路径.接下来,进行可能并行执行(May-Happen-in-Parallel,即MHP)分析来确定程序中的两个数据访问操作是否可能会同时执行.MHP分析基于线程流图(TFG)将线程信息进行编码以便于高效地查询各个子路径之间的并发关系.最后,对于每条存在MHP数据访问的子路径,进行重量级路径敏感分析以确定数据竞争路径的可行性.针对12个开源项目的实验评估显示GUARD能够在1870秒内完成对130万行代码的工业规模项目的检测,且平均误报率为16.0%.此外GUARD的分析速度更快,比现有的前沿技术平均快了6.08倍并且显著降低误报率.除此之外,GUARD在其中还发现了12个数据竞争漏洞.我们将它们全部报告给了开发者,其中8个已得到了确认. 相似文献
4.
以经前后小分区供电改造后的电除尘器在华能海门电厂的应用为例,介绍了前后小分区供电改造除尘器的具体改造方案,分析了改造后的应用优势,为今后推广应用前后小分区供电除尘器改造项目提供了参考。 相似文献
6.
相比于现有六轴和翻滚式魔方机器人,提出更为前沿的双臂式解魔方机器人.双臂解魔方机器人包括还原算法及视觉系统和机械结构与运动控制系统.其针对还原算法和视觉系统,基于Kociemba算法结合OpenCV获取魔方相关的图像信息实现一种新的解魔方的方式,同时减少还原魔方的时间.提炼出所需的魔方颜色信息,使得识别更有效率.采用双气动手爪,严格处于统一平面且保持相互之间成90°,并满足强度和刚度需求,这决定了还原魔方的速度和机械结构的合理性,相比于六轴电机结构的魔方机器人具有结构上的特殊性,需要对算法输出结果作出转换和改变.经过实验证明,该机器人可以达到还原成功率为97%. 相似文献
7.
8.
分析安泰2号高炉用料结构和炉渣成分,提出停加硅石的操作建议,从而使安装高炉在保持正常生产指标的同时,获得了显著的经济效益,年节支达到755.6万元。 相似文献
9.
相比于现有六轴和翻滚式魔方机器人,提出更为前沿的双臂式解魔方机器人.双臂解魔方机器人包括还原算法及视觉系统和机械结构与运动控制系统.其针对还原算法和视觉系统,基于Kociemba算法结合OpenCV获取魔方相关的图像信息实现一种新的解魔方的方式,同时减少还原魔方的时间.提炼出所需的魔方颜色信息,使得识别更有效率.采用双气动手爪,严格处于统一平面且保持相互之间成90°,并满足强度和刚度需求,这决定了还原魔方的速度和机械结构的合理性,相比于六轴电机结构的魔方机器人具有结构上的特殊性,需要对算法输出结果作出转换和改变.经过实验证明,该机器人可以达到还原成功率为97%. 相似文献
1