Simulação paralela de eventos discretos com uso de memória compartilhada distribuída

A simulação paralela de eventos é uma área da computação que congrega grande volume de pesquisas, pela importância em facilitar o estudo de novas soluções nas mais diferentes áreas da ciência e tecnologia, sem a necessidade da construção de onerosos protótipos. Diversos protocolos de simulação paralela podem ser encontrados, divididos em dois grandes grupos de acordo com o algoritmo empregado para a execução em ordem dos eventos: os conservadores e os otimistas; contudo, ambos os grupos utilizam trocas de mensagens para a sincronização e comunicação. Neste trabalho, foi desenvolvido um novo protocolo de simulação paralela, fazendo uso de memória compartilhada, o qual foi implementado e testado sobre um ambiente de estações de trabalho, realizando, assim, simulação paralela com uso de memória compartilhada distribuída. O protocolo foi desenvolvido tendo como base de funcionamento os protocolos conservadores; utilizou diversas características dos mesmos, mas introduziu várias mudanças em seu funcionamento. Sua execução assemelha-se às dos protocolos de execução síncrona, utilizando conceitos como o lookahead e janelas de tempo para execução de eventos. A principal mudança que o novo protocolo sofreu foi proporcionada pelo acesso remoto à memória de um LP por outro, produzindo diversas outras nas funções relativas à sincronização dos processos, como o avanço local da simulação e o agendamento de novos eventos oriundos de outro LP. Um ganho adicional obtido foi a fácil resolução do deadlock, um dos grandes problemas dos protocolos conservadores de simulação paralela. A construção de uma interface de comunicação eficiente com uso de memória compartilhada é o principal enfoque do protocolo, sendo, ao final da execução de uma simulação, disponibilizado o tempo de simulação e o tempo de processamento ocioso (quantia utilizada em comunicação e sincronização). Além de uma implementação facilitada, propiciada pelo uso de memória compartilhada ao invés de trocas de mensagens, o protocolo oferece a possibilidade de melhor ocupar o tempo ocioso dos processadores, originado por esperas cada vez que um LP chega a uma barreira de sincronização. Em nenhum momento as modificações efetuadas infringiram o princípio operacional dos protocolos conservadores, que é não possibilitar a ocorrência de erros de causalidade local. O novo protocolo de simulação foi implementado e testado sobre um ambiente multicomputador de memória distribuída, e seus resultados foram comparados com dois outros simuladores, os quais adotaram as mesmas estratégias, com idênticas ferramentas e testados em um mesmo ambiente de execução. Um simulador implementado não utilizou paralelismo, tendo seus resultados sido utilizados como base para medir o speedup e a eficiência do novo protocolo. O outro simulador implementado utilizou um protocolo conservador tradicional, descrito na literatura, realizando as funções de comunicação e sincronização através de trocas de mensagens; serviu para uma comparação direta do desempenho do novo protocolo proposto, cujos resultados foram comparados e analisados.

Análise do desempenho da tecnologia 4G LTE

O objectivo deste trabalho passa pelo desenvolvimento de uma ferramenta de simulação dinâmica de recursos rádio em LTE no sentido descendente, com recurso à Framework OMNeT++. A ferramenta desenvolvida permite realizar o planeamento das estações base, simulação e análise de resultados. São descritos os principais aspectos da tecnologia de acesso rádio, designadamente a arquitectura da rede, a codificação, definição dos recursos rádio, os ritmos de transmissão suportados ao nível de canal e o mecanismo de controlo de admissão. Foi definido o cenário de utilização de recursos rádio que inclui a definição de modelos de tráfego e de serviços orientados a pacotes e circuitos. Foi ainda considerado um cenário de referência para a verificação e validação do modelo de simulação. A simulação efectua-se ao nível de sistema, suportada por um modelo dinâmico, estocástico e orientado por eventos discretos de modo a contemplar os diferentes mecanismos característicos da tecnologia OFDMA. Os resultados obtidos permitem a análise de desempenho dos serviços, estações base e sistema ao nível do throughput médio da rede, throughput médio por eNodeB e throughput médio por móvel para além de permitir analisar o contributo de outros parâmetros designadamente, largura de banda, raio de cobertura, perfil dos serviços, esquema de modulação, entre outros. Dos resultados obtidos foi possível verificar que, considerando um cenário com estações base com raio de cobertura de 100 m obteve-se um throughput ao nível do utilizador final igual a 4.69494 Mbps, ou seja, 7 vezes superior quando comparado a estações base com raios de cobertura de 200m.

