O transporte aéreo e a indústria de sistemas de defesa foram setores pioneiros na utilização de sistemas computacionais críticos, incrementando os níveis de automação nas atividades de controle do espaço aéreo. Com o crescimento desses setores, verificado pela expansão dos números de vôos, volumes de cargas e usuários, assim como pela ampliação e diversidade das operações militares, os sistemas de controle têm assumido maior complexidade técnica, introduzindo novos recursos de automação ou facilidades adicionais de apoio para funções exercidas manualmente. Essa situação tem ampliado a dependência dos serviços prestados, relativamente à disponibilidade dos sistemas computacionais. Diretrizes de projeto e procedimentos operacionais são estabelecidos para manter os níveis de segurança nos casos de falha, no entanto a disponibilidade torna-se parâmetro crítico, na medida em que algumas falhas podem afetar a eficiência nominal da prestação dos serviços. Nesse cenário, este trabalho propõe um modelo para avaliação da disponibilidade de sistemas de controle do espaço aéreo, a partir de recursos de análises da teoria de filas. Inicialmente é citado um modelo geral para análise de disponibilidade de data centers. Em seguida, é apresentada uma extensão do modelo geral para análise da disponibilidade em sistemas de controle do espaço aéreo. Para isso, considerou-se a intervenção humana existente nessa atividade, cujas decisões de controle são exercidas por operadores qualificados (controladores), tanto nas atividades inerentes ao serviço de controle, quanto nos casos de degradação, nos quais os operadores ou técnicos de manutenção assumem alguma tarefa de reparo, decorrente da eventual indisponibilidade de funções do sistema. / Due to the growth in airspace utilization, which can be verified both in terms of the expansions in aerial movements, airports and volumes of transported passengers and cargo, as well as in terms of the expansion of military operations demands and diversity, airspace control activities have been increasing their technical complexity, introducing new features into the existent automation systems or creating additional resources for the automation of some functions previously performed by human operators. This situation has increased the dependence on the availability of the computer systems involved in the services provided by control centers. Project directives and operational procedures are established in order to maintain the safety integrity levels of the systems, in case any failure occurs. However, the availability becomes a critical parameter, once failure events can force an undesirable state of degraded operation, jeopardizing the nominal capacity of the services being performed through any controlled airspace. In this scenario, this work presents an availability model for the computer systems used in airspace control centers, based on analysis from queuing theory. A general model is first presented, referencing a case study that describes the use of queuing models to access the availability of generic data centers. Further considerations are introduced to extend this general model in order to propose its application for the specific computer systems used in airspace control centers, where operational control relies on human activities. In this case, system operation involves intensive use of human-machine interfaces (HMI), for the regular control services provided, and additional technical or operational maintenance activities, occasionally imposed to repair a momentary loss of any function of the system.

