Sensor eletro-óptico de tensões elevadas e sua viabilidade para implementação de TP óptico

Pós-graduação em Engenharia Elétrica - FEIS

Efeitos estruturais e ópticos da incorporação de Mn em filmes nanocristalinos de 'GA IND.1-x'MN IND.XN' preparados por sputtering reativo

Pós-graduação em Ciência e Tecnologia de Materiais - FC

Arranjos político-institucionais: a criação de novos municípios, novas estruturas de poder e as lideranças locais - a divisão territorial de Marabá na década de 1980

Na presente tese - Arranjos político-institucionais: a criação de novos municípios, novas estruturas de poder e as lideranças locais. a divisão territorial de marabá na década de 1980 – será apresentada a seguinte assertiva: a criação dos municípios decorrentes do desmembramento de Marabá, no Sudeste paraense, na década de 1980, está circunscrita ao processo de modernização capitalista, em especial, na esfera política (local). Neste caso, no âmbito institucional. Para tanto, serão utilizados os conceitos de Campo, Poder Simbólico, Interesse, Partido Político e Liderança. Conceitos desenvolvidos por Bourdieu, bem como conceitos de Liderança, Partido Político e Eleitor, defendidos por Downs. A pesquisa se desenvolveu nos municípios criados a partir de Marabá: Parauapebas (1988) e Curionópolis (1988), que foram desmembrados dando origem a Eldorado dos Carajás (1991), Água Azul do Norte (1991), Canaã dos Carajás (1994). A estrutura física deste trabalho é constituída de capítulos: No primeiro, serão abordados os procedimentos e o percurso metodológico adotado. No segundo, será apresentado o instrumental teórico-analítico, o problema, o objeto, e as hipóteses balizadoras deste trabalho. No escopo do capítulo terceiro, abordar-se-á o surgimento dos novos municípios, a partir da percepção das lideranças políticas de Marabá. No quarto capítulo serão focalizados os mecanismos de controle e o campo político, enquanto espaço de disputa e dominação. No quinto capítulo, estarão em discussão a representação política, as novas estruturas de poder, as alianças, a competição política e a disputa eleitoral. No sexto capítulo será enfatizado o Sudeste paraense no contexto das emancipações a partir das percepções das lideranças dos municípios emancipados. Por último, as conclusões à luz das análises apresentadas no escopo desta tese. Duas são as mais significativas conclusões: 1) A criação desses municípios resultou de um processo de modernização institucional na região em estudo; 2) A criação desses municípios atendeu aos interesses das lideranças políticas, e atores econômicos em escala municipal e estadual. A partir dessas conclusões, serão feitas as seguintes considerações acerca dos municípios emancipados: Curionópolis, Eldorado dos Carajás, Parauapebas e Canaã dos Carajás; em função de apresentarem realidades distintas, tiveram como resultado final, após o desmembramento de Marabá, a experiência da autonomia, sem, contudo, perder, inevitavelmente, as marcas da desigualdade. No entanto, em ambos os casos, registrou-se um processo de democratização, no qual as disputas políticas (eleitorais) e os conflitos decorrentes passam a ser regulados pela regras definidas no marco do Estado de Direito. Por fim, o percurso metodológico adotado elegeu as lideranças locais como importantes interlocutores, tendo por objetivo obter o “olhar” das lideranças políticas locais sobre esse processo.

Avaliação do comportamento mecânico de três diferentes tipos de osteossíntese em fratura de côndilo mandibular: análise por elementos finitos 3D

Pós-graduação em Odontologia - FOAR

Desenvolvimento de dispositivos eletrônico-orgânicos e sua aplicação como sensores em meio aquoso

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Influência da dentina bovina e do dispositivo de microtração na resistência de união de sistemas adesivos

Pós-graduação em Odontologia Restauradora - ICT

Efeito das diferentes direções de aplicação de jato de fluido de corte no torneamento de um aço de difícil usinagem

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Unmanned platform for long-range remote analysis of volatile compounds in air samples

This paper describes a long-range remotely controlled CE system built on an all-terrain vehicle. A four-stroke engine and a set of 12-V batteries were used to provide power to a series of subsystems that include drivers, communication, computers, and a capillary electrophoresis module. This dedicated instrument allows air sampling using a polypropylene porous tube, coupled to a flow system that transports the sample to the inlet of a fused-silica capillary. A hybrid approach was used for the construction of the analytical subsystem combining a conventional fused-silica capillary (used for separation) and a laser machined microfluidic block, made of PMMA. A solid-state cooling approach was also integrated in the CE module to enable controlling the temperature and therefore increasing the useful range of the robot. Although ultimately intended for detection of chemical warfare agents, the proposed system was used to analyze a series of volatile organic acids. As such, the system allowed the separation and detection of formic, acetic, and propionic acids with signal-to-noise ratios of 414, 150, and 115, respectively, after sampling by only 30 s and performing an electrokinetic injection during 2.0 s at 1.0 kV.

