Orientador: Paulo Lima / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-03T18:24:17Z (GMT). No. of bitstreams: 1 BarrosFilho_Adail_M.pdf: 886332 bytes, checksum: 723eb745290ac31d0e362e178a1bda73 (MD5) Previous issue date: 2003 / Mestrado

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-15T20:39:56Z (GMT). No. of bitstreams: 0

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Metrologia Científica e Industrial. / Made available in DSpace on 2012-10-20T23:12:35Z (GMT). No. of bitstreams: 1 190111.pdf: 2865037 bytes, checksum: 4e28e22bf92b470353a472a82ccb4a90 (MD5) / A tecnologia de medição por coordenadas vem a cada dia aumentando seu campo de atuação nas operações de controle geométrico devido ao seu elevado nível de flexibilidade, universalidade, informatização, automação, bem como os seus baixos níveis de incerteza frente às tolerâncias dimensionais e geométricas de um grande número de peças da indústria. Classicamente, máquinas de medir por coordenadas têm sido utilizadas para o controle de peças com geometrias complexas, no entanto, um dos desafios atuais é desenvolver e validar estratégias que possibilitem o emprego de máquinas de medir por coordenadas de referência para a calibração de peças padrão com geometrias complexas, pois fatores como a complexidade e diversidade geométrica, bem como a precisão dimensional das características medidas em tais peças, restringem a aplicação desta tecnologia. Dentro deste contexto, neste trabalho desenvolveu-se e avaliou-se uma metodologia para aplicar de forma ágil e confiável a tecnologia da medição por coordenadas para a calibração de peças padrão com geometrias complexas e medição de peças complexas normalizadas (tendo as engrenagens como estudo de caso), comparando aspectos como tempos, custos, incerteza de medição e facilidade de operação envolvidos no uso desta tecnologia em relação aos sistemas dedicados/métodos convencionais. Os resultados permitiram constatar a boa aplicabilidade da tecnologia da medição por coordenadas para essas tarefas de medição e calibração, com boa confiabildade metrológica e com grandes vantagens operacionais em relação a métodos clássicos de medição.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2016. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2017-01-17T13:07:06Z No. of bitstreams: 1 2016_ThiagoMaeldeCastro.pdf: 1475237 bytes, checksum: fe4d96aa2db1e482634a4417f7749632 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2017-02-20T16:33:40Z (GMT) No. of bitstreams: 1 2016_ThiagoMaeldeCastro.pdf: 1475237 bytes, checksum: fe4d96aa2db1e482634a4417f7749632 (MD5) / Made available in DSpace on 2017-02-20T16:33:40Z (GMT). No. of bitstreams: 1 2016_ThiagoMaeldeCastro.pdf: 1475237 bytes, checksum: fe4d96aa2db1e482634a4417f7749632 (MD5) / Engenharia de linha de produtos de software é uma forma de gerenciar sistematicamente a variabilidade e a comunalidade em sistemas de software, possibilitando a síntese automática de programas relacionados (produtos) a partir de um conjunto de artefatos reutilizáveis. No entanto, o número de produtos em uma linha de produtos de software pode crescer exponencialmente em função de seu número de características, tornando inviável vericar a qualidade de cada um desses produtos isoladamente. Existem diversas abordagens cientes de variabilidade para análise de linha de produtos, as quais adaptam técnicas de análise de produtos isolados para lidar com a variabilidade de forma e ciente. Tais abordagens podem ser classificadas em três dimensões de análise (product-based, family-based e feature-based ), mas, particularmente no contexto de análise de conabilidade, não existe uma teoria que compreenda (a) uma especificação formal das três dimensões e das estratégias de análise resultantes e (b) prova de que tais análises são equivalentes uma à outra. A falta de uma teoria com essas propriedades impede que se raciocine formalmente sobre o relacionamento entre as dimensões de análise e técnicas de análise derivadas, limitando a con ança nos resultados correspondentes a elas. Para preencher essa lacuna, apresentamos uma linha de produtos que implementa cinco abordagens para análise de con abilidade de linhas de produtos. Encontrou-se evidência empírica de que as cinco abordagens são equivalentes, no sentido em que resultam em con abilidades iguais ao analisar uma mesma linha de produtos. Além disso, formalizamos três das estratégias implementadas e provamos que elas são corretas, contanto que a abordagem probabilística para análise de con abilidade de produtos individuais também o seja. Por m, apresentamos um diagrama comutativo de passos intermediários de análise, o qual relaciona estratégias diferentes e permite reusar demonstrações de corretude entre elas. / Software product line engineering is a means to systematically manage variability and commonality in software systems, enabling the automated synthesis of related programs (products) from a set of reusable assets. However, the number of products in a software product line may grow exponentially with the number of features, so it is practically infeasible to quality-check each of these products in isolation. There is a number of variability-aware approaches to product-line analysis that adapt single-product analysis techniques to cope with variability in an e cient way. Such approaches can be classi ed along three analysis dimensions (product-based, family-based, and feature-based), but, particularly in the context of reliability analysis, there is no theory comprising both (a) a formal speci cation of the three dimensions and resulting analysis strategies and (b) proof that such analyses are equivalent to one another. The lack of such a theory prevents formal reasoning on the relationship between the analysis dimensions and derived analysis techniques, thereby limiting the con dence in the corresponding results. To ll this gap, we present a product line that implements ve approaches to reliability analysis of product lines. We have found empirical evidence that all ve approaches are equivalent, in the sense that they yield equal reliabilities from analyzing a given product line. We also formalize three of the implemented strategies and prove that they are sound with respect to the probabilistic approach to reliability analysis of a single product. Furthermore, we present a commuting diagram of intermediate analysis steps, which relates di erent strategies and enables the reuse of soundness proofs between them.

