Agrupamento multi-orador

Actualmente tem-se observado um aumento do volume de sinais de fala em diversas aplicações, que reforçam a necessidade de um processamento automático dos ficheiros. No campo do processamento automático destacam-se as aplicações de “diarização de orador”, que permitem catalogar os ficheiros de fala com a identidade de oradores e limites temporais de fala de cada um, através de um processo de segmentação e agrupamento. No contexto de agrupamento, este trabalho visa dar continuidade ao trabalho intitulado “Detecção do Orador”, com o desenvolvimento de um algoritmo de “agrupamento multi-orador” capaz de identificar e agrupar correctamente os oradores, sem conhecimento prévio do número ou da identidade dos oradores presentes no ficheiro de fala. O sistema utiliza os coeficientes “Mel Line Spectrum Frequencies” (MLSF) como característica acústica de fala, uma segmentação de fala baseada na energia e uma estrutura do tipo “Universal Background Model - Gaussian Mixture Model” (UBM-GMM) adaptado com o classificador “Support Vector Machine” (SVM). No trabalho foram analisadas três métricas de discriminação dos modelos SVM e a avaliação dos resultados foi feita através da taxa de erro “Speaker Error Rate” (SER), que quantifica percentualmente o número de segmentos “fala” mal classificados. O algoritmo implementado foi ajustado às características da língua portuguesa através de um corpus com 14 ficheiros de treino e 30 ficheiros de teste. Os ficheiros de treino dos modelos e classificação final, enquanto os ficheiros de foram utilizados para avaliar o desempenho do algoritmo. A interacção com o algoritmo foi dinamizada com a criação de uma interface gráfica que permite receber o ficheiro de teste, processá-lo, listar os resultados ou gerar um vídeo para o utilizador confrontar o sinal de fala com os resultados de classificação.

Establishing the main Guidelines for Cast Steel to Produce Truck Parts

Este trabalho foi realizado na Scania CV AB e teve como principal objectivo estabelecer uma diretriz sobre a possível utilização de aços vazados. Existe uma grande necessidade na realização deste trabalho, de forma a apoiar os engenheiros de projecto no seu processo de selecção dos materiais mais adequados, para produzir componentes mais leves e de elevado desempenho. Esta diretriz apresenta informação relacionada com propriedades mecânicas, processos de fundição, vazabilidade, tipologia de defeitos, tratamentos térmicos, soldabilidade e tratamentos superficiais dos aços vazados. Este trabalho foi limitado, na seleção de materiais para componentes do camião, a aços vazados que poderiam ser aplicados em dois componentes específicos: um componente estrutural da carroçaria sujeito a esforços de fadiga e a um colector de gases de combustão, sujeito a fluência, oxidação, fadiga por corrosão, fadiga-térmica e fadiga-mecânica. Foi realizado um benchmark focado nestes dois componentes de forma a saber que materiais são utilizados de momento por outras empresas concorrentes. Foi realizada ainda uma análise sobre possíveis materiais que possam ser aplicados em cada componente referido. Foi conduzida uma caracterização no estado bruto de fundição de um aço inoxidável vazado usado para produzir um protótipo do colector de gases. Esta caracterização consistiu numa análise microestrutural e medição de macro e microdurezas. Além da caracterização inicial, foram aplicados um conjunto de tratamentos térmicos, de forma a estudar a possibilidade de eliminar os carbonetos presentes inicialmente nas fronteiras de grão. As principais conclusões deste trabalho são que o aço vazado apresenta potencial para ser uma escolha válida em diversas aplicações, devido a um leque alargado de propriedades apresentadas tipicamente por este material. Relativamente a aplicações estruturais, o aço vazado é vantajoso comparativamente ao ferro fundido, quando são requeridos, por exemplo, soldabilidade e elevada resistência, combinada com elevada tenacidade à fractura. Para componentes sujeitos a elevadas temperaturas de serviço, o aço inoxidável vazado é vantajoso quando usado a temperaturas superiores a 750°C, apesar do seu elevado custo. O tratamento térmico composto por um recozimento de solubilização seguido de envelhecimento, elimina quase na totalidade os carbonetos presentes nas fronteiras de grão e verifica-se um aumento de dureza através de uma precipitação de carbonetos finamente dispersos na matriz, que poderão também aumentar a resistência à fluência.