Architectures and design patterns for functional design of logic control and diagnostics in industrial automation

Recently in most of the industrial automation process an ever increasing degree of automation has been observed. This increasing is motivated by the higher requirement of systems with great performance in terms of quality of products/services generated, productivity, efficiency and low costs in the design, realization and maintenance. This trend in the growth of complex automation systems is rapidly spreading over automated manufacturing systems (AMS), where the integration of the mechanical and electronic technology, typical of the Mechatronics, is merging with other technologies such as Informatics and the communication networks. An AMS is a very complex system that can be thought constituted by a set of flexible working stations, one or more transportation systems. To understand how this machine are important in our society let considerate that every day most of us use bottles of water or soda, buy product in box like food or cigarets and so on. Another important consideration from its complexity derive from the fact that the the consortium of machine producers has estimated around 350 types of manufacturing machine. A large number of manufacturing machine industry are presented in Italy and notably packaging machine industry,in particular a great concentration of this kind of industry is located in Bologna area; for this reason the Bologna area is called “packaging valley”. Usually, the various parts of the AMS interact among them in a concurrent and asynchronous way, and coordinate the parts of the machine to obtain a desiderated overall behaviour is an hard task. Often, this is the case in large scale systems, organized in a modular and distributed manner. Even if the success of a modern AMS from a functional and behavioural point of view is still to attribute to the design choices operated in the definition of the mechanical structure and electrical electronic architecture, the system that governs the control of the plant is becoming crucial, because of the large number of duties associated to it. Apart from the activity inherent to the automation of themachine cycles, the supervisory system is called to perform other main functions such as: emulating the behaviour of traditional mechanical members thus allowing a drastic constructive simplification of the machine and a crucial functional flexibility; dynamically adapting the control strategies according to the different productive needs and to the different operational scenarios; obtaining a high quality of the final product through the verification of the correctness of the processing; addressing the operator devoted to themachine to promptly and carefully take the actions devoted to establish or restore the optimal operating conditions; managing in real time information on diagnostics, as a support of the maintenance operations of the machine. The kind of facilities that designers can directly find on themarket, in terms of software component libraries provides in fact an adequate support as regard the implementation of either top-level or bottom-level functionalities, typically pertaining to the domains of user-friendly HMIs, closed-loop regulation and motion control, fieldbus-based interconnection of remote smart devices. What is still lacking is a reference framework comprising a comprehensive set of highly reusable logic control components that, focussing on the cross-cutting functionalities characterizing the automation domain, may help the designers in the process of modelling and structuring their applications according to the specific needs. Historically, the design and verification process for complex automated industrial systems is performed in empirical way, without a clear distinction between functional and technological-implementation concepts and without a systematic method to organically deal with the complete system. Traditionally, in the field of analog and digital control design and verification through formal and simulation tools have been adopted since a long time ago, at least for multivariable and/or nonlinear controllers for complex time-driven dynamics as in the fields of vehicles, aircrafts, robots, electric drives and complex power electronics equipments. Moving to the field of logic control, typical for industrial manufacturing automation, the design and verification process is approached in a completely different way, usually very “unstructured”. No clear distinction between functions and implementations, between functional architectures and technological architectures and platforms is considered. Probably this difference is due to the different “dynamical framework”of logic control with respect to analog/digital control. As a matter of facts, in logic control discrete-events dynamics replace time-driven dynamics; hence most of the formal and mathematical tools of analog/digital control cannot be directly migrated to logic control to enlighten the distinction between functions and implementations. In addition, in the common view of application technicians, logic control design is strictly connected to the adopted implementation technology (relays in the past, software nowadays), leading again to a deep confusion among functional view and technological view. In Industrial automation software engineering, concepts as modularity, encapsulation, composability and reusability are strongly emphasized and profitably realized in the so-calledobject-oriented methodologies. Industrial automation is receiving lately this approach, as testified by some IEC standards IEC 611313, IEC 61499 which have been considered in commercial products only recently. On the other hand, in the scientific and technical literature many contributions have been already proposed to establish a suitable modelling framework for industrial automation. During last years it was possible to note a considerable growth in the exploitation of innovative concepts and technologies from ICT world in industrial automation systems. For what concerns the logic control design, Model Based Design (MBD) is being imported in industrial automation from software engineering field. Another key-point in industrial automated systems is the growth of requirements in terms of availability, reliability and safety for technological systems. In other words, the control system should not only deal with the nominal behaviour, but should also deal with other important duties, such as diagnosis and faults isolations, recovery and safety management. Indeed, together with high performance, in complex systems fault occurrences increase. This is a consequence of the fact that, as it typically occurs in reliable mechatronic systems, in complex systems such as AMS, together with reliable mechanical elements, an increasing number of electronic devices are also present, that are more vulnerable by their own nature. The diagnosis problem and the faults isolation in a generic dynamical system consists in the design of an elaboration unit that, appropriately processing the inputs and outputs of the dynamical system, is also capable of detecting incipient faults on the plant devices, reconfiguring the control system so as to guarantee satisfactory performance. The designer should be able to formally verify the product, certifying that, in its final implementation, it will perform itsrequired function guarantying the desired level of reliability and safety; the next step is that of preventing faults and eventually reconfiguring the control system so that faults are tolerated. On this topic an important improvement to formal verification of logic control, fault diagnosis and fault tolerant control results derive from Discrete Event Systems theory. The aimof this work is to define a design pattern and a control architecture to help the designer of control logic in industrial automated systems. The work starts with a brief discussion on main characteristics and description of industrial automated systems on Chapter 1. In Chapter 2 a survey on the state of the software engineering paradigm applied to industrial automation is discussed. Chapter 3 presentes a architecture for industrial automated systems based on the new concept of Generalized Actuator showing its benefits, while in Chapter 4 this architecture is refined using a novel entity, the Generalized Device in order to have a better reusability and modularity of the control logic. In Chapter 5 a new approach will be present based on Discrete Event Systems for the problemof software formal verification and an active fault tolerant control architecture using online diagnostic. Finally conclusive remarks and some ideas on new directions to explore are given. In Appendix A are briefly reported some concepts and results about Discrete Event Systems which should help the reader in understanding some crucial points in chapter 5; while in Appendix B an overview on the experimental testbed of the Laboratory of Automation of University of Bologna, is reported to validated the approach presented in chapter 3, chapter 4 and chapter 5. In Appendix C some components model used in chapter 5 for formal verification are reported.

