Categoria de grafos parciais com homomorfismos totais teoria e aplicações

O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas parciais. Com rela cão a grafos, categorias de homomorfismos parciais são comuns (por exemplo, em gramáticas de grafos com a técnica de single-pushout). Este trabalho propõe uma abordagem diferente: a parcialidade é usada na estrutura interna dos objetos (não nos morfismos).Istoéfeito utilizando uma extensão do conceito de Categoria das Setas, chamada de Categoria das Setas Parciais. E definida entãoa categoria Grp de grafos parciais(tais que arcos podem possuir ou não vértices de origem e/ou destino) e homomorfismos totais.A generalização deste modelo resulta em categorias de grafos parciais internos.Émostrado que Grp é bicompleta e, se C é um topos, a categoria dos grafos parciais internos a C é cocompleta. Grafos parciais podem ser utilizados para definir modelos computacionais tais como autômatos. Uma categoria de Autômatos Parciais, denominada Autp, é construída a partir da categoria de Grafos Parciais. Usando uma extensão de composição de spans de grafos para autômatos, chamada de Composição de Transições, e possível definir as computações de autômatos. Brevemente, uma composição de transi cões de dois autômatos parciais resulta em um autômato parcial onde cada transição representa um caminho de tamanho dois (entre vértices), tal que a primeira metade é uma transição do primeiro autômato e a segunda metade é uma transição do segundo. É possível compor um autômato consigo mesmo diversas vezes; no caso de n sucessivas composições de transições, pode-se obter as palavras da linguagem aceita pelo autômato que necessitam de n+1 passos de computação nos arcos que não possuem origem e nem destino definidos do autômato parcial resultante.

Modelagem de um sistema de gestão da pecuária leiteira sob os preceitos da teoria das restrições

As mudanças ocorridas no macroambiente do agronegócio do leite no Brasil trazem a necessidade de re-fazer as concepções acerca de sua gestão. As práticas gerenciais precisam romper o conservadorismo e buscar uma adequação ao momento vivido sem os vícios de sua cultura. Na concepção de um sistema de gestão da pecuária leiteira, adaptado à realidade das unidades de produção familiares, inseriram-se conceitos da teoria das restrições por meio da estratégia de pesquisa-ação, no noroeste gaúcho-município de São Luiz Gonzaga. A pesquisa foi dividida em três passos: o primeiro passo selecionou, por meio de entrevistas focais, uma unidade de produção representativa de cada sistema com base em uma tipologia segmentada em três sistemas (especializado; intermediário e tradicional); o segundo serviu para testar o sistema de gestão da pecuária leiteira em cada uma das três unidades de produção escolhidas; o terceiro analisou e discutiu os resultados obtidos nas entrevistas, visitas e em documentos. A pesquisa evidenciou a aplicabilidade do sistema de gestão da pecuária leiteira nos três sistemas estudados, utilizando os princípios e a lógica de decisão da teoria das restrições. Os princípios do modelo de decisão da teoria das restrições permitiram tornar mais ágil e coerente o processo de tomada de decisão, assim como as medidas de desempenho da teoria das restrições tornaram a tarefa mais fácil e aplicável. A abordagem sistêmica da teoria das restrições se adequou à complexidade dos sistemas de produção da pecuária leiteira.

Democracia sem democratas : uma análise da crise política no governo João Goulart ( 1961-1964)

Esta tese tem por objetivo analisar os discursos dos principais sujeitos políticos envolvidos nos dois momentos de maior instabilidade política do governo João Goulart, a saber: primeiramente, o momento da crise sucessória decorrente da renúncia de Jânio Quadros em agosto de 1961 e o segundo momento, entre 13 e 31 de março de 1964, marcado pela crise dos últimos dias do governo Jango. Para cada um desses momentos, serão analisados os discursos dos diversos grupos políticos que atuaram em tais episódios, a partir das categorias “diagnósticos de desordem” e “soluções de ordem”, à luz da Teoria do Discurso de Ernesto Laclau e Chantal Mouffe.

