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
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/98758
Ver los metadatos del registro completo
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 |