Este trabalho apresenta um estudo comparativo entre resultados obtidos através de um modelo analítico-numérico, um modelo em elementos finitos e resultados experimentais na análise estrutural local de tubos flexíveis utilizados na explotação de petróleo. Em particular, o modelo em elementos finitos proposto considera efeitos de não-linearidade decorrentes do contato e das forcas de atrito entre as camadas concêntricas do tubo, de forma a reproduzir curvas de histerese típicas obtidas em ensaios em escala real. Tais curvas não podem ser obtidas pelos modelos simplificados tradicionais, de maneira que sua obtenção por modelos em elementos finitos traz novas informações sobre o comportamento estrutural dos dutos Tomando como base e elemento motivacional os resultados de ensaios experimentais de um tubo flexível de 2,5, realizados no Instituto de Pesquisas Tecnológicas de São Paulo, são estudados um modelo analítico e um modelo em elementos finitos, ambos representando o tubo ensaiado experimentalmente, de maneira a apontar, de forma qualitativa e quantitativa, quais são os pontos fortes e fracos de cada abordagem. O modelo analítico-numérico simplificado, obtido de um campo de deslocamentos compatível com os carregamentos axissimétricos aplicados e de um conjunto de equações que envolvem equilíbrio de forcas e equações constitutivas lineares, é capaz de fornecer rapidamente valores aproximados para a rigidez axial do conjunto, bem como uma estimativa das tensões médias atuantes em cada uma das camadas que compõem o tubo flexível, considerando ainda a possibilidade de afastamento entre as camadas. O modelo em elementos finitos é composto somente por elementos sólidos e considera a presença de atrito entre as camadas. As simulações não lineares, executadas pelo MSC.Marc, permitiram recuperar as curvas de histerese para os vários casos estudados, bem como a distribuição de tensões ao longo do comprimento e da seção transversal dos tendões. / This work presents a comparative study among an analytical-numerical model, a finite element model and experimental results related to the local structural analysis of flexible risers used in oil exploitation. In particular, the proposed finite element model considers nonlinearity effects caused by the contact and frictional forces between the concentric layers of the riser so that typical hysteresis curves obtained in full scale experiments could be reproduced. These curves can not be obtained by traditional simplified models, so that their reproduction by finite element models brings new information about the local structural behavior of risers. Based on and motivated by the results of experiments of a 2.5 flexible riser carried out at IPT, the São Paulo Technological Research Institute, an analytical model and a finite element model a are proposed, both of them representing the flexible riser tested experimentally, in order to point out, in a qualitative and quantitative way, the strengths and weaknesses of each approach. The simplified analytical-numerical model, obtained from a displacement field, consistent with the axisymmetric loads applied to the pipe, and from a set of equations involving equilibrium and linear constitutive equations, is able to quickly provide approximate values for the riser equivalent axial stiffness, as well as estimates for the average stresses acting in each of the layers that make up the flexible riser. Besides, the possibility of gap formation between the layers is also considered. The finite element model is composed entirely of solid elements and considers the presence of friction between the layers. The nonlinear simulations, using the MSC.Marc finite element package, allowed the reproduction of hysteresis curves for the several studied cases, as well as the stresses distribution along the length and cross section of the armour layers.

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-04-27T13:46:48Z No. of bitstreams: 1 Caio Eduardo Falcão Matos.pdf: 1884390 bytes, checksum: a5489f8f52a87e6c5958458ed5470488 (MD5) / Made available in DSpace on 2017-04-27T13:46:48Z (GMT). No. of bitstreams: 1 Caio Eduardo Falcão Matos.pdf: 1884390 bytes, checksum: a5489f8f52a87e6c5958458ed5470488 (MD5) Previous issue date: 2017-02-08 / Breast cancer is one of the leading causes of death among women over the world. The high mortality rates that cancers achieves across the world highlight the importance of developing and investigating the means for the early detection and diagnosis of this disease. Computer Detection and Diagnosis Systems (Computer Assisted Detection / Diagnosis) have been used and proposed as a way to help health professionals. This work proposes a new methodology for discriminating patterns of malignancy and benignity of masses in mammography images by analysis of local characteristics. To do so, it is proposed a combined methodology of feature detectors and descriptors with a model of data representation for an analysis. The goal is to capture both texture and geometry in areas of mammograms. We use the SIFT, SURF and ORB detectors, and the descriptors HOG, LBP, BRIEF and Haar Wavelet. The generated characteristics are coded by a bag of features model to provide a new representation of the data and therefore decrease a dimensionality of the space of characteristics. Finally, this new representation is classified using three approaches: Support Vector Machine, Random Forest, and Adaptive Boosting to differentiate as malignant and benign masses. The methodology provides promising results for the diagnosis of malignant and benign mass encouraging that as local characteristics generated by descriptors and detectors produce a satisfactory a discriminating set. / O câncer de mama é apontado como uma das principais causas de morte entre as mulheres. As altas taxas de mortalidade e registros de ocorrência desse câncer em todo o mundo evidenciam a importância do desenvolvimento e investigação de meios para a detecção e diagnóstico precoce dessa doença. Sistemas de Detecção e Diagnóstico auxiliados por computador (Computer Aided Detection/Diagnosis) vêm sendo usados e propostos como forma de auxílio aos profissionais de saúde. Este trabalho propõe uma metodologia para discriminação de padrões de malignidade e benignidade de massas em imagens de mamografia através da análise de características locais. Para tanto, a metodologia combina detectores e descritores de características locais com um modelo de representação de dados para a análise, tanto de textura quanto de geometria em regiões extraídas das mamografias. São utilizados os detectores SIFT, SURF e ORB, e descritores HOG, LBP, BRIEF e Haar Wavelet. Com as características geradas é aplicado o modelo Bag of Features em uma etapa de representação que objetiva prover nova representação dos dados e por conseguinte diminuir a dimensionalidade do espaço de características. Por fim, esta nova representação é classificada utilizando três abordagens: Máquina de Vetores de Suporte, Random Forests e Adaptive Boosting visando diferenciar as massas malignas e benignas. A metodologia contém resultados promissores para o diagnóstico de massas malignas e benignas fomentando que as características locais geradas pelos descritores e detectores produzem um conjunto descriminate satisfatório.

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-04-27T14:21:14Z No. of bitstreams: 1 Ruy Guilherme.pdf: 4333694 bytes, checksum: dc411f45b9fe05154bdee07704d50d65 (MD5) / Made available in DSpace on 2017-04-27T14:21:14Z (GMT). No. of bitstreams: 1 Ruy Guilherme.pdf: 4333694 bytes, checksum: dc411f45b9fe05154bdee07704d50d65 (MD5) Previous issue date: 2017-01-23 / The recent emergence of Free-to-Play games, also known as Freemium games, has considerably changed the way games are made. The definition of monetization strategies is now part of the process of making games. Choosing which strategy to adopt among the various ones and understanding how they work could be an arduous task. When analysing the market, to realize that popular games use similar strategies is not difficult, which demonstrates that the reuse of strategies is common among developers. Although there are catalogs of popular monetization strategies used by Free-to-Play games in the literature, little attention has been given to formalize the description of those strategies, leaving openings for misunderstandings and making the reuse harder. For that reason, a meta-model of Free-to-Play games monetization that allows the representation of Free-toPlay games monetization strategies based on a set of popular strategies is proposed. That meta-model, called Meta-F2P, was elaborated from the investigation of the most rentable Free-to-Play games for mobile devices. Besides that, case studies were used to validate and refine the accuracy, expressiveness and extensibility of that meta-model. Based on the results obtained, the applicability of the meta-model in the process of making games and the advantages and disadvantages of the use of case studies in the concept of meta-models are analyzed. / A recente ascensão dos jogos Free-to-Play, também conhecidos como Freemium, provocou mudanças consideráveis na forma como os jogos são produzidos. A elaboração de estratégias de monetização passou a fazer parte do processo de desenvolvimento. Escolher qual estratégias adotar dentre as diversas existentes e entender o seu funcionamento pode tornar esta uma tarefa árdua. Ao se analisar o mercado não é difícil perceber que os jogos mais rentáveis abordam estratégias de monetização similares, demonstrando que reuso de estratégias é uma abordagem adotada por diversos desenvolvedores. Embora existam na literatura catálogos de estratégias de monetização populares em jogos Free-to-Play, pouca atenção tem sido dada no intuito de formalizar a descrição das estratégias, dando margem para interpretações errôneas e dificultando o reuso. Assim propõe-se um meta-modelo que permite representar as estratégias de monetização de jogos Free-to-Play a partir de um conjunto de estratégias populares. O meta-modelo denominado Meta-F2P foi elaborado a partir da análise de jogos Free-to-Play para dispositivos móveis mais rentáveis. Além disso, utilizou-se estudos de caso para a validação e o refinamento da exatidão, expressividade e extensibilidade do meta-modelo. A partir dos resultados obtidos analisa-se a aplicabilidade do meta-modelo no processo de design de jogos e as vantagens e desvantagens da aplicação de estudos de caso na elaboração de meta-modelos.

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-08-18T14:02:37Z No. of bitstreams: 1 cleriston.pdf: 1605933 bytes, checksum: c1faa5f854c1a9debfbaa1affc5ab4ad (MD5) / Made available in DSpace on 2017-08-18T14:02:37Z (GMT). No. of bitstreams: 1 cleriston.pdf: 1605933 bytes, checksum: c1faa5f854c1a9debfbaa1affc5ab4ad (MD5) Previous issue date: 2009-02-12 / The diagnosis of lung nodules has been constantly looked for by researchers as a way to minimize the high global mortality indices related to lung cancer. The usage of medical images, such as Computerized Tomography, has made possible the deepening and the improvement of techniques used to evaluate exams and provide diagnosis. This work presents a methodology for diagnosing single lung nodules that can be an aid for studies performed on similar areas and for specialists. This methodology was applied to two different image databases. The representation of the nodules was done with extraction of geometry and texture features, being the last one described through Simpson’s Index, a statistic used in Spatial Analysis and in Ecology. These features were submitted to the Support Vector Machine classifier (SVM) in two approaches: the traditional approach and the approach by using One Class. With the traditional SVM approach, we have obtained sensibility rates of 90%, specificity of 96.67% and accuracy of 95%. Using One Class SVM, the obtained rates were: sensibility of 89.7%, specificity of 89.7% and accuracy of 89.7%. / O diagnóstico de nódulos pulmonares tem sido buscado constantemente por pesquisadores como forma de amenizar os altos índices de mortalidade mundial relacionado ao câncer de pulmão. O uso de imagens médicas, como a Tomografia Computadorizada, tem possibilitado um aprofundamento e melhoramento de técnicas para avaliar exames e prover diagnósticos. Este trabalho apresenta uma metodologia para diagnóstico de nódulos pulmonares solitários que possa servir como um auxílio para estudos realizados em áreas afins e para especialistas. Esta metodologia foi aplicada a duas diferentes bases de dados de imagens. A representação dos nódulos foi feita com a extração de medidas de geometria e de textura sendo esta última descrita através do Índice de Simpson, uma estatística utilizada na Análise Espacial e na Ecologia. Essas medidas foram submetidas ao classificador Máquina de Vetores de Suporte - MVS em duas abordagens: a abordagem tradicional e abordagem usando uma classe. Com abordagem MVS tradicional, obtiveramse taxas de sensibilidade de 90%, especificidade de 96,67% e acurácia de 95%. Usando MVS de uma classe, as taxas obtidas foram: sensibilidade igual a 89,7%, especificidade igual a 89,7% e acurácia igual a 89,7%.

