Navier-Stokes方程的非退化转向点的谱Galerkin逼近 被引量：5

1

作者 王立周 李开泰 《西安交通大学学报》 EI CAS CSCD 北大核心 2001年第4期421-424,共4页

利用非退化转向点的扩充系统 ,证明了如下结论 :设 (λ0 ,u0 )是Navier Stokes方程的非退化转向点 ,则存在正整数m1,当m大于m1时 ,在 (λ0 ,u0 )的某个邻域内 ,谱Galerkin逼近方程存在惟一解 ,且为谱Galerkin逼近方程的非退化转向点 ,... 利用非退化转向点的扩充系统 ,证明了如下结论 :设 (λ0 ,u0 )是Navier Stokes方程的非退化转向点 ,则存在正整数m1,当m大于m1时 ,在 (λ0 ,u0 )的某个邻域内 ,谱Galerkin逼近方程存在惟一解 ,且为谱Galerkin逼近方程的非退化转向点 ,并给出了L2 范数和H1范数下的误差估计 . 展开更多

关键词 NAVIER-STOKES方程 非退化转向点 谱Galerkin逼近 非奇异解 范数 误差估计 算子逼近

在线阅读 下载PDF 职称材料

构造相应于有限维非退化可解李代数的顶点代数 被引量：4

2

作者 王书琴 《数学物理学报（A辑）》 CSCD 北大核心 2006年第B12期1008-1024,共17页

设g是带有非退化不变对称双线性型的有限维可解李代数,该文首先应用g的仿射李代数g的表示理论,构造出一类水平为l的限制g-模Vg(l,0)．然后应用顶点算子的局部理论在hom(Vg(l,0),Vg(l,0)((x)))中找到一类顶点代数LVg(l,0)．建立了LVg(l,0... 设g是带有非退化不变对称双线性型的有限维可解李代数,该文首先应用g的仿射李代数g的表示理论,构造出一类水平为l的限制g-模Vg(l,0)．然后应用顶点算子的局部理论在hom(Vg(l,0),Vg(l,0)((x)))中找到一类顶点代数LVg(l,0)．建立了LVg(l,0)到Vg(l,0)的映射,最后证明了这类映射是顶点代数同构． 展开更多

关键词 非退化可解李代数的顶点代数 水平为l的限制g-摸 Jacobi-等式及弱交换性和D-导子-换位公式 顶点代数同构

在线阅读 下载PDF 职称材料

非退化相关免疫函数的构造与计数

3

作者 温巧燕 王新梅 肖国镇 《电子学报》 EI CAS CSCD 北大核心 1998年第7期169-171,共3页

本文给出了非退化一阶相关免疫函数的一个构造方法，得到了这类函数个数的一个新的下界，并且给出了阶数大于1的相关免疫函数非退化的一个充分条件及实例．

关键词 密码学 非退化 相关免疫函数 正交矩阵 计数

在线阅读 下载PDF 职称材料

三阶非线性微分方程周期解的非退化和存在唯一性

4

作者 姚绍文 李文洁 程志波 《数学物理学报（A辑）》 CSCD 北大核心 2022年第2期454-462,共9页

该文虑了一类三阶线性微分方程x′″(t)+a_(2)x″(t)+a_(1)x’′t)=a_(0)(t)x(t)的非退化性.利用Writinger不等式,给出该方程的非退化条件.再利用三阶线性微分方程的非退化性,证明了三阶非线性微分方程在半线性条件和超线性条件下周期... 该文虑了一类三阶线性微分方程x′″(t)+a_(2)x″(t)+a_(1)x’′t)=a_(0)(t)x(t)的非退化性.利用Writinger不等式,给出该方程的非退化条件.再利用三阶线性微分方程的非退化性,证明了三阶非线性微分方程在半线性条件和超线性条件下周期解的存在唯一性. 展开更多

关键词 周期解 非退化性 半线性 超线性 存在唯一性

在线阅读 下载PDF 职称材料

非退化广义布朗运动及其相遇问题

5

作者 张春生 《数学物理学报（A辑）》 CSCD 北大核心 1990年第1期103-111,共9页

在一定条件下,按不同时间变化规律运动的布朗运动可以产生新的高维过程,并且其在相遇问题上具有与布朗运动相一致的定性结论。

关键词 布朗运动 相遇 非退化 广化

在线阅读 下载PDF 职称材料

非退化可解李代数模的结构

6

