基于域敏感指向分析的区间运算在软件测试中的应用

静态分析由于并不执行源代码,导致无法获取变量在实际运行中的取值,进而对一些和变量取值相关的缺陷检测带来了一定困难.利用符号执行和区间运算技术,虽然可以模拟程序实际执行时变量的可能取值范围,但对于结构体、数组等,由于不能对其成员进行独立描述,导致数据流无法支持域敏感分析,对和其成员变量相关的缺陷的检测难以实现,产生很多漏报.基于域敏感指向分析的区间运算模型,在域敏感指向分析模型的基础上对其进行了改进,将复杂数据类型拆分成独立的成员变量进行分析,并提出一种关联抽象取值集的类型系统,该系统可以保守的描述程序在动态执行时变量的可能取值.结合赋值语句的抽象语法定义,给出了该类型系统在数据流计算时的具体推导算法,并将其应用在缺陷检测系统(DTSGCC和DTSCPP)中.选用DTSCPP作为实验平台,对6个C++开源工程进行了测试,并对其数据进行了统计分析,结果表明该方法可以减少漏报,且测试效率与非域敏感版本相当.     

罗克韦尔安全监控系统在火电机组中的应用

本文介绍了罗克韦尔自动化产品状态监测与故障诊断系统在火电机组的实施与应用，并进一步阐明该系统在企业设备状态检修管理工作中发挥的积极作用。     

可编程控制器在换热站自控系统中的应用

本文介绍了可编程控制器在换热站自控系统中的应用。可编程控制器除了用于对现场仪表的数据采集和处理以外，还用来完成对现场的自动化设备的控制。此外，工控组态软件作为一种标准的人机界面被用于监控工业生产的动态过程。本系统中基于软件和硬件的执行情况将在文中作进一步的详细阐述。     

西门子自动化产品在电站暖通自控系统中的应用与研究

2008“绿色奥运”选择了青岛，这给发展中的青岛经济注入了强大的动力。“奉献一个全新的青岛”已成为青岛市决策者们梦寐以求的奋斗目标。2004年,青岛市全面启动了“生态城市”建设步伐,将加快能源结构调整，大力推广清洁能源以及控制燃煤含硫量，实施集中供热规划,作为“重中之重”扎实推进。2003年．华电青岛发电有限公司在青岛市委,市政府及中国华电集团公司的大力支持下.     

PCC在发电机组辅助控制系统中的应用

本文介绍了B＆R2005系列可编程计算机控制器（PCC）在某发电机组辅助控制系统中的应用及该系统的实现，着重描述了该系统的工艺需求、功能以及软件和硬件设计。该PCC除了用于现场仪表的数据采集和处理以外，还用来实现对现场自动化设备的控制。此外，基于B＆R Automation Studio集成软件平台的编程、数据通讯设置及HMI画面编辑功能用于监控工业生产的动态过程，以实现了辅控系统有关生产岗位无人值守的设计要求。生产实践表明，该系统运行效果良好，达到了设计目标。     

可编程控制器在换热站自控系统中的应用

介绍了可编程控制器在换热站自控系统中的应用。可编程控制器除了用于对现场仪表的数据采集和处理以外,还用来完成对现场的自动化设备的控制。此外,工控组态软件作为一种标准的人机界面被用于监控工业生产的动态过程。对本系统中基于软件和硬件的执行情况将作进一步的详细阐述。     

静态缺陷检测中的误报消除技术研究

误报率是衡量静态缺陷检测工具的重要指标.在对比分析了各种误报消除技术的基础上,提出了一种前向数据流分析结合逆向约束搜索技术的误报消除方法:前向数据流分析的保守数据流解可以用于缺陷状态迭代,并得到初始的缺陷检测结果;根据缺陷发生处的数据流特征,逆向搜索可能导致缺陷发生的约束条件,该约束条件可以作为通用约束求解器的输入判断缺陷的可满足性,从而对初始的缺陷检测结果进行精化.同时,在数据流分析过程中引入符号执行技术,不仅提高了数据流分析的精度,且便于约束表示及转化,提高了约束搜索的效率.对SPECCPU2000中11个工程的对比实验表明,前向数据流分析与逆向约束搜索相结合的误报消除方法在增加了有限开销的同时有效地消除了部分误报,且与同类工具相比具有更好的可扩展性.     

西门子自动化产品在电站暖通自控系统中的应用与研究

本文介绍了西门子自动化产品在电站暖通自控系统中的应用与研究。可编程控制器不仅用于对现场仪表的数据采集和处理，还用来完成对现场自动化设备的控制。此外，工控组态软件作为一种标准的人机界面被应用于监控工业生产的动态过程。关于本系统中软硬件及网络通讯的执行情况将在文中作进一步的详细阐述。     

船舶岸电系统技术研究

为有效减少船舶靠港期间燃油发电造成的大气污染,采用船舶岸电上船技术使岸电电源与船上发电机组之间无缝对接。通过对船舶岸电系统的深入研究,解决了系统中并网、逆功率、压降等专项技术难题,从而保证岸基电源为船舶安全、可靠供电的目标实现。     

基于工业WLAN的港口智能化巡检系统设计与实现

设计一种以工业WLAN无线覆盖为核心,基于工业实时以太网、HTLM5技术、智能控制器等技术实现的港口智能化巡检系统。设计先对目前港口巡检系统进行分析和讨论,之后结合工业自动化技术的最新发展趋势,经过实际开发验证设计的可行性。相比传统的港口巡检方式,本系统具有信息化程度高,减轻劳动强度,降低运营成本,提高企业的生产管理水平等优点。