Uma Linguagem visual de consulta a XML baseada em ontologias

O volume de informações armazenadas e representadas em XML cresce rapidamente, abrangendo desde a Web até bancos de dados corporativos. Nesse contexto, surge a necessidade de mecanismos de recuperação de dados nesse formato que sejam, ao mesmo tempo, mais eficientes e mais eficazes. Várias propostas de linguagens de consulta têm sido feitas, dentre as quais podem ser citadas XQL, XML-QL e Quilt. Essas linguagens, todas textuais, são mais indicadas para manipulação programática ou para usuários experientes. Visando atingir também os usuários menos experientes, foram propostas linguagens visuais, tais como XML-GL e Xing. Todas essas linguagens, entretanto, apresentam duas características comuns: a) o usuário precisa conhecer, pelo menos em um certo nível, a estrutura interna dos documentos; b) a mesma informação, se armazenada de formas diferentes, exige instruções de consulta diferentes. A solução para esses problemas apresentada neste trabalho envolve a utilização de um modelo conceitual para representar os conceitos e as relações entre conceitos que ocorrem em documentos XML pertencentes a um determinado domínio de problema. O modelo conceitual é representado por uma ontologia do domínio do problema. Essa associação permite que consultas possam ser elaboradas tendo como base os conceitos da ontologia. Para permitir a associação da ontologia a conjuntos de documentos XML, apresentam-se regras de mapeamento que permitem definir se um documento XML é compatível com uma determinada ontologia. A partir dessa definição, propõe-se uma linguagem visual para consultas a documentos XML com base em ontologias, e apresenta-se uma proposta de interface visual para essa linguagem.

Processos de significação em estados ampliados de consciência dentro de uma abordagem transdisciplinar holística : estudo de caso com crianças de uma escola pública de Porto Alegre

Esta dissertação aborda os processos de significação em estados ampliados de consciência desde de uma perspectiva transdisciplinar holística em um estudo de caso com crianças de uma escola pública de Porto Alegre, no Rio Grande do Sul. O trabalho tem como referência teórica principal a psicologia transpessoal e as experiências em estados ampliados de consciência que possibilitam a vivência transpessoal. Considera o ser humano como multidimensional cuja consciência se expressa através de quatro funções: pensamento, sentimento, sensação e intuição. Para a ampliação da consciência foram utilizados métodos reconhecidos pela psicologia transpessoal, no caso, a meditação, o relaxamento, a visualização dirigida e o desenho de mandalas. As mandalas foram a linguagem escolhida para a expressão das significações produzidas durante os estados ampliados de consciência. O método fenomenológico utilizado permitiu revelar que símbolos do inconsciente coletivo emergem para a consciência durante vivências em estados ampliados de consciência. A partir da interpretação reiteramos o entendimento de que existe dentro de cada ser humano uma fonte de sabedoria que está para além dos limites da personalidade, o que corresponde às pesquisas de outros exploradores da consciência humana (Wilber, Grof, Weil). Concluímos o trabalho apresentando o Projeto da Educação da Consciência, o qual se constitui numa proposta de educação da consciência humana em sua multidimensionalidade para a plena manifestação do ser.

Redes neurais artificiais, análise de sensibilidade e o comportamento de funções de comércio exterior do Brasil

