Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2017. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2017-04-26T14:09:10Z No. of bitstreams: 1 2017_ThiagoMendonçaFerreiraRamos.pdf: 615472 bytes, checksum: 07c6f1995d15d71ca3dce6b9186c1bb8 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2017-04-27T22:18:25Z (GMT) No. of bitstreams: 1 2017_ThiagoMendonçaFerreiraRamos.pdf: 615472 bytes, checksum: 07c6f1995d15d71ca3dce6b9186c1bb8 (MD5) / Made available in DSpace on 2017-04-27T22:18:25Z (GMT). No. of bitstreams: 1 2017_ThiagoMendonçaFerreiraRamos.pdf: 615472 bytes, checksum: 07c6f1995d15d71ca3dce6b9186c1bb8 (MD5) / Terminação é uma propriedade crítica para formalização de correção de programas. Verificar automaticamente terminação de um programa é conhecido como Problema da Parada e Turing provou que é um problema indecidível. Apesar disso, é possível construir algoritmos de semi decisão para verificar terminação, que respondem ‘sim’ se pode provar que o algoritmo para e ‘não sei’ caso contrário. Para construir esses algoritmos de semi decisão é necessário considerar diferentes noções de terminação, provando que são equivalentes. Neste trabalho, noções de terminação são formalizadas equivalentes para uma linguagem funcional de primeira ordem chamada PVS0 usando o assistente de prova Prototype Verification System. Essas noções são: as funções produzem uma saída, a árvore de derivação de chamados recursivos de funções tem tamanho finito (ambas as noções são chamadas terminação semântica), e os argumentos das funções decrescem para cada chamado recursivo (essa noção é chamada ranking function). As contribuições desse trabalho incluem a formalização de alguns lemas necessários para demonstrar equivalência entre noções de terminação semântica e ranking function, e como resultado principal a formalizações de indecidibilidade do Problema da Parada e Turing-Completude de PVS0. / Termination is a critical property for the formalization of programs correctness. Verifing automatically termination of a program for an input is known as Halting Problem and Turing proved that this is undecidable. However, it is possible to build semi decision algorithms for the verification of termination, that answer ‘yes’ if it is possible to prove that the algorithm halts, and ‘do not know’ otherwise. To construct these semi decision algorithms it is necessary to consider different notions of termination, proving that they are equivalent. In this work, notions of termination were formalized equivalent for a minimal functional first order language called PVS0 using the proof assistant Prototype Verification System. These notions are: the functions produces an output, the derivation tree of recursive calls of functions has a finite size (both these notions are called semantic termination), and the arguments of functions decreases for each recursive call (this notion is called ranking function). The contributions of this work includes formalization of lemma related with the equivalence between notions of semantic and ranking function termination, and the main results are the formalization of indecidability of Halting Problem and Turing-Completeness of PVS0.

Dissertação (mestrado)—Universidade de Brasília, Departamento de Economia, 2011. / Submitted by Shayane Marques Zica (marquacizh@uol.com.br) on 2011-09-28T21:01:15Z No. of bitstreams: 1 2011_JoseBorgesdaSilvaNeto.pdf: 916247 bytes, checksum: afee5ac041d27d9a8e3f3dcf43ffa6f9 (MD5) / Approved for entry into archive by LUCIANA SETUBAL MARQUES DA SILVA(lucianasetubal@bce.unb.br) on 2011-10-03T16:28:20Z (GMT) No. of bitstreams: 1 2011_JoseBorgesdaSilvaNeto.pdf: 916247 bytes, checksum: afee5ac041d27d9a8e3f3dcf43ffa6f9 (MD5) / Made available in DSpace on 2011-10-03T16:28:20Z (GMT). No. of bitstreams: 1 2011_JoseBorgesdaSilvaNeto.pdf: 916247 bytes, checksum: afee5ac041d27d9a8e3f3dcf43ffa6f9 (MD5) / A telefonia móvel tem sido apresentada como um resultado de grande sucesso do novo modelo de organização das telecomunicações do Brasil instituído no final da década de 1990. De fato, hoje a telefonia móvel é o mais popular serviço de telecomunicação. No entanto, o problema de acesso é um aspecto estrutural que existe em todas as redes de telecomunicações. Diante desse fato, a probabilidade de exercício de práticas anticompetitivas associadas à terminação móvel é alta. A principal evidência disso é a definição de excessivos preços de terminação móvel no regime de Calling Party Pays (CPP). Assim, esse estudo investiga os estímulos anticompetitivos presentes na terminação móvel no Brasil. Como se verifica nos conflitos de definição dos preços de terminação móvel, os sinais de poder de mercado na terminação móvel são incontroversos. De forma mais grave, há sérias suspeitas de estrangulamento de margens. Essa conduta está ancorada na discriminação entre os preços on-net e os preços off-net pelas operadoras móveis, viabilizada pelos elevados preços de terminação móvel. Por meio de um teste de estrangulamento de margens, os resultados indicam fortes evidências de estrangulamento de margens. _______________________________________________________________________________ ABSTRACT / Mobile telephony has been presented as a result of the highly successful new model of telecommunications in Brazil established in the late 1990s. In fact, today mobile telephony is the most popular telecommunication service. However, the access problem is a structural feature that exists in all telecommunications networks. Given this fact, the probability of exercise of anticompetitive practices associated with the mobile termination is high. The main evidence is the excessive mobile termination rates in the regime of Calling Party Pays (CPP). Thus, this study investigates anticompetitive stimuli present in the mobile termination in Brazil. As shown in the pricing conflicts of mobile termination, signs of market power in mobile termination are incontrovertible. More severe, there are serious suspicions of price squeeze. This approach is anchored in price discrimination between on-net and off-net prices by mobile operators, made possible by high mobile termination rates. By means of a price squeeze test, the results indicate strong evidence of a price squeeze.

