Constraint Logic Programming
Mostrando 1-7 de 7 artigos, teses e dissertações.
-
1. Exploração de paralelismo ou em uma linguagem em lógica com restrições / OR parallelism exploitation in a constraint logic language
Este trabalho a dedicado ao estudo da exploração de paralelismo OU na programação em lógica com restrições em ambientes distribuídos. A programação em lógica, cuja linguagem mais significativa 6 Prolog, tem como premissa a utilização da lógica de predicados como linguagem computacional. A programação em lógica com restrições (CLP) é uma e
Publicado em: 2010
-
2. Component assembly and theorem proving in constraint handling rules
Devido à grande demanda por softwares cada vez mais robustos, complexos e flexÃveis, e, sobretudo, pelo curtÃssimo tempo de entrega exigido, a engenharia de software tem procurado novos meios de desenvolvimento que supram satisfatoriamente essas demandas. Uma forma de galgar esses novos patamares de produtividade provÃm do uso de uma metodologia baseada
Publicado em: 2009
-
3. Um modelo híbrido (CLP-MILP) para scheduling de operações em polidutos
A eficácia na transferência de derivados de petróleo através de dutos motiva a execução deste trabalho. O objetivo principal é a modelagem do scheduling de um poliduto, isto é, um sistema de dutos que transporta diferentes derivados de petróleo. O poliduto em estudo com 93,5 km de extensão conecta uma refinaria a um terminal portuário. Foi desenvo
Pesquisa Operacional. Publicado em: 2008-12
-
4. Objetos Inteligentes Baseados em CLP para Aplicações Científicas
Constraint logic programming (CLP) is a programming language class based on logic programming together with constraint programming. It is derived from general research areas such as artificial intelligence, programming languages, and combinatorial optimization, and has been employed to model and solve many complex real problems. The objective of this work is
Publicado em: 2005
-
5. Problemas de escalonamento no transporte coletivo : programação por restrições e outras tecnicas
This dissertation aimed at studying and solving a real world crew management problem. The problem considered arises from the daily operation of an urban transit bus company that serves the metropolitan area of the city of Belo Horizonte, in Brazil. Due to its intrinsic complexity, the problem is usualIy divided in two distinct subproblems, namely: crew sched
Publicado em: 2000
-
6. Programação em logica, prolog e restriçõs : poder de expressão v.s. eficiencia
An introduction to logic programming is initially presented by means of an evolutionary approach. Starting with a fairly complex first order formal system, the concepts of theorem proving and its automatization are described. From there the idea of proof efficiency is presented. The most significant advances obtained during the 20th century in this area are
Publicado em: 1991
-
7. Constraint Logic Programming approach to protein structure prediction
BioMed Central.