Physical model of PD behavior and relevant damage growth from micro-cavities in polyethylene-based material under AC voltage

In the framework of developing defect-based life models, in which breakdown is explicitly associated with partial discharge (PD)-induced damage growth from a defect, ageing tests and PD measurements were carried out in the lab on polyethylene (PE) layered specimens containing artificial cavities. PD activity was monitored continuously during aging. A quasi-deterministic series of stages can be observed in the behavior of the main PD parameters (i.e. discharge repetition rate and amplitude). Phase-resolved PD patterns at various ageing stages were reproduced by numerical simulation which is based on a physical discharge model devoid of adaptive parameters. The evolution of the simulation parameters provides insight into the physical-chemical changes taking place at the dielectric/cavity interface during the aging process. PD activity shows similar time behavior under constant cavity gas volume and constant cavity gas pressure conditions, suggesting that the variation of PD parameters may not be attributed to the variation of the gas pressure. Brownish PD byproducts, consisting of oxygen containing moieties, and degradation pits were found at the dielectric/cavity interface. It is speculated that the change of PD activity is related to the composition of the cavity gas, as well as to the properties of dielectric/cavity interface.

New polymeric materials for vascular surgery

The dramatic impact that vascular diseases have on human life quality and expectancy nowadays is the reason why both medical and scientific communities put great effort in discovering new and effective ways to fight vascular pathologies. Among the many different treatments, endovascular surgery is a minimally-invasive technique that makes use of X-ray fluoroscopy to obtain real-time images of the patient during interventions. In this context radiopaque biomaterials, i.e. materials able to absorb X-ray radiation, play a fundamental role as they are employed both to enhance visibility of devices during interventions and to protect medical staff and patients from X-ray radiations. Organic-inorganic hybrids are materials that combine characteristics of organic polymers with those of inorganic metal oxides. These materials can be synthesized via the sol-gel process and can be easily applied as thin coatings on different kinds of substrates. Good radiopacity of organic-inorganic hybrids has been recently reported suggesting that these materials might find applications in medical fields where X-ray absorption and visibility is required. The present PhD thesis aimed at developing and characterizing new radiopaque organic-inorganic hybrid materials that can find application in the vascular surgery field as coatings for the improvement of medical devices traceability as well as for the production of X-ray shielding objects and garments. Novel organic-inorganic hybrids based on different polyesters (poly-lactic acid and poly-ε-caprolactone) and polycarbonate (poly-trimethylene carbonate) as the polymeric phase and on titanium oxide as the inorganic phase were synthesized. Study of the phase interactions in these materials allowed to demonstrate that Class II hybrids (where covalent bonds exists between the two phases) can be obtained starting from any kind of polyester or polycarbonate, without the need of polymer pre-functionalization, thanks to the occurrence of transesterification reactions operated by inorganic molecules on ester and carbonate moieties. Polyester based hybrids were successfully coated via dip coating on different kinds of textiles. Coated textiles showed improved radiopacity with respect to the plain fabric while remaining soft to the touch. The hybrid was able to coat single fibers of the yarn rather than coating the yarn as a whole. Openings between yarns were maintained and therefore fabric breathability was preserved. Such coatings are promising for the production of light-weight garments for X-ray protection of medical staff during interventional fluoroscopy, which will help preventing pathologies that stem from chronic X-ray exposure. A means to increase the protection capacity of hybrid-coated fabrics was also investigated and implemented in this thesis. By synthesizing the hybrid in the presence of a suspension of radiopaque tantalum nanoparticles, PDMS-titania hybrid materials with tunable radiopacity were developed and were successfully applied as coatings. A solution for enhancing medical device radiopacity was also successfully investigated. High metal radiopacity was associated with good mechanical and protective properties of organic-inorganic hybrids in the form of a double-layer coating. Tantalum was employed as the constituent of the first layer deposited on sample substrates by means of a sputtering technique. The second layer was composed of a hybrid whose constituents are well-known biocompatible organic and inorganic components, such as the two polymers PCL and PDMS, and titanium oxide, respectively. The metallic layer conferred to the substrate good X-ray visibility. A correlation between radiopacity and coating thickness derived during this study allows to tailor radiopacity simply by controlling the metal layer sputtering deposition time. The applied metal deposition technique also permits easy shaping of the radiopaque layer, allowing production of radiopaque markers for medical devices that can be unambiguously identified by surgeons during implantation and in subsequent radiological investigations. Synthesized PCL-titania and PDMS-titania hybrids strongly adhered to substrates and show good biocompatibility as highlighted by cytotoxicity tests. The PDMS-titania hybrid coating was also characterized by high flexibility that allows it to stand large substrate deformations without detaching nor cracking, thus being suitable for application on flexible medical devices.

