Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-13T17:20:26Z No. of bitstreams: 1 AYLA DEBORA DANTAS DE SOUZA REBOUÇAS - TESE PPGCC 2010..pdf: 2130099 bytes, checksum: 004385606718ac74b12c8332e37b890c (MD5) / Made available in DSpace on 2018-08-13T17:20:26Z (GMT). No. of bitstreams: 1 AYLA DEBORA DANTAS DE SOUZA REBOUÇAS - TESE PPGCC 2010..pdf: 2130099 bytes, checksum: 004385606718ac74b12c8332e37b890c (MD5) Previous issue date: 2010-08-30 / CNPq / Testar sistemas com múltiplas threads é uma atividade que envolve vários desafios. O fato de serem inerentemente não determinísticos torna tanto a implementação desses sistemas quanto a implementação de seus testes suscetível a erros. É comum existirem testes nestes sistemas que falham em apenas algumas execuções, sem que as causas dessas falhas sejam faltas na aplicação (também conhecidas como defeitos oubugs), mas sim devido a problemas nos testes. Por exemplo, isso pode acontecer se a fase dos testes em que são feitas as verificações (asserções) for executada em momentos inadequados. Isso é freqüente quando os testes envolvem operações assíncronas. Deve-se evitar que nestes testes as asserções sejam feitas antes que essas operações tenham sido concluídas ou também que sejam feitas em um momento tardio, quando o sistema mudou de estado e as condições verificadas não são mais satisfeitas, gerando assim falsos positivos. Testes que não são confiáveis, como os que falham devido a tais problemas, levam os desenvolvedores a desperdiçar muito tempo procurando faltas de software que não existem. Além disso, os desenvolvedores podem perder a confiança nos testes parando de acreditar que falhas em certos testes são devidas a faltas, mesmo quando este é o caso. A existência de tais cenários foi o que motivou este trabalho, que tem como objetivo evitar que asserções em testes sejam feitas cedo ou tarde demais. Para atingir esse objetivo, apresenta-se uma abordagem baseada na monitoração e controle das threads daaplicação e quedê suporte ao desenvolvimento de testes corretos de sistemas multi-threaded. A abordagem visa facilitar a implementação de testes envolvendo operações assíncronas e aumentar a confiança dos desenvolvedores nos seus resultados. Esta abordagem foi avaliada através de estudos de caso utilizando uma ferramenta de suporte ao teste de sistemas multi-threaded, desenvolvida para este trabalho, e também através de sua modelagem formal utilizando a linguagem TLA+, com o objetivo de demonstrar que asserções antecipadas e tardias não ocorrem quando ela é utilizada. / Testing multi-threaded systems is quite a challenge. The inherent non-determinism of these systems makes their implementation and the implementation of their tests far more susceptible to error. It is common to have tests of these systems that may not sometimes pass and whose failures are not caused by application faults (bugs), but by problems with the tests. For instance, thiscan happen when there are asynchronous operations whose corresponding test verifications (assertions) are performed at inappropriate times. Unreliable tests make developers waste their time trying to find non-existing bugs, or else make them search for bugs in the wrong place. Another problem is that developers may cease to believe that certain test failures are caused by software bugs even when this is the case. Scenarios like these have motivated this work. Our main objective is to avoid test failures that are caused, not by application defects, but by test assertions performed either too early or too late. In order to achieve this goal, we present an approach whose basic idea is to use thread monitoring and control in order to support the development of multi-threaded systems tests involving asynchronous operations. This approach is intended to make it easier the development of correct tests for these systems and also to improve developers’ confidence on the results of their tests. The proposed approach has been evaluated through case studies using a tool to support the development of multi-threaded systems tests (developed for this work) and also by formally modeling the approach using theTLA+ language in order to prove that early and late assertions do not occur when this approach isused.