作者 范洪霞 王书琴 《黑龙江科技信息》 2008年第21期172-172,共1页

设g是带有非退化对称不变双线性型的有限维可解非幂零李代数,证明了g的极大环面子代数H作用在g的有限维模上是可对角化;给出g的Casimir算子Ω的概念,并证明了Ω作用在g的不可分解模上是一个纯量0。

关键词 非退化可解李代数g 模的合成列 不可约模

在线阅读 下载PDF 职称材料

非对称锥优化问题KKT函数的B次微分非奇异性与非退化性条件

7

作者 赵金阳 王诗云 《沈阳航空航天大学学报》 2021年第3期86-96,共11页

针对非对称锥上的优化问题的局部最优解,主要讨论其灵敏性问题。计算了KKT函数的B次微分,给出了KKT函数的强二阶充分条件和非退化约束条件隐含的B次微分的非奇异点、KKT函数的B次微分非奇异点隐含的KKT点的强正则性和KKT函数的B次微分... 针对非对称锥上的优化问题的局部最优解,主要讨论其灵敏性问题。计算了KKT函数的B次微分,给出了KKT函数的强二阶充分条件和非退化约束条件隐含的B次微分的非奇异点、KKT函数的B次微分非奇异点隐含的KKT点的强正则性和KKT函数的B次微分非奇异点隐含的非退化约束条件。得到了强二阶充分条件、非退化性约束、KKT函数的B次微分非奇异性与KKT点的强正则性之间的关系。 展开更多

关键词 强二阶充分条件 非退化性约束 B次微分的非奇异性 强正则性 KKT函数

在线阅读 下载PDF 职称材料

一类非线性退化椭圆边值问题

8

作者 陈振韬 《湘潭大学自然科学学报》 CAS CSCD 1995年第1期1-5,共5页

本文考虑如下一类非线性退化椭圆型偏微分方程组的第一边值问题：用上、下解结合单调迭代的方法证明了该问题正解的存在唯一性．特别地，给出了某些条件，以确保迭代敛于唯一正解．

关键词 非线笥退化椭圆方程 下解 单调迭代方法 上解 存在唯一性

在线阅读 下载PDF 职称材料

一类非线性退化抛物方程有界弱解的存在性 被引量：1

9

作者 李娟 邹维林 《南昌航空大学学报（自然科学版）》 CAS 2016年第3期18-22,共5页

本文主要研究一类非线性退化抛物型方程,其中主算子在解为无穷大时退化非强制,即当解u趋于无穷时,扩散现象消失。利用先验估计方法和经典的紧性理论,得到了解的L∞估计,并由此证明了有界弱解的存在性。

关键词 有界弱解 退化非强制 L∞估计 存在性

在线阅读 下载PDF 职称材料

关于有退化的唯一最优解的线性规划问题的灵敏度分析

10

作者 张有德 《高校教育管理》 1988年第S1期56-59,共4页

关于有唯一最优解的线性规划问题的灵敏度分析,通常都是在非退化的条件下进行的.本文对于退化的情形加以分析.

关键词 灵敏度分析 最优解 线性规划问题 非退化 单纯形表 最优基 约束条件 最优值 目标函数

在线阅读 下载PDF 职称材料

k阶拟Bent函数在密码设计和通信中的应用 被引量：5

11

作者 滕吉红 李世取 刘文芬 《通信学报》 EI CSCD 北大核心 2003年第12期58-66,共9页

王育民、何大可提出了布尔函数关于线性函数的r阶相关度E(r)的概念来刻划布尔函数抵抗相关攻击的能力,本文以极小化所有非零相关度E(r)为主要目的,利用k阶拟Bent函数的特殊性质,给出了一类基于k阶拟Bent函数的“最佳”非线性组合设计的... 王育民、何大可提出了布尔函数关于线性函数的r阶相关度E(r)的概念来刻划布尔函数抵抗相关攻击的能力,本文以极小化所有非零相关度E(r)为主要目的,利用k阶拟Bent函数的特殊性质,给出了一类基于k阶拟Bent函数的“最佳”非线性组合设计的实现,构造了一类平衡的,具有高阶相关免疫性,而且非零相关度一致地小的非退化的布尔函数,并比较了它与基于部分Bent函数的“最佳”非线性组合设计的优劣。最后我们又利用k阶拟Bent函数构造了一类Bent互补函数族和Bent侣,Bent互补函数族和Bent侣在最佳信号设计方面意义重大,这也表明k阶拟Bent函数在密码设计和通信领域都有比较广的应用前景。 展开更多

