Orientador: Lee Luan Ling / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-21T15:43:50Z (GMT). No. of bitstreams: 1 Moraes_AntonioAugustoTeixeiraPintode_M.pdf: 5109510 bytes, checksum: c825c228c53de73e9850d54edde63069 (MD5) Previous issue date: 1996 / Resumo: Propomos o uso de buffers na Manhattan Street Network (MSN) para evitar ou minimizar a perda de pacotes e realizamos a análise da perda de pacotes para a rede com e sem filas. A fim de entender melhor o fenômeno da perda de pacotes, introduzimos um modelo estatístico para a MSN com e sem filas. O modelo fornece a relação probabilística entre a utilização de enlace e a ocupação do buffer. Experimentalmente, obtivemos algumas estatísticas da rede, através da resolução do modelo e de simulações. Comparações entre essas estatísticas validam nossa proposta. Objetivando otimizar o desempenho da Manhattan Street Network, sugerimos um novo algoritmo de roteamento. Esse algoritmo é baseado nos algoritmos de Maxemchuk e tira melhor proveito do uso de filas para evitar a perda de pacotes. Chamamos de Queueing Manhattan Street Network (QMSN) a MSN com filas e o novo algoritmo. A fim de avaliarmos o ganho em desempenho obtido, introduzimos um modelo estatístico para a QMSN, o Modelo de Nó Único para a QMSN, baseado no Modelo de Nó Único sugerido por Greenberg e Goodman. Baseando-nos em nosso modelo, derivamos expressões para as estatísticas de desempenho da rede. Experimentalmente, resolvemos o modelo e obtivemos as estatísticas de desempenho. Os resultados, confirmados por simulações, provam que a QMSN é uma variante da MSN com desempenho superior. Os conceitos de capacidade da rede e taxa de capacidade são introduzidos para a Manhattan Street Network. Um limite superior é encontrado para a taxa de capacidade da rede, o que habilita-nos a classificar a MSN em duas categorias: região de operação normal e região de colapso. Os resultados da análise da perda de pacotes sugerem que ajustando-se a MSN para operar abaixo da taxa de capacidade, garante-se um melhor compromisso entre uma alta vazão, baixo atraso e perda de pacotes tolerável / Abstract: We propose the use of buffers in the Manhattan Street Network (MSN) either to avoid or minimize packet losses and perform the packet loss analysis for the network with or without buffering. To have better understanding about the packet loss in MSN, we introduce a statistical model for the MSN with buffering. The model provides a probabilistic relationship between network link utilization and buffer occupation. ln the experimental studies, we compute some network statistics by solving the model as well as simulation. The results of the comparison among these statistics validates our approach. With the intention of optimizing the performance of The Manhattan Street Network, we propose a new routing algorithm. This algorithm is based on the Maxemchuk's routing algorithms and takes advantage of the use of queues to avoid the packet losses. We called Queueing Manhattan Street Network (QMSN) the MSN with queues and the new routing algorithm. ln order to evaluate the gain in performance obtained, we introduce a statistical model for QMSN, the One Node Model for QMSN, based on the One Node Model suggested by Greenberg e Goodman. Based on our model, we derive expressions for network performance statistics. ln experimental studies, we solved the model and obtained the performance statistics. The results, confirmed by simulations, prove that QMSN is a variant of MSN with better performance. A new concepts of network capacity and capacity rate are introduced to the Manhattan Street Network. An upper bound is found for the network capacity rate, which enables us to classify MSN into two categories: the normal operation region and the collpase region. The results from the packet loss analysis suggest that setting MSN to opearate below the network capacity rate guarantees the best trade-off among a high network throughput, low packet delay and light packet losses / Mestrado / Mestre em Engenharia Elétrica

