Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2009 / Bibliografia: f. 65-67 / Neste trabalho foi desenvolvido um modelo físico destinado ao estudo dos escoamentos não-estacionários e não-isentrópicos nos dutos de admissão e de exaustão de um motor de combustão interna. O modelo físico consiste de um motor de combustão monocilíndric / This work contains the description of a physical model, which was built in order to study the non-stationary and non-isentropic flow that occurs in the admission and exhaust ducts of an internal combustion engine. This physical model consists of a single-

Submitted by Luis Eduardo Craizer (lecraizer@gmail.com) on 2016-09-26T19:40:04Z No. of bitstreams: 1 Dissertação - Versão Final.pdf: 1700556 bytes, checksum: 6dce561cf40774feced5f3a980199830 (MD5) / Approved for entry into archive by Janete de Oliveira Feitosa (janete.feitosa@fgv.br) on 2016-09-27T13:30:15Z (GMT) No. of bitstreams: 1 Dissertação - Versão Final.pdf: 1700556 bytes, checksum: 6dce561cf40774feced5f3a980199830 (MD5) / Approved for entry into archive by Maria Almeida (maria.socorro@fgv.br) on 2016-10-18T11:49:02Z (GMT) No. of bitstreams: 1 Dissertação - Versão Final.pdf: 1700556 bytes, checksum: 6dce561cf40774feced5f3a980199830 (MD5) / Made available in DSpace on 2016-10-18T11:49:53Z (GMT). No. of bitstreams: 1 Dissertação - Versão Final.pdf: 1700556 bytes, checksum: 6dce561cf40774feced5f3a980199830 (MD5) Previous issue date: 2016-03-11 / In an auction, both the good’s seller and the potential buyer desire to maximize their profit. The seller aims to obtain the highest possible value for the good, whereas the buyers want to win the auction paying the less they can for the object. In this scenario, this study suggests an algorithm based on the Fictitious Play, which seeks to simulate the agents’ behavior for the different kinds of auctions. In this simulation, we are also going to embed the risk aversion and try to forecast rational behavior of the agents. The main goal of the work is to make a parallel between the strategy functions, which maximize the agents’ utilities cataloged on books and texts, and the optimal strategies, which are obtained in the simulation through the usage of the proposed algorithm. / Em um leilão, tanto o vendedor quanto os potenciais compradores desejam maximizar suas receitas: no caso do leiloeiro, ele quer obter o maior valor possível pela venda de seu bem; no caso dos agentes participantes, eles desejam pagar o menor valor possível pelo objeto e, ainda assim, vencer o leilão. Tendo como base de estudo o cenário descrito, este trabalho sugere um algoritmo baseado no Fictitious Play que visa simular o comportamento dos agentes perante um certo tipo de leilão específico. Esta simulação pretende também incorporar a aversão ao risco e pretende-se prever o comportamento racional dos agentes participantes perante este cenário. O objetivo principal desta dissertação é realizar uma comparação entre as funções que descrevem as estratégias que maximizam as utilidades dos participantes já catalogadas na literatura e as estratégias ótimas que são obtidas na simulação através do algoritmo proposto.