Performance evaluation of detectors for digital radiography

To date the hospital radiological workflow is completing a transition from analog to digital technology. Since the X-rays digital detection technologies have become mature, hospitals are trading on the natural devices turnover to replace the conventional screen film devices with digital ones. The transition process is complex and involves not just the equipment replacement but also new arrangements for image transmission, display (and reporting) and storage. This work is focused on 2D digital detector’s characterization with a concern to specific clinical application; the systems features linked to the image quality are analyzed to assess the clinical performances, the conversion efficiency, and the minimum dose necessary to get an acceptable image. The first section overviews the digital detector technologies focusing on the recent and promising technological developments. The second section contains a description of the characterization methods considered in this thesis categorized in physical, psychophysical and clinical; theory, models and procedures are described as well. The third section contains a set of characterizations performed on new equipments that appears to be some of the most advanced technologies available to date. The fourth section deals with some procedures and schemes employed for quality assurance programs.

Hsp90 characterization and inhibition: a multi-methodological study

Many physiological and pathological processes are mediated by the activity of proteins assembled in homo and/or hetero-oligomers. The correct recognition and association of these proteins into a functional complex is a key step determining the fate of the whole pathway. This has led to an increasing interest in selecting molecules able to modulate/inhibit these protein-protein interactions. In particular, our research was focused on Heat Shock Protein 90 (Hsp90), responsible for the activation and maturation and disposition of many client proteins [1], [2] [3]. Circular Dichroism (CD) spectroscopy, Surface Plasmon Resonance (SPR) and Affinity Capillary Electrophoresis (ACE) were used to characterize the Hsp90 target and, furthermore, its inhibition process via C-terminal domain driven by the small molecule Coumermycin A1. Circular Dichroism was used as powerful technique to characterize Hsp90 and its co-chaperone Hop in solution for secondary structure content, stability to different pHs, temperatures and solvents. Furthermore, CD was used to characterize ATP but, unfortunately, we were not able to monitor an interaction between ATP and Hsp90. The utility of SPR technology, on the other hand, arises from the possibility of immobilizing the protein on a chip through its N-terminal domain to later study the interaction with small molecules able to disrupt the Hsp90 dimerization on the C-terminal domain. The protein was attached on SPR chip using the “amine coupling” chemistry so that the C-terminal domain was free to interact with Coumermycin A1. The goal of the experiment was achieved by testing a range of concentrations of the small molecule Coumermycin A1. Despite to the large difference in the molecular weight of the protein (90KDa) and the drug (1110.08 Da), we were able to calculate the affinity constant of the interaction that was found to be 11.2 µm. In order to confirm the binding constant calculated for the Hsp90 on the chip, we decided to use Capillary Electrophoresis to test the Coumermycin binding to Hsp90. First, this technique was conveniently used to characterize the Hsp90 sample in terms of composition and purity. The experimental conditions were settled on two different systems, the bared fused silica and the PVA-coated capillary. We were able to characterize the Hsp90 sample in both systems. Furthermore, we employed an application of capillary electrophoresis, the Affinity Capillary Electrophoresis (ACE), to measure and confirm the binding constant calculated for Coumermycin on Optical Biosensor. We found a KD = 19.45 µM. This result compares favorably with the KD previously obtained on biosensor. This is a promising result for the use of our novel approach to screen new potential inhibitors of Hsp90 C-terminal domain.