Orientadores: Edson Luiz Ursini, Paulo Sérgio Martins Pedro / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Tecnologia / Made available in DSpace on 2018-08-24T15:16:37Z (GMT). No. of bitstreams: 1 Santos_VlademirFazio_M.pdf: 4330659 bytes, checksum: a576d09102c26740d57f44a9686c5b76 (MD5) Previous issue date: 2014 / Resumo: Iniciativas industriais para finalizar a produção de multi-commodities embaladas sem formar estoque requerem inovação tecnológica constante. Atuam sincronizadamente com o múltiplo carregamento simultâneo diretamente em caminhões. Para isso desenvolvemos um modelo de simulação por eventos discretos e apresentamos seu modelo analítico de tráfego validado com Redes de Filas de Jackson e pela Lei de Conservação de Little. Descrevemos os limites do intervalo de variação de tempos máximos e médios de permanência de multi-commodities em sistemas de tempo real para três servidores paralelos. Esse sistema opera com mudanças dinâmicas de diferentes políticas de escalonamento. Um resultado é a confirmação do compromisso entre tempos máximos e médios independentemente de intensidade de tráfego e de políticas de escalonamento a que o modelo seja submetido. Outro é a identificação de uma faixa de relativa estabilidade operacional fora de regiões críticas. Assim, contribuímos com os princípios de um método que pode ser adotado como apoio às decisões de planejamento em ambientes industriais complexos submetidos a filas em tempo real / Abstract: The industrial initiatives for the production finalization of packed multi-commodities without forming stock require constant technological innovation. They operate a synchronous process to simultaneous multi-loading straightly into trucks. Regarding to this we developed a discrete event simulation model and present its traffic analytical model validated with the theory of Jackson Queueing Networks and the Little's Conservation Law. We describe the limits for the range of multi-commodities throuput-times and maximum waiting time in real-time systems with three parallel servers. This system operates with dynamical changes of different scheduling policies. A reached result is the confirmation of the average and maximum times mutual commitment despite of traffic intensity and scheduling policies that the model is submitted to. Another is the identification of a range of relative operational stability out of critical regions. As a contribution we offer the principles of a method that can be used to planning decision support in complex industrial environments subject to real-time queues / Mestrado / Tecnologia e Inovação / Mestre em Tecnologia

Orientadores: Varese Salvador Timoteo, Edson Luiz Ursini / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Tecnologia / Made available in DSpace on 2018-08-27T17:38:56Z (GMT). No. of bitstreams: 1 LibardiJunior_JoseCarlos_M.pdf: 4110678 bytes, checksum: eee73fe122555a9710247faeceb6f135 (MD5) Previous issue date: 2015 / Resumo: A constante evolução do poder computacional aliada ao baixo custo de aquisição, faz com que os computadores sejam indispensáveis para construção de modelos de simulação. Atualmente, a simulação por computador é usada nas mais diversificadas áreas, como previsão meteorológica, dimensionamento de centrais telefônicas, e estudos aerodinâmicos. A presente dissertação valida e comprova a eficácia de modelos de simulação construídos no software Mathematica 10 por meio do software Arena 14.50. Para isso, foi construído um modelo que, sem focar nas condições reais do sistema, simula de forma hipotética (levando em conta apenas o número de canais de comunicação disponíveis e o tempo de médio duração das chamadas) o tráfego oferecido por chamadas de áudio e vídeo em uma ERB (Estação Rádio-Base) CDMA (Code Division Multiple Access) ou GSM (Global System for Mobile) que nesse trabalho, é representada por um sistema de fila. Diversos cenários de tráfego foram analisados utilizando diferentes parâmetros como a quantidade de chamadas ingressantes, tempo de duração da chamada e o número de canais disponíveis. Os resultados finais comprovaram que os modelos de simulação criados no Mathematica 10 são equivalentes aos modelos de simulação construídos no Arena 14.50 / Abstract: The constant evolution of power of computers together with their low cost of aquisition, make them indispensable in building of simulation models. Nowadays, computer simulation is used in a variety of areas such weather forecasting, sizing of telephone stations and in aerodynamic studies. This essay validate and proves the effectiveness of these simulation models built on The Mathematica 10 software with the Arena 14.50. In order to do that, a model was built and without focusing on System s real condition, it simulates in a hypothetical way (considering only the number of communication channels available and average length of the calls) The traffic offered by audio and vídeo calls through a RBS (Radio Base Station) CDMA (Code Division Multiple Access) or GSM (Global System for Mobile) which herein is shown through a queue system. Various traffic scenarios were analyzed using different setups, like quantity of incoming calls, length of calls and number of available channels. The final results confirmed that the simulation models built on Mathematica 10 are equivalents to The simulation models built on Arena 14.50 / Mestrado / Tecnologia e Inovação / Mestre em Tecnologia