关键词 r阶相关度 半Bent函数 k阶拟Bent函数 非退化性 部分BENT函数 线性结构 密码设计 布尔函数

在线阅读 下载PDF 职称材料

EAOR投影迭代算法求解一类双边障碍问题 被引量：1

12

作者 李向阳 李金周 《工程数学学报》 CSCD 北大核心 2009年第1期67-74,共8页

本文研究求解一类双边障碍问题的EAOR迭代算法。证明了由此算法产生的迭代序列至少存在一个聚点,该聚点是双边障碍问题的解。并且,当矩阵为非退化对称矩阵时,该序列收敛到双边障碍问题的解。在随后的数值实验中,验证了理论的正确性和算... 本文研究求解一类双边障碍问题的EAOR迭代算法。证明了由此算法产生的迭代序列至少存在一个聚点,该聚点是双边障碍问题的解。并且,当矩阵为非退化对称矩阵时,该序列收敛到双边障碍问题的解。在随后的数值实验中,验证了理论的正确性和算法的有效性。 展开更多

关键词 EAOR投影迭代 非退化矩阵 双边障碍问题

在线阅读 下载PDF 职称材料

多元矩阵Padé逼近的代数性质 被引量：1

13

作者 郭清伟 《合肥工业大学学报（自然科学版）》 CAS CSCD 2001年第6期1141-1144,共4页

文章给出关于多元矩阵 Padé逼近代数性质的三个定理。定理一证明矩阵 Padé逼近的对偶性质 ;定理二证明多元矩阵 Padé逼近与一元矩阵 Padé逼近一样 ,具有自变量分式变换下的单应不变性 ;定理 3证明在一定条件下 ,多... 文章给出关于多元矩阵 Padé逼近代数性质的三个定理。定理一证明矩阵 Padé逼近的对偶性质 ;定理二证明多元矩阵 Padé逼近与一元矩阵 Padé逼近一样 ,具有自变量分式变换下的单应不变性 ;定理 3证明在一定条件下 ,多元矩阵 Padé逼近可以用一元矩阵 Padé逼近表示 ,以及右多元矩阵 Padé逼近和左多元矩阵 Padé逼近之间的关系 ,这一性质是多元矩阵Padé逼近特有的一个性质。 展开更多

关键词 多元矩阵Pade逼近 代数性质 非退化 对偶性质 单应不变性 一元矩阵Pade逼近

在线阅读 下载PDF 职称材料

伪正交变换的特征值 被引量：1

14

作者 陈维新 《浙江大学学报（自然科学版）》 CSCD 1998年第4期375-381,共7页

本文首先指出文献［１］中的二个命题是错的，接着探讨了产生这错误的原因，进而给出并证明了相应的二个正确命题．

关键词 伪正交变换 特征值 直和 非退化 矩阵

在线阅读 下载PDF 职称材料

求解约束线性l_1问题的光滑化广义有效集方法(Ⅰ)

15

作者 陈志平 徐成贤 张忠秀 《工程数学学报》 CSCD 北大核心 1998年第1期9-16,共8页

对约束线性ｌ１问题，根据目标函数的结构特点将原问题转化为一个与其局部等价的、同规模的可微优化问题．对这一目标函数与约束函数均随迭代而变化的问题，通过推广通常的有效集方法，给出了求解它的一个投影广义有效集算法。

关键词 线性l1问题 有效集方法 非退化 有限终止性

在线阅读 下载PDF 职称材料

Navier-Stokes方程简单分歧点的谱Galerkin逼近

16

作者 王贺元 李开泰 《西安交通大学学报》 EI CAS CSCD 北大核心 2003年第4期420-423,共4页

针对分歧难以数值计算的问题 ,通过分析Navier Stokes方程简单分歧点的性质 ,构造出定常Navier Stokes方程非退化简单分歧点的扩充系统及其谱Galerkin逼近扩充系统 ,证明了谱Galerkin逼近扩充系统解的存在性和收敛性 .运用Stokes算子的... 针对分歧难以数值计算的问题 ,通过分析Navier Stokes方程简单分歧点的性质 ,构造出定常Navier Stokes方程非退化简单分歧点的扩充系统及其谱Galerkin逼近扩充系统 ,证明了谱Galerkin逼近扩充系统解的存在性和收敛性 .运用Stokes算子的特征值 ,给出了谱逼近的误差估计 .由于所构造的扩充系统的导数具有分块下三角形式 ,采用分块迭代的方法进行数值求解 ,不仅减少了计算量 ,而且是二次收敛的 ,从而为Navier 展开更多

