Towards Parameterized Regular Type Inference Using Set Constraints

We propose a method for inferring \emph{parameterized regular types} for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint systems). Such parameterized regular types generalize \emph{parametric} regular types by extending the scope of the parameters in the type definitions so that such parameters can relate the types of different predicates. We propose a number of enhancements to the procedure for solving the constraint systems that improve the precision of the type descriptions inferred. The resulting algorithm, together with a procedure to establish a set constraint system from a logic program, yields a program analysis that infers tighter safe approximations of the success types of the program than previous comparable work, offering a new and useful efficiency vs. precision trade-off. This is supported by experimental results, which show the feasibility of our analysis

Assessing the ecological soundness of organic and conventional agriculture by means of life cycle assessment (LCA) - a case study of leek production

Purpose – Sustainable agriculture implies the ability of agro-ecosystems to remain productive in the long-term. It is not easy to point out unambiguously whether or not current production systems meet this sustainability demand. A priori thinking would suggest that organic crops are environmentally favourable, but may ignore the effect of reduced productivity, which shifts the potential impact to other parts of the food provision system. The purpose of this paper is to assess the ecological sustainability of conventional and organic leek production by means of life cycle assessment (LCA). Design/methodology/approach – A cradle-to-farm gate LCA is applied, based on real farm data from two research centres. For a consistent comparison, two functional units (FU) were defined: 1ha and 1?kg of leek production. Findings – Assessed on an area basis, organic farming shows a more favourable environmental profile. These overall benefits are strongly reduced when the lower yields are taken into account. Related to organic farming it is therefore important that solutions are found to substantially increase the yields without increasing the environmental burden. Related to conventional farming, important potential for environmental improvements are in optimising the farm nutrient flows, reducing pesticide use and increasing its self-supporting capacity. Research limitations/implications – The research is a cradle-to-farm gate LCA, future research can be expanded to comprise all phases from cradle-to-grave to get an idea of the total sustainability of our present food consumption patterns. The research is also limited to the case of leek production. Future research can apply the methodology to other crops. Originality/value – To date, there is still lack of clear evidence of the added value of organic farming compared to conventional farming on environmental basis. Few studies have compared organic and conventional food production by means of LCA. This paper addresses these issues

Características biológicas de Trissolcus basalis em ovos de Euschistus heros e Nezara viridula.

A espécie Trissolcus basalis é um importante agente de controle biológico utilizado no manejo dos percevejos da soja. O estudo do desempenho dos parasitoides em diferentes temperaturas é necessário antes de seu uso na prática, pois este fator pode interferir nas características biológicas do inimigo natural. Assim, este trabalho objetivou avaliar os efeitos da temperatura sobre as características biológicas de T. basalis criada em ovos frescos e congelados de Euschistus heros e Nezara viridula. Cinquenta ovos de cada hospedeiro, por repetição, foram oferecidos ao parasitismo, que foi permitido por 24 horas em câmara climatizada (25+1ºC, 70+10% UR e fotofase de 14 h). Ao final desse período, os ovos foram transferidos para câmaras climatizadas devidamente reguladas em diferentes temperaturas, com 20 repetições. A duração do período ovo-adulto em ovos frescos de E. heros foi de 30,60; 20,30; 12,20; 11,90; 9,10; 9,60 dias e em ovos congelados foi de 31,80; 37,20; 18,30; 12,30; 9,30; 9,90 dias e em ovos frescos de N. viridula foi de 28,80; 19,20; 14,70; 10,80; 7,90; 9,90 dias e em ovos congelados foi de 53,60; 31,90; 14,60; 9,40; 9,30, nas temperaturas de 19, 22, 25, 28, 30, 32 e 34ºC, respectivamente. Em ambos hospedeiros houve predominância da emergência de fêmeas, com valores da razão sexual em ovos frescos de E. heros de 0,67 a 0,95 e de 0,62 a 0,98 em ovos congelados. Em ovos de N. viridula ocorreu variação na razão sexual de 0,72 a 0,96 em ovos congelados e de 0,51 e 0,94 em ovos frescos. Os resultados de viabilidade foram sempre superiores a 90% em ovos frescos de N. viridula em todas as temperaturas testadas, o que mostra a boa adaptação do parasitoide nas diferentes temperaturas neste hospedeiro. No entanto, em ovos congelados de N. viridula ocorreu variação na viabilidade de 5,60 a 79,72% e em ovos congelados de E. heros de 37,14 a 66,54% e em ovos frescos de 26,43 a 66,54%, sendo que os menores valores ocorreram na temperatura de 34°C e os maiores valores em 25°C, demonstrando a influência da temperatura e do tipo de ovo oferecido ao parasitismo por T. basalis. Em geral, os resultados obtidos mostraram que T. basalis tem bom desenvolvimento em ovos de E. heros e N. viridula, podendo ser utilizado com sucesso em programas de controle biológico dessas pragas em lavouras de soja.SICONBIOL 2011

