非线性双曲型积分微分方程有限元逼近的误差分析

考虑非线性双曲型积分微分方程半离散有限元格式，得到H^1超收敛和最优阶L^∞和W^1,∞模误差估计，结果丰富了有限元方法的理论。     

The effect of the stability of mixed finite element approximations on the accuracy and rate of convergence of solution when solving incompressible flow problems

The stability of two different mixed finite element methods for incompressible flow problems are theoretically analysed. The effect of the stability of the mixed approximation on the accuracy and the rate of convergence of solution is assessed for two non-trivial problems. The numerical results presented indicate that if the stability of the mixed approximation is not guaranteed then both pressure and velocity solutions are markedly less accurate. In one of the cases considered the ultimate convergence of both the pressure and the velocity solutions is seriously in doubt.     

基于非协调有限元方法的特征值的下界逼近

本文将文献提出的非协调元方法用于二阶椭圆特征值问题,证明了最优的误差估计.并且证明了当网格充分细时,近似特征值总是比真解小.     

On Representations Associated with Completely n-Positive Linear Maps on Pro-C^＊-Algebras

It is shown that an n × n matrix of continuous linear maps from a pro-C^＊-algebra A to L（H）, which verifies the condition of complete positivity, is of the form [V^＊TijФ（·）V]^n i,where Ф is a representation of A on a Hilbert space K, V is a bounded linear operator from H to K, and j=1,[Tij]^n i,j=1 is a positive element in the C^＊-algebra of all n×n matrices over the commutant of Ф（A） in L（K）. This generalizes a result of C. Y.Suen in Proc. Amer. Math. Soc., 112（3）, 1991, 709-712. Also, a covariant version of this construction is given.     

A continuity theorem for Stinespring's dilation

We show a continuity theorem for Stinespring's dilation: two completely positive maps between arbitrary C^∗-algebras are close in cb-norm if and only if we can find corresponding dilations that are close in operator norm. The proof establishes the equivalence of the cb-norm distance and the Bures distance for completely positive maps. We briefly discuss applications to quantum information theory.     

非负整数格上元素的性质及其在刻画@-Fuzzy关系方程解集中的作用

首先讨论了非负整数格上元素的性质. 从而完全地刻画了非负整数格上@-Fuzzy关系方程(其中@表示inf-α合成)的解集.     

An application to the MKZ-operators of generalized convexity on ECT-systems

We analyze some relations between classical convexities and some generalized convexities. The results are applied to obtain some new shape preserving properties of the Meyer-König and Zeller operators.     

Finite element stream function-vorticity solutions of the incompressible Navier-Stokes equations

The incompressible, two-dimensional Navier-Stokes equations are solved by the finite element method (FEM) using a novel stream function/vorticity formulation. The no-slip solid walls boundary condition is applied by taking advantage of the simple implementation of natural boundary conditions in the FEM, eliminating the need for an iterative evaluation of wall vorticity formulae. In addition, with the proper choice of elements, a stable scheme is constructed allowing convergence to be achieved for all Reynolds numbers, from creeping to inviscid flow, without the traditional need for upwinding and its associated false diffusion. Solutions are presented for a variety of geometries.     

混合边界条件下的三维定常 旋转Navier-Stokes方程的原始变量有限元计算

本文利用原始变量有限元法求解混合边界条件下的三维定常旋转Navier-Stokes方程,证明了离散问题解的存在唯一性,得到了有限元解的最优误差估计.给出了求解原始变量有限元逼近解的简单迭代算法,并证明了算法的收敛性.针对三维情况下计算资源的限制,采用压缩的行存储格式存储刚度矩阵的非零元素,并利用不完全的LU分解作预处理的GMRES方法求解线性方程组.最后分析了简单迭代和牛顿迭代的优劣对比,数值算例表明在同样精度下简单迭代更节约计算时间.     

Independent continuous mapping for topological optimization of frame structures

Based on the Independent Continuous Mapping method (ICM), a topological optimization model with continuous topological variables is built by introducing three filter functions for element weight, element allowable stress and element stiffness, which transform the 0-1 type discrete topological variables into continuous topological variables between 0 and 1. Two methods for the filter functions are adopted to avoid the structural singularity and recover falsely deleted elements: the weak material element method and the tiny section element method. Three criteria (no structural singularity, no violated constraints and no change of structural weight) are introduced to judge iteration convergence. These criteria allow finding an appropriate threshold by adjusting a discount factor in the iteration procedure. To improve the efficiency, the original optimization model is transformed into a dual problem according to the dual theory and solved in its dual space. By using MSC/Nastran as the structural solver and MSC/Patran as the developing platform, a topological optimization software of frame structures is accomplished. Numerical examples show that the ICM method is very efficient for the topological optimization of frame structures.The project supported by the National Natural Science Foundation of China (10472003) and Beijing Natural Science Foundation (3042002) The English text was polished by Yunming Chen.