O objetivo do experimento foi comparar o desempenho produtivo de novilhos de três raças, Brahman (Bh), Brangus(Bg) e Hereford adaptado (He) mantidos em sistema rotacionado sobre capim mombaça em regimes de integração lavoura pecuária por três anos na etapa de recria e terminados em dois sistemas de engorda. O delineamento experimental empregado foi inteiramente casualizado (DIC) com três tratamentos (raças) e três repetições. O pastejo foi de 4 dias de utilização e 32 dias de descanso. Durante o primeiro inverno foi fornecida uma suplementação com grãos (1%PC). Os animais das raças Bh e Bg tiveram ganhos diários médios (GDM) de 0,678 e 0,619kg/nov/dia superiores ao He (0,510kg/nov/dia). O período de verão (Jan-Mar) foi o período de menor GDM independente da raça avaliada. Ao final do terceiro ano foi conduzida a segunda parte do experimento com o objetivo de avaliar os desempenhos produtivos, as características de carcaça e das partes do corpo não integrantes da carcaça de novilhos (Bh, Bg e He) terminados em pastejo com suplementação (PSu) (1%PC) ou confinamento (Conf). Foram empregados doze animais de cada raça (6 Conf, 6 PSu). Os animais foram abatidos quando a espessura de gordura subcutânea, observada através de ultra-som foi > a 4mm. A dieta de confinamento continha uma relação volumoso:concentrado de 60:40, 13% PB e 62% NDT. O capim mombaça tinha em média 7%PB e 56% NDT e o suplemento 24% PB e 76% NDT. O delineamento empregado foi inteiramente casualizado (DIC) com arranjo fatorial de 3x2 (raça x sistema). Foi observada diferença para GDM, segundo o sistema de terminação, com 1,2 kg para Conf e 0,675 kg/nov/dia para PSu. O rendimento de carcaça (RCQ) foi superior para Bh e Bg em relação ao He (58,4% vs 55,4%), a área de olho de lombo (AOL) foi superior para Bg (76,42cm2) e a força de cisalhamento foi menor para animais terminados em confinamento (3,71 vs 4,89). A espessura de gordura (EG) foi superior para animais terminados em confinamento (4,64 vs 3,39 mm.). Foi observada diferença significativa para peso de corpo vazio (PCV) favorável aos animais mantidos em PSu (409,68 vs 375,24kg), porém, sem diferenças quando avaliadas em percentagem. Novilhos Bh apresentaram maior participação de componentes externos 17,80% PCV e menor percentual de peso de órgãos vitais independente do sistema de terminação (2,19% vs 3,15% de Bg e He);trato gastrointestinal (Bh) com 3,77% inferior a 4,64% do Bg e He. Bh foi a raça de melhor comportamento produtivo em período de recria a pasto produto dos GDM superiores nos períodos de verão e outono. Em terminação não foram observadas diferenças entre as raças. / The objective of this experiment was to compare the performance of three beef cattle breed steers, Brahman (Bh), Brangus (Bg) and adapted Hereford (He) kept in rotational grazing on mombaça grass under integration schemes in livestock farming evaluated for three years. The experimental design was completely randomized (CRD) with three treatments (breeds) and three replicates. Nine paddocks (0.682 ha/ach) were divided into nine paddocks and subjected to rotational grazing with 4 days of use and 32 days of rest. During the first winter was supply a supplemental grain (1% PC). The Bh and Bg had average daily gain (ADG) of 0.678 and 0.619 kg / steer / day, higher than the He (0.510 kg/steer/day). The period of summer (Jan-Mar) was the period of lower ADG. At the end of the third year was conducted the second part of the experiment aiming to evaluate the productive performance of the characteristics of carcass and not integrated body components of carcass. It was employed the same three breeds (Bh, Bg and He) finished in grazing with supplementation (GSu) or confinement (Conf). Twelve animals each breed were used (6 Feedlot and 6 GSu). The animals were slaughtered when the thickness of subcutaneous fat was over 4mm. The feedlot diet had a forage: concentrate relation of 60:40 (dry matter ) 13% CP and 62% TDN. The mombaça grass had on average 7% CP and 56% TDN and the concentrate 24% CP and 76% TDN. It was employed completely randomized design (CRD) with factorial arrangement of 3x2 (breed x system). Difference was observed in ADG with 1.2 kg / steer / day for feedlot superior of the PSu with 0, 675 kg / steer / day. The dressing percentage (DP) was superior to Bh and in relation to Bg He (58.4% vs 55.4%). The rib eye area (REA) was superior to Bg (76.42) and shear force was lower for animals finished in feedlot (3.71 vs. 4.89). The subcutaneous fat thickness (FE) was higher for animals finished in feedlot (4.64 vs. 3.39 mm.). Significant difference was observed for Empty body weight (EBW) favorable to animals kept at pasture with supplementation (409.68 versus 375.24 kg), but no differences when measured in percentage. Bh steers had greater external components 17.80% PCV. Bh animals showed lower percentage of vital organs (2.19% versus 3.15% of BG and He) and gastrointestinal tract with 3.77% vs 4.64% of BG and He. The Bh was the best productive behavior in rotational grazing in growing animals product of the higher ADG in summer and autumn periods. In finishing no differences between breed was observed.

