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.

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.

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.

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.

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.

O ensino da teoria da relatividade especial no nível médio : uma abordagem histórica e conceitual

E ste trabalho relata uma experiência de inserção do ensino da teoria da Relatividade Especial com alunos do terceiro ano do ensino médio. A aplicação do projeto em sala de aula foi parte integrante das atividades curriculares normais dos alunos, em duas escolas, uma localizada no município de São Jerônimo-RS, Colégio Cenecista Carlos Maximiliano, e outra localizada no município de Triunfo-RS, Escola Técnica Municipal Farroupilha. Foi elaborado um texto para os alunos, contendo a base histórica e conceitual do tema, além de um manual de auxílio aos professores. O texto dos alunos contempla os principais fatos históricos, desde Aristóteles até as conclusões de Albert Einstein, que levaram à construção da Relatividade Especial em 1905. São tratados os conceitos de simultaneidade, dilatação temporal, contração do comprimento, adição de velocidades e energia relativística. A experiência é avaliada, principalmente através de um questionário respondido pelos alunos, antes e após a aplicação do projeto. Também foi feita uma análise de alguns livros de Física do ensino médio, sobre o tratamento dado à teoria da Relatividade Especial. O trabalho foi embasado na teoria de desenvolvimento humano histórico-cultural de Vygotsky e na teoria de aprendizagem significativa de Ausubel e Novak. Acreditamos ter mostrado que é possível incluir o tratamento regular da teoria da Relatividade Especial em escolas de nível médio, contemplando assim os Parâmetros Curriculares Nacionais que apontam para uma ênfase à Física contemporânea.

Cinema & cidade : Porto Alegre entre a lente e a retina

A investigação da metrópole contemporânea a partir do cinema comporta o recorte de imagens produzidas em diferentes tempos e contextos, promovendo assim uma análise pendular e intertextual sob a ótica do imaginário urbano. Cruzar o olhar crítico e poético da cidade, captado pelo cinema de impressão, com a produção híbrida de filmes que abordam aspectos cotidianos da cidade de Porto Alegre é um dos objetivos desta dissertação, assim como revelar quais camadas de tempo e quais interfaces físicas e sociais estão sendo representadas por esta filmografia. A representação da cidade filmada encontra-se num universo tanto próximo das práticas individuais quanto universais. Parte-se então da leitura superposta de filmes curtas-metragens produzidos no contexto porto-alegrense, entre as décadas de 1970 e 90, organizados aos pares, e entendidos como fragmentos capazes de promover a reflexão palimpséstica da cidade. A metodologia adotada para radiografar a cidade filmada fundamenta-se nas técnicas de montagem desenvolvidas por Walter Benjamin.

Enlaces entre a teoria, a crítica e a obra ficcional de Lucia Guerra

Este trabalho dedica-se ao estudo comparativo da produção literária de Lucía Guerra Cunningham, autora da obra teórico-crítica La mujer fragmentada: história de un signo, e de suas obras de ficção, limitando-se ao romance Más allá de las máscaras e dois contos, “Frutos extraños” e “Antes del nombre”. Para isso abordar-se-á, na análise comparativa, as importantes contribuições críticas que a escritora chilena, representativa voz de reflexão feminista, aporta em seu ensaio e a forma que este estudo é articulado em suas obras de ficção. O trabalho abrange o exame de aspectos da história que incorporam não somente diferenças de gênero, foco principal da dissertação, mas também outras visões de alteridade que contribuem para denunciar as injustiças das convenções políticas, sociais, raciais e de gênero que partem do ponto de vista único do homem branco e de elite.

O conceito de mora na teoria contratual moderna

Este trabalho trata do conceito de mora no direito brasileiro. Parte-se da nova concepção da relação jurídica obrigacional, inspirada pelo princípio da boa-fé objetiva e da nova redação dada ao artigo definidor da mora no direito brasileiro, pelo Código Civil de 2002. Analisam-se os elementos essenciais do estado de mora, faz-se uma abordagem acerca das espécies de mora ocorrentes na prática, traçando seus pressupostos, conseqüências e características. Na segunda parte é analisada a conveniência da adoção, no direito brasileiro, do conceito de violação positiva do contrato. Este conceito, por sua proximidade e similitude com o conceito de mora, tem sido defendido como adotável e útil ao sistema jurídico brasileiro de direito privado. Em conclusão, defende-se que o conceito de mora no direito brasileiro abarca todas as hipóteses de violação positiva do contrato e se fixa o que se defende como um conceito atual de mora, no sistema de direito privado brasileiro, à luz da teoria contratual moderna.