O transporte aéreo e a indústria de sistemas de defesa foram setores pioneiros na utilização de sistemas computacionais críticos, incrementando os níveis de automação nas atividades de controle do espaço aéreo. Com o crescimento desses setores, verificado pela expansão dos números de vôos, volumes de cargas e usuários, assim como pela ampliação e diversidade das operações militares, os sistemas de controle têm assumido maior complexidade técnica, introduzindo novos recursos de automação ou facilidades adicionais de apoio para funções exercidas manualmente. Essa situação tem ampliado a dependência dos serviços prestados, relativamente à disponibilidade dos sistemas computacionais. Diretrizes de projeto e procedimentos operacionais são estabelecidos para manter os níveis de segurança nos casos de falha, no entanto a disponibilidade torna-se parâmetro crítico, na medida em que algumas falhas podem afetar a eficiência nominal da prestação dos serviços. Nesse cenário, este trabalho propõe um modelo para avaliação da disponibilidade de sistemas de controle do espaço aéreo, a partir de recursos de análises da teoria de filas. Inicialmente é citado um modelo geral para análise de disponibilidade de data centers. Em seguida, é apresentada uma extensão do modelo geral para análise da disponibilidade em sistemas de controle do espaço aéreo. Para isso, considerou-se a intervenção humana existente nessa atividade, cujas decisões de controle são exercidas por operadores qualificados (controladores), tanto nas atividades inerentes ao serviço de controle, quanto nos casos de degradação, nos quais os operadores ou técnicos de manutenção assumem alguma tarefa de reparo, decorrente da eventual indisponibilidade de funções do sistema. / Due to the growth in airspace utilization, which can be verified both in terms of the expansions in aerial movements, airports and volumes of transported passengers and cargo, as well as in terms of the expansion of military operations demands and diversity, airspace control activities have been increasing their technical complexity, introducing new features into the existent automation systems or creating additional resources for the automation of some functions previously performed by human operators. This situation has increased the dependence on the availability of the computer systems involved in the services provided by control centers. Project directives and operational procedures are established in order to maintain the safety integrity levels of the systems, in case any failure occurs. However, the availability becomes a critical parameter, once failure events can force an undesirable state of degraded operation, jeopardizing the nominal capacity of the services being performed through any controlled airspace. In this scenario, this work presents an availability model for the computer systems used in airspace control centers, based on analysis from queuing theory. A general model is first presented, referencing a case study that describes the use of queuing models to access the availability of generic data centers. Further considerations are introduced to extend this general model in order to propose its application for the specific computer systems used in airspace control centers, where operational control relies on human activities. In this case, system operation involves intensive use of human-machine interfaces (HMI), for the regular control services provided, and additional technical or operational maintenance activities, occasionally imposed to repair a momentary loss of any function of the system.