Nesta tese são estimadas funções não lineares de importação e exportação para o Brasil, utilizando a metodologia de redes neurais artificiais, a partir de dados trimestrais, no período de 1978 a 1999. Com relação às importações, partindo-se da hipótese de país pequeno, as estimações são feitas para a demanda de importações totais, de bens intermediários e de material elétrico. Para as exportações, o pressuposto de país pequeno, num contexto de concorrência monopolística, é utilizado, de maneira que as estimações são feitas para a oferta e demanda por exportações brasileiras. As séries selecionadas são as exportações totais, as exportações de manufaturados e as exportações de material elétrico. A metodologia adotada para as importações procura visualizar a não linearidade presente nas séries de comércio exterior e encontrar a topologia de rede que melhor represente o comportamento dos dados, a partir de um processo de validação do período analisado. Procura observar, também, a sensibilidade das saídas das redes a estímulos nas variáveis de entrada, dado a dado e por formação de clusters. Semelhante método é utilizado para as exportações, com a ressalva que, diante de um problema de simultaneidade, o processo de ajuste das redes e análise da sensibilidade é realizado a partir de uma adaptação do método de equações simultâneas de dois estágios. Os principais resultados para as importações mostram que os dados apresentam-se de maneira não linear, e que ocorreu uma ruptura no comportamento dos dados em 1989 e 1994. Sobretudo a partir dos anos 90, as variáveis que se mostram mais significativas são o PIB e a taxa de câmbio, seguidas da variável utilização de capacidade produtiva, que se mostra com pouca relevância Para o período de 1978 a 1988, que apresenta um reduzido impacto das variáveis, a taxa de câmbio é relevante, na explicação do comportamento das importações brasileiras, seguida da utilização de capacidade produtiva, que demonstra-se significativa, apenas, para a série de bens intermediários. Para as exportações, os dados, também, se apresentam de maneira não linear, com rupturas no seu comportamento no final da década de 80 e meados de 1994. Especificamente, para a oferta e a demanda, as variáveis mais importantes foram a taxa de câmbio real e o PIB mundial, respectivamente. No todo, as séries mais importantes na explicação das importações e exportações foram a importação total e de bens intermediários e a exportação total e de manufaturados. Tanto para as importações, quanto para as exportações, os resultados mais expressivos foram obtidos para os dados mais agregados. Por fim, com relação às equações das exportações brasileiras, houve uma superioridade de ajuste e significância das variáveis das equações de demanda, frente às de oferta, em explicar os movimentos das exportações brasileiras.

Linguagem de consulta temporal : definição e implementação

Até hoje, não existem implementações de SGBDs Temporais disponíveis no mercado de software. A tradução de linguagens de consulta temporais para o padrão SQL é uma alternativa para implementação de sistemas temporais com base em SGBDs comerciais, os quais não possuem linguagem e estrutura de dados temporais. OASIS (Open and Active Specification of Information Systems) é uma linguagem que serve como repositório de alto nível para especificação formal orientada a objetos e geração automática de software, em diversas linguagens, através da ferramenta CASE OO-Method. As aplicações geradas desta forma utilizam, como meio de persistˆencia de objetos, SGBDs comerciais baseados na abordagem relacional. A linguagem OASIS foi estendida com aspectos temporais. A extensão de OASIS com aspectos temporais requer a especificação de um modelo de dados e de uma linguagem de consulta temporais que possam ser utilizados em SGBDs convencionais. Há duas abordagens para resolver o problema. A primeira baseia-se em extensões da linguagem e/ou do modelo de dados de modo que o modelo não-temporal é preservado. A segunda, abordagem de generalização temporal, é mais radical e não preserva o modelo não-temporal. A linguagem ATSQL2 fornece recursos adequados aos conceitos encontrados na abordagem de generalização temporal. Neste trabalho utiliza-se os conceitos de generalização temporal preservando o modelo não-temporal. A presente dissertação tem por finalidade propor um modelo de dados para suporte à extensão temporal da linguagem OASIS, bem como estender a linguagem ATSQL2 para facilitar as consultas a eventos temporais. O sistema de tradução da linguagem de consulta temporal para SQL é também adaptado ao modelo de dados proposto.

Abstrações para uma linguagem de programação visando aplicações móveis em um ambiente de Pervasive Computing

Computação Móvel é um termo genérico, ainda em definição, ao redor do qual se delineia um espectro de cenários possíveis, desde a Computação Pessoal, com o uso de computadores de mão, até a visão futurista da Computação Ubíqua. O foco do projeto ISAM (Infra-estrutura de Suporte às Aplicações Móveis Distribuída), em desenvolvimento no II/UFRGS, é a Pervasive Computing. Esta desenha um cenário onde o usuário é livre para se deslocar mantendo o acesso aos recursos da rede e ao seu ambiente computacional, todo tempo em qualquer lugar. Esse novo cenário apresenta muitos desafios para o projeto e execução de aplicações. Nesse escopo, esta tese aprofunda a discussão sobre questões relativas à adaptação ao contexto em um ambiente pervasivo sob a ótica de uma Linguagem de Programação, e define uma linguagem chamada ISAMadapt. A definição da linguagem ISAMadapt baseia-se em quatro abstrações: contexto, adaptadores, políticas e comandos de adaptação. Essas abstrações foram concretizadas em duas visões: (1) em tempo de programação, através de comandos da linguagem e arquivos de configuração, descritos com o auxílio do Ambiente de Desenvolvimento de Aplicações; (2) em tempo de execução, através de serviços e APIs fornecidos pelos componentes que integram o ambiente de execução pervasiva (ISAMpe). Deste, os principais componentes que implementam a semântica de execução da aplicação ISAMadapt são: o serviço de reconhecimento de contexto, ISAMcontextService, e a máquina de execução da adaptação dinâmica, ISAMadaptEngine.As principais contribuições desta tese são: (a) primeira linguagem para a codificação de aplicações pervasivas; (b) sintaxe e semântica de comandos para expressar sensibilidade ao contexto pervasivo; (c) fonte para o desenvolvimento de uma metodologia de projeto de aplicações pervasivas; (d) projeto ISAM e o projeto contextS (www.inf.ufrgs.br/~isam) que fornecem suporte para o ciclo de vida das aplicações, desde o desenvolvimento até a execução de aplicações pervasivas.

