计算微分方程（组）古典和非古典对称的Ritt—吴—微分特征列集算法 …

给出计算（偏）微分方程（组）对称的Ｒｉｔｔ－吴－微分特征列集算法理论。把古典和非古典ＰＤＥｓ对称的计算问题统一在Ｒｉｔｔ－吴－微分特征列理论框架之下。     

素理想参数化的符号算法

Ｇａｏ等给出了素理想参数的一种随机算法,Ｇａｌｌｏ等估计了这种算法的计算复杂度,并将此算法改进为确定性的算法,避免了上机实现可能出现的“随机陷阱”尽管如此,由于这种算法可能需要计算多次特征列,使复杂度提高,应用受到很大限制,本文给出了素理想参数化的一种符号算法,只需计算两次特征列,就能得到原理想的参数化,并同时可以确定“例外集”。     

计算微分方程(组)古典和非古典对称的Ritt-吴-微分特征列集算法理论

给出计算（偏）微分方程（组）（ＰＤＥｓ）对称的Ｒｉｔ－吴－微分特征列集（消元）算法理论．把古典和非古典ＰＤＥｓ对称的计算问题统一在Ｒｉｔ－吴－微分特征列理论框架之下．给出了产生ＰＤＥｓ对称的无穷小方程和验证已知向量场为ＰＤＥｓ对称向量的机械化证明原理．为计算ＰＤＥｓ对称提供了有效的新的算法理论．     

单假币辨识的非适应算法

利用假币辨识向量集,引入搜索矩阵,给出一种逐列相加合并的算法,解决了单假币辨识的完全非适应算法问题.     

有限域上置换多项式一个求解算法

利用吴方法中特征列的求法，给出了有限域上置换多项式求解算法，算法简洁，切实可行     

基于吴方法的偏微分方程对称计算、判定和分类新算法（英文）

综述了作者提出的基于吴方法的偏微分方程(PDE)对称计算、判定和分类新算法的主要进展,并以具体算例说明了给出理论和算法的有效性.算法的主要思想是把PDE对称计算、判定和分类问题转化为微分多项式组的特征列集零点分解问题,从而在吴方法框架内统一处理这些问题.这是吴方法在微分领域中的新应用.     

求总极值的一个实现算法

郑权等在“一个求总极值的方法”一文中给出了一个积分－水平集求总极值的概念性算法及Ｍｏｎｔｅ－Ｃａｒｌｏ随机投点的实现算法,给出了总极值存在的充分和必要条件,而实现算法由于用了Ｍｏｎｔｅ－Ｃａｒｌｏ随机投点的方法,其收敛性是一未解决的问题．本文在张连生等人的“积分－水平集总极值算法的另一实现途径”的基础上,利用数论中的一致分布佳点集列,较为简便得出“一个求总极值的方法”的概念性算法及“积分－水平集总极值算法的另一实现途径”的实现算法和算法终止准则．     

C(X)空间中列紧集的一个充要条件

研究C(X)空间列紧集的基本特征，并给出了C(X)空间中列紧集的一个充要条件。     

分散论参数估计的合成算法——分散最小二乘估计

给出了一种分散化最小二乘参数估计的合成算法。一个分散大系统的数学模型依赖于一列未知参数,有若干个子观测站对该系统进行量测,并由各个局部处理器对量测信息进行分散处理,给出参数集的分散估计;然后用合成器对分散估计进行合成处理,给出未知参数的整体估计。     

一类向量极值问题解的鞍点定理(Ⅱ)

给出了一类具有集列集映射的向量极值问题解的向量值Ｌａｇｒａｎｇｅ鞍点定理     

生成微分方程非经典对称决定组的一个软件包(英)

给出了计算微分方程非经典对称决定方程组的一个算法.基于此算法，在 Maple系统上给出一个实现：NGDS.并举例说明了此软件包的有效性.     

偏微分方程组的对称群及其在弹性力学方程组中应用

