Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-19T06:29:13Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T23:07:09Z : No. of bitstreams: 1 177332.pdf: 7123349 bytes, checksum: 2000422376c32bd16fc410db52d1f50f (MD5) / Uma evolução da indústria do software, em relação às ferramentas disponíveis para a programação, deu-se com o surgimento dos ambientes de desenvolvimento visual, que combinam recursos textuais (linguagens) e gráficos (ícones e janelas) para a confecção de software. O problema surge quando o ambiente não oferece condições suficientes para que se promovam extensões à linguagem, apresentando-se como uma estrutura fechada de forma que sua utilização seja ao estilo "caixa preta". Como esses ambientes disponibilizam componentes para a confecção de aplicações, normalmente permite apenas que funcionalidades sejam estendidas em forma de novos componentes. Este trabalho apresente uma proposta de suporte à reflexão computacional para os ambientes visuais e o OPMOP, como uma implementação desta proposta. O suporte, voltado à reflexão comportamental, sugere a criação de quatro componentes: um como responsável pelo processo de reificação; outro encarregado de prover o resultado da reificação em componentes visuais; um terceiro para promover todo o suporte de interpretação de mensagens; e um quarto contendo facilidades na definição de quais métodos serão reflexivos. A implementação OPMOP é um conjunto de componentes, desenvolvidos para o ambiente Delphi, que estende recursos reflexivos à linguagem Object pascal. OPMOP é baseado no suporte proposto com as devidas adaptações ao ambiente.

Made available in DSpace on 2014-06-11T19:22:25Z (GMT). No. of bitstreams: 0 Previous issue date: 2007-07-31Bitstream added on 2014-06-13T18:08:14Z : No. of bitstreams: 1 holzschuh_ml_me_prud.pdf: 1897806 bytes, checksum: 49dcd938d6b1fba152b414f9f4c978cc (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / A ocultação, um fenômeno pelo qual um corpo celeste deixa de ser visto em razão da sobreposição de um outro, começou a ser usada para estudar a atmosfera de outros planetas há vários anos. Com o advento dos satélites artificiais GPS (Global Positioning System), em conjunto com os satélites LEO (Low Earth Orbiting), surge a Rádio Ocultação GPS (ROGPS), abrindo-se novas perspectivas para as pesquisas sobre o clima e previsão de tempo. Na RO GPS, os sinais que são enviados pelo satélite GPS e recebidos no satélite LEO sofrem os efeitos da troposfera e da ionosfera ao atravessarem a atmosfera terrestre, afetando a fase e a amplitude das ondas dos sinais envolvidos. A propagação do sinal sofre refração formando uma linha curva entre o satélite transmissor e o receptor, o que permite calcular diferentes índices de refratividade, os quais carregam informações da composição da atmosfera terrestre. A partir de perfis desses índices de refratividade é possível extrair perfis de temperatura, umidade e pressão atmosférica na troposfera, além da distribuição na densidade de elétrons na ionosfera terrestre. Vários trabalhos foram realizados para verificar a qualidade dos perfis atmosféricos obtidos com o emprego do satélite CHAMP (Challenging Minisatellite Payload of Geophysical Research and Application), um satélite LEO, em diversas regiões do globo. Nesse trabalho, objetiva-se investigar e implementar a técnica de ocultação GPS, bem como avaliar a qualidade de perfis de temperatura obtidos com o satélite CHAMP sobre a América do Sul, comparando-os com perfis de radiossondas e perfis provenientes da condição inicial do modelo de Previsão Numérica de Tempo (PNT). A implementação da recuperação de um perfil da atmosfera foi realizada utilizando o código C/A para o cálculo do ângulo de curvatura e o parâmetro de impacto, cujos valores aproximados foram 0,043° e 6381 km, respectivamente. / The occultation, phenomenon in which a celestial body in not seen because of the superposition of another one, started being used several years ago to study the atmosphere of other planets. With the advent of GPS (Global Positioning System) satellites, together with the LEO (Low Earth Orbit) satellites, the GPS Radio Occultation (GPS-RO) arises, in order to obtain new perspectives in studies related to climate and weather forecast. In GPS-RO, the signals sent by the GPS satellite and received by the LEO satellite are disturbed by the ionosphere and troposphere while cross the terrestrial atmosphere, this affects the phase and the amplitude from the involved signals. The signals propagation is affected by refraction, this generates a bending angle between the transmitter and receiver satellites, allowing computing different refractivity index, which carry information about the terrestrial atmosphere composition. Using these profiles of refractivity index is possible to extract profiles of temperature, humidity, atmospheric pressure in the troposphere, and to obtain the electronic density distribution in terrestrial ionosphere. Several works were realized to verify the quality of atmospheric profiles obtained using the CHAMP (Challenging Minisatellite Payload of Geophysical Research and Application) satellite, LEO satellite, in several regions of the globe. In this research the goal is to investigate and implement the GPS occultation technique, and additionally to evaluate the quality of the temperature profiles obtained by CHAMP satellite over the South of America, comparing them with the RSO (Radiosonde) profiles and with the profiles obtained by the initial condition of Numeric Weather Prediction (NWP) model.

Submitted by Isaac Francisco de Souza Dias (isaac.souzadias@ufpe.br) on 2016-01-19T16:53:05Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) tese Renata medeiros.pdf: 1872679 bytes, checksum: 3fce0bb9b510de65d967fa12ff61f596 (MD5) / Made available in DSpace on 2016-01-19T16:53:05Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) tese Renata medeiros.pdf: 1872679 bytes, checksum: 3fce0bb9b510de65d967fa12ff61f596 (MD5) Previous issue date: 2015-03-13 / CNPq / Processos de Negócio Declarativos oferecem mais flexibilidade a processos de negócios pelo uso de regras. Tais regras de negócio descrevem o que deve ou não ser feito durante a execução do processo, mas não especifica como. Para experimentar os benefícios desta abordagem de modelagem, as empresas precisam utilizar uma engine de regras capaz de checar as regras e guiar o usuário durante a execução do processo. As engines de regras disponíveis apresentam várias limitações que impedem seu uso para esta aplicação. Em especial, a conhecida abordagem que emprega Lógica Temporal (Linear Temporal Logic - LTL) tem a desvantagem do problema de explosão do espaço de estados à medida que o modelo do processo cresce. Este trabalho propõe uma nova modelagem de regras baseada em grafos, chamada REFlex, que não compartilha os problemas apresentados pelos outros trabalhos, sendo mais adequada para modelar processos de negócios declarativos do que as técnicas atualmente utilizadas. Para complementar a notação existente que representa atividades e regras no REFlex, foi introduzida a ideia de condições de existência, que permite a definição de regras dependente de dados. Isso não altera o fluxo semântico ou a abordagem sintática da modelagem. Tais condições de existência provêm poder expressivo para processos de negócio declarativos. Neste trabalho, é apresentado o modelo de especificação formal do REFlex utilizando a linguagem Alloy, descrevendo como ela representa o processo de negócio como um grafo e como esse grafo é modelado e atualizado. É introduzido um mecanisno de vivacidade do processo. A conceitualização desse mecanismo foi possível devido à habilidade do Alloy de prover não apenas as situações de impasse mas também o caminho descrevendo como essas situações foram atingidas. Então, esse mecanismo de vivacidade cria as condições necessárias para guiar/controlar as escolhas do usuário, previnindo-o de guiar o processo erroneamente para tais situações de impasse. / Declarative Business Processes offer more flexibility to business processes by the use of business rules. Such business rules describe what must or must not be done during the process execution, but do not prescribe how. To fully experience the benefits of this modeling approach, companies need a rule engine capable of checking the rules and guiding the user through the execution of the process. The rule engines available today present several limitations that impair their use to this application. In particular, the well-known approach that employs Linear Temporal Logic (LTL) has the drawback of the state space explosion as the process model grows. This work proposes a novel graph-based modeling, called REFlex, that does not share the problems presented by other works, being better suited to model declarative business processes than the techniques currently in use. To complement the existing notation that represents activities and rules in REFlex we introduce the idea of existence conditions, which allows the definition of data-aware rules. This does not alter the semantic flow or syntactic approach to the precedent modeling. Such existence conditions provide expressive power to declarative business processes. Herein, we present the formal specification model of the REFlex using the Alloy language, describing how it represents the business process as a graph and how this graph is modeled and updated. We introduce a liveness-enforcing mechanism. The conceptualization of this mechanism was possible due to the ability of Alloy to provide not only the activities in deadlock but also the trace describing how these situations were achieved. Hence, the liveness-enforcing mechanism creates the necessary conditions to guide/control the choices taken by the user preventing him from mistakenly driving the process into such deadlock situations.

