The 0-1 Knapsack problem with a single continuous variable

Specifically we investigate the polyhedral structure of the knapsack problem with a single continuous variable, called the mixed 0-1 knapsack problem. First different classes of facet-defining inequalities are derived based on restriction and lifting. The order of lifting, particularly of the continuous variable, plays an important role. Secondly we show that the flow cover inequalities derived for the single node flow set, consisting of arc flows into and out of a single node with binary variable lower and upper bounds on each arc, can be obtained from valid inequalities for the mixed 0-1 knapsack problem. Thus the separation heuristic we derive for mixed knapsack sets can also be used to derive cuts for more general mixed 0-1 constraints. Initial computational results on a variety of problems are presented. Received May 22, 1997 / Revised version received December 22, 1997 Published online November 24, 1998     

Valid inequalities for MIPs and group polyhedra from approximate liftings

In this paper, we present an approximate lifting scheme to derive valid inequalities for general mixed integer programs and for the group problem. This scheme uses superadditive functions as the building block of integer and continuous lifting procedures. It yields a simple derivation of new and known families of cuts that correspond to extreme inequalities for group problems. This new approximate lifting approach is constructive and potentially efficient in computation. J.-P. P. Richard was supported by NSF grant DMI-348611.     

Categorical Abstract Algebraic Logic: Structurality,protoalgebraicity, and correspondence

