Ferramenta de comparação de estrutura de proteína
Software para calcular alinhamentos de seqüência ou estrutura ...
1 KB
 | Analisador de ligaFerramenta para analisar modelos de liga |
| Baixe Agora | |
Analisador de liga Classificação e resumo
Propaganda
- Licença:
- MIT License
- Preço:
- FREE
- Nome do editor:
- Alloy Analyzer Team
- Site do editor:
- http://alloy.mit.edu
- Sistemas operacionais:
- Mac OS X
- Tamanho do arquivo:
- 4 MB
Analisador de liga Tag
Analisador de liga Descrição
Ferramenta para analisar modelos de liga A Alloy Analyzer é uma ferramenta gratuita e aberta de código desenvolvida para analisar modelos escritos em liga, uma simples linguagem de modelagem estrutural baseada na lógica de primeira ordem. O analisador de liga pode gerar instâncias de invariantes, simular a execução de operações (mesmo aquelas definidas implicitamente), e verifique as propriedades especificadas pelo usuário de um modelo.Alloy Analyzer é baseado no novo Model Finder Kodkod. Kodkod aplica novas técnicas e otimizações à tradução da lógica relacional para booleana, como instâncias parciais fornecidas pelo usuário e uma técnica de quebra de simetria mais geral que funciona na presença de instâncias parciais arbitrárias. Um passo passo a passo e tutorial de Alloy4 está aqui e aqui. Requisitos: · Java 1.5 ou mais tarde O que há de novo nesta versão: · Inclui uma nova heurística de numeração do átomo que deve fazer numeração de utilidade / ordem mais intuitiva; Também atualizado para o mais recente Kodkod e atualizado para sat4j 2.0.5. · A exportação de PDF usa tecnicas de compressão e resulta em até 20x tamanho de arquivo menor.
Analisador de liga Software Relacionado
