RCAAP Repository

Desenvolvimento e crescimento de crianças de zero a cinco anos: proposta de um Protocolo de Puericultura para o município de Ibirité

Este trabalho objetivou elaborar um protocolo de crescimento e desenvolvimento voltado às crianças de zero a cinco anos de idade, a ser implantado na rede municipal de Ibirité bem como elucidar a importância da puericultura. Para tal, buscou inicialmente conhecimentos a esse respeito por meio da pesquisa bibliográfica, no site da BVS, no SciELO e Programas do Ministério da Saúde. Confirmou-se ser fundamental o planejamento da assistência, dentre eles da atenção à saúde da criança de 0 a 5 anos, com o acompanhamento da saúde das crianças e esse cuidado inicia-se ainda durante a gestação. Há vários procedimentos que os profissionais de saúde devem estar atentos para que façam um bom atendimento às crianças e suas famílias. Assim, buscou-se mostrar a importância de se ter um protocolo de puericultura para cada município, possibilitando que o atendimento seja feito de maneira sistematizada pelas Equipes de Saúde da Família. É relevante que cada município tenha o seu próprio protocolo, pois há fatores que variam de uma localidade para outra, tais como perfil socioeconômico das famílias, escolaridade, e outros. Espera-se que este trabalho contribua para estudos futuros acerca desse tema, bem como auxilie profissionais da área sobre a criação de protocolos de puericultura.

Year

2019-08-14T19:34:07Z

Creators

Andre Luiz Ferreira Fadul

Neuroplasticidade e psicoterapia: estudo das evidências de modificação de circuitos neurais associadas ao tratamento cognitivo comportamental

Este estudo buscou explorar aspectos da neuroplasticidade, no que se refere à capacidade cerebral de modificação plástica de estruturas e estabelecimento de novas conexões, a partir dos estímulos proporcionados pela psicoterapia cognitivo comportamental. Foram analisados conceitos básicos de neuroplasticidade, da abordagem cognitivo comportamental, e descritos estudos de neuroimagem que correlacionam este dois temas. A pesquisa foi realizada através de revisão bibliográfica, pela leitura, análise e interpretação de livros e artigos científicos. Foram encontrados resultados que apontam para a existência de fatores de modulação neuroplástica, associados às estratégias de elaboração psicoterápica. Novos estudos são sugeridos, no sentido de ampliar a compreensão dos fatores psicopatológicos e neurobiológicos envolvidos na origem dos transtornos psicológicos, direcionando o desenvolvimento de novas investigações sobre os efeitos cerebrais da psicoterapia.

Year

2019-08-12T18:01:11Z

Creators

Isis Desiree Mendes de Leon

Análise de teses e dissertações que privilegiam as vozes de professoras alfabetizadoras sobre seu processo de formação continuada

Esta tese de doutoramento analisa pesquisas produzidas nos programas de pósgraduação sobre a Formação Continuada de Professoras Alfabetizadoras que compõem o acervo Alfabetização no Brasil: o estado do conhecimento. Trata-se de um estudo bibliográfico que visa analisar teses e dissertações elaboradas no período de 2006 a 2015 que privilegiaram a voz docente. As pesquisas buscaram, por meiodos depoimentos das professoras alfabetizadoras, compreender os significados por elas atribuídos aos cursos sobre alfabetização e letramento. O quadro teórico que norteia as reflexões acerca da formação e do trabalho docente fundamenta-se em André, Canário, Formosinho, Gatti, Giroux, Lessard, Nóvoa e Tardif e acerca de alfabetização e letramento, em Kleimam, Soares e Street. Os trabalhos analisados revelam a complexidade da formação docente e os diferentes caminhos metodológicos adotados para ouvir as professoras sobre seu desenvolvimento profissional. Ao privilegiar a voz das professoras alfabetizadoras, as pesquisas possibilitaram que elas apresentassem diferentes aspectos e interface da formação continuada que durante a elaboração deste trabalho foram considerados dados fundamentais para análise: as interferências das condições de trabalho docente na efetivação das contribuições dos cursos sobre alfabetização e letramento, ressaltando a relação entre formação e trabalho; os limites e as contribuições da formação continuada para a prática pedagógica das professoras alfabetizadoras; e a compreensão da formação continuada como formação de adultos profissionais

Year

2019-08-12T02:24:31Z

Creators

Marcia Helena Nunes Monteiro

PAC - Cidades Históricas: implicações e repercussões de uma política pública federal de preservação

