一类矩阵方程的最小二乘双对称解及其最佳逼近

构造了一种迭代法求一类矩阵方程的最小二乘双对称解.研究了迭代序列的若干性质,证明了算法的收敛性.数值算例表明,这种迭代法是有效的.     

关于丢番图方程x8+py2=4z4与x4+16py8=z2

设p为奇数,证明了丢番图方程x^8＋py^2=4z^4（x,y）;1除开p=3时仅有正整数解（z,y,z）=（1,1,1）和p=7时仅有正整数解（x,y,z）=（1,3,2）之外,无其它正整数解。证明了方程x^4＋16py^8=z^2,p≡3（mod 4）,2/z,（x,y）=1,无正整数解。证明了P≡3（mod 4）,方程x^4＋16py^8=z^2,（x,y）=1当2/x时,除开p=3时仅有正整数解（x,y,z）-（1,1,7）外,无其它正整数解;当2｜x时,有解x^2=2｜pr^8-s^8｜,y=rs,z=2（pr^8＋s^8）,2/rs,（r,s）=1。从而推广了文[4]的结果。由此可知（x,y,z）=（2,1,8）是方程x^4＋48y^8=z^2的一个本原解,文[4]漏掉了此解,这说明文[4]引理2不是完全正确的,依据引理2证明的结论也是不可靠的。     

基于低代码开发范式的Web Service生成方法

针对目前软件开发人员在手工开发Web Service程序过程中出现效率低下、容易出错等问题,本文基于低代码开发范式,结合需求原型化技术RM2PT,提出一种Web Service自动生成方法。首先,根据操作契约中的OCL表达式与数据基本操作的语义关系,建立两者之间的转换规则;其次,根据Web Service功能模块的代码特征构建转换模板;然后建立解析和处理需求模型的转换算法;最后,使用转换规则、转换模板和转换算法直接将需求模型自动转换为目标应用程序。通过使用4个软件开发案例对提出的方法进行验证,结果表明,约93.3%的系统操作可以实现自动生成。相比传统的软件开发模式,本文方法可以由需求模型自动生成标准化Web Service程序,提高了软件开发效率与质量。此外,本文方法支持快速原型开发和迭代开发,用户可以通过GUI验证、编辑与修改需求,重新生成应用程序。     

Cohen-Grossberg神经网络周期解的全局稳定性

讨论了Cohen-Grossberg神经网络周期解的存在性和全局指数稳定性.讨论的模型非常综合,包含了大部分的模型,利用的条件非常弱,取得的结果非常简洁.     

二阶p-Laplacian算子的奇异边值问题多解的存在性

应用锥拉伸和锥压缩不动点理论讨论了有关p-Laplacian算子的二阶微分方程奇异边值问题多个正解的存在性。     

考虑不确定性的多能互补系统双层优化调度

为了降低新能源并网对电力系统影响,本文中提出了考虑源、荷不确定性的风光水火储多能互补系统调度方法。首先基于模糊机会约束法处理风电、光伏出力及负荷预测值的不确定性;然后建立了源荷相关度数学模型,以衡量联合发电系统出力与负荷的匹配程度;然后构建了多能互补系统双层优化调度模型,其中上层以源荷相关度最大为目标函数,下层以系统运行成本最小为目标函数;最后提出了改进的遗传算法求解双层调度模型。基于算例仿真验证了所提模型和算法的有效性,为互补发电系统提供可靠的调度方案。     

无限维Hilbert空间中算子方程的正算子解

在无限维Hilbert空间中利用算子理论基本知识,讨论一类算子方程X-s+A*XtA=B(s≥1,0＜t＜1)正算子解的问题,给出算子方程正算子解的变化范围以及存在正算子解的条件,并通过构造算子序列给出算子方程存在正算子解的一个充分必要条件.     

(2+1)维海森堡铁磁自旋链方程的怪波解及其局域性质

(2+1)维海森堡铁磁自旋链方程可用于描述二维空间场和时间场中的铁磁自旋孤子激发.利用符号计算方法得到了该方程的怪波解.通过分析所得解的等高线,考察了怪波解的局域化特征.另外,求得该方程的两类呼吸子解,即Ma呼吸子和Akhmediev呼吸子.     

打磨机器人自适应鲁棒约束跟踪控制

实际工作中的打磨机器人存在外部干扰或参数摄动等不确定因素,这些不确定因素有界但边界未知。针对这种不确定环境下的打磨机器人末端轨迹跟踪问题,文章提出一种自适应鲁棒约束控制方法。该方法将期望轨迹视为系统约束,利用约束跟踪的思想来解决轨迹跟踪问题,并将系统分为标称部分和不确定部分;针对标称部分,通过U-K(Udwadia-Kalaba)方程来求解约束力矩,使系统满足理想状态下的约束条件;针对不确定部分,设计一种泄漏型自适应律对不确定性边界进行估计,并根据估计的边界和约束误差来调节鲁棒控制项的增益,进而有效地补偿系统的不确定性。李雅普诺夫方法证明了该系统具有一致有界性和一致最终有界性,对简化后的打磨机器人进行末端轨迹跟踪控制的数值仿真实验结果验证了所提出方法的有效性。     

测度链上动力方程边值问题凸解的存在性

研究下述测度链T上动力方程边值问题((uΔ(t))n)Δ=g(t)f(-u(t)),uΔ(a)=0=u(σ2(b)),t∈[a,b],在非线性项满足超线性或次线性的条件下,获得其凸解的存在性标准,所用工具为不动点指数理论.