Orientador: Renata Spolon Lobato / Banca: Alexandro José Baldassin / Banca: Henrique Mongelli / Resumo: A busca por aprimorar o desenvolvimento de aplicações complexas tem aumentado gradativamente. Além disso, procura-se a redução de gastos ao implementar a aplicação, como também o aumento da segurança, o que torna muito importante a técnica de solução de modelos e a simulação de sistemas. Isso ocorre principalmente nas áreas comerciais, industriais e com finalidade de pesquisa. Visando facilitar a utilização da técnica de solução de modelos e a simulação de sistemas, neste projeto é apresentado o desenvolvimento de um gerador de simuladores baseado em filas, o Yasc (Yes, a simulator's compiler). Esta ferramenta possibilita a construção de aplicações capazes de solucionar os problemas ditos anteriormente de maneira simples e sem a necessidade de codificação. Assim, a partir de parâmetros informados pelo usuário como entrada, o gerador fornece, como saída, uma ferramenta de simulação. Apresenta-se também um estudo de caso de redes de computadores em que o Yasc, com sua implementação já finalizada, foi utilizado para gerar simuladores de redes e para realizar a solução de modelos e simulação de ambientes reais, cujos resultados foram comparados aos de outro simulador específico da área, o NS-3 (Network Simulator) / Abstract: The search to improve the development of complex applications has gradually increased. It also seeks to reduce costs by implementing the application, and seeks as well to increase security, which makes it very important to model solution technique and systems simulation. This occurs in the commercial, industrial and research-purposed areas. To facilitate the models solution technique and the simulation of systems, this project presented the development of a simulator generator based on queues, the Yasc (Yes, a simulator's compiler). This tool makes it possible to generate applications that can simply solve problems mentioned before without coding. Thus, based on parameters from the user's input, the generator provide, as output, a simulation tool. Furthermore, we present a case study of computer networks where the Yasc, with your finished implementation, was used to generate network simulators and to perform models solution and simulations of real enviroments, whose results were compared to other specific simulator area, the NS-3 (Network Simulator) / Mestre

Made available in DSpace on 2016-06-02T19:05:59Z (GMT). No. of bitstreams: 1 4685.pdf: 5011854 bytes, checksum: 20592729fa201c69f10672347d91c2a5 (MD5) Previous issue date: 2012-08-31 / Financiadora de Estudos e Projetos / Managing multiple systems such as machine tools, vehicles, aircraft, among others, demand a very intense flow of data between them and the system manager. Researches have been developed in the design and implementation of scalable architectures that meet these demands leading to interesting questions of performance. The objective of this work is to propose a low cost scalable architecture for embedded applications, using pools of personal computers for high performance storage, retrieval and processing of information. It is driven by strong demand for tracking and monitoring of machines and vehicles, covering concepts of mobile networks with satellites and GPRS technology together with the requirement of reliability and performance in the sending of information. Proposes the definition of a server structure, whose distribution is transparent to the application, which is responsible for the receipt of messages from embedded devices via radio frequency technology, decoding and integration of information in the database and subsequent recovery of these information s. Through simulation of different modeled strategies using queuing theory to determine the architecture and the use of predictive mathematical methods for estimating the future burden for the server application, it was possible to obtain a solution that satisfactorily met the assumptions of the research. Thus, it is concluded that it is possible to estimate trends peaks processing information for telemetry applications fleet. / O gerenciamento remoto de múltiplos sistemas tais como máquinas operatrizes, veículos, aviões, dentre outros, demanda um fluxo bastante intenso de dados entre eles e o sistema gerenciador. Pesquisas têm sido desenvolvidas na concepção e implementação de arquiteturas escaláveis que atendam essas demandas levando a questões interessantes de desempenho. O objetivo deste trabalho é propor uma arquitetura escalável de baixo custo para aplicações embarcadas, utilizando pools de computadores pessoais para obter alto desempenho no armazenamento, recuperação e tratamento da informação. É motivado pela grande demanda de rastreamento e monitoramento de máquinas e veículos, contemplando conceitos de redes móveis com tecnologia de satélites e GPRS, juntamente com o requisito de confiabilidade e desempenho no envio da informação. Propõe a definição de uma estrutura de servidor, cuja distribuição é transparente para a aplicação, à qual compete o recebimento das mensagens dos equipamentos embarcados através de tecnologia de radio frequência, decodificação e inserção das informações num banco de dados e posterior recuperação destas informações. Através da simulação de diferentes estratégias modeladas, utilizando a teoria das filas, para determinação da arquitetura e a utilização de métodos matemáticos preditivos para estimação da carga futura para a aplicação servidora, foi possível obter uma solução que atendeu satisfatoriamente às premissas da pesquisa. Dessa forma, conclui-se que é possível estimar tendências de picos de processamento de informação para aplicações de telemetria de frotas.