A relação ritmo-movimento no fazer musical criativo : uma abordagem construtivista na prática de canto coral

A presente pesquisa investiga a relação do movimento corporal na construção do conceito de ritmo a partir de um trabalho de composição coletiva, abrangendo os seguintes momentos: a) Composição rítmico-corporal; b) Representação gráfica; c) Entrevista individual; c) O aprendizado em grupo: a construção da performance. Este trabalho foi desenvolvido em uma situação de canto coral, contando com a participação de 30 meninas entre 11 e 18 anos. Integrar o movimento corporal compreende uma proposta de canto coral construtivista, tomando por base a trilogia cognição-música-corpo. A partir dessa inter-relação, muitos autores de diferentes áreas fazem-se presentes, porém buscamos um aprofundamento na teoria construtivista interacionista de Jean Piaget, mais especificamente no seu conceito de tomada de consciência, a fim de analisar o processo de construção rítmica de nossas alunas-cantoras. A metodologia empregou o Método Dialético-Didático, uma extensão do Método Clínico, na observação e intervenção com os grupos e nas entrevistas individuais. Os resultados mostraram que o envolvimento do movimento corporal favorece a compreensão da estruturação rítmica, desencadeando tomadas de consciência a partir da observação de si mesmo, pois é o próprio corpo em movimento que desenha os tempos no espaço. Além disso, sentir o próprio corpo nesse processo tem favorecido a performance de modo geral, contribuindo com a afinação, a descontração e a expressividade do grupo.

Uma proposta para o ensino de eletrodinâmica no nível médio

Neste trabalho é apresentada uma proposta para o ensino de Eletrodinâmica, aplicada, durante o segundo trimestre do ano 2004, a duas turmas, com trinta e oito e quarenta alunos, respectivamente, de terceiro ano do Ensino Médio do Instituto Estadual de Educação Ernesto Alves, em Rio Pardo, RS. A proposta visa tornar o ensino e a aprendizagem desta disciplina mais eficientes, usando metodologia e recursos apropriados para os novos tempos, de forma a despertar o interesse dos alunos pelo conhecimento. A metodologia e recursos utilizados durante o projeto são embasados na teoria construtivista de Jean Piaget e visam proporcionar aos alunos os conhecimentos significativos, defendidos por David Ausubel, tendo como ponto de partida os conhecimentos prévios dos alunos, averiguados através de um Pré-teste. A metodologia e os recursos compreendem aulas expositivas interativas, resolução de problemas e de exercícios, trabalhos individuais e em grupos, realização de experiências reais, realização de experimentos virtuais, usando o aplicativo Edison, adequado para a simulação e o estudo de circuitos elétricos, interação entre os alunos e entre alunos e professora, através de um ambiente virtual de aprendizagem- o TelEduc- possibilitando um melhor aproveitamento do tempo, disponibilizando mais recursos para pesquisa e motivando os alunos para a aprendizagem através da utilização das Novas Tecnologias. A Internet é usada como fonte de pesquisa e como tecnologia de comunicação. Tratando-se de um projeto que tem pretensão de ser construtivista, a avaliação dos alunos não poderia se dar de forma tradicional, unicamente através de provas Buscou-se avaliar o crescimento, a aprendizagem significativa de novos conhecimentos, o desenvolvimento de habilidades e competências através da observação de seu desempenho em todas as modalidades de atividades desenvolvidas, individualmente ou em grupos. A avaliação se deu através da observação direta da professora durante as aulas (com registro de dados) e através dos testes aplicados e correção de trabalhos entregues em papel ou postados no TelEduc. Acredita-se que esses recursos, complementados pela forma de avaliação tornem as aulas mais agradáveis, fazendo com que os alunos tenham o prazer de participar e aprender, proporcionando a construção do conhecimento e despertando nos mesmos o interesse e a predisposição para o aprendizado. O produto educacional produzido neste trabalho de conclusão é apresentado em forma de CD-Rom. Faz parte do Cd-Rom (Apêndice E) todo o material que foi, gradativamente, disponibilizado na plataforma TelEduc: os textos de apoio, as atividades e os exercícios propostos, o Pré e Pós-teste, os testes aplicados e as questões de vestibulares.