Aquisição do artigo definido em português como segunda língua por aprendizes coreanos

Os aprendizes de português como segunda língua ou língua estrangeira mostram dificuldades no processo de aquisição por vários motivos. Para coreanos, o sistema de artigos, entre outros fatores gramaticais, é um dos fatores que causam dificuldade porque não há artigos na língua coreana. O presente estudo tem como objetivos principais investigar o processo de aquisição do artigo definido em português como segunda língua por aprendizes coreanos e comparar a realização do artigo definido por brasileiros e por coreanos no caso de uso opcional. Para isso, discutimos o uso do artigo definido, observamos estudos anteriores sobre a aquisição de artigos e buscamos apoio teórico nos conceitos de transferência, interlíngua e variação. Os dados foram gerados longitudinalmente através de entrevistas com 6 falantes de coreano aprendendo português como segunda língua em Porto Alegre. Categorizamos as funções do artigo definido em: uso em primeira menção, uso em segunda menção e uso genérico. Em seguida, analisamos as características e as inadequações do processo de aquisição e comparamos o uso diante de possessivos e de antropônimos com dados de 2 brasileiros. Os resultados mostram um domínio do artigo zero (Ø) por aprendizes coreanos, o que pode estar refletindo uma transferência do sistema da língua materna ou a esquiva devido à diferença entre o coreano e o português e à complexidade do próprio sistema. Os resultados também sugerem que os participantes ainda estavam na fase inicial de desenvolvimento do sistema de artigos, sendo que o uso mais produtivo do artigo definido ocorreu na contração com preposições. São discutidas algumas implicações do estudo para o ensino de português como segunda língua, especificamente, para alunos coreanos.

Sobre linguagem e estrutura na clínica psicanalítica da infância

Este trabalho se propõe a discutir a clínica psicanalítica na infância, na obra de Françoise Dolto, como cena onde a linguagem, enquanto estrutura, opera. Para tanto, recorro à lingüística da enunciação em Benveniste e Jakobson como campos de conhecimento que servem para subsidiar as análises sobre essa cena. Percorro a obra de Françoise Dolto, Émile Benveniste e Roman Jakobson, analisando cenas clínicas de quatro casos de Dolto, entrelaçando-os às noções benvenistianas de subjetividade na linguagem e à concepção de metáfora e metonímia jakobsoniana. As análises dos casos objetivam ilustrar as intervenções da analista pensando seu lugar enunciativo junto às crianças, seus pais e/ou cuidadores e a estrutura da linguagem como constitutiva das produções das crianças em análise, enquanto movimentos metafóricos e metonímicos. Nesse percurso de análise, encontrei uma forma de intervenção singular em Dolto, que posiciona pais e paciente enquanto sujeitos, efeitos de linguagem, e que toma as produções infantis como texto, linguagem cifrada. Dolto interpreta arbitrando sentidos quando se dirige aos bebês. Sentidos que não são aleatórios, posto que ela trabalha sobre as palavras da história do sujeito. Quando se dirige a crianças maiores, sua postura é de escutar a estrutura da linguagem no sintoma, no jogo, nas produções gráficas e plásticas e nas falas da criança. Se por um lado há uma diferença profunda no modo de cada intervenção, tendo em vista os momentos diferentes de constituição subjetiva entre um bebê e uma criança maior, por outro lado, é sempre na posição de quem supõe um sujeito do inconsciente, capturado na estrutura da linguagem e que tem como destino desejar, que a analista se coloca. Por fim, proponho o aprofundamento desse tema com vistas a pensar mais detalhadamente as diferentes posições enunciativas, em especial o lugar de Ele nessa clínica.

