使用形式化验证方法进行流水线验证

随着流水线技术的广泛应用,流水线设计的验证问题也越来越受到业界的关注.本文提出的方法作为自上而下验证方法的一部分,可以在指令级对流水线设计的正确性进行检验.本文从控制逻辑的角度对流水线的行为进行分析,通过为控制逻辑建立FSM表示,以及采用NuSMV作为验证工具,达到对流水线的自动验证.这种方法的优势在于是以流水段为单位进行检验,这种局部验证的方法不但可以降低建模和检验的复杂度,还可以极大地缩短验证时间.     

基于多容惯性标准传递函数的锅炉水温控制器设计

锅炉水温过程具有惯性、滞后、非线性等特点,传统PID控制很难达到较好的控制效果．采用多容惯性标准传递函数方法设计了锅炉内胆水温控制器．仿真试验结果发现,多容惯性标准传递函数控制具有设计简单、实现容易、无超调、调整时间短等优点．     

异步交互的Web服务的相容性分析

Web服务合成的相容性是服务合成研究领域的重要问题。相容性分析需要考虑异步交互的服务合成环境。用形式化的分析方法为Web服务的合成建模,给出服务合成满足相容性要求的限制条件,并提供了相容性的判断方法。     

复杂循环路径下钢材弹塑性屈曲行为研究

复杂强震荷载作用下钢管混凝土柱中的钢管受压屈服后易发生局部屈曲,在杆系有限元模型中采用不考虑屈曲影响的钢材本构模型无法准确模拟钢结构构件的地震响应。为研究复杂循环荷载作用下钢材的屈曲行为,该文设计了强度等级分别为Q235和LYP160的30个钢材试件,并设计了多种复杂循环加载路径进行加载,获得了不同复杂循环荷载作用下钢材的弹塑性屈曲行为和应力-应变滞回关系。基于已有文献中的3种钢材循环本构模型：Légeron模型、GA模型和DM模型对试验结果进行对比分析和评价,结果表明：Légeron模型无法模拟钢材受压区服后的屈曲效应,GA模型中受压屈曲时的应力-应变规律与试验结果较为吻合,DM模型中受拉和受压卸载刚度与试验结果较为吻合。     

鬼影卷积自适应视网膜血管分割算法

针对视网膜血管分割存在主血管轮廓模糊、微细血管断裂和视盘边界误分割等问题,提出一种鬼影卷积自适应视网膜血管分割算法。算法一是用鬼影卷积替代神经网络中普通卷积,鬼影卷积生成丰富的血管特征图,使目标特征提取充分进行。二是将生成的特征图进行自适应融合并输入至解码层分类,自适应融合能够多尺度捕获图像信息和高质量保存细节。三是在精确定位血管像素与解决图像纹理损失过程中,构建双路径注意力引导结构将网络底层特征图与高层特征图有效结合,提高血管分割准确率。同时引入Cross-Dice Loss函数来抑制正负样本不均问题,减少因血管像素占比少而引起的分割误差,在DRIVE与STARE数据集上进行实验,其准确率分别为96.56%和97.32%,敏感度分别为84.52%和83.12%,特异性分别为98.25%和98.96%,具有较好的分割效果。     

煤炭加工技术与原料煤煤质的关系

煤炭加工技术是洁净煤技术的重点领域。结合洁净煤技术的发展需进一步研究的内容有：物理选煤对煤中硫分可脱除性评价方法；煤变质程度对动力配煤可配性影响的研究；煤表面物理及化学特性对煤颗粒间和煤颗粒与粘结剂作用的影响等。     

通过PLC组态软件提高系统可靠性的几项措施

本篇论文以S7—300PLC组态软件STEP7为例,论述了通过采用PLC组态软件对程序的合理编制来提高PLC控制系统可靠性的几项措施。     

应用区域统计特征的PolSAR影像分割

目的 提出一种利用区域统计特征的PolSAR影像分割方法,以解决目前研究中在降低斑点噪声和提高分割效率方面的不足。方法 首先利用基于梯度分割影像的分水岭算法进行SAR影像初分割,针对差值梯度非恒虚警率（CFAR）,可能给出虚假边缘从而导致分割错误的问题,引入恒虚警率的均值比率梯度（ROA）;同时,考虑到梯度影像中存在大量局部极小值,直接用分水岭处理得到初分割结果,存在过度过分割,给出了一种利用形态学方法进行梯度重构以消除局部极小值、抑制过分割的方法。然后,基于初分割得到区域,计算区域相干矩阵的最大似然估计,结合假设检验和相干矩阵的Wishart分布,给出一种有效描述区域相似度的目标函数,通过建立区域邻接关系图（RAG）,执行等级区域合并得到最终分割结果。结果 利用模拟数据,德国奥伯法芬霍芬L波段实测数据和中国海南陵水黎族自治县X波段的高分辨率数据,验证本文方法,初分割结果证实梯度重构处理不会破坏原有梯度结构,并能有效抑制过分割;最终分割结果定性定量对比分析表明,本文给出的目标函数,在分割效率、信息保持和分割精度上都有较好表现。结论 实验结果表明,本文方法能有效降低斑点噪声,提高分割效率,从而提供更加准确的分割结果。     

《海南省水土保持补偿费征收使用管理办法》颁布施行

<正>为规范水土保持补偿费征收使用管理,促进水土流失防治工作,改善生态环境,《海南省水土保持补偿费征收使用管理办法》颁布施行。办法明确了以下3个方面。一是明确了水土保持补偿费的征收权限。规定由市(县)以上水行政主管部门按照水土保持方案审批权限负责征收。其中,由水利部审批水土保持方案的,水土保持补偿费由省水行政主管部门征收。二是明确了开采矿产资源水土保持补偿费的征收方式。规定在建设期间按照征占用土地面积计征;在开采期间,对石油、天然气以外的矿产资源按照矿产资源行政主管部门批准的年度开采(矿石)量(采掘、采剥总量)计征,对石油、天然气按照油、气生产井(不包括水井、勘