Em Teoria dos Jogos, o Dilema do Prisioneiro para N Participantes (DPNP) é o problema que representa, em sua forma elementar, o paradoxo que gera as dificuldades existentes na formação da cooperação entre mais de dois agentes. Diversos trabalhos foram e continuam sendo feitos sobre esse tema, no sentido de compreender melhor os fatores que influenciam o surgimento e a evolução da cooperação numa sociedade. Neste trabalho, o objetivo principal é o de analisar o impacto do poder expressivo de um modelo de representação de estratégias neste surgimento e evolução. Para tal, foi desenvolvido um modelo computacional de jogos evolutivos, onde agentes participam repetidamente do DPNP. Nele, as estratégias que definem qual será a jogada de um determinado agente são desenvolvidas e selecionadas através de mecanismos de mutação e reprodução daquelas que obtiveram melhores resultados nas iterações anteriores, e implementadas através de duas representações com diferentes poderes computacionais: autômatos finitos e autômatos adaptativos. Este modelo foi implementado num sistema denominado S2E2 onde foram executados diversos experimentos de simulação. Através da comparação dos resultados obtidos para ambas as representações, verificou-se que em ambos os casos a sociedade consegue atingir, após um período inicial, um nível de cooperação relativamente alto e estável. A análise das estratégias utilizadas pelos agentes, entretanto, mostrou que o uso de autômatos adaptativos resulta em uma pequena vantagem, embora estatisticamente não significativa, pois permite surgir estratégias que visam retornar a uma situação de cooperação. / In Game Theory, the n-Players Prisoner\'s Dilemma (NPPD) is a problem that represents, in its elementary form, the paradox that leads to the existing difficulties in the development of cooperation between two or more agents. Many works were and are still being done about this subject, trying to better understand the factors that influence the development and evolution of cooperation in a society. In this work, the main objective is to analyze the impact of the expressive power of the strategies representation model in this development and evolution. In order to do so, a computational model of evolutionary games was developed, where agents are spatially distributed and participate on the NPPD with five participants, interacting only with their neighbors. In this model, the strategies that define the agent\'s decisions are developed and selected through mutation and reproduction of those strategies that obtained better results in the last iterations, and they are implemented by two representations with different computational power: finite automata and adaptative automata. This model was implemented in a system called S2E2 and several simulation experiments were carried on. Comparing the results obtained in those experiments, it was verified that after an initial period of time in both cases the society achieved a relatively high and stable level of cooperation. On the other hand, the analysis of the strategies used by the agents showed that the use of adaptative automata resulted in a slight advantage, although not statistically significative, because they allow the emergence of strategies that return to a situation of cooperation.

Este trabalho descreve o desenvolvimento de um sistema de simulação de circuitos neuronais, com interface de utilização amigável e arquitetura baseada em web. O sistema é direcionado ao estudo de redes de neurônios da medula espinhal, responsáveis pelo controle motor, sujeitas à ativação por vias superiores e periféricas ou por estímulos elétricos. Sua utilidade está relacionada à criação de hipóteses ou teorias sobre o processamento neuronal realizado no caso são ou patológico, a atividades como a interpretação de resultados de experimentos eletrofisiológicos realizados em humanos e no direcionamento e validação de procedimentos experimentais. Para os propósitos deste projeto, a simulação computacional é o recurso mais indicado a se utilizar, considerando o grande número de variáveis envolvidas e o caráter não-linear dos elementos constituintes. As simulações devem retratar de maneira fidedigna as principais propriedades que caracterizam os núcleos neuronais a se estudar. Essas propriedades estão associadas ao recrutamento de unidades motoras, às relações de entrada-saída dos conjuntos neuronais, à influência das vias aferentes sobre os motoneurônios, ao papel da inibição recorrente e da inibição recíproca, à geração de força e do sinal eletromiográfico, entre outros. A simulação do reflexo H, que é uma técnica muito importante utilizada em estudos neurofisiológicos, está presente neste trabalho. Pretende-se que o sistema de simulação aqui proposto seja uma ferramenta útil para pesquisa e ensino da neurofisiologia do controle motor, provendo subsídios que levem a um melhor entendimento dos circuitos neuronais modelados. / This work describes the development of a simulation system of neuronal circuitry, having a user-friendly interface and based on web architecture. The system is intended for studying spinal cord neuronal networks responsible for muscle control, subjected to descending drive or electrical stimulation. It is potentially useful in many activities, such as the interpretation of electrophysiological experiments conducted with humans, the proposition of hypotheses or theories on neuronal processing. Computer simulation is the most indicated approach to attain the objectives of this project because of the huge number of variables and the non-linear characteristics of the constituting elements. The simulations should mimic in a faithful way the main properties related to the modeled neuronal nuclei. These properties are associated with: i) motor-unit recruitment, ii) neuronal nuclei input-output relations, iii) afferent tract influence on motoneurons, iv) effects of recurrent inhibition and reciprocal inhibition, v) generation of force and electromyogram, and others. The generation of the H-reflex by the Ia-motoneuron pool system, which is an important tool in human neurophysiology, is included in the simulation system. The biological reality obtained with the present simulator and its web-based implementation make it a powerful tool for researchers in neurophysiology.