As funções do ensino de música na escola, sob a ótica da direção escolar: um estudo nas escolas de Montenegro

Este trabalho teve como objetivo geral investigar, sob a ótica da direção escolar, quais as funções da música nas escolas no município de Montenegro/RS. O trabalho está dividido em quatro capítulos que discutem as funções da música nas escolas, enfatizando a legislação educacional brasileira, bem como percorrendo situações de educação musical em outros países. O referencial teórico para a leitura dos dados encontrados tem como base as categorias listadas por Allan Merriam (1964) sobre as funções sociais da música. Nesta revisão encontram-se também outros autores que investigaram este mesmo tema nos contextos nacional e internacional. A metodologia utilizada na investigação, trata-se de um survey de pequeno porte nas escolas do município de Montenegro. Nas considerações finais do trabalho constata-se que o grande problema encontrado nas escolas para a efetivação do ensino de música é a falta de profissionais da educação musical atuando nestes estabelecimentos de ensino, problema este, surpreendente por ser Montenegro um município de longa tradição musical e que possui cursos de formação inicial e continuada para professores de música. Finalizando, destacam-se questões suscitadas pela investigação que poderão servir como sugestões para novas pesquisas bem como sugestões em busca da solução da falta de profissionais da educação musical no campo de atuação.

Gerenciamento de processos em controladores programáveis usando XML

Os controladores programáveis tornaram-se fator decisivo para o controle de processos em ambientes industriais. Permitir o gerenciamento desses, eleva-os ao mesmo grupo de outros equipamentos da rede. Gerenciar esses dispositivos e o processo controlado tende a facilitar a identificação de falhas, as intervenções no processo e demais vantagens trazidas por um bom esquema de gerência. Uma maneira de realizar esse gerenciamento é por meio de programas conhecidos como supervisórios. Além das aplicações de supervisão, uma nova classe de ferramentas, que também possibilita o gerenciamento tanto do controlador quanto do processo a esse submetido, vem sendo disponibilizada. A presença de protocolos de gerenciamento, tal qual o SNMP, já é uma realidade em alguns dos modelos de equipamentos oferecidos por vários fabricantes, promovendo uma integração com plataformas de gerência já existentes no mercado. A proposta deste trabalho inclui a elaboração de um modelo de gerenciamento usando XML, atualmente em ampla ascensão e aceitação. Está, também, previsto a construção de um protótipo capaz de realizar as funções de um agente. A criação de um modelo de gerenciamento baseado em tecnologias e especificações abertas, tais como XML e Web, possibilita desde a utilização de um navegador, até o desenvolvimento de novas ferramentas para a requisição/aquisição de dados em controladores.

Habilidades e dificuldades de leitura e escrita em crianças de 2ª série : abordagem neuropsicológica cognitiva

A leitura e a escrita são atividades mentais extremamente complexas, compostas por múltiplos processos interdependentes e que envolvem outras funções neuropsicológicas. Esta pesquisa é composta por quatro estudos, visando traçar o perfil de leitura e escrita de palavras e de texto de 110 crianças de 2ª série de escolas públicas (Estudo 1); relacionar o julgamento do professor e as habilidades de leitura e escrita dos alunos (Estudo 2); comparar o perfil de leitura e escrita e de funções neuropsicológicas de crianças de 2ª série com dificuldades de leitura e escrita e de crianças leitoras e escritoras competentes, de mesma idade e de mesmo desempenho em leitura e escrita (Estudo 3); e analisar a variabilidade intra-grupos nas habilidades de leitura e escrita e nas funções neuropsicológicas, na busca de dissociações entre as rotas de leitura e de escrita e entre funções neuropsicológicas (Estudo 4). O primeiro estudo mostrou que, na 2ª série, houve indícios de uso de ambas as rotas de leitura e escrita, mas maior tendência à estratégia fonológica. Foram encontradas correlações significativas entre as habilidades de processamento de palavras e de texto. No segundo estudo foram encontradas correlações moderadas entre o desempenho dos alunos em leitura e escrita e a percepção do professor sobre estas habilidades. O terceiro estudo mostrou que o grupo de 2ª série com dificuldades de leitura e escrita usava de forma imprecisa ambas as rotas de leitura e escrita. Este grupo apresentou escores estatisticamente inferiores aos do grupo de 2ª série competente em leitura e escrita em consciência fonológica, linguagem oral e repetição de pseudopalavras, não diferindo significativamente do grupo de 1ª série. Os perfis semelhantes dos grupos de 2ª série com dificuldade de leitura e escrita e de 1ª série sugerem que os primeiros apresentam atraso de desenvolvimento da leitura e escrita e de funções neuropsicológicas relacionadas. Os estudos de casos, analisados no Estudo 4, mostraram padrões de leitura e escrita semelhantes à dislexia de desenvolvimento fonológica, dislexia de superfície e de dislexia mista. O perfil neuropsicológico também apresentou variabilidade intra-grupo. Os dados são discutidos em uma abordagem neuropsicológica cognitiva.