Este trabalho apresenta um estudo comparativo entre resultados obtidos através de um modelo analítico-numérico, um modelo em elementos finitos e resultados experimentais na análise estrutural local de tubos flexíveis utilizados na explotação de petróleo. Em particular, o modelo em elementos finitos proposto considera efeitos de não-linearidade decorrentes do contato e das forcas de atrito entre as camadas concêntricas do tubo, de forma a reproduzir curvas de histerese típicas obtidas em ensaios em escala real. Tais curvas não podem ser obtidas pelos modelos simplificados tradicionais, de maneira que sua obtenção por modelos em elementos finitos traz novas informações sobre o comportamento estrutural dos dutos Tomando como base e elemento motivacional os resultados de ensaios experimentais de um tubo flexível de 2,5, realizados no Instituto de Pesquisas Tecnológicas de São Paulo, são estudados um modelo analítico e um modelo em elementos finitos, ambos representando o tubo ensaiado experimentalmente, de maneira a apontar, de forma qualitativa e quantitativa, quais são os pontos fortes e fracos de cada abordagem. O modelo analítico-numérico simplificado, obtido de um campo de deslocamentos compatível com os carregamentos axissimétricos aplicados e de um conjunto de equações que envolvem equilíbrio de forcas e equações constitutivas lineares, é capaz de fornecer rapidamente valores aproximados para a rigidez axial do conjunto, bem como uma estimativa das tensões médias atuantes em cada uma das camadas que compõem o tubo flexível, considerando ainda a possibilidade de afastamento entre as camadas. O modelo em elementos finitos é composto somente por elementos sólidos e considera a presença de atrito entre as camadas. As simulações não lineares, executadas pelo MSC.Marc, permitiram recuperar as curvas de histerese para os vários casos estudados, bem como a distribuição de tensões ao longo do comprimento e da seção transversal dos tendões. / This work presents a comparative study among an analytical-numerical model, a finite element model and experimental results related to the local structural analysis of flexible risers used in oil exploitation. In particular, the proposed finite element model considers nonlinearity effects caused by the contact and frictional forces between the concentric layers of the riser so that typical hysteresis curves obtained in full scale experiments could be reproduced. These curves can not be obtained by traditional simplified models, so that their reproduction by finite element models brings new information about the local structural behavior of risers. Based on and motivated by the results of experiments of a 2.5 flexible riser carried out at IPT, the São Paulo Technological Research Institute, an analytical model and a finite element model a are proposed, both of them representing the flexible riser tested experimentally, in order to point out, in a qualitative and quantitative way, the strengths and weaknesses of each approach. The simplified analytical-numerical model, obtained from a displacement field, consistent with the axisymmetric loads applied to the pipe, and from a set of equations involving equilibrium and linear constitutive equations, is able to quickly provide approximate values for the riser equivalent axial stiffness, as well as estimates for the average stresses acting in each of the layers that make up the flexible riser. Besides, the possibility of gap formation between the layers is also considered. The finite element model is composed entirely of solid elements and considers the presence of friction between the layers. The nonlinear simulations, using the MSC.Marc finite element package, allowed the reproduction of hysteresis curves for the several studied cases, as well as the stresses distribution along the length and cross section of the armour layers.

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-03-15T13:05:35Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Disserta__o_Igor_Costa__Copy_(1).pdf: 11507063 bytes, checksum: f631fc6dd87314e89ea560a118301875 (MD5) / Made available in DSpace on 2016-03-15T13:05:35Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Disserta__o_Igor_Costa__Copy_(1).pdf: 11507063 bytes, checksum: f631fc6dd87314e89ea560a118301875 (MD5) Previous issue date: 2015-08-31 / As limitações da computação móvel abrem caminhos para utilizar recursos de computação em nuvem voltadas à dispositivos móveis, sendo este o principal objetivo da Mobile Cloud Computing (MCC). Questões como armazenamento e processamento podem afetar a disponibilidade de um serviço no dispositivo móvel, assim, para minimizar esses problemas é possível o particionamento da aplicação em frontend e backend. Os serviços de nuvem auxiliam esse processo com a utilização de ambientes Mobile Backend-as-a-Service (MBaaS), que permitem os desenvolvedores conectar o backend de suas aplicações para o armazenamento em nuvem. Uma plataforma de MBaaS oferece um serviço de sincronização completa para aplicações móveis. Uma vez que os dados armazenados no dispositivo móvel estão sincronizados com os centros de dados distribuídos, a disponibilidade do sistema no lado servidor é um atributo fundamental que requer investigação, pois sistemas computacionais tendem a falhar. As falhas podem ocorrer em hardwares, softwares e meios de conexão, acarretando assim, em prejuízos financeiros e comprometendo a credibilidade das empresas provedoras do serviço. Os administradores necessitam de mecanismos para estimar a disponibilidade de seus sistemas, podendo definir Service Level Agreement (SLA) com mais propriedade. Assim, modelos analíticos podem ser utilizados para avaliar a disponibilidade destes tipos de ambientes, bem como auxiliar a mitigar o downtime, aumentando a disponibilidade do serviço. Este trabalho propõe modelos analíticos para avaliar a disponibilidade desses ambientes. Para tanto, foi adotada uma metodologia: primeiramente definiu-se a arquitetura básica do serviço; a qual foi modelada a partir de um modelo hierárquico, composto de diagramas de blocos de confiabilidade (RBD) e cadeias de Markov de tempo contínuo (CTMC) e validado através de um testbed de injeção de falhas e reparos em um ambiente real. Baseado no modelo de serviço proposto, foi efetuada a análise de sensibilidade, que identificou o sistema como componente crítico. A partir disto, foram sugeridos modelos hierárquicos que representem o ambiente de nuvem, e com base neste ambiente, através da técnica de análise de sensibilidade, foram propostas quatro arquiteturas, sendo estas avaliados em termos de disponibilidade e downtime anual. Os resultados demonstram que a implementação de um processo de recuperação automática sobre o componente de software, Java Virtual Machine, reduz o downtime anual na arquitetura básica em cerca de 10%, bem como é possível observar que no ambiente de nuvem utilizando o mecanismo de redundância warm-standby nos nós e no frontend apresenta efetiva melhora na disponibilidade. Desta forma, a presente pesquisa pode orientar os administradores de sistemas MBaaS no planejamento de suas políticas de manutenção. / The mobile computer restrictions propose new ways to use cloud computing resources aimed at mobile devices, this is the Mobile Cloud Computing (MCC) primary goal. Issues such as storage and processing can impact the service availability on the mobile device. With the reducing purpose, these questions are its possible divide the application into two pieces, frontend, and backend. The cloud services assist this process with the Mobile Backend-as-a- Service (MBaaS) use. This tool allows the developers connect yours application backend to cloud storage. The MBaaS OpenMobster platform offers complete synchronization service to mobile applications. Since the data stored on mobile was synchronized distributed data center, the server’s system availability is an essential attribute and request attention, because computer systems will sometimes fail. The failures can happen on components variety as hardware, software and connections, causing financial losses and reliability compromising of the companies, which offer this services. The administrators need tools to project the system availability, with this they can define the SLA with more assurance. Analytic models can be used to availability evaluate in this environment and mitigate the downtime risk, this improves the service availability. This work primary goal is proposed analytic models to availability evaluated in these environments. It was adopted a methodology as follow: First, define the base service architecture. It was modeled by use a hierarchical model, using a reliability block diagram (RBD) and continuous-time Markov chain (CTMC). The validation considers a fault injection testbed and repairs on real environment. Considering the model proposed, it was done sensitivity analysis, these results present the system as a critical component. This analysis was proposed hierarchical models to represents cloud environment. On these sensibility analysis, a background was offered four scenarios. The scenarios were evaluated to determine the availability and annual downtime. The results show that the an automatic recovery implementation process on the software component, Java Virtual Machine, decrease the annual downtime on base architecture to 10%. The results present the availability improvement when adopted redundancy strategy as warm standby on a cloud environment. This way, the work can guide the MBaaS system administrators in planning their maintenance policies.