Pervasive Sensing in Future Networks

Pervasive Sensing is a recent research trend that aims at providing widespread computing and sensing capabilities to enable the creation of smart environments that can sense, process, and act by considering input coming from both people and devices. The capabilities necessary for Pervasive Sensing are nowadays available on a plethora of devices, from embedded devices to PCs and smartphones. The wide availability of new devices and the large amount of data they can access enable a wide range of novel services in different areas, spanning from simple data collection systems to socially-aware collaborative filtering. However, the strong heterogeneity and unreliability of devices and sensors poses significant challenges. So far, existing works on Pervasive Sensing have focused only on limited portions of the whole stack of available devices and data that they can use, to propose and develop mainly vertical solutions. The push from academia and industry for this kind of services shows that time is mature for a more general support framework for Pervasive Sensing solutions able to enhance frail architectures, promote a well balanced usage of resources on different devices, and enable the widest possible access to sensed data, while ensuring a minimal energy consumption on battery-operated devices. This thesis focuses on pervasive sensing systems to extract design guidelines as foundation of a comprehensive reference model for multi-tier Pervasive Sensing applications. The validity of the proposed model is tested in five different scenarios that present peculiar and different requirements, and different hardware and sensors. The ease of mapping from the proposed logical model to the real implementations and the positive performance result campaigns prove the quality of the proposed approach and offer a reliable reference model, together with a direction for the design and deployment of future Pervasive Sensing applications.

Many-Core Architectures: Hardware-Software Optimization and Modeling Techniques

During the last few decades an unprecedented technological growth has been at the center of the embedded systems design paramount, with Moore’s Law being the leading factor of this trend. Today in fact an ever increasing number of cores can be integrated on the same die, marking the transition from state-of-the-art multi-core chips to the new many-core design paradigm. Despite the extraordinarily high computing power, the complexity of many-core chips opens the door to several challenges. As a result of the increased silicon density of modern Systems-on-a-Chip (SoC), the design space exploration needed to find the best design has exploded and hardware designers are in fact facing the problem of a huge design space. Virtual Platforms have always been used to enable hardware-software co-design, but today they are facing with the huge complexity of both hardware and software systems. In this thesis two different research works on Virtual Platforms are presented: the first one is intended for the hardware developer, to easily allow complex cycle accurate simulations of many-core SoCs. The second work exploits the parallel computing power of off-the-shelf General Purpose Graphics Processing Units (GPGPUs), with the goal of an increased simulation speed. The term Virtualization can be used in the context of many-core systems not only to refer to the aforementioned hardware emulation tools (Virtual Platforms), but also for two other main purposes: 1) to help the programmer to achieve the maximum possible performance of an application, by hiding the complexity of the underlying hardware. 2) to efficiently exploit the high parallel hardware of many-core chips in environments with multiple active Virtual Machines. This thesis is focused on virtualization techniques with the goal to mitigate, and overtake when possible, some of the challenges introduced by the many-core design paradigm.