Made available in DSpace on 2016-08-10T10:40:33Z (GMT). No. of bitstreams: 1 ALAN FERREIRA DA ENCARNACAO.pdf: 2933331 bytes, checksum: c35f4b9fb1427d754df19f35454d444e (MD5) Previous issue date: 2015-08-18 / This paper discusses the application of discrete simulation for the management of queues in the service sector. Some service providers do not correctly dimensioning its service capacity generating queues. The efficient management of queues assists managers in making decisions. The characteristics of services and their important activities are addressed, aiming to demonstrate the Computational Simulation utility to find a balance that satisfies the customer and is economically viable for the service manager. The study object is a self-service restaurant. Through the Software ARENA was developed a model of discrete type and stochastic to play everyday restaurant setting. It concludes that the discrete simulation software has modeling elements that meets the application requirements. The studied restaurant has different characteristics from traditional self-service with layout in series, and it was necessary to provide the model a route for the flow of customers. The study concluded that the queues occur in the mass preparation process, special meat preparation and boxes, with average waiting times of up to 5 minutes. In the other processes, which are trim service, salad - dessert, scale and location of a table - chair is available, the queues have a very agile flow. The operating model obtained allowed the evaluation of some scenarios aiming to reduce the queue time. / Este trabalho discute a aplicação da simulação discreta para a gestão de filas no setor de serviços. Alguns prestadores de serviços não dimensionam corretamente sua capacidade de atendimento gerando assim as filas. A gestão eficiente das filas auxilia os gestores na tomada de decisões. São abordadas as características das atividades de serviços e sua importância, tendo como objetivo demonstrar a utilidade da Simulação Computacional para se encontrar um ponto de equilíbrio que satisfaça o cliente e seja viável economicamente para o gestor do serviço. O objeto de estudo é um restaurante selfservice. Através do Software ARENA foi desenvolvido um modelo do tipo discreto e estocástico para reproduzir o ambiente diário do Restaurante. Conclui-se que o software de simulação discreta possui elementos de modelagem que atende as necessidades da aplicação. O restaurante estudado possui características diferentes do tradicional selfservice com layout em série, e foi necessário prever no modelo um roteamento para o fluxo de clientes. O estudo concluiu que as filas ocorrem nos processos de preparo de massas, preparo de carnes especiais e caixas, com tempos médios de espera de até 5min. Nos demais processos, que são serviço de guarnição, salada-sobremesa, balança e localização de uma mesa-com cadeira disponível, as filas possuem um fluxo bem ágil. O modelo operacional obtido permitiu a avaliação de alguns cenários visando diminuição do tempo de fila.

Redes ad hoc são um tipo de rede sem fio onde as estações fazem, também, o papel de roteadores de pacotes. Como o meio de transmissão é o ar, ficam susceptíveis a diversos tipos de ataques, em suas diversas camadas de protocolos. Uma das camadas mais inseguras é a de roteamento, camada 3 do modelo OSI da ISO. Alguns protocolos de roteamento ad hoc já propõe a integração de primitivas de criptografia para prevenção contra alguns ataques e garantir a autenticação das estações na rede. Para emprego militar, onde há uma divisão hierárquica entre as diversas mensagens que trafegam na rede, faz-se, ainda, necessário formar uma hierarquia entre as estações roteadoras, de forma que somente nós confiáveis possam executar esta tarefa entre os níveis de comando e tropas. Assim, a proposta deste trabalho é utilizar propriedades que aumentem a segurança das redes de comunicação ad hoc, aplicadas aos pacotes de roteamento com a finalidade de criar rotas com diferentes hierarquias e níveis de segurança. O desempenho da solução apresentada é caracterizado pelo tempo necessário para estabelecer uma rota segura pertencente a um dado nível hierárquico em função do número de saltos da rota e do número de usuários pertencentes ao nível hierárquico considerado.

