مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

video

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

sound

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Persian Version

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

View:

299
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Download:

129
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Cites:

Information Journal Paper

Title

ON THE LINEARIZATION OF ZINC MODELS

Pages

  1-8

Abstract

 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 way, modellers can examine all solving techniques for their models and see which one gives them the best result. MIP solvers can only accept linear models. Therefore, to map a conceptual model to MIP solvers, the model must be linearized first. In this paper we explain the techniques used in ZINC to linearize high level data structures and expressions which may be appeared in a conceptual model. As a result, modellers can benefit of expressive modelling using nonlinear expressions as well as efficiency of MIP solvers.

Cites

  • No record.
  • References

    Cite

    APA: Copy

    JABERI, NEGAR, & RAFEH, REZA. (2014). ON THE LINEARIZATION OF ZINC MODELS. JOURNAL OF ADVANCES IN COMPUTER RESEARCH, 5(4 (18)), 1-8. SID. https://sid.ir/paper/328778/en

    Vancouver: Copy

    JABERI NEGAR, RAFEH REZA. ON THE LINEARIZATION OF ZINC MODELS. JOURNAL OF ADVANCES IN COMPUTER RESEARCH[Internet]. 2014;5(4 (18)):1-8. Available from: https://sid.ir/paper/328778/en

    IEEE: Copy

    NEGAR JABERI, and REZA RAFEH, “ON THE LINEARIZATION OF ZINC MODELS,” JOURNAL OF ADVANCES IN COMPUTER RESEARCH, vol. 5, no. 4 (18), pp. 1–8, 2014, [Online]. Available: https://sid.ir/paper/328778/en

    Related Journal Papers

  • No record.
  • Related Seminar Papers

  • No record.
  • Related Plans

  • No record.
  • Recommended Workshops






    Move to top
    telegram sharing button
    whatsapp sharing button
    linkedin sharing button
    twitter sharing button
    email sharing button
    email sharing button
    email sharing button
    sharethis sharing button