Silver is a precious metal that has traditionally been used for jewellery and money. It also possesses desirable properties such as being corrosion resistant and having good electrical conductivity, resulting in its use for industrial applications. Furthermore, it is also recognised for its tribological properties in non-cost prohibitive applications. Silver can be used as a surface coating and can be deposited using an electroplating process. The utilisation of silver as a surface coating is advantageous and sustainable, as the substrate material properties are enhanced while usage of silver is kept to a minimum. On the other hand, electroplating has been used for over a century. It is a process which is able to produce a layer of uniform and dense coating that adheres well to the substrate metal, thus modifying the properties of the substrate. It benefits from being relatively low cost and is scalable. Silver is electroplated onto stainless steel threaded compression fittings to prevent galling. Traditional silver electroplating, which contains the use of cyanide as a complexing agent in the electroplating bath, is still in use within industry, even to this day. Cyanide, in its various forms can be poisonous, toxic and even lethal, which presents a risk during the silver electroplating process. Furthermore, the toxic wastes created during the cyanide silver electroplating process are detrimental to the environment. The aim of this work is to develop a self-lubricating non-cyanide silver PTFE composite coating suitable for use in threaded compression fittings of the ferruled type. The composite can be considered self-lubricating when a concentration of 8% or more by volume of the self-lubricating PTFE substance is incorporated. My original contribution to knowledge is firstly the successful development and characterisation of a self-lubricating non-cynanide Ag-PTFE coating on stainless steel without a strike resulting in improved CoF of 0.06 from the CoF of 0.6 based on an unlubricated surface. Secondly is the application of a non-cyanide Ag-PTFE MMC for threaded compression fittings. Thirdly is the characterisation of the make-up process of threaded compression fittings through the proposed use of the torque-angle slope in assessing coating performance for threaded compression fittings during make-up. Conclusions that can be drawn for the work are that the performance non-cyanide Ag-PTFE coating exceeded the performance of the pure Ag coating made using the same non-cyanide process. Moreover, the performance of the Ag-PTFE coating shows promising results when compared to the performance of the commercial silver cyanide coating. As a viable replacement to the current silver cyanide process, the self-lubricating non-cyanide Ag-PTFE coating, will improve the working conditions and have a positive contribution to the environment. Moreover, a thinner coating with has the potential to reduce raw material usage and electroplating waste disposal costs.

Thema dieser Arbeit ist die Entwicklung eines Kommunikationsteilsystems fuer das Experimentiersystem CHEOPS zur Ermoeglichung einer Interobjektkommunika- tion zwischen Objekten auf dem gleichen bzw. verschiedenen Systemen. Ausgangspunkte stellen dabei eine verfuegbare Implementation eines Ethernet- Treibers der Kartenfamilie WD80x3 fuer MS-DOS, eine geforderte Kommunikations- moeglichkeit mit UNIX-Prozessen sowie die dort benutzbaren Protokoll-Familien dar. Die Arbeit beschaeftigt sich mit der Analyse und Konzipierung des Ethernet- Treibers sowie der Internet-Protokoll-Familie fuer CHEOPS als auch deren Implementation resultierend in einem minimalen Grundsystem. Weiterhin wird ein erster Entwurf fuer ein spaeter weiterzuentwickelndes bzw. zu vervoll- staendigendes Netz-Interface vorgeschlagen und durch eine Beispiel-Implemen- tierung belegt.

Chemically identical but topologically different cyclic and linear polymers not only result in marked differences in dynamics, but also lead to unique transport properties of their blends, where cyclic polymers have chances to be threaded onto the linear polymers. This dissertation addresses the effect of ring architecture on dynamics using different time/length scale techniques: self-diffusion coefficients, NMR spin-spin relaxation time (T2) and bulk viscosity. In deuterated water, synthesized cyclic poly(oxyethylene) (CPOE) (400-1500 g/mol) diffused faster than corresponding linear POE (LPOE) and linear POE dimethyl ether (LPOEDE). However, the self-diffusion coefficients in melts were arranged in the following manner: LPOEDE > CPOE > LPOE, in excellent agreement with T2 and viscosity data, showing topological and chain end effects. Compared to LPOEDE, both CPOE and LPOE had higher activation energies for viscosity with less dependence on the molecular weight. In the blends of CPOE and LPOE for 900 and 1500 g/mol, the diffusion coefficient and viscosity in melts were higher and lower than the values predicted by a binary mixing rule, respectively. These deviations were attributed to the threading conformation, and the weight fraction of the threaded chains for 1500 g/mol was estimated by a three-term mixing rule. This threading conformation also appeared to influence such important bulk properties as the glass transition and spherulitic growth rate of the blends.

This project consists of a prototype of a stereo camera rig where you can mount two DSLR cameras, and a multithreaded software application, written in C++, that can move the cameras, change camera settings and take pictures. The resulting 3D-images can be viewed with a 2-view autostereoscopic display. Camera position is controlled by a step engine which is controlled by a PIC microcontroller. All communication with the PIC and the computer is made over USB. The camera shutters are synchronized so it is possible to take pictures of moving objects at a distance of 2.5 m or more. The results shows that there are several things to do before the prototype can be considered a product ready for the market, most of all the camera callback functionality. / Detta projekt består av en stereokamerarigg som kan bestyckas med två DSLR-kameror, samt en applikation indelad i flera trådar (multithreaded) , skriven i C++, som kan förflytta kamerorna på riggen, ändra fotoinställningar och ra bilder. Resultatet blir 3D-bilder som kan ses på en autostereoskopisk skärm. Kamerornas position kontrolleras med en stegmotor, som i sin tur styrs av en PIC-mikrokontroller. Kommunikationen mellan PIC-enheten och datorn sker via USB. Slutarna på kamerorna är synkroniserade så det är möjligt att ta bilder på objekt i rörelse på ett avstånd av 2,5 m eller mer. Resultaten visar att det är flera punkter som måste åtgärdas på prototypen innan den kan anses vara redo för marknaden. Den viktigaste punkten är att kunna få fungerande respons (callback) från kamerorna.

