Spectral estimates for saddle point matrices arising in weak constraint four‐dimensional variational data assimilation

We consider the large sparse symmetric linear systems of equations that arise in the solution of weak constraint four‐dimensional variational data assimilation, a method of high interest for numerical weather prediction. These systems can be written as saddle point systems with a 3 × 3 block structure but block eliminations can be performed to reduce them to saddle point systems with a 2 × 2 block structure, or further to symmetric positive definite systems. In this article, we analyse how sensitive the spectra of these matrices are to the number of observations of the underlying dynamical system. We also obtain bounds on the eigenvalues of the matrices. Numerical experiments are used to confirm the theoretical analysis and bounds.     

建筑物地基处理的设计与施工探讨

以具体工程为例，介绍了建筑物地基处理的设计、施工中遵循的原则，施工中遇到特殊情况时采取的处理方法和必要的检测方法，对几种桩基的设计要求、施工工艺及过程、质量控制等情况进行了简单阐述。     

高校非计算机专业计算机基础课程改革之浅见

在全面调查现行高校计算机基础课程教学特点的基础上，按照知识形成的四个层次，结合学生的实际特点，制定了切实可行的教学改革方案，使学生根据自己的实际情况，选择灵活、可行的学习方法自主学习，体现了因材施教的思想，为高校计算机教学的改革做出了有益的探索。     

弱相互作用下原子的玻色-爱因斯坦凝聚

从理论上分析提出了弱相互作用下Bose体系的BEC理论，并由此来解释液^4He的超流性。通过深入对比理想Bose气体和弱相互作用下Bose体系发生BEC性质的不同，分析得出了凝聚体系粒子间相互作用的有无是导致二者性质不同的主要原因。     

Banach空间二阶非线性微分方程的弱Carathéodory解

本文定义了二阶微分方程的弱 Carathéodory解 ,在不涉及紧型条件的情形下 ,直接用迭代法证明了 Banach空间二阶非线性常微分方程两点边值问题存在唯一解 ,并给出逼近解迭代序列的误差估计 ,对周期边值问题得到类似的结果     

Kthe-Bochner空间的凸性(英文)

本文利用Kothe函数空间的性质以及Kothe函数空间与Kothe-Bochner空间的关系,讨论了Kothe-Bochner空间E(X)的凸性,主要结果如下: (a)给出E(X)的端点的充分条件,得到了E(X)严格凸的判据,相应地推广了Lp(μ,X) 以及Lφ(X)的结果; (b)讨论了E(X)的弱局部一致凸和局部完全k-凸; (c)刻画了E(X)的强凸,给出了F(X)强凸的充要条件．     

超高层建筑-18.7m的深基坑施工优化

介绍了深达 18.7m的基坑围护措施 ,对超高层建筑深基坑支护结构与施工技术进行优化     

On one generalization of a DiPerna and Majda theorem

The weak limits of sequences {f(u^ν)}_ν∈? where u^ν's are vector‐valued µ‐measurable functions defined on a compact set Ω and f is (possibly) discontinuous are investigated. As shown by the author (J. Conv. Anal. (to appear)), they are described in terms of integral formulae involving parametrized measures independent of f, similarly as in the classical theorem by Young and its generalization due to DiPerna and Majda. In the present paper we describe the supports of the involved parametrized measures. Copyright © 2006 John Wiley & Sons, Ltd.     

K(o)the-Bochner空间的凸性

本文利用K(o)the函数空间的性质以及K(o)the函数空间与K(o)the-Bochner空间的关系,讨论了K(o)the-Bochner空间E(X)的凸性,主要结果如下:(a)给出E(X)的端点的充分条件,得到了E(X)严格凸的判据,相应地推广了Lp(μ,X)以及LΦ(X)的结果;(b)讨论了E(X)的弱局部一致凸和局部完全k-凸;(c)刻画了E(X)的强凸,给出了E(X)强凸的充要条件.     

On fixed point and almost fixed point problems of lower semicontinuous type multivalued mappings

In the present paper, some new almost fixed point theorems and fixed point theorems for lower semicontinuous type multivalued mappings are obtained in metrizable H-spaces.