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

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

产生和求解PDEs对称确定方程组的微分特征列集算法理论及其应用

基于作给出的吴－微分特征列集算法理论，给出了计算微分方程对称的关键一产生和求解确方程组的特征列集算法。     

用吴方法计算BBM-Burgers方程的势对称及其不变解

用微分形式的吴方法计算了BBM-Burgers方程的古典对称和势对称,并求解了对应的不变解.确定了势对称群,并把它应用于不同对称对应的不变解上得到该方程的一系列精确解.重要的是这些解不能由方程的古典对称得到.求解确定方程组时吴方法起到了关键作用.     

对称方法在非线性偏微分方程边值问题中的应用

研究了微分方程对称方法在非线性偏微分方程边值问题中的应用,即利用给定偏微分方程的多参数对称,将偏微分方程边值问题约化为常微分方程初值问题.作为应用,利用对称方法解决了力学中的两个非线性偏微分方程组边值问题,包括流体力学中的非线性边值问题和自然对流方程的边值问题.确定微分方程对称时吴-微分特征列集算法起到了关键性作用.     

计算微分方程对称的符号算法及其实现

对文〔4〕中计算微分方程 (组 )古典对称确定方程组的部分程序作了一些改进 ,使其更具实用性 ,提高了运算速度 ,实现了文〔3〕中提出的“部分计算”与信息反馈法的机械化 ,使输出结果更简洁 ,便于用吴 -微分特征列法〔3〕对确定方程组作进一步简化 .同时编制了计算微分方程(组 )非古典对称的程序 ,该程序具有通用性好 ,效率高等特点 .本文程序是由符号计算系统软件 Mathematica实现的 .作为算例给出了 m KDV方程的非古典对称及利用对称将 Jim bo-Miwa方程化成了常微分方程 ,说明了我们的算法、程序及对称理论的有效性 .     

偏微分方程(组)守恒律的再扩充

在共轭方程(组)方法、微分形式吴方法和在Noether定理的基础上,利用对称变换作用于已知守恒律产生新守恒律方法确定非变分对称对应的新守恒律,达到了再扩充守恒律的重要目的.     

Cn中全纯函数组零点集的局部表示

由Weierstrass预备定理和吴文俊关于多项式组的理论,给出C^n中全纯函数组特征列的概念,以及如何从一组全纯函数经过有限次的线性变换和运算得到特征列,并在此基础上得到了C^n中全纯函数组零点的一个新的局部表示．     

用C++对COM的自定义列集(Marshal)的简单实现

针对COM的所有跨线程(thread),跨进程(process),以及跨主机(host)通信的非标准COM对象的传输或对象接口的跨套间访问问题,用C 通过自定义列集来加以解决.     

二维热传导方程的非古典对称和相容性

研究了二维热传导方程的非古典对称的决定方程,对于一般的一维偏微分方程,运用向量场的延拓和不变表面条件及初始方程的相容性两种方法得出了相同的非古典对称的决定方程.由此,得到了利用不变条件及初始方程的相容性也可求得非线性偏微分方程的非古典对称的决定方程的重要结论.最后,将此结论推广到二维热传导方程,证明了该结论对于二维热传导方程也是可行的.     

发展方程(组)对称和守恒律的扩展

首先,对发展方程（组）匹配共轭方程（组）,从而得到扩展方程组和Lagrangian函数;其次,利用吴方法推出扩展方程组的全部对称（其中包括扩展对称）;最终,利用N ether定理产生（扩展）守恒律.     

偏微分方程(组)守恒律的分类及吴方法的应用

使用直接产生法来对含参数的偏微分方程(组)进行守恒律分类,这个过程可转化为求解一个线性确定方程组,该方程组一般比较大,难于求解,可利用微分形式吴方法解决该问题.     

微分方程组特解计算的按列比较法

基于微分方程组理论,采用按列比较方法,推导出非齐次项为m次多项式的一类常系数线性微分方程组的特解公式。进行了特殊情况的讨论,并利用算例验证微分方程组特解公式的正确性。丰富了高阶微分方程组的解法理论。     

(2+1)维ZK方程的对称约化及其精确解

借助于符号计算系统Mathematica获得(2+1)维ZK方程的对称形式并对其进行约化.在约化后的几种情况中选取了一个方程,利用推广的简单方程方法进行求解,得到了新的精确行波解;且分别以含两个任意参数的双曲函数、三角函数及有理函数等三种形式表示之,其中双曲函数表示的行波解中参数取特殊值时可得到孤波解.     

行(列)对称矩阵的Schur分解和正规阵分解

提出了行（列）转置矩阵与行（列）反对称矩阵的概念,研究了它们的性质,获得了一些新的结果,给出了行（列）对称矩阵的Schur分解与正规阵分解的公式,它们可极大地减少行（列）对称矩阵的Schur分解与正规阵分解的计算量与存储量.     

行(列)对称矩阵的满秩分解和正交对角分解

提出了行(列)转置矩阵与行(列)对称矩阵的概念,研究了其性质,给出了行(列)对称矩阵的满秩分解和正交对角分解公式,极大地减少了行(列)对称矩阵的满秩分解和正交对角分解的计算量与存储量,且没有降低数值精度.     

行(或列)对称矩阵的Moore-Penrose逆

证明了行(或列)对称矩阵的Moore-Penrose逆与母矩阵的Moore-Penrose逆的定量关系,给出了两种快速算法。据此可大大降低一类具有该结构矩阵的Moore-Penrose逆的计算量和存储量。     

证明可列集的几种方法

给出了证明集合为可列集的多种方法,并给出相关例子及命题的证明.     

完全对称集的数值构造和性态

以Cantor集合的构造方法为基础,以级数理论为工具,给出了完全对称集的数值结构,并研究其测度和拓扑性质.     

拟行(列)对称矩阵的极分解

考虑拟行(列)对称矩阵的极分解、广义逆和扰动界,并对拟行(列)对称矩阵的极分解进行扰动分析,获得了拟行(列)对称矩阵的极分解和广义逆的计算公式.结果表明,该方法既能减少计算量与存储量,又不会降低数值精度.     

逐行(列)扫描判定点集是否在多边形内部的算法

提出一种基于点集排序,逐行（或逐列）扫描平面点集S,判定点集S中的点是否在多边形L内部的算法,该算法的时间复杂性在最坏情况下为：max(O(n log n),O(km log m)次比较和O（km)次乘法,其中n为点集S的点数,m为多边形L的顶点数,k=min(u,v),其中u,v分别为点集S中的点分布的行数和列数,该算法思路简单,易实现,且在一般情况下,效率比已有的算法高。