Projecto e implementação de osciloscópio digital baseado na norma IEEE1451.0

Os osciloscópios digitais são utilizados em diversas áreas do conhecimento, assumindo-se no âmbito da engenharia electrónica, como instrumentos indispensáveis. Graças ao advento das Field Programmable Gate Arrays (FPGAs), os instrumentos de medição reconfiguráveis, dadas as suas vantagens, i.e., altos desempenhos, baixos custos e elevada flexibilidade, são cada vez mais uma alternativa aos instrumentos tradicionalmente usados nos laboratórios. Tendo como objectivo a normalização no acesso e no controlo deste tipo de instrumentos, esta tese descreve o projecto e implementação de um osciloscópio digital reconfigurável baseado na norma IEEE 1451.0. Definido de acordo com uma arquitectura baseada nesta norma, as características do osciloscópio são descritas numa estrutura de dados denominada Transducer Electronic Data Sheet (TEDS), e o seu controlo é efectuado utilizando um conjunto de comandos normalizados. O osciloscópio implementa um conjunto de características e funcionalidades básicas, todas verificadas experimentalmente. Destas, destaca-se uma largura de banda de 575kHz, um intervalo de medição de 0.4V a 2.9V, a possibilidade de se definir um conjunto de escalas horizontais, o nível e declive de sincronismo e o modo de acoplamento com o circuito sob análise. Arquitecturalmente, o osciloscópio é constituído por um módulo especificado com a linguagem de descrição de hardware (HDL, Hardware Description Language) Verilog e por uma interface desenvolvida na linguagem de programação Java®. O módulo é embutido numa FPGA, definindo todo o processamento do osciloscópio. A interface permite o seu controlo e a representação do sinal medido. Durante o projecto foi utilizado um conversor Analógico/Digital (A/D) com uma frequência máxima de amostragem de 1.5MHz e 14 bits de resolução que, devido às suas limitações, obrigaram à implementação de um sistema de interpolação multi-estágio com filtros digitais.

Criação de um modelo para a implementação de um sistema de informação geográfica, à escala nacional, para a gestão da cartografia municipal de risco

Relatório de Estágio apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Gestão do Território – Especialização em detecção Remota e Sistemas de Informação Geográfica

SIARL: sistema de informação de apoio à reposição da legalidade

Relatório de Estágio apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Gestão do Território, especialização em Detecção Remota e Sistemas de Informação Geográfica

Construção e edição de diagramas de Voronoi na esfera

Dissertação para obtenção do Grau de Doutor em Informática

Caraterização de Aguardente de cana-de-açúcar “Grogue de Cabo Verde”

A aguardente de cana é uma bebida de grande importância económica para Cabo Verde, mais concretamente para as ilhas de Santiago, Brava, Nicolau e S. Antão, que apresentam boas condições climáticas para a produção de cana. O consumo tem vindo a crescer em todas as classes sociais e tem a pretensão de conquistar o mercado internacional. Mas isso gera dificuldades para os produtores de aguardente, que muitas vezes enfrentam barreiras para entrar no mercado externo, principalmente devido à qualidade do produto e à falta de padronização desta bebida. Este trabalho teve como objectivo obter uma identidade e qualidade padrão da aguardente de cana em Cabo Verde, portanto, fizeram-se 5 destilados na ESTM os quais foram avaliados sensorialmente quanto à padronização do produto e também quanto à qualidade através de comparação com duas aguardentes feitas por produtores cabo-verdianos. Para isso, foram preparados 40 litros de calda, dividida em 5 lotes de 7,5 litros no alambique, obtendo-se 5 destilados com 450, 470, 565, 300 e 430ml. Determinou-se o grau alcoólico, acidez total, teor furfural e teor de cobre dos destilados realizados na escola e em Cabo Verde. Os valores obtidos do grau alcoólico, acidez total e furfural encontram-se dentro dos limites estabelecidos pela lei brasileira, com exceção para o furfural que apresentou um resultado positivo nas amostras dos destilados feitos em Cabo Verde, correspondente a 28,57%. Os valores de acidez total variaram entre 9,38 a 136,87 mg/100 ml (álcool anidrido). O cobre foi determinado através da técnica de espectroscopia de absorção atómica com câmara grafite. As amostras analisadas apresentaram valores de cobre que variaram de 0,406 a 7,380 mgL-1. Das amostras analisadas 71,43% estavam dentro do limite e 28,57 % apresentaram teores de cobre acima do permitido pela legislação. Relativamente à padronização das 5 amostras feitas na escola, demonstrou-se que a estrutura de dados apenas se evidenciou validada para os atributos oleosidade e aroma (p = 0.000 e p = 0.037, respetivamente). Comparando as amostras feitas na escola com as duas de Cabo Verde, mostrou-se que à cor franca (P <0,000) e aceitável (P <0,013), limpidez (P <0,000) brilhante e transparente (P <0,001), as variáveis independentes não exercem influências na variável dependente segundo o modelo proposto.