Orientador: Carlos Amadeu Pallerosi / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-21T11:45:45Z (GMT). No. of bitstreams: 1 Santos_IsmarSimoesdos_M.pdf: 3591660 bytes, checksum: 528ddafc70e2c71d5ca0d3a9f990af8e (MD5) Previous issue date: 1996 / Resumo: A maioria dos programas computacional de gerenciamento da manutenção possui um módulo com os dados históricos de manutenção dos equipamentos, mas não calculam a disponibilidade, confiabilidade e mantenabilidade destes equipamentos. Com o objetivo de criar um método para a otimização da manutenção, tendo como base os dados históricos dos equipamentos, o Sistema 7123 de Gerenciamento da Manutenção foi modificado para permitir o cálculo direto das estimativas dos parâmetros das distribuições dos tempos até falha e dos tempos até recolocação em serviço, através do programa computacional RAMP. O RAMP calcula .a disponibilidade, confiabilidade e mantenabilidade dos sistemas, equipamentos e componentes. com estes resultados e utilizando-se árvores lógicas de decisões, baseadas em conceitos confiabilísticos, pode-se manter ou melhorar a disponibilidade das plantas de processo, fazendo melhorias nas instalações e estabelecendo a freqüência e o tipo de manutenção (preventiva sistemática, preventiva preditiva, testes periódicos para detecção de falhas ocultas ou corretiva), mais econômicos e efetivos a serem aplicados. A manutenção preventiva sistemática, prática comum na atividade de manutenção para aumentar a confiabilidade e a disponibilidade dos equipamentos, somente em alguns casos específicos satisfaz este objetivo. A manutenção preventiva sistemática só aumenta a disponibilidade significativamente quando as taxas de falha são crescentes e o tempo médio até recolocação em serviço da manutenção preventiva é muito menor que o tempo médio até recolocação em serviço da manutenção corretiva. Uma forma mais abrangente de considerar a questão, quando a falha não tem efeito na segurança das operações, é considerar o custo operacional do equipamento. Neste caso a prática da manutenção preventiva sistemática tem se mostrado mais econômico quando as taxas de falha são crescentes e o custo da manutenção corretiva é muito maior que o custo, da manutenção preventiva sistemática. Quando uma falha pode comprometer a segurança operacional, o prazo de manutenção preventiva deve ser em função da desconfiabilidade máxima que se pretende assumir. / Abstract: Not informed. / Mestrado / Mestre em Qualidade

