Efficient algebraic multigrid for migration–diffusion–convection–reaction systems arising in electrochemical simulations

The article discusses components and performance of an algebraic multigrid (AMG) preconditioner for the fully coupled multi-ion transport and reaction model (MITReM) with nonlinear boundary conditions, important for electrochemical modeling. The governing partial differential equations (PDEs) are discretized in space by a combined finite element and residual distribution method. Solution of the discrete system is obtained by means of a Newton-based nonlinear solver, and an AMG-preconditioned BICGSTAB Krylov linear solver. The presented AMG preconditioner is based on so-called point-based classical AMG. The linear solver is compared to a standard direct and several one-level iterative solvers for a range of geometries and chemical systems with scientific and industrial relevance. The results indicate that point-based AMG methods, carefully designed, are an attractive alternative to more commonly employed numerical methods for the simulation of complex electrochemical processes.     

α-三Ⅰ约束问题的形式解

提出了α-三Ⅰ约束问题,并在逻辑系统L~*和Luk中给出了这些问题的形式解,建立了这两个逻辑系统中三Ⅰ约束算法的形式推理机制,为α-三Ⅰ约束算法建立了严格的理论基础。     

“Product Partition” and related problems of scheduling and systems reliability: Computational complexity and approximation

Problem Product Partition differs from the NP-complete problem Partition in that the addition operation is replaced by the multiplication operation. Furthermore it differs from the NP-complete problem Subset Product in that it does not contain the product value B in its input. We prove that problem Product Partition and several of its modifications are NP-complete in the strong sense. Our results imply the strong NP-hardness of a number of scheduling problems with start-time-dependent job processing times and a problem of designing a reliable system with a series–parallel structure. It should be noticed that the strong NP-hardness of the considered optimization problems does not preclude the existence of a fully polynomial time approximation scheme (FPTAS) for them. We present a simple FPTAS for one of these problems.     

新型傅里叶变换光谱仪反射镜倾斜容限分析及实验

采用微机电系统微镜阵列和倾斜反射镜替代传统傅里叶变换光谱仪的动镜系统,提出一种基于微机电系统微镜阵列的新型傅里叶变换光谱仪.介绍了该光谱仪的工作原理,分析了倾斜反射镜倾斜角度的容限范围,并搭建了实验系统,进行了实验验证.理论推导表明:在近红外区域,反射镜倾角理论最大值为0.52°,光谱分辨率达到8 nm;在可见光区域,反射镜倾角理论最大值0.183°,光谱分辨率达到3 nm.选取可见光源488 nm激光器进行的实验验证结果表明:在倾角容限范围之内,光谱能准确还原;反之,光谱严重失真.最终,采用复色光源进一步实验验证了理论分析的正确性.     

Analysis of the Solvability of Linear Vibration Models

In this article we consider a general linear vibration problem in variational form. Models for the vibration of systems of elastic bodies can be written in this form. We show how properties of the damping term determines the time differentiability of the solution and establish classes of permissible initial conditions. The proofs are based on a direct link between the variational form and an abstract differential equation.     

Infinite Quasimonotone Systems of Ordinary Differential Equations with Applications to Stochastic Processes

We deal with the initial value problem for countably infinite linear systems of ordinary differential equations of the form y '( t ) = A ( t ) y ( t ) where A ( t ) = ( a ij ( t ): i , j S 1) is a measurable, infinite and essentially positive matrix, i.e., a ij ( t ) S 0 for i p j . The main novelty of our approach is the systematic use of a classical comparison theorem for finite linear systems which leads easily to the existence of a nonnegative minimal solution and its properties. Application to generalized stochastic birth and death processes produces criteria for honest and dishonest probability distributions. A short proof of the Kolmogorov and Chapman-Kolmogorov equations for stochastic processes follows. The results hold for L 1 -coefficients. Our method extends to nonlinear infinite systems of quasimonotone type and can be used for numerical procedures that yield exact results; cf. the Addendum.     

Differential Inequalities Applied to The Stochastic Birth and Death Process

We describe an approach to a countably infinite system of ordinary differential equations belonging to the theory of the stochastic birth and death process. The main novelty in our method is the systematic use of a classical theorem on sub- and supersolutions for finite linear systems of the form y '( t ) = Ay ( t ). It leads in a simple way to the minimal solution and some of its properties. For convenience a proof of the theorem is given at the end.     

Frequency and Magnitude Response Design Approximation Problems for Nonlinear-phase Nonrecursive Digital Filters

In this article special (possibly constrained) problems of linear and nonlinear complex approximation are studied with respect to the existence and uniqueness of solutions and the convergence of the approximation errors, where the errors are measured by an arbitrary L p and l p norm respectively. The problems arise in connection with the frequency and magnitude response approximation at the design of nonrecursive digital filters in the frequency domain. Two main results of the article concern the completeness of the functions exp ( m ik y ), k = 0,1,2,… , with respect to a certain space of continuous functions. These results imply that, under usual assumptions and with increasing number of approximating functions exp ( m ik y ), the errors in the frequency and magnitude response approximation problems converge to zero when the design region is not the total interval [0, ~ ] (in case of real coefficients) and not [ m ~ , ~ ] (in case of complex coefficients) which is given for the majority of filter design problems, but that the frequency response errors may not converge to zero when the design region equals [0, ~ ] or [ m ~ , ~ ] respectively.     

On Detecting Solutions of Polynomial Nonlinear Difference Equations

In this paper a method for discovering solutions of nonlinear polynomial difference equations is presented. It is based on the concepts of i -operator and star-product. These notions create a proper algebraic background by means of which we can find linear equations "included" into the original nonlinear one and to seek for solutions among them. A corresponding algorithm and some examples are also provided.     

Necessary and sufficient conditions for robust global asymptotic stabilization of discrete-time systems

We give Lyapunov-like conditions for non-uniform in time output stabilization of discrete-time systems. Particularly, it is proved that for a discrete-time control system there exists a (continuous) output stabilizing feedback if and only if there exists a (strong) output control Lyapunov function (OCLF). Moreover, strategies for the construction of continuous robust feedback stabilizers are presented.