Associação de SNPs nos genes para κ-caseína e β-lactoglobulina com curvas de lactação em cabras leiteiras

O objetivo deste trabalho foi identificar o modelo com melhor ajuste aos dados de produção de leite, gordura, proteína e sólidos totais para cabras leiteiras, bem como associar polimorfismos de nucleotídeo único (SNPs) nos genes para κ-caseína (κ-CSN3) e β-lactoglobulina (β-LG) aos parâmetros das curvas de produção e qualidade do leite. Foram avaliados 4.160 registros de produção de leite, gordura, proteína e sólidos totais de cabras das raças Alpina, Saanen e mestiça, no Estado de Antioquia, na Colômbia. Os modelos não lineares com melhor ajuste à estrutura dos dados foram os de Nelder, para produção de leite, e de Cappio-Borlino, para qualidade do leite. As análises de associação mostraram efeito significativo do SNP κ-CSN3 sobre o pico de produção, a produção inicial e a persistência das características qualitativas do leite. Já o SNP β-LG apresentou efeito significativo sobre os picos de produção de leite e gordura, e sobre o tempo necessário para atingir o pico de produção de proteína. A identificação e a estimação da influência dos marcadores SNP avaliados sobre as curvas de lactação e a qualidade do leite podem contribuir para a seleção de caprinos leiteiros.

Alteração estrutural de uma área florestal explorada convencionalmente na bacia do Paraíba do Sul, Minas Gerais, nos domínios de Floresta Atlântica

O presente estudo, realizado no município de Matias Barbosa,MG, na Fazenda Paciência, teve como objetivo avaliar as alterações estruturais ocorridas em uma Floresta Estacional Semidecidual, nos domínios de floresta Atlântica, em decorrência das atividades de exploração convencional de um plano de manejo. Para isso, foi utilizado um trecho contínuo de floresta que teve uma área explorada há seis anos e outra área não-explorada. Foram lançadas parcelas para estudo da vegetação arbórea, nas quais se avaliou a sua estrutura. Os dados foram analisados de forma comparativa, considerando-se a situação observada na área de floresta não-explorada como desejável. O resultado do estudo indicou que a atividade de exploração madeireira realizada na Fazenda Paciência tem levado a alterações significativas na estrutura, além de um depauperamento do valor comercial do estoque remanescente da área de floresta explorada, podendo levar a um comprometimento dos recursos da comunidade florestal.

Paralelizações de métodos numéricos em clusters empregando as bibliotecas MPICH, DECK e Pthread