Submitted by Marco Antônio de Ramos Chagas (mchagas@ufv.br) on 2017-05-17T10:26:18Z No. of bitstreams: 1 texto completo.pdf: 1806234 bytes, checksum: a223d0bb812c4cea87db10d07b3dab1d (MD5) / Made available in DSpace on 2017-05-17T10:26:18Z (GMT). No. of bitstreams: 1 texto completo.pdf: 1806234 bytes, checksum: a223d0bb812c4cea87db10d07b3dab1d (MD5) Previous issue date: 2012-02-29 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Este trabalho consiste de quatro capítulos. No primeiro capítulo apresenta-se a primeira e segunda lei da termodinâmica como ferramenta de análise e projeto de secadores de grãos e alimentos. O modelo usado na análise de secagem em camada espessa consiste de equações de conservação de massa e energia para o ar e para a massa de grãos, acopladas a uma equação de exergia para o ar de secagem. As eficiências energéticas e exergéticas foram definidas e discutidas a partir de pontos de vista práticos. Uma técnica numérica recente na literatura, funções de base radial, foi utilizada para obter soluções associadas a um sistema de equações diferenciais não lineares, de características puramente convectivas. Os resultados simulados com base na função de base radial cúbica mostraram excelente acurácia quando comparados a problemas de benchmark (equação de Burger) e dados experimentais disponíveis na literatura referentes a secagem em camada espessa. A partir dos resultados obtidos, um estudo paramétrico de sensibilidade foi feito envolvendo a temperatura e a velocidade intersticial de secagem. Verificou-se também o efeito do teor de água inicial dos grãos. As análises permitiram uma visão geral do fenômeno de secagem por meio de perfis temporais e espaciais das temperaturas do ar e dos grãos, razão de umidade do ar e análises energéticas e exergéticas do processo. Uma análise detalhada das eficiências de primeira e segunda lei é apresentada. O segundo capítulo apresenta uma metodologia para a obtenção dos campos de velocidade e pressão em silos de processamento de grãos. O estudo do perfil do fluxo de ar é de grande importância para convecção adequada e boa qualidade do produto seco. Um esquema numérico baseado em funções de base radial (FBR) é usado para resolver uma versão altamente não-linear e modificada da equação de Navier-Stokes, aplicada ao fluxo de ar em meios porosos. A aproximação numérica para a solução é obtida por meio de uma versão modificada da aproximação FBR para a equação de difusão não-linear. Um esquema numérico simples, mas altamente eficaz, é proposto e demonstra-se que ele conduz a soluções altamente seguras e rápidas, tanto no caso de configurações geométricas unidimensionais quanto bidimensionais. No capítulo 3 apresenta-se um estudo de simulação de secadores utilizando um modelo bidimensional para secagem em camada espessa. Um sistema de secagem de milho foi simulado de modo a analisar seu comportamento temporal e espacial de secagem. A recente técnica de funções de base radial foi empregada para resolver um sistema de equações diferenciais parciais não-lineares, acoplado ao modelo de escoamento em meios porosos. Soluções de benchmark em duas dimensões foram obtidas ao utilizar o método de FBR para resolver a equação de convecção pura. Foram obtidos perfis espaciais de temperatura do ar de secagem e da massa de grãos, umidade relativa do ar intergranular e teor de água dos grãos. Um estudo paramétrico de sensibilidade foi feito envolvendo a temperatura e a velocidade intersticial de secagem. Ao final apresenta-se a integração de todos os capítulos para uma análise transiente e espacial energético-exergética do processo de secagem em camada espessa em duas dimensões. A modelagem até então apresentada e suas respectivas técnicas de solução, foram utilizadas para simular o processo de secagem. A metodologia para as análises energéticas e exergéticas foi expandida e aplicada para analisar o processo bidimensional de secagem em camada espessa. Um estudo paramétrico foi feito abrangendo as diferentes velocidades, temperaturas e teores de água dos grãos. Os resultados incluem perfis temporais e espaciais para as temperaturas do ar e da massa de grãos, umidade relativa e teor de água dos grãos. Mais especificamente, as variações temporais e espaciais de todos os parâmetros de secagem foram discutidas, assim como seus efeitos e suas eficiências energéticas e exergéticas associadas. Os dados resultantes mostram que este trabalho é de grande importância para os projetistas e pesquisadores de secagem. A metodologia apresentada permite análises futuras envolvendo diferentes geometrias e tipos de secadores. / This work consists of four sections. The section one presents the use of the first and second laws of thermodynamics as a tool to the effective analysis and design of food and cereal grain dryers. The model used in the analysis of deep-bed grain drying consisted of mass and energy conservation equations for the air and grain bed, coupled to an equation for the drying air exergy. Energy and exergy efficiencies are defined and discussed from practical viewpoints. The numerical solutions of the associated non-linear coupled advection-dominated partial differential equations were obtained by means of a scheme based on the meshless radial basis function method. The simulated results, based on the cubic radial basis function, showed excellent accuracy when compared to the benchmark Burger ́s equation analytical solutions and experimental literature available data for deep-bed corn grain drying. Given these results, a parametric sensitivity study was undertaken involving corn drying air temperatures and interstitial velocities The analyses allows a full view of the drying phenomena by presenting numerical temporal and spatial profiles of air and corn temperatures, bed moisture ratios, corn moisture content and related first and second law efficiencies. A detailed analysis of available first and second law drying efficiencies is presented. The second part presents a methodology for obtaining the pressure and velocity fields in grain processing bins. All types of dryers require knowledge of the air flow profile for adequate convection and good quality of the dried product. A numerical scheme based on radial basis functions (RBF) is used to solve the highly non-linear modified version of Navier-Stokes’ equation, applied to air flow in bed porous media. The numerical approximation to the solution is obtained via a modified version of the RBF approximation for the non-linear diffusion equation. A simple, yet highly effective, numerical scheme is thus presented and shown to lead to highly accurate and fast solutions to both one-dimensional and two-dimensional geometric configurations. A simulation study of dryers is presented in section three. A two dimensional deep bed drying model was applied. A corn drying system was simulated in order to analyze its temporal and spatial drying behavior. The recent radial basis function technique was employed to solve the associated non-linear set of differential partial equations. The numerical approximation to the velocity profile is obtained. Benchmark solutions were obtained solving the two dimensional advection equation. Spatial profiles for drying air temperature, corn temperature, relative humidity and moisture content are presented. A parametric sensitivity study was undertaken involving corn drying air temperatures and drying air velocities and initial bed moisture contents. In the last section a transient and spatial energy and exergy analysis of two dimensional deep-bed corn drying is presented. The methodology for the energetic and exergetic analysis was expanded and applied to analyze the two-dimensional deep-bed drying. A parametric study was carried on by spanning air temperature, interstitial velocity and initial bulk grain moisture contents. The results include time and spatial profiles for air and corn temperatures, bed relative humidity and most important, corn moisture content. More specifically, the temporal and spatial variations of all drying parameters are discussed as to their effects on the associated first and second law efficiencies. Therefore, this work should be of value to dryer designers and for future drying research objectives.

