Experiences on teaching alloy with an automated assessment platform

This paper presents Alloy4Fun, a web application that enables online editing and sharing of Alloy models and instances (including dynamic ones developed with the Electrum extension), to be used mainly in an educational context. By introducing secret paragraphs and commands in the models, Alloy4Fun allows the distribution and automated assessment of simple specification challenges, a mechanism that enables students to learn the language at their own pace. Alloy4Fun stores all versions of shared and analyzed models, as well as derivation trees that depict how they evolved over time: this wealth of information can be mined by researchers or tutors to identify, for example, learning breakdowns in the class or typical mistakes made by Alloy users. Alloy4Fun has been used in formal methods graduate courses for two years and for the latest edition we present results regarding its adoption by the students, as well as preliminary insights regarding the most common bottlenecks when learning Alloy (and Electrum).We would like to thank Daniel Jackson for the helpful comments and suggestions about the design of Alloy4Fun. This work is financed by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, within project UIDB/50014/2020. The third and forth authors were financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, within project POCI-01-0145-FEDER-016826. The second author was also supported by the FCT sabbatical grant with reference SFRH/BSAB/143106/2018

Valor nutritivo de pastagens de capim-elefante manejadas sob sistema convencional e agroecológico.

O capim-elefante é utilizado, na sua grande maioria, em sistemas convencionais de produção animal. O objetivo deste trabalho foi comparar o valor nutritivo do capimelefante em sistemas de manejo agroecológico e convencional, quanto a proteína bruta (PB), fibra em detergente neutro (FDN) e digestibilidade in vitro da matéria seca (DIVMS). Foram usados quatro piquetes, com 0,12ha cada um. No sistema convencional, o capim-elefante foi estabelecido singularmente. No sistema agroecológico, o plantio foi feito em linhas afastadas de 3m. Nas entrelinhas, estabeleceu-se a aveia e o azevém no período hibernal, enquanto que no período estival permitiu-se o desenvolvimento de espécies espontâneas. A adubação foi feita com fertilizantes orgânicos (150kg ha-1 de N). No sistema agroecológico, foram conduzidos sete pastejos, de 24/04/2004 a 05/05/2005. Na pastagem convencional, usouse a mesma quantidade de N (uréia), sendo conduzidos quatro ciclos de pastejo, de 06/10/2004 a 05/05/2005. Para ambos os sistemas foram utilizadas vacas da raça Holandês, recebendo complementação alimentar de 3,5kg dia-1 de concentrado com 20% de proteína bruta, constituindo-se nos animais experimentais. Nas avaliações, considerou-se a massa de forragem inicial com base na matéria seca (MS), os componentes botânicos da pastagem e estruturais do capimelefante. As análises de qualidade foram feitas em amostras de pastejo simulado. O delineamento experimental foi o inteiramente casualizado com dois tratamentos, convencional e agroecológico, duas repetições (piquetes) e em parcelas incompletas subdivididas no tempo (pastejos). Houve interação (P<0,05) entre tratamentos e pastejos em todas as variáveis. Na pastagem agroecológica, o modelo que melhor se ajustou foi o cúbico para todas as variáveis, em função do tempo de pastejo. Na pastagem convencional, a PB e a DIVMS ajustaram-se melhor ao modelo linear, com taxa positiva de crescimento, sendo observado comportamento inverso para FDN, com o decorrer dos pastejos. Tanto na pastagem convencional quanto na agroecológica encontraram-se associações negativas entre lâmina foliar do capim-elefante com PB e DIVMS e positiva com FDN. Ambos os sistemas apresentaram teores qualitativos elevados das pastagens, considerando-se a adubação, o manejo e o tempo de utilização

Nutritional divergence in genotypes of forage peanut

The objective of this study was to evaluate the nutritional divergence between ten genotypes of forage peanut, based on chemical composition as well as fermentation and in vitro degradation kinetic characteristics. Treatments consisted of ten genotypes of Arachis pintoi, namely eight accessions (31135, 30333, 15121, 31828, 15598, 31534, 13251 and 31496) and two cultivars (cv. Belmonte and cv. Amarillo). The genotypes were harvested in each plot at a height of 3 cm from the ground, in 42-day intervals, during the time of heaviest rainfall. For the multivariate analysis the following variables, the following were used: crude protein, neutral detergent fiber, potential degradation in 48 hours, degradation rate of insoluble potentially degradable fraction and degradation rate of non-fibrous carbohydrate. The application of the hierarchical clustering analysis, using the Euclidian distances matrix of standardized averages allowed for the identification of five homogeneous groups. Among them, the accessions 31828, 31534, 15121 and cv. Belmonte stood out nutritionally among the remaining genotypes evaluated, depicting as promising for the utilization in ruminant feeding