Made available in DSpace on 2016-06-02T19:50:13Z (GMT). No. of bitstreams: 1 Retido.pdf: 19733 bytes, checksum: 6aad255badc436a06364517de2344ab6 (MD5) Previous issue date: 2011-11-28 / Brazil is one of the greatest sugarcane producers of the world, with figures that exceeds 620 million tons in 2010/2011 harvest season. There is an expectation of strong increase of Brazilian sugarcane production in next years due to increase in sales estimulated by the low production cost of sugar and alcohol and also the increase of the internal and external demands for ethanol, in substitution to fossil fuels. At the same time, environmental issues led the publication of a specific legislation that established a schedule to the next years to stop sugarcane burning previous to hand cutting, a traditional activity. This legal restriction brought a new scenario, as an increasing amount of biomass, that used to be burnt, will be available for other uses such as ethanol extra production, by technologies still in development or to energy generation, similar to what is done with bagasse (by means of cogeneration). Independent of its use, sugarcane and its biomass processing configures a complex operation as big volumes of materials are handled using high cost equipment which a high interaction among them. Several systems can be configured to do this task, varying equipments and settings of the operations performed by them. The selection of equipment and operational proceedings is one of the main tasks of managers at sugarcane mills. In order to help in decision taking situations, in this study, a discrete event simulation model was designed and modeled to represent sugarcane harvesting systems with biomass recovery. Conventional sugarcane harvesting and partial cleaning sugarcane harvesting were represented in a unique simulation model, as well as the correspondent alternatives of biomass recovery and delivery at mills. The operational characteristics of these systems were previously set in the model and can be modified through electronic spreadsheets, interfaced with the simulation model that manages the input and output of data. Field tests were done to evaluate equipment performance and generate data to the simulation model, which was used in two studies. In the first study, three sugarcane harvesting and biomass recovery systems were simulated using the data collected at each field test, representing those systems differently, under their own observed conditions. In the second study, the three systems were again compared, however, under the same conditions, with the same set of assumptions, in order to permit their comparison in equal basis. All scenarios considered a typical mill operation that processes two million tons of sugarcane per harvest season. The simulation model enabled the evaluation of the selected systems considering sugarcane and biomass production as well as their economic evaluation. / O Brasil é um dos maiores produtores mundiais de cana-de-açúcar, com processamento superior a 620 milhões de toneladas na safra 2010/2011. A perspectiva para os próximos anos é de forte crescimento da produção de açúcar e de etanol, impulsionada pelo aumento das vendas decorrentes do baixo custo de produção e do aumento do consumo de etanol, interno e externo, em substituição ao uso de combustíveis fósseis. Simultaneamente, a maior preocupação ambiental levou à implantação de leis que estipulam a redução gradativa da queima controlada, tradicionalmente utilizada no manejo da cana-de-açúcar previamente ao corte manual. Este fato estabeleceu uma mudança de cenário, pois, a biomassa que outrora era queimada, surgiu como subproduto passível de utilização, seja para a fabricação de etanol, por tecnologias ainda em desenvolvimento para escala comercial, ou para a geração de energia, da mesma forma que o bagaço (cogeração). Independente da destinação, o processamento da cana-de-açúcar e de sua biomassa caracteriza um sistema logístico complexo, pois grandes volumes de material são movimentados, utilizando equipamentos de alto custo e com algo grau de interação. Diversos sistemas podem ser configurados com a finalidade de processamento da cana e da biomassa, variando equipamentos e operações. A seleção destas opções constitui uma das principais tarefas da gestão das operações das usinas. Com o objetivo de auxiliar tomadas de decisão, neste trabalho desenvolveu-se um modelo de simulação de eventos discretos dos sistemas de colheita de cana-de-açúcar com aproveitamento da biomassa. Os processos de colheita de cana-de-açúcar com limpeza convencional e colheita com limpeza parcial foram representados em um único modelo, bem como as alternativas de recolhimento e entrega da biomassa. As características operacionais dos sistemas foram parametrizadas, sendo possível configurar cenários de interesse por meio de planilhas eletrônicas, que interagem com o modelo e facilitam a inserção de dados e a análise de resultados. Ensaios de campo foram conduzidos para testar o desempenho dos equipamentos e gerar dados para o modelo de simulação, que foi usado para realizar dois estudos. No primeiro estudo simularam-se três alternativas de sistemas de colheita de cana-deaçúcar e processamento de biomassa diferentemente, reproduzindo as condições operacionais observadas em cada ensaio de campo. No segundo estudo, os três sistemas foram novamente comparados, porém em igualdade de condições, com o mesmo conjunto de premissas, de forma a poder compará-los. Em todos os cenários adotou-se como padrão uma usina com capacidade de processamento de dois milhões de toneladas de cana por safra. O modelo permitiu avaliar os sistemas selecionados, tanto do ponto de vista operacional, com análise das produções de cana-de-açúcar e de biomassa, como também do ponto de vista econômico.