Estudo e otimização de juntas do tipo Tpeel soldadas, adesivas e híbridas

A necessidade de utilizar métodos de ligação que melhor satisfaçam as necessidades de projeto tem causado a crescente utilização das juntas adesivas, em detrimento dos métodos tradicionais tais como a soldadura, ligações aparafusadas e rebitadas. A sua utilização em diversas aplicações industriais justifica-se pela redução de peso, redução de concentrações de tensões, isolamento acústico e melhor resistência à corrosão. Contudo, também apresentam desvantagens, como a necessidade de preparação das juntas, a fraca resistência a esforços de arrancamento e a complexidade da previsão da sua resistência. As juntas híbridas são obtidas por combinação de uma técnica tradicional com uma ligação adesiva. As juntas híbridas adesivas-soldadas obtêm-se através da combinação da ligação adesiva com a ligação soldada, sendo a soldadura de resistência por pontos a técnica de soldadura mais usada no fabrico deste tipo de juntas. A sinergia entre ligação adesiva e soldadura por pontos oferece vantagens competitivas em relação às ligações adesivas, tais como superior resistência e rigidez, e maior resistência ao arrancamento e à fadiga. No presente trabalho é apresentado um estudo experimental e numérico de juntas T-peel soldadas, adesivas e híbridas (adesivas-soldadas) solicitadas ao arrancamento. Considerouse o adesivo frágil Araldite® AV138 e os adesivos dúcteis Araldite® 2015 e Sikaforce® 7752 e aderentes de aço (C45E). Foi realizada uma análise dos valores experimentais e efetuada uma comparação destes valores com os resultados obtidos pelo Método de Elementos Finitos (MEF) no software ABAQUS®, que incluiu uma análise de tensões na camada de adesivo e previsão do comportamento das juntas por MDC. Observou-se que, dos três adesivos em estudo, o adesivo Sikaforce® 7752 é o que apresenta o melhor desempenho na ligação de juntas T-peel. A boa concordância entre os resultados experimentais e numéricos permitiu validar a utilização de MDC para previsão da resistência de juntas T-peel adesivas e híbridas. Assim, o presente trabalho representa uma base para posterior aplicação no projeto deste tipo de ligação, com as vantagens decorrentes na redução do tempo de projeto e maior facilidade de otimização.

Estudo da Delaminação em Compósitos de Epóxido Reforçado com Borracha e Fibras Naturais

Nos últimos anos, a utilização dos materiais compósitos tem vindo a tornar-se cada vez mais comum em várias indústrias, onde se verifica uma ascensão na procura pelos mesmos. Características como o baixo peso aliado à sua alta resistência e rigidez permitem que estes materiais possuam diversas aplicações em variadas áreas, desde a medicina, aeronáutica, indústria automóvel e aeroespacial, até à indústria eletrónica. Hoje em dia, o uso de desperdícios sólidos de borracha e fibras naturais na produção de materiais compósitos é, mais que uma opção, uma necessidade ambiental. De forma a reduzir as enormes quantidades de desperdícios, foi criado um material compósito constituído por uma resina termoendurecível reforçada com esses dois tipos de desperdícios. Parâmetros de fabrico como a percentagem de borracha, o tamanho das partículas de borracha, a percentagem de fibras de cana-de-açúcar e o comprimento dessas fibras foram variados, com o objetivo de estudar a influência destes dois materiais nas propriedades mecânicas do compósito. Apesar da maior parte dos compósitos serem fabricados na forma de uma peça funcional quase pronta a ser utilizada, por vezes é necessário recorrer à maquinação de furos. Apesar das muitas técnicas de furação existentes, os defeitos resultantes deste processo aplicado aos materiais compósitos são ainda muito comuns. Desses defeitos o que mais se destaca é sem dúvida a delaminação. Trinta e seis provetes de epóxido reforçado com borracha e fibra de cana-de-açúcar foram fabricados e furados, de modo a possibilitar o estudo das propriedades mecânicas do material compósito, assim como a análise da zona danificada durante a furação. Diferentes condições de furação, como tipos de broca e velocidades de avanço diferentes, foram impostas aos provetes de forma a variar o mais possível a zona de dano de uns furos para os outros. Parâmetros como a área de dano ou ainda o fator de delaminação provam ser muito úteis na caracterização e quantificação do dano na zona periférica de um furo. Recorrendo a técnicas de processamento de imagem foi possível obter esses parâmetros. O processamento e análise de imagem pode ser feito através de vários métodos. O método utilizado neste trabalho foi o software MATLAB® associado a ferramentas de processamento de imagem. Depois de feita a análise dos furos foram realizados ensaios de esmagamento a todos os provetes. Este passo permitiu assim avaliar de que forma os parâmetros de furação influenciam a resistência mecânica do material, e se a avaliação realizada aos furos é um método viável para a avaliação da extensão de dano nesses furos.