O objetivo do experimento foi comparar o desempenho produtivo de novilhos de três raças, Brahman (Bh), Brangus(Bg) e Hereford adaptado (He) mantidos em sistema rotacionado sobre capim mombaça em regimes de integração lavoura pecuária por três anos na etapa de recria e terminados em dois sistemas de engorda. O delineamento experimental empregado foi inteiramente casualizado (DIC) com três tratamentos (raças) e três repetições. O pastejo foi de 4 dias de utilização e 32 dias de descanso. Durante o primeiro inverno foi fornecida uma suplementação com grãos (1%PC). Os animais das raças Bh e Bg tiveram ganhos diários médios (GDM) de 0,678 e 0,619kg/nov/dia superiores ao He (0,510kg/nov/dia). O período de verão (Jan-Mar) foi o período de menor GDM independente da raça avaliada. Ao final do terceiro ano foi conduzida a segunda parte do experimento com o objetivo de avaliar os desempenhos produtivos, as características de carcaça e das partes do corpo não integrantes da carcaça de novilhos (Bh, Bg e He) terminados em pastejo com suplementação (PSu) (1%PC) ou confinamento (Conf). Foram empregados doze animais de cada raça (6 Conf, 6 PSu). Os animais foram abatidos quando a espessura de gordura subcutânea, observada através de ultra-som foi > a 4mm. A dieta de confinamento continha uma relação volumoso:concentrado de 60:40, 13% PB e 62% NDT. O capim mombaça tinha em média 7%PB e 56% NDT e o suplemento 24% PB e 76% NDT. O delineamento empregado foi inteiramente casualizado (DIC) com arranjo fatorial de 3x2 (raça x sistema). Foi observada diferença para GDM, segundo o sistema de terminação, com 1,2 kg para Conf e 0,675 kg/nov/dia para PSu. O rendimento de carcaça (RCQ) foi superior para Bh e Bg em relação ao He (58,4% vs 55,4%), a área de olho de lombo (AOL) foi superior para Bg (76,42cm2) e a força de cisalhamento foi menor para animais terminados em confinamento (3,71 vs 4,89). A espessura de gordura (EG) foi superior para animais terminados em confinamento (4,64 vs 3,39 mm.). Foi observada diferença significativa para peso de corpo vazio (PCV) favorável aos animais mantidos em PSu (409,68 vs 375,24kg), porém, sem diferenças quando avaliadas em percentagem. Novilhos Bh apresentaram maior participação de componentes externos 17,80% PCV e menor percentual de peso de órgãos vitais independente do sistema de terminação (2,19% vs 3,15% de Bg e He);trato gastrointestinal (Bh) com 3,77% inferior a 4,64% do Bg e He. Bh foi a raça de melhor comportamento produtivo em período de recria a pasto produto dos GDM superiores nos períodos de verão e outono. Em terminação não foram observadas diferenças entre as raças. / The objective of this experiment was to compare the performance of three beef cattle breed steers, Brahman (Bh), Brangus (Bg) and adapted Hereford (He) kept in rotational grazing on mombaça grass under integration schemes in livestock farming evaluated for three years. The experimental design was completely randomized (CRD) with three treatments (breeds) and three replicates. Nine paddocks (0.682 ha/ach) were divided into nine paddocks and subjected to rotational grazing with 4 days of use and 32 days of rest. During the first winter was supply a supplemental grain (1% PC). The Bh and Bg had average daily gain (ADG) of 0.678 and 0.619 kg / steer / day, higher than the He (0.510 kg/steer/day). The period of summer (Jan-Mar) was the period of lower ADG. At the end of the third year was conducted the second part of the experiment aiming to evaluate the productive performance of the characteristics of carcass and not integrated body components of carcass. It was employed the same three breeds (Bh, Bg and He) finished in grazing with supplementation (GSu) or confinement (Conf). Twelve animals each breed were used (6 Feedlot and 6 GSu). The animals were slaughtered when the thickness of subcutaneous fat was over 4mm. The feedlot diet had a forage: concentrate relation of 60:40 (dry matter ) 13% CP and 62% TDN. The mombaça grass had on average 7% CP and 56% TDN and the concentrate 24% CP and 76% TDN. It was employed completely randomized design (CRD) with factorial arrangement of 3x2 (breed x system). Difference was observed in ADG with 1.2 kg / steer / day for feedlot superior of the PSu with 0, 675 kg / steer / day. The dressing percentage (DP) was superior to Bh and in relation to Bg He (58.4% vs 55.4%). The rib eye area (REA) was superior to Bg (76.42) and shear force was lower for animals finished in feedlot (3.71 vs. 4.89). The subcutaneous fat thickness (FE) was higher for animals finished in feedlot (4.64 vs. 3.39 mm.). Significant difference was observed for Empty body weight (EBW) favorable to animals kept at pasture with supplementation (409.68 versus 375.24 kg), but no differences when measured in percentage. Bh steers had greater external components 17.80% PCV. Bh animals showed lower percentage of vital organs (2.19% versus 3.15% of BG and He) and gastrointestinal tract with 3.77% vs 4.64% of BG and He. The Bh was the best productive behavior in rotational grazing in growing animals product of the higher ADG in summer and autumn periods. In finishing no differences between breed was observed.

