Orientador: Wirley Gonçalves Assunção / Coorientadora: Maria Cristina Rosifini Alves Resende / Banca: Stefan Fiuza de Carvalho Dekon / Banca: Juliana Aparecida Delben / Resumo: Sendo o afrouxamento e fratura dos parafusos de retenção as principais complicações em próteses implantossuportadas, este estudo teve como objetivo avaliar a manutenção do torque remanescente e ocorrência de fraturas em parafusos de retenção de pilares UCLA, para implantes de conexão hexagonal externa e cone Morse, em função do torque aplicado (recomendado pelo fabricante, torque obtido através de aperto manual e sem torque), submetidos à ciclagem mecânica. Sequencialmente, investigou-se a resistência à fratura desses parafusos por meio do teste de compressão em uma máquina de ensaio universal. Foram utilizados 36 implantes embutidos em poliuretano com uma inclinação de 30°, divididos em 6 grupos em função do tipo de conexão e do torque aplicado. De forma randomizada, os espécimes pertencentes ao grupo sem torque foram submetidos a ciclagem mecânica e os dos grupos torque recomendado pelo fabricante e torque manual foram submetidos a aplicação do torque e mensuração da pré-carga remanescente, antes (3 minutos após o aperto) e após a ciclagem mecânica (após 1x106 de ciclos). Ao fim da ciclagem, os parafusos foram submetidos ao teste de resistência a fratura por meio do ensaio de compressão, no qual foi aplicado uma carga de 5000N sob a velocidade de 0,5mm/min. Os resultados mostraram que em uma análise geral, o torque remanesce foi significantemente menor (p<0,05) após a ciclagem mecânica. Ao se comparar os dois tipos de conexão, não houve diferença em relação o torque remanes ... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: Being loosening and fracture of retention screws the main complications in implant-supported prostheses, this study aimed to evaluate the preload maintenance and the occurrence of fractures at retention screws of UCLA-type abutment for implants with external hexagon connection and Morse Taper, due to the applied torque (recommended by the manufacturer, torque obtained by manual tightening and no torque), submitted to mechanical cycling. Sequentially, the fracture resistance of these screws was investigated by the compression test on a universal testing machine. Thirty-six implants embedded in polyurethane with an inclination of 30° were used and divided into 6 groups according to the type of connection and the applied torque. Randomly, the specimens belonging to the group without torque underwent mechanical cycling and groups of recommended by the manufacturer torque and manual torque underwent torque application and measurement of the remaining preload, before (three minutes after tightening) and after mechanical cycling (after 1x106 cycles). After cycling, the screws were submitted to the fracture resistance test by the compression test, which was applied a 5000N load under 0,5 mm/min speed. The results showed that in a general analysis, preload maintenance was significantly lower (p <0,05) after mechanical cycling. When comparing the two types of connection, there was no difference regarding to preload maintenance (p>0,05). For different types of torque, it was observed ... (Complete abstract click electronic access below) / Mestre

Orientador: Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-22T14:18:35Z (GMT). No. of bitstreams: 1 Stefani_MarcioRoberto_M.pdf: 4013807 bytes, checksum: a21d289d42f7912f7ad14bfa0e5b47c9 (MD5) Previous issue date: 1997 / Resumo: Uma dificuldade comum aos testes de software é o problema do oráculo: como determinar se os resultados dos testes estão corretos? O oráculo é um mecanismo que analisa os resultados dos testes com base numa referência para o comportamento do softwvare. Essa referência precisa ser a mais confiável possível. Neste trabalho foi desenvolvido um método de análise de resultados para testes de comportamento e testes por injeção de falhas por software aplicados à uma implementação de protocolo de comunicação. Para representar o comportamento do protocolo, utilizou-se um modelo baseado em máquina finita de estados estendida. Foi desenvolvido também o projeto de uma ferramenta que coloca esse método em prática. Essa ferramenta de análise de resultados deve ser incorporada ao A TIFS, um Ambiente integrado de Testes baseado em Injeção de Falhas por software. O mecanismo de análise de resultados é um analisado r de traço de execução. Um traço é um histórico da execução dos testes. Com base no modelo do comportamento e no traço de execução, o analisador de traço produz as seguintes saídas: veredictos sobre as saídas produzidas por uma implementação sob teste, diagnósticos de erros e informações sobre a ativação de mecanismos de detecção de erros e tolerância a falhas. / Abstract: A common difficulty to software testing is the oracle problem: how to determine whether or not test results are correct? The oracle is a mechanism that analyses test results by using a reference for the software behavior. This reference should be as reliable as possible. In this work, it had been developed a test result analysis method for behavior tests and software fault injection tests applied to a communication protocol implementation. To represent the protocol behavior, it had been used a model based on extended finite state machine. It had been also developed a design of a tool that puts this method into practice. This test result analysis tool will be embedded in the ATIFS, an integrated test environrnent based on software fault injection. The mechanism of test result analysis is a trace analyzer. A trace is an execution history of the tests. The following outputs are produced by the trace analyzer based on the behavior model and the trace: verdicts about the outputs produced by an implementation under test, error diagnoses, and informations about activation of the error detection and fault tolerance mechanisms. / Mestrado / Mestre em Ciência da Computação

