Modeling issues and implementation of language for disjunctive programming

Autores
Vecchietti, Aldo; Grossmann, Ignacio E.
Año de publicación
2000
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
This paper describes a number of key modeling issues for the development of tools for solving nonlinear discrete/continuous problems where logic/disjunctive constraints are included in the formulation. A generalized hybrid representation of these problems is presented. A comparison between Constraint logic programming (CLP) and generalized disjunctive programming (GDP) is established together with several constraint transformations from CLP to GDP. The components and expressions of a modeling language for setting up disjunctions and logic constraints are proposed. The language allows the specification of problems with complex logic formulations. A parser is developed for the analysis and translation of the logic sentences into files ready to be used by the solvers. An overview of the solution algorithms is also given together with several aspects about the implementation as a superset of GAMS mathematical programming language. Examples illustrating the capabilities of the proposed system are described.
Fil: Vecchietti, Aldo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Desarrollo y Diseño. Universidad Tecnológica Nacional. Facultad Regional Santa Fe. Instituto de Desarrollo y Diseño; Argentina
Fil: Grossmann, Ignacio E.. University of Carnegie Mellon; Estados Unidos
Materia
CONSTRAINT LOGIC PROGRAMMING
GENERALIZED DISJUNCTIVE PROGRAMMING
MIXED-INTEGER NONLINEAR PROGRAMMING
MODELING LANGUAGE
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/98758