Guilhermino Cesar e Sistema do Imperfeito & outros poemas : sujeito e linguagem poética em tempos de caos e massificação

Leitura de Sistema do Imperfeito & Outros Poemas, livro de Guilhermino Cesar publicado em 1977. O perfil múltiplo do autor – professor, tradutor, historiador, jornalista, economista, escritor e pesquisador em diversas áreas do conhecimento – resulta numa poesia plurirrefencial, tocada por temas de sua época. Constatamos em Sistema do Imperfeito & Outros Poemas o privilégio de determinadas temáticas relacionadas com a tecnologia, a velocidade, a fragmentação, a sociedade massificada, o impacto (especialmente no que diz respeito ao Brasil) do caos urbano. Essa problemática fica mais evidente a partir da segunda metade do século XX: no Brasil, por um processo de intensa modernização urbana; em âmbito mundial, por uma espantosa difusão da influência dos meios de comunicação de massa. Esta leitura, articulada a partir de autores que pensaram as transformações sociais e culturais do século XX, volta-se para o Sistema do Imperfeito & Outros Poemas examinando a estrutura do livro e o conjunto de referências culturais e históricas mobilizadas pelo autor, pondo em relevo os recursos formais e a linguagem construída por Guilhermino Cesar.

A família Pso2/Snm1 e suas possíveis funções na reparação de DNA e na manutenção genômica dos cromossomos

O genoma das células eucarióticas é um dos principais alvos para danos induzidos por inúmeros fatores ambientes, sejam estes de origem biótica ou abiótica. Considerando a complexidade da molécula de DNA, não é supreendente que existam diferentes tipos de lesões com os mais variados graus de severidade. Dentre todas as lesões que podem ser induzidas no DNA, as pontes intercadeias (ICLs) estão entre as mais graves. Se não forem reparadas, a presença de apenas um ICL pode ser letal para a célula. Além disso, as lesões do tipo ICLs são quimicamente heterogêneas, podendo modificar a estrutura do DNA de forma permanente ou temporária. Os mecanismos relacionados à reparação de ICLs ainda são pouco conhecidos em eucariotos. Apesar de várias proteínas terem sido descritas como essenciais ao processo, não há um modelo único que explique esta reparação. Contudo, dentre as diferentes proteínas que participam na reparação de ICLs, destacam-se as nucleases Pso2/Snm1. A forma de atuação das proteínas Pso2/Snm1 não é conhecida, mas inúmeros dados obtidos com mutantes de Saccharomyces cerevisiae e, recentemente, com células de mamífero, mostram que a ausência de Pso2p/Snm1p bloqueia a restituição do DNA de alta massa molecular. Por outro lado, tem sido mostrado que o Pso2p/Snm1p provavelmente atua na manutenção da cromatina, mas de uma forma ainda não completamente esclarecida. Uma das proteínas pertencentes à família Pso2p/Snm1p, Ártemis, possui um papel importante no desenvolvimento do sistema imunológico adaptativo de metazoários e parece ser essencial para outros processos relacionados ao metabolismo de DNA eucariótico. Desta maneira, este trabalho teve como objetivo principal o estudo da família Pso2p/Snm1p por meio da análise filogenética e de seqüências, comparando-a com proteínas homólogas já descritas em outros organismos. Além disso, esta comparação XVII permitiu estabelecer uma correlação funcional entre as proteínas em termos de reparação de DNA e manutenção da cromatina eucariótica. As análises de filogenia e de seqüências claramente demonstraram que as proteínas Pso2/Snm1 podem ser agrupadas em quatro grupos principais ao invés de três, ao contrário do que se conhecia previamente. Três destes grupos, por sua vez, são formados por subgrupos específicos, que possivelmente atuam de forma diferenciada na reparação de DNA, na manutenção da cromatina e na geração de diversidade biológica. Por outro lado, os estudos das seqüências Pso2/Snm1, baseados principalmente na técnica de análises de agrupamentos hidrofóbicos (HCA), revelaram um alto grau de similaridade de estruturas primárias e secundárias entre os diferentes grupos, um indicativo da importância estrutural para a função destas proteínas no metabolismo de DNA. A técnica de HCA permitiu mapear regiões conservadas (CRs) em todas as seqüências estudadas, compondo o chamado domínio Pso2p/Snm1p. Em alguns casos, o domínio Pso2p/Snm1p encontra-se fusionado a outros domínios catalíticos. Neste caso, destaca-se o estudo de uma nova família de DNA ligases dependentes de ATP que são exclusivas de plantas. Esta nova família, denominada de Lig6p, parece ter funções importantes no metabolismo do DNA de plantas, sendo esta a primeira DNA ligase eucariótica com função nucleásica identificada. Usando os dados obtidos neste trabalho em conjunto com os resultados de outros autores, é sugerido um possível modo de atuação das proteínas Pso2p/Snm1p na reparação de danos do tipo ICL, na manutenção da cromatina e na geração de diversidade biológica.

