定常的热传导-对流问题的Galerkin/Petrov最小二乘混合元方法

1.引言 热传导-对流问题是大气动力学中的一个重要的方程,这个方程组也称为强迫耗散的非线性系统方程组,其较Navier-Stokes方程多了一个未知函数温度场,且温度与速度和压力之间存在着复杂的非线性关系.从热动力学可知,任何运动都会产生热量即有温度,而且温度与速度和压力之间必定互相转化,因此对该非线性系统的研究更具有实际意义.[1]先对     

一类二层凸规划的对偶二层规划

本文讨论上层目标函数以下层子系统目标函数的最优值作为反馈的一类二层凸规划的对偶规划问题 ,在构成函数满足凸连续可微等条件的假设下 ,建立了二层凸规划的 Lagrange对偶二层规划 ,并证明了基本对偶定理 .     

COMPOSITE-STEP LIKE FILTER METHODS FOR EQUALITY CONSTRAINT PROBLEMS

In a composite-step approach, a step sk is computed as the sum of two components vk and hk. The normal component vk, which is called the vertical step, aims to improve the linearized feasibility, while the tangential component hk, which is also called horizontal step, concentrates on reducing a model of the merit functions. As a filter method, it reduces both the infeasibility and the objective function. This is the same property of these two methods. In this paper, one concerns the composite-step like filter approach. That is, a step is tangential component hk if the infeasibility is reduced. Or else, sk is a compositestep composed of normal component Vk and tangential component hk.     

数律条条美绝伦--√2、π&e趋论,兼为火星大冲年而作

1引论 我们先引述古希腊最著名的评论家Proclus(普洛克努斯)的一句名言: 哪里有数,哪里就有美.     

关于如何利用Maple软件进行平面几何命题的验证的补充说明

文 [1 ]中通过定理 :设G是理想I的Gr bner基 ,f是k[x1 ,…xn]中的多项式 ,则f∈I的充分必要条件是f模G的范式为 0 .即通过对理想成员的判定 ,得出了验证几何命题是否成立的下述方法 :1、首先建立坐标系 ,将命题的条件和结论实行代数化 ,即转化成多项式的形式 ;2、求命题的所有条件 (用多项式表示 )所形成的理想I的Gr bner基Gs;3、求命题的结论f模Gs 的范式conc ;4、对范式进行判断 ,若范式为 0 ,说明命题结论成立 (或对 ) ;若范式不为 0 ,则说明命题结论不成立(或错 ) .但笔者认为该方法欠妥 ,还不够完善 ,有时会使我们得到错误的结论 ,…     

二次微分系统的中心条件和通积分

本文给出在中国分类之下二次微分系统有中心时两种情况的通积分.     

多小波子空间上的单小波表示

本文在较弱的条件下,建立了2重多小波子空间与单小波子空间的关系.即由2重多小波构造出单小波.一方面,这种单小波的平移伸缩与2重多小波的平移伸缩生成的子空间是完全相同的;另一方面,它具有插值性.因此通过构造出的单小波建立了多小波子空间上的Shannon型采样定理.     

保持理想的Gr(o)bner基的同态映射的一个有效判定方法

设Θ是k[x1,x2,……,xn]上的自同态映射,＞,＞′分别是有理项序.本文刻划具有下列性质的同态映射Θ对任意Grobner基G(关于项序＞),GoΘ仍是Grobner基(关于项序＞')并且较好地解决了Hong的问题1[1].     

四元数矩阵方程AXAH=B的最小二乘解

引入了四元数矩阵范数的概念，通过使用四无数矩阵的奇异值分解，给出了四元数矩阵方程AXA^H＝B在最小二乘意义下的Hermitian解以及Skew-Hermitian解．