Repositório RCAAP
Uma análise do grau de eficiência de leitura e dos efeitos da intervenção espectral em portadores da Síndrome de Meares-Irlen: análise por rastreador da movimentação ocular
Este estudo teve por objetivo analisar o efeito da intervenção com filtros espectrais seletivos Irlen sobre o Grau de Eficiência Leitora em pacientes portadores da Síndrome de Meares-Irlen através da análise dos registros de rastreamento da movimentação ocular. A amostra foicomposta de 20 indivíduos na faixa etária entre 10 e 30 anos, idade média de 15,1 anos, distribuídos igualmente entre os dois sexos e que fizeram uso constante dos filtros espectrais em suas atividades da vida diária como intervenção para o tratamento da Síndrome de Irlen. Os parâmetros considerados foram os registros de leitura na fase inicial pré intervenção e após um follow-up mínimo de 12 meses de intervenção com filtros espectrais, comparando-se o número de fixações, velocidade de leitura e compreensão durante uma leitura com dificuldade ajustada à escolaridade. A Síndrome de Irlen é uma disfunção de natureza neurológica com manifestações visuoperceptuais onde se observam dificuldades de leitura associadas à fotossensibilidade, restrição de campo visual periférico, dificuldade de adaptação a contrastes (competição figura/fundo ou entre letras e papel impresso), dificuldade de sustentar a atenção visual e cefaléia. O protocolo diagnóstico adotado inclui além do exame oftalmológicoconvencional (acuidade visual, refração dinâmica e sob cicloplegia, biomicroscopia, tonometria, fundoscopia e cover test ); testes de visão funcional computadorizado que incluem testes de sensibilidade ao contraste sob estímulos fotópicos e mesópicos com e semofuscamento ajustados em 4 fases e usando freqüências espaciais entre 1,5 a 18,0 ciclos por grau sob contraste variáveis e progressivos, 2 testes para estereopsia, testes de vergências computadorizados, 2 testes para discriminação cromática, exame ortóptico, aberrometria poranálise de frente de onda, visão binocular, tomografia de coerência óptica, campos visuais estáticos e por estímulos de dupla freqüência e oculomotricidade. Esta investigação diagnóstica tem por objetivo detectar as alterações de qualidade e desempenho nos testespsicofísicos direcionados para estímulos dos sistemas Parvocelular e Magnocelulares e déficits no processamento visual espacial, temporal, contraste e oculomotricidade bem como seu impacto na eficiência visual e habilidade de leitura. Os resultados pós intervenção demonstram que a eficiência de leitura foi aprimorada em 95% dos casos (19 entre 20 casos da amostra). Ao serem desdobrados segundo os parâmetros constantes no protocolo, os dados mostram que 100% dos casos apresentaram redução no número de fixações, sendo que em 80% destes a redução foi acompanhada de melhora na sincronicidade e paridade no trabalho oculomotor. A velocidade de leitura, medida em número de palavras lidas/minuto foi acentuadamente superior em 85% dos casos, com 01 caso inalterado e dois com redução da velocidade. Como evidenciado no presente estudo, o uso de filtros espectrais seletivos Irlen mostrou-se como uma alternativa válida pelos efeitos sobre a sincronicidade oculomotora, velocidade de leitura, número de fixações além de ser um tratamento de caráter não invasivo, de custo razoável, com resultados progressivos, favorecendo além da leitura, outras áreas de integração intermodal contribuintes na aprendizagem.
2019-08-10T12:07:17Z
Marina Eurides Alves Gumarâes
Estudo químico e avaliação do potencial farmacológico e herbicida de Maytenus imbricata Mart. ex. Reissek
Neste trabalho, foram estudados folhas, galhos e sementes de Maytenus imbricata cuja constituição química e atividade farmacológica até o momento não tem sido relatada na literatura. Do extrato hexânico das folhas e dos galhos de Maytenus imbricata foram isolados e identificados 3-oxo-lup-20(29)-en-30-al, 30-hidroxi-lup-20(29)-en-3-ona, 11 -hidroxi-lup-20(29)-en-3-ona, 3 ,30-diidroxi-lup-20(29)-eno, lupenona, 3 -esteariloxi-lupan-20(29)-eno, friedelina, ácido 3,4-seco-friedelan-3-óico e 1-hidroxi-3,6-dimetoxi-8-metil-9-xantona. Também foram identificadas misturas de friedelina e friedelinol, misturas de ésteres de ácidos graxos e misturas dos lupanos citados anteriormente. O extrato clorofórmico das folhas foi analisado por CG-EM, detectando a presença de ácido palmítico e de ácido esteárico, como constituintes principais. Do extrato em acetato de etila obtido de folhas e galhos foram isolados epicatequina e uma mistura de proantocinidinas. Também foram identificados por CG-EM, ácido palmítico, ácido adípico, o açúcar D-sorbitol e os hidrocarbonetos de cadeia longa n-octadecano e eicosano. Na obtenção do extrato etanólico dos galhos observou-se a precipitação de dulcitol, um poliol isolado comumente de espécies da família Celastraceae. A análise por CG-EM do extrato etanólico dos galhos e folhas possibilitou a identificação dos açúcares -D-glicopiranose e D-sorbitol, bem como dos ácidos adípico e eicosanóico. O óleo essencial isolado das folhas apresentou como constituintes o 1 -pineno, 2 -pineno, 2-feniltridecano, 3-feniltridecano e hexanodioato de dioctila. Nas sementes e no elaiosoma foram identificados principalmente ésteres de ácidos graxos, predominando ésteres dos ácidos oléico, esteárico e palmítico. Para a obtenção e caracterização dos constituintes de Maytenus imbricata foram utilizadas técnicas cromatográficas (CCD, CG-EM, CLAE) e métodos espectrométricos de análise (IV, RMN de 1H e de 13C, incluindo experimentos DEPT-135 e de 2D). A análise cristalográfica por difratometria de raios-X foi utilizada como um recurso para confirmação da estrutura e conformação molecular dos lupanos 30-hidroxi-lup-20(29)-en-3-ona, 11 -hidroxi-lup-20(29)-en-3-ona e 3 ,30-diidroxi-lup-20(29)-eno. O estudo da anatomia foliar possibilitou verificar que caracteres comuns a outras espécies do gênero Maytenus estão presentes em M. imbricata, como esclereídes e cutícula espessa, idioblastos contendo compostos fenólicos, cristais de oxalato de cálcio e ausência de tricomas. A reação de Bayer-Villiger mostrou-se eficiente para a oxidação da friedelina e obtenção do ácido 3,4-seco-friedelan-3-óico. Extratos e substâncias isolados de M. imbricata foram submetidos a testes de avaliação da atividade antioxidante para verificar sua potencialidade como fitoterápico. O extrato em acetato de etila das folhas, etanólico, clorofórmico e hidroalcoólico das raízes, o extrato em acetato de etila dos galhos e a epicatequina mostraram resultados bastante promissores, exibindo potencial atividade antioxidante, alto conteúdo de fenólicos totais e poder redutor. O ácido 3,4-seco-friedelan-3-óico se mostrou altamente eficaz na inibição da síntese do ATP.
2019-08-12T04:16:10Z
Silvia Ribeiro de Souza Silva
Política fiscal e multiplicador fiscal no Brasil: teoria e evidência empírica (1997-2019)
FAPEMIG - Fundação de Amparo à Pesquisa do Estado de Minas Gerais
2021-11-12T18:46:22Z
Felipe Segateli Kohle Paulino
A compreensão de Filipe Nunes acerca da pintura e dos seus elementos "técnico-científicos" no tratado Arte da pintura, symmetria e perspectiva, Lisboa, 1615
A presente pesquisa tem por objetivo investigar a maneira pela qual o português Filipe Nunes compreendeu a pintura, a simetria e a perspectiva em seu tratado Arte da Pintura, Symmetria e Perspectiva, publicado em Lisboa, em 1615. Como ocorria comumente, nesta edição foi publicado, juntamente ao Arte Poética, um tratado cujo objetivo foi o de ensinar a métrica. No ano de 1767, Arte da Pintura é editado novamente, no entanto, excluiu-se Arte Poética. Em seu tratado de pintura, Filipe Nunes teve a preocupação em defender a pintura como uma arte liberal e nobre e, para isso, recorreu aos exemplos de tratadistas ibéricos e italianos, os quais tiveram a mesma preocupação. Entende-se que o tratado de Nunes foi relevante, pois foi escrito em um contexto cultural no qual os pintores reivindicavam sua libertação das tutelas coorporativas, que os categorizavam como artesãos. Ademais, semelhantemente aos tratados científicos de seu tempo, Filipe Nunes chama a atenção para os elementos que davam cientificidade à pintura, como a perspectiva e a simetria, importantes à prática pictórica. Para subsidiar o nosso objetivo, elucidaremos sobre sua trajetória biográfica de Filipe Nunes e sobre o universo cultural, artístico e científico que o cercou durante a escrita do tratado. Em meio à parca produção de tratados de pintura portuguesa, chama a atenção o fato de um religioso, professo no Convento de São Domingo de Lisboa, desde 1591, interessar-se pela pintura e pretender ensinar a perspectiva e a simetria considerados fulcrais no período. Além do mais, ressalta-se que o tratado também é um manual técnico, uma vez que pretendeu orientar os pintores ao saber-fazer da arte da pintura. As fontes principais que ancoraram este trabalho foram os tratados de pintura com os quais Filipe Nunes dialogou e referenciou ao longo de sua reflexão.
2019-08-12T10:00:10Z
Renata Nogueira Gomes de Morais
Sentido novo da vida rural: a formação de professoras na Escola Normal Regional D. Joaquim Silvério de Souza (1949-1963)
O objetivo desta pesquisa foi o de identificar e analisar as práticas de formação docente na Escola Normal Regional Dom Joaquim Silvério de Souza, localizada no distrito de Conselheiro Mata, da cidade de Diamantina, Minas Gerais. A hipótese analisada debate acerca da renovação teórica e instrumental na formação do professor primário mineiro para o meio rural. Para tanto, buscou-se apreender as estratégias de ensino e instrução empregadas no processo de formação profissional das normalistas rurais pela escola de Conselheiro Mata, destacando-se as Didáticas, os clubes e grêmios na realização das práticas de ensino. O recorte temporal desta pesquisa teve o intervalo entre os anos de 1949 e 1963. A data inicial refere-se à organização e estruturação da instituição de Conselheiro Mata, e a data final, pelo advento da promulgação do Decreto Estatual n.º.879, de 1963, que modifica os currículos para o ensino normal. No aspecto metodológico, foram realizados estudos bibliográficos sobre a história da educação rural e estudos mais gerais referentes às discussões sociológicas acerca das categorias rural e urbano. Diferentes fontes documentais foram consultadas: legislação, relatórios e documentos oficiais, jornais, revistas, livros e coletâneas, diários escolares, fotografias, além dos relatos das exnormalistas de Conselheiro Mata. Essas fontes consultadas foram localizadas nos arquivos da Escola Normal Regional D. Joaquim Silvério de Souza; no Arquivo do Centro de Documentação e Pesquisa Helena Antipoff (CDPHE); no Acervo da Biblioteca da Faculdade de Economia da UFMG; no Acervo de jornais da Biblioteca Antônio Torres; nos Acervos bibliográficos da UFMG e da UFVJM; e em acervos particulares.
2019-08-14T12:58:35Z
Leonardo dos Santos Neves
Estudos físico-químicos e desenvolvimento de baterias de inserção de prótons
FAPEMIG - Fundação de Amparo à Pesquisa do Estado de Minas Gerais
Imagem corporal: uma abordagem clínica
A imagem corporal traduz a relação do sujeito com a castração. A busca irrefreada da perfeição estética do corpo é uma das formas de tentar velar a castração. A tese que se visa demonstrar é de que a linguagem, via os significantes, se inscreve como uma rede simbólica que tem efeitos constitutivos sobre a estrutura da vida psíquica. E esses efeitos da linguagem se manifestam no nível do corpo de forma distinta da estrutura de funcionamento do corpo como organismo. Para fins de estudo e investigação sobre a imagem corporal definem-se quatro eixos teóricos básicos: os dois primeiros - imagem especular e autopunição - constituem elementos de definição do objeto de investigação, aqui proposto, enquanto o terceiro e o quarto - a passagem ao ato e os fenômenos de corpo - se inscrevem como consequências. Este trabalho foi desenvolvido no âmbito da Pós-Graduação em Ciências da Saúde, Saúde da Criança e Adolescente, da Faculdade de Medicina da UFMG. Elegeu-se como campo de pesquisa clínica o Setor de Saúde do Adolescente1 e o NIAB,2 Núcleo de Investigação em Anorexia e Bulimia. Em suma, o que se visa demonstrar são os efeitos das palavras sobre os corpos, a inscrição sobre o corpo como organismo do processo de constituição psíquica do eu e do sujeito, quando se define a estrutura clínica - neurose ou psicose - em casos em que predominam alterações psicopatológicas da imagem corporal.
2019-08-10T11:32:09Z
Ana Maria Costa da Silva Lopes
Um olhar para a História nos anos iniciais: concepções e práticas de ensino de História de professoras de uma Escola Municipal de Contagem
Este trabalho foi desenvolvido com vistas a compreender aspectos do ensino de História nos anos iniciais. Assim, como objetivo geral, por meio de um estudo de caso, pretendeu-se investigar concepções e práticas de ensino de História de cinco professoras, de turmas de 4º e 5º anos, de uma escola da Rede Municipal de Contagem. O trabalho de campo incluiu participação em reuniões escolares, observação participante nas aulas de História, conversas com pessoas da equipe escolar e as respostas das professoras participantes a um questionário. As anotações de campo e as fotografias de materiais diversos compuseram um diário de bordo. Almejou-se também compreender, por meio de estudo bibliográfico e de pesquisa por amostragem, realizada em janeiro de 2021 com 47 docentes dos anos iniciais, as principais características de um material didático que atenda as demandas de estudantes e professoras/es dos anos iniciais. Considerando que o conhecimento de natureza histórica é uma parte importante da cultura humana, quando socializado com crianças dos primeiros anos de vida pode ser permeado por estereótipos e preconceitos. Por outro lado, o conhecimento histórico especializado proveniente de investigação científica possui importância fundamental para a formação e o desenvolvimento emocional, cognitivo e intelectual dos indivíduos e seu acesso ocorre, especialmente, na escola. Desta forma, as professoras dos anos iniciais podem iniciar o processo de desconstruir entre as/os estudantes visões de uma História oficial, focada na formação da identidade nacional, e contribuir para a construção de representações sobre o passado que auxiliem na construção de identidades sociais e do pensar historicamente. Como resultados da investigação por amostragem, observou-se práticas de ensino interativas, dialógicas e focada nas/os estudantes e resquícios das concepções da História tradicional entre as professoras do estudo de caso. A Base Nacional Comum Curricular de História (BNCC) e o Referencial Curricular de Contagem parecem não contribuir para uma renovação no ensino de História. Em relação ao recurso didático, as/os professoras/es demandam um material interativo, com conteúdos contextualizados e linguagem que atenda pedagogicamente às necessidades das/os estudantes dos anos iniciais. De maneira geral, considera-se que os resultados desta investigação poderão contribuir para as discussões sobre conhecimento histórico, práticas de ensino de História, Didática da História, desenvolvimento profissional e valorização dos saberes docentes.
Special distributions determined by their singular scheme and residues
FAPEMIG - Fundação de Amparo à Pesquisa do Estado de Minas Gerais
Eficácia de um protocolo de exercícios aeróbicos aquáticos na concentração de fator neurotrófico derivado do cérebro (BDNF) e o impacto em medidas clinicas em indivíduos após acidente vascular encefálico (AVE) na fase subaguda: um protocolo clínico randomizado
Introdução: O acidente vascular encefálico (AVE) é uma das maiores causas de morbidade do mundo. Dentre as estratégias de reabilitação, evidências mostram que o exercício aeróbico é capaz de promover benefícios em parâmetros motores e cognitivos em indivíduos pós-AVE. Um dos mecanismos sugeridos que explicam os efeitos do exercício físico é o aumento da concentração de fator neurotrófico derivado do cérebro (BDNF), uma neurotrofina envolvida em processos de neuroplasticidade. No entanto, não há informações acerca do efeito de exercícios aeróbicos aquáticos na concentração de BDNF em indivíduos após AVE na fase subaguda e o seu impacto em medidas clínicas. Objetivos: Apresentar um protocolo de ensaio clínico randomizado. Será realizado treino aeróbico no meio aquático em indivíduos pós-AVE na fase subaguda. O objetivo primário é avaliar a eficácia de um programa de exercícios aeróbios aquáticos no aumento da concentração sérica de BDNF. O objetivo secundário é investigar se a alteração da concentração de BDNF causa impacto na melhora da mobilidade e capacidade de exercício, nas funções cognitiva e afetiva, desempenho funcional e qualidade de vida. Design: Ensaio clínico randomizado controlado (ERC). Local do Estudo: Clínica de Fisioterapia Aquática Participantes: O recrutamento será realizado no Ambulatório de Neurologia do Centro Metropolitano de Especialidades Médicas da Santa Casa de Belo Horizonte e no Hospital Risoleta Neves. Intervenção: Os participantes serão aleatorizados em dois grupos. O grupo experimental participará de um protocolo de exercícios aeróbios aquáticos, totalizando 18 sessões de 40 minutos cada. O grupo controle participará de um protocolo de exercícios aquáticos, baseado em alongamentos globais e de relaxamento, durante o mesmo período e duração. Medidas de desfecho: A medida primária será a concentração periférica de BDNF antes e após a intervenção. As medidas secundárias serão a avaliação da mobilidade (Timed Up and Go, TUG e teste de 10 metros, T10m), capacidade de exercício (Teste de Caminhada de 6 Minutos, TC6m), desempenho funcional (Medida de Independência Funcional, MIF), função cognitiva (Avaliação Cognitiva Montreal, MOCA), função psicoafetiva (Inventário de Depressão de Beck, BDI) e avaliação da qualidade de vida (Stroke Specific Quality of Life, SSQOL). Conclusão: Os achados deste ensaio clínico podem fornecer importantes informações acerca dos efeitos de um protocolo de exercícios aeróbicos em meio aquático na concentração de BDNF em indivíduos após AVE na fase subaguda e como essas alterações podem influenciar na melhora da capacidade, desempenho funcional e qualidade de vida.
Pesos e medidas em estudos de gênero: os desafios para a mensuração de mudanças sociais
Lançado em outubro de 2016, o livro "Até onde caminhou a revolução de gênero no Brasil? Implicações demográficas e questões sociais" é fruto de um seminário de homônimo, realizado em dezembro de 2015. Como resultado de uma troca de conhecimentos entre especialistas de diversas áreas, o livro é produto das atividades do Grupo de Trabalho População e Gênero, da Associação Brasileira de Estudos Populacionais, realizado em colaboração com o Grupo de Estudos de Gênero da Fundação Carlos Chagas. Além de destacar os principais aspectos tratados pelos capítulos do livro, esta resenha pretende tecer comentários sobre as dificuldades e desafios para a mensuração das mudanças sociais, com foco nas relações de gênero, a propósito da provocação que o título do livro suscita: uma tarefa imprescindível, mas nem por isso fácil de ser realizada. O objetivo do livro – e do seminário que lhe deu origem – é debater o estado do conhecimento sobre as transformações na condição das mulheres brasileiras em diferentes dimensões, considerando os descompassos possíveis entre avanços, permanências e retrocessos. Na maioria dos textos que compõe a coletânea, isso é feito com base em análises robustas de bases de dados que dão um panorama nacional das diferenças entre homens e mulheres no mercado de trabalho, no campo da educação, entre outros aspectos. A obra é escrita por pesquisadores de destaque sobre a questão de gênero no Brasil e organizado por pesquisadoras que, acertadamente, escrevem os capítulos inicias e finais da publicação, promovendo uma articulação importante entre os temas que perpassam os textos.
Projeto de intervenção: ampliação do repertório musical de crianças de 05 a 06 anos da UMEI Vila Senhor dos Passos
A presente monografia tem como objetivo descrever o projeto de intervenção musical realizada na UMEI Vila Senhor dos Passos com crianças de 5 a 6 anos. A metodologia utilizada para a realização da intervenção foi à pesquisa-ação. Assim, a partir de um planejamento prévio, iniciou-se o reconhecimento da preferência musical das crianças de 5 a 6 anos da UMEI Vila Senhor dos passos, com o objetivo de reconhecer, identificar e elaborar a proposta de ampliar o repertório musical dos alunos. A pesquisa constatou-se que os alunos tinham um vínculo afetivo e sonoro como as músicas denominadas: sertanejas. Nesse sentido, foram realizadas atividades nesse território sonoro conhecido pelos alunos utilizando recursos como: fotografias, música, textos, imagens e discussão em grupo. Estas atividades foram registradas em diários de campo, fotografias, sínteses didáticas. Na sequencia foi apresentado aos alunos o gênero musical: Lundu. Outro conjunto de atividades foi desenvolvido com os mesmos procedimentos das ações realizadas anteriormente. Os resultados obtidos no projeto de intervenção foram à valorização da vivencia musical como prática pedagógica e a ampliação do repertorio musical dos alunos
2019-08-14T13:45:24Z
Vanessa Aparecida da Rocha Simão
Mobilidade urbana: avaliação da qualidade do transporte público por ônibus de Belo Horizonte pela população idosa com base em indicadores de qualidade
Este trabalho apresenta o resultado de uma pesquisa realizada com idosos, usuários do sistema de transporte coletivo rodoviário urbano de Belo Horizonte, com base em indicadores de qualidade. A princípio, é feita uma revisão bibliográfica sobre os temas mobilidade urbana, características dos idosos, indicadores de qualidade e sobre o sistema de transporte coletivo de Belo Horizonte. Com base nessa revisão e, principalmente na análise da pesquisa, avalia-se os serviços prestados pelo sistema de transporte da referida cidade na visão do idoso e propõe-se medidas para melhorar este serviço. Espera-se que os resultados desta pesquisa forneçam um diagnóstico do sistema de transporte de Belo Horizonte e forneçam subsídios na formulação de propostas específicas para melhorar o atendimento ao usuário idoso.
Propriedades espaciais e de frequência e um estudo da pureza e fidelidade do estado quântico gerado na conversão paramétrica descendente em cristais uniaxiais
Neste trabalho investigamos as propriedades espaciais e de freqüência do estado de dois fótons gerados por conversão paramétrica descendente em cristais uniaxiais de comprimento arbitrário. Como ferramenta básica, empregamos a óptica de Fourier em meios anisotrópicos uniaxiais de comprimento finito. Determinamos o estado quântico gerado no processo da Conversão Paramétrica Descendente Espontânea, levando em conta a anisotropia do cristal não-linear. Com isso, estudamos em detalhe como a transferência das propriedade do feixe bombeador para o estado de dois fótons depende da anisotropia do meio. Utilizamos este estado para fazer um estudo do emaranhamento e da pureza, em polarização, e sua dependência com o comprimento do cristal, a divergência do feixe bombeador, o ângulo de aceitação e a largura de banda em frequência dos detectores.
2019-08-14T11:32:49Z
Alexandre Gutenberg da Costa Moura
Contribuições para o problema de verificação de equivalência combinacional
O objetivo desse trabalho é apresentar duas contribuições importantes para o problema de Verificação de Equivalência Combinacional (CEC, do Inglês, Combinational Equivalence Checking). A primeira contribuição importante é uma técnica de pré-processamento que deriva informações redundantes dos dois circuitos sob CEC de modo a reduzir o tempo utilizado pelo Resolvedor de Satisfabilidade (SAT) para aprova de equivalência entre ambos circuitos. Através dessa técnica, implementada em uma ferramenta denominada Vimplic, é possível superar em desempenho as principais ferramentas do estado da arte de CEC baseado em SAT. É importante ressaltar que a técnica depré-processamento proposta é formalizada de modo a garantir a exatidão das implicações derivadas e assegurar que a mesma não produz falsos negativos e nem falsos positivos em relação à equivalência dos circuitos sob CEC. Além de detalhes de implementação da Vimplic, o presente trabalho também apresenta uma revisão bibliográfica completa das técnicas de CEC e, principalmente, das técnicas de pré-processamento para SAT. Finalmente, através da aplicação da ferramenta Vimplic, é possível estabelecer relaçõesimportantes entre o presente trabalho e os trabalhos na área de Satisfabilidade através do estudo de redundância em fórmulas em CNF.A segunda contribuição importante proposta é uma ferramenta para geração de circuitos, a BenCGen, que tem como principal objetivo a produção de circuitos para benchmarks. Essa ferramenta é capaz de gerar 24 tipos de circuitos diferentes com tamanhos parametrizados.Variando-se do menor para o maior tamanho de cada circuito, mais de 1.000.000 circuitos podem ser gerados. Tal ferramenta vem suprir uma grande demanda de novos benchmarks para CEC e para outras áreas de Verificação Formal. É importante ressaltar que a maior parte dos circuitos gerados pela ferramenta foram provados corretos. Além disso, uma revisão bibliográfica dos principais benchmarks para a área de Verificação Formal é mostrada no presente trabalho, na qual são destacados os seus principais benefícios e limitações.Finalmente, um comparativo entre os resolvedores de Satisfabilidade mais eficientes na resolução de instância de problemas de CEC é apresentado. O comparativo foi feito por meio de um benchmark produzido pela ferramenta BenCGen e através do mesmo foi possívelindicar o resolvedor de SAT mais adequado para os problemas de CEC estudados.
A literatura menor de Graciliano Ramo: uma cartografia de Infância.
Nesta dissertação, a proposta é traçar uma cartografia de Infância, de Graciliano Ramos, em intersecção com a filosofia de Gilles Deleuze e Félix Guattari. Investigaremos três elementos em particular em Infância: a questão do estilo, aspecto fundamental quando se trata de Graciliano Ramos; a relação com as instituições educacionais e com a dualidade lei/justiça; o narrador e sua intrigante interação com matéria narrada, abrangendo a questão do tempo e da memória. Conectaremos tais elementos ao conceito de literatura menor, elaborado por Deleuze e Guattari, levando em conta suas três características: a desterritorialização da língua, a ligação do individual no imediato-político e o agenciamento coletivo de enunciação, com a intenção de articular essas três características aos aspectos específicos da obra de Graciliano Ramos identificados anteriormente. Desse modo, a desterritorialização da língua será relacionada ao estilo do escritor; a ligação ao imediato-político, à questão das instituições e da dualidade lei/justiça; o agenciamento coletivo de enunciação, ao narrador.
2019-08-10T09:26:04Z
Bruno Henrique Alvarenga Souza
Liderança tecnológica intermediária e sistema intra-organizacionla de inovação: construindo novas competências tecnológicas em uma subsidiária brasileira da indústria automobilística
A tendência de descentralização parcial da pesquisa e desenvolvimento tecnológicos das matrizes das organizações globais associa-se a uma necessidade de criação de competências de desenvolvimento tecnológico e de produto nas subsidiárias de países emergentes como o Brasil. O presente trabalho aborda o desenvolvimento de novas competências tecnológicas de produto nas subsidiárias brasileiras do setor automobilístico, apresentando o conceito de Liderança Tecnológica Intermediária (LTI) como propósito empresarial a ser alcançado no ambiente local. O Sistema Intra-organizacional de Inovação (SII) aparece como o modelo a ser construído e implementado em tais subsidiárias para viabilizar a construção das competências tecnológicas necessárias para a LTI.Argumenta-se que o conhecimento necessário para a construção de um SII encontra-se fragmentado na literatura entre as vertentes ligadas ao desenvolvimento de novos produtos, gestão do conhecimento e aprendizado organizacional, competências organizacionais e inovação tecnológica. A integração destas vertentes revela seis elementos básicos necessários ao SII: Adequação estratégica, Interpretação do ambiente externo, Concepção da estrutura organizacional interna, Integração da estrutura externa, Sistematização de processos organizacionais de base e Consideração dos fatores humanos e relacionais. O contexto da aplicação é introduzido por uma análise do setor industrial automobilístico. A pesquisa prática é então realizada em imersão no ambiente de desenvolvimento de produtos de uma subsidiária brasileira de desenvolvimento e produção de motopropulsores através de observação e entrevistas não diretivas. Os resultados provenientes do confronto teórico e da pesquisa prática se convergem finalmente para um modelo de SII, circunscrito ao seu aspecto estrutural e ao contexto da organização pesquisada. Contudo, tal modelo busca servir de referência para outros trabalhos de construção de competências tecnológicas para subsidiárias ou indústrias nacionais de diversos setores.
Aspectos da interação entre Vaccinia virus e célula hospedeira: significado funcional desempenhado pelas MAPKs JNK e ERK na biologia viral.
Outra Agência
2021-05-31T19:50:12Z
Anna Carolina Toledo da Cunha Pereira
Avaliação da coagulação sanguínea no choque hemorrágico controlado após reposição volêmica com ringer lactato, sangue total, plasma fresco congelado e glóbulos, em ratos
Introdução: O desenvolvimento de alterações da coagulação é frequente no trauma grave e contribui significativamente para morbidade e mortalidade. Há controvérsias sobre qual o melhor esquema de reposição volêmica (RV) no trauma. Objetivamos avaliar diferentes taxas de transfusão de plasma fresco congelado (PFC) em relação a glóbulos (GV) e cristaloide no tratamento do choque hemorrágico (CH). Método: Ratos albinos machos (n=36) foram aleatorizados em 06 grupos: Grupo controle (GC); NP-R, reposição com ringer lactato (RL); NP-R(1:1), reposição com glóbulos e plasma 1:1; NP-R(1:2), reposição com glóbulos e plasma (1:2); NP-R(1:3), reposição com glóbulos e plasma (1:3) e NP-ST, reposição com sangue total. Todos os animais, exceto o grupo GC, foram submetidos a choque hipovolêmico controlado e a realização de tromboelastometria (teste NATEM do ROTEM) antes e após o choque. Para avaliação da coagulopatia foram examinados os seguintes parâmetros do ROTEM®: CT (tempo de coagulação), CFT (tempo de formação do coágulo), ângulo , MCF (Firmeza máxima do coágulo) e Ly60 (lise 60). Análise de variância com pós teste de Turkey foi utilizada para comparação entre os grupos. Resultados: No processo que envolve a iniciação do coágulo (CT), não houve significância entre os grupos. Com relação à cinética do coágulo (CFT e ), os grupos NP-R e NPR( 1:3) apresentaram piora significativa do coágulo em comparação com os demais grupos. Em relação à força do coágulo (MCF), o grupo NP-R teve diferença em relação ao GC, Baseline, NP-R(1:1), NP-R(1:2) e NP-ST; e o NP-R(1:3) também foi significativo em relação ao GC, Baseline e NP-ST. Ly60 não apresentou diferença entre os grupos. Conclusões: Os esquemas de reposição volêmica com sangue total e com proporções de glóbulos e plasma 1:1 e 1:2 apresentaram menor alteração na coagulação e melhor resposta hemodinâmica à reposição volêmica.
2019-08-14T01:33:58Z
Gilberto Pedro Rodrigues
Geração de casos de teste para linguagens com aritimética de ponteiro
Testar e depurar software são tarefas difíceis. Em geral, é preciso esperar que o fluxo de execução chegue a uma função de forma a poder testá-la. Nesse sentido, muito esforço foi empregado no desenvolvimento de técnicas, tais como execução simbólica e fuzz testing, para geração automática de casos de teste para analisar funções de interesse. Entretanto, tais técnicas possuem limitações. Uma limitação que chama a nossa atenção é o fato de que, até onde sabemos, nenhuma técnica atual relaciona arranjos passados como entradas para funções com outras entradas que representem seus tamanhos. Isso faz com que os casos de teste gerados, em algumas situações, possam levar a acessos inválidos à memória que não aconteceriam em execuções reais do programa sendo testado. Nessa dissertação, apresentamos duas análises estáticas para inferência de tamanhos de arranjos, bem como um algoritmo para geração de casos de teste capaz de gerar testes seguros usando tais análises. Como forma de avaliar a efetividade da nossa técnica, realizamos dois experimentos.No primeiro deles, as análises estáticas foram capazes de relacionar X% dos tamanhos de arranjos recebidos como parâmetro por funções dos programas contidos no SPEC CPU 2006 (um conjunto de benchmarks contendo programas reais). No segundo, nós melhoraramos a efetividade da ferramenta Asymptus, que realiza análise automática de complexidade de funções e foi desenvolvida como um estudo preliminar deste mestrado. Utilizando a nossa abordagem de geração de entradas, Asymptus foi capaz de analisar Y% das funções contidas nos benchmarks do Rodinia, contra Z% sem o uso da abordagem. Isso mostra que nossa técnica de geração de entradas é útil para a execução automática de funções de interesse.
2019-08-14T03:46:35Z
Francisco Demontiê dos Santos Junior