Orientador: Jose Ferreira de Carvalho / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-14T15:50:51Z (GMT). No. of bitstreams: 1 Candolo_Cecilia_M.pdf: 1208767 bytes, checksum: ed78d65e33fd105118857a853405756b (MD5) Previous issue date: 1988 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Estatística

Orientador: Carlos Amadeu Pallerosi / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-18T05:30:46Z (GMT). No. of bitstreams: 1 Cascone_NicesioRonan_M.pdf: 5127570 bytes, checksum: 94a29557ff38a7ca6fac9984406f5bbd (MD5) Previous issue date: 1992 / Resumo: Nova metodologia para gerenciamento da função Manutenção, pela análise da Confiabilidade, Mantenabilidade e Disponibilidade dos Componentes e Sistemas, objetivando uma melhoria da qualidade e da produtividade. Aplicação dos conceitos de "Componente-Equivalente" quando são aplicados Sensores ou Comutadores, e de "Componente-Reduzido" nos arranjos Série ou Paralelo por aplicação da teoria Bayesiana ao invés da Markoviana. Apresentação do programa computacional "RAMP" para cálculos, geração de gráficos simulações de casos práticos, inclusive com troca total ou parcial dos Componentes do sistema analisado (Linha de produto). Apresentação e análise do programa GAMA (Gerenciamento e Aperfeiçoamento da Manutenção) / Abstract: Not informed / Mestrado / Mestre em Engenharia Mecânica

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Engenharia Mecânica. / Made available in DSpace on 2012-10-15T19:49:46Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T13:14:06Z : No. of bitstreams: 1 180329.pdf: 18187152 bytes, checksum: 23f49353571ea13ce6aab6b230c7773c (MD5)

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção / Made available in DSpace on 2012-10-22T14:04:27Z (GMT). No. of bitstreams: 1 233076.pdf: 3097040 bytes, checksum: 551d4d848c75b06b519e14a975f657d3 (MD5) / Este trabalho apresenta uma abordagem sistematizada para acelerar o tempo de vida de sistemas que são acometidos pelos efeitos do envelhecimento de software. Estudos de confiabilidade voltados para estes sistemas necessitam realizar a observação dos tempos de falhas causadas pelo envelhecimento de software, o que exige experimentos de longa duração. Esta exigência cria diversas restrições, principalmente quando o tempo de experimentação implica em prazos e custos proibitivos para o estudo. Neste sentido, este trabalho apresenta uma proposta para acelerar a vida de sistemas que falham por envelhecimento de software, reduzindo o tempo de experimentação necessário para observar as suas falhas, o que reduz os prazos e custos das pesquisas nesta área. A fundamentação teórica deste estudo contou com um arcabouço conceitual envolvendo as áreas de dependabilidade computacional, engenharia de confiabilidade, projeto de experimentos, ensaios de vida acelerados e o estudo da fenomenologia do envelhecimento de software. A técnica de aceleração adotada foi a de ensaios de degradação acelerados, a qual tem sido largamente utilizada em diversas áreas da indústria, mas até o momento não tinha sido usada em estudos envolvendo produtos de software. A elaboração dos meios que permitiram aplicar esta técnica no âmbito da engenharia de software experimental, abordando especialmente o problema do envelhecimento de software, é a principal contribuição desta pesquisa. Em conjunto com a fundamentação teórica foi possível avaliar a aplicabilidade do método proposto a partir de um estudo de caso real, envolvendo a aceleração do envelhecimento de um software servidor web. Dentre os principais resultados obtidos no estudo experimental, destaca-se a identificação dos tratamentos que mais contribuíram para o envelhecimento do software servidor web. A partir destes tratamentos foi possível definir o padrão de carga de trabalho que mais influenciou no envelhecimento do servidor web analisado, sendo que o tipo e tamanho de páginas requisitadas foram os dois fatores mais significativos. Outro resultado importante diz respeito à verificação de que a variação na taxa de requisições do servidor web não influenciou o seu envelhecimento. Com relação à redução no período de experimentação, o método proposto apresentou o menor tempo em comparação aos valores previamente reportados na literatura para experimentos similares, tendo sido 3,18 vezes inferior ao menor tempo encontrado. Em termos de MTBF estimado, com e sem a aceleração do envelhecimento, obteve-se uma redução de aproximadamente 687 vezes no tempo de experimentação aplicando-se o método proposto. This research work presents a systematic approach to accelerate the lifetime of systems that fail due to the software aging effects. Reliability engineering studies applied to systems that require the observation of time to failures caused by software aging normally require a long observation period. This requirement introduces several practical constraints, mainly when the experiment duration demands prohibitive time and cost. The present work shows a proposal to accelerate the lifetime of systems that fail due to software aging, reducing the experimentation time to observe their failures, which means smaller time and costs for research works in this area. The theoretical fundamentals used by the proposed method were based on concepts of the following areas: computing dependability, reliability engineering, design of experiments, accelerated life tests and the software aging phenomenology. The lifetime acceleration technique adopted was the quantitative accelerated degradation test. This technique is largely used in several industry areas, however until the moment it hadn't been used in the software engineering field. The specification of means that allowed applying this technique to the experimental software engineering area, especially to approach the software aging problem, it is considered the main contribution of this research work. Also, it was possible to evaluate the applicability of the proposed method in a case study related to the software aging acceleration of a real web server. An important result was the identification of treatments that contributed to the web server aging. Based on these treatments was possible to define a workload standard that most influenced the aging effects on the web server analyzed, where the page size and page type were two significant factors. Another important result of this case study is regarding the request rate variability, that hadn't influence on the aging of the investigated web server software. Regarding the reduction of the experimentation period, the proposed method showed a shorter duration than values from similar experiments previously published, being 3.18 times less than the shorter experimentation time found in the literature. In terms of MTBF estimates, obtained with and without the aging acceleration, it was possible to achieve a reduction of approximately 687 times of the experimentation time using the proposed method.