Submitted by Reginaldo Soares de Freitas (reginaldo.freitas@ufv.br) on 2016-04-22T15:52:55Z No. of bitstreams: 1 texto completo.pdf: 499099 bytes, checksum: 5bb06b169f3dc2aa0c73544a0257c612 (MD5) / Made available in DSpace on 2016-04-22T15:52:55Z (GMT). No. of bitstreams: 1 texto completo.pdf: 499099 bytes, checksum: 5bb06b169f3dc2aa0c73544a0257c612 (MD5) Previous issue date: 2015-11-20 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / O presente trabalho teve como objetivo estudar a associação entre os parâmetros que descrevem o potencial de populações e de suas combinações híbridas por meio da abordagem de genética de populações, baseada em dados de marcadores moleculares, com os obtidos por meio da abordagem de genética quantitativa, baseados em dados fenotípicos. Para isso, foram simuladas dez populações genitoras, com 200 indivíduos cada, em equilíbrio de Hardy- Weinberg, para 50 locos independentes e dois alelos codominantes por loco, e obtidas 45 populações híbridas a partir da combinação, aos pares, das dez populações genitoras. Os dados fenotípicos foram obtidos a partir da simulação de 12 variáveis quantitativas pela ação de alelos de 20 locos, selecionados ao acaso entre os 50 previamente simulados, com diferentes graus de herdabilidade, combinados com um efeito aditivo diferencial, de acordo com a importância do loco. As populações foram avaliadas quanto às medidas descritivas da estrutura genética da população e do grau de diferenciação entre pares de populações genitoras, a partir da abordagem de genética de populações, e quanto à complementação gênica, por abordagem de genética quantitativa, considerando aspectos da capacidade geral e específica de combinação. Houve, de modo geral, concordância de indicação de combinações híbridas mais e menos divergentes pelas medidas de dissimilaridade abordadas pela teoria de genética de populações e pode-se afirmar que é possível predizer a diversidade genética de combinações híbridas a partir da avaliação da diversidade genética de suas populações genitoras. Observou-se que, em características de efeito aditivo, a escolha de genitores com maior frequência de alelos favoráveis pode ser feita com base em suas médias fenotípicas apenas, sem a necessidade de realização de cruzamentos dialélicos. Além disso, pela abordagem de genética de populações, houve coincidência de 75% na recomendação das populações genitoras potenciais ao melhoramento genético. Nesse sentido, pode-se concluir que a associação da abordagem de genética de populações às informações quantitativas pode incrementar o ganho no melhoramento genético. / This work aimed to study the association between the parameters describing the potential of people and their hybrid combinations by means of population genetics approach, based on molecular marker data, with those obtained through quantitative genetic approach, based on phenotypic data. For this, ten progenitors populations were simulated, with 200 individuals each, in Hardy-Weinberg to 50 independent loci and two codominant alleles per locus, and obtained 45 hybrid populations from the combination, in pairs, of ten progenitors populations. Phenotypic data were obtained from the simulation of 12 quantitative variables by the action of alleles from 20 loci, selected randomly among the 50 previously simulated, with different degrees of heritability, combined with a differential additive effect, according to the importance of the locus. The populations were evaluated for descriptive measures of the genetic structure of the population and the degree of differentiation between pairs of progenitors populations from the population genetics approach, and on the genetic complementation, by approach of quantitative genetics, considering aspects of general and specific combining ability. There was, in general, agree indication of more and less divergent hybrids by dissimilarity measures addressed by the theory of population genetics and it can be affirmed that it is possible to predict the genetic diversity of hybrids from the evaluation of their progenitor populations genetic diversity. It was observed that for the additive effect characteristics, the choice of progenitors with highest frequency of favorable alleles can be made based on their phenotypic medium only, without the need of performing diallel. In addition, by the population genetic approach, there was agreement on the recommendation of 75% of the population potential progenitors to genetic improvement. In this sense, it can be concluded that the association of population genetics approach to quantitative information can increase the gain in plant breeding.

