Jacop.

Uma biblioteca fácil de usar, fornecendo tecnologia de programação de restrição
Baixe Agora

Jacop. Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • Freeware
  • Nome do editor:
  • Osolpro
  • Sistemas operacionais:
  • Windows All
  • Tamanho do arquivo:
  • 758 KB

Jacop. Tag


Jacop. Descrição

O JACOP é componente baseado em Java que ajudará os desenvolvedores em seu trabalho. Se você é um pesquisador, descobrirá que Jacop é uma ferramenta fácil de usar, fácil de se estender para se adequar às suas necessidades específicas, bem como bastante eficiente para realmente resolver grandes problemas com a ajuda de Jacópio. O JACOP foi usado para pesquisa que aplica apenas a tecnologia CP, bem como para pesquisa no próprio campo CP. Se a ferramenta como Jacop estava disponível no momento do meu PhD, faria meu PhD 1-2 anos antes. Você deve usar as ferramentas disponíveis para sua vantagem. Se você estiver trabalhando em aspecto importante da tecnologia CP, podemos até mesmo dedicar nosso tempo livre para ajudá-lo a implementar a funcionalidade em Jacópio, por isso mantemos o estado-da-arte de Jacop. Se você é engenheiro de software, escrevendo um software, descobrirá que o JACOP como qualquer solucionador de programação de restrição fornece a capacidade de modelar o problema em questão, bem como avaliar o número de diferentes abordagens de pesquisa para encontrar um eficiente. Use a riqueza do conhecimento codificada dentro de restrições para aumentar o poder de raciocínio / resolução de sua solução de software. Há um número de pessoas que podem atuar como consultores para ajudá-lo a aplicar a tecnologia CP na forma de Jacópio dentro do seu projeto. Sinta-se à vontade para anunciar suas necessidades para obter ajuda em Jacoptwiki. O JACOP fornece um número significativo de restrições para facilitar a modelagem, bem como o design modular de busca para facilitar a adaptação de busca às características do problema que está sendo abordada. Atualmente, é mais de 60.000 linhas de código, não incluindo exemplos e código de teste. Existem mais de 20.000 linhas de código explicando como modelar e resolver problemas diversos. Temos trabalhado em Jacópio nos últimos 8 anos durante o nosso tempo livre como atividade de hobby. Foi refatorado, transformado, melhorado muitas vezes. As versões iniciais do JACOP eram provavelmente até 3 ordens de magnitude mais lentamente que a versão atual. O JACOP fornece uma grande biblioteca de exemplos, bem como extensa documentação de API Java. Temos casos de uso de Jacop por jovens na idade do ensino médio. A tecnologia CP não é fácil de usar, pelo menos, tentámos fazer o uso de JACOP tão fácil quanto poderíamos. Sinta-se à vontade para nos ajudar a fazer Jacop ainda mais fácil / intuitivo de usar. Por favor, envie-nos seus exemplos, nós os refatores se necessário e incluí-lo com outros exemplos. Criar um solucionador é um processo, no momento em que começamos, temos ficado apenas frustrados usuários iniciantes da CP Technology que estavam lutando com solvers de fontes fechadas para aplicar a tecnologia CP eficientemente. Aprendemos uma grande quantidade de engenharia de software durante esses anos. O desenvolvimento de Jacop foi impulsionado por três prioridades - facilidade de uso, facilidade de manutenção e eficiência. Há um número de solucionadores disponíveis, cada um é especial e cada um deles pode ser útil. Aqui, você tem mais uma escolha para escolher. Cada solucionador é diferente, pois aplicativos solisores impõem diferentes requisitos e efetuar algumas otimizações não possíveis. O JACOP facilita as adições de restrição durante a pesquisa e o extenso controle sobre o comportamento interno do solucionador. Quase todos os aspectos do solucionador podem ser ajustados. É necessário se um solver deve ser usado em pesquisa quando as coisas pequenas se importam e podem fazer sua técnica correr muito mais lenta. Todas as estruturas de dados estão disponíveis para a manipulação de implementação de heurísticas especiais de busca possível. Também é possível implementar as restrições do próprio usuário com funções adicionais, que podem ser usadas posteriormente durante a pesquisa. Os autores se esforçam para alcançar o equilíbrio certo, entre a facilidade de uso, a facilidade de extensão e a eficiência. O JACOP também suporta e estende o formato XCSP para salvar o CSP no formato XML. O JACOP está continuamente em desenvolvimento. Raramente é totalmente compatível, como não apenas novas restrições são adicionadas, mas também os internos do motor estão sendo melhorados. Os autores concentraram-se na funcionalidade principal das restrições, portanto, não há interface gráfica disponível ainda, o que ajudaria em programas de depuração. Há muitos exemplos, uma pequena guia e documentação do Java Doc, mas os autores gostariam de ter mais tempo para criar uma documentação mais elaborada. Há muitas outras ferramentas de restrição que foram implementadas desde o início do Jacópio. Cada sistema é diferente, pois eles comem a extensibilidade, a funcionalidade, a facilidade de desenvolvimento para a eficiência de uma maneira diferente. Existem ferramentas que sacrificam tudo por eficiência, outras ferramentas que escolhem C ++ sobre o Java para evitar custos associados ao executar programas Java. Nossos próprios experimentos indicam que Jacop é um bom solucionador java, mas é mais lento que o bom soluver baseado em C ++. Se você está procurando fácil de usar, fácil de manter, fácil de estender e solucionador eficiente escrito em Java, então Jacop é um deve tentar para você.


Jacop. Software Relacionado