Este trabalho tem como objetivo desenvolver e empregar técnicas e estruturas de dados agrupadas visando paralelizar os métodos do subespaço de Krylov, fazendo-se uso de diversas ferramentas e abordagens. A partir dos resultados é feita uma análise comparativa de desemvpenho destas ferramentas e abordagens. As paralelizações aqui desenvolvidas foram projetadas para serem executadas em um arquitetura formada por um agregado de máquinas indepentes e multiprocessadas (Cluster), ou seja , são considerados o paralelismo e intra-nodos. Para auxiliar a programação paralela em clusters foram, e estão sendo, desenvolvidas diferentes ferramentas (bibliotecas) que visam a exploração dos dois níveis de paralelismo existentes neste tipo de arquitetura. Neste trabalho emprega-se diferentes bibliotecas de troca de mensagens e de criação de threads para a exploração do paralelismo inter-nodos e intra-nodos. As bibliotecas adotadas são o DECK e o MPICH e a Pthread. Um dos itens a serem analisados nestes trabalho é acomparação do desempenho obtido com essas bibliotecas.O outro item é a análise da influência no desemepnho quando quando tulizadas múltiplas threads no paralelismo em clusters multiprocessados. Os métodos paralelizados nesse trabalho são o Gradiente Conjugação (GC) e o Resíduo Mínmo Generalizado (GMRES), quepodem ser adotados, respectivamente, para solução de sistemas de equações lineares sintéticos positivos e definidos e não simétricas. Tais sistemas surgem da discretização, por exemplo, dos modelos da hidrodinâmica e do transporte de massa que estão sendo desenvolvidos no GMCPAD. A utilização desses métodos é justificada pelo fato de serem métodos iterativos, o que os torna adequados à solução de sistemas de equações esparsas e de grande porte. Na solução desses sistemas através desses métodos iterativos paralelizados faz-se necessário o particionamento do domínio do problema, o qual deve ser feito visando um bom balanceamento de carga e minimização das fronteiras entre os sub-domínios. A estrutura de dados desenvolvida para os métodos paralelizados nesse trabalho permite que eles sejam adotados para solução de sistemas de equações gerados a partir de qualquer tipo de particionamento, pois o formato de armazenamento de dados adotado supre qualquer tipo de dependência de dados. Além disso, nesse trabalho são adotadas duas estratégias de ordenação para as comunicações, estratégias essas que podem ser importantes quando se considera a portabilidade das paralelizações para máquinas interligadas por redes de interconexão com buffer de tamanho insuficiente para evitar a ocorrência de dealock. Os resultados obtidos nessa dissertação contribuem nos trabalhos do GMCPAD, pois as paralelizações são adotadas em aplicações que estão sendo desenvolvidas no grupo.

Materialização de visões XML

A grande quantidade de dados eletrônicos disponível atualmente nem sempre pode ser representada com modelos tradicionais, principalmente devido à ausência de esquema no momento da criação destes dados. Neste sentido, modelos semi-estruturados têm sido propostos; uma das abordagens utilizadas é XML, uma linguagem para troca e representação deste tipo de informação. Entretanto, consultar dados semi-estruturados pode demandar processos de extração com alto custo. Uma das alternativas para solucionar este problema é a definição de visões sobre estes dados, e a posterior materialização destas informações. O uso de visões materializadas para dados XML ainda é pouco explorado. Uma das abordagens que podem ser utilizadas é o uso de sistemas de gerenciamento de bancos de dados relacionais para o armazenamento das visões. Desse modo, informação semanticamente relacionada (informação acerca de um mesmo domínio, possivelmente representada em formatos diferentes) pode ser agrupada em uma única unidade lógica, facilitando o acesso a estes dados por parte do usuário, e introduzindo alguma estrutura nos dados semiestruturados. Dessa maneira, o usuário final submete consultas diretamente sobre a visão materializada, evitando extrações contínuas de dados nas fontes XML. A materialização de dados XML exige a definição de um repositório de dados para o armazenamento destas instâncias. Utilizando-se a abordagem relacional, é necessário definir um mecanismo para a geração do esquema lógico do banco de dados. Consultar os dados nas fontes XML exige a integração destas instâncias. Neste contexto, integrá-las significa identificar quais instâncias de dados representam o mesmo objeto do mundo real, bem como resolver ambigüidades de representação deste objeto. O problema de identificação de entidades em XML é mais complexo que em bases de dados estruturadas. Dados XML, como propostos originalmente, não carregam necessariamente a noção de chave primária ou identificador de objeto. Assim, é necessária a adoção de um mecanismo que faça a identificação das instâncias na integração destes dados. Além disso, à medida que as fontes de dados XML sofrem alterações, a visão materializada deve ser atualizada, a fim de manter-se consistente com as fontes de dados. A manutenção deve propagar as alterações feitas nos dados XML para a visão materializada. Reprocessar todo o conteúdo da visão materializada é, na maioria das vezes, muito caro. Assim, é desejável propagar as mudanças incrementalmente, ou seja, processar apenas as alterações necessárias. Neste sentido, o presente trabalho apresenta uma proposta de técnica para armazenamento de dados XML em um banco de dados relacional. A proposta utiliza ontologias para a geração do esquema lógico do banco de dados. O problema de integração de dados é mostrado. O foco principal do trabalho está na proposta de uma técnica de atribuição de identificadores a instâncias XML, baseada no uso de funções Skolem e no padrão XPath, proposto pelo W3C. Também é proposto um mecanismo para manutenção incremental deste banco, à medida que as fontes XML sofrem atualizações.

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.