Moral e ideologia política estão intrinsecamente relacionados com aprendizado, tipos de personalidade e estratégias cognitivas de indivíduos. Usando um modelo de agentes Bayesianos adaptativos e interagentes tentaremos responder como características do aprendizado moral na infância e adolescência estão relacionadas à ideologia, traços de personalidade e estratégias cognitivas. Assumimos que o aprendizado moral do agente pode ser dividido em duas fases. A primeira fase é uma mímica do aprendizado de pessoas na infância e adolescência. Nessa fase, o modelo se assemelha ao aprendizado Bayesiano supervisionado, onde a estratégia para lidar com novas informações muda com a quantidade de informação recebida. Posteriormente, na segunda fase, agentes com estratégias cognitivas fixas discutem assuntos públicos, com conteúdo moral, e mudam suas opiniões com a motivação de diminuir o custo psicológico de discordância com seus parceiros sociais. Comparando as assinaturas estatísticas das opiniões dos agentes na segunda fase com assinaturas similares obtidas através do Questionário dos Fundamentos Morais, concluímos que nosso modelo apresenta diversas caraterísticas que tem respaldo experimental. Por exemplo, a quantidade de informação moral julgada na primeira fase está positivamente correlacionada com o liberalismo. Além disso, agentes que são estatisticamente identificados como liberais se adaptam mais rapidamente a mudanças na sociedade. Também constatamos que com o aumento do parâmetro de nosso modelo denominado pressão social, agentes estatisticamente identificados com pessoas liberais passam a ter perfis estatísticos mais parecidos com os de pessoas conservadores. Os métodos usados neste estudo, simuações de Monte Carlo, aproximação de campo médio, são típicos da Mecânica Estatistica. / Moral and political ideology are intrinsically related with learning processes, personality traits and individual cognitive strategies. Using an adaptive interacting Bayesian agent model we try to understand how characteristics of childhood and adolescent moral learning are related with ideology, personality traits, and cognitive strategies. We assume that the agents moral learning can be divided in two phases. The first phase is a mimic of the learning processes of individuals in childhood and adolescence, in this phase, the model resembles the Bayesian supervised learning, where the strategy to deal with new information changes with the total amount of received information. Later, in the second phase, agents with frozen cognitive strategies discuss public issues, with moral content, and change its opinion motivated to decrease the psychological cost of disagreement with its social partners. Comparing the statistical signatures of agents opinions in the second phase with similar signatures obtained from data of the Moral Foundations Theory Questionnaire, we conclude that our model presents several features that have experimental support. For example, the amount of moral information acquired in the first phase is positively correlated with liberalism. Moreover, agents which are statistically identified as liberal adapt more quickly to changes in society. We also found that with increase of the social pressure parameter, agents statistically identified as liberals will have statistical profiles more similar with conservatives. The methods used in this study, Monte Carlo simulations, mean field approximation, are typical of Statistical Mechanics.

