Acesso remoto seguro de experimentação em tempo real

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

Utilização do protocolo anycast em ambientes virtuais distribuídos visando à escalabilidade do sistema

Distributed Virtual Environments (DVE) allow multiple users interact with a virtual world by sharing, manipulating objects. Each user has his/her own vision of this world and every changes of state of the environment are distributed among other users. Due to technological constraints, most systems for distributed virtual environments support a limited number of users. The major limitation for development of DVE scale are imposed by the communication system. As the number of users grows, the amount of bandwidth required to exchange information in real time among stations to upgrade the environment and keep it in a consistent state for all connected users. Based on this situation is proposed a framework that uses the protocol anycast in the application layer that provides a load balancing among servers in the region and aims at reducing the latency of message delivery between participants selecting the DVE server best suited for the region participant to connect to the environment

Análise do programa de aquisição de alimentos (PAA) - modalidade compra com doação simultânea: O caso do assentamento Estrela da Ilha, em Ilha Solteira-SP

Pós-graduação em Agronomia - FEIS

Costs and benefits of reproducing under unfavorable conditions: an integrated view of ecological and physiological constraints in a cerrado shrub

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Partitioning the relative contribution of one-phase and two-phase seed dispersal when evaluating seed dispersal effectiveness

Seed dispersal effectiveness (SDE) is a conceptual framework that aims at quantifying the contribution of seed dispersal vectors to plant fitness. While it is well recognized that diplochorous dispersal systems, characterized by two successive dispersal steps performed by two different vectors (Phase I=primary seed dispersal and Phase II=secondary seed dispersal) which are common in temperate and tropical regions, little attention has been given to distinguishing the relative contribution of one-phase and two-phase dispersal to overall SDE. This conceptual gap probably results from the lack of a clear methodology to include Phase II dispersal into the calculation of SDE and to quantify its relative contribution. We propose a method to evaluate the relative contribution of one-phase and two-phase dispersal to SDE and determine whether two seed dispersers are better than one. To do so, we used the SDE landscape and an extension of the SDE landscape, the Phase II effect landscape, which measures the direction and magnitude of the Phase II dispersal effect on overall SDE. We used simulated and empirical data from a diplochorous dispersal system in the Peruvian Amazon to illustrate this new approach. Our approach provides the relative contribution of one-phase SDE (SDE1) and two-phase SDE (SDE2) to overall SDE and quantifies how much SDE changes with the addition of Phase II dispersal. Considering that the seed dispersal process is context dependent so that Phase II depends on Phase I, we predict the possible range of variation of SDE according to the variation of the probability of Phase II dispersal. In our specific study system composed of two primate species as primary dispersal vectors and different species of dung beetles as secondary dispersal vectors, the relative contribution of SDE1 and SDE2 to overall SDE varied between plant species. We discuss the context dependency of the Phase II dispersal and the potential applications of our approach. This extension to the conceptual framework of SDE enables quantitative evaluation of the effect of Phase II dispersal on plant fitness and can be easily adapted to other biotic and/or abiotic diplochorous dispersal systems.

O mestrado profissional na área de ensino de Ciências e Matemática: alguns esclarecimentos

This paper, elaborated from documents created and used in the last years by the commissions and coordinations of the Science and Mathematics Teaching CAPES/MEC (Coordination of Improvement of Higher Education Personnel/Ministry of Education) Area, brings some explanations regarding the professional master’s degree in Science and Mathematics Teaching. This kind of master’s program is an innovation in Brazil and may contribute significantly to the improvement of science and mathematics teaching in the country. It may also stimulate the development of similar proposals in other Latin-American countries.

A direct D-bar reconstruction algorithm for recovering a complex conductivity in 2D

A direct reconstruction algorithm for complex conductivities in W-2,W-infinity(Omega), where Omega is a bounded, simply connected Lipschitz domain in R-2, is presented. The framework is based on the uniqueness proof by Francini (2000 Inverse Problems 6 107-19), but equations relating the Dirichlet-to-Neumann to the scattering transform and the exponentially growing solutions are not present in that work, and are derived here. The algorithm constitutes the first D-bar method for the reconstruction of conductivities and permittivities in two dimensions. Reconstructions of numerically simulated chest phantoms with discontinuities at the organ boundaries are included.

