微型计算机及其在石化工业中的应用

一、前言当今世界已进入信息化时代,其标志正是计算机技术。计算机的应用已渗透到航天工业、国防、工业、交通、农业、财贸、商业以及国家机关的企业管理和人类日常生活的各个领域,成为工业发展水平的标志之一,是发展新技术、改造传统工业的强有力武器。计算机     

镁合金零件表面化学改性技术

研究了镁合金表面化学改性的几种表面处理工艺,讨论了镁合金非铬酸盐处理的工艺过程、操作条件.测定、分析了膜层的厚度、表面形貌和膜层成分,对比了几种不同处理工艺的实验结果.结果表明,在优化非铬酸盐处理工艺条件下,所得的膜层细致均匀且与基体的结合力良好,对镁合金基体有较好的保护作用,膜的防腐能力与铬酸盐转化膜的防腐能力相当.     

稀土镁对高硼铁基合金的影响

高硼铁基合金是一种新型的耐磨材料,其特点是以组织中硬脆的共晶硼化物作为材料的耐磨相。但是,由于共晶硼化物在晶界处呈网状分布,破坏了基体的连续性,导致材料韧性偏低。提高该种材料韧性的有效途径便是改善硼化物的形态,文中采用稀土镁对高硼铁基合金进行变质,在热处理条件下,改善了硼化物的形态,将材料的冲击韧度提高了34.6%。     

向家坝水电站二次设备安装质量控制

水电站二次设备安装工程在机电安装工程中占有重要地位,本文结合向家坝机电安装工程管理实践,介绍了质量管理组织体系建设、图纸审查、设备检验、安装调试、专业间技术协调、推行尾工项目列清单和抓好工程质量验收与评定等质量控制的经验做法。     

双目定位在数码相机图像标定中的应用

数码相机定位是计算机图形学中的一个重要课题,在图像处理等方面有着广泛的应用,对数码相机进行合理建模分析,并利用双目视觉原理对图像进行标定,最后例证了此方法的有效性和精确性。     

洪涝灾害统计报表中的逻辑关系分析

及时、准确、全面掌握洪涝灾害信息,是做好防汛工作的重要基础工作,是防汛抢险决策的重要依据,是进行科学灾情评估的前提。国家防办已于2011年正式印发《水旱灾害统计报表制度》,统计报表中洪涝灾害统计工作有着内容复杂、时间紧、任务重的特点。全面介绍了洪涝灾害统计报表内容,特别是结合安徽省省情、把握统计报表中的逻辑关系,为做好洪涝灾害统计工作提供保障。     

火电厂大容量锅炉水冷壁的三机吊装

针对火电厂大容量锅炉水冷壁吊装困难的问题，对三机吊装方案进行理论研究，介绍了吊点位置选择、强度校核及吊点位置调整方法。利用绳索总长不变为控制变形协调条件来求解超静定问题，进而求得水冷壁的最大应力，进行强度校核。此方法对其他一些细长构件同样适用，具有一定的实用性。     

基于SMT的区域控制器同步反应式模型的形式化验证

在安全关键系统的软件开发过程中,形式化验证是一种经检验的提高软件质量的技术.然而,无论从理论上还是从应用角度来看,软件的验证都必须是完整的,数据流验证应该是对实现层软件模型进行验证的必要体现.因此,环境输入、泛型函数、高阶迭代运算和中间变量对于分析形式化验证的可用性至关重要.为了验证同步反应式模型,工程师很容易验证控制流模型(即安全状态机).现有工作表明,这类工作无法全面地验证安全关键系统的同步反应式模型,尤其是数据流模型,导致这些方法没有达到工业应用的要求,这成为对工业安全软件进行形式化验证的一个挑战.提出了一种自动化验证方法.该方法可以实现对安全状态机和数据流模型的集成进行验证.采用了一种基于程序综合的方法,其中,SCADE模型描述了功能需求、安全性质和环境输入,可以通过对Lustre模型的程序综合,采用基于SMT的模型检查器进行验证.该技术将程序合成作为一种通用原理来提高形式化验证的完整性.在轨道交通的工业级应用(近200万行Lustre代码)上评估了该方法.实验结果表明,该方法在大规模同步反应式模型长期存在的复杂验证问题上是有效的.     

智能预警侦察机器人

为了降低野外火灾造成的重大经济损失,让野外消防工作得以迅速开展,设计了一款智能预警侦察机器人。通过搭建无人机平台及GPS为智能预警侦察机器人导航,实现对野外防火区域的全面覆盖。当火灾发生时,无人机上面搭载的视觉系统通过摄像头对火灾区域进行实时检测和监控,对火焰以及烟雾进行识别,从而实现对火焰的监测,同时,通过数传模块将信息传给地面接收站,达到报警效果。