半张量积方法在齐次κ值逻辑控制网络同时镇定中的应用

探究齐次κ值逻辑控制网络的同时镇定问题.利用逻辑函数的矩阵表达和矩阵的半张量积方法,先将每个κ值逻辑控制网络转化成一个离散时间的动态系统.然后,给出齐次κ值逻辑控制网络同时镇定的充要条件.     

广义均值不等式及其简单应用

将均值不等式从二维空间推广到n维空间,并着重研究了利用倒推法和反向归纳法证明广义均值不等式,从而验证了证明不等式的一般方法的有效性;从形式上和理论上提出广义均值不等式的幂次一般形式和积分形式,并结合基本均值不等式性质更进一步研究了均值不等式的积分形式的证明,拓展了均值不等式的理论应用范围。用实例充分体现了均值不等式的性质以及如何结合广义均值不等式与数学建模思想解决问题,由此说明广义均值不等式的重要性。     

斜腹杆体外预应力杆-索结构刚度矩阵可逆性分析

根据线性代数理论,证明斜腹杆体外预应力杆-索结构刚度矩阵K的可逆性.把较为复杂的K的可逆性问题转换为简单矩阵的可逆性问题;对简单矩阵的行列式进行腹杆数分别为奇数和偶数两种条件下的恒等变形,得到由腹杆、索的方向角所确定的行列式.结果表明,当腹杆倾斜布置时行列式非0;当某一腹杆垂直布置时,对未定式通过洛比达法则求极限,其行列式也非0,即K的可逆性与腹杆、索的布置方向无关.杆-索结构刚度矩阵可逆性的证明为伸缩腹杆体外预应力加固技术在控制索应力的设计方面奠定了数学基础.     

C800型摩擦焊机移夹系统多维权重模糊综合评价方法研究

为了实现对多检测参数综合系统状态评估,将模糊综合评价方法引入到系统状态评估中。针对经典模糊综合评价方法中权重向量单一,不能反映系统参数变化,提出了多维权重模糊状态评价方法。针对C800型摩擦焊机液压辅助系统,根据实际检测状态数据,建立模糊评价矩阵,实现多参数模糊综合评价。     

关于h-F凸函数Hadamard型不等式的注记

利用h-F凸函数的定义和h-F凸函数的Hadamard型不等式,在h、F满足一定条件的情况下,给出了h-F凸函数Hadamard型不等式的加细.     

一类Riemann-Liouville型混合分数阶差分与和分方程解的存在唯一性

研究的是一类Riemann-Liouville型混合分数阶差分和分方程的初值问题.通过建立与初值问题等价的Volterra和分方程,并运用Banach压缩映射原理证明了解的存在唯一性;另外,通过构造Mittag-Leffler函数,并结合Gronwall不等式技巧,使用逐次迭代方法同样获得解的存在唯一性.最后,通过例题的形式给出初值问题的显示解,说明所得结果.     

算子分裂法求解一类变分不等式问题的收敛率分析

考虑一类变分不等式问题:寻找x~*∈Ω,满足F(x~*)~T(x-x~*)≥0,?x∈Ω,其中Ω是R~n上的闭凸子集,F=f+g是R~n到R~n的连续算子,f和g单调但f的表达式未知.针对此类应用较广的问题,本文研究了一种新的算子分裂法.根据已有的收敛性结果,进一步分析了该方法在非遍历意义下O(1/k)和o(1/k)的次线性收敛率,其中k表示迭代步数.最后,通过数值实验展示了算法的有效性.     

广义混合变分不等式的weak-sharp解及算法的有限收敛

提出广义混合变分不等式问题的解集满足的weak-sharp条件,并通过约束集的支撑函数的一些性质,获得weak-sharp条件的等价刻画.在广义混合变分不等式问题的解集满足weak-sharp条件之下,还获得任意迭代算法有限收敛的等价条件,其中有限收敛指算法在有限次迭代后,得到广义混合变分不等式问题的精确解.最后,以广义混合变分不等式问题的超投影近似点算法为特例,在一定的条件下,获得该算法的有限收敛性.     

基于频域显著性方法和ELM的遥感影像变化检测

提出一种基于频域显著性(FDS)方法和极限学习机(ELM)方法进行遥感影像变化检测的方法.首先,对利用变化矢量分析方法(CVA)获取不同时相遥感影像的光谱特征差异图及纹理特征(灰度共生矩阵法)差异图进行融合获得差异影像(DI);然后,利用频域显著性方法获取差异影像的显著性图,采用模糊c均值(FCM)聚类算法对显著性图选取阈值得到的粗变化检测图进行预分类(变化像素、未变化像素、待定像素);最后,从光谱及纹理特征影像上提取变化像素和未变化像素的邻域特征作为可靠样本进行ELM训练,并利用训练好的ELM分类器对粗变化检测图进行变化检测,得到最终的变化检测图.通过对高分辨率遥感影像数据实验结果表明本方法的变化检测精度及性能优于其他对比方法.