O objetivo do experimento foi comparar o desempenho produtivo de novilhos de três raças, Brahman (Bh), Brangus(Bg) e Hereford adaptado (He) mantidos em sistema rotacionado sobre capim mombaça em regimes de integração lavoura pecuária por três anos na etapa de recria e terminados em dois sistemas de engorda. O delineamento experimental empregado foi inteiramente casualizado (DIC) com três tratamentos (raças) e três repetições. O pastejo foi de 4 dias de utilização e 32 dias de descanso. Durante o primeiro inverno foi fornecida uma suplementação com grãos (1%PC). Os animais das raças Bh e Bg tiveram ganhos diários médios (GDM) de 0,678 e 0,619kg/nov/dia superiores ao He (0,510kg/nov/dia). O período de verão (Jan-Mar) foi o período de menor GDM independente da raça avaliada. Ao final do terceiro ano foi conduzida a segunda parte do experimento com o objetivo de avaliar os desempenhos produtivos, as características de carcaça e das partes do corpo não integrantes da carcaça de novilhos (Bh, Bg e He) terminados em pastejo com suplementação (PSu) (1%PC) ou confinamento (Conf). Foram empregados doze animais de cada raça (6 Conf, 6 PSu). Os animais foram abatidos quando a espessura de gordura subcutânea, observada através de ultra-som foi > a 4mm. A dieta de confinamento continha uma relação volumoso:concentrado de 60:40, 13% PB e 62% NDT. O capim mombaça tinha em média 7%PB e 56% NDT e o suplemento 24% PB e 76% NDT. O delineamento empregado foi inteiramente casualizado (DIC) com arranjo fatorial de 3x2 (raça x sistema). Foi observada diferença para GDM, segundo o sistema de terminação, com 1,2 kg para Conf e 0,675 kg/nov/dia para PSu. O rendimento de carcaça (RCQ) foi superior para Bh e Bg em relação ao He (58,4% vs 55,4%), a área de olho de lombo (AOL) foi superior para Bg (76,42cm2) e a força de cisalhamento foi menor para animais terminados em confinamento (3,71 vs 4,89). A espessura de gordura (EG) foi superior para animais terminados em confinamento (4,64 vs 3,39 mm.). Foi observada diferença significativa para peso de corpo vazio (PCV) favorável aos animais mantidos em PSu (409,68 vs 375,24kg), porém, sem diferenças quando avaliadas em percentagem. Novilhos Bh apresentaram maior participação de componentes externos 17,80% PCV e menor percentual de peso de órgãos vitais independente do sistema de terminação (2,19% vs 3,15% de Bg e He);trato gastrointestinal (Bh) com 3,77% inferior a 4,64% do Bg e He. Bh foi a raça de melhor comportamento produtivo em período de recria a pasto produto dos GDM superiores nos períodos de verão e outono. Em terminação não foram observadas diferenças entre as raças. / The objective of this experiment was to compare the performance of three beef cattle breed steers, Brahman (Bh), Brangus (Bg) and adapted Hereford (He) kept in rotational grazing on mombaça grass under integration schemes in livestock farming evaluated for three years. The experimental design was completely randomized (CRD) with three treatments (breeds) and three replicates. Nine paddocks (0.682 ha/ach) were divided into nine paddocks and subjected to rotational grazing with 4 days of use and 32 days of rest. During the first winter was supply a supplemental grain (1% PC). The Bh and Bg had average daily gain (ADG) of 0.678 and 0.619 kg / steer / day, higher than the He (0.510 kg/steer/day). The period of summer (Jan-Mar) was the period of lower ADG. At the end of the third year was conducted the second part of the experiment aiming to evaluate the productive performance of the characteristics of carcass and not integrated body components of carcass. It was employed the same three breeds (Bh, Bg and He) finished in grazing with supplementation (GSu) or confinement (Conf). Twelve animals each breed were used (6 Feedlot and 6 GSu). The animals were slaughtered when the thickness of subcutaneous fat was over 4mm. The feedlot diet had a forage: concentrate relation of 60:40 (dry matter ) 13% CP and 62% TDN. The mombaça grass had on average 7% CP and 56% TDN and the concentrate 24% CP and 76% TDN. It was employed completely randomized design (CRD) with factorial arrangement of 3x2 (breed x system). Difference was observed in ADG with 1.2 kg / steer / day for feedlot superior of the PSu with 0, 675 kg / steer / day. The dressing percentage (DP) was superior to Bh and in relation to Bg He (58.4% vs 55.4%). The rib eye area (REA) was superior to Bg (76.42) and shear force was lower for animals finished in feedlot (3.71 vs. 4.89). The subcutaneous fat thickness (FE) was higher for animals finished in feedlot (4.64 vs. 3.39 mm.). Significant difference was observed for Empty body weight (EBW) favorable to animals kept at pasture with supplementation (409.68 versus 375.24 kg), but no differences when measured in percentage. Bh steers had greater external components 17.80% PCV. Bh animals showed lower percentage of vital organs (2.19% versus 3.15% of BG and He) and gastrointestinal tract with 3.77% vs 4.64% of BG and He. The Bh was the best productive behavior in rotational grazing in growing animals product of the higher ADG in summer and autumn periods. In finishing no differences between breed was observed.

