Recursive state estimation for hybrid systems

The paper deals with recursive state estimation for hybrid systems. An unobservable state of such systems is changed both in a continuous and a discrete way. Fast and efficient online estimation of hybrid system state is desired in many application areas. The presented paper proposes to look at this problem via Bayesian filtering in the factorized (decomposed) form. General recursive solution is proposed as the probability density function, updated entry-wise. The paper summarizes general factorized filter specialized for (i) normal state-space models; (ii) multinomial state-space models with discrete observations; and (iii) hybrid systems. Illustrative experiments and comparison with one of the counterparts are provided.     

Local branching

The availability of effective exact or heuristic solution methods for general Mixed-Integer Programs (MIPs) is of paramount importance for practical applications. In the present paper we investigate the use of a generic MIP solver as a black-box ``tactical' tool to explore effectively suitable solution subspaces defined and controlled at a ``strategic' level by a simple external branching framework. The procedure is in the spirit of well-known local search metaheuristics, but the neighborhoods are obtained through the introduction in the MIP model of completely general linear inequalities called local branching cuts. The new solution strategy is exact in nature, though it is designed to improve the heuristic behavior of the MIP solver at hand. It alternates high-level strategic branchings to define the solution neighborhoods, and low-level tactical branchings to explore them. The result is a completely general scheme aimed at favoring early updatings of the incumbent solution, hence producing high-quality solutions at early stages of the computation. The method is analyzed computationally on a large class of very difficult MIP problems by using the state-of-the-art commercial software ILOG-Cplex 7.0 as the black-box tactical MIP solver. For these instances, most of which cannot be solved to proven optimality in a reasonable time, the new method exhibits consistently an improved heuristic performance: in 23 out of 29 cases, the MIP solver produced significantly better incumbent solutions when driven by the local branching paradigm. Mathematics Subject Classification (2000):90C06, 90C10, 90C11, 90C27, 90C59     

Review and complements on mixed-hybrid finite element methods for fluid flows

Mixed and hybrid finite element methods for the resolution of a wide range of linear and nonlinear boundary value problems (linear elasticity, Stokes problem, Navier–Stokes equations, Boussinesq equations, etc.) have known a great development in the last few years. These methods allow simultaneous computation of the original variable and its gradient, both of them being equally accurate. Moreover, they have local conservation properties (conservation of the mass and the momentum) as in the finite volume methods.The purpose of this paper is to give a review on some mixed finite elements developed recently for the resolution of Stokes and Navier–Stokes equations, and the linear elasticity problem. Further developments for a quasi-Newtonian flow obeying the power law are presented.     

CRITERION FOR SL（2,Z）－MATRIX TO BE CONJUGATE TO ITS INVERSE

This paper gives a necessary and sufficient condition for a matrix in SL(2, Z) to be conjugate to its inverse. This condition reduces the determination of the conjugation to solving some indeterminate equation of second degree. It yields an algorithm to determine this conjugation in finite steps based on the elementary number theory.     

Conjugate gradient method for dual-dual mixed formulations

We deal with the iterative solution of linear systems arising from so-called dual-dual mixed finite element formulations. The linear systems are of a two-fold saddle point structure; they are indefinite and ill-conditioned. We define a special inner product that makes matrices of the two-fold saddle point structure, after a specific transformation, symmetric and positive definite. Therefore, the conjugate gradient method with this special inner product can be used as iterative solver. For a model problem, we propose a preconditioner which leads to a bounded number of CG-iterations. Numerical experiments for our model problem confirming the theoretical results are also reported.

     

SEMI-GLOBAL $C^1$ SOLUTION TO THE MIXED INITIAL-BOUNDARY VALUE PROBLEM FOR QUASILINEAR HYPERBOLIC SYSTEMS

By means of an equivalent invariant form of boundary conditions, the authors get the existence and uniqueness of semi-global C^1 solution to the mixed initial-boundary value problem for quasilinear hyperbolic systems with general nonlinear boundary conditions.     

基于Lagrange乘子法的一种二阶椭圆问题混合元格式

本文利用Lagrange乘子法的思想,修改了传统的混合变分形式,将二阶椭圆问题转化为与其等价的新的变分形工,给出了针对该新形式进行离散求解的一种混合元格式,与现在已知格式相比,用较少的自由度获得了较高的逼近阶。     

最小范数二次无偏估计与最小方差二次无偏估计的关系

本文给出了当V0 ≥ 0时 ,c′σ2 在混合模型M =( y ,Xβ ,Uξ,σ20 V0 )下的最小范数二次无偏估计的表达式及其证明 ;得到了当 y服从正态分布时 ,c′σ2 的最小范数二次无偏估计与其最小方差二次无偏估计之间的关系。     

部分线性模型的随机约束岭估计

研究了部分线性回归模型附加有随机约束条件时的估计问题.基于Profile最小二乘方法和混合估计方法提出了参数分量随机约束下的Profile混合估计,并研究了其性质.为了克服共线性问题,构造了参数分量的Profile混合岭估计,并给出了估计量的偏和方差.     

Improved linear multi-step methods for stochastic ordinary differential equations

We consider linear multi-step methods for stochastic ordinary differential equations and study their convergence properties for problems with small noise or additive noise. We present schemes where the drift part is approximated by well-known methods for deterministic ordinary differential equations. In previous work, we considered Maruyama-type schemes, where only the increments of the driving Wiener process are used to discretize the diffusion part. Here, we suggest the improvement of the discretization of the diffusion part by also taking into account mixed classical-stochastic integrals. We show that the relation of the applied step sizes to the smallness of the noise is essential in deciding whether the new methods are worthwhile. Simulation results illustrate the theoretical findings.