A Library for Linearizing Zinc Models

Rafeh, Reza and Negar, Jaberi (2016) A Library for Linearizing Zinc Models. Iranian Journal of Science and Technology Transaction of Eclectrical Engineering, 40 . pp. 63-73. ISSN 1028-6276

Full text not available from this repository.

Official URL: http://www.springer.com/engineering/journal/40995

Abstract or Summary

Zinc is a modeling language in which a conceptual model is automatically mapped into different design models using well-known solving techniques: constraint programming, mathematical methods, and local search. As a result, Zinc is solver and technique independent. Since original conceptual models may be nonlinear, mapping to linear solvers requires the models to be linearized first. In this paper, we introduce LinZinc, a new library for Zinc which includes necessary functions to linearize high-level data structures and expressions in Zinc models. The interesting point is that, thanks to the extensibility of Zinc, LinZinc is written in Zinc itself instead of being implemented in the compiler. We have used LinZinc for linearizing a set of well-known nonlinear models. The experimental results show that on the one hand, there is no significant overhead in linearizing models and, on the other hand, the linearized models are sometimes faster than the original models. Using the proposed approach, Zinc users can implement their own linearizing techniques without any need to change the language and without being anxious about the mapping overhead.

Item Type:Journal article
Keywords that describe the item: Linear programming, Zinc, Solver independence, LinZinc, Linearization techniques
Subjects:Q Science > QA Mathematics
Divisions:Schools > Centre for Business, Information Technology and Enterprise > School of Information Technology
ID Code:4634
Deposited By:
Deposited On:10 Nov 2016 23:19
Last Modified:19 Dec 2018 23:58

Repository Staff Only: item control page