Cryptica: um software para simulação de epidemias de huanglongbing dos citros (HLB).

As dificuldades impostas ao controle do huanglongbing dos citros (HLB), determinada pela capacidade de plantas infectadas, assintomáticas, se tornarem fonte de inoculo das bactérias (Candidatus Liberibacter spp.), e agravadas pelos fatores apresentados por Francisco Laranjeira, obriga que se utilizem várias armas para mitigar os problemas causados pelo HLB. Neste contexto, a presente publicação apresenta uma importante ferramenta para avaliar possíveis cenários de disseminação da doença e poderá contribuir para consolidar programas de conscientização de controle do HLB. Ao se apoiar em modelos que se aproximam da realidade o Cryptica simula os danos causados pela doença e poderá estimular a realização de inspeção e a eliminação de plantas sintomáticas, contribuindo, portanto, para aumentar a eficiência das estratégias de controle e contenção da doença. As simulações realizadas no Cryptica são produzidas a partir da proposição de três conjuntos de parâmetros associados à paisagem (escala dos pomares), infecção e erradicação. Diante das informações até então disponíveis o software é mais um aliado nessa batalha de várias alternativas de manejo conjunto dessa doença.bitstream/item/140166/1/DOC-215-029-15-Laranjeira-Ainfo.pd

Program slicing by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually oriented towards the imperatice or object paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies' structure, we resort to standard program calculation strategies, based on the so-called Bird-Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general, alternative to slicing functional programsFundação para a Ciência e a Tecnologia (FCT