O presente trabalho se insere na discussão acerca dos aprimoramentos das políticas públicas federais de preservação do Patrimônio Cultural, mais especificamente, percorre um caminho de avaliação e discussão sobre dos avanços, continuidades e rupturas ocorridas nas políticas públicas federais mais recentes, em especial o Programa das Cidades Históricas PCH, iniciado na década de 1970, e o Programa Monumenta (1996-2010). A análise mais aprofundada a que nos propomos fazer refere-se ao Programa de Aceleração do Crescimento das Cidades Históricas PACCH, no qual identificamos três momentos distintos: (i) a elaboração dos Planos de Ação, um instrumento de planejamento integrado para a gestão do Patrimônio Cultural, de forma conjunta entre as gestões municipais e as Superintendências do IPHAN, no ano de 2009; (ii) o lançamento do PAC-CH que, utilizando-se dos processos em curso de elaboração dos Planos de Ação, incorporou tal instrumento ainda em sua gênese; (iii) a efetiva implementação do PAC-CH, em 2013, em 44 municípios do território nacional. O enfoque dado refere-se à sua intenção declarada de promoção do desenvolvimento econômico e social, segundo dois eixos principais: a articulação com demais políticas em nível local e os aspectos de desenvolvimento local sustentável, os quais interessa-nos analisar. Para tal, realizamos estudos de casos em três municípios mineiros contemplados: Congonhas, Diamantina e Serro, abordando as fases de percepção e identificação dos problemas/demandas em nível local, para a formação da agenda política e, em seguida, para a tomada de decisões e seleção das ações que viriam a ser contempladas pelo PAC-CH. Partiremos da análise dos Planos de Ação elaborados em cada um destes municípios e das entrevistas realizadas em âmbito local, contrapondo, as intenções iniciais e o perfil do Programa implementado, e verificando se há avanços democráticos que apontem para o reconhecimento e valorização dos bens locais pelas comunidades depositárias.

Year

2019-08-12T06:24:21Z

Creators

Sarah Floresta Leal

Fantasmagorias na metrópole: ensaios críticos a partir do circuito cultural praça da liberdade em Belo Horizonte

Refletimos, nestes ensaios críticos, sobre determinadas consequências do processo de modernização para a cidade herdada e o cotidiano em Belo Horizonte. Produtos e condições da modernização, urbanização e metropolização estabelecem-se sob a extensão da reprodução do capital. Observando os vínculos entre reprodução das relações sociais e urbanização, cotidiano e representações ideológicas de uma cidade que se tornou metrópole, analisamos as mudanças e permanências observadas na Praça da Liberdade ao longo de mais de um século. Definida como centro burocrático pelo republicanismo positivista nesta cidade pretensamente moderna, desde o plano e construção da Nova Capital de Minas Gerais a partir de 1885, a Praça da Liberdade tem reforçado seu caráter monumental, quando intervenções capitaneadas por empresas e viabilizadas pelo Estado refuncionalizam os prédios do seu entorno, transformando-os em equipamentos culturais. Consideradas necessidades sociais dadas, cidade e cultura tornam-se coisas que nos são apresentadas fantasmagoricamente no mundo das mercadorias. Questionamos, portanto, os sentidos e as contradições envolvidas na monumentalização e museificação fetichista do que restou da cidade. E isso através da conceituação categorial das relações sociais reproduzidas como reprodução do capital no processo de modernização. Destituindo-nos da nossa própria historicidade, da capacidade humana de criar e apropriar-se de obras, sobrevivemos numa sociedade carente de experiências transformadoras, onde a aparência espetacular e contemplativa da cultura e da arte acaba por integrar o negativo no positivo: o tempo livre para apreciá-las, instrumentalizado como lazer, é tempo para consumi-las, na extensão do trabalho, como reprodução social do capital.

Year

2019-08-10T11:29:51Z

Creators

Pedro Henrique de Mendonca Resende

Os processos de trabalho do Programa de Atenção Domiciliar (PAD) da Região Centro Sul em Belo Horizonte