The notion of an ? ‐matrix as a model of a given π ‐institution ? is introduced. The main difference from the approach followed so far in Categorical Abstract Algebraic Logic (CAAL) and the one adopted here is that an ? ‐matrix is considered modulo the entire class of morphisms from the underlying N ‐algebraic system of ? into its own underlying algebraic system, rather than modulo a single fixed (N,N ′)‐logical morphism. The motivation for introducing ? ‐matrices comes from a desire to formulate a correspondence property for N ‐protoalgebraic π ‐institutions closer in spirit to the one for sentential logics than that considered in CAAL before. As a result, in the previously established hierarchy of syntactically protoalgebraic π ‐institutions, i. e., those with an implication system, and of protoalgebraic π ‐institutions, i. e., those with a monotone Leibniz operator, the present paper interjects the class of those π ‐institutions with the correspondence property, as applied to ? ‐matrices. Moreover, this work on ? ‐matrices enables us to prove many results pertaining to the local deduction‐detachment theorems, paralleling classical results in Abstract Algebraic Logic formulated, first, by Czelakowski and Blok and Pigozzi. Those results will appear in a sequel to this paper. (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Deformation Techniques for Sparse Systems

We exhibit a probabilistic symbolic algorithm for solving zero-dimensional sparse systems. Our algorithm combines a symbolic homotopy procedure, based on a flat deformation of a certain morphism of affine varieties, with the polyhedral deformation of Huber and Sturmfels. The complexity of our algorithm is cubic in the size of the combinatorial structure of the input system. This size is mainly represented by the cardinality and mixed volume of Newton polytopes of the input polynomials and an arithmetic analogue of the mixed volume associated to the deformations under consideration. Research was partially supported by the following grants: UBACyT X112 (2004–2007), UBACyT X847 (2006–2009), PIP CONICET 2461, PIP CONICET 5852/05, ANPCyT PICT 2005 17-33018, UNGS 30/3005, MTM2004-01167 (2004–2007), MTM2007-62799 and CIC 2007–2008.     

基于中值滤波和提升小波分析的图像去噪方法研究

针对现有算法大多对单一高斯噪声或脉冲噪声进行图像滤波的问题,在对二维图像平滑去噪的过程中,采用基于中值滤波和提升小波变换相结合的图像去噪方法。在中值滤波基础上,构造基于脉冲检测的中值滤波器,找出混合噪声中脉冲噪声并进行滤波;与此同时,对原始小波进行提升,构造提升小波,然后采用提升小波阈值去噪方法抑制高斯噪声。实验结果表明:采用本文方法,混合噪声得到有效抑制,去噪效果好。     

电动桥式起重机负载升降过程的系统动力学模拟

从系统的角度考虑电动桥式起重机起升机构工作过程中的动力学模拟问题。首先,由系统的拉格朗日函数、约束条件和电机的磁共能定义修正的拉格朗日函数;随后,应用Hamilton原理和三相感应电机瞬态模型得出起升机构工作过程中电动桥式起重机系统的运动方程。为验证模型的效果,本文还进行了转子串电阻速度控制系统控制下的32t电动桥式起重机吊运额定负载下降过程的数值模拟,分析了高速浮动轴扭转刚度以及制动过程中转子电阻的配置方案对系统动力响应的影响。模拟结果表明,制动过程中起升机构高速浮动轴所受载荷远大于起动过程中所受载荷,制动开始时在电机转子电路中增加一级较大的外串电阻有利于减小下降制动阶段系统中的动载。     

Three-dimensional simulation of a dust lifting process with varying parameters

This article presents modelling considerations and simulation results for a dust lifting process in a three-dimensional domain. The Eulerian–Lagrangian modelling technique is used. Multiple simulations with different values for the number of particles were performed. The results of the simulations are shown as snapshots of particle position at certain points in time after the passage of a shock wave. Statistical data for the particle positions and collisions are presented. These are: the average height of the particles, the mean square displacement of the particles and the cumulative number of recorded collisions plotted as functions of time. The particle averaged kinetic energy and the mechanical energy lost by particles during collisions are recorded as functions of time in order to study the motion of particles. The results show that simulations of an increasing number of particles render a less intense lifting effect and, more importantly, that the inter-particle and particle–wall collisions represent essential phenomena and need to be included in this type of model. Also, a comparison between two-dimensional and three-dimensional simulations was performed. It was found that, although 2D simulations are still useful, they overestimate the lifting process and therefore a 3D model is preferable. The influence of the magnitude of the restitution and friction coefficients on the process was also studied.     

Multifibrations. A Class of Shape Fibrations with the Path Lifting Property

In this paper we introduce a class of maps possessing a multivalued homotopy lifting property with respect to every topological space. We call these maps multifibrations and they represent a formally stronger concept than that of shape fibration. Multifibrations have the interesting property of being characterized in a completely intrinsic way by a path lifting property involving only the total and the base space of the fibration. We also show that multifibrations (and also, with some restrictions, shape fibrations) have a lifting property for homotopies of fine multivalued maps. This implies, when the spaces considered are metric compacta, that the possibility of lifting a fine multivalued map is a property of the corresponding strong shape morphism and not of the particular map considered.     

整立电杆三点吊最优吊点的研究分析

根据输电线路中杆塔施工的实际工程需要,主要研究分析了整立电杆三点吊最优吊点的确定方法,建立了整体电杆三点吊的数学模型,编制了微机软件,解决了整体电杆三点吊方案设计中的难题。     

改进型单晶炉提拉系统偏心平衡研究

随着光伏行业的快速发展, 对硅单晶的品质和长晶装备的稳定性的要求也不断提高。直拉法是生产硅单晶的主要方法,通过提高单晶炉副室的高度以扩大单晶硅的生产规模。由于副室高度的大幅增加,且单晶炉提拉头质心相对于旋转轴心有一定距离,对单晶炉整体稳定性有较大影响,从而降低了单晶硅的生产质量。针对此问题,对单晶炉建立可靠的力学分析模型,采用数值仿真方法,对单晶炉整体进行动力学响应分析,计算得到副室高度增加后的单晶炉工作时中钨丝绳下端晶棒的运动规律以及最大摆动幅度,为改进设计提供依据。数值仿真分析表明提高单晶炉副室高度后,提拉头较大的质心偏心是单晶炉提拉系统发生摆动的主要原因。在此基础上提出在提拉头上添加质心调节装置,通过控制系统调节可保证提拉头质心位置在旋转轴线上以降低提拉系统的摆动。