Threaded fasteners tend to break and loosen when exposed to cyclic loads or potent temperature variations. Additionally, if the joint is held tightly to the structure, distortion will occur under thermal expansion issues. These complications can be prevented by identifying and regulating the clamping force to an appropriate degree – adapted to the properties of the joint. Torque-controlled tightening is a way of monitoring the clamping force, but it assumes constant friction and therefore has low accuracy, with an error of around 17% - 43%.This thesis investigates if the friction and clamping force can be estimated using the Extended and Unscented Kalman filters to increase the precision of the torque-controlled methodology. Before the investigation, data were collected for two widely used tightening strategies. The first tightening strategy is called Continuous Drive, where the angular velocity is kept at a constant speed while torque is increased. The second strategy is TurboTight, where the angular velocity starts at a very high speed and decreases with increased torque. The collected data were noisy and had to be filtered. A hybrid between a Butterworth lowpass filter and a Sliding Window was developed and exploited for noise cancellation.The investigations revealed that it was possible to use both the Extended and Unscented Kalman filers to estimate friction and clamping force in threaded fasteners. In Continuous Drive tightening, both the EKF and UKF performed well - with an averagequality factor of 81.87% and 88.38%, and with an average error (at max torque) of 3.54% and 4.09%, respectively. However, the TurboTight strategy was much more complex and had a higher order of statistical moments to account for. Thus, the UKF outperformed the EKF with an average quality factor of 93.02% relative to 24.49%, and with an average error (at max torque) of 3.50% compared to 4.19%

No description available.

[pt] A união de materiais por soldagem é um dos processos mais utilizados na fabricação de estruturas. A soldagem traz maior confiabilidade, segurança ao projeto e resistência mecânica das uniões. Atualmente, diversas indústrias, tais como aeronáutica e automotiva, têm procurando utilizar materiais de baixa densidade e alta resistência mecânica, como as ligas de magnésio e de alumínio. Porém, estas ligas dificultam o processo de união através da soldagem convencional, que tem no seu principal fundamento a fusão do material, por possuírem baixa soldabilidade. Nas ligas de Mg e de Al há a formação uma camada de óxido que precisa ser removida durante o processo de soldagem, além de apresentarem grande susceptibilidade a geração de defeitos, tais como trincas e poros durante o processo de resfriamento da solda. A soldagem por fricção ou por mistura mecânica (FSW) foi desenvolvida como uma alternativa às técnicas de soldagem e uso mais comum existente na indústria, pois esta técnica elimina a fusão do material reduzindo, assim, os defeitos que surgiriam com a soldagem convencional. Por ser uma solda de estado sólido, tem a possibilidade de unir materiais dissimilares, polímeros, compósitos, ligas ferrosas e não ferrosas. O presente trabalho buscou avaliar parâmetros de soldagem variando a velocidade de soldagem (ν) e velocidade de rotação da ferramenta (ômega) utilizando uma ferramenta com rosca. Foram analisados o torque e as forças presentes no processo. Os resultados foram comparados com os resultados obtidos com uma ferramenta de soldagem sem rosca. A qualidade da solda foi correlacionada com os parâmetros de soldagem utilizados por meio de ensaios de dureza e tomografia. Foi concluído que a ferramenta com rosca gera defeito de túnel e demanda maior energia do processo em relação ao torque e à força axial. O comportamento das forças envolvidas no processo foi o mesmo para ambas as geometrias de ferramenta. A microdureza ao longo do eixo neutro mostrou a mudança entre a zona de mistura, zona termicamente afetada e o metal de base. / [en] The joining of materials by welding is the process most used in the fabrication of structures. Welding brings greater reliability, safety to the design and mechanical strength of the joints. Today, many industries, such as aeronautics and automotive, are looking to use low density and high mechanical strength materials such as magnesium and aluminum alloys. However, these alloys hinder the bonding process through conventional welding, which has in its main foundation the melting of the material, because they have low weldability. In Mg and Al alloys there is a layer of oxide that needs to be removed during the welding process, besides being very susceptible to the generation of defects, such as cracks and pores during the process of cooling the weld. Friction stir welding (FSW) was developed as an alternative to most commonly used in industry welding techniques, as this technique eliminates melting of the material thus reducing defects that would arise with conventional welding. To being a solid state weld, it has the possibility of joining dissimilar materials, polymers, composites, ferrous and non-ferrous alloys. The present work seeked to evaluate welding parameters by varying the welding speed (ν) and tool rotation (omega) using a threaded tool. The torque and forces were analyzed and the results will be compared with the results obtained with a threadless welding tool. The quality of the weld will be correlated with the welding parameters used by means of hardness test and tomography. It was concluded that the threaded tool generates tunnel defect and demands higher process energy. The behavior of the forces involved in the process was the same for both tool geometries. The microhardness along the neutral axis showed the clear the change between the mixing zone, thermally affected zone and the base metal.

