基于PSL与XML的软件过程描述模型SPRM的设计和实现

本文在研究CMM的基础上提出了一种利用过程规范语言PSL对软件过程进行建模的思想,设计并给出了一个软件过程描述模型SPRM。该模型遵循CMM3级对软件过程定义的要求,采用XML Schema作为其统一描述语言,保证了软件过程的统一性和可扩展性,有利于实现软件过程的互操作与过程资源的共享,为实现统一的软件过程管理打下了基础。最后,本文利用SPRM模型实现了一个过程实例--简单评审过程,说明了如何利用SPRM定义企业的不同软件过程。     

浅析受浓度差异海水腐蚀混凝土性能

目前国内外都局限于研究普通混凝土在一种海水浓度腐蚀后的性能,然而对混凝土在不同浓度的海水中腐蚀的分析很少,基于海水主要成分,实验配置2、4、6倍人工海水对混凝土加速腐蚀,实验表明,在人工模拟海水环境中,不同浓度海水对混凝土抗压强度有一定的影响。     

刍议变电站安全生产管理中存在问题及其对策

本文主要对变电运行管理中的一些问题进行分析,并且针对性的提出了相应的预防控制措施。     

大岗山水电站密锣紧鼓施工2015年有望全部投产发电

国电大渡河大岗山水电站位于四川省雅安市境内,坝型为混凝土双曲拱坝,最大坝高约210米,拱坝抗震设防烈度国内最高,设计正常蓄水位1130.00米,工程计划2014年底首台机组投产发电,2015年7月全部投产发     

军用电子部件失效分析

文中针对某型雷达8μs方波发生器样品在热带海洋性大气环境和内陆工业大气环境下进行棚下暴露试验中的失效行为和元器件表面处理层的失效原因进行了分析，初步找出了在不同大气环境下引起样品失效的主要环境因素。     

DHA对婴幼儿智力发育的有益效果

大量证据表明DHA在婴幼儿的大脑和神经发育方面有着重要作用。文章将从DHA在人体各组织的分布情况、DHA在婴幼儿体内的合成及积累,以及DHA对婴幼儿认知能力的影响等多个角度论述了DHA在婴幼儿认知能力和智力发育中的重要作用。     

破专业壁垒促业务融合着力提升费控工作成效

国网岳阳供电公司以费控工作整治为突破口,打破计量、电费间的专业壁垒,促进专业间的融合协作,通过采集、计量、费控、电费等专业班组之间的分工协作,从采集异常、设备异常、参数异常、电费自然回收等4个维度对费控异常用户进行数据清理、异常整改、总结闭环,彻底消除费控异常,夯实计量设备基础,提升停、复电成功率与电费自然回收率,降低...     

基于PSO-PNN的铸坯全长表面纵裂纹在线预测

表面纵裂纹是铸坯质量缺陷中一种最常见的表面质量缺陷。环境因素使得铸坯表面纵裂纹在线检测精度不高,各大钢厂铸坯质检仍要依赖人工,因此提出一种基于粒子群PSO优化概率神经网络PNN的铸坯全长表面纵裂纹预测方法。首先,建立铸坯生产过程跟踪及数据时空变换模型,构建铸坯生产系统将生产过程数据与铸坯长度方向进行匹配;再利用PNN的Bayes最小风险准则进行有监督特征学习,并利用寻优算法PSO优化PNN关键参数的选取,得到最终的模型PSO-PNN;最后,利用某钢厂连铸产线铸坯质量缺陷数据和生产过程数据进行试验验证。结果表明,该方法对铸坯整体的质量预测分类精度达到97.5%,铸坯全长的裂纹缺陷的预测精确率和召回率均在92%以上,能有效实现铸坯全长表面纵裂纹的预测,为现场质检人员提供参考。     

UHPC-AC复合路面沥青层剪应力试验研究

为避免超高性能混凝土(UHPC)下面层、沥青混凝土(AC)面层新型复合式路面结构发生早期破坏,利用BISAR3.0软件模拟不同水平力系数等参数下最大剪应力分布;采用斜面剪切法进行UHPC-AC层间、沥青混合料抗剪强度试验;依据规范进行沥青层剪应力指标校核分析。结果表明：复合路面沥青层内最大剪应力均出现在路表处,各计算面最大剪应力在深度方向呈对数减小;水平力系数和UHPC-AC层间结合状态对剪应力影响最为明显,沥青层内最大剪应力随水平力系数增大呈线性显著增大,随UHPC-AC层间摩擦参数增大呈抛物线变化,随UHPC层、沥青层厚度与模量变化而微变化;嵌石处理层间抗剪强度较喷洒粘结层明显提高,且随嵌石粒径、撒布量增大而增大;不同沥青混合料抗剪强度差异明显;复合路面沥青层剪应力指标校核结果说明沥青面层在早期不会发生层间破损以及路表剪切疲劳破坏。该研究为UHPC-AC复合路面结构分析与设计提供了重要计算参数。     

线性离散切换系统的区间观测器设计

为解决线性切换系统状态区间估计问题,基于原坐标系下设计了一种能给出系统上下边界估计值的区间观测器.首先针对切换系统构造出能分别估计状态上界和下界的观测器,其次将系统受到的有界干扰与测量噪声向量视为增广状态变量,构造出增广系统.在该增广系统的基础上引入更多的参数设计自由度,减少区间观测器的设计约束与保守性,使得估计误差对扰动具有良好的鲁棒性.在满足平均驻留时间约束的切换信号下,使用多Lyapunov函数方法,使得切换系统全局指数稳定并满足加权H_∞性能指标.然后求解线性矩阵不等式,得到切换系统区间观测器参数及增益矩阵,从而有效地获得系统精确的状态边界估计.最后给出的数值仿真算例证实了该区间观测器方法的有效性.