New heuristics for over-constrained flight to gate assignments

We consider the over-constrained Airport Gate Assignment Problem where the number of flights exceed the number of gates available, and where the objectives are to minimize the number of ungated flights and the total walking distances. The problem is formulated as a binary quadratic programming problem. We design a greedy algorithm and use a Tabu Search meta-heuristic to solve the problem. The greedy algorithm minimizes ungated flights while we devise a new neighbourhood search technique, the Interval Exchange Move, which allows us flexibility in seeking good solutions, especially when flight schedules are dense in time. Experiments conducted give good results.     

Dynamic boundary stabilization of a Reissner–Mindlin plate with Timoshenko beam

This paper is concerned with well‐posedness results for a mathematical model for the transversal vibrations of a two‐dimensional hybrid elastic structure consisting of a rectangular Reissner–Mindlin plate with a Timoshenko beam attached to its free edge. The model incorporates linear dynamic feedback controls along the interface between the plate and the beam. Classical semigroup methods are employed to show the unique solvability of the coupled initial‐boundary‐value problem. We also show that the energy associated with the system exhibits the property of strong stability. Copyright © 2004 John Wiley & Sons, Ltd.     

Mean curvature flows and isotopy of maps between spheres

Let f be a smooth map between unit spheres of possibly different dimensions. We prove the global existence and convergence of the mean curvature flow of the graph of f under various conditions. A corollary is that any area‐decreasing map between unit spheres (of possibly different dimensions) is isotopic to a constant map. © 2004 Wiley Periodicals, Inc.     

A note on the necessary conditions for the algebraic Riccati equation

We derive some useful and easily computable necessary conditionsfor the existence of a positive semi-definite solution to thealgebraic Ricatti equation (ARE). A motivating example is givento highlight the usefulness of the conditions for controllerand observer designs for nonlinear systems. Further, an upperbound on the trace of the solution to the ARE is also derived.     

Nowhere zero 4‐flow in regular matroids

Jensen and Toft 8 conjectured that every 2‐edge‐connected graph without a K₅‐minor has a nowhere zero 4‐flow. Walton and Welsh 19 proved that if a coloopless regular matroid M does not have a minor in {M(K_3,3), M*(K₅)}, then M admits a nowhere zero 4‐flow. In this note, we prove that if a coloopless regular matroid M does not have a minor in {M(K₅), M*(K₅)}, then M admits a nowhere zero 4‐flow. Our result implies the Jensen and Toft conjecture. © 2005 Wiley Periodicals, Inc. J Graph Theory     

The Classification and Realization of Complete Lie Algebras with Commutative Nilpotent Radicals

in this paper, the classification and realization of complete Lie algebras withcommutative nilpotent radicals are given. From this, some results on the radicals of thesecomplete Lie algebras are obtained.     

量子计算与超冷离子

通过介绍量子计算的基本概念和特点，并对比目前人们使用的计算机的计算方式，对于如何利用囚禁在离子阱中的超冷离子进行量子计算作了简要的叙述．     

Banach空间上的框架与Riesz基

本文讨论Banach空间上框架、无冗框架与Riesz基之间的关系及它们的稳定性．