Variational Inequalities and Applications to a Continuum Model of Transportation Network with Capacity Constraints

A continuum model of transportation network is considered in presence of capacity constraints on the flow. The equilibrium conditions are expressed in terms of a Variational Inequality for which an existence theorem is provided.     

A unified theory for coherent systems in reliability I. A generalization for some classic theory: Monotone binary coherent systems

Binary coherent system theory has played an important part in reliability. Its extension to (‘degradable’ or ‘multistate’ or) multinary systems has recently been considered in various papers, through various definitions. This paper lays the foundations of a unified theory for coherent systems by first giving unified arguments to apply and to investigate further binary and multinary systems. Monotone binary systems are introduced and examined by generalizing classic deterministic and probabilistic results. Applications of monotone coherence to the multinary case are proposed in a companion paper with a unified viewpoint on multinary coherent systems. As an indication, monotone constraints are defined with a partition of the component set and some total orderings imposed on the elements of the concerned partition. The discrete partition retrieves the classic theory of (free) binary coherent systems; some constraints defined from component levels lead to multinary coherent systems; some other constraints apply to systems submitted to some ‘common stresses’, e.g. the organizing system of a monotone coherent decomposition.     

Time-space integrable decompositions of nonlinear evolution equations

Separation of the time and space variables of evolution equations is analyzed, without using any structure associated with evolution equations. The resulting theory provides techniques for constructing time-space integrable decompositions of evolution equations, which transform an evolution equation into two compatible Liouville integrable ordinary differential equations in the time and space variables. The techniques are applied to the KdV, MKdV and diffusion equations, thereby yielding several new time-space integrable decompositions of these equations.     

The principle of virtual work in mechanical and electromechanical systems

Summary The principle of virtual work is applied to electromechanical systems as the foundation of a unifying concept for modelling mechatronical systems. After the presentation of an important result in the field of mechanics, the expansion of the principle on electrical networks and electromechanical systems is shown. The use of the principle of virtual work in the domain of electromechanics yields an analogous form to the central equation of mechanics which is valid for holonomic and nonholonomic systems. The electrotechnical part of the system is confined to networks. The derivation of the mathematical model is demonstrated on the example of a simple electromechanical oscillation circuit. In addition, the physical systems are separately treated, taking into account the explicit constraints on the basis of the Lagrangian multiplier method.     

Cutting and Surrogate Constraint Analysis for Improved Multidimensional Knapsack Solutions

We use surrogate analysis and constraint pairing in multidimensional knapsack problems to fix some variables to zero and to separate the rest into two groups – those that tend to be zero and those that tend to be one, in an optimal integer solution. Using an initial feasible integer solution, we generate logic cuts based on our analysis before solving the problem with branch and bound. Computational testing, including the set of problems in the OR-library and our own set of difficult problems, shows our approach helps to solve difficult problems in a reasonable amount of time and, in most cases, with a fewer number of nodes in the search tree than leading commercial software.     

Energy and Quadratic Invariants Preserving Methods for Hamiltonian Systems with Holonomic Constraints

We introduce a new class of parametrized structure--preserving partitioned Runge-Kutta ($\alpha$-PRK) methods for Hamiltonian systems with holonomic constraints. The methods are symplectic for any fixed scalar parameter $\alpha$, and are reduced to the usual symplectic PRK methods like Shake-Rattle method or PRK schemes based on Lobatto IIIA-IIIB pairs when $\alpha=0$. We provide a new variational formulation for symplectic PRK schemes and use it to prove that the $\alpha$-PRK methods can preserve the quadratic invariants for Hamiltonian systems subject to holonomic constraints. Meanwhile, for any given consistent initial values $(p_{0}, q_0)$ and small step size $h>0$, it is proved that there exists $\alpha^*=\alpha(h, p_0, q_0)$ such that the Hamiltonian energy can also be exactly preserved at each step. Based on this, we propose some energy and quadratic invariants preserving $\alpha$-PRK methods. These $\alpha$-PRK methods are shown to have the same convergence rate as the usual PRK methods and perform very well in various numerical experiments.     

Two-Phase Image Segmentation by Nonconvex Nonsmooth Models with Convergent Alternating Minimization Algorithms

Two-phase image segmentation is a fundamental task to partition an image into foreground and background. In this paper, two types of nonconvex and nonsmooth regularization models are proposed for basic two-phase segmentation. They extend the convex regularization on the characteristic function on the image domain to the nonconvex case, which are able to better obtain piecewise constant regions with neat boundaries. By analyzing the proposed non-Lipschitz model, we combine the proximal alternating minimization framework with support shrinkage and linearization strategies to design our algorithm. This leads to two alternating strongly convex subproblems which can be easily solved. Similarly, we present an algorithm without support shrinkage operation for the nonconvex Lipschitz case. Using the Kurdyka-Łojasiewicz property of the objective function, we prove that the limit point of the generated sequence is a critical point of the original nonconvex nonsmooth problem. Numerical experiments and comparisons illustrate the effectiveness of our method in two-phase image segmentation.     

Terminal constrained robust hybrid iterative learning model predictive control for complex time-delayed batch processes

This work mainly addresses terminal constrained robust hybrid iterative learning model predictive control against time delay and uncertainties in a class of complex batch processes with input and output constraints. In this work, an equivalently novel extended two-dimensional switched system is first constructed to represent the process model by introducing state difference, output error and new relaxation variable information. Then, a hybrid predictive updating controller is proposed and an optimal performance index function including terminal constraints is designed. Under the condition that the switching signal meets certain conditions, the solvable problem of model predictive control is realized by Lyapunov stability theory. Meanwhile, the design scheme of controller parameters is also given. In addition, the robust constraint set is adopted to overcome the disadvantage that the traditional asymptotic stability cannot converge to the origin when it involves disturbances, such that the system state converges to the constraint set and meets its expected value. Finally, the effectiveness of the proposed algorithm is verified by controlling the speed and pressure parameters of the injection molding process.     

Equivalence Theorems on the Propagation of Small-Amplitude Waves in Prestressed Linearly Elastic Materials with Internal Constraints

By extending the procedure of linearization for constrained elastic materials in the papers by Marlow and Chadwick et al., we set up a linearized theory of constrained materials with initial stress (not necessarily based on a nonlinear theory). The conditions of propagation are characterized for small-displacement waves that may be either of discontinuity type of any given order or, in the homogeneous case, plane progressive. We see that, just as in the unconstrained case, the laws of propagation of discontinuity waves are the same as those of progressive waves. Waves are classified as mixed, kinematic, or ghost. Then we prove that the analogues of Truesdell"s two equivalence theorems on wave propagation in finite elasticity hold for each type of wave. This revised version was published online in August 2006 with corrections to the Cover Date.     

具有区域极点约束的柔性梁鲁棒H∞振动主动控制

本文基于H∞控制理论研究了传感器和作动器非同位配置情况下,柔性悬臂梁的多模态振动抑制问题。采用频域辨识方法获取低阶名义模型,合理选取加性不确定权函数和性能权函数,将鲁棒H∞控制问题转化为标准H∞控制问题。为了避免H∞控制器设计过程中产生的零极点对消问题,在求解过程中引入区域极点约束。比较了鲁棒H∞控制器和不考虑高阶未建模动态的非鲁棒H∞控制器的控制效果,实验结果表明,设计的鲁棒H∞控制器能够有效抑制柔性梁的前三阶模态振动,而且不会发生溢出问题。