REALISTIC IVUS IMAGE GENERATION IN DIFFERENT INTRALUMINAL PRESSURES

Intravascular ultrasound (IVUS) phantoms are important to calibrate and evaluate many IVUS imaging processing tasks. However, phantom generation is never the primary focus of related works; hence, it cannot be well covered, and is usually based on more than one platform, which may not be accessible to investigators. Therefore, we present a framework for creating representative IVUS phantoms, for different intraluminal pressures, based on the finite element method and Field II. First, a coronary cross-section model is selected. Second, the coronary regions are identified to apply the properties. Third, the corresponding mesh is generated. Fourth, the intraluminal force is applied and the deformation computed. Finally, the speckle noise is incorporated. The framework was tested taking into account IVUS contrast, noise and strains. The outcomes are in line with related studies and expected values. Moreover, the framework toolbox is freely accessible and fully implemented in a single platform. (E-mail: fernando.okara@gmail.com) (c) 2012 World Federation for Ultrasound in Medicine & Biology.

A Reappraisal in Sao Paulo, Brazil (2008) of "The Ecology of Medical Care:" The "One Per Thousand's Rule"

BACKGROUND AND OBJECTIVES: Medical ecology is a conceptual framework introduced in 1961 to describe the relationship and utilization of health care services by a given population. We applied this conception to individuals enrolled in a private health maintenance organization (HMO) in Sao Paulo, Brazil, with the aim of describing the utilization of primary health care, verifying the frequency of various symptoms, and identifying the roles of different health care sources. METHODS: This was a cross-sectional telephone survey among a random sample of people enrolled in a private HMO. We interviewed a random sample of non-pregnant adults over age 18 using 10 questions about symptoms and health care use during the month prior to interview. RESULTS: The final sample consisted of 1,065 participants (mean age 68 years, 68% female). From this sample, 424 (39.8%) reported the presence of symptoms, 311 (29.2%) had a medical office consult, 104 (9.8%) went directly to an emergency medical department, 63 (5.9%) were hospitalized, 22 (2.1%) used complementary medicine resources, seven (0.7%) were referred to home care, and one (0.1%) was admitted to an academic hospital. CONCLUSIONS: The proportion of study participants referred to an academic care center was similar to that observed in previous "medical ecology" studies in different populations.

Tb3+-> Eu3+ Energy Transfer in Mixed-Lanthanide-Organic Frameworks

In this work, we report a theoretical and experimental investigation of the energy transfer mechanism in two isotypical 2D coordination polymers, (infinity)[(Tb1-xEux)(DPA)(HDPA)], where H(2)DPA is pyridine 2,6-dicarboxylic acid and x = 0.05 or 0.50. Emission spectra of (infinity)[(Tb0.95Eu0.05)(DPA)(HDPA)] and (infinity)[(Tb0.5Eu0.5)(DPA)(HDPA)], (I) and (2), show that the high quenching effect on Tb3+ emission caused by Eu3+ ion indicates an efficient Tb3+-> Eu3+ energy transfer (ET). The k(ET) of Tb3+-> Eu3+ ET and rise rates (k(r)) of Eu3+ as a function of temperature for (1) are on the same order of magnitude, indicating that the sensitization of the Eu3+5D0 level is highly fed by ET from the D-5(4) level of Tb3+ ion. The eta(ET) and R-0 values vary in the 67-79% and 7.15 to 7.93 angstrom ranges. Hence, Tb3+ is enabled to transfer efficiently to Eu3+ that can occupy the possible sites at 6.32 and 6.75 angstrom. For (2), the ET processes occur on average with eta(ET) and R-0 of 97% and 31 angstrom, respectively. Consequently, Tb3+ ion is enabled to transfer energy to Eu3+ localized at different layers. The theoretical model developed by Malta was implemented aiming to insert more insights about the dominant mechanisms involved in the ET between lanthanides ions. Calculated single Tb3+-> Eu3+ ETs are three orders of magnitude inferior to those experimentally; however, it can be explained by the theoretical model that does not consider the role of phonon assistance in the Ln(3+)-> Ln(3+) ET processes. In addition, the Tb3+-> Eu3+ ET processes are predominantly governed by dipole-dipole (d-d) and dipole-quadrupole (d-q) mechanisms.

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.

