zinc is the first modelling language which supports solver and technique independence. this means that a high level conceptual model can be automatically mapped into an appropriate low level design model for a specific solver or technique. to date, zinc uses three different techniques to solve a model: constraint programming (cp), local search (ls), and mixed integer programming (mip). in this ...

In the modern high-performance transceivers, mixers (both upand down-converters) are required to have large dynamic range in order to meet the system specifications. The lower end of the dynamic range is indicated by the noise floor which tells how small a signal may be processed while the high end is determined by the non-linearity which causes distortion, compression and saturation of the sig...

In industrial applications multi-channel data acquisition and logging is of prime importance for process monitoring and control. In such situations linearization of the non-linear responses obtained from multichannel data acquisition systems is of prime importance for precise monitoring and control. Although various techniques have been developed for sensor linearization, real time multi channe...

This paper presents a study of linear control systems based on exact feedback linearization and approximate feedback linearization. As exact feedback linearization is applied, a linear controller can perform the control objectives. The approximate feedback linearization is required when a nonlinear system presents a noninvolutive property. It uses a Taylor series expansion in order to compute a...

In this paper, we are interested in linearization techniques for exact resolution of the Unconstrained Quadratic (0-1) Problem. Our purpose is to propose ”economical” linear formulations. We first extend the current techniques in a general linearization framework containing many other schemes and propose a new linear formulation. Numerical results comparing classical, Glover’s and the new linea...

The paper deals with a problem of linearization of multi-output logic functions. Specifically, the case is discussed, when the functions have a large number of variables and cannot be efficiently linearized by using known techniques. For solution of the problem a socalled piecewise linearization is proposed. The piecewise linearization comprises decomposition of an initial multi-output function...