Submitted by LIVIA FREITAS (livia.freitas@ufba.br) on 2016-02-15T18:23:48Z No. of bitstreams: 1 Texto.pdf: 1567074 bytes, checksum: 3a4c435e968986bb0c579d5bb9890ddf (MD5) / Approved for entry into archive by LIVIA FREITAS (livia.freitas@ufba.br) on 2016-03-17T18:21:19Z (GMT) No. of bitstreams: 1 Texto.pdf: 1567074 bytes, checksum: 3a4c435e968986bb0c579d5bb9890ddf (MD5) / Made available in DSpace on 2016-03-17T18:21:19Z (GMT). No. of bitstreams: 1 Texto.pdf: 1567074 bytes, checksum: 3a4c435e968986bb0c579d5bb9890ddf (MD5) / A confiabilidade aumenta o desempenho do produto mecatrônico e, sua avaliação em geral, se constitui uma prática restrita à fase de projeto detalhado,sendo, poucas vezes, aplicada nas fases precedentes, sobretudo a fase de projeto conceitual, caracterizada por um elevado nível de abstração. No desenvolvimento do projeto conceitual é importante a utilização de uma linguagem abrangente, que possibilite a compreensão e sinergia em todos os domínios da mecatrônica. Por exemplo, a linguagem de orientação a objeto, muito utilizada no desenvolvimento de software, não atende o domínio da engenharia de controle. Diante dessa lacuna, a presente pesquisa objetivou introduzir um método abrangente a todos os domínios da mecatrônica, para elaboração do projeto conceitual, com avaliação da confiabilidade dos conceitos selecionados. O método proposto utiliza uma linguagem abrangente, proporcionando uma compreensão entre todos os domínios da mecatrônica, a exemplo do mecânico, eletrônico, software e controle. Avaliando as falhas funcionais em potencial, dos conceitos selecionados, é possível eliminar aqueles tidos como não confiáveis, impedindo sua passagem para a fase de projeto detalhado e, com isso, promovendo ganhos representativos no desempenho do processo de projeto. Como forma de avaliar o método, foi proposto sua aplicação em um estudo de caso, o desenvolvimento de um dispositivo mecatrônico para auxiliar a remoção de pacientes da cama-leito para a maca em hospitais. Como resultado, a experiência revelou que o método pode ser eficaz na avaliação da confiabilidade na fase de projeto conceitual e a sua linguagem abrangente facilita a compreensão e conhecimento de todos os especialistas envolvidos, criando uma sinergia entre os domínios da mecatrônica.