格值一阶逻辑系统LF(X)中的α-有序语义归结

讨论格值一阶逻辑系统LF(X)中α-语义归结方法和有序归结方法的相容性。给出了LF(X)中α-有序语义归结和α-有序语义归结演绎的概念,通过实例说明LF(X)中α-有序语义归结演绎的有效性和不完备性。     

沈阳城市地铁站域地下空间开发的适宜性

基于沈阳社会经济发展的现状、地铁建设和运营特点、开发建设的现状,分析其存在的问题,在对地铁站域和适宜性概念界定的基础上,从全寿命周期考虑影响因素,以青年大街地铁站为例,从规模、结构、设计三个方面,建立三级指标评价体系,利用改进的灰色聚类模型进行适宜性评价,评价结果为“良”,最主要的失分因素为对人流规模的预测,其次为绿色建筑的使用.最后提出提高沈阳城市地铁站域开发建设适宜性的对策建议.     

一种基于像素标记的二值图像区域围线追踪方法

在研究了多种二值图像连通区域围线追踪算法的基础上,提出了一种改进型的二值图像连通区域围线追踪算法。该算法在已有围线追踪算法的基础上,通过定义特定追踪方向,使得追踪过程始终按照逆时针或顺时针方向沿着连通区域边缘进行。在追踪过程中对像素点进行多次标记,通过在按照追踪方向确定的像素点基础上判断像素标记值来确定下一次待追踪像素点的选取。由于对像素点进行多次标记,有效区分了一次追踪像素点和二次追踪像素点,解决了追踪过程中出现的追踪间断现象,使得追踪结果呈现一条完整围线。实验结果表明,此方法可以快速有效地完成二值图像连通区域的围线追踪和提取。     

求解P中位问题的混合蝙蝠算法

根据P中位问题的数学模型及其具体特征,重新定义了蝙蝠位置与位置之间的减法操作算子、速度与位置之间的加法操作算子和可行化函数,引入了遗传算法中交叉的思想对当前解进行局部搜索,提出了求解该问题的混合蝙蝠算法。通过对多个P中位算例进行测试,并将测试结果与其他算法进行比较,验证了该混合蝙蝠算法求解P中位问题的可行性与有效性。     

部分函数型EV回归模型的经验似然推断①

针对解释变量带有测量误差的部分函数型线性回归模型,引入一个合适辅助向量,构造出未知参数的经验对数似然比函数,给出了未知参数和未知系数的极大经验似然估计。进一步证明了所构造似然比函数具有渐近卡方分布,并基于此构造了未知参数的渐近置信域。同时,也证明了给出的未知参数的估计与最小二乘估计一样具有渐近正态性。最后给出系数函数的收敛速度,达到了最优收敛速度。讨论的结果说明经验似然方法对部分函数型EV回归模型的统计推断是有效的。     

气候变化对大盈江流域径流的影响

为揭示大盈江流域气候变化对径流的影响,基于SWAT模型,通过设置不同情景,定量分析了气候要素对流域内径流的影响,并结合RCP4.5、RCP8.5这2种气候情景对流域未来径流的变化进行了预估。结果显示:1)SWAT模型在大盈江流域径流模拟中具有较好的适用性,可以用SWAT模型进行流域的径流模拟,率定期模型参数R~2、C_(Ens)分别为0.68、0.66,验证期R~2、C_(Ens)分别为0.69、0.67;2)流域内径流的变化趋势与降雨量变化趋势成正比,与气温变化趋势成反比,1995—2015年间,大盈江流域内降雨的减少和气温的升高导致月均径流量下降3.58m~3·s~(-1);3)在RCP4.5和RCP8.5这2种气候情景下,2021—2050年大盈江流域径流均呈减少趋势,减少的速率分别为15.43亿和6.48亿m~3·(10a)~(-1),这与1976—2015年间,流域实测径流减速为1.87亿m~3·(10a)~(-1)的变化趋势一致,但这2种情景下,径流的减少趋势明显增强,分别达到1976—2015年减速的8.26、3.47倍。     

基于小波包总能量变化率的体外拉索损伤识别方法

针对体外预应力拉索的损伤识别问题,建立基于小波包能量谱的拉索损伤识别指标,传统的频域计算分析方法很难对拉索的这类损伤进行有效的识别,需要从时频域进行分析. 首先,设计针对体外索结构的拉索损伤识别实验,得到不同损伤程度、不同索力和不同索长的拉索动力响应信号,并得到频率、时域和能量域的特点;其次,从小波包分解的能量域展开分析,建立小波包总能量变化率指标RES;最后,建立基于RES的拉索损伤识别流程,并进行实桥损伤识别. 结果表明,提出的损伤指标对损伤程度有较强的敏感性,能够有效地识别出体外索损伤,能够应用于体外预应力加固桥梁结构的长期监测中.     

带时滞项的高阶Kirchhoff方程的拉回吸引子

研究了带有时滞项的高阶Kirchhoff方程的拉回吸引子的存在性.首先利用解的有界性验证了拉回吸引集的存在性,接着借助sobolev空间的紧嵌入证明了该初边值问题产生的过程是紧的,最后得到了拉回吸引子的存在性.