O ambiente aquático tem notória importância para a pesquisa, pela biodiversidade e vastidão, e também do ponto de vista comercial, para a indústria militar e de óleo&gás por exemplo. Entretanto, a sua exploração é prejudicada por diversos fatores, entre eles devido à dificuldade de navegação. Infelizmente, carece-se de sinal GPS (Global Positioning System) embaixo d\'água, o que exige outras técnicas de localização. Assim, este trabalho analisa um sistema de navegação para um veículo submarino autônomo. Graças a sensores de velocidade, girômetros, bússola, entre outros, aplica-se o princípio de dead reckoning para calcular a posição atual do veículo a partir da última posição conhecida. Para tal, é feito inicialmente um estudo dos sensores a serem utilizados e um algoritmo de navegação é proposto, cujos resultados são expressos em coordenadas geodésicas (latitude e longitude), permitindo a visualização da trajetória do veículo em mapas geo-referenciados. Além disso, problemas práticos de medição são tratados. Em seguida, é feito um estudo sobre o ruído dos sensores, utilizando a curva de variância de Allan para caracterização dos sinais dos girômetros e do DVL (Doppler Velocity Logger). Por meio de equações de propagação de erro, os ruídos são recuperados em simulação, permitindo a estimação do erro de posição e de atitude (posição angular) acumulados para uma dada manobra. Finalmente, discute-se um critério de emersão a partir das estimativas de erro de posição. / The main part of our planet is filled with water, so the aquatic environment has notorious research and commercial importance. However, its exploration faces many difficulties. In navigation, the lack of GPS signal (Global Positioning System) during underwater missions requires different techniques, so this document focus on analyzing a navigation system for autonomous underwater vehicles. Thanks to different embedded sensors, like DVL (Doppler Velocity Logger), compass, gyrometers and others, the processes of dead reckoning is applied, witch calculates vehicle\'s current position by using the previously determined position. To do so, a navigation algorithm is implemented, providing geodesic coordinates to plot vehicle\'s trajectories on geo-referenced maps. Also, practical difficulties are discussed and treated. To improve the quality of the results, girometer\'s and DVL\'s errors are analyzed using Allan\'s variance and the navigation errors are estimated using first order time derivative equations in an augmented state space. Lastly, it is discussed a criterion to emerge and correct the vehicle\'s position using GPS signal.

