Mostrar el registro sencillo del ítem
Ponencia
Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells
dc.creator | Martínez Gasca, Rafael | es |
dc.creator | Ortega Ramírez, Juan Antonio | es |
dc.creator | Toro Bonilla, Miguel | es |
dc.date.accessioned | 2017-11-03T10:23:17Z | |
dc.date.available | 2017-11-03T10:23:17Z | |
dc.date.issued | 2001 | |
dc.identifier.citation | Martínez Gasca, R., Ortega Ramírez, J.A. y Toro Bonilla, M. (2001). Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells. En CP 2001: 7th International Conference on Principles and Practice of Constraint Programming (595-599), Paphos, Cyprus: Springer. | |
dc.identifier.isbn | 978-3-540-42863-3 | es |
dc.identifier.issn | 0302-9743 | es |
dc.identifier.uri | http://hdl.handle.net/11441/65633 | |
dc.description.abstract | Configuration tasks are an important application area in engineering design. The proposed solving techniques use either a constraintbased framework or a logic-based approach. We propose a methodology to obtains desired configuration using basic configuration cells(BCC). They are built by means of the predefined components and connections of the given configuration problem. In practical applications of configuration tasks the BCCs and configuration goals are represented according to object-oriented programming paradigm. They are mapped into a numeric constraint satisfaction problem. The transformation of a basic configuration cell into a new one generates a sequence of numeric constraint satisfaction problems. We propose an algorithm that solves this sequence of problems in order to obtain a configuration solution according to the desired requirements or that detects inconsistencies in the requirements. The integration of objectoriented and constraint programming paradigms allows us to achieve a synergy that produces results that could not be obtained if each one were working individually. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Springer | es |
dc.relation.ispartof | CP 2001: 7th International Conference on Principles and Practice of Constraint Programming (2001), p 595-599 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.publisherversion | https://link.springer.com/chapter/10.1007/3-540-45578-7_46 | es |
dc.identifier.doi | 10.1007/3-540-45578-7_46 | es |
idus.format.extent | 5 | es |
dc.publication.initialPage | 595 | es |
dc.publication.endPage | 599 | es |
dc.eventtitle | CP 2001: 7th International Conference on Principles and Practice of Constraint Programming | es |
dc.eventinstitution | Paphos, Cyprus | es |
dc.relation.publicationplace | Berlin | es |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Structural Constraint-Based ... | 410.8Kb | [PDF] | Ver/ | |