Apresentação de documentos XML através de exemplos

A linguagem XSLT transforma documentos XML não apenas em novos documentos XML, mas também em documentos HTML, PDF e outros formatos, tornando-se bastante útil. Entretanto, como um ambiente de programação, XSLT apresenta algumas deficiências. Não apresenta um ambiente gráfico de programação e exige conhecimento prévio sobre manipulação de estrutura de dados em árvores, o que compromete a produtividade do programador e limita o uso da linguagem a especialistas. Assim, várias propostas têm sido apresentadas na tentativa de suprir estas deficiências, utilizando recursos variados como geração automática de script XSLT e reuso de transformações. Este trabalho apresenta a ferramenta X2H que visa auxiliar a apresentação de documentos XML em HTML, aumentando a produtividade de programadores que utilizam a linguagem XSLT. Para facilitar a sua utilização, a X2H possui uma interface gráfica com abordagem baseada em exemplos, na qual o usuário compõe um documento exemplo HTML a partir de um documento fonte XML. Estes documentos são visualizados como árvores hierárquicas, nas quais é vinculado um conjunto de operações dependente do contexto, que permitem a composição do documento exemplo. Este documento serve de entrada para um gerador de regras, que gera um script na linguagem XSLT que, se executado, apresenta o documento HTML resultado desejado.

O mercado de securitização no Brasil e suas fontes de valor

Este trabalho tem por objetivo analisar algumas das características principais das estruturas de securitização no mercado brasileiro. Utilizando como principal referência o artigo de Gorton e Souleles (2005) e, através da análise das características das empresas que utilizam securitização no Brasil, testamos se empresas com maior risco de crédito tendem a securitizar mais. Avaliando as características que fazem com que tais estruturas sejam viáveis, testamos também se há evidências de um contrato implícito entre as empresas cedentes e os investidores. Na base de dados utilizada para os testes foram consideradas 59 emissões de FIDCs registradas de janeiro de 2005 a julho de 2010 e uma base com dados contábeis de 86 bancos em 8 semestres. Devido à estrutura dos dados, foram utilizados métodos para regressão com dados em painel utilizando estimadores para efeitos fixos e aleatórios. Nos testes empíricos foram encontradas evidências de que o rating das empresas cedentes influencia o spread cobrado nos FIDCs, o que pode ser entendido como uma forma de evidenciação da existência de um contrato implícito. Também evidenciamos, embora de forma menos contundente, que empresas com piores ratings securitizam mais.Tais resultados mostram-se alinhados com os encontrados no artigo de Gorton e Souleles (2005) .

Os impactos do saneamento básico nos estados brasileiros sobre os indicadores dominantes de saúde

Este artigo pretende associar o desempenho dos índices de saúde com saneamento básico nos estados brasileiros e se a filiação partidária afeta ou não esses indicadores. Para elaboração deste trabalho foi montado um banco de dados utilizando a estrutura em dados em painel, referente ao período de 2000 a 2010, com os dados extraídos do SINIS, DataSUS, IBGE e TSE. Foi estimado por modelo de efeitos fixos, corrigindo o poblema de heterocedasticidade da amostra com o Teste de White. Os resultados mostram que não podemos descartar a importância do saneamento. Encontramos evidências do impacto das variáveis de esgotamento sanitário sobre a queda da mortalidade por diarréia aguda (crianças menores de 5 anos).

Introdução aos Sistemas de Informações Geográficas (SIG)

Aborda os conceitos iniciais que integram o geoprocessamento e os Sistemas de Informações Geográficas (SIG). Apresenta a definição de geoprocessamento e Sistemas de Informações Geográficas (SIG) e da estrutura de armazenamento dos dados (vetorial e matricial).

Alocação dinâmica de memória – Alocação de matrizes [Audiodescrição]

Versão com menu acessível para leitores de tela e vídeo com audiodescrição.