形式语义描述方法研究进展与评价

程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。     

烟尘水热化合反应制备钙基脱硫剂工艺优化

运用均匀试验设计和回归分析方法优化烟尘水热化合反应制备钙基脱硫剂工艺,得到比表面积回归方程．分析不同水热条件及其相互作用对钙基脱硫剂比表面积的影响,经优化筛选并兼顾实际操作得到最佳水热条件,制备的高效钙基脱硫剂比表面积超过120 m2/g,是单一Ca(OH)2的10倍以上,优化效果显著,可以为工业生产提供依据．     

通辽市未来25年人口预测与分析

根据第5次内蒙古人口普查资料,运用人口系统工程与控制论的方法,预测分析通辽市未来25年的人口发展状况.结果表明,未来25年内通辽市人口规模呈现先升后降趋势;老年人口呈快速递增态势,负担系数越来越重;少儿人数持续下降,劳动年龄人口呈现逐年老化趋势.针对通辽市的人口形势提出人口控制方案,为通辽市的人口规划、计划生育及未来的社会经济发展战略提供相关的数据依据.     

一种改进的实时系统可达性分析算法

首先简介了时间自动机、时钟区域、区域等价、时钟带的概念.利用时钟带,可以将时间自动机的无穷状态空间转化为有穷.实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证.然而,当系统时钟个数较多时,用DBM存储时钟带,会造成内存空间的很大耗费.该文提出了用邻接表存储时钟带,给出了改进的算法,并对算法的空间复杂度作了分析.实验表明,当时钟个数大于5时能节约很大的内存空间,从而在一定程度上缓解了状态爆炸.     

基于主成份分析的Bagging集成学习方法

机器学习中数据集的冗余特征会影响学习器的泛化能力，一些流行方法如支持向量机和集成学习也难免于此．研究了利用主成份分析进行特征变换对Bagging集成学习算法的影响，提出一种称为PCA—Bagging的算法，并与其它算法比如单个支持向量机、支持向量机Bagging集成、带有特征变换的单个支持向量机等进行了性能比较．在多个UCI标准数据集上的实验表明PCA—Bagging算法具有更好的性能，这说明即使是泛化能力很强的集成学习方法其学习的数据也需要进行适当的特征变换。     

《华南理工大学学报（自然科学版）》2000～2006年载文、作者和引文分析

应用文献计量学的方法，对2005年全年12期和2000～2006年的每年第1期，共计18期《华南理工大学学报（自然科学版）》进行定量分析，并与相关的文献报道进行比较．结果表明：该刊载文量较高，基金项目论文占70．9％；论文合著率为94．1％，合作度3．17；第一作者中具有高级职称的占38．9％，博士后、博士和博士研究生占61．8％，年龄30岁以下的占28．8％，31～40岁的占44．1％；篇均引文8．23条，英文引文占59．9％，期刊类引文占65．3％，引文质量上乘．     

用一维变分方法同化GMS-5反演湿度场及其在降水预报中的应用分析

在应用一维变分方法对GMS-5卫星资料反演的相对湿度场进行了同化分析试验的基础上,进一步分析了通过一维变分方法在MM5模式初始湿度场中融入GMS-5反演湿度场后,对降水预报的影响.分析试验结果表明,应用一维变分方法同化GMS-5反演相对湿度场后所得到的分析场,其均方根误差(rm se)在7个标准等压面上都比背景场要明显减小.均方根误差值在250 hPa下降幅度最大,达到7.1,这相当于12-h预报场rm se下降了48%;下降幅度最小的等压面高度是925 hPa,也达到了1.2,相当于12-h预报场rm se下降了15%.背景湿度场高湿区通常呈带状分布,普遍平滑了中尺度信息.运用一维变分方法融入了卫星信息后,分析场不仅明显改善了背景场湿区偏湿、干区偏干的现象,同时也很好地揭示出了三维湿度场的中尺度细微结构.个例分析表明,将一维变分同化后的GMS-5反演湿度场作为MM5模式的初始湿度场,与直接用NCEP资料的预报结果相比,MM5模式预报的降水强度、降水范围和降水强中心位置均有较明显的改善,更接近于实况观测.     

由覆盖性测试应变识别简支梁破损

梁在破损处的应变突变明显，其它处甚至紧邻破损处的应变没有明显变化，由应变振型识别梁的破损，测试应变应沿长度覆盖整个梁，采用大标距应变片或应变测试辅助装置进行覆盖性测试是可行的，测量结果是标距范围内应变的平均．采用奇异值分解方法处理测试应变数据，可将微弱突变信号分离出来．     

混凝土泵车结构模态分析与试验

针对混凝土泵车臂架系统振动过大的问题,使用ADAMS软件建立了泵车臂架系统的动力学仿真分析模型。通过模态分析,得到了该泵车的固有频率和振型,其一阶固有频率为0.3765Hz,实测一阶固有频率为0.370～0.375Hz,证实了仿真计算的可靠性。实测系统激扰频率为0.296～0.375Hz,与一阶固有频率比较一致,从而找出了该泵车臂架部分振动较大的原因,为该泵车结构改进提供了依据。     

离心压气机实际气体三维粘性流场分析

应用时间推进法求解连续性方程、时均N-S方程、能量方程、实际气体状态方程及Yang＆Shih紊流模型,对压缩重介质实际气体(丙稀)的大流量离心压气机整级流场(闭式叶轮、扩压器、弯道及回流器)进行了数值分析,其中实际气体的热力学属性均表示成温度的函数.分析了压缩实际气体丙稀时模型级内部尤其是弯道及回流器内部的流动规律,将计算结果与丙稀作为理想气体时模拟的结果进行对比分析,并与实验值进行了比较.结果表明:采用实际气体模型进行模拟时压气机性能更接近于实际性能.压缩实际气体及理想气体时叶轮内部速度分布及模型级出口参数是不同的,叶轮出口流场参数分布差别主要集中在轮盘、轮盖两侧.沿弯道及回流器中央流线的压力系数差别显著,模型级出口理想气体的压力系数明显高于实际气体.为了加快收敛,计算时采用了隐式残差平均法及完全多重网格技术.