O presente trabalho teve como objetivo avaliar novilhos resultantes da seleção genética de diferentes linhagens da raça Canchim (5/8 Charolês, 3/8 Zebu), recriados a pasto e terminados em confinamento, em relação ao consumo alimentar, desempenho, emissão de metano entérico, características de carcaça e cortes cárneos. O experimento foi desenvolvido na Empresa Brasileira de Pesquisa Agropecuária, unidade Pecuária Sudeste, São Carlos/SP. Foram utilizados 46 novilhos da raça Canchim (15 meses, 291 kg de peso vivo), 13 pertencentes a linhagem antiga, 20 a linhagem nova e 13 provenientes do acasalamento entre estas linhagens. A linhagem antiga é mantida como rebanho fechado desde 1953 e foi formada com base em 53 touros Charoleses importados da França, já a linhagem nova teve origem a partir de 1990 com a utilização de touros Charoleses de diferentes origens (Argentina, Brasil, Estados Unidos, França, Inglaterra), e a partir de 1998, com o acasalamento entre as duas linhagens formou-se a linhagem cruzada. Durante a recria a pasto (165 dias), os animais foram alojados em uma área de pastagem (Panicum maximum cv. Tanzânia), onde o manejo adotado foi o de pastejo rotacionado com lotação variável, para as medidas de desempenho foram executadas pesagens a cada 33 dias, e a mensuração da emissão de metano entérico através da técnica do gás traçador hexafluoreto de enxofre realizada em 12 animais da linhagem antiga e 12 da nova. No período de terminação em confinamento, os animais foram dispostos em 4 baias e receberam alimentação ad libitum durante 105 dias, o ganho de peso foi medido a cada 28 dias e para a mensuração de emissão de metano os mesmos animais avaliados a pasto, tiveram acesso ao sistema automatizado GreenFeed®. No momento do abate, foram coletadas informações sobre o peso de carcaça quente, e após 24 horas de resfriamento em câmara fria, o peso da carcaça fria, do traseiro especial, dianteiro e ponta de agulha e na desossa os pesos individuais dos cortes cárneos comerciais. A linhagem nova mostrou-se superior a antiga no período de recria nas variáveis de ganho médio diário, conversão e eficiência alimentar, não se diferenciando dos cruzados. Durante a terminação em confinamento, foi observado o mesmo em relação ao ganho médio diário, já em relação ao consumo, a linhagem nova e os cruzados apresentaram maiores ingestões de alimento comparados à linhagem antiga, enquanto a conversão alimentar dos animais cruzados apresentou maior valor comparados às das linhagens. Na recria a pasto, para se obter maiores ganhos de peso, melhor conversão alimentar e eficiência alimentar, devem ser utilizados animais resultantes de processos de seleção genética. A seleção genética para características de desempenho produtivo não garante animais com menores emissões de metano em condições de pastejo. Nos animais em fase de terminação em confinamento, o maior ganho de peso, melhor conversão alimentar e melhor acabamento de carcaça são obtidos através da utilização de animais resultantes de processos de seleção genética. O mesmo tipo de seleção para características de desempenho produtivo em confinamento leva a maiores consumos diários de alimento e consequentemente a maiores emissões de metano diárias. / The objective of this study was to evaluate steers resulting from the genetic selection of different Canchim (5/8 Charolais, 3/8 Zebu) lineages, rearing to pasture and finished in feedlot, in relation to feed intake, performance, enteric methane emission, carcass traits and retail cuts. The experiment was carried out at the Brazilian Agricultural Research Corporation (Embrapa), Southeast Livestock, São Carlos / SP. A total of 46 Canchim steers (15 months, 291 kg live weight) were used, 13 from the ancient lineage, 20 from the new lineage and 13 from the mating between these lineages. The ancient lineage is kept as a closed herd since 1953 and was formed by 53 Charolais bulls imported from France. The new lineage originated from 1990 with the use of Charolais bulls from different origins (Argentina, Brazil, the United States, France, England), and from 1998 the crossed lineage was formed with the mating between the two lineages. During grazing (165 days), the animals were housed in an pasture area (Panicum maximum cv. Tanzania), where the management used was rotational grazing with variable stocking, for the performance measures were performed weighing every 33 days, and the measurement of the enteric methane emission through the sulfur hexafluoride tracer gas technique was performed in 12 animals of the ancient and 12 of the new lineage. In feedlot the animals were housed in 4 pens and fed ad libitum for 105 days. The weight gain was measured every 28 days and as for the measurement of methane emission the same animals evaluated on pasture had access to the GreenFeed® automated system. Information on the hot carcass weight was collected at the time of slaughter and after 24 hours of cooling in the cold chamber, the weights of the cold carcass, of the special hind, fore and spare ribs, and the individual weights of the retail cuts in boning. The new lineage was superior to the ancient one in the rearing period in the variables of average daily gain, conversion and feed efficiency, not differing from the animals crossed. During feedlot, it was observed the same in relation to the average daily gain, already in relation to intake, the new lineage and the crossbreeds presented higher feed intakes compared to the ancient lineage while the feed conversion of the crossed animals presented higher value compared with the new and ancient lineages. In pasture recreating, in order to obtain greater weight gains, better feed conversion and feed efficiency, animals resulting from genetic selection processes must be used. Genetic selection for performance traits does not guarantee animals with lower methane emissions under grazing conditions. For feedlot animals, the highest weight gain, better feed conversion and better carcass finishing are obtained through the use of animals resulting from genetic selection processes. The same type of selection for traits of performance in feedlot leads to higher daily feed intake and consequently to higher daily methane emissions.