Orientador: Cecilia Mary Fischer Rubira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-23T12:24:42Z (GMT). No. of bitstreams: 1 Prado_DenisePiubeli_M.pdf: 2798230 bytes, checksum: a94abbe68c6bf4db802c4be142bb54ed (MD5) Previous issue date: 1998 / Resumo: Este trabalho tem por objetivo desenvolver uma arquitetura orientada a objetos para dar suporte às aplicações tolerantes a falhas de software. Técnicas de orientação a objetos, tais como, abstração de dados, herança, ligação dinâmica e polimorfismo são exploradas, visando obter aplicações de software de melhor confiabilidade e qualidade. Nosso objetivo é prover um suporte para aplicações que requeiram tolerância falhas de software através de técnicas já conhecidas de diversidade de projeto, integrando essas técnicas ao mecanismo de tratamento de exceções criando assim um framework composto por componentes de software genéricos que formam uma infra-estrutura para dar suporte ao desenvolvimento de sistemas tolerantes a falhas distribuídos(FOOD) . / Abstract: The major goal of this work is to develop an object-oriented architecture for software fault-tolerant applications. Object-oriented techniques, such as data abstraction, inheritance and polymorphism are explored to improve software reliability and quality. Thus, our goal is to support software fault tolerance using design diversity, so that this support can be incorporated to the exception handling mechanism in the application. For the understanding and validation of these techniques, we have developed a fault-tolerant object-oriented distributed ftamework (FOOD). / Mestrado / Mestre em Ciência da Computação

Orientador: Cecilia Mary Fischer Rubira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-23T12:28:59Z (GMT). No. of bitstreams: 1 Correa_SandLuz_M.pdf: 2497773 bytes, checksum: 9ad25bb50d6cb8930108dd8f3ceffbe1 (MD5) Previous issue date: 1997 / Resumo: Este trabalho tem por objetivo desenvolver uma arquitetura orientada a objetos reflexiva para aplicações tolerantes a falhas de software. Técnicas de orientação a objetos, tais como, abstração de dados, herança e polimorfismo são exploradas, visando obter softwares de melhor confiabilidade e qualidade. Técnicas de reflexão computacional são usadas para estruturar a aplicação, separando de forma nitida os requisitos funcionais da aplicação dos requisitos pertinentes ao dominio de tolerância a falhas. Com isso, nosso objetivo é prover um suporte para tolerância a falhas de software através de técnicas já conhencidas de diversidade de projeto, de forma que este suporte seja incorporado à aplicação da forma menos intrusiva possivel, através das técnicas de reflexão computacional. Para maior entendimento e validação dessas técnicas foi desenvolvido um framework orientado a objetos reflexivo e distribuido( FOORD). / Abstract: The major goal of this work is to develop a reflective object-oriented architecture for software fault-tolerant applications. Object-oriented techniques, such as data abstraction, inheritance and polymorphism are explored to improvement of reliability and quality. Computational reflection techniques are used for structuring applications, so that functional requirements and fault-tolerant requirements can be clearly separated. Thus, our goal is to support software fault tolerance through techniques like design diversity, so that this support can be incorporated to the application in a less intruder way, through computational reflection techniques. For the understanding and validation of these techniques, we developed a reflective object-oriented distributed framework (FOORD). / Mestrado / Mestre em Ciência da Computação

