A constructive characterization of the split closure of a mixed integer linear program

Two independent proofs of the polyhedrality of the split closure of mixed integer linear program have been previously presented. Unfortunately neither of these proofs is constructive. In this paper, we present a constructive version of this proof. We also show that split cuts dominate a family of inequalities introduced by Köppe and Weismantel.     

The uv-Decomposition on a Class of D.C. Functions and Optimality Conditions

In this paper,the UV-theory and P-differential calculus are employed to study second-order ex-pansion of a class of D.C.functions and minimization problems.Under certain conditions,some properties ofthe U-Lagrangian,the second-order expansion of this class of functions along some trajectories are formulated.Some first and second order optimality conditions for the class of D.C.optimization problems are given.     

Continuous dependence on the geometry and on the initial time for a class of parabolic problems I

In this paper, we investigate the continuous dependence on the geometry and the initial time for solutions u( x , t) of a class of nonlinear parabolic initial‐boundary value problems. Copyright © 2007 John Wiley & Sons, Ltd.     

Nonlinear optical properties of regioregular main‐chain polyesters

We have prepared new polyesters containing quadratic, nonlinear optical (NLO) active chromophores covalently incorporated into the main chain. In these polymers, the sequence of the chromophore units along the main chain is rigorously head to tail. All the polyesters are processable, both in the melt and in solution. For one polyester, a full second‐order NLO characterization has been performed. An out‐of‐resonance d₃₃ coefficient of 21 pm/V at 1368 nm has been measured. © 2007 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 45: 2719–2725, 2007     

Induced focusing and conversion of a Gaussian beam into an elliptic Gaussian beam

We have presented an investigation of the induced focusing in Kerr media of two laser beams, the pump beam and the probe beam, which could be either Gaussian or elliptic Gaussian or a combination of the two. We have used variational formalism to derive relevant beam-width equations. Among several important findings, the finding that a very week probe beam can be guided and focused when power of both beams are well below their individual threshold for self-focusing, is a noteworthy one. It has been found that induced focusing is not possible for laser beams of any wavelength and beam radius. In case both beams are elliptic Gaussian, we have shown that when power of both beams is above a certain threshold value then the effective radius of both beams collapses and collapse distance depends on power. Moreover, it has been found that induced focusing can be employed to convert a circular Gaussian beam into an elliptic Gaussian beam.     

SUN5500小型机MPI编程与蕴式并行计算的实现方法

基于SUN5500小型计算机并行开发环境，给出了消息传递模型和蕴式行模型的实现方法，通过实例分析了SUNMPI实际编程，并对选取不同模型有不同参数的运算时间进行了比较，结果表明，在SUN5500计算机上MPI模型和蕴式并行模型均能较大地提高运算速度，而且MPI在灵活性和并行程度方面更优。     

基于正弦灰度变换的X光图像增强

介绍了灰度变换法的几种形式 ,提出了一种正弦非线性变换法 ,对三幅数字X光医学图像进行了处理 ,获得了令人满意的对比度增强效果 ,证明该方法有效而实用     

On the stability of some integer programming algorithms

In the present paper we develop our approach for studying the stability of integer programming problems. We prove that the L-class enumeration method is stable on integer linear programming problems in the case of bounded relaxation sets [9]. The stability of some cutting plane algorithms is discussed.     

A generic view of Dantzig-Wolfe decomposition in mixed integer programming

The Dantzig-Wolfe reformulation principle is presented based on the concept of generating sets. The use of generating sets allows for an easy extension to mixed integer programming. Moreover, it provides a unifying framework for viewing various column generation practices, such as relaxing or tightening the column generation subproblem and introducing stabilization techniques.     

Integration and propagation of a multi-criteria decision making model in constraint programming

In this paper we propose a general integration scheme for a Multi-Criteria Decision Making model of the Multi-Attribute Utility Theory in Constraint Programming. We introduce the Choquet integral as a general aggregation function for multi-criteria optimization problems and define the Choquet global constraint that propagates this function during the Branch-and-Bound search. Finally the benefits of the propagation of the Choquet constraint are evaluated on the examination timetabling problem.