O presente trabalho teve como objetivo avaliar novilhos resultantes da seleção genética de diferentes linhagens da raça Canchim (5/8 Charolês, 3/8 Zebu), recriados a pasto e terminados em confinamento, em relação ao consumo alimentar, desempenho, emissão de metano entérico, características de carcaça e cortes cárneos. O experimento foi desenvolvido na Empresa Brasileira de Pesquisa Agropecuária, unidade Pecuária Sudeste, São Carlos/SP. Foram utilizados 46 novilhos da raça Canchim (15 meses, 291 kg de peso vivo), 13 pertencentes a linhagem antiga, 20 a linhagem nova e 13 provenientes do acasalamento entre estas linhagens. A linhagem antiga é mantida como rebanho fechado desde 1953 e foi formada com base em 53 touros Charoleses importados da França, já a linhagem nova teve origem a partir de 1990 com a utilização de touros Charoleses de diferentes origens (Argentina, Brasil, Estados Unidos, França, Inglaterra), e a partir de 1998, com o acasalamento entre as duas linhagens formou-se a linhagem cruzada. Durante a recria a pasto (165 dias), os animais foram alojados em uma área de pastagem (Panicum maximum cv. Tanzânia), onde o manejo adotado foi o de pastejo rotacionado com lotação variável, para as medidas de desempenho foram executadas pesagens a cada 33 dias, e a mensuração da emissão de metano entérico através da técnica do gás traçador hexafluoreto de enxofre realizada em 12 animais da linhagem antiga e 12 da nova. No período de terminação em confinamento, os animais foram dispostos em 4 baias e receberam alimentação ad libitum durante 105 dias, o ganho de peso foi medido a cada 28 dias e para a mensuração de emissão de metano os mesmos animais avaliados a pasto, tiveram acesso ao sistema automatizado GreenFeed®. No momento do abate, foram coletadas informações sobre o peso de carcaça quente, e após 24 horas de resfriamento em câmara fria, o peso da carcaça fria, do traseiro especial, dianteiro e ponta de agulha e na desossa os pesos individuais dos cortes cárneos comerciais. A linhagem nova mostrou-se superior a antiga no período de recria nas variáveis de ganho médio diário, conversão e eficiência alimentar, não se diferenciando dos cruzados. Durante a terminação em confinamento, foi observado o mesmo em relação ao ganho médio diário, já em relação ao consumo, a linhagem nova e os cruzados apresentaram maiores ingestões de alimento comparados à linhagem antiga, enquanto a conversão alimentar dos animais cruzados apresentou maior valor comparados às das linhagens. Na recria a pasto, para se obter maiores ganhos de peso, melhor conversão alimentar e eficiência alimentar, devem ser utilizados animais resultantes de processos de seleção genética. A seleção genética para características de desempenho produtivo não garante animais com menores emissões de metano em condições de pastejo. Nos animais em fase de terminação em confinamento, o maior ganho de peso, melhor conversão alimentar e melhor acabamento de carcaça são obtidos através da utilização de animais resultantes de processos de seleção genética. O mesmo tipo de seleção para características de desempenho produtivo em confinamento leva a maiores consumos diários de alimento e consequentemente a maiores emissões de metano diárias. / The objective of this study was to evaluate steers resulting from the genetic selection of different Canchim (5/8 Charolais, 3/8 Zebu) lineages, rearing to pasture and finished in feedlot, in relation to feed intake, performance, enteric methane emission, carcass traits and retail cuts. The experiment was carried out at the Brazilian Agricultural Research Corporation (Embrapa), Southeast Livestock, São Carlos / SP. A total of 46 Canchim steers (15 months, 291 kg live weight) were used, 13 from the ancient lineage, 20 from the new lineage and 13 from the mating between these lineages. The ancient lineage is kept as a closed herd since 1953 and was formed by 53 Charolais bulls imported from France. The new lineage originated from 1990 with the use of Charolais bulls from different origins (Argentina, Brazil, the United States, France, England), and from 1998 the crossed lineage was formed with the mating between the two lineages. During grazing (165 days), the animals were housed in an pasture area (Panicum maximum cv. Tanzania), where the management used was rotational grazing with variable stocking, for the performance measures were performed weighing every 33 days, and the measurement of the enteric methane emission through the sulfur hexafluoride tracer gas technique was performed in 12 animals of the ancient and 12 of the new lineage. In feedlot the animals were housed in 4 pens and fed ad libitum for 105 days. The weight gain was measured every 28 days and as for the measurement of methane emission the same animals evaluated on pasture had access to the GreenFeed® automated system. Information on the hot carcass weight was collected at the time of slaughter and after 24 hours of cooling in the cold chamber, the weights of the cold carcass, of the special hind, fore and spare ribs, and the individual weights of the retail cuts in boning. The new lineage was superior to the ancient one in the rearing period in the variables of average daily gain, conversion and feed efficiency, not differing from the animals crossed. During feedlot, it was observed the same in relation to the average daily gain, already in relation to intake, the new lineage and the crossbreeds presented higher feed intakes compared to the ancient lineage while the feed conversion of the crossed animals presented higher value compared with the new and ancient lineages. In pasture recreating, in order to obtain greater weight gains, better feed conversion and feed efficiency, animals resulting from genetic selection processes must be used. Genetic selection for performance traits does not guarantee animals with lower methane emissions under grazing conditions. For feedlot animals, the highest weight gain, better feed conversion and better carcass finishing are obtained through the use of animals resulting from genetic selection processes. The same type of selection for traits of performance in feedlot leads to higher daily feed intake and consequently to higher daily methane emissions.

