无限维离散时间代数Riccati方程的非负解

本文研究了无限维离散时间代数Ｒｉｃｃａｔｉ方程（ＤＡＲＥ）的非负自伴解，给出了（ＤＡＲＥ）有非负 自伴解的充要条件．对幂可稳定化的离散时间系统∑ｄ（Ａ，Ｂ，－），若Ａ是可逆的，Ｂ是紧的，给出 了（ＤＡＲＥ）的非负解集的参数化刻画，并以Ａ的有限维的含于反稳定的不可观察子空间中的不变子 空间为参数．该结果把［５］中关于有限维系统∑ｄ（Ａ，Ｂ，－）的结果推广到了一般的系统∑ｄ（Ａ，Ｂ，－） 中．最后，还给出了∑ｄ（Ａ，Ｂ，－）具有非负稳定化解的充要条件．     

关于“Bbble—隐定化有限元方法”的两点注记

本文针对Ｓｔｏｋｅｓ－问题给出了「１２」发展的基于局部ｂｕｂｂｌｅ－函数稳定化有限元与Ｇａｌｓ－稳定化有限元法，ｂｕｂｂｌｅ函数扩充元法的等价关系。     

关于“Bubble-隐定化有限元方法”的两点注记

本文针对Ｓｔｏｋｅｓ－问题给出了［１２］发展的基于局部ｂｕｂｂｌｅ－函数稳定化有限元法与Ｇａｌｓ－稳定化有限元法,ｂｕｂｂｌｅ函数扩充元法的等价关系     

一类矩阵方程的简便解法

一类矩阵方程的简便解法胡安民（连云港职业大学）对于系数矩阵可逆的矩阵方程ＡＸ＝Ｂ，ＸＡ＝Ｂ及ＡＸＢ＝Ｃ，一般线性代数教材中讲述求解方法时通常分两步进行：首先求系数矩阵Ａ的逆阵Ａ－１，再用Ａ－１与Ｂ相采得解（对于解ＡＸＢ＝Ｃ则需先求出Ａ－１，Ｂ－１，再...     

自反BCK－代数

本文在ＢＣＫ－代数中引进稳定子的概念，并定义一类特殊的ＢＣＫ－代数─自反ＢＣＫ－代数，证明自反ＢＣＫ－代数的概念与半单ＢＣＫ－代数的概念是一致的，同时对于有限ＢＣＫ－代数还得到它是自反的一个充要条件。     

RLW—Burgers方程的精确解

借助未知函数的变换，ＲＬＷ－Ｂｕｒｇｅｒｓ方程和ＫｄＶ－Ｂｕｒｇｅｒｓ方程化为易于求解的齐次形式的方程，从而得到ＲＬＷ－Ｂｕｒｇｅｒｓ方程和ＫｄＶ－Ｂｕｒｇｅｒｓ方程的精确解。     

二元二次多项式可因式分解的充要条件及其分解公式

对于二元二次多项式ｆ（ｘ，ｙ）＝Ａｘ２＋Ｂｘｙ＋Ｃｙ２＋Ｄｘ＋Ｅｙ＋Ｆ（其中Ａ，Ｂ，Ｃ不全为零），设ｈ＝２ＣＤ－ＢＥＢ２－４ＡＣ，ｋ＝２ＡＥ－ＢＤＢ２－４ＡＣ，Ｆ１＝ｆ（ｈ、ｋ）＝１２Ｄｈ＋１２Ｅｋ＋Ｆ，△＝２ＡＢＤＢ２ＣＥＤＥ２Ｆ＝－２（Ｂ２－４Ａ...     

广义a-结合BCI-代数

引入了广义ａ－结合ＢＣＩ－代数的概念，研究了ＢＣＩ－代数的ｐ－半单部分与广义ａ－结合部分的关系．并将ｐ－半单ＢＣＩ－代数的若干重要性质推广到广义ａ－结合ＢＣＩ－代数上．最后我们证明了每个广义ａ－结合ＢＣＩ－代数可确定一个交换偏序幺半群．本文结果表明文［１］的正则ＢＣＩ－代数与ｐ－半单ＢＣＩ－代数是一致的．     

一种故障树分析的新算法

本论文中，首先引入了ＢＤＤ（ＢｒｉｎａｒｙＤｅｃｉｓｉｏｎＤｉａｇｒａｍｓ－ＢＤＤ）的概念，介绍由故障树到ＢＤＤ转化算法一递归法，及ＢＤＤ进行故障树分析的方法。     

关于一个矩阵迹的不等式的注记

本文修正了［２］中的一个矩阵迹的不等式的一些错误，证明了ｔｒ［（Ａａ一Ｂａ）（Ａ一β一Ｂβ）］＜０当且仅当αβ＞０且Ａ≠Ｂ，ｔｒ［（Ａａ－Ｂａ）（Ａ－β－Ｂ－β）］＞０当且仅当αβ＜０且Ａ≠Ｂ，这里Ａ，Ｂ是ｎ×ｎ的Ｈｅｒｍｉｔｅ正定矩阵．     

