Made available in DSpace on 2015-03-26T13:47:16Z (GMT). No. of bitstreams: 1 texto completo.pdf: 1148814 bytes, checksum: fed3d8d370f810a216a50acab2db6ae6 (MD5) Previous issue date: 2013-04-30 / The experiment was conducted at the Animal Reproduction Section of Veterinary Department, UFV, Viçosa, MG. The aim of the study was develop a technique of cryopreservation in order to improve the viability of goat semen after thawing. Were used four treatments: T1, cooling time of 1 h; T2, cooling time of 2 h; T3, cooling time of 4 h; and T4, with cooling time of 6 h before freezing. The semen was collected from four adult goats with three years old, totaling five collections using as dummy an adult male and the artificial vagina method, with the collections being conducted during the natural breeding season (April and May 2012). Were evaluated physical characteristics of semen immediately after collection and after thawing. After thawing, were also performed four complementary tests: heat resistance (TTR), hyposmotic (HOST), membrane integrity (INT), and morphological. The average values obtained for the fresh semen as the volume (mL), motility (%), sperm vigor (0-5) and sperm concentration (x109 total) were within the standards set by the Brazilian College of Animal Reproduction (1998), 1,5; 85%, 3,78; 3,3 billion / ml, respectively. The postthaw sperm motility and sperm vigor in the T2 showed mot. (38.0 ± 3.3) and vigor (2.2 ± 0.1), T3 mot. (52.3 ± 4.7) vigor (2.4 ± 0.1) and T4 mot. (47.0 ± 5.0) and vigor (2.4 ± 0.1), also proved within the values recommended by CBRA (1998). It was observed that the semen had resistance until the time 180 minutes in all treatments throughout the TTR. However, semen samples in treatments 3 and 4 were the ones that obtained better results. Regression analysis was performed to strengthen the results of the TTR time zero, where a greater curve was observed on time 265 minutes cooling, in other words, around 4 h and 25 minutes. The complementary tests (HOST, morphological and INT) performed in this study with different cooling times showed differences (P <0.05) between treatments only in INT test (29,7±3,3; 39,8±4,6; 50,0±5,1 e 56,5±4,1). Positive correlation was observed between motility and sperm vigor, and between motility and test INT. It is concluded that the cooling time of goat semen in times of 4 and 6 h has promoted better sperm cell viability after thawing of semen, increasing longevity of the spermatozoa. / O experimento foi realizado no Setor de Reprodução Animal do Departamento de Veterinária da UFV, Viçosa-MG. O objetivo do estudo foi desenvolver uma técnica de criopreservação visando melhorar a viabilidade do sêmen de caprino após descongelamento. Foram utilizados 4 tratamentos: T1, tempo de resfriamento de 1 h; T2, tempo de resfriamento de 2 h; T3, tempo de resfriamento de 4 h; e T4, com tempo de resfriamento de 6 h antes do congelamento. O sêmen foi coletado de quatro caprinos adultos com três anos idade, realizando-se cinco coletas/animal, utilizando um macho adulto como manequim e metodo de vagina artificial, com as coletas sendo realizadas durante a estação de monta natural (abril e maio de 2012. Foram avaliadas as características físicas do sêmen imediatamente após a coleta e após o descongelamento. Após o descongelamento, foram realizados também quatro testes complementares: termorresistência (TTR), hiposmótico (HOST), de integridade de membrana (INT), e morfológico. Os valores médios obtidos para o sêmen fresco quanto a volume (mL), motilidade espermática progressiva (%), vigor espermático (0-5) e concentração espermática (x109 totais), se encontraram dentro dos padrões preconizados pelo Colégio Brasileiro de Reprodução Animal (1998), respectivamente de 1,5; 85%, 3,78; 3,3 bilhões/mL. A motilidade espermática pós-descongelamento e o vigor espermático nos tratamentos T2 mot. (38,0±3,3) e vigor (2,2±0,1) , T3 mot. (52,3±4,7) vigor (2,4±0,1) e T4 mot. (47,0±5,0) e vigor (2,4±0,1), também se mostraram nos padrões recomendados pelo CBRA (1998). Foi observado que o sêmen teve resistência até o tempo de 180 minutos em todos os tratamentos ao longo do TTR. Porém, as amostras de sêmen nos tratamentos 3 e 4 foram os que obtiveram melhores resultados. Foi realizada análise de regressão para reforçar os resultados do tempo zero do TTR, onde se observou uma curva maior no tempo de 265 minutos de resfriamento, ou seja, por volta de 4hs e 25minutos. Os valores médios dos parâmetros seminais analisados nos testes complementares (HOST, morfológico e INT) realizados no presente estudo se mostraram diferentes (P<0,05) entre os tratamentos somente no teste INT (29,7±3,3; 39,8±4,6; 50,0±5,1 e 56,5±4,1). Foi observada correlação positiva entre motilidade e vigor espermático, e entre motilidade e teste INT. Conclui-se que o tempo de resfriamento do sêmen de caprino em tempos de 4 e 6 h promoveu melhor viabilidade da célula espermática após o descongelamento do sêmen, aumentado a longevidade do espermatozoide.

A presente tese tem por objetivo propor uma reformulação do papel do Estado na garantia da liberdade de expressão. Em um primeiro momento, expõem-se as principais premissas teóricas em torno do caráter multifuncional do princípio da liberdade de manifestação do pensamento, sua análise histórica em sede de Direito Comparado e a sua posição preferencial no processo de ponderação. Demonstra-se, em um segundo momento, a possibilidade de conflito entre a liberdade de expressão e os demais bens constitucionais. Na Terceira Parte, elabora-se uma síntese das principais idéias em torno da concepção democrática, ilustrando a atuação da jurisprudência estrangeira e a possibilidade de instituição de uma doutrina da equidade no ordenamento brasileiro. / This thesis intends to restructure States way of act on the guarantee of freedom of expression. First of all, will be presented the main theories about the multi-faced character of fundamental rights. After that, will be demonstrated that free speech can be in conflict with other constitutional principles. Finnaly, a synthesis of the main ideas around the democratic ideal, illustrated by precedent cases of foreign Courts, showing that is possible to institute a fairness doctrine in Brazil.

O Problema de Balanceamento e Sequenciamento de Linhas de Montagem com Tempos de Setup dependentes da Sequência (SUALBSP, em inglês Setup Assembly Line Balancing and Scheduling) envolve a atribuição de tarefas às estações de trabalho e o sequenciamento destas tarefas dentro da estação à qual foi atribuída. Trabalhos anteriores propuseram soluções heurísticas com excelentes resultados, porém o uso de métodos exatos, por meio de algum resolvedor de Programação Inteira Mista, tem apresentado desempenhos decepcionantes, pois contém um subproblema NP-hard em todas as estações. Enquanto o modelo de Scholl, Boysen e Fliedner (2013) minimiza prioritariamente o número de estações, o modelo proposto neste trabalho parte da premissa que este é um dado definido. A partir de uma estimativa inicial de número de estações, processa-se o modelo com o objetivo de distribuir as tarefas e minimizar o tempo total de estação, que é o segundo objetivo do modelo original. Se este processamento for infactível, incrementa-se o número de estações em uma unidade e reprocessa-se o modelo até se encontrar um resultado factível. Experimentos computacionais em 101 instâncias de dados confirmam o bom desempenho da abordagem proposta, sem qualquer prejuízo à qualidade da solução. Portanto, os resultados apresentados demonstram que há espaço para estudos futuros a partir do uso de matheurísticas. / The Setup Assembly Line Balancing and Scheduling Problem (SUALBSP) involves the assigning of tasks to workstations and the sequencing of these tasks within the station to which they are assigned. Previous work has proposed heuristic solutions with excellent results, but the use of exact methods, by some Mixed-Integer Programming solver, has shown disappointing performance, because it contains an NP-hard sub problems in every station. While the model proposed by Scholl, Boysen and Fliedner (2013) primarily minimizes the numbers of stations, our model assumes it as a parameter. From an initial estimate of the number of stations, we process the model for allocating tasks and minimize station times, which is the second objective of the original model. If this processing is infeasible, we increase the number of stations by one unit and we reprocess the model to find a feasible result. Computational experiments in 101 instances of data set confirm the good performance of the proposed approach, without harming the quality of the solution. Therefore, the results show that there are opportunities for future studies based on the use of matheuristics.

O fenômeno do congestionamento, decorrente do rápido aumento da demanda por todos os meios de transporte só tende a se agravar, já que sistemas de transporte (vistos como um todo) têm um grande impacto na economia mundial. No caso do transporte veicular em particular, é notório que a demanda por mobilidade é uma das características da nossa sociedade. O impacto direto e indireto dos congestionamentos em áreas urbanas e interurbanas é imenso, e precisam ser avaliados adequadamente para que seus efeitos sejam pelo menos minorados. Esta dissertação apresenta o AVNET, uma modelagem baseada em agentes para avali- ação do balanceamento de carga em redes de tráfego veicular, capaz de investigar micros- copicamente a interação entre oferta, demanda e as particularidades do comportamento dos motoristas, aqui tratados como agentes autônomos capazes de perceber o estado do ambiente e se adaptar a ele utilizando replanejamento heurístico. O principal objetivo do AVNET é investigar a interação entre a percepção que o agente possui do tráfego e a consequente adaptação através da mudança de rota durante a viagem. De forma cíclica, o AVNET propõe que o estado do ambiente influencia na percepção do agente, e a ação do agente influencia no estado do ambiente. As medidas de balanceamento de carga visam avaliar o desempenho do ponto de vista do motorista, ao invés de abordar a avaliação do ponto de vista da rede como algumas abordagens tradicionalmente propõe. Experimentos foram realizados a partir da variação nas condições de oferta - utili- zando uma rede com topologia em estilo de grade e uma abstração de algumas vias arte- riais da cidade de Porto Alegre/RS - variação nas condições de demanda - o tipo de dis- tribuição e número de viagens - e dos tipos de agentes utilizados. Os resultados ajudam a responder como será o balanceamento de carga de redes de tráfego veicular conforme as condições de oferta e demanda do ambiente, e de percepção/ação dos agentes. / The phenomenon of congestion, due to the rapid increase in demand for all means of transport is only going to worsen, since systems transport (seen as a whole) have a major impact on the world economy. In the case of vehicular transport in particular, it is clear that the demand for mobility is a characteristic of our society. The direct and indirect impact of congestion in urban and long distance is immense, and must be properly evaluated for their effects are at least mitigated. This dissertation presents the AVNET, an agent-basead modelling to evaluate load bal- ancing in networks of vehicular traffic, able to microscopically investigate the interaction between supply, demand and the peculiarities of the behavior of drivers, here treated as autonomous agents, capable to perceive the state of the environment and adapt to it using heuristic redesign. The main goal of AVNET is to investigate the interaction between the perception that the agent has the traffic and the consequent adaptation by changing the route during the trip. Cyclically, the AVNET propose that the state of the environment influences the perception of the agent and the agent’s action influences the state of the environment. Experiments were performed from the variation in supply conditions - using a network grid topology and an abstraction of some arterial roads in the city of Porto Alegre/RS - changes in demand conditions - the type of distribution and number of trips - and the types of agents used. The results will help answer how the balancing network load of vehicular traffic as conditions of supply and demand of the environment, and perception / action agents.

O ponto de partida desta dissertação são os aspectos metodológicos, quais sejam: (i) contextualização do ordenamento jurídico brasileiro; (ii) emersão da problemática do conflito entre princípios (positivismo versus pós-positivismo ou neoconstitucionalismo); e (iii) relevância da análise do método de sopesamento de princípios proposto por Robert Alexy. Em seguida, o estudo apresenta a discussão sobre teorias do conhecimento travada entre os filósofos Henri Poincaré e Pierre Duhem, demonstrando que a mesma discussão pode ser aplicada ao direito, e, nesse sentido, faz um paralelo com Herbert Hart, Ronald Dworkin e Robert Alexy. Passando pelo determinante Período Iluminista (incluindo os filósofos Jean-Jacques Rousseau e Cesare di Beccaria), a pesquisa evidencia sua influência nos princípios e nos direitos fundamentais consagrados atualmente pelo direito penal brasileiro. Em seguida, a pesquisa expõe os direitos fundamentais, apresenta a teoria do sopesamento ou balanceamento de princípios proposta por Robert Alexy e analisa, na jurisprudência do Supremo Tribunal Federal, como os ministros recorrem a esse método para solução de casos nos quais existe conflito entre os direitos fundamentais. A finalidade é evidenciar que o recurso, pelos juristas brasileiros, não introduziu uma nova maneira de interpretação ou um novo método de tomada de decisões, já que os ministros do STF recorrem à doutrina de Robert Alexy somente para demonstrar erudição; sem de fato aplicar o método proposto por ele, o mencionam para justificar qualquer decisão que já tenha sido tomada com base na subjetividade. Por fim, este estudo apresenta exercícios de aplicação do que a autora entende ser o método do sopesamento aos casos sob análise, e a conclusão foi que há distorções nos resultados em cerca de 30% deles, porcentagem relevante, considerando a importância dos casos analisados pelo STF. A aplicação do método do sopesamento consiste em três sub-regras subsequentes e ordenadas: adequação, necessidade e proporcionalidade em sentido estrito. A proporcionalidade apenas é analisada se a questão não puder ser solucionada pela necessidade e, por sua vez, a necessidade só é analisada se a adequação não for suficiente para solucionar a questão. O estudo demonstra que, quando a análise atinge a sub-regra necessidade, ocorrem os resultados divergentes. / This dissertation starts by the methodological aspects, which are: (i) contextualization of the Brazilian legal system; (ii) emergence of the conflict between principles (positivism versus postpositivism or neoconstitutionalism); and (iii) relevance of the analysis of the balancing of principles proposed by Robert Alexy. Subsequently, we presented the discussion of knowledge theories between the philosophers Henri Poincaré and Pierre Duhem, showing that the same discussion can be applied to law, in this sense we drew a parallel with Herbert Hart, Ronald Dworkin and Robert Alexy. Passing through the determinant Enlightenment Period (including the philosophers Jean-Jacques Rousseau and Cesare di Beccaria), we demonstrate its influence to principles and rights currently consecrated on the Brazilian criminal law. We analyzed on the jurisprudence of the Brazilian Supreme Court (Supremo Tribunal Federal) the application of Robert Alexys theory, known as sopesamento or balancing of principles, to case laws on which are conflict of fundamental rights (including the rights previously presented). The purpose is highlight that the recourse, by Brazilian jurists, did not insert a new interpretation technique or method of decision-making, since the ministers of STF invoke Robert Alexy doctrine solely to show erudition, without in fact apply the method proposed by him and mention him to justify whatsoever decision already taken based on subjectivity. Finally, we made an exercise of apply our understanding of the balancing method to cases under study and the conclusion was for 30% of distortions in the results, percentage relevant considering the importance of the cases analyzed by STF. The application of the balancing method consist on three sub-rules subsequent and ordered: adequacy, need and proportionality in strict sense. The proportionality is only analyzed if the case cannot be solved by need, and, in turn, need is only analyzed if adequacy is insufficient to solved the question. We ascertain that when the analysis achieves the sub-rule of need occurs the divergent results.

Pretende-se abordar o tema da litigiosidade de massa e da agregação processual no sistema jurídico brasileiro, de forma comparada ao sistema jurídico estadunidense. Trata-se de apurar: qual é o nível ótimo de agregação processual, sem prejuízo à autonomia do indivíduo em contar a sua própria história? O que agregar e como agregar? Esse é o objetivo da presente investigação: aferir qual a extensão, necessária e adequada, da agregação processual nas controvérsias de massa e, ainda, seus respectivos limites no direito processual civil. A tese foi dividida em três seções fundamentais: (i) a primeira seção aborda a história da litigiosidade de massa e as técnicas (de larga escala) de agregação processual; (ii) a segunda seção enfrenta a temática da agregação processual à luz das controvérsias plurissubjetivas, diante dos diversos graus de interdependência substancial (grau de variância que se tolera entre os membros do grupo para admitir a agregação processual). O objetivo é que seja possível reconhecer as características dos interesses ou direitos que transcendem a esfera individual e; (iii) a terceira seção aborda o tema da representatividade adequada e das garantias constitucionais processuais, estabelecendo as premissas para a vinculação dos membros ausentes do grupo à questão comum decidida no procedimento agregado. E, por fim, examinam-se as técnicas de preclusão no sistema jurídico brasileiro e no sistema jurídico estadunidense, condicionando-as ao resultado da argumentação realizada no procedimento agregado e ao ônus ou carga da argumentação. / In this work, we research the issue concerning mass disputes and aggregate litigation in the Brazilian legal system, compared to the U.S. legal system. The problem is to determine: what is the optimal level of aggregation, without prejudice to the individual autonomy? What is going to be aggregate? And how? That\'s the goal of this research: assessing the extent appropriate in aggregation of mass disputes and also their limits in civil proceedings. The thesis has been divided into three main sections: (i) the first section covers the history of mass disputes and the techniques (large-scale) of aggregate litigation, (ii) the second section faces the issue of aggregation in the light of various degrees of substantial interdependence: how much variance among class members\' circumstances should courts tolerate. The aim is to be able to recognize the characteristics of rights that transcend the individual level, and (iii) the third section addresses the issue of adequate representation and procedural constitutional guarantees, establishing the premises for binding absent members of the group. And finally, it approaches the preclusion doctrine in the aggregate litigation, conditioning it to the result of the argument made in the aggregate procedure and the burden of persuasion (showing a good reason).

Ericsson Brasil / The International Telecommunications Union (ITU) established through the International Mobile Telecommunications (IMT)-Advanced a set of requirements for high performance of 4th Generation (4G) communication systems and, with the aim of meeting such requirements, 3rd Generation Partnership Project (3GPP) Long Term Evolution (LTE) is considering a set of enhancements, referred to as LTE-Advanced. In the LTE-Advanced context, Coordinated Multi-Point (CoMP) communication appears as a promising technology to boost system throughput and to allow for an efficient Radio Resource Allocation (RRA). CoMP systems promise very high performance in terms of spectral efficiency and coverage benefits when perfect Channel State Information (CSI) is available at the transmitter. However, perfect CSI is difficult to obtain in CoMP systems due to an increased number of channel parameters to be estimated at the receiver and to be fed back to the transmitter. So, the performance of such systems is compromised when the CSI is not perfectly known during CoMP processing, which is an important problem to be addressed. Space Division Multiple Access (SDMA) grouping algorithms are usually employed in order to find a suitable set of users for spatial multiplexing. The largest SDMA group is not always the best group in a given data transmission such that higher gains might be achieved by dynamically adjusting the SDMA group size. Besides, algorithms that balance the Signal to Interference-plus-Noise Ratio (SINR) among different links might ensure a certain level of link quality and so provide a more reliable communication for the scheduled users. This master thesis provides system-level analyses for RRA algorithms that exploit coordination in the downlink of CoMP systems to implement adaptive resource reuse and so improve system throughput. Herein, RRA strategies which consider dynamic SDMA grouping, joint precoding and power allocation for SINR balancing are studied in CoMP systems assuming imperfect CSI in order to obtain a better approximation with regard to the real-world implementations. It is shown through system-level analyses that quite high throughput gains are achieved through intelligent RRA. In conclusion, the results show that Sequential Removal Algorithms (SRAs) and SINR balancing provide system spectral efficiency gains. However, a critical degradation on the performance of these RRA strategies due to imperfect CSI is also shown. / A UniÃo Internacional para TelecomunicaÃÃes (ITU) estabeleceu atravÃs da iniciativa para o Sistema AvanÃado Internacional de TelecomunicaÃÃes MÃveis (IMT-Advanced), um conjunto de requisitos de alto desempenho para os sistemas de comunicaÃÃo de quarta geraÃÃo (4G) e, com o objetivo de atender tais requisitos, a EvoluÃÃo de Longo Prazo (LTE) do Projeto de Parceria para a Terceira GeraÃÃo (3GPP) està considerando um conjunto de melhorias, referidas como LTE-AvanÃado. No contexto do LTE-AvanÃado, a comunicaÃÃo multi-ponto coordenada (CoMP) aparece como uma tecnologia promissora para aumentar a vazÃo do sistema e permitir uma AlocaÃÃo de Recursos de RÃdio (RRA) eficiente. Os sistemas CoMP prometem alto desempenho em termos de eficiÃncia espectral e benefÃcios de cobertura quando a InformaÃÃo do Estado do Canal (CSI) perfeita està disponÃvel no transmissor. No entanto, CSI perfeita à difÃcil de se obter em sistemas CoMP devido a um alto nÃmero de parÃmetros de canal a serem estimados no receptor e enviados para o transmissor. Assim, o desempenho de tais sistemas à comprometido quando a CSI nÃo à perfeitamente conhecida durante o processamento CoMP tal que esse à um problema importante a ser abordado. Algoritmos de agrupamento para MÃltiplo Acesso por DivisÃo no EspaÃo (SDMA) geralmente sÃo utilizados a fim de encontrar um conjunto adequado de usuÃrios para multiplexaÃÃo espacial. O maior grupo SDMA nem sempre à o melhor grupo em uma transmissÃo de dados tal que maiores ganhos podem ser obtidos ajustando dinamicamente o tamanho do grupo SDMA. AlÃm disso, os algoritmos que balanceiam a RazÃo Sinal-InterferÃncia mais RuÃdo (SINR) entre diferentes canais podem garantir um certo nÃvel de qualidade de canal e assim proporcionar uma comunicaÃÃo mais confiÃvel para os usuÃrios agrupados. Esta dissertaÃÃo de mestrado fornece anÃlises em nÃvel sistÃmico para algoritmos de RRA que exploram a coordenaÃÃo no enlace direto de sistemas CoMP para implementar reuso adaptativo de recursos e assim melhorar o desempenho do sistema. SÃo estudadas aqui estratÃgias de RRA em sistemas CoMP que consideram agrupamento SDMA dinÃmico, precodificaÃÃo e alocaÃÃo de potÃncia conjuntas para balanceamento de SINR, sendo assumida CSI imperfeita a fim de conseguir maior aproximaÃÃo com relaÃÃo Ãs implementaÃÃs em cenÃrios reais. à mostrado atravÃs de anÃlises em nÃvel sistÃmico que ganhos de vazÃo bastante altos sÃo alcanÃados atravÃs de RRA inteligente. Em conclusÃo, os resultados mostram que Algoritmos de RemoÃÃo Sequencial (SRAs) e de balanceamento de SINR proporcionam ganhos de eficiÃncia espectral do sistema. No entanto, à tambÃm mostrada uma degradaÃÃo crÃtica no desempenho dessas estratÃgias de RRA devido à CSI imperfeita.

Este trabalho analisa o impacto causado no desempenho de uma simulação distribuída quando técnicas de particionamento convencionais são empregadas. Essas técnicas não levam em conta informações inerentes ao estado da simulação. Pelo fato da execução de uma simulação também estar sujeita a sofrer interferências da plataforma, informações sobre a potência computacional de cada recurso utilizado e sobre o tipo de simulação, podem ser aplicadas em seu particionamento. Foram utilizadas informações estáticas, geradas através da avaliação da plataforma com benchmarks, e dinâmicas, obtidas através de índices de carga. Os resultados obtidos da utilização destas técnicas se mostram atrativos, principalmente quando o objetivo é a execução das simulações em ambientes que não disponibilizam políticas de escalonamento específicas e sim políticas convencionais. Nos estudos de casos avaliados, observaram-se ganhos satisfatórios, como a redução de até 24% do tempo de execução, um aumento de até 22% de eficiência e 79% menos rollbacks causados. Percebe-se que dependendo do tempo que se dispõe e dos objetivos pretendidos, as técnicas convencionais podem ser empregadas em simulações distribuídas. Este trabalho também contribui com o aperfeiçoamento das duas ferramentas utilizadas: WARPED e AMIGO. Uma interface de comunicação entre as duas ferramentas foi desenvolvida, ampliando assim seus campos de utilização. / This work analyses the impact caused on distributed simulation performance when conventional partitioning techniques are employed. These techniques do not take into account inherent information about the state of the simulation. Since a simulation execution is subject to platform interference, information about the type of simulations and about the computational power of resources may be applied to the partitioning process. Static performance information, generated from evaluating the platform with benchmarks has been employed, as well as dynamic load information provided by load indices. The results obtained with this approach are attractive, mainly when the objective is to execute simulations on environments which make conventional scheduling policies available, instead of specific policies. The evaluated case studies show satisfactory performance gains of up to 24% of reduction in execution time, 22% of improvement in efficiency and reduction of up to 79% in rollbacks. So, depending on the available time and the aimed objectives, it is worth using conventional techniques to assist distributed simulation partitioning. This work also contributes to the improvement of both tools used in it: Warped and AMIGO. A communication interface has been developed to integrate the tools, extending their capabilities.

Este trabalho apresenta uma análise de comportamento de índices de carga relacionados ao uso e à atividade de memória. São descritos 11 índices que refletem direta ou indiretamente a carga de memória. Esses índices podem ser obtidos facilmente no sistema peracional GNU/Linux através do sistema de arquivos /proc. Uma ferramenta de monitoramento foi criada para facilitar a análise de comportamento, podendo também servir para fornecer informações de carga para políticas de escalonamento. Os valores de cada índice foram monitorados durante a execução de uma carga de trabalho composta por aplicações reais que utilizam altas quantidades de memória. A partir dos resultados é possível descobrir a utilidade de cada índice, indicando como eles podem ser usados para auxiliar políticas de escalonamento a avaliar a carga de memória de uma máquina. Métricas de avaliação de carga originárias da combinação de mais de um índice são descritas. Essas métricas foram criadas em casos em que a combinação de mais de um índice permitia representar a carga de memória com mais precisão do que índices usados isoladamente. As métricas e índices pesquisados proporcionam formas precisas de representar a carga de memória em vários níveis, desde níveis de baixa utilização até níveis de saturação da memória principal com sintomas de ocorrência de thrashing. / This work presents an analysis of the behavior of load indices related to memory usage and activity. It describes 11 indices which reflect memory load, directly or indirectly. These indices may be easily obtained on the GNU/Linux operating system using the /proc filesystem. A monitoring tool has been developed to make the behavior analysis easier, but it can also be employed to provide load information to scheduling policies. The values of each index have been monitored during the execution of a workload composed by real memory-intensive applications. From the monitoring results, it is possible to find out the usefulness of each index, pointing out how it may be used to help scheduling policies evaluate the memory load of a certain computer. Load evaluation metrics have been created combining more than one index, with the objective of characterizing memory load more precisely than just one isolated index. The explored metrics and indices have shown to provide precise forms of representing memory load at several levels, from low utilization levels up to excessive main memory usage with symptoms of thrashing.

O Problema de Balanceamento e Sequenciamento de Linhas de Montagem com Tempos de Setup dependentes da Sequência (SUALBSP, em inglês Setup Assembly Line Balancing and Scheduling) envolve a atribuição de tarefas às estações de trabalho e o sequenciamento destas tarefas dentro da estação à qual foi atribuída. Trabalhos anteriores propuseram soluções heurísticas com excelentes resultados, porém o uso de métodos exatos, por meio de algum resolvedor de Programação Inteira Mista, tem apresentado desempenhos decepcionantes, pois contém um subproblema NP-hard em todas as estações. Enquanto o modelo de Scholl, Boysen e Fliedner (2013) minimiza prioritariamente o número de estações, o modelo proposto neste trabalho parte da premissa que este é um dado definido. A partir de uma estimativa inicial de número de estações, processa-se o modelo com o objetivo de distribuir as tarefas e minimizar o tempo total de estação, que é o segundo objetivo do modelo original. Se este processamento for infactível, incrementa-se o número de estações em uma unidade e reprocessa-se o modelo até se encontrar um resultado factível. Experimentos computacionais em 101 instâncias de dados confirmam o bom desempenho da abordagem proposta, sem qualquer prejuízo à qualidade da solução. Portanto, os resultados apresentados demonstram que há espaço para estudos futuros a partir do uso de matheurísticas. / The Setup Assembly Line Balancing and Scheduling Problem (SUALBSP) involves the assigning of tasks to workstations and the sequencing of these tasks within the station to which they are assigned. Previous work has proposed heuristic solutions with excellent results, but the use of exact methods, by some Mixed-Integer Programming solver, has shown disappointing performance, because it contains an NP-hard sub problems in every station. While the model proposed by Scholl, Boysen and Fliedner (2013) primarily minimizes the numbers of stations, our model assumes it as a parameter. From an initial estimate of the number of stations, we process the model for allocating tasks and minimize station times, which is the second objective of the original model. If this processing is infeasible, we increase the number of stations by one unit and we reprocess the model to find a feasible result. Computational experiments in 101 instances of data set confirm the good performance of the proposed approach, without harming the quality of the solution. Therefore, the results show that there are opportunities for future studies based on the use of matheuristics.