Movimento de partículas carregadas em fluidos ionizados : fundamentos matemáticos da teoria de eletroforese capilar

Neste trabalho, discutimos o movimento de uma macromolécula carregada em um fluido ionizado. A interação do campo elétrico é descrita pela equação de Poisson-Boltzmann acoplada às equações governantes para a dinâmica do fluido e às equações dinâmicas da partícula. Uma formulação fraca é introduzida no caso em que o domínio ocupado pelo fluido é finito e um teorema de existência de soluções fracas, local em tempo, é estabelecido. Dois modelos são considerados: fluxos não-estacionários e estacionários. No primeiro caso, a hidrodinâmica do sistema é governada pelas equações de Navier-Stokes, considerando-se um termo forçante relacionado ao potencial elétrico; no segundo caso, uma velocidade de deslizamento, a qual depende não linearmente sobre os potenciais, é introduzida como uma condição de contorno para um problema estacionário de Stokes. O caso de um fluido ocupando uma região infinita é também discutido supondo-se uma hipótese de aproximação sobre o campo elétrico.

Desenvolvimento de produtos em subsidiárias de empresas multinacionais no Brasil

Esta tese é um estudo sobre os papéis das subsidiárias localizadas no Brasil na estratégia de desenvolvimento de produto de empresas multinacionais. O principal objetivo da tese é identificar papéis estratégicos assim como desenvolver e validar um modelo para analisá-los. Esse modelo está alicerçado em um fundamento teórico composto de duas abordagens complementares – a organizacional, que trata das relações hierárquicas e de dependência entre as unidades de uma empresa, e a econômica, que se refere aos mecanismos que visam atingir uma maior eficiência por meio da redução de custos. O modelo teórico é desdobrado em um modelo conceitual de análise de papéis estratégicos que considera os diferentes modos de coordenação das atividades de desenvolvimento de produto pela multinacional, a posição da subsidiária focal em custos de desenvolvimento de produto e os diferentes tipos de interação com parceiros locais. O “modo de coordenação” é de fundamental importância neste estudo e diz respeito às forças que influenciam a distribuição das atividades inovadoras pelas diferentes unidades da empresa multinacional. O método usado para o levantamento de dados foi o de pesquisa survey pela Internet com uma amostra de 146 unidades de desenvolvimento de produtos. A análise de dados foi feita combinando duas técnicas complementares: primeiro, foi usada uma técnica de modelagem de equações estruturais (PLS) para validar o modelo e identificar a estrutura de relações entre os principais construtos; em seguida, foi usada a técnica de análise de conglomerados, a qual fornece mais riqueza de detalhes porque possibilita identificar papéis estratégicos com baixa representação na amostra. Os resultados da análise dão suporte ao modelo, mas contestam-no parcialmente, o que pode ser explicado pela situação particular de um país em desenvolvimento. Ademais, foram identificados cinco grupos significativamente distintos de papéis estratégicos, os “adaptadores locais”, “os inovadores nascentes”, os “inovadores locais”, os “inovadores para mercados emergentes” e os “inovadores globais”. A caracterização desses papéis estratégicos permite tirar conclusões sobre o grau de integração das subsidiárias nas redes globais de inovação das multinacionais, assim como no sistema de inovação do país hospedeiro. A tipologia e o modelo podem servir como base para o desenho de estratégias e políticas de C&T que visem aumentar a integração global e local das atividades de desenvolvimento de produto realizadas em subsidiárias de empresas multinacionais.

CaTReS : ferramenta de apoio à pesquisa e ensino em teoria das categorias