Orientador: Mario De Beni Arrigoni / Resumo: O uso de milho para produção de etanol tem aumentado no Brasil, assim como o uso de seus subprodutos como os grãos de destilaria (GD) na nutrição animal. Não há informações sobre o uso de grãos de destilaria úmido (WDG) em dietas de alta energia para bovinos da raça Nelore. Sendo assim, o experimento objetivou avaliar os efeitos dos níveis crescentes de WDG como substituto de farelo de soja e milho no consumo de matéria seca (CMS), digestibilidade total, parâmetros de fermentação ruminal e comportamento alimentar de bovinos de corte alimentados com dietas de terminação. Oito bovinos Nelore canulados no rúmen (PC = 453 ± 32 kg) foram alocados em baias individuais e distribuídos em 4 tratamentos: T1: 0%; T2: 15%; T3: 30% e T4: 45% de WDG %MS, utilizando um delineamento com quadrado latino replicado 4x4. O período experimental foi de 112 dias, dividido por 4 períodos de 28 dias, sendo 14 dias de adaptação e 14 dias para as coletas experimentais. As dietas apresentaram uma relação concentrado: volumoso de 88:12. Todas as análises estatísticas foram realizadas através do software estatístico SAS 9.4, utilizando contrastes ortogonais sendo: linear, quadrático e cúbico com o procedimento PROC MIXED. Medidas repetidas no tempo foram utilizadas para as análises de parâmetros ruminais e todas as variáveis foram consideradas diferentes estatisticamente considerando um P ≤ 0,05. O Consumo de matéria seca (CMS), consumo de matéria orgânica (CMO) e tempo de ruminação foram maiores para ani... (Resumo completo, clicar acesso eletrônico abaixo) / Mestre

O objetivo deste trabalho foi avaliar o temperamento durante o período de confinamento através das análises das correlações entre três indicadores de temperamento (Escore de Reatividade, Velocidade de Fuga e Avaliação Qualitativa de Comportamento). Foram utilizados 124 bovinos machos inteiros, filhos de cruzamento de touros Angus e vacas Nelore, com peso vivo inicial médio de 286 kg ±14,2 e com idade média de 17 ±1 meses, alojados em currais de confinamento, com área de 25,8 m2 por animal, e disponibilidade de 6 m2 por animal de sombreamento artificial. O confinamento teve duração de 130 dias (18 dias de adaptação + 112 dias de experimento). Foi registrado o temperamento dos garrotes, por meio dos testes de Escore de Reatividade (ER), Velocidade de Fuga (VF) e Avaliação Qualitativa do Comportamento (QBA), durante o manejo de pesagem a cada 28 dias no tronco de contenção. Os dados de QBA foram analisados por duas variâncias distintas após transformação em arco seno raiz quando não normalizados, uma com efeito fixo de categoria de VF (lento, mediano, rápido) e outra com efeito fixo de ER, sempre considerando os efeitos de animais como medida repetida no tempo. Correlações de Spearman entre todos os parâmetros foram realizadas. O escore de reatividade na balança (ER) apresentou correlações positivas com as categorias de QBA \"atividade motora\", \"amedrontado\" e \"agitado\", enquanto que, para as categorias \"relaxamento\" e \"calmo\" houveram correlações negativas (r = -0,54 e r = -0,54). A velocidade de fuga apresentou correlação positiva (r = 0,57) com o escore de reatividade. A concentração de cortisol sérico apresentou correlação positiva com as categorias \"atividade motora\" (r = 0,42), \"amedrontado\" (r = 0,46) e, \"agitado\" (r = 0,50) e correlação negativa com \"relaxamento\" e \"calmo\", como esperado. Em relação ao escore de reatividade, houve correlação positiva com os níveis séricos de cortisol (r = 0,38). Houve diferença significativa entre os parâmetros de QBA, VF e cortisol nas classes de escore de reatividade, sendo as maiores médias encontradas na classe 4, para as categorias de QBA \"atividade motora\", \"amedrontado\" e \"agitado\", com médias de 3,46; 5,30 e 5,16, respectivamente, e de 2,16 para VF, e 4,17 para cortisol. Os três indicadores de temperamento estudados decresceram durante o período de confinamento. É possível concluir que as avaliações qualitativas de comportamento (QBA) se mostraram eficientes para um entendimento da relação entre os indicadores de temperamento (ER e VF) e os níveis de estresse (cortisol sérico). Os animais confinados apresentaram melhora no temperamento durante o período de confinamento, devido a um possível processo de habituação, através do manejo no tronco ou do convívio direto com os humanos envolvidos no manejo diário. / This study aimed to evaluate the temperament during the confinement period by analyzing the correlations between three temperament indicators (Reactivity Score, Flight Speed and Qualitative Behavior Assessment). A total of 124 male steers were used, crossbred Angus bulls and Nellore cows, with mean initial live weight of 286 kg ±14.2 and mean age of 17 ±1 months housed in confinement pens with an area of 25.8 m2 per animal, and availability of 6 m2 of artificial shading per animal. The confinement lasted for 130 days (18 days of adaptation + 112 days of experiment). It was recorded temperament of steers by means of Reactivity Score (RS), Flight Speed (FS) and Qualitative Behavioral Assessment (QBA) during weighing handling every 28 days in the Squeeze shut. The QBA data were analyzed by two distinct variances after transformation in a sine root arc when not normalized, one with fixed effect of FS category (slow, medium, fast) and another with fixed effect of RS, always considering the effects of animals as repeated measure in time. Spearman correlations among all parameters were performed. The reactivity score during weighing showed a positive correlation with the categories of QBA \"motor activity\", \"frightened\" and \"agitated\", whereas for the \"relaxation\" and \"calm\" categories there were negative correlations (r = -0.54 e r = -0.54). The flight speed showed a positive correlation (r = 0.57) with the reactivity score. Serum cortisol concentration was positively correlated with \"motor activity\" (r = 0.42), \"frightened\" (r = 0.46) and \"agitated\" (r = 0.50) and negatively correlated with \"relaxation\" and \"calm\" as expected. Regarding the reactivity score, there was a positive correlation with serum cortisol levels (r = 0.38). There was a significant difference between the QBA, FS and cortisol parameters in the reactivity score classes, with the highest averages found in class 4, for the QBA categories \"motor activity\", \"frightened\" and \"agitated\", with averages of 3.46; 5.30 and 5.16, respectively, and 2.16 for FS, and 4.17 for cortisol. The three temperament indicators studied decreased during the confinement period. It is possible to conclude that the qualitative evaluations of behavior (QBA) were efficient for an understanding of the relationship between the temperament indicators (RS and FS) and stress levels (serum cortisol). Confined animals presented improvement in temperament during the confinement period due to a possible habituation process, through trunk management or direct contact with the humans involved in the daily management.