关键词 Navies-Stokes方程 非退化简单分歧点 谱Galerkin逼近

在线阅读 下载PDF 职称材料

一种计算有限时间Lyapunov指数的新方法及仿真研究

17

作者 周有 相敬林 《西北工业大学学报》 EI CAS CSCD 北大核心 2005年第2期240-243,共4页

Lyapunov指数(LEs)是反映混沌系统动力学特性的一个重要定量指标,如何有效快速地计算LEs成为混沌信号处理中的一个基本问题。Goldhirsch,Sulen和Orszag在标准QR法基础上提出了一种修正方法,该方法对计算非退化谱有效,但是对计算(伪)退... Lyapunov指数(LEs)是反映混沌系统动力学特性的一个重要定量指标,如何有效快速地计算LEs成为混沌信号处理中的一个基本问题。Goldhirsch,Sulen和Orszag在标准QR法基础上提出了一种修正方法,该方法对计算非退化谱有效,但是对计算(伪)退化谱不够精确。该文在Goldhirsch等人的方法基础上,给出一种新的计算有限时间Lyapunov指数(FTLEs)方法,对标准映射和Henon映射进行了数值仿真。结果表明,该方法具有更快的收敛速度和更好的稳定性。 展开更多

关键词 LYAPUNOV指数 有限时间 计算 仿真研究 HENON映射 动力学特性 定量指标 混沌系统 信号处理 修正方法 数值仿真 标准映射 收敛速度 LEs QR法 非退化 稳定性 基础

在线阅读 下载PDF 职称材料

关于求解带线性互补约束的数学规划问题正则方法的一个注记(英文)

18

作者 薛文娟 沈春根 《应用数学》 CSCD 北大核心 2011年第1期40-48,共9页

本文主要研究在某些较弱条件下求解带线性互补约束的数学规划问题(MPLCC)正则方法的收敛性.若衡约束规划线性独立约束规范条件(MPEC-LICQ)在由正则方法产生的点列的聚点处成立,且迭代点列满足二阶必要条件,同时,若比在文[7]中渐近弱非... 本文主要研究在某些较弱条件下求解带线性互补约束的数学规划问题(MPLCC)正则方法的收敛性.若衡约束规划线性独立约束规范条件(MPEC-LICQ)在由正则方法产生的点列的聚点处成立,且迭代点列满足二阶必要条件,同时,若比在文[7]中渐近弱非退化条件Ⅰ更弱的渐近弱非退化条件Ⅱ在聚点处也成立,那么所有这些聚点都是B-稳定点.此外,在弱MPEC-LICQ,二阶必要条件及渐近弱退化条件Ⅱ下,我们仍能证明通过正则方法所得的聚点都是B-稳定点. 展开更多

关键词 均衡约束规划问题 正则方法 渐近弱非退化 弱均衡约束规划线性独立约束规范条件

在线阅读 下载PDF 职称材料

二维扩散过程保序耦合的存在性(英文)

19

作者 吴宪远 《应用概率统计》 CSCD 北大核心 2001年第1期1-6,共6页

本文研究扩散过程轨道的保序性，对二维非退化扩散过程，我们证明其保序耦合存在，同时构造出一类保序算子．

关键词 扩散过程 保序耦合 存在性 保序算子 非退化

在线阅读 下载PDF 职称材料

相应于一类幂零李代数的顶点代数结构

20

作者 刘雪梅 《中国民航大学学报》 CAS 2011年第1期59-61,共3页

顶点代数和顶点算子代数在物理学领域有着广泛的应用,因此对其研究也有很大的实际意义。主要从有限维幂零李代数g出发,给出了g带有非退化对称不变双线性函数的条件,并构造了相应于g的一个代数结构,从同构的意义上证明了其满足顶点代数... 顶点代数和顶点算子代数在物理学领域有着广泛的应用,因此对其研究也有很大的实际意义。主要从有限维幂零李代数g出发,给出了g带有非退化对称不变双线性函数的条件,并构造了相应于g的一个代数结构,从同构的意义上证明了其满足顶点代数的条件,从而给出了一个新的顶点代数结构。 展开更多

关键词 顶点代数 有限维幂零李代数 非退化对称 不变双线性函数

在线阅读 下载PDF 职称材料