Made available in DSpace on 2015-04-22T22:10:16Z (GMT). No. of bitstreams: 1 alexandre.pdf: 1847704 bytes, checksum: 0a0ce0d01ec14506d096a04795e0d60e (MD5) Previous issue date: 2009-09-30 / This academic work intends to use simulation modeling to study the behavior of the queue of attendance of voters who request registration, which can range from 50 voters per day, in periods of small demand, to 8000 voters per day, in electoral years. For such, a study of case in the Central Office of Attendance of Voters (CATE) of the Electoral Regional Court of Amazon (TRE-AM) was made, emphasizing the process of arrival and attendance of voters, regarding the operations of enlistment, revision, transference and second copies. To develop this study, a bibliographical survey was made on Services of Electoral Attendance, Queuing Theory, Modeling and Simulation of Systems, and Arena® Simulator. In addition to the collecting of data of the field research, queries to the historical information stored in the database of TREAM were made, with the purpose of validation of the collected data. From these data, a mathematical model was developed, whose model of computational simulation was implemented with the software Arena®, and validated for the current operational conditions of small demand. From this model, nine alternative scenes for the operational conditions of the central office of attendance of voters were generated, allowing comparisons considering the amount of attendants, their level of experience, operations of attendance, and demand of voters. The analysis of the results shows that a modification in the operational configuration considerably influences the average time that the voter waits in line and the size of the line, being the main influence factors the number of attendants and their level of experience, which suggests that some measures, such as training, standardization of the procedures and implantation of new provisory attendance centers a longer time in advance, will guarantee quality improvement of the services / Este trabalho acadêmico busca utilizar a modelagem de imulação para estudar o comportamento da fila de atendimento aos eleitores que solicitam títulos eleitorais, a qual pode variar de 50 eleitores por dia, em período de demanda pequena, até chegar a 8.000 eleitores por dia, em períodos de anos eleitorais. Para tal, foi feito um estudo de caso na Central de Atendimento ao Eleitor (CATE) do Tribunal Regional Eleitoral do Amazonas (TRE-AM), dando ênfase ao processo de chegada de eleitores e ao processo de atendimento, no que diz respeito às operações de alistamento, revisão, transferência e segunda via. Para desenvolvimento deste estudo, foi feito um levantamento bibliográfico sobre Serviços de Atendimento Eleitoral, Teoria das Filas, Modelagem e Simulação de Sistemas, e Simulador Arena®. Além da coleta de dados da pesquisa de campo, foram feitas consultas às informações históricas armazenadas no banco de dados do TRE-AM para fins de validação dos dados coletados. A partir desses dados, foi desenvolvido um modelo matemático, cujo modelo de simulação computacional foi implementado no software Arena®, e validado para as condições operacionais atuais de demanda pequena. Com esse modelo, foram gerados nove cenários alternativos para as condições operacionais da central de atendimento ao eleitor, fazendo comparações de acordo com a quantidade de atendentes, nível de experiência dos atendentes, operações de atendimento, e demanda de eleitores. A análise dos resultados mostra que a alteração na configuração operacional influencia consideravelmente no tempo médio que o eleitor espera na fila, assim como no tamanho da fila, sendo os fatores principais a quantidade e o nível de experiência dos atendentes, sugerindo-se assim treinamentos, padronização dos procedimentos e implantação de novas Centrais de Atendimento provisórias, com um tempo de antecedência maior que o atual, garantindo-se assim melhor qualidade nos serviços de atendimento.

