Avaliação comparativa da suplementação de ácidos graxos saturados e insaturados sobre o desempenho produtivo, qualidade oocitária e embrionária, e metabolismo de vacas leiteiras no período de transição e início de lactação

Objetivou-se avaliar a suplementação dietética de ácidos graxos saturados e insaturados sobre o metabolismo, e desempenhos produtivo e reprodutivo no período de transição e início de lactação de vacas leiteiras. Foram utilizadas 36 vacas da raça holandesa distribuídas aleatoriamente para receber uma das três dietas experimentais. No período pré-parto as dietas foram: Controle (CON), sem adição de gordura e 2,8% de extrato etéreo baseado na matéria seca; Gordura Saturada (SAT), com inclusão de 2,4% de MAGNAPAC® (Tectron Ltda.) com 4,7% de EE baseado na MS; Gordura Insaturada (INS), com inclusão de 11% de grão de Soja, com 4,7% de EE baseado na MS. No período pós-parto, Controle (CON), sem adição de gordura e com 2,8% de EE baseado na MS; Gordura Saturada (SAT), com inclusão de 2,6% de MAGNAPAC® (Tectron Ltda.) com 5,0% de EE baseado na MS; Gordura Insaturada (INS), com inclusão de 13% de Grão de Soja, com 5% de EE baseado na MS. As dietas foram fornecidas 35 dias da data prevista do parto até 90 dias de lactação. No período pré-parto foi utilizada silagem de milho como volumoso, em uma relação volumoso:concentrado de 70:30, enquanto que no período pós-parto foram utilizados 5% de feno de tifton e 45% de silagem de milho como fontes de volumoso, com uma relação entre volumoso:concentrado de 50:50. A produção de leite foi mensurada diariamente durante todo o período experimental. As amostras utilizadas para análise da composição e o perfil de ácidos graxos do leite foram coletadas semanalmente, sendo provenientes das duas ordenhas diárias. As amostras de sangue para análise dos metabólitos sanguíneos foram coletadas semanalmente. Do dia 14 ao dia 90 pós-parto foi realizado avaliação da dinâmica folicular por ultrassonografia. Nos dias 30, 60 e 90 foram realizadas aspirações foliculares, com posterior fertilização in vitro dos oócitos. Todas as variáveis mensuradas foram avaliadas pelo procedimento PROC MIXED do SAS (2004) utilizando-se os seguintes contrastes ortogonais: Controle vs Fontes de Lipídeo (C1); Fonte de ácidos graxos saturados x Fonte de ácidos graxos insaturados (C2). Foi utilizado nível de 5% de significância. No período pós-parto, a suplementação de lipídeos aumentou as concentrações de AGNE quando comparada a dieta CON. O tratamento INS reduziu as concentrações de proteínas totais e de BHB quando comparado ao SAT. Houve interação entre tempo e dieta paras as variáveis colesterol total, LDL e BHB. Houve redução da produção de leite corrigida para 3,5% de gordura, na produção total de gordura e de proteína, e no teor de gordura do leite quando comparado o tratamento INS com o SAT. A suplementação de lipídeo reduziu as concentrações do somatório dos ácidos graxos saturados (Σ A.G. Saturados), dos ácidos graxos com menos de 16 carbonos (>C16), e da relação entre ácidos graxos saturados com insaturados (Σ SFA/(MUFA+PUFA)); e aumentou as concentrações de ácidos graxos acima de 16 carbonos (>C16), de ácidos graxos insaturados com 18 carbonos, da somatória dos ácidos graxos insaturados e dos ácidos graxos poli-insaturados (Σ A.G. Poli-insaturados). O tratamento INS aumentou a concentração de ácidos graxos poli-insaturados totais (Σ A.G. poli-insaturados), e reduziu o total de ácidos graxos de 16 carbonos (C16) em relação ao tratamento SAT. Houve redução no número de folículos classe 1, e folículos totais (NC1 e NTFol) com suplementação de lipídeo. O tratamento SAT aumentou o número de folículos classe 5 (NC5), em relação ao INS. Não houve alteração na qualidade oocitária e embrionária com a suplementação de lipídeo e entre as duas fontes de lipídeo. A suplementação de lipídeos insaturados através da suplementação via grão de soja cru e integral, quando comparada à suplementação de lipídeos saturados, para vacas no período de transição e início de lactação, não interferiu na dinâmica folicular e qualidade oocitária e embrionária; e reduziu o desempenho produtivo, devido às reduções na produção de gordura do leite a na produção de leite corrigida para 3,5% dos animais suplementados

Condensados de Bose-Einstein em redes óticas: a transição superfluido-isolante de Mott em redes hexagonais e a classe de universalidade superfluido-vidro de Bose em 3D

Estudamos transições de fases quânticas em gases bosônicos ultrafrios aprisionados em redes óticas. A física desses sistemas é capturada por um modelo do tipo Bose-Hubbard que, no caso de um sistema sem desordem, em que os átomos têm interação de curto alcance e o tunelamento é apenas entre sítios primeiros vizinhos, prevê a transição de fases quântica superfluido-isolante de Mott (SF-MI) quando a profundidade do potencial da rede ótica é variado. Num primeiro estudo, verificamos como o diagrama de fases dessa transição muda quando passamos de uma rede quadrada para uma hexagonal. Num segundo, investigamos como a desordem modifica essa transição. No estudo com rede hexagonal, apresentamos o diagrama de fases da transição SF-MI e uma estimativa para o ponto crítico do primeiro lobo de Mott. Esses resultados foram obtidos usando o algoritmo de Monte Carlo quântico denominado Worm. Comparamos nossos resultados com os obtidos a partir de uma aproximação de campo médio e com os de um sistema com uma rede ótica quadrada. Ao introduzir desordem no sistema, uma nova fase emerge no diagrama de fases do estado fundamental intermediando a fase superfluida e a isolante de Mott. Essa nova fase é conhecida como vidro de Bose (BG) e a transição de fases quântica SF-BG que ocorre nesse sistema gerou muitas controvérsias desde seus primeiros estudos iniciados no fim dos anos 80. Apesar dos avanços em direção ao entendimento completo desta transição, a caracterização básica das suas propriedades críticas ainda é debatida. O que motivou nosso estudo, foi a publicação de resultados experimentais e numéricos em sistemas tridimensionais [Yu et al. Nature 489, 379 (2012), Yu et al. PRB 86, 134421 (2012)] que violam a lei de escala $\\phi= u z$, em que $\\phi$ é o expoente da temperatura crítica, $z$ é o expoente crítico dinâmico e $ u$ é o expoente do comprimento de correlação. Abordamos essa controvérsia numericamente fazendo uma análise de escalonamento finito usando o algoritmo Worm nas suas versões quântica e clássica. Nossos resultados demonstram que trabalhos anteriores sobre a dependência da temperatura de transição superfluido-líquido normal com o potencial químico (ou campo magnético, em sistemas de spin), $T_c \\propto (\\mu-\\mu_c)^\\phi$, estavam equivocados na interpretação de um comportamento transiente na aproximação da região crítica genuína. Quando os parâmetros do modelo são modificados de maneira a ampliar a região crítica quântica, simulações com ambos os modelos clássico e quântico revelam que a lei de escala $\\phi= u z$ [com $\\phi=2.7(2)$, $z=3$ e $ u = 0.88(5)$] é válida. Também estimamos o expoente crítico do parâmetro de ordem, encontrando $\\beta=1.5(2)$.

Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.