Introdução: O Programa de Atenção Domiciliar (PAD) é responsável por prestar assistência em saúde no domicílio, aos usuários do SUS/Belo Horizonte, que demandam cuidados de complexidade intermediária. Nos últimos anos, a atenção domiciliar está presente na formulação das políticas públicas de saúde e de assistência social, na gestão e nas demais práticas em serviços de saúde. Esse processo de implantação da atenção domiciliar é construído com dificuldades, principalmente quanto aos mecanismos de entrada, continuidade após a alta da atenção domiciliar Objetivo: Discutir o processo de trabalho entre PAD, PSF, UPA-CS e hospitais. Métodos: Trata-se de um relato de experiência do Programa de Atendimento Domiciliar da região Centro-Sul em Belo Horizonte. Foram analisadas três situações, chamadas no texto de pontos de tensão, que foram encontrados dentro do Programa de Atenção Domiciliar da região Centro-Sul e que permitem a análise da prática dos processos de trabalho. Resultados e discussões: A estratégia de trabalho do PAD está no atendimento por área de abrangência, seguindo as divisões distritais. Para inserir-se no programa, o paciente deve ter idade igual ou superior a 16 anos, residir na cidade de Belo Horizonte, ter cuidador fixo, consentimento familiar e diagnóstico definido. A despeito dos avanços conquistados nos fluxos de trabalho, muito ainda tem de ser pactuado. Há uma inadequação do processo de trabalho que gera a desorganização da produção de cuidados, além do desgaste entre profissionais. Para vislumbrarmos esses nós críticos no PAD Centro- Sul (PAD-CS) foram identificados pontos de tensões. O estabelecimento das responsabilidades compartilhadas entre os níveis distintos da rede de serviços de saúde do SUS torna-se imprescindível para garantir a continuidade do atendimento e suprir algumas necessidades de grupos particularmente vulneráveis. Compartilhar responsabilidades, equipes, equipamentos e, acima de tudo, conhecimento, pode ser elemento constitutivo das linhas de cuidados. CONCLUSÕES: a implementação da atenção domiciliar como estratégia inovadora requer reflexão sobre concepções de saúde que sustentam a organização das práticas no domicílio. É preciso que se considerem elementos como a integralidade do cuidado, a humanização, a racionalidade econômica-financeira, os sujeitos do cuidado e a articulação com os demais serviços de saúde.

Year

2019-08-12T08:04:48Z

Creators

Raquel Souza Mendes de Oliveira

Avaliação da resposta inflamatória na progressão tumoral do carcinoma mamário murino 4T1 após o tratamento com diferentes doses de talidomida

Dentre as propriedades da talidomida descritas na literatura, além do seu alto potencial antiangiogênico por inibição de fatores de crescimento, é demonstrado sua a ação no controle de algumas neoplasias a partir da modulação de células do sistema imune. Embora os mecanismos de ação da talidomida sejam pouco esclarecidos, ensaios clínicos procuram demonstrar o efeito dessa droga no controle neoplásico. O objetivo desse trabalho foi avaliar o efeito do tratamento com diferentes doses de talidomida na resposta inflamatória associada à progressão tumoral do carcinoma mamário murino 4T1. Suspensão de células 4T1 foi inoculada em camundongos Balb/c para obtenção de tumor sólido. A partir do quinto dia de inoculação tumoral diferentes grupos de animais receberam por via oral 50 mg/kg, 100 mg/kg e 150mg/kg de talidomida, respectivamente, durante 23 dias e, ao vigésimo nono dia de inoculação tumoral os animais foram eutanasiados com a coleta do tumor e pulmão para avaliação do infiltrado inflamatório por microscopia óptica e dosagens das citocinas TNF-, CCL2/MCP-1 e VEGF, além das enzimas NAG e MPO. Foi observado no tumor primário um aumento de células inflamatórias com padrão mononuclear e distribuídas difusamente na região peritumoral dos animais tratados com as doses de 100mg/kg e 150 mg/kg de talidomida, nas metástases pulmonares a infiltração inflamatória teve um caráter variável entre os grupos, com a maior predominância de células polimorfonucleares. Os níveis de NAG e MPO nas metástases pulmonares demonstraram um significativo aumento nos animais tratados com as maiores doses, resultado não observado no tumor primário. Foi observada uma redução significativa somente nos níveis de MCP-1 e VEGF no tumor primário após o tratamento com talidomida. Entretanto, no pulmão, foi observado um significativo aumento nos níveis de MCP-1 e TNF-. Os resultados sugerem que a terapêutica com talidomida, quando administrada em maiores doses, possui um efeito antiangiogênico, possivelmente devido à diminuição da infiltração de macrófagos, com redução da secreção de fatores de crescimento. Nas metástases pulmonares a ação da talidomida favorece um perfil próinflamatório que pode estar associado a uma resposta do sistema imune as metástases.

Year

2019-08-12T13:18:25Z

Creators

Diego Carlos dos Reis

Produção de moléculas sinalizadoras em Solanum lycopersicum em resposta ao estresse salino

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