MAGALHÃES, Deborah Maria Vieira. Workload modeling and prediction for resources provisioning in cloud. 2017. 100 f. Tese (Doutorado em Engenharia de Teleinformática)–Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2017. / Submitted by Hohana Sanders (hohanasanders@hotmail.com) on 2017-06-02T16:11:24Z No. of bitstreams: 1 2017_tese_dmvmagalhães.pdf: 5119492 bytes, checksum: 581c09b1ba042cf8c653ca69d0aa0d57 (MD5) / Approved for entry into archive by Marlene Sousa (mmarlene@ufc.br) on 2017-06-02T16:18:39Z (GMT) No. of bitstreams: 1 2017_tese_dmvmagalhães.pdf: 5119492 bytes, checksum: 581c09b1ba042cf8c653ca69d0aa0d57 (MD5) / Made available in DSpace on 2017-06-02T16:18:39Z (GMT). No. of bitstreams: 1 2017_tese_dmvmagalhães.pdf: 5119492 bytes, checksum: 581c09b1ba042cf8c653ca69d0aa0d57 (MD5) Previous issue date: 2017-02-23 / The evaluation of resource management policies in cloud environments is challenging since clouds are subject to varying demand coming from users with different profiles and Quality de Service (QoS) requirements. Factors as the virtualization layer overhead, insufficient trace logs available for analysis, and mixed workloads composed of a wide variety of applications in a heterogeneous environment frustrate the modeling and characterization of applications hosted in the cloud. In this context, workload modeling and characterization is a fundamental step on systematizing the analysis and simulation of the performance of computational resources management policies and a particularly useful strategy for the physical implementation of the clouds. In this doctoral thesis, we propose a methodology for workload modeling and characterization to create resource utilization profiles in Cloud. The workload behavior patterns are identified and modeled in the form of statistical distributions which are used by a predictive controller to establish the complex relationship between resource utilization and response time metric. To this end, the controller makes adjustments in the resource utilization to maintain the response time experienced by the user within an acceptable threshold. Hence, our proposal directly supports QoS-aware resource provisioning policies. The proposed methodology was validated through two different applications with distinct characteristics: a scientific application to pulmonary diseases diagnosis, and a web application that emulates an auction site. The performance models were compared with monitoring data through graphical and analytical methods to evaluate their accuracy, and all the models presented a percentage error of less than 10 %. The predictive controller was able to dynamically maintain the response time close to the expected trajectory without Service Level Agreement (SLA) violation with an Mean Absolute Percentage Error (MAPE) = 4.36%. / A avaliação de políticas de gerenciamento de recursos em nuvens computacionais é uma tarefa desafiadora, uma vez que tais ambientes estão sujeitos a demandas variáveis de usuários com diferentes perfis de comportamento e expectativas de Qualidade de Serviço (QoS). Fatores como overhead da camada de virtualização, indisponibilidade de dados e complexidade de cargas de trabalho altamente heterogêneas dificultam a modelagem e caracterização de aplicações hospedadas em nuvens. Neste contexto, caracterizar e modelar a carga de trabalho (ou simples- mente carga) é um passo importante na sistematização da análise e simulação do desempenho de políticas de gerenciamento dos recursos computacionais e uma estratégia particularmente útil antes da implantação física das nuvens. Nesta tese de doutorado, é proposta uma metodologia para modelagem e caracterização de carga visando criar perfis de utilização de recursos em Nuvem. Os padrões de comportamento das cargas são identificados e modelados sob a forma de distribuições estatísticas as quais são utilizadas por um controlador preditivo a fim de estabelecer a complexa relação entre a utilização dos recursos e a métrica de tempo de resposta. Desse modo, o controlador realiza ajustes no percentual de utilização do recursos a fim de manter o tempo de resposta observado pelo o usuário dentro de um limiar aceitável. Assim, nossa proposta apoia diretamente políticas de provisionamento de recursos cientes da Qualidade de Serviço (QoS). A metodologia proposta foi validada através de aplicações com características distintas: uma aplicação científica para o auxílio do diagnóstico de doenças pulmonares e uma aplicação Web que emula um site de leilões. Os modelos de desempenho computacional gerados foram confrontados com os dados reais através de métodos estatísticos gráficos e analíticos a fim de avaliar sua acurácia e todos os modelos apresentaram um percentual de erro inferior a 10%. A modelagem proposta para o controlador preditivo mostrou-se efetiva pois foi capaz de dinamicamente manter o tempo de resposta próximo ao valor esperado, com erro percentual absoluto médio (MAPE ) = 4.36% sem violação de SLA.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciências da Computação, Florianópolis, 2014. / Made available in DSpace on 2014-08-06T17:56:50Z (GMT). No. of bitstreams: 1 326971.pdf: 8531407 bytes, checksum: 6abe0c60a457b5398d28512154d692cf (MD5) Previous issue date: 2014 / Há o interesse na simulação de roupas em qualquer aplicação onde há a presença de humanos virtuais. Contudo, simular o comportamento de tecidos no corpo de uma pessoa é uma tarefa complexa. Além disso, existe a constante necessidade de se obter resultados mais rápidos que viabilizem a simulação de indumentárias cada vez mais detalhadas. Este trabalho aborda técnicas relativas a diferentes etapas e aspectos do processo de simulação. Propõe-se uma otimização para um método para gerar efeitos de rasgo e corte. Ainda, introduz-se um algoritmo para a geração de linhas de costura em malhas de triângulos. As técnicas aqui descritas são utilizadas na implementação de um simulador cujo propósito é agilizar o desenvolvimento de sistemas para projeto e confecção de roupas.<br> / Abstract : There is interest in the simulation of clothes in any application where there is the presence of virtual humans. However, simulate the behavior of fabric on the body of a person is a complex task. In addition, there is a constant need to get faster results that allow the simulation of increasingly detailed garment. This work discusses techniques for different stages and aspects of the simulation process. We propose an optimization for a method used to generate effects of tearing and cutting. Also, we introduce an algorithm to generate seam lines for triangle meshes. The techniques described herein are used in the implementation of a simulator whose purpose is to facilitate the development of systems for designing and making clothes.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Produção, Florianópolis, 2014 / Made available in DSpace on 2015-05-19T04:01:17Z (GMT). No. of bitstreams: 1 333600.pdf: 13762735 bytes, checksum: 31f743e3f83c3d126a9fab8ca5392c68 (MD5) Previous issue date: 2014 / A falta de peças de reposição e a consequente ineficiência da manutenção acarretam baixa disponibilidade de equipamentos, prejudicando o nível de serviços e aumentando os custos de produção no setor industrial. A demanda de peças de reposição é esporádica e errática, o que dificulta sua previsão com métodos e ferramentas estatísticas disponíveis. Nesse sentido, o uso de Sistemas Inteligentes de Manutenção (IMS) tem sido estudado para apoiar o processo de previsão de falhas em equipamentos e, dessa forma, contribuir para a disponibilidade e competitividade de sistemas produtivos. Nesse contexto, o presente trabalho propõe um método, o qual tem por objetivo integrar informações providas por Sistemas Inteligentes de Manutenção ao planejamento operacional da cadeia de suprimentos de peças de reposição. Os resultados obtidos indicam que o método desenvolvido é capaz de gerar redução dos custos e assegurar níveis de serviços pré-determinados.<br> / Abstract: The lack of spare parts and inefficient maintenance lead to low availability of equipment, damaging the service level and increasing costs of production in the industrial sector. Spare parts demand is sporadic and erratic, impairing its prediction with available statistical tools. The use of Intelligent Maintenance Systems (IMS) has been studied to support the process of predicting equipment failures and thus contributing to more competitive productive systems. In this context, this study proposes a method, which aims to integrate information provided by Intelligent Maintenance Systems into the operational planning of spare parts supply chain. Obtained results indicate that the developed method is able to generate spare parts supply chain's cost reduction, while ensuring pre-determined service levels.

