二元差分域上一阶差分方程的多项式解

本文研究了在二元域F(α,β)(α、β是域F上代数无关的超越元)上一阶线性差分方程aσ(f)+bf=g的多项式解f,式中a、b、g是二元域F(α,β)上的已知多项式,σ是域F(α,β)上满足σ(α)=β,σ(β)=uα+vβ的域同构,其中u,v≠0.通过多项式次数分解得到多项式解f存在的性质,然后根据待定系数法求得多项...     

空间分数阶Klein-Gordon方程的一种有效数值算法

针对空间分数阶Klein-Gordon方程,提出了一种有效的数值算法.该算法的特点是时间用有限差分,空间用移位Legendre正交多项式来逼近,并将该算法用于线性和非线性的空间分数阶Klein-Gordon方程求解中.数值算例表明,该算法简单,数值精度高,是一种高效的数值求解方法.     

一个求非线性差分方程所有多项式解的算法（英文）

差分方程是计算机代数中一个重要的研究内容,但是目前很少有关于一般非线性差分方程求解方法的研究.受到在非线性微分方程中广泛应用的齐次平衡原则的启发,用其求解大部分非线性差分方程的多项式解.同时,提出了一个新的n阶展开方法,用于求解齐次平衡原则无法求解的情况.结合这两个方法提出了能够找到非线性差分方程所有多项式解的算法.该算法基于Maple实现,实验表明该算法是有效且高效的.     

线性常系数差分方程求解方法研究

借助IIR网络的直接型、级联型和并联型结构、FIR网络的直接型和级联型结构,推导了求解线性常系数差分方程的递推公式.对于有反馈项的线性常系数差分方程,借助IIR网络的级联型和并联型结构算法,求解线性常系数差分方程,以IIR低通滤波器为例,求解得到其输出y(n).对于无反馈项的线性常系数差分方程,借助FIR网络的直接型和级联型结构算法,求解无反馈项的线性常系数差分方程,以FIR低通滤波器为例,求解得到其输出y(n).在CCStudio v3.3集成开发环境下,采用C语言编写程序,验证了上述方法的正确性和有效性.     

矩阵A^n.A^1／n.（A^n）^—1的通项公式

本文以差分方程理论给出了n阶矩阵A的n次方幂、n次方根、(A~n)~(-1)的通项公式。设M_n(F)是数域F上全体n阶方阵组成的集合,sum from i=0 to k b_ix~(k-i)是数域F上的k次多项式,我们得到如下引理。引理 A∈M_n(F),若A满足sum from i=0 to k b_iA~(k-i)=0,则A满足一个r阶的常系数线性齐次差分方程     

整函数差分算子的唯一性

利用复域差分方程的方法, 研究差分多项式的唯一性问题, 在某一个整函数具有正的亏值假设下, 证明了2个不同整函数的差分算子CM分担某值时的唯一性问题, 所得结果可以看作微分情形的差分模拟.     

粒子群算法两种动力系统模型的收敛性研究

粒子群算法是基于群智能的优化演化算法,目前国内外文献对该算法的研究缺乏深刻且具有普遍意义的理论分析.本文,首先由动力系统的平衡理论,通过一阶差分方程模型得到PSO算法的稳定点;其次通过二阶差分方程模型用特征根法进一步推出算法的收敛性及系数收敛域,两种方法得到的结论殊途同归,彼此验证了结论的正确性与合理性.     

非单调QP-free非可行域方法

提出了带有Fischer-Burmeister非线性互补(NCP)数的非单调QP-free非可行域算法.根据优化问题的一阶KKT条件,利用乘子和NCP函数,得到非光滑方程,给出解这个非光滑方程的迭代算法.该算法包含原始-对偶变量,在局部意义下,可看成关于一阶KKT最优条件的扰动牛顿-拟牛顿迭代算法.在线性搜索时,此算法采用非单调方法.给出的算法是可实现的并具有全局收敛性,且在适当假设下具有超线性收敛性.     

分数阶系统的一种频域辨识算法

研究了利用频率响应数据辨识分数阶传递函数的问题.根据分数阶传递函数模型中,公因子阶次和分母系数是非线性参数,而分子系数则是线性参数,给出了一种频域辨识算法:利用模拟退火算法估计公因子阶次和分母系数,相应的分子系数通过求解线性最小二乘问题得到.该算法可以估计出包括公因子阶次在内的所有模型参数.无噪声和有噪声频率响应数据2种情况下的仿真算例验证了算法的有效性.     