Year

2021-01-20T17:23:37Z

Creators

Ana Cláudia Dias Rodrigues da Silva

A inferência como estratégia para compreensão de charges

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

Year

2020-09-18T18:30:04Z

Creators

Valdinéia da Penha Rhodes

"Em defesa dos catholicos": Imprensa católica no episcopado de D. Antônio Ferreira Viçoso

Esta dissertação objetiva investigar o pensamento de D. Antônio Ferreira Viçoso, bispo de Mariana, através dos jornais Selecta Catholica e O Romano, por ele publicados. Queremos compreender de que maneira esses periódicos teriam representado as ideias do referidoprelado e qual a visão de mundo que esses impressos teriam buscado transmitir para os fiéis, seu público leitor, ou seja, voltamo-nos para as formulações intelectuais do bispo e, ao mesmo tempo, para a mensagem contida nos jornais supracitados. O período estudado corresponde aos anos de 1836 a 1875, indo da publicação do primeiro periódico até o final do episcopado de D. Viçoso. Além dos jornais Selecta Catholica e O Romano, como fontes alternativas, consultamos O Apostolo, jornal religioso do Rio de Janeiro, correspondências pessoais de D. Viçoso, pastorais, documentação manuscrita do bispo (anotações, sermões, bilhetes), o Cathecismo de Marianna e outras fontes que julgamos pertinentes à discussão. Numa primeira parte, fazemos uma análise sobre o contexto em que se insere o personagem AntônioFerreira Viçoso. Serão discutidos o padroado, o regalismo no Brasil Império e os conflitos de poder e competência entre Estado e Igreja. Nessa primeira parte, também será analisado o termo ultramontano, apresentando-se o debate historiográfico acerca desse pensamento. Além disso, serão abordados alguns aspectos da biografia de D. Viçoso, trazendo informações factuais sobre a sua vida em Portugal, sua formação intelectual e suas ações como bispo de Mariana. Num segundo momento, focalizaremos as duas fases de publicação do jornal Selecta Catholica, de 1836 a 1837, no Rio de Janeiro e, mais tarde, em Mariana, de 1846 a 1847, buscando compreender como os textos publicados nesses periódicos representavam as concepções do bispo de Mariana. Por fim, será analisado o jornal O Romano, marcadamente nos temas relacionados à educação, instrução e catequese

Year

2019-08-14T17:03:34Z

Creators

Marcella de Sa Brandao

Uma abordagem cross-layer para redes corporais sem fio considerando dispositivos com taxas de dados variáveis

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

Year

2021-01-26T00:23:44Z

Creators

Rogério Santos Pozza

Viabilidade de expansão da loja Brilho e Cia no bairro Buritis

O presente plano de negócio tem como objetivo estudar a viabilidade da abertura de uma loja varejista no ramo de roupas e acessórios femininos. O empreendimento será localizado no Shopping Paragem que está localizado na Av. Prof. Mário Werneck, sendo a principal avenida do bairro Buritis na cidade de Belo Horizonte- MG. Através deste estudo consta a descrição da empresa, estrutura física, comercial, organizacional e legal; a análise de mercado e concorrência; estratégias de marketing, produtos a serem comercializados, relacionamento com o cliente, preços e promoções a serem praticados; plano financeiro, composição do investimento, projeções de gastos, receitas e lucros nos primeiros anos da empresa; e por fim a viabilidade econômica e financeira da abertura da empresa.

Year

2019-08-10T20:13:37Z

Creators

Sandra Regina de Oliveira

Ontocast entrevista Vitor Sartori: acerca de Marx, Pachukanis e o direito burguês

Entrevista com Vitor Sartori sobre Marx, Pachukanis e o direito burguês.

Year

2022-04-14T21:38:38Z

Creators

Vitor Bartoletti Sartori Gabriel Carvalho Hian Sousa de Souza Wesley Sousa

Réquiem para uma cidade: um olhar sobre as alterações do Núcleo Histórico Urbano de Bonfim - MG