Teoria das Categorias é uma ramificação da Matemática Pura com campo científico aparentemente distinto daquele que é objeto de estudo e pesquisa para a Ciência da Computação. Entretanto, algumas características dessa teoria matemática demonstram sua utilidade na pesquisa computacional. Dentre essas características podemos citar independência de implementação, dualidade, herança de resultados, possibilidade de comparação da expressividade de formalismos, notação gráfica e, sobretudo, expressividade das construções categoriais. Sua expressividade é explicitamente destacada pelo MEC nas Diretrizes Curriculares de Cursos da Área de Computação e Informática, onde afirma-se que “Teoria das Categorias possui construções cujo poder de expressão não possui, em geral, paralelo em outras teorias”. Entretanto, Teoria das Categorias tem encontrado obstáculos para ser efetivamente aplicada na Ciência da Computação. A baixa oferta de bibliografia - predominantemente de língua inglesa - e a falta de uniformidade na exposição do que sejam os tópicos introdutórios convergem e potencializam outro grande empecilho à sua propagação: a baixa oferta de cursos com enfoque em Teoria das Categorias. A fim de transpor essas dificuldades, Fábio Victor Pfeiff desenvolveu o CaTLeT, um aplicativo de interface visual que tinha como objetivo facilitar o acesso aos conceitos introdutórios de Teoria das Categorias Com inspiração fortemente educacional, CaTLeT somente é capaz de representar objetos e morfismos atômicos, o que o limita a servir somente aos conceitos iniciais. Em 2003, o CaTLeT foi ampliado e os objetos e morfismos, antes atômicos, passaram a representar conjuntos e relações, respectivamente. Este projeto consiste em uma ampliação tanto do CaTLeT quanto dos objetivos que justificaram sua criação. Esta dissertação trata de um projeto de simulador categorial e de sua respectiva implementação as quais visam fornecer suporte computacional a fim de facilitar o acesso a conceitos intermediários de Teoria das Categorias e servir como suporte à pesquisa na área. A construção desse simulador possui três critérios de avaliação como parâmetro: boa acessibilidade, alta relevância das estruturas implementadas e alta cobertura. A nova ferramenta - denominada CaTReS - deve manter a acessibilidade a usuários leigos que sua predecessora possui e ampliar significativamente as estruturas suportadas, além de incluir tratamento à conceitos funtoriais. Dessa maneira, este projeto vem para auxiliar na superação dos obstáculos anteriormente mencionados.

Associação entre o polimorfismo 2592C>Tins do gene do receptor A2A de adenosina e a esquizofrenia

A esquizofrenia é uma doença psiquiátrica grave que afeta aproximadamente 1% da população mundial em que fatores genéticos exercem importante papel na etiopatogenia. Nosso grupo sugeriu a participação do sistema adenosinérgico na fisiopatologia desta doença. Neste estudo genético de associação, uma amostra de 88 pacientes com esquizofrenia foi comparada a um grupo de 100 controles sem histórico pessoal e familiar de doença psiquiátrica, em relação aos polimorfismos 2592C>Tins e 263C>T do gene que codifica o receptor A2A de adenosina. O grupo total de pacientes foi dividido nos seguintes subgrupos: pacientes com predomínio de sintomas positivos, pacientes com sintomas negativos, pacientes com sintomas desorganizados, pacientes com sintomas negativos e desorganizados e pacientes com manifestações mais e menos graves da doença, conforme parâmetro farmacológico. Os grupos de pacientes foram comparados entre si e ao grupo controle em relação aos polimorfismos em estudo. Nossos resultados indicam uma associação do genótipo 2592C/C com a doença, em que variações geneticamente determinadas do nível de expressão dos receptores A2A de adenosina desempenhariam papel no seu desenvolvimento. Particularmente, a sintomatologia negativa e desorganizada, relacionada à proposta da esquizotaxia, esteve associada ao genótipo 2592C/C. Nosso estudo reforça as evidências da participação do sistema adenosinérgico na fisiopatologia da esquizofrenia, mais marcadamente na esquizotaxia, fornecendo evidências genéticas preliminares para esta teoria.

Interações entre as políticas monetária e fiscal no Brasil sob a ótica da teoria fiscal do nível de preços

