The Modelling Language Zinc
نویسندگان
چکیده
We describe the Zinc modelling language. Zinc provides set constraints, user defined types, constrained types, and polymorphic predicates and functions. The last allows Zinc to be readily extended to different application domains by user-defined libraries. Zinc is designed to support a modelling methodology in which the same conceptual model can be automatically mapped into different design models, thus allowing modellers to easily “plug and play” with different solving techniques and so choose the most appropriate for that problem.
منابع مشابه
From Zinc to Design Model
We describe a preliminary implementation of the high-level modelling language Zinc. This language supports a modelling methodology in which the same Zinc model can be automatically mapped into different design models, thus allowing modellers to easily “plug and play” with different solving techniques and so choose the most appropriate for that problem. Currently, mappings to three very differen...
متن کاملThe Many Roads Leading to Rome: Solving Zinc Models by Various Solvers
Zinc is a solver-independent modelling language designed to support very high level modelling and easy experimentation with different solving technologies for the same problem. In this position paper we illustrate the many ways in which we can reformulate and solve a Zinc model using various solving technologies.
متن کاملTowards the new modelling language Zinc
Combinatorial optimization problems are usually tackled in two steps: modelling and solving. Three main approaches are used for solving: Mathematical Methods (MM), Constraint Programming (CP) and Local Search (LS). For modelling the main tools are constraint programming languages, constraint programming libraries and (mathematical) modelling languages. Modelling languages provide the best appro...
متن کاملModelling of Adsorption of Zinc and Silver Ions on Analcime and Modified Analcime Zeolites Using Central Composite Design
In this study, Response Surface Methodology (RSM) using Central Composite Design (CCD) was employed to optimize the conditions of independent variables (adsorption time and ion solution concentration) for the removal of Zinc (II) and Ag ions from the aqueous solutions using analcime and modified analcime zeolites (Fe-ANA and Ni-ANA) as efficient and low cost adsor...
متن کاملData Independent Type Reduction for Zinc
Zinc is a high-level constraint modelling language with support for decision variables of complex types. Current constraint solvers only support decision variables of a subset of the types Zinc offers. Therefore, these variables and the constraints that involve them need to be reduced to a form that is supported by the target solvers. In this paper, we show how to reduce the type of decision va...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006