A presente pesquisa aborda o problema de dimensionamento de frota de navios rebocadores do tipo AHTS, que são utilizados essencialmente nas tarefas de operações de apoio à exploração e produção de petróleo offshore (em alto mar). Essas atividades se caracterizam pela requisição simultânea de múltiplos navios de classes diferentes, e possuem parâmetros como: compatibilidade de classes de navios com as tarefas, duração em dias, local de execução e instante desejado de atendimento. Para representar este problema foi desenvolvido um modelo de simulação com parâmetros estocásticos, cuja programação é orientada para minimização dos custos totais da operação, que englobam custos fixos, custos de penalidade por atraso no atendimento das tarefas, e penalidade por falta de cumprimento de tarefas. A abordagem de solução do modelo é a busca exaustiva onde são comparados cenários de simulação de eventos discretos. Adicionalmente, foram comparadas 2 modos de escolhas de tarefas na fila de tarefas, o primeiro é o modo FIFO (First In First Out), o segundo modo é a priorização de tarefas com maior custo de penalidade associado para o dimensionamento de frota. / This research addresses a fleet sizing problem of anchor and handling and tug supply vessels (AHTS), which support the exploration and production of oil at the sea. The support activities are characterized by simultaneous request of multiple vessels of one or more classes. Other characteristics of the research problem are:: the compatibility between vessels and tasks, task duration (in days), a place of execution the task and a desired instant to be attended. A simulation model with stochastic parameters was developed to represent this problem, aiming to minimize the total operational cost that includes fixed costs,penalty costs if tasks are delayed and penalty costs with not completed tasks. The strategy to solve this problem was the exhausted search through discrete-event simulation. Aditionally, 2 methods of approach for the queue were analyzed: the first one is the FIFO (First In First Out) and the second one is the priority according the highest penalty cost to size the fleet.

A demanda pelo aumento do volume de tráfego aéreo tem pressionado as autoridades da aviação a adensar o espaço aéreo global, por meio de redução na separação entre aeronaves, permitindo operações mais eficientes no Gerenciamento de Tráfego Aéreo (ATM). No entanto, questões relacionadas com a segurança das operações de tráfego aéreo surgem quando se considera a possibilidade de reduzir a separação de aeronaves. Objetivamente, para maior eficiência e redução da separação, sem que isso afete significativamente a segurança, a posição vigiada das aeronaves deve aparecer de forma não só mais exata e precisa para o controlador de tráfego aéreo (ATCo), como deve ser mais fiável, o que envolve a integridades dessa informação. Essa pesquisa propõe avaliar os impactos que esses parâmetros têm nos níveis de segurança crítica (safety) no sistema de controle de tráfego aéreo (ATC) inserido no novo conceito de ATM Global (CNS/ATM). Para isso, foi realizada uma análise dos dados de erro de posicionamento do Sistema de Navegação Global por Satélites (GNSS) visando estabelecer seu comportamento. Esse comportamento é utilizado para modelar um sistema de controle de tráfego completo para fins de simulação e, adotando-se a metodologia de análise de segurança desenvolvida por Vismari (2007), avaliar os efeitos que esses novos parâmetros exercem sobre os níveis de segurança encontrados na pesquisa desenvolvida por Vismari (2007) para ambientes de tráfego aéreo baseados na Vigilância Dependente Automática por Radiodifusão (ADS-B). São comparados diversos cenários em que houve a degradação do comportamento do sistema GNSS. Para cada cenário estudado verificou-se que a degradação do comportamento não foi suficiente para gerar eventos de risco relacionados à integridade dos dados posicionais das aeronaves. Assim, dentro das condições simuladas, o sistema manteve os níveis de segurança crítica no que se refere à integridade do posicionamento das aeronaves apresentadas na tela do controlador de tráfego aéreo em operações de resolução de conflito. O modelo computacional desenvolvido possui diversas características que, apesar de não serem totalmente utilizadas na presente pesquisa, constituem um legado para pesquisas futuras e para a integração com a Plataforma Integrada para Ensaios de Sistemas Embarcados Críticos (PIpE-SEC) desenvolvida dentro do Grupo de Análise de Segurança (GAS) da EPUSP. / The demand for increasing air traffic volume has pressed aviation authorities to densify the global airspace through separation reduction between aircraft, allowing operations that are more efficient in the Air Traffic Management (ATM). However, issues related to the safety of air traffic operations arise when considering the possibility of reducing the separation of aircraft. Objectively, for greater efficiency and separation reduction, without significantly affecting safety, surveillance positions of the aircraft must appear not only more accurate and precise to the air traffic controller (ATCo), it should be more trustworthy, which concerns the integrity of that information. This research proposes to assess the impacts of these parameters on the safety levels of air traffic control system (ATC) inserted in the new concept of Global ATM (CNS/ATM). To achieve it, an analysis of the data related to error in positioning of the Global Navigation Satellite System (GNSS) was made to establish its behavior. This behavior analysis is used to model a complete traffic control system for simulation purposes and, adopting the safety analysis methodology developed by Vismari (2007), evaluate the effects that these new parameters had on the safety levels found in the research developed by Vismari (2007) for air traffic environments based on Automatic Dependent Surveillance - Broadcast (ADS-B). They are compared to various scenarios in which there was a GNSS system performance degradation. For each studied scenario, it was found that GNSS behavior\'s degradation was not sufficient to create risk events in aspects related to integrity of the aircraft position data. Thus, within the simulated conditions, the system kept the safety levels regarding to the integrity of the aircraft position informed on screen to the air traffic controller in conflict resolution operations. The computational model developed has several features, which, although not totally applied in this research, constitute a legacy for future research and for integration with the Integrated Platform for Testing Critical Embedded Systems (PIpE-SEC) developed within the Safety Analysis Group (GAS) of EPUSP.

