12 resultados para Análise formal
em Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul
Resumo:
Este trabalho investiga os elementos que caracterizam a escrita pianística da Paulistana nº 7 de Claudio Santoro. Examina como a escrita pianística desenvolveu-se em decorrência dos eventos sócio-culturais desde os seus primórdios até meados do século XX. Contextualiza historicamente a obra, expõe a análise formal e harmônica da peça e exibe as conexões entre os elementos que caracterizam a escrita pianística da Paulistana nº 7 e os de outras obras do repertório pianístico brasileiro.
Resumo:
Este trabalho trata das dificuldades de formação do campo artístico no Rio Grande do Sul, Brasil, desde o final do século XIX até meados do século XX, articulando perspectivas econômicas e sociais com ações pontuais de indivíduos e de grupos que tiveram participação na construção de uma história regional, segmentada e descontínua, que ainda não foi incorporada a uma narrativa geral da arte brasileira. A pesquisa, que, além de envolver levantamento empírico e historiográfico, também inclui análise formal de obras produzidas em diferentes períodos, procurou estabelecer nexos entre fenômenos que, até o presente momento, tinham sido tratados de maneira isolada. Independentemente do potencial artístico, da capacidade intelectual, ou da disposição para trabalhar em prol da coletividade, todos os indivíduos estudados se defrontaram com resistências e desafios, que variaram em grau e intensidade, por parte do conjunto da sociedade gaúcha, e o reconhecimento social só aconteceu depois de encontrarem aceitação em centros artísticos mais tradicionais. Assim, a despeito da existência de artistas e de agentes culturais bastante ativos, o campo artístico, propriamente dito, não encontrou formas concretas de existência no Rio Grande do Sul, pelo menos até o final dos anos de 1950, pela ausência de outros elementos necessários para sua estruturação.
Resumo:
Esta dissertação estuda as possibilidades do uso da vegetação nos projetos paisagísticos para áreas verdes públicas da cidade de Porto Alegre. Após um breve histórico do uso da vegetação nos centros urbanos, o trabalho é conduzido inicialmente para a definição dos elementos vegetais sob o olhar do arquiteto. São então formuladas diretrizes técnicas para orientação na execução dos projetos paisagísticos, embasadas na legislação municipal pertinente. A vegetação é então avaliada, do ponto de vista de suas características compositivas, relacionadas ao projeto, definidas a partir de uma análise formal das espécies escolhidas além do aproveitamento destas características nos projetos das áreas verdes públicas que são: os parques , as praças, e os verdes complementares, definidos como canteiros centrais e sobras de arruamento, pertencentes ao patrimônio da Prefeitura Municipal de Porto Alegre.
Resumo:
Esta pesquisa analisa a gestão do líder formal em relação às mudanças acontecidas em sete Unidades de Ensino da Universidade Federal do Rio Grande do Sul (UFRGS), as quais decidiram unir seus ambientes de trabalho, pela falta de recursos humanos, para serem mais eficientes e dar um melhor atendimento à comunidade universitária. Segundo a Pró-Reitoria de Recursos Humanos da UFRGS, um dos principais fatores que fizeram com que a implementação das Secretarias Unificadas apresentasse situações de resistência e de conflito foram os problemas de liderança das pessoas que possuem autoridade formal e que dirigem as Unidades (líderes formais). Os resultados indicam que eles desconsideraram os elementos comportamentais e de planejamento da mudança no inicio e durante a implementação das Secretarias Unificadas. Foram entrevistados os líderes formais (Diretores e Assessores Administrativos) do Instituto de Geociências, do Instituto de Matemática, da Escola de Administração, da Escola de Educação Física, da Escola de Enfermagem, da Faculdade de Biblioteconomia e Comunicação e da Faculdade de Veterinária, e aplicaram-se questionários na totalidade dos funcionários das Secretarias Unificadas, para obter dados sobre estratégias implementadas, tipo de mudança, fatores facilitadores e fatores inibidores da mudança, características da liderança e gestão atual nas Secretarias Unificadas. A partir da análise dos dados coletados, chegou-se à afirmação de que o sucesso na gestão do líder formal nas Secretarias Unificadas de penderá da sua capacidade de criar boas condições de trabalho e desenvolver os fatores motivacionais, profissionais e pessoais, considerando que muitas das necessidades de mudança nas Unidades são compartilhadas e outras são específicas, devido aos seus interesses.
Resumo:
Esta dissertação apresenta a análise crítica da aplicação de um método utilizado para implementação da Norma ISO Série 9000. Este método, denominado Bremen Quality Management (BQM), foi desenvolvido na Alemanha, onde vem sendo utilizado com sucesso junto a pequenas e médias empresas (PMEs). O objetivo principal do presente trabalho é analisar se este método também é adequado às necessidades das PMEs brasileiras. O trabalho inicia-se com uma revisão bibliográfica destinada a identificar as dificuldades enfrentadas pelas PMEs durante o processo de implementação da ISO 9000. Foram estudados também métodos potencialmente comparáveis ao BQM utilizados por algumas instituições atuantes na área dos Sistemas da Qualidade, tais como SEBRAE-RS e FUNDATEC-RS. Devido a uma questão de segredo comercial, a especificação formal do Método BQM não se encontra publicamente acessível, pelo que, num segundo momento, foi necessário reunir as informações disponíveis sobre o mesmo de modo a possibilitar a construção de documentação relacionada com a sua formalização. A análise do Método BQM foi realizada a partir da implementação da NBR ISO 9001 em uma empresa de médio porte localizada no Estado do Rio Grande do Sul, utilizando-se para isso a pesquisa participante.A sua implementaçãofoi possível devido à inclusãodessa empresa,bem como da UniversidadeFederaldo Rio Grandedo Sul, num projeto de pesquisa gerenciadopela instituiçãoestrangeiraque criouo MétodoBQM. Pela análise realizada, pode-se constatar que, apesar das oportunidades de melhorias identificadas, o método BQM pode auxiliar as PMEs brasileiras na implementação da ISO 9000. Por fim, são propostas alterações no método estudado, com a finalidade de melhorar a sua adequação às necessidades das PMEs brasileiras.
Resumo:
Neste trabalho, faz-se uma análise dos textos das provas do Concurso Vestibular UFRGS 2001 a partir da Lingüística Textual, tendo-se como referência Teorias da Enunciação. Busca-se verificar como se caracterizam os textos das provas do ponto de vista lingüístico. Para isso, baseando-se em elementos de textualização, analisam-se alguns aspectos que se destacaram na organização estrutural e enunciativa dos textos das provas. Nesta análise, faz-se também uma tipologização das seqüências textuais que aparecem nos textos das questões das provas. Conclui-se que os textos das provas do vestibular da UFRGS de 2001 caracterizam-se por estabelecer uma aparente proximidade do enunciador com o leitor por meio de alguns recursos de modalização enunciativa e, ao mesmo tempo, por uma tentativa de não-marcação da enunciação, tendo em vista se inserirem numa situação formal de avaliação. A forma como se compõem os textos das provas revela a tentativa de um máximo controle do sentido. É necessário, durante a elaboração das provas, que sejam previstos os conhecimentos e inferências que o leitor poderá fazer a partir de seu conhecimento de mundo e do conhecimento do conteúdo que está sendo avaliado. Por sua vez, o leitor precisa relacionar e mobilizar o seu conhecimento de mundo e do conteúdo avaliado com o que supostamente está de acordo com o mundo científico em que se insere a prova. Quanto mais os conhecimentos de mundo e de conteúdo do produtor e do leitor-candidato coincidirem, maior será a possibilidade de êxito do candidato nas provas. Este trabalho é de interesse especialmente aos estudiosos de língua em seus aspectos textuais e enunciativos, mas também o consideramos pertinente aos professores que preparam seus alunos para provas de escolha múltipla, seja de vestibulares ou concursos públicos em geral.
Resumo:
Modelos BDI (ou seja, modelos Beliefs-Desires-Intentions models) de agentes têm sido utilizados já há algum tempo. O objetivo destes modelos é permitir a caracterização de agentes utilizando noções antropomórficas, tais como estados mentais e ações. Usualmente, estas noções e suas propriedades são formalmente definidas utilizandos formalismos lógicos que permitem aos teóricos analisar, especificar e verificar agentes racionais. No entanto, apesar de diversos sistemas já terem sido desenvolvidos baseados nestes modelos, é geralmente aceito que existe uma distância significativa entre esta lógicas BDI poderosas e sistemas reais. Este trabalho defende que a principal razão para a existência desta distância é que os formalismos lógicos utilizados para definir os modelos de agentes não possuem uma semântica operacional que os suporte. Por “semântica operacional” entende-se tanto procedimentos de prova que sejam corretos e completos em relação à semântica da lógica, bem como mecanismos que realizem os diferentes tipos de raciocínio necessários para se modelar agentes. Há, pelo menos, duas abordagens que podem ser utilizadas para superar esta limitação dos modelos BDI. Uma é estender as lógicas BDI existentes com a semântica operacional apropriada de maneira que as teorias de agentes se tornem computacionais. Isto pode ser alcançado através da definição daqueles procedimentos de prova para as lógicas usadas na definição dos estados mentais. A outra abordagem é definir os modelos BDI utilizando formalismos lógicos apropriados que sejam, ao mesmo tempo, suficientemente poderosos para representar estados mentais e que possuam procedimentos operacionais que permitam a utilizaçao da lógica como um formalismo para representação do conhecimento, ao se construir os agentes. Esta é a abordagem seguida neste trabalho. Assim, o propósito deste trabalho é apresentar um modelo BDI que, além de ser um modelo formal de agente, seja também adequado para ser utilizado para implementar agentes. Ao invés de definir um novo formalismo lógico, ou de estender um formalismo existente com uma semântica operacional, define-se as noções de crenças, desejos e intenções utilizando um formalismo lógico que seja, ao mesmo tempo, formalmente bem-definido e computacional. O formalismo escolhido é a Programação em Lógica Estendida com Negação Explícita (ELP) com a semântica dada pelaWFSX (Well-Founded Semantics with Explicit Negation - Semântica Bem-Fundada com Negação Explícita). ELP com a WFSX (referida apenas por ELP daqui para frente) estende programas em lógica ditos normais com uma segunda negação, a negação explícita1. Esta extensão permite que informação negativa seja explicitamente representada (como uma crença que uma propriedade P não se verifica, que uma intenção I não deva se verificar) e aumenta a expressividade da linguagem. No entanto, quando se introduz informação negativa, pode ser necessário ter que se lidar com programas contraditórios. A ELP, além de fornecer os procedimentos de prova necessários para as teorias expressas na sua linguagem, também fornece um mecanismo para determinar como alterar minimamente o programa em lógica de forma a remover as possíveis contradições. O modelo aqui proposto se beneficia destas características fornecidas pelo formalismo lógico. Como é usual neste tipo de contexto, este trabalho foca na definição formal dos estados mentais em como o agente se comporta, dados tais estados mentais. Mas, constrastando com as abordagens até hoje utilizadas, o modelo apresentanto não é apenas uma especificação de agente, mas pode tanto ser executado de forma a verificar o comportamento de um agente real, como ser utilizado como mecanismo de raciocínio pelo agente durante sua execução. Para construir este modelo, parte-se da análise tradicional realizada na psicologia de senso comum, onde além de crenças e desejos, intenções também é considerada como um estado mental fundamental. Assim, inicialmente define-se estes três estados mentais e as relações estáticas entre eles, notadamente restrições sobre a consistência entre estes estados mentais. Em seguida, parte-se para a definição de aspectos dinâmicos dos estados mentais, especificamente como um agente escolhe estas intenções, e quando e como ele revisa estas intenções. Em resumo, o modelo resultante possui duas características fundamentais:(1) ele pode ser usado como um ambiente para a especificação de agentes, onde é possível definir formalmente agentes utilizando estados mentais, definir formalmente propriedades para os agentes e verificar se estas propriedades são satifeitas pelos agentes; e (2) também como ambientes para implementar agentes.
Resumo:
Este trabalho tem como proposta investigar aspectos relacionados à concordância nominal de número na fala de crianças monolíngües no português do Brasil. O parâmetro analítico segue as descrições sobre o fenômeno na fala adulta, sob o arcabouço da Sociolingüística Quantitativa. Dessa forma, a investigação que aqui se apresenta estrutura-se tanto em aspectos lingüísticos quanto sociais. Nosso objetivo é observar, se tal como na fala adulta, a concordância nominal de número caracteriza-se como uma regra variável na fala infantil. Nossa análise organiza-se em dois momentos. O primeiro, denominado análise atomística, focaliza as motivações estruturais do sistema lingüístico condicionantes da presença da marca formal de plural em cada constituinte sintagmático. A segunda parte, denominada análise não atomística, analisa o sintagma nominal como um todo e averigua os condicionamentos extralingüísticos no que diz respeito à produção de SNs plurais padrão e não-padrão na fala da criança, nos termos estipulados pela norma gramatical. Para tal propósito, tomamos para análise quatro coletas transversais de crianças, recobrindo um período etário dos quatro aos oito anos de idade. De modo geral, os resultados encontrados sugerem um comportamento verbal semelhante ao dos adultos, embora muitos dos fatores discutidos não tenham significância estatística, conforme a análise realizada com o pacote de programas estatístico VARBRUL.
Resumo:
O presente trabalho teve como objetivo caracterizar o ensino de música inserido em projetos sociais. Os objetivos específicos foram analisar as dimensões presentes nas práticas educativo-musicais das oficinas de música, identificar os profissionais que ali ensinam música e qual a sua formação, e examinar as concepções sobre educação musical desses profissionais e do coordenador. O referencial teórico do trabalho está fundamentado em conceitos de educação não-formal, de autores da pedagogia e da educação musical. Foi realizado um survey de pequeno porte em 19 oficinas de música do projeto de Descentralização, da Secretaria Municipal de Cultura, da Prefeitura de Porto Alegre. Os participantes foram 14 oficineiros (profissionais que ensinam música) e o ativista de música (coordenador das oficinas). A técnica de pesquisa utilizada foi a da entrevista semi-estruturada, e os dados foram analisados qualitativamente. A partir da análise, considerei que as oficinas de música se configuram como espaços de educação musical não-formal. Os resultados sinalizam a necessidade de reconhecimento desses espaços como contextos de atuação profissional que, como tais, demandam uma formação também profissional.
Resumo:
A validação de projetos de sistemas eletrônicos pode ser feita de diversas maneiras, como tem sido mostrado pelas pesquisas em síntese automática e verificação formal. Porém, a simulação ainda é o método mais utilizado. O projeto de um sistema digital típico pode ser desenvolvido em diversos níveis de abstração, como os níveis algorítmico, lógico ou analógico. Assim, a simulação também deve ser executada em todos esses níveis. A simulação apresenta, contudo, o inconveniente de não conseguir conciliar uma alta acuracidade de resultados com um baixo tempo de simulação. Quanto mais detalhada é a descrição do circuito, maior é o tempo necessário para simulá-lo. O inverso também é verdadeiro, ou seja, quanto menor for a acuracidade exigida, menor será o tempo dispendido. A simulação multinível tenta conciliar eficiêencia e acuracidade na simulação de circuitos digitais, propondo que partes do circuito sejam descritas em diferentes níveis de abstração. Com isso, somente as partes mais críticas do sistema são descritas em detalhes e a velocidade da simulação aumenta. Contudo, essa abordagem não é suficiente para oferecer um grande aumento na velocidade de simulação de grandes circuitos. Assim, surge como alternativa a aplicação de técnicas de processamento distribuído à simulação multinível. Os aspectos que envolvem a combinação dessas duas técnicas são abordados nesse trabalho. Como plataforma para os estudos realizados, optou-se por usar duas ferramentas desenvolvidas nessa Universidade: os simuladores do Sistema AMPLO e o Sistema Operacional HetNOS. São estudadas técnicas de sincronização em sistemas distribuídos, fundamentais para o desenvolvimento dos simuladores e, finalmente, são propostas alternativas para a distribuição dos simuladores. É realizada, ainda, uma análise comparativa entre as versões propostas.
Resumo:
A superfamília das fosfolipases A2 (FLA2) é composta por proteínas dotadas de propriedades diferenciadas que as tornam capazes de apresentar distintas atividades biológicas, além de sua atividade catalítica. Esta diversidade funcional é intrigante devido à alta similaridade de seqüência primária e de estrutura entre essas proteínas. O principal objetivo deste trabalho é o desenvolvimento de uma metodologia para a predição de atividades biológicas específicas em FLA2 de peçonha de serpentes a partir da análise de seqüências primárias. A metodologia desenvolvida compreende: a) seleção de seqüências anotadas quanto à função ou atividade biológica que desempenham; b) detecção e validação estatística de motivos de seqüência relacionados à atividade estudada; e c) construção de Modelos Ocultos de Markov (MOMs) representando cada motivo. MOM consiste em uma modelagem estatística que tem sido aplicada com sucesso em diversas áreas onde se faz necessária a detecção e representação de padrões de informação; por sua base matemática robusta e formal, pode ser utilizada na automação deste tipo de processo. A metodologia foi testada para duas atividades de FLA2 de peçonha de serpente: neurotoxicidade e miotoxicidade. Para as FLA2 neurotóxicas, foram detectados seis motivos conservados, dos quais três foram validados estatisticamente como sendo adequados na discriminação de seqüências neurotóxicas de não neurotóxicas. Para as FLA2 miotóxicas, foram detectados seis motivos conservados, dos quais quatro foram validados. Os MOMs dos motivos validados podem ser usados na predição de atividade neurotóxica e miotóxica. As relações entre seqüência, estrutura, função e evolução das FLA2s são discutidas. Os dados obtidos foram coerentes com a hipótese apresentada por Kini (2003), da existência de diferentes sítios farmacológicos na superfície das FLA2, interagindo independente ou cooperativamente com diferentes receptores, para gerar as diversas funções biológicas observadas. Por não haver, até o momento, qualquer ferramenta automatizada para a predição de função biológica de FLA2, os resultados deste trabalho foram a base para a construção de uma ferramenta (disponível em www.cbiot.ufrgs.br/bioinfo/phospholipase) para a identificação de miotoxicidade e neurotoxicidade em FLA2.
Resumo:
O presente trabalho teve como objetivo realizar um diagnóstico da percepção ambiental da comunidade educativa da Universidade Federal do Rio Grande do Sul (professores, alunos e técnicos administrativos). O estudo da percepção ambiental de uma população é fundamental para compreender as inter-relações da mesma com o seu ambiente. Conhecendo a realidade desta comunidade, pode-se realizar projetos de educação ambiental que atenda as necessidades encontradas nesta população. Conforme a Conferência de Tbilisi, a educação ambiental deve girar em torno de problemas concretos e ter um caráter interdisciplinar. Conforme a Política Nacional de Educação Ambiental, a educação ambiental deve ser tratada em todos os níveis de ensino, formal e informal. Este trabalho foi realizada uma pesquisa quantitativa, baseada em um questionário pré-estabelecido, com uma amostra de 1042 entrevistas. Com a análise dos dados observou-se que a comunidade educativa da UFRGS está preocupada com as questões ambientais, mas está pouco envolvida em ações concretas. A comunidade educativa da UFRGS possui trabalhos que permitem uma análise mais apurada das relações entre a percepção ambiental dessa comunidade e a educação ambiental, como o Relatório de Resíduos Sólidos (GIGA), que trata da gestão dos resíduos produzidos nessa comunidade. Além disso, a UFRGS passa, a partir de 2006, a oferecer um Curso de Graduação em Engenharia Ambiental, o qual pode contribuir significativamente para a consolidação de um processo de educação ambiental e de gestão de resíduos dentro da UFRGS. Este trabalho demonstrou a necessidade de implantação de um projeto de Educação Ambiental na UFRGS, e os resultados desta pesquisa poderão servir como subsídio para a elaboração deste projeto.