摘要：控制流图描述了函数执行时可能采取的执行路径。绝大多数静态分析工具都在抽象语法树之上生成控制流图并据此对程序的运行行为进行分析。在模型检测过程中,提取正确的控制流图是构建系统模型的关键。在分析C程序的抽象语法树和控制结构的基础上,设计并实现了程序控制流图提取的算法,并分析了算法的正确性。基于提取的控制流程,可对C程序的某些性质进行模型检验。

摘要：C++是一种非常流行的计算机编程语言,在使用的过程中容易出现内存泄漏问题,而该问题往往难以识别。给出了一种对C++内存泄漏问题进行分析的方法,该方法得到C++源代码的抽象语法树,从抽象语法树中提取程序控制流图,然后将类的构造函数、普通成员函数以及析构函数的程序控制流图相互连接形成新的程序控制流图,并设计算法对控制流图进行检测。最后通过一些内存泄漏的典型实例进行测试,实验表明本方法有效。

摘要：Uppaal是一种对实时系统模型进行建模和验证的工具,PVS(Prototype Verification System)是开发和分析形式化规格说明的原型证明系统。介绍了Uppaal2PVS翻译器的设计与实现,给出了一种将用Uppaal生成的时间自动机规格说明翻译成PVS文件的方法,从而将模型检查问题转换成了定理证明问题,解决了潜在的状态空间爆炸问题。最后给出了一个实例。

摘要：遮热环是F级重型燃气轮机GT部分的一个重要零件，是燃机国产化项目中比较少有的高温部件之一。遮热环的材料特殊，形状复杂，尺寸精度要求高。该文主要介绍了遮热环国产化制造过程中的工艺方案设计，设备选型，工装设计，数控程序准备，材料和刀具切削试验，遮热环试制等内容。

摘要：遮热环是F级重型燃气轮机GT部分的一个重要零件,是燃机制造项目中比较少有的高温部件之一。遮热环的材料特殊、形状复杂、尺寸精度要求高。本文主要介绍了遮热环国产化制造过程中的工艺方案设计、设备选型、工装设计、数控程序准备、材料和刀具切削试验、遮热环试制等内容。

摘要：在前序工作对数据校正技术研究的基础上 ,提出了修正时间序列分析法、神经网络法、传统方法相结合的过程测量数据校正与模拟分析策略。根据生产装置数据校正的实际需求 ,研究了这一策略的可行性和实用性 ,对通用型化工过程测量数据在线校正系统CPDRS进行了设计开发 ,并在计算机上实现了相应功能。

摘要：设计开发了通用型化工过程在线测量数据校正与模拟优化系统 CPDRS,并在化工装置上得到应用 ,取得了满意的结果。着重探讨了目前过失误差侦破方法的局限性 ,提出了过程模拟与统计检验相结合的组合检验法 ;分析了线性与非线性数据校正的特点 ,提出了组合校正法。首次提出了对测量数据进行预处理的时间序列分析法 ,既增加了测量数据的冗余度 ,又提高了数据校正的速度和校正值的精度 ,可充分利用 DCS的大量历史数据 ,适用于在线数据校正过程 ;

摘要：小城镇的规划建设问题系统性较强,均具有一定程度的复杂性,其具体工作涉及面很广,为此,在当前的具体设计规划中仍存在某些战略性方针研究。在介绍小城镇规划建设管理的基本原理上,对小城镇规划建设管理的相关重要问题进行了初步的探讨。

摘要：在2006年5月26日(国发[2006]20号)文中,党中央国务院明确提出了要在旅游新区建设综合配套改革试验区,标志着国家的"十一五"规划纲要提出的推进滨海新区开发开放的战略构想进入了实施阶段。本文对A市旅游区的规划战略进行研究。