A proposta da presente dissertação de Mestrado é estudar as alterações ocorridas no Núcleo Histórico Urbano da cidade mineira de Bonfim (NHU), após o tombamento de seus bens edificados, em 1997. Esta data legitima a solicitação do Conselho Deliberativo do Patrimônio Histórico de Bonfim pelo tombamento do NHU. O referido Centro Histórico foi merecedor de tombamento após avaliação de seu grau de significância pelo IEPHA/MG. Embora a oficialização da salvaguarda dos bens patrimoniais imóveis do município estivesse deferida, uma nova readequação do espaço urbano inaugura sua presença na cidade. Trata-se de intervenções que tendem ao adensamento construtivo, verticalização das novas construções, alterações, descaracterizações e/ou demolições de exemplares arquitetônicos do NHU tombado. Diante das descaracterizações que o NHU enfrenta, a presente pesquisa almeja acompanhar o processo que culmina na perda de valores e atributos do mesmo. Também, o estudo pretende avaliar a intervenção do poder público municipal, no que se refere às diretrizes de salvaguarda dos bens edificados tombados. Assim sendo, dados constantes no Dossiê de Tombamento, laudos técnicos, fotografias e outros documentos serão apresentados como comprovação de uma realidade descaracterizante. Ainda serão examinadas ações de desrespeito à legislação vigente sobre a preservação do patrimônio histórico, com suas consequências na esfera do Ministério Publico. Por fim, serão apresentados sinais imagéticos de transfigurações ocorridas na paisagem urbana dos antigos cenários da cidade.

Year

2019-08-10T16:21:36Z

Creators

Ricardo Carlos Ferreira

Inovação na indústria brasileira: uma análise a partir dos dados de um painel de empresas da sondagem de inovação

Este artigo analisa o desempenho inovativo da indústria brasileira no período 2010-2015, a partir dos dados da Sondagem de Inovação, cujo universo compreende empresas da indústria extrativa e de transformação com mais de 500 empregados. Neste trabalho, a amostra analisada consiste em um painel fixo de 105 empresas que responderam a pelo menos 20 edições da Sondagem (de um total de 24 realizadas no período). Os resultados indicam uma queda considerável da atividade de inovação entre as empresas industriais pesquisadas ao longo do período, com a taxa de inovação apresentando um movimento de queda acentuada entre o primeiro trimestre de 2010 e o quarto trimestre de 2015. Não obstante, verifica-se, no período em questão, relativa estabilidade no número de doutores e mestres ocupados exclusivamente em P&D, bem como nos gastos em P&D interno e externo como percentual do faturamento.

Year

2022-04-18T21:44:34Z

Creators

Gilberto de Assis Libanio Candido Guerra Ferreira Ana Valéria Carneiro Dias Ulisses Pereira dos Santos Anna Carolina Londe

Nomadismos: Crônica de um Vagabundo, de Samuel Rawet, e Alice nas cidades, de Wim Wenders: errantes urbanos

A presente dissertação abordará o conto Crônica de um vagabundo, do escritor Samuel Rawet, e o filme Alice nas cidades, do cineasta alemão Wim Wenders a partir da temática do nomadismo. Primeiramente, será feita uma diferenciação do narrador de Samuel Rawet em relação à figura benjaminiana do flâneur. Num segundo momento, será analisada a configuração de um espaço labiríntico nos dois meios e, por fim, a forma nômade de ocupação do espaço, no filme e na narrativa, que apresentam personagens que perambulam pelo espaço citadino, sem ponto de partida e nem de chegada.

Year

2019-08-14T22:12:26Z

Creators

Michel Mingote Ferreira de Azara

Expectativa de vida saudável no Brasil com base no método intercensitário

Este trabalho tem como objetivo estimar a expectativa de vida saudável dos idosos brasileiros entre 1998-2003 e 2003-2008. A técnica utilizada para o cálculo da expectativa de vida saudável é a intercensitária, desenvolvida por Guillot e Yu (2009), que permite estimar a expectativa de vida saudável não condicionada e condicionada ao estado de saúde corrente do indivíduo. As informações necessárias para a aplicação da técnica foram obtidas a partir das PNADs de 1998, 2003 e 2008, e das Tábuas de Mortalidade elaboradas pelo IBGE para os anos de 2001 e 2006. A definição dos estados de saúde se baseia na incapacidade para realizar as Atividades de Vida Diária. Os resultados sugerem um processo de extensão da morbidade ao longo da década analisada, com um declínio na proporção da expectativa de vida total vivida como ativo. Além disso, observa-se, também, que o tempo médio a ser vivido por um idoso varia substantivamente em relação ao seu estado de saúde inicial, no qual a expectativa de vida ativa é maior para idosos correntemente ativos do que para idosos com incapacidade funcional.

Year

2019-08-13T00:31:48Z

Creators

Marilia Regina Nepomuceno

Propriedades ópticas de blendas e bicamadas de polímeros semicondutores e aplicações em dispositivos emissores de luz

