Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

Úlceras crônicas dos membros inferiores: avaliação pela fotografia digital

OBJETIVO: Avaliar o desempenho da análise de imagem digital na estimativa da área acometida pelas úlceras crônicas dos membros inferiores. MÉTODOS: Estudo prospectivo em que foram mensuradas úlceras empregando o método planimétrico clássico, utilizando desenho dos seus contornos em filme plástico transparente, medida sua área posteriormente por folha milimetrada. Esses valores foram utilizados como padrão para a comparação com a estimativa de área pelas fotografias digitais padronizadas das úlceras e dos desenhos das mesmas em filme plástico. Para criar um referencial de conversão dos pixels em milímetros, foi empregado um adesivo com tamanho conhecido, adjacente à úlcera. RESULTADOS: foram avaliadas 42 lesões em 20 pacientes portadores de úlceras crônicas de membros inferiores. As áreas das úlceras variaram de 0,24 a 101,65cm². Observou-se forte correlação entre as medidas planimétricas e as fotos das úlceras (R²=0,86 p<0,01), porém a correlação das medidas planimétricas com as fotos digitais dos desenhos das úlceras foi ainda maior (R²=0,99 p<0,01). CONCLUSÃO: A fotografia digital padronizada revelou-se método rápido, preciso e não-invasivo capaz de estimar a área afetada por úlceras. A avaliação das medidas fotográficas dos contornos das úlceras deve ser preferida em relação à análise de sua fotografia direta.

Probióticos e prebióticos na atenção primária ao câncer de cólon

CONTEXTO: As neoplasias de cólon são a terceira forma mais comum de câncer atualmente. Seus tratamentos ainda estão associados a elevado risco de complicações, ressaltando, assim, a necessidade de elaborar novas estratégias de tratamento. A ingestão de probióticos, prebióticos ou a combinação de ambos (simbióticos), representa nova opção terapêutica. Diante da importância do equilíbrio quantitativo e qualitativo da microbiota intestinal para saúde humana e com objetivo de melhor elucidar o papel dos probióticos e prebióticos, o tema citado procura abordar a importância destes como coadjuvantes na prevenção e tratamento de câncer de cólon. METODOLOGIA: Foi realizada pesquisa em bancos de dados científicos (Medline, Lilacs, PubMed, Ovid, Scielo) através de levantamento de artigos científicos, além da busca direta aos periódicos, priorizando-se os mesmos do período de 2003 a 2008. Foram, também, coletadas informações através de sites da internet, como forma de melhor compreender a epidemiologia, conceitos e tratamentos dessa patologia. RESULTADOS: Estudos apontam relação inversa entre o consumo de probióticos e prebióticos e o diagnóstico de câncer de cólon, sendo que alguns dos possíveis mecanismos englobam: aumento da resposta imune, redução da resposta inflamatória, inibição de formação de células tumorais e da conversão de substâncias pré-carcinogênicas em carcinogênicas. CONCLUSÃO: Através da realização desta revisão literária foi possível obter respostas positivas quanto ao uso de probióticos e prebióticos na carcinogênese, colocando seu uso como recomendado de forma adequada.

Silagem de grãos úmidos de milho em substituição ao milho seco da ração de frangos de corte criados em dois sistemas

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Enzima e simbiótico para frangos criados nos sistemas convencional e alternativo

O objetivo deste trabalho foi estudar os efeitos da inclusão de enzima e simbiótico nas rações de frangos de corte criados nos sistemas convencional e alternativo sobre o desempenho, rendimento de carcaça, cortes e gordura abdominal e também avaliar economicamente o uso destes aditivos em ambos os sistemas de criação. Foram utilizados 720 pintos machos Cobb, com um dia de idade, distribuídos em um delineamento em blocos casualizados no esquema fatorial 2x3, com dois sistemas de criação: convencional (com promotor de crescimento) e alternativo (sem promotor de crescimento) e três aditivos: sem outro aditivo (SA), com simbiótico (SI) e com enzima + simbiótico (SIE), com 4 repetições de 30 aves cada. Aos 42 dias de idade, o fator de produção (FP) foi menor (P<0,05) para aves SA (324), quando comparadas às tratadas com SI (334) e SIE (337). Aves criadas no sistema convencional apresentaram maior (P<0,05) FP (338), quando comparadas às do sistema de criação alternativo (325). No sistema alternativo, a conversão alimentar foi melhor (P<0,05) para aves SI (1,77), quando comparadas às SIE (1,82) e SA (1,85). O uso de SI e SIE favorece o desempenho dos frangos aos 42 dias de idade e não influencia o rendimento de carcaça, cortes e gordura abdominal, tanto no sistema convencional como no alternativo, sendo que estes aditivos aumentam os custos de produção em ambos os sistemas. O sistema alternativo de criação proporciona maior retorno econômico, apesar do menor fator de produção.

Alho em pó na alimentação alternativa de frangos de corte