Influência da estocagem de ovos de Anagasta kuehniella no parasitismo de Trichogramma pretiosum.

Para viabilização de liberações de Trichogramma spp. em grandes áreas é necessário a produção do parasitoide em grande escala, que é realizada utilizando-se ovos de hospedeiros alternativos, destacandose a Anagasta kuehniella (Zeller, 1879) (Lepidoptera: Pyralidae). No entanto, a técnica de armazenamento dos ovos até a utilização pode comprometer a qualidade tanto do hospedeiro quando do parasitoide produzido. Assim, o presente trabalho teve por objetivo avaliar a viabilidade de armazenamento de ovos de A. kuehniella inviabilizados e sem inviabilizar em nitrogênio líquido (- 196°C), ultra-freezer (-80°C), geladeira (4°C) e freezer (-15°C) para a produção de T. pretiosum. Ainda, as temperaturas de armazenamento foram avaliadas em dois tipos de recipientes para o armazenamento, placa de plástico e papel alumínio, além da comparação entre ovos inviabilizados por exposição à luz ultra-violeta e ovos sem inviabilizar. Na testemunha foram utilizados ovos frescos (até 24 h). Os ovos foram oferecidos às fêmeas de Trichogramma pretiosum Riley, 1879 (Hymenoptera: Trichogrammatidae), com menos de 24 h de vida, copuladas e alimentadas. O parasitismo foi permitido por 24 h e posteriormente os ovos foram armazenados em condições controladas de 25 ± 2ºC, umidade relativa (UR) de 70 ± 10% e fotofase de 14 horas. As avaliações do parasitismo foram realizadas semanalmente durante 22 semanas (158 dias). Observou-se que o maior parasitismo (< 60%) ocorreu em ovos inviabilizados, armazenados em geladeira, independente do tipo de recipiente utilizado, podendo nestas condições serem armazenados até 80 dias. Os ovos inviabilizados armazenados em placas de plástico e em freezer também apresentaram parasitismo superior a 60%, mas a partir de 63 dias os valores foram inferiores aos observados em ovos armazenados em geladeira. O parasitismo foi nulo em ovos armazenados em nitrogênio líquido e ultra-freezer, em decorrência da rejeição pela fêmea, que não reconheceu o hospedeiro como adequado ao desenvolvimento de sua progênie. Assim, os ovos inviabilizados armazenados em geladeira até 80 dias são os mais indicados para utilização da multiplicação de T. pretiosum, visando a liberação do parasitoide em campo.SICONBIOL 2011

A generic framework for context-sensitive analysis of modular programs

Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in order to validate/debug the program and/or to specialize the program obtaining important improvements. Unfortunately, context-sensitive analysis of modular programs poses important theoretical and practical problems. One solution, used in several proposals, is to resort to context-free analysis. Other proposals do address context-sensitive analysis, but are only applicable when the description domain used satisfies rather restrictive properties. In this paper, we argüe that a general framework for context-sensitive analysis of modular programs, Le., one that allows using all the domains which have proved useful in practice in the non-modular setting, is indeed feasible and very useful. Driven by our experience in the design and implementation of analysis and specialization techniques in the context of CiaoPP, the Ciao system preprocessor, in this paper we discuss a number of design goals for context-sensitive analysis of modular programs as well as the problems which arise in trying to meet these goals. We also provide a high-level description of a framework for analysis of modular programs which does substantially meet these objectives. This framework is generic in that it can be instantiated in different ways in order to adapt to different contexts. Finally, the behavior of the different instantiations w.r.t. the design goals that motivate our work is also discussed