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.