Plasticity in body and peripersonal space representations

A successful interaction with objects in the environment requires integrating information concerning object-location with the shape, dimension and position of body parts in space. The former information is coded in a multisensory representation of the space around the body, i.e. peripersonal space (PPS), whereas the latter is enabled by an online, constantly updated, action-orientated multisensory representation of the body (BR) that is critical for action. One of the critical features of these representations is that both PPS and BR are not fixed, but they dynamically change depending on different types of experience. In a series of experiment, I studied plastic properties of PPS and BR in humans. I have developed a series of methods to measure the boundaries of PPS representation (Chapter 4), to study its neural correlates (Chapter 3) and to assess BRs. These tasks have been used to study changes in PPS and BR following tool-use (Chapter 5), multisensory stimulation (Chapter 6), amputation and prosthesis implantation (Chapter 7) or social interaction (Chapter 8). I found that changes in the function (tool-use) and the structure (amputation and prosthesis implantation) of the physical body elongate or shrink both PPS and BR. Social context and social interaction also shape PPS representation. Such high degree of plasticity suggests that our sense of body in space is not given at once, but it is constantly constructed and adapted through experience.

Social housing: interventions of densification in urban regeneration (1995-2010). Critical analysis of strategies adopted in Milan, London, São Paulo

The prospect of the continuous multiplication of life styles, the obsolescence of the traditional typological diagrams, the usability of spaces on different territorial scales, imposes on contemporary architecture the search for new models of living. Limited densities in urban development have produced the erosion of territory, the increase of the harmful emissions and energy consumption. High density housing cannot refuse the social emergency to ensure high quality and low cost dwellings, to a new people target: students, temporary workers, key workers, foreign, young couples without children, large families and, in general, people who carry out public services. Social housing strategies have become particularly relevant in regenerating high density urban outskirts. The choice of this research topic derives from the desire to deal with the recent accommodation emergency, according to different perspectives, with a view to give a contribution to the current literature, by proposing some tools for a correct design of the social housing, by ensuring good quality, cost-effective, and eco-sustainable solutions, from the concept phase, through management and maintenance, until the end of the building life cycle. The purpose of the thesis is defining a framework of guidelines that become effective instruments to be used in designing the social housing. They should also integrate the existing regulations and are mainly thought for those who work in this sector. They would aim at supporting students who have to cope with this particular residential theme, and also the users themselves. The scientific evidence of either the recent specialized literature or the solutions adopted in some case studies within the selected metropolitan areas of Milan, London and São Paulo, it is possible to identify the principles of this new design approach, in which the connection between typology, morphology and technology pursues the goal of a high living standard.

Influence of defects and disorder on anomalous Hall effect and spin Seebeck effect on permalloy and Heusler compounds