Geração de código VHDL a partir de especificações IOPT PNML2VHDL

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção de grau de Mestre em Engenharia Electrotécnica e de Computadores

Redes de Petri reactivas e hierárquicas - integração de formalismos no projecto de sistemas reactivos de tempo-real

Dissertação apresentada para obtenção do grau de Doutor em Engenharia Electrotécnica, especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Distribuição segura de chaves criptográficas em redes de sensores sem fios de grande escala: estudo e avaliação experimental em ambiente de simualação

Dissertação de Mestrado em Engenharia Informática

Estudo, desenvolvimento de manuais de utilização e colocação em funcionamento da bancada SIMATIC da Siemens

Dissertação de mestrado em Engenharia Mecatrónica

Conversão sistemática do comportamento definido nos blocos funcionais da norma IEC 61 131-3 para autómatos finitos temporizados

Dissertação de mestrado integrado em Engenharia Mecânica

Modelos de simulação de processos por junção de componentes

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Una aproximación sectorial a la localización industrial en Cataluña

El objetivo de este estudio es analizar las decisiones de localización de las actividades industriales desde una óptica sectorial. En concreto, se explica la distribución municipal en Catalunya del número de nuevas inversiones procedentes del Registro de Establecimientos Industriales, durante el período 1986-2000. Los determinantes de la localización industrial se han agrupado en tres categorías: condiciones de oferta de factores, economías de aglomeración y accesibilidad. El análisis se lleva a cabo utilizando un modelo de eventos discretos con datos de panel. Los resultados obtenidos muestran que los tres conjuntos de variables introducidas son relevantes en la explicación de la localización de las empresas manufactureras y que actúan en diferente grado para los diferentes sectores.

Metodología para la resolución de problemas de optimización

El presente proyecto tiene como objetivo evaluar una metodología para la resolución de problemas de optimización. Para ello se utiliza el formalismo de modelado de Redes de Petri Coloreadas para representar un Sistema de Eventos Discretos, que describirá el problema de optimización a resolver. El caso de estudio a optimizar en este proyecto se conoce como Tiempo de Tránsito de Pasajeros, y se define como el tiempo que tarda un pasajero con escalas en recorrer el trayecto que va desde la puerta de embarque de llegada hasta la puerta de embarque de salida asignada.

Análise de estabilidade de sistemas dinâmicos híbridos e descontínuos modelados por semigrupos:

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Um sistema de apoio a decisão utilizado no planejamento e controle de produção de uma empresa aeronaútica: Reinaldo de Almeida. -

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Modelo de simulação computacional para balanceamento de linhas de produção das empresas cerâmicas de São Miguel do Guamá: um estudo de caso

O presente trabalho vem apresentar um modelo de simulação computacional com propósito de resolver o problema do balanceamento de linhas de produção de uma fábrica de cerâmica vermelha, pertencente ao polo oleiro-cerâmico de São Miguel do Guamá. Neste sentido, inicialmente é realizada uma pesquisa bibliográfica acerca dos sistemas de eventos discretos, dos métodos de solução para balanceamento de linhas e dos conceitos envolvendo a modelagem e simulação. A metodologia aborda o estudo de caso, sendo este conduzido pelo método proposto por Chwif (1999) no qual abrange 03 (três) macros etapas na condução de um projeto de simulação, sejam a etapa de concepção, implementação e etapa de análise. Com o modelo computacional desenvolvido com base nas características atuais da linha de produção, pode-se descrever o estado atual do processo, identificar a operação gargalo bem como encaminhar propostas de melhorias a partir da construção de 03 cenários. Onde o terceiro cenário apresentou os melhores resultados e, portanto, sendo este o modelo representativo ao balanceamento. Ao final, entende-se como principais contribuições deste trabalho o fato de trazer para dentro da universidade a experiência da aplicação prática da simulação, envolvendo uma indústria de cerâmica vermelha de São Miguel do Guamá e oferecer a indústria desta região uma ferramenta potencial para melhoria de seus processos produtivos.

Sequenciamento de linhas de montagem múltiplas em ambiente de produção enxuta utilizando simulação

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)