A colaboração científica permite que esforços de pesquisa sejam unidos em prol do crescimento e da qualidade da ciência. O objetivo deste artigo é identificar e analisar as comunidades de colaboração ...científica em um Programa de Pós-Graduação interdisciplinar brasileiro. Utilizou-se o método de Análise de Rede Social (ARS) para detecção de comunidades e para cada comunidade foram extraídos e analisados os termos mais frequentes a partir do título das produções intelectuais. Foram encontradas nove comunidades de colaboração com arranjos distintos e cada comunidade apresenta um corpo de termos que permeiam as três áreas de concentração do programa. Os resultados encontrados demonstram que existe um equilíbrio entre as áreas de concentração do programa. Entretanto, comunidades isoladas devem ser evitadas e um trabalho mais interdisciplinar entre algumas áreas de concentração deve ser fomentado.
Partamona is a Neotropical genus of stingless bees that comprises 33 species distributed from Mexico to southern Brazil. These bees are well-adapted to anthropic environments and build their nests in ...several substrates. In this study, 66 colonies of Partamona helleri from five localities in the Brazilian state of Minas Gerais (São Miguel do Anta, Teixeiras, Porto Firme, Viçosa and Rio Vermelho) were analyzed using nine microsatellite loci in order to assess their genetic variability. Low levels of observed (H(o) = 0.099-0.137) and expected (H (e) = 0.128-0.145) heterozygosity were encountered and revealed discrete genetic differentiation among the populations (F (ST) = 0.025). AMOVA further showed that most of the total genetic variation (94.24%) in P. helleri was explained by the variability within local populations.
O objetivo deste trabalho foi estudar o desempenho zootécnico da ema (Rhea americana), rendimentos do abate, composição química e análise sensorial da carne. Onze animais foram submetidos a um ...sistema de confinamento, recebendo ração balanceada à vontade e com acesso a um piquete. Antes do abate as emas permaneceram em jejum hídrico por 12 h, foram pesadas e submetidas ao processamento: insensibilização, sangria, depenagem manual, esfola e evisceração. As emas apresentaram peso vivo médio, no momento do abate, de 19,393 kg, desempenho médio de 529,82 de consumo de ração/dia, 53,20 g de ganho de peso/dia e 9,44 de conversão alimentar. Em relação ao peso de carcaça, mostraram rendimento médio de 63,33% de carne, 5,09% de gordura e 22% de ossos. A composição centesimal média da carne de ema foi de 22,81% de proteína, 1,59% de lipídios, 1,62% de cinzas e de 74,72% de umidade. O conteúdo de colágeno variou de 0,94% a 1,12% e o teor de colesterol foi de 65,44 mg por 100 g de carne. Pela análise sensorial, verificou-se que a carne de ema processada foi bem aceita pelos provadores. Assim, admite-se que a carne de ema pode ser consumida como fonte de proteína animal com baixo teor de lipídios.
The aim of this project is to study the zootechnical performance of rhea (Rhea americana), including slaughtering yields, chemical composition and sensorial analysis of its meat. Eleven birds were kept under confinement and each had a balanced ration on demand and access to run. Before slaughtering, the rhea were not allowed to drink water for 12 h, they were weighed and underwent the following: stunning, bleeding, manual feather plucking, skinning, and evisceration. The average rhea weight at the time of slaughtering was 19.393 kg, their average performance for food intake 529.82 g ration/day, weight gain of 53.20 g/day, and 9.44 food conversion. Relative to the carcass weight, the average meat yield was 63.33%, whereby 5.09% was fat and 22% bones. The average percentage composition obtained for the rhea meat was 22.81% protein, 1.59% lipids, 1.62% ash, and 74.72% humidity. The colagen content varied from 0.94 to 1.12% and the cholesterol content measured was 65.44 mg per 100 g of meat. According to the sensorial analysis, the processed meat was well accepted by the tasters. Therefore, we conclude that the rhea meat can be consumed as a source of animal protein.
O presente trabalho pretende estudar o sonho da criança cega congénita.Este estudo foi efectuado com duas crianças cegas congénitas, um rapaz de 10 anos e uma rapariga de 8 anos.Tendo como objectivo ...identificar e analisar as teorias que as crianças cegas têm sobre o sonho, usando como base de trabalho o modelo e método de Piaget e comparar as teorias infantis destas crianças com os resultados apontados por este autor. Estas crianças mostram estar dentro dos parâmetros designados por Piaget para as suas idades, revelando que as crianças cegas congénitas têm um desenvolvimento idêntico aos das crianças normo- visuais, relativamente as suas teorias sobre o sonho.Pretende-se verificar se as duas crianças têm imagens visuais nos seus sonhos e como sonham. Para isso foi feita a recolha de quatro sonhos de cada cr iança, foram colocadas questões sobre os mesmos, e posteriormente foi criada uma tabela para verificar a presença de quanto dimensões: cinestésica; luminosidade, emocional e sensorial, tende esta última, cinco itens: visão, audição, paladar, tacto e olfacto. Foi também pedido o desenho dos sonhos assim como a sua representação tridimensional, para se poder analisar a existência de imagem visual nos sonhos das crianças, assim como a presença dos restantes sentidos e de movimento.
Formalization of Ring Theory in PVS de Lima Thaynara Arielly; Galdino, André Luiz; Borges, Avelar Andréia ...
Journal of automated reasoning,
12/2021, Letnik:
65, Številka:
8
Journal Article
Recenzirano
This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations ...of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.
In this work, lignins role as a macromonomer in polyurethane synthesis was evaluated following two different approches: (i) utilisation after chemical modification and (ii) direct utilisation. Lignin ...as a renewable raw material was evaluated considering aspects such as structure, type, sources and extraction processes. Thus, Alcell, Sarkanda, Indulin AT and Curan 27-11P were chosen aiming to represent three different botanical origins (hardwood, softwood and nonwood), as well as three different pulp processes (kraft, soda and organosolv) and a study was performed regarding its structural characterisation, quantification of its functional groups and evaluation of thermal properties. Moreover, a comparative study regarding lignin hydroxyl groups characterisation was performed using several techniques and methods available in the literature including titration, 1H-, 13C- and 31P-NMR spectroscopy. The obtained results were compared and their reliability evaluated. In the first approach, the four technical lignins were converted into liquid polyols by chain extension reaction with propylene oxide (oxypropylation). Polyol formulation was first optimised with Alcell lignin by inspecting the effect of lignin/propylene oxide ratio, and the catalyst content on homopolymer content, molecular weight, hydroxyl number, viscosity and glass transition temperature. Based on the obtained results three formulations were chosen and applied to the other lignin samples. The produced polyols were characterised and their hydroxyl number and viscosity were found to be in the range of those typical of commercial polyols employed in rigid polyurethane foam preparation. Finally, two formulations were produced at a large scale and used to produce rigid polyurethane (RPU) foams with lignin-based polyols contents from 25 to 100% (w/w). The produced RPU foams were evaluated in terms of density, morphology, mechanical and insulating properties. In the second approach Alcell and Indulin AT lignins were used directly as co-monomer in combination with a linear polycaprolactone (PCL). The polymerisation reaction was carried in bulk and without catalyst which clearly evidences green connotations. The following variables were studied: kraft and organosolv lignins with different contents (10, 15, 20 and 25% (w/w)), PCL with molecular weights of 400, 750 and 1000 and NCO/OH ratios of 0.8, 1.0 and 1.25. Formation of lignin-based polyurethanes was monitored by fourier transform infrared spectroscopy working in attenuated total reflectance mode (FTIR-ATR) and kinetics was analysed according to a global second order model. The thermo-mechanical properties of the resulting materials were determined by dynamical mechanical analysis (DMA), differential scanning calorimetry (DSC) and by performing swelling tests. Face to the achieved results, this study provides irrefutable evidence about the possibility to incorporate lignin in polyurethane materials. A wide range of polyurethane materials presenting properties which depend on the lignin type and content were prepared. Moreover, both approaches of using lignin (as such or after chemical modification, oxypropylation) yielded materials with very promising properties. In most cases, these materials exhibit properties similar to those of conventional ones, thus presenting a viable option to rationally valorise an abundant renewable industrial by-product.
O presente trabalho está organizado em torno de dois estudos principais. O primeiro estudo é de cariz exploratório e tem como objectivo a tradução e adaptação do Children`s Color Trails Test (CCTT; ...Llorente, Williams, Satz, & D`Elia, 2003) para o Português Europeu. O CCTT é um instrumento neuropsicológico destinado a avaliar a atenção e as funções executivas (FE) de crianças e adolescentes dos 8 aos 16 anos de idade, que surge recentemente na literatura para colmatar as principais limitações atribuídas a um teste mais clássico, que é o Trail Making Test (TMT; Army Individual Test Battery, 1944). Avaliou-se um total de 134 crianças com diferentes níveis de escolaridade (do 1º ao 5º ano) numa versão traduzida do CCTT para o português. Os resultados são apresentados e discutidos, disponibilizando-se um conjunto de dados normativos de referência para a população infantil portuguesa. O segundo estudo, de natureza desenvolvimental, tem por objectivo avaliar as FE de crianças entre os 6 e os 10 anos de idade. Um total de 81 crianças foi avaliado com um protocolo de avaliação neuropsicológica, incluindo uma medida de inteligência não-verbal e sete medidas das FE contemplando dimensões como a inibição, flexibilidade mental, memória de trabalho, planeamento/organização, resolução de problemas e tomada de decisão afectiva. De um modo geral os resultados obtidos em todos os testes colocam em evidência um efeito acentuado da escolaridade, ou seja, os melhores resultados encontram-se sistematicamente associados às crianças mais velhas com nível de escolaridade mais elevado. O efeito da variável género não foi tão consistente, emergindo apenas na memória verbal de dígitos. Todos os resultados são discutidos e comparados com dados normativos disponibilizados na literatura para o português e para o inglês. São apontadas directrizes futuras.