再谈多项式的平方型分拆

得到了多项式平方型分拆和1次方分拆的算法和Maple应用程序;证明了变元相等取值为零的多项式总是可以进行1次方分拆的;发现了平方型多项式线性空间的维数与同元同次半正定多项式线性空间的维数总是相等的;差分代换缺项多项式总可以进行平方分拆;提出了待解决的问题。     

复域差分和差分方程的研究

主要介绍了近十年来复域差分及$q-$差分,差分方程及$q-$差分方程研究的主要成果,其中包括亚纯函数对数导数引理的差分模拟;Clunie引理和Mohon'ko引理的差分模拟; 慢增长亚纯函数的差分, 均差分的零点, 不动点的存在性; 差分多项式的值分布性质;差分Riccati方程与差分Painlev\'{e}方程亚纯解的性质;复域$q-$差分及$q-$差分方程的解析性质.     

一类非线性差分方程亚纯解的值分布

研究了一类非线性差分方程fn(z)+b_n－1(z)fn－1(z)++b2(z)f2(z)+L(z,f)=h(z),其中,b2(z),,b_n－1(z)为多项式,L(z,f)为f(z)的线性差分多项式,得到了这类方程亚纯解的存在性、增长性和值分布的一些结果.     

一类非线性微分差分方程亚纯解的性质

利用值分布理论,研究了几类非线性差分方程是否有有限级的超越亚纯解的问题,还考虑了:微分差分方程$~f^{n}(z)+M(z,f)=h(z)$是否存在有限级超越整函数解的问题,其中$~n\geq3$是整数, $~h(z)$是非零的有理函数,$~M(z,f)$是系数为小函数的线性微分差分多项式.     

一类多项式全局优化的差分算法

引入一类n元多项式的倒向微分流以求解全局优化问题.沿着倒向微分流,建立一个差分-牛顿混合算法,并证明了由算法所得迭代点的绝对误差受到差分步长的一致界囿.应用所建立的算法,给出了一个数值计算的例子.     

一次一密的密码算法研究

建立了一个由多项式的同余类组成的代数系统，证明了该代数系统是有限域，说明域中任意多项式的逆多项式存在且唯一，详细描述了一种多项式求逆的方法和用域中的多项式对明文进行加密和解密的算法，从而给出了一新的密码系统。该密码系统中的算法属于一次一密算法，安全性高，适合于大量数据的分组加密。     

关于有限域上置换多项式的注记(英文)

本文利用具有线性结构的多项式和线性化多项式得到了一种形式为L1(x)+L-1(γ)h(f(x))的置换多项式,该结果推广了Kyureghyan在2011年得到的一个结果.本文还利用具有线性结构的多项式和核的维数为k+1线性化多项式构造了一Fqm上qk对1的映射.     

下层为二次规划的双层规划两阶段算法

分析下层为强凸二次规划的双层规划的特殊性质,得到两点结论:若利用下层问题的KKT条件将其化归为线性互补问题(LCP),可结合LCP的互补旋转算法进一步求解原双层规划;若以线性—二次双层规划为子问题构造信赖域算法,得到的子问题的解在原问题的诱导域中。基于以上两点设计出了两阶段算法,在第一阶段,利用LCP互补旋转算法迅速到达一诱导域极点,在第二阶段,利用信赖域算法收敛到局部极小点。收敛性分析和算例表明,此算法简捷且具有较好的收敛性。     

自由边界问题的自适应预测-校正算法

对一类自由边界问题,提出了基于线性互补问题的自适应预测-校正算法.用有限差分对微分模型离散化后得到一个正定线性互补问题,该问题等价于一个不动点问题,从而得到求解线性互补问题的自适应预测-校正算法.用正定性及投影基本性质可证明算法收敛性.给出了具体的算法过程,数值结果表明了算法的可行性和有效性.     

一类离散Logistic型差分方程的全局吸引性

利用上、下确界，应用不等式的方法给出了保证时滞平方logistic型差分方程每一正解{xn}有lim↓n→∞xn=x↑-，（x↑-是方程的正平衡点）的充分条件：∑↓i=n-kn^nri的上确界小于logis-tic差分方程得到的相应方程的唯一正解；改进和推广了已有结论。     

两类非线性微分差分方程的超越整函数解

本文应用亚纯函数的Nevalinna值分布理论,研究两类非线性微分差分方程■的超越整函数解的增长性及零点分布,得到了解的增长性估计和零点分类,这里L(f)是线性微分多项式,q(z),Q(z),P(z)是多项式.