id CONICETDig_beba5698e0142b2afb0c5a7f85bcdf8c
oai_identifier_str oai:ri.conicet.gov.ar:11336/98758
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Modeling issues and implementation of language for disjunctive programmingVecchietti, AldoGrossmann, Ignacio E.CONSTRAINT LOGIC PROGRAMMINGGENERALIZED DISJUNCTIVE PROGRAMMINGMIXED-INTEGER NONLINEAR PROGRAMMINGMODELING LANGUAGEhttps://purl.org/becyt/ford/2.4https://purl.org/becyt/ford/2This paper describes a number of key modeling issues for the development of tools for solving nonlinear discrete/continuous problems where logic/disjunctive constraints are included in the formulation. A generalized hybrid representation of these problems is presented. A comparison between Constraint logic programming (CLP) and generalized disjunctive programming (GDP) is established together with several constraint transformations from CLP to GDP. The components and expressions of a modeling language for setting up disjunctions and logic constraints are proposed. The language allows the specification of problems with complex logic formulations. A parser is developed for the analysis and translation of the logic sentences into files ready to be used by the solvers. An overview of the solution algorithms is also given together with several aspects about the implementation as a superset of GAMS mathematical programming language. Examples illustrating the capabilities of the proposed system are described.Fil: Vecchietti, Aldo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Desarrollo y Diseño. Universidad Tecnológica Nacional. Facultad Regional Santa Fe. Instituto de Desarrollo y Diseño; ArgentinaFil: Grossmann, Ignacio E.. University of Carnegie Mellon; Estados UnidosPergamon-Elsevier Science Ltd2000-10info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/98758Vecchietti, Aldo; Grossmann, Ignacio E.; Modeling issues and implementation of language for disjunctive programming; Pergamon-Elsevier Science Ltd; Computers and Chemical Engineering; 24; 9-10; 10-2000; 2143-21550098-1354CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/doi/10.1016/S0098-1354(00)00582-2info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-03T10:01:00Zoai:ri.conicet.gov.ar:11336/98758instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-03 10:01:00.996CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Modeling issues and implementation of language for disjunctive programming
title Modeling issues and implementation of language for disjunctive programming
spellingShingle Modeling issues and implementation of language for disjunctive programming
Vecchietti, Aldo
CONSTRAINT LOGIC PROGRAMMING
GENERALIZED DISJUNCTIVE PROGRAMMING
MIXED-INTEGER NONLINEAR PROGRAMMING
MODELING LANGUAGE
title_short Modeling issues and implementation of language for disjunctive programming
title_full Modeling issues and implementation of language for disjunctive programming
title_fullStr Modeling issues and implementation of language for disjunctive programming
title_full_unstemmed Modeling issues and implementation of language for disjunctive programming
title_sort Modeling issues and implementation of language for disjunctive programming
dc.creator.none.fl_str_mv Vecchietti, Aldo
Grossmann, Ignacio E.
author Vecchietti, Aldo
author_facet Vecchietti, Aldo
Grossmann, Ignacio E.
author_role author
author2 Grossmann, Ignacio E.
author2_role author
dc.subject.none.fl_str_mv CONSTRAINT LOGIC PROGRAMMING
GENERALIZED DISJUNCTIVE PROGRAMMING
MIXED-INTEGER NONLINEAR PROGRAMMING
MODELING LANGUAGE
topic CONSTRAINT LOGIC PROGRAMMING
GENERALIZED DISJUNCTIVE PROGRAMMING
MIXED-INTEGER NONLINEAR PROGRAMMING
MODELING LANGUAGE
purl_subject.fl_str_mv https://purl.org/becyt/ford/2.4
https://purl.org/becyt/ford/2
dc.description.none.fl_txt_mv This paper describes a number of key modeling issues for the development of tools for solving nonlinear discrete/continuous problems where logic/disjunctive constraints are included in the formulation. A generalized hybrid representation of these problems is presented. A comparison between Constraint logic programming (CLP) and generalized disjunctive programming (GDP) is established together with several constraint transformations from CLP to GDP. The components and expressions of a modeling language for setting up disjunctions and logic constraints are proposed. The language allows the specification of problems with complex logic formulations. A parser is developed for the analysis and translation of the logic sentences into files ready to be used by the solvers. An overview of the solution algorithms is also given together with several aspects about the implementation as a superset of GAMS mathematical programming language. Examples illustrating the capabilities of the proposed system are described.
Fil: Vecchietti, Aldo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Desarrollo y Diseño. Universidad Tecnológica Nacional. Facultad Regional Santa Fe. Instituto de Desarrollo y Diseño; Argentina
Fil: Grossmann, Ignacio E.. University of Carnegie Mellon; Estados Unidos
description This paper describes a number of key modeling issues for the development of tools for solving nonlinear discrete/continuous problems where logic/disjunctive constraints are included in the formulation. A generalized hybrid representation of these problems is presented. A comparison between Constraint logic programming (CLP) and generalized disjunctive programming (GDP) is established together with several constraint transformations from CLP to GDP. The components and expressions of a modeling language for setting up disjunctions and logic constraints are proposed. The language allows the specification of problems with complex logic formulations. A parser is developed for the analysis and translation of the logic sentences into files ready to be used by the solvers. An overview of the solution algorithms is also given together with several aspects about the implementation as a superset of GAMS mathematical programming language. Examples illustrating the capabilities of the proposed system are described.
publishDate 2000
dc.date.none.fl_str_mv 2000-10
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/98758
Vecchietti, Aldo; Grossmann, Ignacio E.; Modeling issues and implementation of language for disjunctive programming; Pergamon-Elsevier Science Ltd; Computers and Chemical Engineering; 24; 9-10; 10-2000; 2143-2155
0098-1354
CONICET Digital
CONICET
url http://hdl.handle.net/11336/98758
identifier_str_mv Vecchietti, Aldo; Grossmann, Ignacio E.; Modeling issues and implementation of language for disjunctive programming; Pergamon-Elsevier Science Ltd; Computers and Chemical Engineering; 24; 9-10; 10-2000; 2143-2155
0098-1354
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/doi/10.1016/S0098-1354(00)00582-2
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Pergamon-Elsevier Science Ltd
publisher.none.fl_str_mv Pergamon-Elsevier Science Ltd
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1842269671006404608
score 13.13397