[pt] Esta dissertação trata sobre o problema de alocação de balcões de check-in em um aeroporto. O processo de check-in é um dos serviços aeroportuários mais problemáticos. Ineficiências neste processo propagam problemas como o efeito chicote, sendo uma das causas dos baixos níveis de serviço. Além disso, em geral, as ilhas de check-in ocupam grandes áreas nos aeroportos afetando possíveis receitas de concessão. Uma alocação eficiente de balcões para o processo de check-in poderia reduzir custos aeroportuários e elevar o nível de serviço oferecido para os passageiros. Visando otimizar o ACCAP a nível diário, este trabalho apresenta uma nova metodologia que combina otimização e simulação. O objetivo é determinar o número ótimo, programação e localização de balcões para check-in, de forma a minimizar custos operacionais e garantir um dado nível de serviço. A metodologia proposta divide-se em três passos. O passo número um faz uso de modelos de otimização para o problema de alocação de balcões de check-in num aeroporto considerando uma política de alocação variável. Dois novos modelos de optimização são apresentados, um para um sistema de check-in comum e outro para um sistema dedicado. Os modelos visam determinar o menor número de balcões por intervalo de tempo e ao mesmo tempo equilibrar os custos operacionais e o nível de serviço oferecido. Estes modelos apresentam dois conjuntos de restrições que levam em consideração aspectos estocásticos do processo de check-in. Um conjunto considera o conceito de fator de utilização da teoria de filas e o outro, a flutuação na taxa de chegada dos passageiros entre intervalos de tempo adjacentes. O passo número dois usa simulação para avaliar se os resultados do passo anterior cumprem um determinado nível de serviço quando são consideradas incertezas na chegada dos passageiros e tempo de atendimento no processo de check-in. Além disso, a simulação terminada ajuda definir a duração adequada do intervalo de tempo e parâmetros chaves relativos aos modelos de otimização. Em geral, o processo de check-in é analisado considerando um padrão de chegada dos passageiros em procura do serviço de registro e como estes passageiros são atendidos nos balcões. A fim de avaliar essas distribuições: tempo entre chegada dos passageiros e tempo de atendimento, um conjunto de cenários é definido. Os principais cenários para ser testados são para um sistema comum e um dedicado. Assim, testando certo número de replicações para cada experimento de simulação, as estatísticas de desempenho do sistema são obtidas. Estatísticas de interesse tem que ver com o tempo de espera e tamanho da fila. O passo número três é aplicado só para sistemas de check-in dedicados. Uma vez que se conhece o número de balcões por intervalo de tempo para cada voo é possível minimizar o total de balcões satisfazendo a restrição de adjacência. Esta restrição estipula que todos os balcões do mesmo voo devem estar juntos. Sem a restrição de adjacência, o número mínimo de balcões poderia ser achado facilmente através de uma alocação fixa de recursos por intervalo de tempo. Este procedimento indicaria o número máximo de balcões requeridos no intervalo de tempo de maior ocupação, mas este resultado não garante uma solução que satisfaz a restrição de adjacência. Assim, os modelos matemáticos relacionados com programação de recursos adjacentes tem que garantir uma alocação ótima de balcões com balcões. A metodologia proposta é testada com um caso de estudo existente na literatura. Primeiro, considerando realidades práticas do planejamento de recursos nos processos aeroportuários, a duração de meia hora identificou-se como o tamanho adequado do intervalo de tempo para a discretização do problema de alocação de balcões de check-in num aeroporto. Depois, comparando os resultados obtidos entre a metodologia e o caso de estudo baseado só em simulação, os resultados demostram a confiabilidade / [en] This dissertation deals with the Airport Check-in Counter Allocation Problem (ACCAP). The check-in process is one of the most problematic airport services. Inefficient check-in processes propagate problems as a bullwhip effect being the basis for low quality service levels. Moreover, check-in counters usually occupy a considerable area in airports affecting concession revenues. An efficient check-in process may therefore contribute to reduce airport costs and increase service level. This work presents a new methodology to optimize the ACCAP that combines optimization and simulation. The objective is to determine the optimal number, schedule and location of check-in counters assigned to departing flights, such that operational costs are minimized and a given service level is ensured. The methodology is composed of three steps. Step 1 uses optimization models to determine the optimal number of desks. Step 2 uses simulation to assess if the results obtained in Step 1 meet the service level. Step 3 uses an optimization model to enforce an adjacent constraint for dedicated check-in systems. For Step 1 it is developed two new optimization models for common and dedicated check-in systems that include constraints regarding the utilization factor concept of queue theory, and the fluctuation in the passenger arrival rate. Step 2 uses standard simulation methods and Step 3 uses models existing in literature. The methodology is tested in a real sample to show its reliability and accuracy. Then, it is applied to a case study in a busiest airport. The results demonstrate the positive performance of the process considering the trade-off between operational costs and a given service level. Also, a maximum waiting time of thirty minutes is obtained and it is incorporated to the overall service level.

[pt] Cada vez mais os aparelhos móveis estão se aperfeiçoando, com aumentos em suas capacidades de processamento e memória. Essa tendência acaba tornando o processamento móvel uma alternativa interessante. Este trabalho visa explorar esse mundo mobile e o seu potencial através do paralelismo, tanto localmente, na forma de exploração multicore, quanto distribuida, na forma de exploração multidispositivo. Exploramos isto através de uma biblioteca de paralelismo da linguagem de programação Lua, chamada Luaproc. Propomos um novo modelo de comunicação para esta biblioteca, para incluir esse cenário multidispositivo e combinar as facilidades de um serviço de enfileiramento de mensagens com o suporte para paralelismo já existente. Apresentamos algumas aplicações da biblioteca desenvolvida, avaliando sua utilização e desempenho em diferentes cenários. / [en] Mobile devices are undergoing constant increases in their processing and memory capabilities. This tendency is making mobile processing an interesting alternative. This work aims to support the programmer in exploring this potential by using parallelism, both local, in the form of multicore exploitation, as well as distributed, in the form of multidevice exploration. We explored this through a parallel library for the Lua programming language, called Luaproc. We propose an extension to this library and its communication model, to include this multidevice scenario and combine the facilities of a message queuing service with the existing facilities for multicore programming. We then present some applications to show different use cases with distribution and their performance.