Submitted by Elizabete Silva (elizabete.silva@ufes.br) on 2015-08-28T22:13:17Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) A utilização da modelagem computacional no processo de.pdf: 9668897 bytes, checksum: e349faf3866b0c61657dc0308c9cc957 (MD5) / Approved for entry into archive by Morgana Andrade (morgana.andrade@ufes.br) on 2015-11-12T12:39:23Z (GMT) No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) A utilização da modelagem computacional no processo de.pdf: 9668897 bytes, checksum: e349faf3866b0c61657dc0308c9cc957 (MD5) / Made available in DSpace on 2015-11-12T12:39:23Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) A utilização da modelagem computacional no processo de.pdf: 9668897 bytes, checksum: e349faf3866b0c61657dc0308c9cc957 (MD5) Previous issue date: 2015 / O presente trabalho relata os resultados de uma pesquisa, realizada no ano de 2011 com estudantes do Ensino Médio, que investigou a aplicação de modelos, simulações & visualizações computacionais na abordagem de conteúdos específicos nas disciplinas de Matemática, História, Química e Física. As aplicações ou módulos educacionais que foram realizadas nas três primeiras disciplinas objetivaram o aprimoramento dos materiais e estratégias didáticas enquanto que, as aplicações relacionadas aos conteúdos de Física, foco dessa pesquisa, delinearam além de tal aprimoramento a investigação de possibilidades, limitações, vantagens e desvantagens que tal abordagem tem em relação a esse conteúdo específico. Os resultados apresentados ao longo desse trabalho estabelecem que abordagens de tópicos específicos de Física através de atividades com modelagem computacional podem ser a princípio, realizadas em três perspectivas distintas, a saber: Quantitativa, Semiquantitativa e Qualitativa através do uso de modelos computacionais de representação Microscópica e/ou Macroscópica. Por fim, os resultados indicam ainda que os desempenhos dos estudantes apresentam uma porcentagem alta de acertos nas atividades com o uso desse aporte computacional e também, uma tendência de queda às vezes pequena e às vezes acentuada quando tais temáticas são realizadas em um formato tradicional e um momento posterior. / This paper reports the results of a survey conducted in 2011 with high school students, who investigated the application of models, computer simulations & views on specific content approach in the subjects Mathematics, History, Chemistry and Physics. The educational applications or modules that are performed during the first three courses aimed improvement of teaching materials and strategies while the applications related to the physical content, focus of research as outlined in addition to the investigation of enhancement possibilities, limitations, advantages and disadvantages that such an approach has in relation to that specific content. The results presented throughout this study establish that approaches the specific topics in physics by computer modeling activities can in principle be carried out at three different angles, namely: Quantitative and Qualitative Semi-quantitative through the use of computer models of microscopic representation and / or Macroscopic. Finally, the results also indicate that the performances of the students have a high percentage of correct answers in the activities with the use of computer input and also a downward trend for small times and pronounced times when such issues are held in a traditional format and a later time.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2015. / Made available in DSpace on 2016-04-19T04:15:05Z (GMT). No. of bitstreams: 1 338166.pdf: 1857792 bytes, checksum: 4e04e177628752ee16754f884df17496 (MD5) Previous issue date: 2015 / Atualmente é quase impossível uma pessoa não utilizar direta ou indiretamente um sistema computacional. Ao realizar uma operação bancária ou até mesmo ao fazer compras em uma loja, nós somos auxiliados por sistemas computacionais. Em contrapartida, surgem novos ataques para comprometer o funcionamento correto dos sistemas utilizados. Várias técnicas são utilizadas para que os sistemas funcionem conforme sua especificação, entre elas,destacam-se sistemas tolerantes a faltas bizantinas/intrusões (BFT) através de replicação de máquina de estados (RME). Nessa abordagem, é proposta uma arquitetura de sistema tolerante a intrusões que garante o seu funcionamento correto, mesmo na presença de réplicas faltosas.Este trabalho propõe um algoritmo que une replicação de máquina de estados e sistema de detecção de intrusões (IDS) para tolerar faltas bizantinas. A tecnologia de virtualização é utilizada no algoritmo proposto para replicar o serviço e também para isolar o IDS da aplicação monitorada. Dessa forma, é proposto um detector de intrusões como um componente confiável do sistema BFT. As principais contribuições são: (1) propor um modelo unificado, o qual utiliza replicação de máquina de estados e IDS em conjunto, e faz uso dos recursos da tecnologia de virtualização, (2) detector de intrusões como componente confiável do sistema e (3) elaborar um algoritmo BFT baseado no modelo proposto. Através desta abordagem foi possível reduzir o número de réplicas do sistema de 3f + 1 para 2f + 1 e reduzir o número de passos do protocolo do algoritmo tradicional BFT de Castro e Liskov de 5 para 3 no caso normal de operação e sem precisar da participação do cliente no protocolo.<br> / Abstract : Currently, it is almost impossible for a person not to use a computing system, in a direct or indirect way. When we are using a banking machine, or shopping in a store, we need to use a computing system. On the other hand, there are new attacks to damage the correct workingof the systems. There are several techniques to help the systems to work correctly according to their specification; among them, the Byzantine/intrusions fault tolerant systems (BFT) through the state machine replication (SMR) are important ones. In this perspective, it proposes a system architecture tolerant to intrusions that guarantees its proper functioning, even if there are faulty replicas.This research proposes an algorithm which presents a unified approachby using state machine replication and intrusion detection system in order to tolerate Byzantine faults. The virtualization technology is usedon the proposed algorithm to replicate the service and also to isolate the IDS of the monitored application. Therefore, we propose an intrusion detector as a reliable component of the BFT system. The main contributions are: (1) to propose a unified model, which uses state machine replication together with IDS, using the virtualization technology resources; (2) intrusion detector as a reliable component of the system; and (3) to make a BFT algorithm based on the proposed model. This approach made it possible to decrease the number of the system replicas from the 3f + 1 to 2f + 1, and to reduce the number of steps of the protocol of the BFT traditional algorithm from Castro and Liskov from 5 to 3 in a normal case of operation without the participation of the client in the protocol.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Produção, Florianópolis, 2012 / Made available in DSpace on 2012-10-26T10:24:57Z (GMT). No. of bitstreams: 1 300921.pdf: 2509559 bytes, checksum: 4ad892448b39383ee43253810634fd78 (MD5) / Esta tese tem como objetivo apresentar um modelo que analise os efeitos sistêmicos da política de colaboração entre indústrias manufatureiras que utilizam o transporte marítimo para a exportação, levando em consideração os principais parâmetros estratégicos e operacionais envolvidos nessa operação, sendo, portanto, desenvolvida através de duas frentes: uma teórica e outra computacional. Na frente teórica foi efetuada uma pesquisa bibliográfica sobre a era da Logística Colaborativa e a Gestão do Transporte Colaborativo, voltados à exportação de produtos manufaturados. Ao mesmo tempo foram realizadas entrevistas com empresários e especialistas do ramo de modo a validar a proposta de estudo, além de obter dados para inserção no modelo. Posteriormente, definindo a Simulação como técnica para modelagem do problema, foi realizado um estudo sobre os métodos Agent Based Modeling and Simulation e System Dynamics. Após análises e comparações, optou-se pelo método System Dynamics para dar continuidade à modelagem. Em relação à frente computacional, o modelo contribuiu para a análise dos efeitos sistêmicos da política de colaboração entre indústrias manufatureiras, as quais se unindo fortalecem o poder de barganha sobre os armadores marítimos, influenciando na redução do preço de frete marítimo. Este trabalho contribuiu para o entendimento da importância de se adotar uma abordagem interdisciplinar para lidar com os problemas do transporte marítimo, sendo por fim apresentados os benefícios do transporte colaborativo marítimo identificados com a realização do mesmo.