O objetivo deste trabalho foi estudar o efeito da inclusão de alho em pó (Allium sativum) em rações para frangos, sobre desempenho, rendimento de carcaça e partes, peso de órgãos, níveis de colesterol e triacilgliceróis sangüíneos, e morfometria intestinal. Foram utilizados 720 pintainhos machos Cobb, com um dia de idade, distribuídos em blocos casualizados com seis tratamentos: ração sem promotor de crescimento (PC), sem anticoccidiano (AC) e com 0,00, 0,25, 0,50, 0,75 e 1,00% de alho; e ração com PC+AC, com quatro repetições de 30 aves cada. Peso, ganho de peso, consumo de ração, conversão alimentar e mortalidade foram obtidos aos 21 e 42 dias de idade. Aos 42 dias de idade foram abatidas 20 aves por tratamento para determinação do rendimento de carcaça e 4 aves para avaliação do peso de órgãos e morfometria intestinal. Sangue de 8 aves por tratamento foi colhido para determinação de colesterol e triacilgliceróis. em aves alimentadas até 42 dias de idade com ração sem promotor de crescimento e anticoccidiano, a inclusão de até 1,00% de alho em pó beneficiou a conversão alimentar e não alterou o rendimento de carcaça e partes, peso relativo dos órgãos, mucosa intestinal, nem os níveis séricos de colesterol e triacilgliceróis. O alho não substitui com eficiência o antibiótico usado como promotor de crescimento em rações de frangos.

Levedura como pronutriente em dietas para matrizes e alevinos de tilápia-do-nilo

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Fibra bruta e óleo em dietas práticas para alevinos de tilápia do Nilo (Oreochromis niloticus)

Objetivou-se, neste estudo, avaliar os efeitos de diferentes níveis de fibra bruta e de óleo de soja em rações para a tilápia do Nilo. Utilizaram-se 24 aquários circulares de 250 L, dotados de sistema individual de reabastecimento de água e aquecimento. A densidade de estocagem foi de sete peixes/aquário, totalizando 168 peixes, com peso inicial médio de 6,41±0,05 g. Ganho de peso, conversão alimentar aparente, taxa de crescimento específico e taxa de eficiência protéica foram avaliados. Foram analisados a composição química e o rendimento de carcaça, gordura visceral e índice hepatossomático dos peixes. O experimento foi realizado segundo um esquema fatorial 3 x 2 (três níveis de fibra bruta 6,00; 9,00 e 12,00%, com e sem óleo de soja) no delineamento inteiramente ao acaso com quatro repetições. Verificou-se que a fibra interfere de forma significativa na digestibilidade aparente da dieta, com ação positiva para a proteína e negativa para a matéria seca, não interferindo na digestibilidade do extrato etéreo; que a fibra bruta não tem efeito significativo sobre o rendimento de carcaça e no depósito de gordura visceral, mas a inclusão de óleo à ração tem efeito significativo no depósito de gordura visceral; que a fibra resulta em efeito significativo na composição química da carcaça (teor de água e proteína), não tendo efeito sobre sua composição em gordura; e que a inclusão de gordura à ração diminui e eleva de forma significativa, respectivamente, o conteúdo de proteína e extrato etéreo da carcaça. Concluiu-se que, na fase de alevinagem (6,40 a 31,00g), pode-se utilizar na dieta da tilápia do Nilo até 9,00% de fibra bruta, e que a suplementação de níveis excessivos de lipídeos na dieta piora a composição da carcaça e resulta em maior depósito de gordura visceral.

Exigência em fósforo disponível para alevinos de tilápia do Nilo

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Desempenho do piauçu (Leporinus macrocephalus) arraçoado com dietas contendo diferentes teores de tanino

Este estudo foi conduzido com o objetivo de avaliar o efeito dos taninos sobre o desempenho produtivo e a composição da carcaça do piauçu. Utilizaram-se 21 aquários (80 L) num sistema de fluxo fechado com circulação continua (vazão de 1 L/min), filtro biológico e temperatura controlada. Empregaram-se 84 peixes com peso médio inicial de 5,06 g, na densidade de quatro por aquário, num delineamento inteiramente casualizado com sete tratamentos e três repetições. As rações foram formuladas de forma a apresentarem-se isoenergéticas (3200 kcal ED/ kg de ração) e isoprotéicas (30% PB), com as seguintes composições de tanino total: 0,00; 0,23; 0,46; 0,69; 0,92; 1,37 e 1,82. Avaliou-se a influência do tanino sobre o desempenho produtivo: ganho de peso, conversão alimentar aparente e taxa de eficiência protéica; a composição corporal dos peixes: proteína bruta da carcaça, extrato etéreo da carcaça, proteína bruta e extrato etéreo dos fígados e gordura visceral; e a relação hepatossomática: índice hepatossomático. Concluiu-se que, embora a presença de até 0,69% de taninos na ração não tenha comprometido os índices de conversão alimentar aparente e taxa de eficiência protéica das rações, níveis iguais ou superiores a 0,46% resultaram em ganho de peso significativamente inferior para o piauçu e que a espécie se mostrou sensível à presença de taninos condensados, os quais prejudicaram significativamente o metabolismo e o valor biológico dos nutrientes presentes nas rações.

