A new residual-based stabilized finite element method is analyzed for solving the Stokes equations in terms of velocity and pressure, where the $H^{−1}$ norm is introduced in the measurement of the residuals to obtain a symmetric positive definite (SPD) method. The $H^{−1}$ norm is computable and can be always easily realized offline by the continuous linear finite element solution or the preconditioned counterpart of the Poisson Dirichlet problem. Although the $H^{−1}$ norm is computed in the linear element space, no matter what the finite element spaces for the velocity and the pressure are, optimal error bounds can be established when using continuous finite element pairs $R_l$−$R_m$ for velocity and pressure for any $l, m\ge 1$. Numerical experiments are performed to confirm the theoretical results obtained.

We prove the dynamical Mordell-Lang conjecture for birational polynomial morphisms on A^2.

Using canonical 1-parameter family of Hermitian connections on the tangent bundle, we provide invariant solutions to the Strominger system on certain complex Lie groups and their quotients. Both flat and non-flat cases are discussed in detail. This paper answers a question proposed by Andreas and Garcia-Fernandez in Comm Math Phys 332(3):13811383, 2014.

In this paper, we formulate a problem of simultaneous redundant via insertion and line end extension for via yield optimization. Our problem is more general than previous works in the sense that more than one type of line end extension is considered and the objective function to be optimized directly accounts for via yield. We present a zero-one integer linear program based approach, that is equipped with two speedup techniques, to solve the addressed problem optimally. In addition, we describe how to modify our approach to exactly solve a previous work. Extensive experimental results are shown to demonstrate the effectiveness and efficiency of our approaches.

No abstract uploaded!