Heuristics for the 0–1 multidimensional knapsack problem

Two heuristics for the 0–1 multidimensional knapsack problem (MKP) are presented. The first one uses surrogate relaxation, and the relaxed problem is solved via a modified dynamic-programming algorithm. The heuristics provides a feasible solution for (MKP). The second one combines a limited-branch-and-cut-procedure with the previous approach, and tries to improve the bound obtained by exploring some nodes that have been rejected by the modified dynamic-programming algorithm. Computational experiences show that our approaches give better results than the existing heuristics, and thus permit one to obtain a smaller gap between the solution provided and an optimal solution.     

Partitioned treatment of surface-coupled problems with application to the fluid-porous-media interaction

Employing a decoupled solution strategy for the numerical treatment of the set of governing equations describing a surface-coupled phenomenon is a common practice. In this regard, many partitioned solution algorithms have been developed, which usually either belong to the family of Schur-complement methods or to the group of staggered integration schemes. To select a decoupled solution strategy over another is, however, a case-dependent process that should be done with special care. In particular, the performances of the algorithms from the viewpoints of stability and accuracy of the results on the one hand, and the solution speed on the other hand should be investigated. In this contribution, two strategies for a partitioned treatment of the surface-coupled problem of fluid-porous-media interaction (FPMI) are considered. These are one parallel solution algorithm, which is based on the method of localised Lagrange multipliers (LLM), and one sequential solution method, which follows the block-Gauss-Seidel (BGS) integration strategy. In order to investigate the performances of the proposed schemes, an exemplary initial-boundary-value problem is considered and the numerical results obtained by employing the solution algorithms are compared. (© 2016 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

一类带非线性边界条件的拟线性抛物方程的第二初边值问题

利用先验估计的方法讨论具非线性第二边界条件的快扩散方程解的存在性、唯一性、稳定性和渐近性.主要结果是:1)存在唯的整体广义解,解连续依赖于初值;2)存在T₀,t<T₀时解是无穷次可微的正则解;3)当t充分大时,解一致收敛到零.     

Chebyshev and L1 solutions of overdetermined systems of linear equations with bounded variables

Two algorithms are here presented. The first one is for obtaining a Chebyshev solution of an overdetermined system of linear equations subject to bounds on the elements of the solution vector. The second algorithm is for obtaining an L₁ solution of an overdetermined system of linear equations subject to the same constraints. Efficient solutions are obtained using linear programming techniques. Numerical results and comments are given.     

Resonance in a Weakly Nonlinear System with Slowly Varying Parameters

We survey multiple-variable expansion procedures appropriate for nonlinear systems in resonance using the model of two coupled weakly nonlinear oscillators with either constant or slowly varying frequencies. In the autonomous problem we show that an n-variable expansion (where n depends on the order of accuracy desired) yields uniformly valid results. We also consider the problem of passage through resonance for the nonautonomous problem and describe the solution by constructing a sequence of three expansions. The solution before resonance is developed as a generalized multiple-variable expansion and is matched with an inner expansion valid during resonance. This latter is then matched with a postresonance solution and determines it completely. Numerical integrations are used to substantiate the theoretical results. The dominant effect of passage through resonance is shown to be the excitation of a higher-order oscillation beyond resonance. Contrary to the claim in a recent work, the total action of the system does not remain constant if one accounts for the leading perturbation terms in the postresonance solution. Instead, the total action goes from one constant value to another.     

A Note on Algebraic Solutions to Identification

Algebraic methods to establish the identification of structural equation models remain a viable option. However, sometimes it is unclear whether the algebraic solution establishes identification. One example is when there is more than one way to solve for the parameter, but one way leads to a single value and a second way leads to a function with more than one value. This article proves that one explicit and unique solution is sufficient for model identification even when other explicit solutions permit more than one solution. The results are illustrated with an example. The results are useful to attempts to use algebraic means to address model identification.     

Heuristic Procedures for the Capacitated Vehicle Routing Problem