Astrha : um ambiente gráfico, dinâmico e interativo para internet baseado em hiper-animações e na teoria dos autômatos

Esta pesquisa, batizada Astrha (Automata Structured Hyper-Animation), tem suas raízes no projeto “Hyper Seed - Framework, Ferramentas e Métodos para Sistemas Hipermídia voltados para EAD via WWW” que possui, entre seus objetivos e metas: (a) o desenvolvimento de uma fundamentação matemática para a unificação, de maneira coerente e matematicamente rigorosa, de especificações de sistemas hipermídia e animações baseadas na Teoria dos Autômatos; (b) a construção e validação de um protótipo de sistema com suporte à criação de conteúdo multimídia e hipermídia com ênfase em educação assistida por computador; (c) a definição e aplicação de estudos de caso. Atender às demandas acadêmicas e construtoras supra citadas, no que se refere à unificação de especificações de sistemas hipermídia e animações baseadas na Teoria dos Autômatos, em nível conceitual, é o objetivo principal do Astrha. Mais especificamente, unificar conceitos das especificações Hyper-Automaton; Hyper- Automaton: Avaliações Interativas; eXtensible Hyper-Automaton (XHA) e Animação Bidimensional para World Wide Web (AGA). Para resolvê-las, propõe uma solução em cinco fases. A primeira constitui-se numa investigação conceitual sobre unificação de ambientes hipermídia com animações por computador, da qual conclui-se que as hiperanimações são uma resposta adequada ao contexto. Em seguida, um autômato finito não-determinístico, reflexivo, com saídas associadas às transições, denominado Astrha/M, é especializado para modelar, formalmente, estruturas hiper-animadas. Na terceira fase, uma linguagem de quarta geração denominada Astrha/L é proposta com a finalidade de proporcionar semântica à ambientes hiper-animados. Construída a partir da metalinguagem XML, é composta de quatro dialetos: (1) Mealy, que traduz o modelo Astrha/M; (2) Environment, que oferece opções de configuração e documentação; (3) Hyper, linguagem hipermídia, de sintaxe simples, que oferece hiperligações estendidas; (4) Style, especificação de estilos em cascata e de caracteres especiais. A quarta fase é a modelagem e construção do protótipo, denominado Astrha/E, através das linguagens UML e Java, respectivamente, com uso de tecnologias de software livre, resultando em um applet interativo, dinâmico, multimídia, que oferece características e propriedades de uma hiper-animação, traduzindo não-determinismos em escolhas pseudo-aleatórias e reflexividades em inoperabilidades aparentes. Por fim, a quinta fase trata de estudos de caso aplicados em educação a distância, em diversas áreas, de onde se conclui sua validade como conceito, modelo e ferramenta para programas educacionais que utilizam a Internet como meio de auxílio ao aprendizado.

Lições Albertianas : para a teoria e a prática da arquitetura contemporânea

Este trabalho se fundamenta na constatação da importância que os aspectos artísticos desempenham na produção e na apreciação da arquitetura, qualificando-a ao mesmo tempo em que problematizam seu ensino e sua avaliação. Considerando essa ambivalência como um traço distintivo que resiste há muito tempo à tentativa de objetivar a disciplina, o processo da subjetividade na arquitetura é aqui abordado a partir de um personagem do Renascimento, época em que efetivamente se estabelece e se consolida a crítica arquitetônica. Leon Battista Alberti, na condição de autor do primeiro tratado de arquitetura do período e de obras que contribuíram para as transformações estéticas de seu tempo, nos mostra, através da teoria e da prática profissional, a atualidade de uma postura que assume as incertezas que caracterizam a disciplina.