Two local search approaches for solving real-life car sequencing problems

The NP-hard problem of car sequencing appears as the heart of the logistic process of many car manufacturers. The subject of the ROADEF’2005 challenge addressed a car sequencing problem proposed by the car manufacturer RENAULT, more complex than the academic problem generally addressed in the literature. This paper describes two local search approaches for this problem. In the first part, a new approach by very large-scale neighborhood search is presented. This approach, designed during the qualification stage preceding the final, is based on an original integer linear programming formulation. The second part is dedicated to the approach which enabled us to win the ROADEF’2005 challenge. Inspired by the latest works on the subject, this one is based on very fast explorations of small neighborhoods. Our contribution here is mainly algorithmic, in particular by showing how much exploiting invariants speeds up the neighborhood evaluation and contributes to the diversification of the search. Finally, the two approaches are compared and discussed through an extensive computational study on RENAULT’s benchmarks. The main conclusion drawn at this point is that sophisticated metaheuristics are useless to solve car sequencing problems. More generally, our victory on ROADEF’2005 challenge demonstrates that algorithmic aspects, sometimes neglected, remain the key ingredients for designing and engineering high-performance local search heuristics.     

基于稀疏活动轮廓模型的感兴趣目标检测定位算法

传统的基于形状信息目标定位的算法,对目标观测角度发生形变情况下的定位存在不少困难,针对该问题,提出了一种基于稀疏活动轮廓模型的感兴趣目标(OOI)检测算法.首先通过共同勾画算法学习到感兴趣目标的稀疏活动轮廓模型,它能够清晰地定义感兴趣目标模式;同时构成该模型的Gabor轮廓基元可以通过扰动进行局部的调整以适配图像,在一...     

多模跟踪技术在轮式侦察车图像处理器的应用

为解决目标旋转形变、遮挡、光照变化等目标跟踪的难题,对粒子滤波和尺度不变特征变换（SIFT）算法进行了改进,结合两种算法提出了决策主导模式的多模跟踪技术。该技术采用粒子滤波预测目标位置进行粗定位,SIFT特征匹配进行精定位的方法,在解决上述难题上有很好的鲁棒性。将该技术应用于轮式侦察车图像处理器,并进行了各种实验验证,结果证明了提出算法的有效性。     

Shared Values of Certain Nonlinear Differential Polynomials of Meromorphic Functions

In this paper,by using the idea of truncated counting functions of meromorphic functions,we deal with the problem of uniqueness of the meromorphic functions whose certain nonlinear differential polynomials share one finite nonzero value.     

The Value Distribution and Normality Criteria of a Class of Meromorphic Functions

In this article, we use Zalcman Lemma to investigate the normal family of meromorphic functions concerning shared values, which improves some earlier related results.     

Entire functions sharing one small function CM with their shifts and difference operators

In this article, we mainly devote to proving uniqueness results for entire functions sharing one small function CM with their shift and difference operator simultaneously. Let f(z) be a nonconstant entire function of finite order, c be a nonzero finite complex constant,and n be a positive integer. If f(z), f(z + c), and ?_c~n f(z) share 0 CM, then f(z + c) ≡ Af(z),where A(= 0) is a complex constant. Moreover, let a(z), b(z)( ≡ 0) ∈ S(f) be periodic entire functions with period c and if f(z)-a(z), f(z + c)-a(z), ?_c~n f(z)-b(z) share 0 CM, then f(z + c) ≡ f(z).     

Resource constraint scheduling with a fractional shared resource

We consider a scheduling problem motivated by mining in remote off-grid areas. In this model, mines have pre-assigned mineral processing jobs and their own machine for executing these jobs. Each job also needs a certain amount of electricity in order to get completed. The electricity, on the other hand, is of limited supply and must be shared between the mines. We present a mathematical formulation of the problem and a Lagrangian relaxation based heuristic. Computational results which compares our heuristic with genetic algorithm and simulated annealing are also presented.     

Uniqueness of entire functions sharing one value

We deal with the problem of entire functions sharing one value weakly. Moreover, we improve and generalize some former results obtained by J.-F.Chen, et al. [6], Y.Xu and H.L.Qiu [4], M.L. Fang [5], C.C. Yang, and X.H. Hua [3].     

一个微分方程的解及其应用

本文利用Gundersen的方法研究了一个线性微分方程的解并证明此方程的每一个整函数解的级必为无穷,推广了Gundersen和杨连中的若干结果。作为应用,我们还研究了与导数具有公共不动点的整函数.     

亚纯函数的正规族与分担值

根据Nevanlinna理论讨论了一族亚纯函数中每个函数与其k(k为任一正整数)阶导数单向分担3个有限复值时的正规性,并举例说明这一结果是精确的.