Neste trabalho estudamos propriedades ópticas e morfológicas de um conjunto de blendas binárias de poli[2-(2',5-bis(2'-etil-hexiloxi)fenil)-1, 4-fenileno-vinileno] (BEHP-PPV) e poli(3-hexiltiofeno) (P3HT), com diferentes concentrações de P3HT. A caracterização óptica das blendas foi feita através das técnicas de fotoluminescência e absorção, ambas em temperatura ambiente e em baixa temperatura (~50K). A partir dos resultados obtidos, estudamos a possível presença de efeitos de transferência de energia entre as moléculas do BEHP-PPV (doador) e do P3HT (aceitador). Foram também realizados estudos sobre a morfologia das amostras, utilizando Microscopia de Força Atômica (AFM - Atomic Force Microscopy) e Microscopia de Força Elétrica (EFM - Electrical Force Microscopy), que confirmaram a imiscibilidade entre esses dois polímeros. Efeitos de auto-absorção e sua influência sobre as formas de linha finais dos espectros das blendas foram também considerados. Como aplicação tecnológica, foram fabricados diodos orgânicos emissores de luz (OLEDS) utilizando as blendas com 50% e 25% de P3HT como camada ativa. Uma comparação entre os espectros de fotoluminescência (PL) e eletroluminescência (EL), para ambos os dispositivos, mostrou um deslocamento para o vermelho da EL, que aumenta em função da tensão elétrica aplicada, indo para uma região de vermelho mais puro. Tal fenômeno foi explicado como sendo devido a acumulação de portadores de carga nos domínios de P3HT. Essa explicação foi confirmada após a fabricação de dois OLEDs com bicamadas desses dois polímeros atuando como camadas ativas, simulando as duas possíveis configurações de injeção de portadores de carga nas blendas. Foi também observado um deslocamento para menores comprimentos de onda, causado por uma barreira de potencial introduzida entre as camadas poliméricas, cuja origem é uma camada de fluoreto de lítio utilizada para separar os filmes de BEHP-PPV e P3HT.

Year

2019-08-09T19:52:59Z

Creators

Marcelo Valadares de Magalhaes Pereira

Hegel e o fim da arte na letra e no espírito

O presente trabalho investiga a predição de Hegel sobre o tema do fim da arte apresentada nos seus Cursos de estética. A fim de proporcionar uma leitura ampla acerca deste tema, procuramos a partir do conceito de arte destacar os diversos momentos e funções da arte na totalidade do sistema de Hegel. Dentro deste ponto de vista, e seguidas às considerações acerca do conceito de arte, intentamos analisar os pontos de inflexão do tema do fim da arte em relação aos conceitos de arte clássica e arte romântica, a fim de acentuarmos seus sentidos forte e fraco no arcabouço estético de Hegel. Ainda dentro deste ponto de vista, articula-se à arte clássica e romântica a interpretação da dessubstancialização ética da arte. De outro lado, o tema do fim da arte, no sentido forte da letra do texto hegeliano incide na contextualização dos traços prosaicos da cultura moderna, sentido que distende nossa interpretação para a dessubstancialização, desmaterialização e poetização da arte. Sendo assim, a partir do sentido positivo da dissolução da arte procuramos verificar, em geral, o sentido do espírito, da herança do texto estético de Hegel para o fenômeno artístico contemporâneo.

Year

2019-08-12T12:02:41Z

Creators

Guilherme Ferreira

Verificação formal na indústria

Os métodos formais consistem em uma família de técnicas de elaboração de sistemas em que é aplicado o formalismo matemático na assistência às fases de especificação, desenvolvimento e verificação. A abordagem é capaz de reduzir ambiguidades e inconsistências da especificação, proporcionar geração automática de código e automatizar tarefas de verificação, se apresentando como uma alternativa para se alcançar sistemas com maior correção, especialmente em situações em que falhas podem causar grandes perdas financeiras e humanas. Este estudo consiste na avaliação dos métodos formais na indústria com a apresentação de um caso real de software de verificação formal utilizado na indústria de circuitos integrados. Para isso, são expostos os conceitos relativos ao tema, os principais métodos de especificação e verificação formal, os obstáculos enfrentados pela metodologia para se estabelecer no mercado e propostas para que esses desafios sejam vencidos. Por fim, é apresentado o software de verificação formal JasperGold Apps da Cadence Design Systems, sua estrutura e técnicas aplicadas, bem como a importância e os benefícios da abordagem formal na indústria de hardware.

Year

2019-08-09T17:42:11Z

Creators

Fabio Enrique Lacerda Flores