Este trabalho tem como objetivo identificar a predominância de um regime de Dominância Monetária ou Fiscal no Brasil no período Pós-Real. Para isto, o desenvolvimento desta análise é baseado em um modelo proposto por Canzoneri, Cumby e Diba (2000). O modelo propõe uma relação entre as séries dívida pública/PIB e superávit primário/PIB através da metodologia VAR (Vetores Autoregressivos) com análise sobre suas funções de impulso resposta. Outro objetivo é estender o artigo de Muscatelli et. al. (2002) sobre interações entre políticas monetária e fiscal utilizando o instrumental econométrico MS-VAR (Markov-Switching Vector Autoregressive Model) apresentado por Krolzig (1997), visto que o relacionamento entre as políticas pode não ser constante ao longo do tempo. Concluiu-se que a coordenação macroeconômica entre as políticas monetária e fiscal no Brasil foi praticamente de caráter substituta em todo período analisado e com regime predominantemente fiscal segundo o pressuposto de políticas não-ricardianas da Teoria Fiscal do Nível de Preços.

Um método projetivo para cálculo de dimensões de caixas em tempo real

Neste trabalho é descrito um método automático para o cálculo das dimensões de caixas, em tempo real, a partir de uma única imagem obtida com projeção perspectiva. Conhecendo a orientação da caixa no espaço tridimensional e sua distância em relação à câmera, as coordenadas 3D de seus vértices podem ser estimadas e suas dimensões calculadas. Na técnica proposta, são utilizados conceitos de geometria projetiva para estimar a orientação espacial da caixa de interesse a partir de sua silhueta. Já a distância da caixa em relação à câmera é estimada por meio da projeção de feixes de laser sobre uma das faces visíveis da caixa. Esta abordagem pode ser aplicada quando duas ou três faces da caixa de interesse são visíveis simultaneamente na imagem, mesmo quando a caixa encontra-se parcialmente oclusa por outros objetos na cena. Entre as contribuições deste trabalho está o desenvolvimento de um eficiente processo de votação para a transformada de Hough, onde os pixels de uma imagem binária são processados em grupos ao invés de individualmente, como ocorre no método convencional. Também é apresentado um modelo estatístico para a remoção de fundo de cena. Nesse modelo, a cor de fundo é representada sob diferentes condições de iluminação por meio da delimitação de uma região no espaço de cores RGB. O modelo proposto não requer parametrização e é próprio para o uso em aplicações que requeiram câmeras móveis. Para a validação das técnicas descritas neste trabalho, foi construído um protótipo de scanner que calcula as dimensões de caixas a partir de imagens em tempo real. Com o auxilio do scanner, foram capturadas imagens e calculadas as dimensões de diversas caixas reais e sintéticas. As caixas sintéticas foram utilizadas em um ambiente controlado para a validação das técnicas propostas Um dos aspectos importantes deste trabalho é a análise da confiabilidade das medidas obtidas por meio da técnica proposta. Com o objetivo de estudar a propagação de erros ao longo do processo de cálculo das medidas, foi aplicado um método analítico baseado na Teoria de Erros. Também são apresentados estudos estatísticos envolvendo medições realizadas com o protótipo. Estes estudos levam em conta a diferença entre as medidas calculadas pelo sistema e as medidas reais das caixas. A análise dos resultados permite concluir que o método proposto é acurado e preciso.

Investigação de ganhos na aprendizagem de conceitos físicos envolvidos em circuitos elétricos por usuários da ferramenta computacional Modellus

