线性规划的一种表上作业法

根据目标函数的梯度向量在可行域内低维界面上的投影,给出线性规划逐维选优（强多项式）算法的表上作业法,并且用若干具体实例详细描述了表上作业法。     

Application of robust color composite fringe in flip-chip solder bump 3-D measurement

This study developed a 3-D measurement system based on flip-chip solder bump, used fringes with different modulation intensities in color channels, in order to produce color composite fringe with robustness, and proposed a multi-channel composite phase unwrapping algorithm, which uses fringe modulation weights of different channels to recombine the phase information for better measurement accuracy and stability. The experimental results showed that the average measurement accuracy is 0.43μm and the standard deviation is 1.38 µm. The results thus proved that the proposed 3-D measurement system is effective in measuring a plane with a height of 50 μm. In the flip-chip solder bump measuring experiment, different fringe modulation configurations were tested to overcome the problem of reflective coefficient between the flip-chip base board and the solder bump. The proposed system has a good measurement results and robust stability in the solder bump measurement, and can be used for the measurement of 3-D information for micron flip-chip solder bump application.     

Improvement of the recursive projection method for linear iterative scheme stabilization based on an approximate eigenvalue problem

An algorithm for stabilizing linear iterative schemes is developed in this study. The recursive projection method is applied in order to stabilize divergent numerical algorithms. A criterion for selecting the divergent subspace of the iteration matrix with an approximate eigenvalue problem is introduced. The performance of the present algorithm is investigated in terms of storage requirements and CPU costs and is compared to the original Krylov criterion. Theoretical results on the divergent subspace selection accuracy are established. The method is then applied to the resolution of the linear advection–diffusion equation and to a sensitivity analysis for a turbulent transonic flow in the context of aerodynamic shape optimization. Numerical experiments demonstrate better robustness and faster convergence properties of the stabilization algorithm with the new criterion based on the approximate eigenvalue problem. This criterion requires only slight additional operations and memory which vanish in the limit of large linear systems.     

Coleman自同构群的投射极限

在这篇注记中,利用群的投射极限性质给出了有限可解群的Coleman自同构群的一个具体构造.作为应用,证明了二面体群的Coleman外自同构群或者是1或者是一个初等阿贝尔2-群.     

193nm光刻曝光系统的现状及发展

投影曝光工艺是集成电路制造过程中的关键环节,曝光系统的工艺水平已成为衡量微电子制造技术的重要标志。重点介绍了目前193 nm光刻设备曝光系统的发展现状和趋势,以及为提高曝光质量所采用的相关分辨率增强技术;通过分析曝光系统的构成和其中的关键技术,探讨了国内研制相关曝光设备所面临的挑战。     

图像形态相关系数一般问题的研究

在将图像视为分片函数及分片向量函数的表示形式下,通过图像强度和几何形状两个因素描述图像特征,研究了图像的相似性度量问题.采用标准空间作为投影空间,探讨了分片函数及分片向量函数图像模式下投影算子及形态相关系数建立的方法,所得到的结果推广了Mosaic图像相关系数的表示形式.对分片向量函数所表示的图像形态相关系数的研究结果则更具一般性.     

Finite element computations of viscoelastic two-phase flows using local projection stabilization

A three-field local projection stabilized (LPS) finite element method is developed for computations of a three-dimensional axisymmetric buoyancy driven liquid drop rising in a liquid column where one of the liquid is viscoelastic. The two-phase flow is described by the time-dependent incompressible Navier-Stokes equations, whereas the viscoelasticity is modeled by the Giesekus constitutive equation in a time-dependent domain. The arbitrary Lagrangian-Eulerian (ALE) formulation with finite elements is used to solve the governing equations in the time-dependent domain. Interface-resolved moving meshes in ALE allows to incorporate the interfacial tension force and jumps in the material parameters accurately. A one-level LPS based on an enriched approximation space and a discontinuous projection space is used to stabilize the numerical scheme. A comprehensive numerical investigation is performed for a Newtonian drop rising in a viscoelastic fluid column and a viscoelastic drop rising in a Newtonian fluid column. The influence of the viscosity ratio, Newtonian solvent ratio, Giesekus mobility factor, and the Eötvös number on the drop dynamics are analyzed. The numerical study shows that beyond a critical Capillary number, a Newtonian drop rising in a viscoelastic fluid column experiences an extended trailing edge with a cusp-like shape and also exhibits a negative wake phenomena. However, a viscoelastic drop rising in a Newtonian fluid column develops an indentation around the rear stagnation point with a dimpled shape.     

Approximate solutions of the Liouville equation. III. Variational principles and projection operators

Aspects of stationary variational principles for the Laplace-transformed Liouville equation are discussed. Projection techniques are used to derive new stationary principles applicable to the space orthogonal to the space spanned by functions occurring in the conservation laws. As a result, any trial function automatically leads to results satisfying the conservation laws. The procedure is also applied to the parity-even and parity-odd distributions which obey equations governed by the square of the Liouville operator. The technique is extended to eliminate the one-body additive contribution to the solution exactly. Finally, the ideas of the moment method, which leads to the continued-fraction representation of autocorrelation functions, are applied to variational principles. We find continued-fraction variational principles such that a zero trial function yields the usual representation. However, a trial function representing noninteracting particles contains the results of the moment method and in addition yields the exact analytic behavior for free particles.Work supported by a grant from the National Science Foundation.     

用于光谱解混的正交向量投影算法

光谱解混是高光谱技术中的关键部分,对地物成分的定量分析至关重要。线性光谱解混方法在计算端元丰度时,大多需要涉及矩阵求逆或方阵行列式的计算,导致软件实现的计算复杂度高,且硬件实现困难。同时,当端元数量增加时,算法的计算量也会随之呈指数级快速增长。论文基于传统的正交子空间投影方法,利用正交原理,提出了一种新的光谱解混方法——正交向量投影。该方法首先利用Gram-Schmidt过程计算每个端元的最终正交向量分量,并将其作为代表端元的投影向量。然后对于任意的待解混光谱向量,直接将其投影到该正交向量上。最后,计算得到投影分量的长度与正交向量的长度比,即为该正交向量所代表端元的无约束丰度。该过程避免了正交子空间投影和最小方差方法中计算复杂、实现困难的矩阵求逆运算,更便于并行计算的设计和硬件实现。通过理论的推导分析,证明了该算法与正交子空间投影和最小方差方法是完全一致的。另外,由于算法避免了矩阵相乘和求逆运算,简化了解混过程,通过对不同算法复杂度的具体分析,也证明该算法相对其他算法可以对端元数量降低一个量级。最后,在模拟数据和实际图像上分别进行实验测试,结果的分析和比较,也说明了算法的有效性。     

Subtractive Categories

We introduce a notion of a subtractive category. It generalizes the notion of a pointed subtractive variety of universal algebras in the sense of A. Ursini. Subtractive categories are closely related to Mal’tsev and additive categories: (i) a category C with finite limits is a Mal’tsev category if and only if for every object X in C the category Pt(X)=((X,1_X)↓(C↓X)) of “points over X” is subtractive; (ii) a pointed category C with finite limits is additive if and only if C is subtractive and half-additive.Mathematics Subject Classifications (2000) 18C99, 18E05, 08B05.