Orientador: Cecilia Mary Fischer Rubira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-26T17:56:56Z (GMT). No. of bitstreams: 1 Garcia_AlessandroFabricio_M.pdf: 21354412 bytes, checksum: 0b8c34f819e7b3411e1769f90955e457 (MD5) Previous issue date: 2000 / Resumo: Sistemas orientados a objetos confiáveis devem incorporar atividades de tratamento de exceções de forma a comportarem-se adequadamente sob uma grande variedade de situações, inclusive na presença de erros. Nesse contexto, um mecanismo de tratamento de exceções é fundamental para detecção e recuperação de erros bem como para ativação das medidas necessárias para restaurar a atividade normal do sistema. O desenvolvimento de um mecanismo de tratamento de exceções é uma tarefa difícil especialmente quando a concorrência é uma das características dos sistemas de software. O principal objetivo desta dissertação é o projeto e implementação de um mecanismo de tratamento de exceções para a construção de sistemas orientados a objetos confiáveis. Na construção do mecanismo proposto, nós utilizamos técnicas de estruturação de software, tais como reflexão computacional e padrões de projeto. Duas contribuições são consideradas principais. A primeira delas, caracterizada por aspectos técnicos e usos práticos, é o projeto e implementação de um mecanismo de exceções utilizando a linguagem de programação Java e uma' arquitetura de software reflexiva chamada Guaraná. O mecanismo proposto especialmente oferece suporte a tratamento de exceções concorrentes. A outra contribuição, caracterizada por aspectos abstratos e abordagem inovadora, é a definição de uma arquitetura de software reflexiva e um conjunto de padrões de projeto relacionados para a implementação de mecanismos de tratamento de exceções. / Abstract: Dependanble object-oriented software should incorporate exception handling activities in order to behave suitably in a great number of situations in spite of errors. In this context, an exception handling mechanism is fundamental to detect errors, and to activate the suitable measures to restore the normal activity of the system. The development of an exception handling mechanism is not a trivial task. This task is specially difficult when the software using the exception mechanism is concurrent. The main aim of this work is to propose the design and implementation of an exception handling mechanism for developing dependable object-oriented software. In order to build the proposed mechanism we apply techniques of software structuring, such as computational reflection and design patterns. The main contribution of this work is the design and implementation of an exception handling mechanism using the Java language and a reflective software architecture called Guaraná. The proposed mechanism specially supports concurrent exception handling. In addition, we define a reflective software architecture and a set of design patterns for implementing exception handling mechanisms. / Mestrado / Mestre em Ciência da Computação

Orientadores : Eliane Martins, Cecilia Mary Fischer Rubira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-28T21:35:01Z (GMT). No. of bitstreams: 1 Leme_NelsonGuilhermeMendes_M.pdf: 5349075 bytes, checksum: 294466c6a29f791fd6d78925cf3f02ff (MD5) Previous issue date: 2001 / Resumo: O uso de sistemas computacionais tem se expandido cada vez mais. Esses sistemas vêm sendo usados em aplicações críticas, que devem dar uma resposta esperada mesmo na presença de falhas. Uma das formas encontradas de se garantir isso é testar o sistema usando Injeção de Falhas. Nesse processo são simuladas falhas e observada a resposta do sistema nessas circunstâncias. Uma das formas mais populares de se fazer isso é através de Injeção de Falhas por Software, onde um trecho especial de código, associado ao sistema sob teste, procura simular a presença de falhas. Várias ferramentas e programas que realizam Injeção de Falhas por Software já foram desenvolvidas. Entretanto, novos tipos de sistema são criados, e é difícil encontrar ferramentas para esses sistemas. Portanto, há a necessidade de se desenvolver novos programas para realizar Injeção de Falhas por Software. Uma maneira de se facilitar isso é através da criação de Padrões para desenvolver tais sistemas. Através de Padrões, pode-se descrever a arquitetura de programas de Injeção de Falhas por Software, bem como estruturas que esses programas usariam. Isso de uma maneira já determinada e independente de linguagem de programação, e dessa maneira apta a ser utilizada pelo maior número possível de desenvolvedores. Esses Padrões para Injeção de Falhas por Software, organizados na forma de um Sistema, estão expostos neste trabalho. Também é mostrada aqui a ferramenta de Injeção de Falhas JACA, criada com base nesses Padrões, não só como exemplo da aplicação dos mesmos, mas também com utilidade própria, de testar sistemas na presença de falhas / Abstract: The utilization of computing systems has increased continuos1y. That includes the increase in use of systems running in critical applications, when those systems must give an expected answer even in the presence of faults. One way of guaranteeing this is testing the system through Fault Injection. In that process, faults are simulated and the answer of the system to those conditions is observed. One of the most popular ways of doing this is using Software Fault Injection, in which a special piece of code, associated with the system under test, tries to simu1ate the presence of faults. Many too1s and programs that perfonn Software Fau1t Injection have already been deve10ped. However, new kinds of systems are being created, and there are no too1s for such systems. Therefore, there is a need of deve10pment of new programs that make Software Fau1t Injection. This process could be eased through the creation of Patterns to deve10p such programs. Through the use of Patterns, the architecture and structures used by Software Fault Injection programs could be described. And that would be done in a standard and programming 1anguage independent way, and therefore it cou1d be used by the majority af deve10pers. Those Software Fault Injection Patterns, organized in a System, are exposed in the present paper. Also, a Fault Injection Too1, JACA, is described. That too1 was designed based on the Pattern System. It is not on1y an examp1e of the imp1ementation of those Patterns in a real program, but also as Fault Injection too1 with its own usefulness, which is able to test systems in the presence of faults / Mestrado / Mestre em Ciência da Computação