In this paper we present two new heuristic procedures for the Capacitated Vehicle Routing Problem (CVRP). The first one solves the problem from scratch, while the second one uses the information provided by a strong linear relaxation of the original problem. This second algorithm is designed to be used in a branch and cut approach to solve to optimality CVRP instances. In both heuristics, the initial solution is improved using tabu search techniques. Computational results over a set of known instances, most of them with a proved optimal solution, are given.     

The geometrical analysis of a predator-prey model with multi-state dependent impulses

Starting from the practical problems of integrated pest management, we establish a predator-prey model for pest control with multi-state dependent impulsive, which adopts two different control methods for two different thresholds. By applying geometry theory of impulsive differential equations and the successor function, we obtain the existence of order one periodic solution. Then the stability of the order one periodic solution is studied by analogue of the Poincar\''{e} criterion. Finally, some numerical simulations are exerted to show the feasibility of the results.     

On regularity of a weak solution to the Navier–Stokes equation with generalized impermeability boundary conditions

We consider the 3D Navier–Stokes equation with generalized impermeability boundary conditions. As auxiliary results, we prove the local in time existence of a strong solution (‘strong’ in a limited sense) and a theorem on structure. Then, taking advantage of the boundary conditions, we formulate sufficient conditions for regularity up to the boundary of a weak solution by means of requirements on one of the eigenvalues of the rate of deformation tensor. Finally, we apply these general results to the case of an axially symmetric flow with zero angular velocity.     

Boundary value problems for the one-dimensional Willmore equation

The one-dimensional Willmore equation is studied under Navier as well as under Dirichlet boundary conditions. We are interested in smooth graph solutions, since for suitable boundary data, we expect the stable solutions to be among these. In the first part, classical symmetric solutions for symmetric boundary data are studied and closed expressions are deduced. In the Navier case, one has existence of precisely two solutions for boundary data below a suitable threshold, precisely one solution on the threshold and no solution beyond the threshold. This effect reflects that we have a bending point in the corresponding bifurcation diagram and is not due to that we restrict ourselves to graphs. Under Dirichlet boundary conditions we always have existence of precisely one symmetric solution. In the second part, we consider boundary value problems with nonsymmetric data. Solutions are constructed by rotating and rescaling suitable parts of the graph of an explicit symmetric solution. One basic observation for the symmetric case can already be found in Euler’s work. It is one goal of the present paper to make Euler’s observation more accessible and to develop it under the point of view of boundary value problems. Moreover, general existence results are proved.     

<Emphasis Type="Italic">p</Emphasis>-Medians and Multi-Medians

The classical p-median problem is discussed, together with methods for its solution. The multi-median problem, a generalization of the p-median problem in which more than one type of facility is allowed, is introduced and methods of solution developed. Numerical results are presented.     

三阶常系数拟线性泛函微分方程的周期解

研究了一个三阶泛函微分方程周期解的存在唯一性和全局吸引性：x′′′（t）＋ax′′（t）＋bx′（t）＋cx（t）＋g（t,x（tτ））=p（t）.这是一个常系数拟线性泛函微分方程.通过将这个方程转变为三维的拟线性微分方程（组）,得到了这个方程存在唯一周期解的充分条件;通过选取适当的李雅普诺夫函数,推导了这个方程解的全局吸引性;进一步,得到了此方程周期解的全局吸引性.最后,举出了两个应用实例.     

Existence and Attractivity of <Emphasis Type="Italic">k</Emphasis>-Pseudo Almost Automorphic Sequence Solution of a Model of Bidirectional Neural Networks

In this paper we discuss the existence and global attractivity of k-pseudo almost automorphic sequence solution of a model of bidirectional cellular neural networks. We consider the corresponding difference equation analogue of the model system using suitable discretization method and obtain certain conditions for the existence of solution. The k-pseudo almost automorphic sequence solutions generalize the results of pseudo almost periodic, almost periodic and almost automorphic sequences solutions. Moreover the results proved in this paper are new and compliment the existing one.     

A revisit to the bending problem of a thin elliptic aelotropic plate with simply supported edge and uniform lateral load