O experimento foi conduzido com o objetivo de avaliar o efeito de quatro sistemas de alimentação sobre o desempenho e características da carcaça na terminação de cordeiros Corriedale. Foram utilizados 120 cordeiros com dez meses de idade, castrados, com peso inicial médio de 28,2±0,800 kg e escore de condição corporal de 2,65±0,2. Os tratamentos avaliados foram: PAS: pastagem; PAS0,6: pastagem + 0,6% do peso vivo (PV) de suplemento; PAS1,2: pastagem + 1,2% PV de suplemento e confinamento (CONF): confinamento. Foi utilizado um delineamento completamente cazualizado, onde o animal foi a unidade experimental. Os cordeiros terminados em CONF apresentaram ganhos médios diários de 105, 73 e 31 gramas superiores aos cordeiros terminados em PAS, PAS0,6 e PAS1,2, respectivamente (P<0,05). Não houve diferença no rendimento de carcaça dos animais dos tratamentos CONF (47,78%) e PAS 0,6 (46,20%), os quais foram superiores aos apresentados pelos animais dos tratamentos PAS (44,36%) e PAS 1,2 (45,59%). Os teores de gordura subcutânea dos animais PAS0,6 (4,39%) e dos animais em CONF (4,01) foram superiores aos apresentados pelos animais com PAS1,2 (2,75%) (P<0,05). A percentagem de músculo nas carcaças dos animais suplementados (55,96%) foram superiores aos valores apresentados pelos animais em pastejo (54,95%) e em confinamento (53,65%) (P<0,05). A percentagem de músculo nas carcaças dos animais suplementados (55,96%) foram superiores aos valores apresentados pelos animais em pastejo (54,95%) e em confinamento (53,65%) (P<0,05). A percentagem de osso nas carcaças diminuiu com o aumento no nível de suplementação (P<0,05). O sistema de alimentação afetou a tipificação de carcaças, sendo que os animais terminados em PAS0,6 e PAS1,2 apresentaram níveis moderados na gordura de cobertura enquanto as carcaças dos animais terminados em CONF apresentaram excessiva cobertura de gordura (P<0,05). A terminação de cordeiros pesados em sistemas de alimentação em pastagem com níveis moderados de suplementação permitem obter pesos e qualidades de carcaça de acordo com as exigências do Mercado Europeu. / The trial was lead in order to evaluate the effect of four feeding systems on the performance and characteristics of the carcass of finishing Corriedale lambs. One hundred and twenty ten-month-old castrated lambs, 28,2 ± 0,800 kg of average initial live weight and body condition score 2,65±0.2 were used. Animals grassed an improved native pasture with legume specie (Lótus corniculatus cv INIA Draco) and they were assigned to four treatments: PAS: pasture; PAS0,6: pasture + 0,6%BW of supplement; PAS1,2: pasture + 1,2% BW of supplement and CONF: drylot. Completely random designs were used, and an animal was an experimental united. Average daily gains on CONF were 105, 73 and 31 grams higher than those finished in PAS, PAS0,6 and PAS1,2, respectively. There were differences of carcass yield for CONF treatments (47,78 %) and PAS 0,6 (46,20%), which were higher than PAS (44,36%) and PAS1,2 (45,59%) treatments. Subcutaneous fat tissue of animals fed treatments PAS0,6 (4,39%) and CONF (4,01) were larger than those fed treatments PAS1,2 (2,75%) (P<0,05). The e percentage of muscle in the carcasses of supplemented animals (55,96%) was larger than those raised without supplementation (P<0,05). The feeding system affected the conformation and termination. Animals finished in PAS0,6 and PAS1,2, had moderated levels of subcutaneous fat tissue, while carcasses of animals finished on drylot had deeper fat covering (P<0,05). Lambs finishing, on pasture with moderate supplementations levels, fitted live weights and carcass characteristics demanded for the European market.