Submitted by Rafael Santana (rafael.silvasantana@ufpe.br) on 2017-05-04T17:58:30Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) tese_rubens_digital_biblioteca_08092016.pdf: 4506490 bytes, checksum: 251226257a6b659a6ae047e659147a8a (MD5) / Made available in DSpace on 2017-05-04T17:58:30Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) tese_rubens_digital_biblioteca_08092016.pdf: 4506490 bytes, checksum: 251226257a6b659a6ae047e659147a8a (MD5) Previous issue date: 2016-03-01 / CAPES / Cloud computing paradigm is able to reduce costs of acquisition and maintenance of computer systems, and enables the balanced management of resources according to the demand. Hierarchical and composite analytical models are suitable for describing performance and dependability of cloud computing systems in a concise manner, dealing with the huge number of components which constitute such kind of system. That approach uses distinct sub-models for each system level and the measures obtained in each sub-model are integrated to compute the measures for the whole system. Identification of bottlenecks in hierarchical models might be difficult yet, due to the large number of parameters and their distribution among distinct modeling levels and formalisms. This thesis proposes methods for evaluation and detection of bottlenecks of cloud computing systems. The methodology is based on hierarchical modeling and parametric sensitivity analysis techniques tailored for such a scenario. This research introduces methods to build unified sensitivity rankings when distinct modeling formalisms are combined. These methods are embedded in the Mercury software tool, providing an automated sensitivity analysis framework for supporting the process. Distinct case studies helped in testing the methodology, encompassing hardware and software aspects of cloud systems, from basic infrastructure level to applications that are hosted in private clouds. The case studies showed that the proposed approach is helpful for guiding cloud systems designers and administrators in the decision-making process, especially for tune-up and architectural improvements. It is possible to employ the methodology through an optimization algorithm proposed here, called Sensitive GRASP. This algorithm aims at optimizing performance and dependability of computing systems that cannot stand the exploration of all architectural and configuration possibilities to find the best quality of service. This is especially useful for cloud-hosted services and their complex underlying infrastructures. / O paradigma de computação em nuvem é capaz de reduzir os custos de aquisição e manutenção de sistemas computacionais e permitir uma gestão equilibrada dos recursos de acordo com a demanda. Modelos analíticos hierárquicos e compostos são adequados para descrever de forma concisa o desempenho e a confiabilidade de sistemas de computação em nuvem, lidando com o grande número de componentes que constituem esse tipo de sistema. Esta abordagem usa sub-modelos distintos para cada nível do sistema e as medidas obtidas em cada sub-modelo são usadas para calcular as métricas desejadas para o sistema como um todo. A identificação de gargalos em modelos hierárquicos pode ser difícil, no entanto, devido ao grande número de parâmetros e sua distribuição entre os distintos formalismos e níveis de modelagem. Esta tese propõe métodos para a avaliação e detecção de gargalos de sistemas de computação em nuvem. A abordagem baseia-se na modelagem hierárquica e técnicas de análise de sensibilidade paramétrica adaptadas para tal cenário. Esta pesquisa apresenta métodos para construir rankings unificados de sensibilidade quando formalismos de modelagem distintos são combinados. Estes métodos são incorporados no software Mercury, fornecendo uma estrutura automatizada de apoio ao processo. Uma metodologia de suporte a essa abordagem foi proposta e testada ao longo de estudos de casos distintos, abrangendo aspectos de hardware e software de sistemas IaaS (Infraestrutura como um serviço), desde o nível de infraestrutura básica até os aplicativos hospedados em nuvens privadas. Os estudos de caso mostraram que a abordagem proposta é útil para orientar os projetistas e administradores de infraestruturas de nuvem no processo de tomada de decisões, especialmente para ajustes eventuais e melhorias arquiteturais. A metodologia também pode ser aplicada por meio de um algoritmo de otimização proposto aqui, chamado Sensitive GRASP. Este algoritmo tem o objetivo de otimizar o desempenho e a confiabilidade de sistemas em cenários onde não é possível explorar todas as possibilidades arquiteturais e de configuração para encontrar a melhor qualidade de serviço. Isto é especialmente útil para os serviços hospedados na nuvem e suas complexas

Fayos Sancho, J. (2008). Dinámica estructural de cuerpos de revolución rotatorios: aplicación al eje de un vehículo ferroviario [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1994 / Palancia