Orientador : Luiz Eduardo Buzato / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-29T03:55:29Z (GMT). No. of bitstreams: 1 Garcia_IsleneCalciolari_D.pdf: 7273210 bytes, checksum: 2bc04d2a705337b28f6c598e011ecde7 (MD5) Previous issue date: 2001 / Resumo: Um checkpoint é um estado selecionado por um processo durante a sua execução. Um checkpoint global é composto por um checkpoint de cada processo e é consistente se representa urna foto­grafia da computação que poderia ter sido capturada por um observador externo. Soluções para vários problemas em sistemas distribuídos necessitam de uma seqüência de checkpoints globais consistentes que descreva o progresso de urna computação distribuída. Corno primeira contri­buição desta tese, apresentamos um conjunto de algoritmos para a construção destas seqüências, denominadas visões progressivas. Outras contribuições provaram que certas suposições feitas na literatura eram falsas utilizando o argumento de que algumas propriedades precisam ser válidas ao longo de todo o progresso da computação. Durante algumas computações distribuídas, todas as dependências de retrocesso entre check­points podem ser rastreadas em tempo de execução. Esta propriedade é garantida através da indução de checkpoints imediatamente antes da formação de um padrão de mensagens que poderia dar origem a urna dependência de retrocesso não rastreável. Estudos teóricos e de simu­lação indicam que, na maioria das vezes, quanto mais restrito o padrão de mensagens, menor o número de checkpoints induzidos. Acreditava-se que a caracterização minimal para a obtenção desta propriedade estava estabelecida e que um protocolo baseado nesta caracterização precisa­ria da manutenção e propagação de informações de controle com complexidade O(n2), onde n é o número de processos na computação. A complexidade quadrática tornava o protocolo base­ado na caracterização mimimal menos interessante que protocolos baseados em caracterizações maiores, mas com complexidade linear.A segunda contribuição desta tese é uma prova de que a caracterização considerada minimal podia ser eduzida, embora a complexidade requerida por um protocolo baseado nesta nova caracterização minimal continuasse indicando ser quadrática. A terceira contribuição desta tese é a proposta de um pequeno relaxamento na caracterização minimal que propicia a implementação de um protocolo com complexidade linear e desempenho semelhante à solução quadrática. Como última contribuição, através de um estudo detalhado das variações da informação de controle durante o progresso de urna computação, propomos um protocolo que implementa exatamente a caracterização minimal, mas com complexidade linear / Abstract: A checkpoint is a state selected by a process during its execution. A global checkpoint is composed of one checkpoint from each process and it is consistent if it represents a snapshot of the computation that could have been taken by an external observer. The solution to many problems in distributed systems requires a sequence of consistent global checkpoints that describes the progress of a distributed computation. As the first contribution of this thesis, we present a set of algorithms to the construction of these sequences, called progressive views. Additionally, the analysis of properties during the progress of a distributed computation allowed us to verify that some assumptions made in the literature were false. Some checkpoint patterns present only on-line trackable rollback-dependencies among check­points. This property is enforced by taking a checkpoint immediately before the formation of a message pattern that can produce a non-trackable rollback-dependency. Theoretical and simula­tion studies have shown that, most often, the more restricted the pattern, the more efficient the protocol. The minimal characterization was supposed to be known and its implementation was supposed to require the processes of the computation to maintain and propagate O(n2) control information, where n is the number of processes in the computation. The quadratic complexity makes the protocol based on the minimal characterization less interesting than protocols based on wider characterizations, but with a linear complexity. The second contribution of this thesis is a proof that the characterization that was supposed to be minimal could be reduced. However, the complexity required by a protocol based on the new minimal characterization seemed to be also quadratic. The third contribution of this thesis is a protocol based on a slightly weaker condition than the minimal characterization, but with linear complexity and performance similar to the quadratic solution. As the last contribution, through a detailed analysis of the control information computed and transmitted during the progress of distributed computations, we have proposed a protocol that implements exactly the minimal characterization, but with a linear complexity / Doutorado / Doutor em Ciência da Computação