A seleção e produção de touros para o mercado pecuário tornam-se foco de muitos estudos, e um grande desafio para o segmento em se tratando da constante busca de melhorias nos desempenhos produtivos dessa categoria animal. A tese teve por objetivo simular o que poderá acontecer com a produção de reprodutores, em termos de quantidades produzidas e custos operacionais efetivos, sob a influência dos métodos de acasalamentos e das biotécnicas reprodutivas disponíveis no mercado nacional. A hipótese em questão é a de testar se acasalar matrizes, classificadas por genótipo, suas produções serão melhores do que quando comparada à produção de matrizes classificadas por fenótipo. Foram simulados 42 cenários produtivos, divididos em 21 cenários com acasalamento genotípico e 21 com acasalamento fenotípico. Em cada divisão constam simulações com uso de Monta Natural, Inseminação Artificial padrão e com sêmen sexado para machos, Transferência de Embriões padrão e com sêmen sexado para machos, Fecundação in vitro padrão e com sêmen sexado para machos, sendo que em todos os casos três níveis diferentes de taxas de concepção foram testados. Os resultados apontaram que o sistema de acasalamento teve influência direta na produção de tourinhos, sendo que o acasalamento por genótipo foi mais eficiente do que o acasalamento por fenótipo. As taxas de concepção influenciaram negativamente mais os resultados dos sistemas de acasalamento fenotípico. Há um grande aumento no custo operacional efetivo dos sistemas que utilizaram as biotécnicas reprodutivas de Transferência de Embriões e Fecundação in vitro, e consequentemente uma redução na lucratividade destes sistemas. As simulações com Monta Natural apresentaram as maiores Margens Brutas e as simulações com Inseminação Artificial com uso de sêmen sexado para machos apresentaram os maiores Lucros Brutos. / The selection and production of bulls for the cattle market have both become the goal of many studies, as well as a great challenge for the segment, providing the constant search for performance improvement of that sort of animal. The target of this thesis is to simulate what may happen to the production of stud, in terms of quantity and effective operational costs, under the influence of the mating methods and the available reproduction biotechniques in the national market. The hypothesis under analysis consists of testing if mating matrices, classed by their genotype, their produce will be better than when compared to the produce of phenotype-classed matrices. 42 productive-scenes, divided into 21 genotype mating and 21 phenotype mating were simulated. In each of the scene divisions there were the following simulations: Natural Breeding, standard Artificial Insemination, Artificial Insemination with male-gendered semen, standard Embryo Transference, Embryo Transference with male-gendered semen, standard In-vitro Fecundation and In-vitro Fecundation with male-gendered semen, so that in all the cases, three different conception rates were tested. The results displayed that the mating system directly influenced the young bull production, once the genotype mating was more efficient than the phenotype mating. The conception rates negatively influenced the results of the phenotype mating mainly. There was a dramatic increase in the effective operational cost of the systems that used the reproductive biotechniques of Embryo Transference and In-vitro Fecundation, and, consequently, profitability reduction of those systems. The Natural Breeding simulations presented the highest Gross Margin, and the simulations of Artificial Insemination with male-gendered semen showed the highest Gross Profit.