The complex solution method of Okubo for the deflection of a thin circular aelotropic plate with simply supported edge and uniform lateral load was extended to an elliptic plate by Ohasi. In his work however several inconsistencies appear, of which at least one disqualifies a central part. From a revisit to the works of Okubo and Ohasi a new solution for the deflection of a thin elliptic aelotropic plate with simply supported edge and uniform lateral load emerged. The solution is a generalisation of Okubo’s solution and is valid for any angle between material and geometric principal axes. Previously known solutions, including those for circular plates, are reproduced as special cases of the new solution and results of numerical calculations in new situations appear reasonable.     

A revisit to the bending problem of a thin elliptic aelotropic plate with simply supported edge and uniform lateral load

The complex solution method of Okubo for the deflection of a thin circular aelotropic plate with simply supported edge and uniform lateral load was extended to an elliptic plate by Ohasi. In his work however several inconsistencies appear, of which at least one disqualifies a central part. From a revisit to the works of Okubo and Ohasi a new solution for the deflection of a thin elliptic aelotropic plate with simply supported edge and uniform lateral load emerged. The solution is a generalisation of Okubo’s solution and is valid for any angle between material and geometric principal axes. Previously known solutions, including those for circular plates, are reproduced as special cases of the new solution and results of numerical calculations in new situations appear reasonable.     

Analytical solution to nonlinear oscillation system of the motion of a rigid rod rocking back using max–min approach

This paper used an ideal periodic solution which is called max–min approach (MMA) to evaluate oscillation systems with nonlinearity terms such as motion of a rigid rod rocking back. This method introduces an alternative to overcome the difficulty of computing the periodic behavior of the oscillation problems in engineering. To assess the accuracy of solutions, the results were compared with the exact ones. The most significant features of this method are the simplicity and the excellent agreement with the exact results for the various parameters. Furthermore, the results reveal that one iteration leads to high accuracy of the solution. This solution may be useful for the explanation of some practical physical problems.     

The modified regularization method for identifying the unknown source on Poisson equation

This paper discusses the problem of determining an unknown source which depends only on one variable in two-dimensional Poisson equation from one supplementary temperature measurement at an internal point. The problem is ill-posed in the sense that the solution (if it exists) does not depend continuously on the data. The regularization solution is obtained by the modified regularization method. For the regularization solution, the Hölder type stability estimate between the regularization solution and the exact solution is given. Numerical results are presented to illustrate the accuracy and efficiency of this method.     

An analytical solution for conduction-dominated unidirectional solidification of binary mixtures

In this paper, a fully analytical solution technique is established for the solution of unidirectional, conduction-dominated, alloy solidification problems. By devising appropriate averaging techniques for temperature and phase-fraction gradients, governing equations inside the mushy region are made inherently homogeneous. The above formulation enables one to obtain complete analytical solutions for solid, liquid and mushy regions, without resorting to any numerical iterative procedure. Due considerations are given to account for variable properties and different microscopic models of alloy solidification (namely, equilibrium and non-equilibrium models) in the two-phase domain. The results are tested for the problem of solidification of a NH₄Cl–H₂O solution, and compared with those from existing analytical models as well as with the corresponding results from a fully numerical simulation. The effects of different microscopic models on solidification behaviour are illustrated, and transients in temperature and heat flux distribution are also analysed. A good agreement between the present solutions and results from computational simulation is observed.     

一类拟线性常微分方程的多解

说明一类拟线性特征值问题有两个正解;一个大解,一个小解。同时本也证明小解是一个山路解当参数大时发展成为尖解。     

Existence and Regularity for a Class of Nonlinear Hyperbolic Boundary Value Problems

The regularity of the solution of the telegraph system with nonlinear monotone boundary conditions is investigated by two methods. The first one is based on D'Alembert-type representation formulae for the solution. In the second method the telegraph system is reduced to a linear Cauchy problem with a locally Lipschitzian functional perturbation; then regularity results are established by appealing to the theory of linear semigroups.