金属薄膜制备及物性测量系列实验

介绍了由模拟真空实验和“金属薄膜的制备”、“金属薄膜厚度的测量”、“金属薄膜电阻率的测量”,以及“金属薄膜生长过程的动态监测”等4个实验组成的金属薄膜制备与物性测量系列实验.这组实验与现代科学技术发展联系紧密,仪器设备可靠,操作简单,适合于普通物理实验阶段的研究性教学.     

A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Global and uniform convergence of subspace correction methods for some convex optimization problems

This paper gives some global and uniform convergence estimates for a class of subspace correction (based on space decomposition) iterative methods applied to some unconstrained convex optimization problems. Some multigrid and domain decomposition methods are also discussed as special examples for solving some nonlinear elliptic boundary value problems.

     

满足Solow条件的矩阵的性质

讨论了满足 Solow条件矩阵的几个性质 ,并给出了与此相关的经济意义 .     

非线性奇异边值问题的正解

利用锥映射的不动点指数定量，研究了一类非线性奇异边值问题多个正解的存在性问题。在构造的解的存在条件之下，证明了奇异边值问题至少有两个正解的存在性定理。     

Reductions of interval nonlinear programming problem

A general nonlinear programming problem with interval functions is considered. Two reductions of this problem to the deterministic nonlinear programming problem are proposed, and illustrative examples are discussed.     

基于旋转描述的三维几何造型方法

提出了一种能用凸四边形表示并可作平面展开的三维实体造型的设计方法。该方法用旋转描述表把二维平面展开图和三维实体联系起来，模拟人工折叠过程，由二维平面展开图逐次旋转变换完成三维造型重建。造型重建后，再通过纹理映射将平面设计图案映射到实体的各个面上，完成对实体着色渲染，生成具有真实感的三维实体。     

一致Banach空间中非扩张映象的弱收敛定理

设犈是一致凸Ｂａｎａｃｈ空间，满足Ｏｐｉａｌ条件或具有Ｆｒｅｃｈｅｔ可微范数，犆是犈的非空闭凸子集，且犜：犆→犆是非扩张映象．又设对任何初始数据狓１ ∈犆，序列｛狓狀｝由下列修改了的Ｉｓｈｉｋａｗａ迭代程序生成：狓狀＋１ ＝狋狀犜狀（狊狀犜狀狓狀＋ （１－狊狀）狓狀）＋ （１－狋狀）狓狀，　狀≥１， （Ｉ）其中，数列｛狋狀｝与｛狊狀｝满足下列条件（ｉ）和（ｉｉ）之一：（ｉ）狋狀∈ ［犪，犫］且狊狀∈ ［０，犫］；（ｉｉ）狋狀∈ ［犪，１］且狊狀∈ ［犪，犫］，这里，常数犪，犫满足０＜犪≤犫＜１．作者证明了，犜有不动点的充要条件是，｛狓狀｝ 弱收敛且｛‖狓狀－犜狓狀‖｝收敛到０．而且，由此即知，若犜有不动点，则｛狓狀｝弱收敛到犜的一个不动点．     

夫琅禾费衍射公式的一般形式

从不同的途径导出了大角度情形下亦成立的夫琅禾费衍射积分的一般形式，指出此一般形式公式是求解夫琅禾费衍射的基本公式．并通过对夫琅禾费衍射公式的级数形式的推导，揭示了傅里叶光学中“夫琅禾费衍射公式”与一般形式公式存在的差别，以及消除这种差别的措施．此外，还较详细地讨论了倾斜因子对衍射花样的影响．这对于衍射测量及深入理解夫琅禾费衍射的本质有一定的指导意义．     

凸序列不等式的控制证明

利用控制不等式理论简洁地证明了一类凸序列不等式 (包括著名的 Nanson不等式的几个推广 ) ,并给出若干应用 .