Multi-core, multi-processor, and Graphics Processing Unit (GPU) computer architectures pose significant challenges with respect to the efficient exploitation of parallelism for large-scale, scientific computing simulations. For example, a simulation of the human tonsil at the cellular level involves the computation of the motion and interaction of millions of cells over extended periods of time. Also, the simulation of Radiative Heat Transfer (RHT) effects by the Photon Monte Carlo (PMC) method is an extremely computationally demanding problem. The PMC method is example of the Monte Carlo simulation method—an approach extensively used in wide of application areas. Although the basic algorithmic framework of these Monte Carlo methods is simple, they can be extremely computationally intensive. Therefore, an efficient parallel realization of these simulations depends on a careful analysis of the nature these problems and the development of an appropriate software framework. The overarching goal of this dissertation is develop and understand what the appropriate parallel programming model should be to exploit these disparate architectures, both from the metric of efficiency, as well as from a software engineering perspective. In this dissertation we examine these issues through a performance study of PathSim2, a software framework for the simulation of large-scale biological systems, using two different parallel architectures’ distributed and shared memory. First, a message-passing implementation of a multiple germinal center simulation by PathSim2 is developed and analyzed for distributed memory architectures. Second, a germinal center simulation is implemented on shared memory architecture with two parallelization strategies based on Pthreads and OpenMP. Finally, we present work targeting a complete hybrid, parallel computing architecture. With this work we develop and analyze a software framework for generic Monte Carlo simulations implemented on multiple, distributed memory nodes consisting of a multi-core architecture with attached GPUs. This simulation framework is divided into two asynchronous parts: (a) a threaded, GPU-accelerated pseudo-random number generator (or producer), and (b) a multi-threaded Monte Carlo application (or consumer). The advantage of this approach is that this software framework can be directly used within any Monte Carlo application code, without requiring application-specific programming of the GPU. We examine this approach through a performance study of the simulation of RHT effects by the PMC method on a hybrid computing architecture. We present a theoretical analysis of our proposed approach, discuss methods to optimize performance based on this analysis, and compare this analysis to experimental results obtained from simulations run on two different hybrid, parallel computing architectures. / Ph. D.

Pour alléger les véhicules, des structures multi-matériaux utilisant des matériaux composites sont envisagées par les industriels automobiles. Les liaisons sont les points faibles de ces structures. Dans ce travail de thèse, le boulonnage, la fixation par insert et le collage utilisés dans l’assise d’un siège automobile en métal/composite ont été étudiés. Les pièces envisagées de l’assise ont été réalisées en composite tissé (verre/ PA6) et en composite injecté (verre/PA66). Y compris pour les films adhésifs, les lois de comportement ont été établies à partir d’essais expérimentaux. Pour les pièces munies d’un trou et pour la liaison boulonnée, le volume critique déterminant la rupture du composite tissé a été utilisé dans les calculs numériques. Dans le cas du collage, la distance critique déterminant la rupture de l’adhésif a aussi été considérée. Des éprouvettes de simple recouvrement et des triangles collés soumis à la torsion ont été testés et simulés. Pour la rupture d’une pièce en composite injecté à fibres courtes, la résistance mécanique du matériau a été évaluée en fonction de l’orientation locale des fibres. Une bielle en composite injecté a été testée et calculée. Les lois de comportement et les méthodes de prédiction de rupture établies ont été utilisées dans le calcul numérique du siège soumis à l’essai de choc. / To reduce the weight of vehicles, the multi-material structures with composite materials have been used in the automotive industries. However, the joints are considered as the weakest parts of the structure. In this work, the joining methods used for metal/ composite automotive seat, including a mechanical joint, a threaded insert and an adhesive joint, have been studied. The components of the seat under consideration were made of woven composite (glass/PA6) and short fiber composite (glass/PA66). The mechanical behaviors of the studied materials, including adhesives, have been modeled based on the experimental results. For parts containing an open-hole and for mechanical joints, the characteristic volume has been used to determine the failure of woven composite. In the case of adhesive joints, the characteristic length has been used to determine the failure. Single lap shear tests and the torsion tests on a bonded structure were conducted and simulated. For the failure of short fiber composite structure, the material strength has been evaluated as a function of local fiber orientation. The tensile tests on the short fiber composite connecting rod were conducted and simulated. Finally, the proposed constitutive laws and failure prediction methods were applied for the simulation of the automotive seat under crash test condition.