A realização de pedidos em inglês como L2 em linguagem de hotelaria : um estudo contrastivo

Esta dissertação apresenta um estudo comparativo sobre a realização de atos de fala de pedido em situações de hotelaria em inglês americano, português brasileiro e inglês como segunda língua para estudantes brasileiros.na perspectiva da pragmática da interlíngua. Após a análise dos pedidos feitos pelos três grupos, foi feita uma comparação com o objetivo de verificar se os aprendizes de inglês como segunda língua tendem a transferir padrões pragmáticos de sua L1 para a L2 na realização de atos de fala de pedidos. Teve também o intuito de saber se o aprendiz de L2 realiza atos de fala de pedido com níveis de polidez mais freqüentes e mais próximos aos de sua L1, e se esta transferência leva à falta de autenticidade. Os resultados sugerem que os aprendizes de IL2 têm consciência da importância da polidez no contexto hoteleiro, mas que ao realizar pedidos em L2 ainda utilizam estratégias pragmáticas e níveis de polidez mais freqüentes e mais próximos de sua L1, causa da falta de autenticidade dos mesmos.

Pythonissa: uma linguagem visual para elaboração da previsão do tempo

Uma das maiores dificuldades encontradas pelos técnicos envolvidos na elaboração da previsão do tempo é a falta de integração entre o software de visualização usado por eles e os programas usados para escrever os boletins. Os previsores necessitam de um meio rápido e fácil de gerar previsões com outras formas de apresentação, além do formato de texto em que ela normalmente é produzida. A partir do estudo dessas dificuldades, formulou-se a hipótese de que seria benéfico criar uma linguagem visual para a criação da previsão do tempo, que permitisse gerar tanto o texto de um boletim meteorológico quanto as imagens correspondentes. Este trabalho descreve a especificação dessa linguagem, à qual se deu o nome de Pythonissa. Ela foi definida usando o formalismo de grafos e se constitui de um modelo da estrutura de um boletim de previsão do tempo. Em Pythonissa, cada região geográfica para a qual é feita a previsão é representada por um vértice em um grafo. Os fenômenos presentes na região também são representados por vértices, de outros tipos, ligados à região por arestas que denotam sua presença. Cada tipo de vértice e aresta tem mapeamentos para representações gráficas e para elementos de controle em uma interface com o usuário. A partir da linguagem, foi implementado um protótipo preliminar, no qual é possível criar um boletim de por meio de uma interface visual e gerar o texto e a imagem correspondentes. Foi dado início, também, à construção de um framework para integração da linguagem a um ambiente de visualização de dados, de modo a produzir uma aplicação utilizável em um ambiente de trabalho real. Para isto foram usados o software de visualização Vis5D e a linguagem de scripts Python. A este framework, se deu o nome de Py5D.

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.