O principal objetivo desta dissertação foi identificar, descrever, analisar e classificar os principais fatores financeiros relacionados à morte prematura de micros e pequenas empresas na cidade de São Paulo. Partindo de alguns estudos já existentes foi elaborado um questionário que foi aplicado a vários executivos financeiros e, a partir daí, confrontaram-se seus pontos de vista com o que preconiza a teoria de finanças. As conclusões levantadas estão alinhadas com outros estudos que não apontam apenas uma, más várias, as causas que levam um empreendimento de micro ou pequeno porte à morte prematura. / The main objective of this dissertation was to identify, describe, analyse and classify the main financial factors relationed to the early failure of the São Paulo micro and small companies. Starting from previous studies some questions were built and a questionnaire was applied to several financial executives and their responses were challenged to the financial theory. The conclusions are in line with other studies that point out not only one but several the causes that drive a micro or small company to an early failure. .

Orientador : Luiz Eduardo Buzato / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-01T02:33:00Z (GMT). No. of bitstreams: 1 Vieira_GustavoMacielDias_M.pdf: 3096254 bytes, checksum: 30b7155e50de3e9afd753dd40520b771 (MD5) Previous issue date: 2001 / Resumo: Esta dissertação fornece um estudo comparativo abrangente de algoritmos quase-síncronos para checkpointing. Para tanto, utilizamos a simulação de sistemas distribuídos que nos oferece liberdade para construirmos modelos de sistemas com grande facilidade. O estudo comparativo avaliou pela primeira vez de forma uniforme o impacto sobre o desempenho dos algoritmos de fatores como a escala do sistema, a freqüência de check points básicos e a diferença na velocidade dos processos da aplicação. Com base nestes dados obtivemos um profundo conhecimento sobre o comportamento destes algoritmos e produzimos um valioso referencial para projetistas de sistemas em busca de algoritmos para check pointing para as suas aplicações distribuídas / Abstract: This dissertation provides a comprehensive comparative study ofthe performance of quase synchronous check pointing algorithms. To do so we used the simulation of distributed systems, which provides freedom to build system models easily. The comparative study assessed for the first time in an uniform environment the impact of the algorithms' performance with respect to factors such as the system's scale, the basic checkpoint rate and the relative processes' speed. By analyzing these data we acquired a deep understanding of the behavior of these algorithms and were able to produce a valuable reference to system architects looking for check pointing algorithms for their distributed applications / Mestrado / Mestre em Ciência da Computação

Orientador : Maria Beatriz Felgar de Toledo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-03T07:47:45Z (GMT). No. of bitstreams: 1 Almeida_HudoRodriguesde_M.pdf: 4932798 bytes, checksum: 8ec72a7d06fd010d7b6a55baf11da594 (MD5) Previous issue date: 2002 / Resumo: Esta dissertação propõe uma arquitetura para um sistema de gerenciamento de workflows que atenda aos requisitos de aplicações para o desenvolvimento de projetos. São considerados modos mais flexíveis para troca de informações entre usuários que trabalham no mesmo projeto, no contexto de uma transação de grupo. Em sistemas de workflow tradicionais, a troca de informações é realizada através de parâmetros entre tarefas. O modelo proposto permite a troca de resultados intermediários entre usuários de uma transação de grupo. Além disso, o sistema garante a execução confiável de processos mesmo quando falhas ocorrem. Finalmente, um protótipo foi implementado sobre uma plataforma distribuída baseada em CORBA / Abstract: This dissertation proposes an architecture for a workflow management system that meets the requirements of project development applications. More flexible modes for information exchange between users that work on the same project are considered, in the context of a group transaction. In traditional workflow systems, the information exchange is achieved by parameter passing between tasks. The proposed model allows the exchange of intermediary results between users within a group transaction. Moreover, the system guarantees the reliable execution of processes even when failures occur. Finally, a prototype has been implemented on a CORBA-based distributed platform / Mestrado / Mestre em Ciência da Computação