In dieser Arbeit wurden dünne Schichten von Heusler-Verbindungen hergestellt und auf ihre Transporteigenschaften hin untersucht.rnDer Anomale Hall-Effekt (AHE) ist dabei von besonderem Interesse. Er ist ein seit langer Zeit bekannter, jedoch noch nicht vollständig verstandener Transport-Effekt. Die meisten Veröffentlichungen theoretischer Arbeiten konzentrieren sich auf den Einfluss eines bestimmten Beitrags zum AHE. Tatsächlich gemessene experimentelle Daten können jedoch oft nicht in Einklang mit idealisierten Annahmen gebracht werden. rnDie vorliegende Arbeit diskutiert die Ergebnisse, welche aus Messungen von Materialien mit niedrigem Restwiderstand erhalten wurden. rnrnAls prototypische Materialien wurden hier hyphenation Heusler-Verbindungen untersucht. Als Material mit einer komplexen Topologie der Fermi-Fläche zeichnet sich dort der Einfluss von Defekten und der Unordnung der Kristallstruktur deutlich ab.rnrnDurch Verwendung von Filmen mit unterschiedlichem Grad der Unordnung können verschiedene Streumechanismen unterschieden werden. Für Co$_{2}$FeSi$_{0.6}$Al$_{0.4}$ and Co$_{2}$FeGa$_{0.5}$Ge$_{0.5}$ zeigt sich ein positiver AHE bei einer Unordnung vom Typ B2 und bei einer induzierten temperaturabh"angigen Streuung, wo hingegen eine Typ DO$_{3}$-Unordnung zusammen mit anderen möglichen intrinsischen Beiträgen einen negativen Effekt hervorruft.rnrnDarüber hinaus wurden die magneto-optische Kerr-Effekte (MOKE) dieser Verbindungen untersucht. Hierfür wurden Beiträge erster Ordnung als Funktion der intrinsischen und extrinsischen Parameter qualitativ analysiert. Auf den Einfluss der kristallinen Ordnung auf Beiträge zweiter Ordnung des MOKE-Signals wird ebenfalls eingegangen.rnrnDes Weiteren wurden dünne Schichten der Heusler-Verbindung Co$_{2}$MnAl auf MgO- und Si-Subs-traten (beide (100)) mit Hochfrequenz-Mag-netron-Sputtern erzeugt. Die zusammensetzung sowie die magnetischen und Transport-Eigenschaften wurden hinsichtlich unterschiedlicher Abscheidebedingungen systematisch untersucht.rnrnInsbesondere zeigt der AHE-Widerstand ein außerordentliches temperaturunabhängiges Verhalten in einem Bereich moderater Magnetfeldstärken von 0 bis 0.6,T. Hierf"ur wurde der nicht-diagonale Transport bei Temperaturen bis zu 300,$^{circ}$C analysiert. Die Daten zeigen die Eignung des Materials für Hall-Sensoren auch oberhalb der Raumtemperatur.rnrnJüngst wurde der Spin Seebeck-Effekt (SSE) entdeckt. Der Effekt aus dem Bereich der Spin-Kaloritronik erzeugt eine Spin-Spannung'' aufgrund eines Temperaturgradienten in magnetischen Materialien. Hier werden vorläufige Messungen des SSE in Ni$_{80}$Fe$_{20}$ und in Heusler-Verbindungen präsentiert.rn

Implementazione su fpga di un pre-distorsore digitale a banda larga per sistemi a microonde di backhaul

The development of next generation microwave technology for backhauling systems is driven by an increasing capacity demand. In order to provide higher data rates and throughputs over a point-to-point link, a cost-effective performance improvement is enabled by an enhanced energy-efficiency of the transmit power amplification stage, whereas a combination of spectrally efficient modulation formats and wider bandwidths is supported by amplifiers that fulfil strict constraints in terms of linearity. An optimal trade-off between these conflicting requirements can be achieved by resorting to flexible digital signal processing techniques at baseband. In such a scenario, the adaptive digital pre-distortion is a well-known linearization method, that comes up to be a potentially widely-used solution since it can be easily integrated into base stations. Its operation can effectively compensate for the inter-modulation distortion introduced by the power amplifier, keeping up with the frequency-dependent time-varying behaviour of the relative nonlinear characteristic. In particular, the impact of the memory effects become more relevant and their equalisation become more challenging as the input discrete signal feature a wider bandwidth and a faster envelope to pre-distort. This thesis project involves the research, design and simulation a pre-distorter implementation at RTL based on a novel polyphase architecture, which makes it capable of operating over very wideband signals at a sampling rate that complies with the actual available clock speed of current digital devices. The motivation behind this structure is to carry out a feasible pre-distortion for the multi-band spectrally efficient complex signals carrying multiple channels that are going to be transmitted in near future high capacity and reliability microwave backhaul links.