Estudo da resistência e mecanismos de dano em juntas adesivas entre materiais compósitos com defeitos de adesão

A necessidade de utilizar métodos de ligação entre componentes de forma mais rápida, eficaz e com melhores resultados tem causado a crescente utilização das juntas adesivas, em detrimento dos métodos tradicionais de ligação. A utilização das juntas adesivas tem vindo a aumentar em diversas aplicações industriais por estas apresentarem vantagens, das quais se destacam a redução de peso, redução de concentrações de tensões e facilidade de fabrico. No entanto, uma das limitações das juntas adesivas é a dificuldade em prever a resistência da junta após fabrico e durante a sua vida útil devido à presença de defeitos no adesivo. Os defeitos são normalmente gerados pela preparação inadequada das juntas ou degradação do adesivo devido ao ambiente (por exemplo, humidade), reduzindo a qualidade da ligação e influenciando a resistência da junta. Neste trabalho é apresentado um estudo experimental e numérico de juntas de sobreposição simples (JSS) com a inclusão de defeitos centrados na camada de adesivo para comprimentos de sobreposição (LO) diferentes. Os adesivos utilizados foram o Araldite® AV138, apresentado como sendo frágil, e o adesivo Sikaforce® 7752, intitulado como adesivo dúctil. A parte experimental consistiu no ensaio à tração das diferentes JSS permitindo a obtenção das curvas força-deslocamento (P-δ). A análise numérica por modelos de dano coesivo (MDC) foi realizada para analisar as tensões de arrancamento ((σy) e as tensões de corte (τxy) na camada adesiva, para estudar a variável de dano do MDC durante o processo de rotura e para avaliar a capacidade dos MDC na previsão da resistência da junta. Constatou-se um efeito significativo dos defeitos de diferentes dimensões na resistência das juntas, que também depende do tipo de adesivo utilizado e do valor de LO. Os modelos numéricos permitiram a descrição detalhada do comportamento das juntas e previsão de resistência, embora para o adesivo dúctil a utilização de uma lei coesiva triangular tenha provocado alguma discrepância relativamente aos resultados experimentais.

Produção de carbonatos utilizando dióxido de carbono

Dissertação para obtenção do Grau de Mestre em Engenharia Química e Bioquímica

A comunicação e difusão em Arquivística: planeamento de uma exposição virtual relativa à exposição «História dum gordo chinês que estava de barriga para o ar - no centenário de Álvaro Cunhal»

O Arquivo tem como funções primordiais, entre outras, comunicar e difundir o seu património, sendo as exposições um modo eficaz de o fazer. Por meio destas, o Arquivo dá a conhecer os conjuntos documentais que encerra e divulga o trabalho que leva a cabo. O presente trabalho tem numa primeira instância o objectivo de abordar três das exposições levadas a cabo na DGLAB, sendo descrito o trabalho levado a cabo e o modo como este contribuiu para o desenvolvimento do produto final. O desenvolvimento e ampliação da utilização das tecnologias de informação e comunicação (TIC) proporcionam aos Arquivos e outras instituições, como Bibliotecas e Museus, a possibilidade de acentuar estas duas funções, por meio da criação na web de exposições virtuais, que utilizam as ferramentas que advêm destas novas tecnologias. Neste sentido, é necessário compreender como é que as diferentes instituições fazem uso destas ferramentas na criação das suas exposições virtuais, uma vez que existem distintas tipologias com diversas aplicações. Procura-se assim nesta linha, escolher boas práticas de exposições virtuais e detalhar as suas potencialidades de modo a retirar ideias que se coadunem com as especificidades da exposição física para a qual se planeia criar uma exposição virtual. Este Relatório de Estágio procura assim responder à questão: Como pode uma exposição virtual valorizar uma exposição física de modo a contribuir para o desenvolvimento das funções de comunicação/ difusão na DGARQ?

Análise das potencialidades do uso da ferramenta de simulação computacional em operações logísticas : estudo de caso em armazém geral

Esta dissertação analisa potencialidades de uso da ferramenta de simulação computacional em atividades de um Armazém Geral. Para tanto, foi realizado um estudo de caso em um Armazém Geral onde se aplicou a ferramenta segundo o método de desenvolvimento de projetos de simulação computacional proposto por Barrônio (2000). O desenvolvimento do projeto de simulação foi, então, focado na atividade de apanha separação, integrante do sub-processo de separação de pedidos. O substrato teórico utilizado envolve uma abordagem sobre a logística e caracterização de armazém geral, bem como uma revisão dos conceitos principais da ferramenta de simulação computacional. No desenvolvimento da pesquisa, identificaram-se diversas aplicações da simulação tanto no armazém geral e terminais de cargas da empresa, quanto na análise da malha de rotas da empresa. A partir da análise dos resultados da simulação, em diversos cenários desenvolvidos e do entendimento sistêmico da situação em estudo, identificou-se como oportunidade de melhoria a definição de horários fixos de parada para descanso ao longo da jornada de trabalho na atividade de apanha separação O desenvolvimento do projeto de simulação computacional contribuiu como instrumento de aprendizagem e tomada de decisões sobre a realidade organizacional. Através de experimentação no modelo computacional o grupo de trabalho pôde testar e mudar seus pressupostos e sua compreensão do mundo real, aprimorando a aprendizagem. Identificou-se ainda, que os armazéns gerais dotados de sistema de gerenciamento automatizado apresentam um grande potencial para desenvolvimento de projetos de simulação, principalmente, devido à disponibilidade de dados característicos destas organizações.

Um Mecanismo de notificação e propagação de mudanças para um modelo de versões

Um dos requisitos naturais na modelagem de diversas aplicações na área de banco de dados é a utilização de um mecanismo para controle de versões. Esse mecanismo fornece suporte a um processo evolutivo. Tal suporte permite armazenar os diferentes estágios de uma entidade em tempos distintos, ou sob diferentes pontos de vista. Estudos recentes nessa área mostram a importância de incorporar ao modelo conceitual de banco de dados, um mecanismo para auxiliar no controle da evolução de versões. A evolução de versões apresenta problemas principalmente quando ocorre em uma hierarquia de composição. Por exemplo, se existem objetos compostos fazendo referência à objetos componentes que representam versões, então modificações nos componentes podem causar alterações nos objetos que os referenciam. Normalmente as ações relativas a essas modificações são a notificação ou a propagação de mudanças. Algumas propostas adicionam mecanismos de notificação e propagação ao modelo conceitual utilizado por aplicações não convencionais. Isso é importante porque mecanismos deste tipo auxiliam no controle da integridade de dados e na divulgação de informações sobre as mudanças realizadas no banco de dados. O objetivo do trabalho aqui descrito é apresentar um mecanismo de notificação e propagação, que trata da evolução de dados, para um modelo de versões. É definido um modelo de classes com propriedades e operações que permitem manter e manipular subscrições de eventos referentes à evolução de objetos e versões e reagir diante da ocorrência destes eventos. Para atender os requisitos das diferentes aplicações, esta proposta especifica três estratégias. Cada uma delas apresenta diferentes funcionalidades: notificação ativa (enviar mensagens sobre mudanças ocorridas); notificação passiva (armazenar informações sobre mudanças ocorridas) e propagação (alterar o conteúdo do banco de dados automaticamente). Para validar o mecanismo proposto, uma implementação é apresentada para o sistema Oracle 8.

Filtragem de imagens com preservação das bordas usando a Transformada Wavelet

A filtragem de imagens visando a redução do ruído é uma tarefa muito importante em processamento de imagens, e encontra diversas aplicações. Para que a filtração seja eficiente, ela deve atenuar apenas o ruído na imagem, sem afetar estruturas importantes, como as bordas. Há na literatura uma grande variedade de técnicas propostas para filçtragem de imagens com preservação de bordas, com as mais variadas abordagens, deentrte as quais podem ser citadas a convolução com máscaras, modelos probabilísticos, redes neurais, minimização de funcionais e equações diferenciais parciais. A transformada wavelet é uma ferramenta matemática que permite a decomposição de sinais e imagens em múltiplas resoluções. Essa decomposição é chamada de representação em wavelets, e pode ser calculada atrravés de um algorítmo piramidal baseado em convoluções com filtros passa-bandas e passa-baixas. Com essa transformada, as bordas podem ser calculadas em múltiplas resoluções. Além disso, como filtros passa-baixas são utilizados na decomposição, a atenuação do ruído é um processo intrínseco à transformada. Várias técnicas baseadas na transformada wavelet têm sido propostas nos últimos anos, com resultados promissores. Essas técnicas exploram várias características da transformada wavelet, tais como a magnitude de coeficientes e sua evolução ao longo das escalas. Neste trabalho, essas características da transformada wavelet são exploradas para a obtenção de novas técnicas de filtragem com preservação das bordas.

Simulação do protocolo de adaptação ATM tipo 2 (AAL2)

Este trabalho descreve o protocolo de adaptação ATM do tipo 2 (AAL2), e expõe as mudanças que foram realizadas no simulador de rede ATM com a finalidade de estudá-lo. É proposto que se conheça melhor este novo padrão, planejado para baixa taixa de transferência e multiplexação de usuários e pode contribuir nos serviços de tráfego de voz, quando ocorre a integração de diversas aplicações que é o objetivo da B-ISDN. Após algumas explanações sobre o ATM em geral, é descrita de forma detalhada a recomendação I.362 que padroniza o novo AAL. É explicado o comportamento da máquina de estados de transmissão, e como ocorre a temporização para carregar diversos pacotes de voz numa mesma célula. Como foi idealizado para a classe de serviços do tipo VBR em tempo real, comentam-se alguns mecanismos próprios do AAL2 para controle de tráfego e sua influência. Descreve-se a subcamada SSCS proposta para pacotes longos, recentemente padronizada. São apresentados alguns artigos e estudos realizados sobre o AAL2 que descreve quantitativamente o ganho esperado pelo protocolo e levanta algumas questões comparando-o ao AAL1. Por ter sido inicialmente uma necessidade da telefonia celular, realiza-se um breve comentário de estudos dirigidos para a área. Com o intuito de realizar a simulação do protocolo, foi utilizado o simulador de redes ATM, desenvolvido pelo NIST, que possui certas qualidades desejadas para este trabalho, porém, foram necessárias realizar modificações para implementar a camada AAL que não estava prevista na arquitetura original dele. Para se criar um ambiente de testes propício, e com a preocupação de não corromper o funcionamento padrão, foram criadas estruturas semelhantes às existentes e realizadas mudanças sutis, reconhecidas normalmente pelo simulador original. A partir destas simulações, pretende-se deixar uma ferramenta para fazer análises deste protocolo; utilizando modelos de tráfego de voz, a fim de obter informações do seu comportamento. No entanto, este estudo limitou-se somente a demonstrar a verificação e validação do simulador a partir dos resultados gerados. Para verificar a integridade do código fonte original foram utilizados os exemplos do próprio NIST e assim garantir que nada foi alterado. Além disso, o novo módulo foi comparado a norma através de um "debug". Na validação, devido ao fato de não existir uma rede real montada e disponível para testes, foram empregados artigos para comparar os resultados e demonstrar a boa aproximação obtida. Acredita-se que desta forma obteve-se o resultado desejado de um ambiente para estudo e compreensão do AAL2 e que, futuramente, pode ser usado para todos os protocolos da camada AAL.

ChatMath: ferramenta de comunicação síncrona para troca de formalismos matemáticos através da web

A comunicação é essencial para a vida em grupo, e se dá através da linguagem. Existem diversas formas de linguagem, porém a linguagem matemática vai além das demais, pois é universal. O advento dos aparelhos eletrônicos e, em especial, do computador, tornou possível o desenvolvimento de padrões e aplicativos que pudessem manipular símbolos matemáticos eletronicamente. A Web trouxe consigo a linguagem HTML para visualização de textos e, mais atualmente, o padrão de linguagem de marcação XML e seus aplicativos, que têm características melhores que o HTML quanto à estruturação, armazenamento e indexação de dados. Uma das aplicações advindas do XML foi a linguagem de marcação matemática MathML, que contribui para a manipulação e visualização de formalismos matemáticos na Web, e vem se tornando um padrão no meio acadêmico, educacional e comercial. As diversas aplicações matemáticas (editores, ambientes matemáticos) desenvolvidas para o computador geralmente não permitem a discussão em linguagem matemática de forma síncrona pela rede de computadores. Sabe-se que na Internet a conexão de pessoas num mesmo momento através de ferramentas síncronas é muito difundida, como é o caso de aplicativos do tipo bate-papo; no entanto, esses aplicativos não possuem funcionalidades que permitam a troca de textos matemáticos. Há, portanto, uma limitação em relação a ferramentas de comunicação síncrona para matemática na Web. Este trabalho quer oferecer uma alternativa ao público que deseje trocar formalismos matemáticos de forma síncrona pela Web, a fim de verificar se esse tipo de ferramenta é efetivamente usável para discussões matemáticas. Para isso, foi desenvolvido um protótipo que reúne as características de uma ferramenta típica de bate-papo com as vantagens advindas das linguagens de marcação: o ChatMath. O trabalho também aponta características de aplicativos matemáticos e de ferramentas síncronas textuais e descreve as linguagens de marcação matemática. Para fins de avaliação do protótipo desenvolvido, fez-se uma pesquisa a fim de verificar sua efetiva utilidade para troca de formalismos matemáticos, dentro do contexto educacional. Os resultados dessa pesquisa confirmam a hipótese levantada, embora identifiquem modificações funcionais e de uso da ferramenta, havendo necessidade de reaplicação da avaliação, para se obter resultados mais detalhados.

Modelo temporal de versionamento com suporte à evolução de esquemas

A utilização de versões tem sido essencial em diversas aplicações de banco dados, por permitir o armazenamento e a manipulação de diferentes estados da base de dados. Durante a evolução de um esquema, o versionamento preserva todas as versões de esquemas e de seus dados associados. Por outro lado, os conceitos de bancos de dados bitemporais, que incorporam tanto tempo de transação quanto tempo de validade, provêm flexibilidade ao mecanismo de evolução de esquemas, não somente por permitir acesso a informações presentes, passadas e futuras, mas também por permitir atualizações e consultas entre as diversas versões de esquemas existentes. O objetivo principal desta tese é definir um modelo que utilize os conceitos de tempo e de versão para permitir o gerenciamento da evolução dinâmica de esquemas em bancos de dados orientados a objetos. O resultado, o Modelo Temporal de Versionamento com suporte à Evolução de Esquemas (TVSE - Temporal and Versioning Model to Schema Evolution), é capaz de gerenciar o processo de evolução de esquemas em todos os seus aspectos: versionamento e modificação de esquemas, propagação de mudanças e manipulação de dados. Esse modelo difere de outros modelos de evolução de esquemas por permitir o gerenciamento homogêneo e simultâneo do histórico da evolução do banco de dados intencional e extensional. Com o objetivo de complementar a definição deste modelo é apresentado um ambiente para gerenciar o versionamento temporal da evolução de esquemas. Desse ambiente foi implementado um protótipo da ferramenta de apoio ao gerenciamento de evolução de esquemas. Por fim, enriquecendo o universo da tese e com o intuito de prover uma maior fundamentação teórica e matemática para descrever as políticas de evolução de esquemas, é especificada uma semântica operacional para um subconjunto do modelo proposto.

Evolução de documentos XML com tempo e versões

A utilização de conceitos de representação temporal tem sido essencial em diversas aplicações de banco de dados, por permitir o armazenamento e a manipulação dos diferentes estados assumidos pela base de dados ao longo do tempo. Durante a evolução da base de dados, através do conceito de bitemporalidade, obtém-se acesso a informações presentes, passadas e futuras. Já o conceito de versionamento permite a existência de diversas alternativas para a evolução da base de dados, possibilitando um processo de evolução ramificada, em oposição ao usual mecanismo de evolução linear do conteúdo da base. Com a migração de tais aplicações para um ambiente Web, estas passam cada vez mais a utilizar a linguagem XML como formato de representação e intercâmbio de seus dados. Tornam-se necessários, dessa forma, mecanismos para a representação e manipulação da história do conteúdo de um documento XML que sofre modificações com o passar do tempo. Apesar da existência de propostas de extensão temporal de modelos de dados convencionais e de estratégias para o armazenamento de documentos XML em modelos convencionais, a natureza semi-estruturada dos documentos XML faz com que seja necessário definir um novo modelo de dados temporal, capaz de lidar com os conceitos de bitemporalidade e versionamento em um documento semiestruturado. O objetivo deste trabalho é definir um modelo que, ao contrário das demais propostas existentes, combine os conceitos de bitemporalidade e de versionamento em uma única abordagem capaz de permitir o tratamento da evolução do conteúdo de documentos XML. O uso conjunto desses dois recursos visa combinar o poder de expressão de cada um, garantindo uma maior flexibilidade na representação do histórico dos documentos XML. O modelo resultante recebeu o nome de Tempo e Versões em XML, ou simplesmente TVX, composto por três partes: um modelo para a organização lógica dos dados, uma linguagem de consulta e uma linguagem para promover alterações ao conteúdo dos documentos XML.

Classificação e especificação de restrições de integridade em bancos de dados temporais de versões

Um Sistema gerenciador de Bancos de Dados (SGBD) possui como principal característica a capacidade de gerenciar bases de dados que representam parte do mundo real. Para que essa representação seja fiel, os dados presentes em uma base de dados devem obedecer a diversas regras conhecidas como restrições de integridade. Estas podem ser provenientes da realidade modelada, da implementação ou do modelo de dados utilizado. O suporte oferecido por sistemas gerenciadores de bancos de dados tradicionais não é suficientemente adequado a certas aplicações com necessidades que vão além das convencionais. Diversas aplicações necessitam armazenar dados históricos em conjunto com seus períodos de validade. Outras precisam armazenar versões de conjuntos de dados, gerenciando suas agregações e formas de representação. Através do suporte aos conceitos de tempo e de versão, provido por um SGBD, grande parte dessas necessidades é suprida. Este tipo de banco de dados usa o conceito de tempo para armazenar e controlar dados históricos enquanto o conceito de versão permite a gerência de alternativas de projeto. Existem atualmente diversos trabalhos e implementações relacionados à manutenção de restrições de integridade sobre bancos de dados tradicionais. Entretanto, restrições que consideram a gerência de tempo e de versões sobre dados ainda representam uma área de pesquisa praticamente inexplorada. De acordo com essa realidade, o primeiro objetivo do presente trabalho consiste em definir uma classificação de restrições de integridade para bases de dados com suporte a tempo e versões, a fim de prover uma base para o desenvolvimento de pesquisas relacionadas à sua especificação e manutenção. O segundo objetivo consiste em agregar ao Modelo Temporal de Versões (TVM), que suporta os conceitos de tempo e de versão, uma linguagem que permita a especificação de restrições de integridade. Esta linguagem considera características relacionadas à temporalidade e ao versionamento dos dados e das próprias restrições.