Substituição do milho pelo triticale na alimentação de tilápias-do-nilo

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Avaliação do desempenho e do rendimento de carcaça de quatro linhagens de frangos de corte em dois sistemas de criação

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Farelo de trigo e complexo enzimático na alimentação de frangas de reposição

Foram avaliados os efeitos da inclusão do farelo de trigo (FT) com e sem a suplementação da ração com um complexo enzimático (CE), composto de amilase, protease e celulase, sobre o desempenho de frangas semipesadas (15 semanas de idade) e seu efeito residual na produção de ovos. Foram utilizadas 288 frangas, distribuídas em delineamento inteiramente casualizado, em esquema fatorial 4X2, sendo quatro níveis de FT e dois níveis de um CE na ração: 0 (controle), 10, 20 e 30% X suplementação com 0 ou 50g de um CE/100 kg de ração, resultando em oito tratamentos, com seis repetições. Na fase de crescimento, o consumo de ração, o ganho de peso, a conversão alimentar e o peso vivo foram melhores para as aves que receberam as dietas isentas de FT. A adição do CE diminuiu o consumo de ração nas dietas com 0 e 30% de FT. Durante a fase de produção, o uso do CE na ração de recria sem FT aumentou o peso vivo das aves, mas reduziu no nível de 30% de FT. A produção de ovos diminuiu no nível de 20% de FT quando a dieta foi suplementada com o CE. As conversões alimentares no nível de 10% de FT foram semelhantes ao controle. Observou-se efeito quadrático do nível de FT sobre a conversão por massa de ovos, que foi melhor com 8,01%. Portanto, recomenda-se até 8,01% de inclusão do farelo de trigo na ração de poedeiras semipesadas de 15 a 19 semanas de idade.

Efeito da Temperatura Ambiente e da Restrição Alimentar sobre o Desempenho e a Composição de Fibras Musculares Esqueléticas de Frangos de Corte

O objetivo desta pesquisa foi estudar os efeitos da temperatura ambiente e da restrição alimentar sobre o desempenho e a composição do músculo flexor longo do hálux de frangos de corte. Trezentos e vinte e quatro pintos machos da linhagem Ross, com cinco dias de idade, foram distribuídos em um delineamento em parcelas subdivididas, considerando os tratamentos principais no esquema fatorial 3x3 inteiramente casualizado (três programas de alimentação: ad libitum, restrição precoce - 8 a 14 dias e restrição tardia - 29 a 35 dias; três níveis de temperatura: termoneutra, calor e frio). Os tratamentos secundários foram as idades das aves (seis idades: 7, 14, 21, 28, 35 e 42 dias). Não houve interação entre programa de alimentação e temperatura ou entre programa de alimentação, temperatura e idade para as características de desempenho dos frangos. Independentemente do programa de alimentação, houve efeito de temperatura para peso, ganho de peso, consumo de ração e conversão alimentar. O programa de alimentação afetou o peso e o ganho de peso das aves. Houve interação entre programa de alimentação e idade e entre temperatura e idade para peso vivo ao abate e peso do músculo da perna direita. Estas interações não foram significativas para peso do músculo da perna esquerda, área da secção transversal do músculo e relação peso do músculo/peso vivo ao abate. Conclui-se que a temperatura ambiente afeta o desempenho dos frangos de corte, porém não altera o número, diâmetro e freqüência de fibras musculares no músculo flexor longo do hálux. A restrição alimentar precoce pode ser adotada como prática de manejo, sem que se observem alterações do desempenho na idade de abate e nem na composição das fibras musculares esqueléticas dos frangos de corte.

Efeitos da substituição parcial do milho na dieta pelo resíduo de panificação sobre o desempenho de novilhos da raça Holandesa

Foi estudada a adição de resíduo de panificação (RP) em substituição ao milho, na dieta de novilhos Holandeses. Foram aplicados quatro tratamentos, correspondendo, respectivamente, à adição de 0%, 10%, 20% e 30% de RP na mistura de concentrados, em substituição ao milho. A alimentação fornecida foi ração completa, peletizada, contendo 30% de feno de Coast-cross (Cynodon dactylon L.) como volumoso. O delineamento experimental foi o de blocos casualizados, com quatro tratamentos e cinco repetições, para um total de 20 animais. Foram avaliados o consumo de matéria seca, conversão alimentar, ganho de peso, perímetro torácico e altura da cernelha. Avaliou-se a incidência de diarréia, por meio de observação diária das fezes. O experimento iniciou quando os animais atingiram 90 kg de peso vivo médio, e durou 120 dias. Os resultados não mostraram diferença estatística significativa entre os tratamentos em relação aos parâmetros estudados. A adição do RP causou redução de 3,74%, 7,44% e 10,90% no custo de alimentação, respectivamente nos níveis 10%, 20% e 30% de RP, em comparação com a dieta-controle. O RP é uma fonte alternativa viável para a alimentação e redução dos custos de criação dos novilhos.