给出了非退化线性偏微分方程组及二次型泛函对称群的不变向量场的一般形式和一类特殊形式非线性偏微分方程组对称群的简化计算条件；利用以上结论及作者以往工作，借助符号运算语言ＭａｔｈｅｍａｔｉｃａＴＭ计算了平面弹性力学方程组一阶Ｌｉｅ－Ｂａｃｔｌｕｎｄ对称群的不变向量场，以及应力函数对应的三维弹性力学方程组的Ｌｉｅ代数．为构造弹性力学方程组的一类广泛精确解及守恒律提供了必要的基础，并说明了结论对计算偏微分方程组对称群时的简化作用     

一种新的基于邻近像素点的图像修复算法

图像修复的基本方法主要有两类:纹理合成的方法和基于偏微分方程的方法,但这些修复算法较难理解和实现。该文通过定义修复区域内像素点的优先度,提出了一种基于图像邻近像素的图像修复算法;该算法不需要大量的纹理匹配计算和复杂的偏微分方程求解,易于理解和实现。     

Symmetry Classification of Partial Differential Equations Based on Wu's Method

Lie algorithm combined with differential form Wu's method is used to complete the symmetry classification of partial differential equations(PDEs) containing arbitrary parameter. This process can be reduced to solve a large system of determining equations, which seems rather difficult to solve, then the differential form Wu's method is used to decompose the determining equations into a series of equations, which are easy to solve. To illustrate the usefulness of this method, we apply it to some test problems, and the results show the performance of the present work.     

KdV方程与Burgers方程的精确解

利用试探函数法,将非线性偏微分方程转化为一个易于求解的代数方程,然后用待定系数法确定相应的常数,简洁地求得了一类非线性偏微分方程的精确解,并将此方法应用到KdV方程和Burgers方程.     

含分布Henstock-Kurzweil积分的一阶拟线性偏微分方程

利用一阶拟线性偏微分方程所对应的特征方程(常微分方程组),研究含有分布Henstock-Kurzweil积分的一阶拟线性偏微分方程,证明了其解的存在性和唯一性,并通过实例说明了该结果的广泛性.     

偏微分方程高效高精度数值方法研究

针对偏微分方程类型的最优控制问题、多孔介质渗流驱动问题、地下水流的非线性反应扩散方程、对流占有的对流扩散方程、Volterra积分微分方程等阐述混合有限元方法高精度后处理技术、具有超收敛性质的计算格式和高效自适应网格局部加密算法;扩张混合有限元快速收敛的两层网格算法;迎风差分格式的高效自适应移动网格算法;具有高精度的谱...     

角铺设复合材料层合板的后屈曲和模态跃迁

为研究双轴受压反对称角铺设复合材料层压板的后屈曲和模态跳迁性能,由渐近修正几何非线性理论推导其双耦合四阶控制偏微分方程(即协调方程和动态控制方程);通过采用广义Galerkin方法将层合板的耦合非线性控制偏微分方程转换为系列非线性常微分方程组;然后,采用解的延拓方法软件对层合板的后屈曲行为进行分析,确定面内直边边界下层合板出现屈曲模态跃迁的路径和临界载荷.通过对四层简支复合层合板算例计算表明:该方法数值结果与有限元分析(FEA)相比,在主后屈曲区域有很好的吻合性;而当解接近第2分岔点时,有限元分析失去收敛性,而所提分析方法仍具有深入探索二次分岔后屈曲区域和准确捕捉模态跃迁现象的能力.     

基于特征线理论的算子分裂算法综述

文中论述了基于特征线理论的算子分裂算法的研究进展,从偏微分方程特征线理论及算子分裂算法出发,构建了其理论框架,对于CBS算法的基本方程,文中给出了推导过程,并编制了相应的三维计算程序,通过数值算例进一步验证了这一算法的有效性和准确性.     

非线性分布参数系统鲁棒故障检测观测器设计

针对一类由偏微分方程(PDE)描述的非线性分布参数系统的鲁棒故障检测观测器(FDO)设计问题进行了研究.采用模态分解法将PDE系统变换成一个等价的无穷维常微分方程(ODE)系统,并根据空间微分算子的特征谱,将无穷维ODE系统表达成有限维慢子系统与无穷维快子系统相耦合的形式.基于慢子系统模型设计有限维FDO,使得无故障残差系统在容许的未知非线性动态和快子系统动态影响下依然渐近稳定,并设计相应的检测门限,以实现故障检测.仿真结果验证了所提方法的有效性.