O objetivo deste trabalho de pesquisa foi investigar o desempenho de alunos que trabalharam com atividades de simulação e modelagem computacionais no estudo de circuitos elétricos, utilizando o software Modellus, comparado com alunos expostos apenas ao sistema tradicional de ensino. A fundamentação teórica adotada esteve baseada no referencial de trabalho de Halloun sobre modelagem esquemática e na teoria de Ausubel sobre aprendizagem significativa. O estudo envolveu 193 alunos de cursos de Engenharia, da disciplina de Física-II oferecida pela UFRGS no 2° semestre de 2004. O procedimento didático ocorreu em duas etapas. Na primeira, os alunos do grupo experimental trabalharam com um conjunto de atividades sobre circuitos elétricos simples durante cinco aulas e na etapa seguinte, com um conjunto de atividades sobre circuitos RLC durante quatro aulas. Cada aula teve duração de 1h40min. Os resultados quantitativos mostram que houve melhorias estatisticamente significativas no desempenho dos alunos do grupo experimental, quando comparado aos alunos dos grupos de controle, expostos apenas ao método tradicional de ensino. Os resultados de nossa análise qualitativa sugerem que muitos dos alunos atingiram uma aprendizagem significativa. Nossas observações e o levantamento de opiniões mostraram que o procedimento didático adotado exigiu muita interação dos alunos com as atividades computacionais, dos alunos entre si e com o professor, tornando-se um elemento motivador na aprendizagem dos alunos.

O desdobramento de uma atitude teórica em relação à linguagem - contriuições empíricas e teóricas para a educação lingüística fundamentadas na Teoria Dialética da Atividade

Este trabalho tem como objetivo investigar a existência de uma atitude teórica com relação à língua em estudantes das Ciências da Linguagem, com o propósito de dar-lhes orientação para que desdobrem sua relação empírica em uma relação teórica com as línguas e com as Ciências da Linguagem. O referencial teórico utilizado tem como base: a Teoria Histórico-Cultural da Atividade (VYGOTSKY, LEONTJEV, LURIA, DAVYDOV, COLE, ERGESTRÖM), a Teoria Bildung – Teoria do Auto-Desenvolvimento Humano (HUMBOLDT, PESTALOZZI, FRÖBEL, KLAFKI) – e a Teoria de Sistemas Evolucionários (mais conhecida através de subteorias como a Teoria do Caos, Geometria Fractal ou Sistema Dinâmico Não-linear – JANTSCH, JUDIN, PRIGOGINE, HAREN, MANDELBOT, FEIGENBAUM, entre outros). O primeiro resultado desta pesquisa é a construção de instrumentos de investigação fundamentados em: (1) uma metodologia baseada na Lógica Dialética para operações heurísticas com conceitos pares; (2) uma Heurística Intradisciplinar para formação de sistemas em Ciências da Linguagem; (3) um projeto de um Experimento Educacional com participantes “ideais”. O segundo resultado expõe as conseqüências da concretização do Experimento Educacional com sete estudantes de Letras da Fundação Universidade Federal de Rio Grande (FURG), num período intermitente de dois anos. Os principais resultados verificados foram que: (1) esses estudantes de Letras possuem um conhecimento tácito sobre teorias lingüísticas; (2) a Heurística Intradisciplinar é um meio produtivo para aprimorar o conhecimento e a habilidade para formação de sistemas auto-refletidos nas Ciências da Linguagem; (3) o uso de Multimídia é uma ferramenta produtiva para criar sistemas complexos interativos; (4) a utilização do Experimento Educacional proporcionou o desencadeamento da iniciação científica dos estudantes do projeto.

Seis Pequenos Quadros (1981) de Bruno Kiefer : relações intervalares e outros parâmetros a partir da teoria dos conjuntos e gestos musicais

Este trabalho oferece um estudo das configurações intervalares contidas no grupo de peças para piano intitulado Seis Pequenos Quadros (1981) de Bruno Kiefer (1923- 1987). A análise toma como referencial teórico a obra Introduction to Post-Tonal Theory de Joseph Straus, a qual elucida a teoria dos conjuntos. Objetivou-se encontrar padrões que fornecem coerência ao discurso das peças isoladamente e como um todo. Para tanto, além da análise de conjuntos, fez-se necessário o levantamento de características estruturais, temporais e de textura. Todos estes parâmetros, os quais contribuem para um equilíbrio entre unidade e diversidade no discurso desta coleção de peças, foram investigados a partir dos gestos musicais característicos do estilo de Kiefer.