二维土壤溶质输运方程的有限体积元格式

本文导出二维的土壤溶质输运方程的有限体积元格式, 并分析其误差.通过数值例子说明, 有限体积元格式比有限元格式稳定.     

非饱和土壤水流问题的CN有限元格式

首先给出二维非饱和土壤水流问题基于Crank-Nicolson(CN)方法的具有时间二阶精度的半离散化格式,然后直接从CN时间半离散化格式出发,建立具有时间二阶精度的全离散化CN有限元格式,并给出误差估计,最后用数值例子说明全离散化CN有限元格式的优越性.这种方法可以绕开关于空间变量的半离散化格式的讨论,提高时间离散的精度,极大地减少时间方向的迭代步,从而减少实际计算中截断误差的积累,提高计算精度和计算效率.     

Finite difference scheme for variational inequalities

In this paper, we show that a class of variational inequalities related with odd-order obstacle problems can be characterized by a system of differential equations, which are solved using the finite difference scheme. The variational inequality formulation is used to discuss the uniqueness and existence of the solution of the obstacle problems.     

基于Riesz-表示算子非协调稳定化有限元法

Following the framework of the finite element methods based on Riesz-representing operators developed by Duan Huoyuan in 1997,through discrete Riesz representing-operators on some virtual(non-) conforming finite-dimensional subspaces,a stabilization formulation is presented for the Stokes problem by employing nonconforming elements.This formulation is uniformly coercive and not subject to the Babu ka-Brezzi condition,and the resulted linear algebraic system is positive definite with the spectral condition number O(h-2). Quasi-optimal error bounds are obtained,which is consistent with the interpolation properties of the finite elements used.     

基于对偶混合变分形式的Uzawa型算法

基于弹性接触问题的三变量（应力，位移，接触边界位移）对偶混合变分形式，对混合有限元离散化的单边约束问题，提出了一种Uzawa型算法。首先证明了迭代算法的收敛性，然后用数值例子验证了迭代算法的有效性。     

A combined nodal continuous-discontinuous finite element formulation for the Maxwell problem

Continuous Galerkin formulations are appealing due to their low computational cost, whereas discontinuous Galerkin formulation facilitate adaptative mesh refinement and are more accurate in regions with jumps of physical parameters. Since many electromagnetic problems involve materials with different physical properties, this last point is very important. For this reason, in this article we have developed a combined cG-dG formulation for Maxwell’s problem that allows arbitrary finite element spaces with functions continuous in patches of finite elements and discontinuous on the interfaces of these patches. In particular, the second formulation we propose comes from a novel continuous Galerkin formulation that reduces the amount of stabilization introduced in the numerical system. In all cases, we have performed stability and convergence analyses of the methods. The outcome of this work is a new approach that keeps the low CPU cost of recent nodal continuous formulations with the ability to deal with coefficient jumps and adaptivity of discontinuous ones. All these methods have been tested using a problem with singular solution and another one with different materials, in order to prove that in fact the resulting formulations can properly deal with these problems.     

弹性接触问题的一种新的混合变分形式

1．引言用混合有限元方法求解弹性力学问题,其优点在于可同时求解位移和应力．力学问题的混合变分形式是混合有限元方法的基础．对于弹性接触问题,文献问给出了一种混合变分形式,以及相应的混合有限元分析（也可见[6]）．本文考虑了弹性接触问题的一种新的混合变分形式,它是构造弹性接触问题的另一种混合有限元方法的基础．对于通常的静态弹性力学方程组的边界值（等式情形）问题,熟知可以有二种不同的混合变分形式（例如见门）．第一种混合变分形式中,对位移的求解空间为H‘（刚,对应力的求解空间为L‘（刚;而第二种混合变分形式…     

A new three‐field formulation of the biharmonic problem and its finite element discretization

We consider a new three‐field formulation of the biharmonic problem. The solution, the gradient and the Lagrange multiplier are the three unknowns in the formulation. Adding a stabilization term in the discrete setting we can use the standard Lagrange finite element to discretize the solution, whereas we use the Raviart‐Thomas finite element to discretize the gradient. The Lagrange multipliers are constructed to achieve the optimal error estimate. Numerical results are presented to demonstrate the performance of our approach. © 2016 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 33: 199–217, 2017     

Bilinear modeling solution approach for fixed charge network flow problems

We present a continuous, bilinear formulation for the fixed charge network flow problem. This formulation is used to derive an exact algorithm for the fixed charge network flow problem converging in a finite number of steps. Some preliminary computational experiments are reported to show the performance of the algorithm.     

Numerical analysis of a contact problem between two thermoviscoelastic beams

We propose and analyze in this article a finite element approximation, based on a penalty formulation, to a quasi‐static unilateral contact problem between two thermoviscoelastic beams. An error bound is given and some numerical experiments discussed. © 2011 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 27: 644–661, 2011