Aplicações de sistemas computacionais emergentes atribuindo requisitos de resposta na forma de tempo de resposta requerem uma abordagem de sistemas de tempo real. Nesses sistemas, a qualidade de serviço é expressa como garantia das restrições temporais. Um amplo leque de técnicas para provisão de QoS encontram-se na literatura. Estas técnicas são baseadas tanto na diferenciação de serviço (QoS relativa), quanto na especificação de garantia de desempenho (QoS absoluta). Porém, a integração de QoS relativa e absoluta em nível de aplicação não tem sido tão explorada. Este trabalho realiza o estudo, a análise e a proposta de um método de escalonamento de tempo real em um ambiente simulado, baseado em contratos virtuais adaptativos e modelo re-alimentado. O objetivo é relaxar as restrições temporais dos usuários menos exigentes e priorizar usuários mais exigentes, sem degradar a qualidade do sistema como um todo. Para tanto, estratégias são exploradas em nível de escalonamento para o cumprimento dos contratos especificados por requisitos de tempo médio de resposta. Os resultados alcançados com o emprego do método proposto sinalizam uma melhoria em termos de qualidade de serviço relativa e absoluta e uma melhor satisfação dos usuários. Este trabalho também propõe uma extensão para os modelos convencionalmente estudados nesse contexto, ampliando a formulação original de duas classes para n classes de serviços / Emerging computer system application posing responsiveness requirement in the form of response time demand a real-time system approach. In these systems, the quality of service is expressed as guarantees on time constraints. A wide range of techniques for QoS provision is found in the literature. These techniques are based both on either service differentiation (relative QoS) or specification of performance guaranteeS (absolute QoS). However, integrated provision of both relative and absolute QoS at application level is not as well explored. This work conducts the study, analysis and proposal of a real time scheduling method in a simulated environment. This method is based on adaptive virtual contracts and feedback model. The goal is to relax the time constraints of less demanding users and prioritize the time constraints of most demanding users, without degrading the quality of the system as a whole. Strategies toward this goal are exploited in the system scheduling level and are aimed at the problem of fulfulling service-level agreements specifying average response times requirements. The results achieved with the proposed method indicate an improvement in relative and absolute QoS and a better user satisfaction. This work also proposes an extension to the conventional models studied in this context, extending the original formulation of two classes for n classes of services

Esta pesquisa lidou com a unificação de grafos aplicada ao problema das redes haplotípicas. A partir da baixa confiabilidade encontrada nas redes geradas pelos algoritmos tradicionais, foi necessário introduzir uma nova proposição para melhorar o resultado obtido. Para esta avaliar o resultado obtido pelo novo algoritmo, desenvolveu-se um arcabouço teórico-formal possibilitando a generalização de soluções relativas a redes haplotípicas através de aplicação de funções parametrizáveis, facilmente representadas através de linguagens funcionais no estilo LISP. Para aplicação em problemas reais, desenvolveu-se estrutura de simulação e testes que constrói cadeias genéticas de maneira aleatória ou ainda parametrizável. Os testes gerados permitiram observar a melhoria esperada no algoritmo, especialmente para os casos de baixa mutação. O arcabouço de simulação e testes mostrou-se extremamente propício e de fácil utilização, o que o torna, em si mesmo, uma ferramenta a ser disponibilizada para a comunidade acadêmica da área de Biologia. / This research dealt with the unification of graphs applied to the problem of haplotype networks. From the low reliability found in networks generated by the traditional algorithms, it was necessary to introduce a new proposition to improve the outcome. For proper evaluation of the results obtained by the new algorithm, a formal-theoretical framework for generalization of haplotype networks related solutions, making use of parameterized functions easily represented through LISP-like functional languages. Seeking for real case application of the theory developed, a structure of simulation and testing were developed to build genetic code strings randomly or even parameterized. The generated tests have allowed to observe the expected improvement in the algorithm, especially for cases of low mutation. The framework for simulation and testing was extremely useful and easy to use, making itself a product to be distributed to the academic Biology community.