Made available in DSpace on 2018-08-02T00:00:50Z (GMT). No. of bitstreams: 1 tese_3069_DissertacaoMestradoMarcosTadeudeAraujoTorres.pdf: 1382919 bytes, checksum: 25aedd097135da7b41375b58808d6947 (MD5) Previous issue date: 2010-10-01 / As novas tecnologias de redes ópticas apresentam um desafio considerável para os pesquisadores envolvidos com a nova geração de redes de alto desempenho, notadamente no que se refere à otimização da infra-estrutura atual de fibras ópticas disponíveis nos backbones. Neste contexto as simulações se apresentam como alternativas flexíveis para a modelagem e análise de novas idéias e projetos. Além disso, um ambiente uniforme para a simulação de redes OTN é essencial fornece aos pesquisadores a capacidade de reproduzir e comparar resultados de diferentes frentes de pesquisa. Este trabalho tem como objetivo apresentar uma proposta de arquitetura para um framework de simulações de redes ópticas de transporte, independente de fabricantes, desenvolvido em código aberto e voltado especificamente para as redes OTN (Optical Transport Network). O ambiente de simulação adotado é o OMNeT++. A proposta de arquitetura é resultado da integração dos trabalhos desenvolvidos pelo grupo de pesquisas em telecomunicações da UFES e está focada principalmente na descrição funcional e interação dos componentes ópticos OTN e as normas e especificações da ITU-T. As principais contribuições da dissertação são a apresentação da estrutura geral da arquitetura, e da modelagem e interação dos seus principais componentes. São apresentados também um protótipo inicial do framework e alguns resultados preliminares de pesquisas que estão utilizando este protótipo. Além disso, é apresentado um módulo de comunicação externa que está em desenvolvimento e que, futuramente, vai agregar muitas funcionalidades ao framework.

No description available.

Tese de mestrado integrado. Engenharia Mecânica. Faculdade de Engenharia. Universidade do Porto. 2009

Estágio realizado na LSI - Integração de Serviços e Informática, Ld.ª / Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2009

Estágio realizado na Fundição do Alto da Lixa, S. A. e orientado pelo Eng.º Cláudio Miguel Moreira Campos / Tese de mestrado integrado. Engenharia Metalúrgica e de Materiais. Faculdade de Engenharia. Universidade do Porto. 2009

Tese de mestrado integrado. Engenharia do Ambiente. Faculdade de Engenharia. Universidade do Porto. 2010

Tese de mestrado integrado. Engenharia Civil (Especialização em Hidráulica). Faculdade de Engenharia. Universidade do Porto. 2009