剩余格上蕴含单调算子的性质

针对剩余格上单调算子的性质,首先对比分类了剩余格上蕴含单增算子和蕴含单减算子理想情况下的性质,其次讨论了剩余格上蕴含单增算子和蕴含单减算子的复合算子及其性质,最后分析了蕴含单调算子的拓扑结构,并证明其构成剩余格上的Alexandrov模糊拓扑.     

《西北大学学报(自然科学版)》第44卷总目次

<正>~~     

广义Ekeland变分原理的推广

给出了经典Ekeland变分原理的一个推广,完善并改进了已有文献的证明,并把它推广到了拟度量空间上.     

慢时变线性模型参数辨识递推算法及收敛性分析

针对慢时变线性模型,给出辨识的递推算法,并证明该算法能够保证参数收敛在一个有界空间区域,该区域包含参数真值集合;若工作点不发生变化,合理的收敛因子保证参数收敛到对应真值.在实际应用中,工业对象可以利用慢时变线性模型表示,因此该递推算法能够确保工业对象模型实时更新以跟踪工况的变化.通过实例仿真可以看出,该递推算法能够保证慢时变线性模型参数有效更新,并较为准确估计输出变量.     

广义量词的单调性与数字三角形

回顾了广义量词的背景知识;在介绍数字三角形画法的基础之上,对S.Peters和D.Westerstahl的数字三角形简图进行了改进;在整理相关文献的基础之上,给出了更加全面的广义量词的单调性定义,并给出了更加全面的各种单调性的形式化表述,从而更加清楚直观且全面深入细致地探讨了类型为〈1〉的广义量词和类型为〈1,1〉的广义量词的单调性与数字三角形之间的关系。     

数列极限问题中夹逼准则的思想探究

通过对数列极限的夹逼准则的分析，以定理与推论的形式指出了夹逼准则解决相关数列极限的思想方法与基本原理，并通过实例说明。然后进一步通过定理与实例，说明借助于这一思想对于特殊和式极限计算时的巧妙之处．     

新条件下一类特殊函数的Muntz有理逼近

目的讨论有界变差函数BV[0，1]和Sobolev类w：[0，1]的Muntz有理逼近问题。方法应用构造性分析的方法进行研究。结果给出了在较为广泛条件下Muntz有理逼近的速度估计。结论所得结果说明Muntz有理函数可以实现对于有界变差函数和Sobolev函数的逼近。     

关于1类单调压缩奇异变换半群的秩

设Xn={1,2,…,n}(n≥4)并赋予自然序,MCn是Xn上的单调压缩奇异变换半群,Ir*={α∈MCn:|imα|≤r}(1≤r≤n-1)是MCn的理想,证明了当r=1时,rankIr*=n;当r>1时,rankIr*=Cr-1n-1.     

基于声波信息预测岩体力学参数的研究

基于Hoek-Brown强度准则中运用地质强度指标GSI求取岩体力学参数的方法。通过改进构建起钻孔声波测试所得岩体纵波波速vmp,岩石单轴饱和抗压强度σc与GSI值之间的函数关系,并应用于Hoek-Brown强度准则预测了沙坨水电站大坝坝基岩体力学参数,结果显示预测值与实验测试值之间基本吻合。该方法为资料不足情况下探知岩体力学参数提供了一种参考方式。     

饱和大骨料混凝土动态双轴受压力学性能试验研究

分别通过试验研究了饱和与干燥大骨料混凝土试件在动态双轴受压状态下的强度特征.试验采用大型混凝土静、动态三轴液压伺服试验系统,设定了4个数量级的应变率(10-5、10-4、10-3、10-2 s-1)和5种应力比(0∶1、0.25∶1、0.50∶1、0.75∶1、1∶1).根据试验结果,分析了孔隙水对大骨料混凝土动态双轴极限抗压强度的影响,并提出了饱和大骨料混凝土动态受压破坏准则.研究表明,饱和大骨料试件在动态条件下的强度与干燥混凝土试件相比提高明显,而在准静态条件下有所降低.在相同应变率下,与单轴相比,双轴极限抗压强度在应力比为0.50∶1时最大.