910 resultados para Art in literature.


Relevância:

90.00% 90.00%

Publicador:

Resumo:

The ever-increasing spread of automation in industry puts the electrical engineer in a central role as a promoter of technological development in a sector such as the use of electricity, which is the basis of all the machinery and productive processes. Moreover the spread of drives for motor control and static converters with structures ever more complex, places the electrical engineer to face new challenges whose solution has as critical elements in the implementation of digital control techniques with the requirements of inexpensiveness and efficiency of the final product. The successfully application of solutions using non-conventional static converters awake an increasing interest in science and industry due to the promising opportunities. However, in the same time, new problems emerge whose solution is still under study and debate in the scientific community During the Ph.D. course several themes have been developed that, while obtaining the recent and growing interest of scientific community, have much space for the development of research activity and for industrial applications. The first area of research is related to the control of three phase induction motors with high dynamic performance and the sensorless control in the high speed range. The management of the operation of induction machine without position or speed sensors awakes interest in the industrial world due to the increased reliability and robustness of this solution combined with a lower cost of production and purchase of this technology compared to the others available in the market. During this dissertation control techniques will be proposed which are able to exploit the total dc link voltage and at the same time capable to exploit the maximum torque capability in whole speed range with good dynamic performance. The proposed solution preserves the simplicity of tuning of the regulators. Furthermore, in order to validate the effectiveness of presented solution, it is assessed in terms of performance and complexity and compared to two other algorithm presented in literature. The feasibility of the proposed algorithm is also tested on induction motor drive fed by a matrix converter. Another important research area is connected to the development of technology for vehicular applications. In this field the dynamic performances and the low power consumption is one of most important goals for an effective algorithm. Towards this direction, a control scheme for induction motor that integrates within a coherent solution some of the features that are commonly required to an electric vehicle drive is presented. The main features of the proposed control scheme are the capability to exploit the maximum torque in the whole speed range, a weak dependence on the motor parameters, a good robustness against the variations of the dc-link voltage and, whenever possible, the maximum efficiency. The second part of this dissertation is dedicated to the multi-phase systems. This technology, in fact, is characterized by a number of issues worthy of investigation that make it competitive with other technologies already on the market. Multiphase systems, allow to redistribute power at a higher number of phases, thus making possible the construction of electronic converters which otherwise would be very difficult to achieve due to the limits of present power electronics. Multiphase drives have an intrinsic reliability given by the possibility that a fault of a phase, caused by the possible failure of a component of the converter, can be solved without inefficiency of the machine or application of a pulsating torque. The control of the magnetic field spatial harmonics in the air-gap with order higher than one allows to reduce torque noise and to obtain high torque density motor and multi-motor applications. In one of the next chapters a control scheme able to increase the motor torque by adding a third harmonic component to the air-gap magnetic field will be presented. Above the base speed the control system reduces the motor flux in such a way to ensure the maximum torque capability. The presented analysis considers the drive constrains and shows how these limits modify the motor performance. The multi-motor applications are described by a well-defined number of multiphase machines, having series connected stator windings, with an opportune permutation of the phases these machines can be independently controlled with a single multi-phase inverter. In this dissertation this solution will be presented and an electric drive consisting of two five-phase PM tubular actuators fed by a single five-phase inverter will be presented. Finally the modulation strategies for a multi-phase inverter will be illustrated. The problem of the space vector modulation of multiphase inverters with an odd number of phases is solved in different way. An algorithmic approach and a look-up table solution will be proposed. The inverter output voltage capability will be investigated, showing that the proposed modulation strategy is able to fully exploit the dc input voltage either in sinusoidal or non-sinusoidal operating conditions. All this aspects are considered in the next chapters. In particular, Chapter 1 summarizes the mathematical model of induction motor. The Chapter 2 is a brief state of art on three-phase inverter. Chapter 3 proposes a stator flux vector control for a three- phase induction machine and compares this solution with two other algorithms presented in literature. Furthermore, in the same chapter, a complete electric drive based on matrix converter is presented. In Chapter 4 a control strategy suitable for electric vehicles is illustrated. Chapter 5 describes the mathematical model of multi-phase induction machines whereas chapter 6 analyzes the multi-phase inverter and its modulation strategies. Chapter 7 discusses the minimization of the power losses in IGBT multi-phase inverters with carrier-based pulse width modulation. In Chapter 8 an extended stator flux vector control for a seven-phase induction motor is presented. Chapter 9 concerns the high torque density applications and in Chapter 10 different fault tolerant control strategies are analyzed. Finally, the last chapter presents a positioning multi-motor drive consisting of two PM tubular five-phase actuators fed by a single five-phase inverter.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

The aim of the thesi is to formulate a suitable Item Response Theory (IRT) based model to measure HRQoL (as latent variable) using a mixed responses questionnaire and relaxing the hypothesis of normal distributed latent variable. The new model is a combination of two models already presented in literature, that is, a latent trait model for mixed responses and an IRT model for Skew Normal latent variable. It is developed in a Bayesian framework, a Markov chain Monte Carlo procedure is used to generate samples of the posterior distribution of the parameters of interest. The proposed model is test on a questionnaire composed by 5 discrete items and one continuous to measure HRQoL in children, the EQ-5D-Y questionnaire. A large sample of children collected in the schools was used. In comparison with a model for only discrete responses and a model for mixed responses and normal latent variable, the new model has better performances, in term of deviance information criterion (DIC), chain convergences times and precision of the estimates.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

Actual trends in software development are pushing the need to face a multiplicity of diverse activities and interaction styles characterizing complex and distributed application domains, in such a way that the resulting dynamics exhibits some grade of order, i.e. in terms of evolution of the system and desired equilibrium. Autonomous agents and Multiagent Systems are argued in literature as one of the most immediate approaches for describing such a kind of challenges. Actually, agent research seems to converge towards the definition of renewed abstraction tools aimed at better capturing the new demands of open systems. Besides agents, which are assumed as autonomous entities purposing a series of design objectives, Multiagent Systems account new notions as first-class entities, aimed, above all, at modeling institutional/organizational entities, placed for normative regulation, interaction and teamwork management, as well as environmental entities, placed as resources to further support and regulate agent work. The starting point of this thesis is recognizing that both organizations and environments can be rooted in a unifying perspective. Whereas recent research in agent systems seems to account a set of diverse approaches to specifically face with at least one aspect within the above mentioned, this work aims at proposing a unifying approach where both agents and their organizations can be straightforwardly situated in properly designed working environments. In this line, this work pursues reconciliation of environments with sociality, social interaction with environment based interaction, environmental resources with organizational functionalities with the aim to smoothly integrate the various aspects of complex and situated organizations in a coherent programming approach. Rooted in Agents and Artifacts (A&A) meta-model, which has been recently introduced both in the context of agent oriented software engineering and programming, the thesis promotes the notion of Embodied Organizations, characterized by computational infrastructures attaining a seamless integration between agents, organizations and environmental entities.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

The convergence of information technology and consumer electronics towards battery powered portable devices has increased the interest in high efficiency, low dissipation amplifiers. Class D amplifiers are the state of the art in low power consumption and high performance amplification. In this thesis we explore the possibility of exploiting nonlinearities introduced by the PWM modulation, by designing an optimized modulation law which scales its carrier frequency adaptively with the input signal's average power while preserving the SNR, thus reducing power consumption. This is achieved by means of a novel analytical model of the PWM output spectrum, which shows how interfering harmonics and their bandwidth affect the spectrum. This allows for frequency scaling with negligible aliasing between the baseband spectrum and its harmonics. We performed low noise power spectrum measurements on PWM modulations generated by comparing variable bandwidth, random test signals with a variable frequency triangular wave carrier. The experimental results show that power-optimized frequency scaling is both feasible and effective. The new analytical model also suggests a new PWM architecture that can be applied to digitally encoded input signals which are predistorted and compared with a cosine carrier, which is accurately synthesized by a digital oscillator. This approach has been simulated in a realistic noisy model and tested in our measurement setup. A zero crossing search on the obtained PWM modulation law proves that this approach yields an equivalent signal quality with respect to traditional PWM schemes, while entailing the use of signals whose bandwidth is remarkably smaller due to the use of a cosine instead of a triangular carrier.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

Ontology design and population -core aspects of semantic technologies- re- cently have become fields of great interest due to the increasing need of domain-specific knowledge bases that can boost the use of Semantic Web. For building such knowledge resources, the state of the art tools for ontology design require a lot of human work. Producing meaningful schemas and populating them with domain-specific data is in fact a very difficult and time-consuming task. Even more if the task consists in modelling knowledge at a web scale. The primary aim of this work is to investigate a novel and flexible method- ology for automatically learning ontology from textual data, lightening the human workload required for conceptualizing domain-specific knowledge and populating an extracted schema with real data, speeding up the whole ontology production process. Here computational linguistics plays a fundamental role, from automati- cally identifying facts from natural language and extracting frame of relations among recognized entities, to producing linked data with which extending existing knowledge bases or creating new ones. In the state of the art, automatic ontology learning systems are mainly based on plain-pipelined linguistics classifiers performing tasks such as Named Entity recognition, Entity resolution, Taxonomy and Relation extraction [11]. These approaches present some weaknesses, specially in capturing struc- tures through which the meaning of complex concepts is expressed [24]. Humans, in fact, tend to organize knowledge in well-defined patterns, which include participant entities and meaningful relations linking entities with each other. In literature, these structures have been called Semantic Frames by Fill- 6 Introduction more [20], or more recently as Knowledge Patterns [23]. Some NLP studies has recently shown the possibility of performing more accurate deep parsing with the ability of logically understanding the structure of discourse [7]. In this work, some of these technologies have been investigated and em- ployed to produce accurate ontology schemas. The long-term goal is to collect large amounts of semantically structured information from the web of crowds, through an automated process, in order to identify and investigate the cognitive patterns used by human to organize their knowledge.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

Pharmaceuticals are useful tools to prevent and treat human and animal diseases. Following administration, a significant fraction of pharmaceuticals is excreted unaltered into faeces and urine and may enter the aquatic ecosystem and agricultural soil through irrigation with recycled water, constituting a significant source of emerging contaminants into the environment. Understanding major factors influencing their environmental fate is consequently needed to value the risk, reduce contamination, and set up bioremediation technologies. The antiviral drug Tamiflu (oseltamivir carboxylate, OC) has received recent attention due to the potential use as a first line defence against H5N1 and H1N1 influenza viruses. Research has shown that OC is not removed during conventional wastewater treatments, thus having the potential to enter surface water bodies. A series of laboratory experiments investigated the fate and the removal of OC in surface water systems in Italy and Japan and in a municipal wastewater treatment plant. A preliminary laboratory study investigated the persistence of the active antiviral drug in water samples from an irrigation canal in northern Italy (Canale Emiliano Romagnolo). After an initial rapid decrease, OC concentration slowly decreased during the remaining incubation period. Approximately 65% of the initial OC amount remained in water at the end of the 36-day incubation period. A negligible amount of OC was lost both from sterilized water and from sterilized water/sediment samples, suggesting a significant role of microbial degradation. Stimulating microbial processes by the addition of sediments resulted in reduced OC persistence. Presence of OC (1.5 μg mL-1) did not significantly affect the metabolic potential of the water microbial population, that was estimated by glyphosate and metolachlor mineralization. In contrast, OC caused an initial transient decrease in the size of the indigenous microbial population of water samples. A second laboratory study focused on basic processes governing the environmental fate of OC in surface water from two contrasting aquatic ecosystems of northern Italy, the River Po and the Venice Lagoon. Results of this study confirmed the potential of OC to persist in surface water. However, the addition of 5% of sediments resulted in rapid OC degradation. The estimated half-life of OC in water/sediment of the River Po was 15 days. After three weeks of incubation at 20 °C, more than 8% of 14C-OC evolved as 14CO2 from water/sediment samples of the River Po and Venice Lagoon. OC was moderately retained onto coarse sediments from the two sites. In water/sediment samples of the River Po and Venice Lagoon treated with 14C-OC, more than 30% of the 14C-residues remained water-extractable after three weeks of incubation. The low affinity of OC to sediments suggests that the presence of sediments would not reduce its bioavailability to microbial degradation. Another series of laboratory experiments investigated the fate and the removal of OC in two surface water ecosystems of Japan and in the municipal wastewater treatment plant of the city of Bologna, in Northern Italy. The persistence of OC in surface water ranged from non-detectable degradation to a half-life of 53 days. After 40 days, less than 3% of radiolabeled OC evolved as 14CO2. The presence of sediments (5%) led to a significant increase of OC degradation and of mineralization rates. A more intense mineralization was observed in samples of the wastewater treatment plant when applying a long incubation period (40 days). More precisely, 76% and 37% of the initial radioactivity applied as 14C-OC was recovered as 14CO2 from samples of the biological tank and effluent water, respectively. Two bacterial strains growing on OC as sole carbon source were isolated and used for its removal from synthetic medium and environmental samples, including surface water and wastewater. Inoculation of water and wastewater samples with the two OC-degrading strains showed that mineralization of OC was significantly higher in both inoculated water and wastewater, than in uninoculated controls. Denaturing gradient gel electrophoresis and quantitative PCR analysis showed that OC would not affect the microbial population of surface water and wastewater. The capacity of the ligninolytic fungus Phanerochaete chrysosporium to degrade a wide variety of environmentally persistent xenobiotics has been largely reported in literature. In a series of laboratory experiments, the efficiency of a formulation using P. chrysosporium was evaluated for the removal of selected pharmaceuticals from wastewater samples. Addition of the fungus to samples of the wastewater treatment plant of Bologna significantly increased (P < 0.05) the removal of OC and three antibiotics, erythromycin, sulfamethoxazole, and ciprofloxacin. Similar effects were also observed in effluent water. OC was the most persistent of the four pharmaceuticals. After 30 days of incubation, approximately two times more OC was removed in bioremediated samples than in controls. The highest removal efficiency of the formulation was observed with the antibiotic ciprofloxacin. The studies included environmental aspects of soil contamination with two emerging veterinary contaminants, such as doramectin and oxibendazole, wich are common parasitic treatments in cattle farms.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

My project explores and compares different forms of gender performance in contemporary art and visual culture according to a perspective centered on photography. Thanks to its attesting power this medium can work as a ready-made. In fact during the 20th century it played a key role in the cultural emancipation of the body which (using a Michel Foucault’s expression) has now become «the zero point of the world». Through performance the body proves to be a living material of expression and communication while photography ensures the recording of any ephemeral event that happens in time and space. My questioning approach considers the gender constructed imagery from the 1990s to the present in order to investigate how photography’s strong aura of realism promotes and allows fantasies of transformation. The contemporary fascination with gender (especially for art and fashion) represents a crucial issue in the global context of postmodernity and is manifested in a variety of visual media, from photography to video and film. Moreover the internet along with its digital transmission of images has deeply affected our world (from culture to everyday life) leading to a postmodern preference for performativity over the more traditional and linear forms of narrativity. As a consequence individual borders get redefined by the skin itself which (dissected through instant vision) turns into a ductile material of mutation and hybridation in the service of identity. My critical assumptions are taken from the most relevant changes occurred in philosophy during the last two decades as a result of the contributions by Jacques Lacan, Michel Foucault, Jacques Derrida, Gilles Deleuze who developed a cross-disciplinary and comparative approach to interpret the crisis of modernity. They have profoundly influenced feminist studies so that the category of gender has been reassessed in contrast with sex (as a biological connotation) and in relation to history, culture, society. The ideal starting point of my research is the year 1990. I chose it as the approximate historical moment when the intersection of race, class and gender were placed at the forefront of international artistic production concerned with identity, diversity and globalization. Such issues had been explored throughout the 1970s but it was only from the mid-1980s onward that they began to be articulated more consistently. Published in 1990, the book "Gender trouble: feminism and the subversion of identity" by Judith Butler marked an important breakthrough by linking gender to performance as well as investigating the intricate connections between theory and practice, embodiment and representation. It inspired subsequent research in a variety of disciplines, art history included. In the same year Teresa de Lauretis launched the definition of queer theory to challenge the academic perspective in gay and lesbian studies. In the meantime the rise of Third Wave Feminism in the US introduced a racially and sexually inclusive vision over the global situation in order to reflect on subjectivity, new technologies and popular culture in connection with gender representation. These conceptual tools have enabled prolific readings of contemporary cultural production whether fine arts or mass media. After discussing the appropriate framework of my project and taking into account the postmodern globalization of the visual, I have turned to photography to map gender representation both in art and in fashion. Therefore I have been creating an archive of images around specific topics. I decided to include fashion photography because in the 1990s this genre moved away from the paradigm of an idealized and classical beauty toward a new vernacular allied with lifestyles, art practices, pop and youth culture; as one might expect the dominant narrative modes in fashion photography are now mainly influenced by cinema and snapshot. These strategies originate story lines and interrupted narratives using models’ performance to convey a particular imagery where identity issues emerge as an essential part of fashion spectacle. Focusing on the intersections of gender identities with socially and culturally produced identities, my approach intends to underline how the fashion world has turned to current trends in art photography and in some case turned to the artists themselves. The growing fluidity of the categories that distinguish art from fashion photography represents a particularly fruitful moment of visual exchange. Varying over time the dialogue between these two fields has always been vital; nowadays it can be studied as a result of this close relationship between contemporary art world and consumer culture. Due to the saturation of postmodern imagery the feedback between art and fashion has become much more immediate and then increasingly significant for anyone who wants to investigate the construction of gender identity through performance. In addition to that a lot of magazines founded in the 1990s bridged the worlds of art and fashion because some of their designers and even editors were art-school graduates encouraging innovation. The inclusion of art within such magazines aimed at validating them as a form of art in themselves supporting a dynamic intersection for music, fashion, design and youth culture: an intersection that also contributed to create and spread different gender stereotypes. This general interest in fashion produced many exhibitions of and about fashion itself at major international venues such as the Victoria and Albert Museum in London, the Metropolitan Museum of Art and the Solomon R. Guggenheim Museum in New York. Since then this celebrated success of fashion has been regarded as a typical element of postmodern culture. Owing to that I have also based my analysis on some important exhibitions dealing with gender performance like "Féminin-Masculin" at the Centre Pompidou of Paris (1995), "Rrose is a Rrose is a Rrose. Gender performance in photography" at the Solomon R. Guggenheim Museum of New York (1997), "Global Feminisms" at the Brooklyn Museum (2007), "Female Trouble" at the Pinakothek der Moderne in München together with the workshops dedicated to "Performance: gender and identity" in June 2005 at the Tate Modern of London. Since 2003 in Italy we have had Gender Bender - an international festival held annually in Bologna - to explore the gender imagery stemming from contemporary culture. In few days this festival offers a series of events ranging from visual arts, performance, cinema, literature to conferences and music. Being aware that any method of research is neither race nor gender neutral I have traced these critical paths to question gender identity in a multicultural perspective taking account of the political implications too. In fact, if visibility may be equated with exposure, we can also read these images as points of intersection of visibility with social power. Since gender assignations rely so heavily on the visual, the postmodern dismantling of gender certainty through performance has wide-ranging effects that need to be analyzed. In some sense this practice can even contest the dominance of visual within postmodernism. My visual map in contemporary art and fashion photography includes artists like Nan Goldin, Cindy Sherman, Hellen van Meene, Rineke Dijkstra, Ed Templeton, Ryan McGinley, Anne Daems, Miwa Yanagi, Tracey Moffat, Catherine Opie, Tomoko Sawada, Vanessa Beecroft, Yasumasa Morimura, Collier Schorr among others.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

Ventricular cells are immersed in a bath of electrolytes and these ions are essential for a healthy heart and a regular rhythm. Maintaining physiological concentration of them is fundamental for reducing arrhythmias and risk of sudden cardiac death, especially in haemodialysis patients and in the heart diseases treatments. Models of electrically activity of the heart based on mathematical formulation are a part of the efforts to improve the understanding and prediction of heart behaviour. Modern models incorporate the extensive and ever increasing amounts of experimental data in incorporating biophysically detailed mechanisms to allow the detailed study of molecular and subcellular mechanisms of heart disease. The goal of this project was to simulate the effects of changes in potassium and calcium concentrations in the extracellular space between experimental data and and a description incorpored into two modern biophysically detailed models (Grandi et al. Model; O’Hara Rudy Model). Moreover the task was to analyze the changes in the ventricular electrical activity, in particular by studying the modifications on the simulated electrocardiographic signal. We used the cellular information obtained by the heart models in order to build a 1D tissue description. The fibre is composed by 165 cells, it is divided in four groups to differentiate the cell types that compound human ventricular tissue. The main results are the following: Grandi et al. (GBP) model is not even able to reproduce the correct action potential profile in hyperkalemia. Data from hospitalized patients indicates that the action potential duration (APD) should be shorter than physiological state but in this model we have the opposite. From the potassium point of view the results obtained by using O’Hara model (ORD) are in agreement with experimental data for the single cell action potential in hypokalemia and hyperkalemia, most of the currents follow the data from literature. In the 1D simulations we were able to reproduce ECGs signal in most the potassium concentrations we selected for this study and we collected data that can help physician in understanding what happens in ventricular cells during electrolyte disorder. However the model fails in the conduction of the stimulus under hyperkalemic conditions. The model emphasized the ECG modifications when the K+ is slightly more than physiological value. In the calcium setting using the ORD model we found an APD shortening in hypocalcaemia and an APD lengthening in hypercalcaemia, i.e. the opposite to experimental observation. This wrong behaviour is kept in one dimensional simulations bringing a longer QT interval in the ECG under higher [Ca2+]o conditions and vice versa. In conclusion it has highlighted that the actual ventricular models present in literature, even if they are useful in the original form, they need an improvement in the sensitivity of these two important electrolytes. We suggest an use of the GBP model with modifications introduced by Carro et al. who understood that the failure of this model is related to the Shannon et al. model (a rabbit model) from which the GBP model was built. The ORD model should be modified in the Ca2+ - dependent IcaL and in the influence of the Iks in the action potential for letting it him produce a correct action potential under different calcium concentrations. In the 1D tissue maybe a heterogeneity setting of intra and extracellular conductances for the different cell types should improve a reproduction of the ECG signal.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

Stabile organische Radikale mit zusätzlichen Funktionalitäten wie Donor/Akzepotor Eigenschaften und Ligandeneignung für Übergangsmetallkomplexierung repräsentieren eine synthetische Herausforderung beim Streben nach der Konstruktion hochdimensionaler heterospin Strukturen. In diesem Hinblick wurden acht neue Hochspinbiradikal-Moleküle zusammen mit ihren Monoradikal- Pendants in dieser Arbeit hergestellt. Die Wahl der Liganden als organische Distanzhalter der Radikaleinheiten wurde auf stickstoffhaltige Heterozyklen (Pyridin und Pyrazol) gelenkt. Diese wurden weiterhin mit den stabilen Spinträgern Nitronylnitroxid- (NN) und Iminonitroxidfragmenten (IN) dekoriert. Ihre Synthese beinhaltete mehrstufige Umsetzungen (Brominierung, Iodierung, N- und Carbaldehyd Schutzgruppen, Stille-Kupplung, Grignard Reaktion, etc.) um die Mono- und Dicarbaldehyd-heterocyclenderivate als Schlüsselvorläufer der Radikaleinheiten zu gewinnen. Die Carbaldehyd-Zwischenstufen wurden Kondensationsreaktionen mit 2,3-Dimethyl-2,3-bis(hydroxylamino)-butan unterworfen (üblicherweise in Dioxan unter Argon für ~ 7 Tage), gefolgt von der Oxidation der Bis-hydroxylimidazolidin-Vorläufer unter Phasentransferkatalyse (NaIO4/H2O). Die Radikalmoleküle wurden mit verschiedenen spektroskopischen Methoden untersucht (FT/IR, UV/Vis/ EPR etc.) und ihre Einkristalle mit Röntgenstrahlbeugung gemessen. Die UV/VIS- Lösungsspektren zeigten in einem breiten Bereich verschiedener Lösungsmittelpolaritäten keine spezifische Wechselwirkung zwischen Lösungsmittel und Radikaleinheit, während ihre Stabilitäten in protischen Lösunsgmitteln wie MeOH stark abnahmen. Als Pulver konnten sie jedoch im Kühlschrank an der Luft für eine Jahr gelagert werden, ohne sich zu zersetzen. Die spektroskopischen Fingerabdrücke der Radikale wurden eindeutig identifiziert and erschienen stark abhängig vom Typ des pi-Ringsystems an das die Spinträger gekoppelt wurden. Basierend auf diesen Informationen wurde ein schnelles Protokoll etabliert, das eine direkte Zuordnung der Art der Radikale und ihrer Anzahl ermöglicht, sowie ihre Reinheit und Verunreinigungen zu definieren. In Lösung bestätigte die Analyse der EPR Spektren der Biradikale die starke Austauschwechselwirkung J zwischen den Radikalfragmenten über die Kopplungseinheiten (J >> an, an ist die Stickstoffhyperfeinkopplungskonstante). Dies wurde weiter unterstützt durch die Beobachtungen in gefrorener Lösung über die Nullfeldaufspaltungen und verbotenen Halbfeldübergänge (Δms = 2). Die Temperaturabhängigkeiten der Δms = 2 - EPR Signale wurden bis herunter auf 4 K gemessen und das exakte Vorzeichen und die Größe von J ermittelt. Diese Arbeit unterstreicht die Möglichkeit über synthetische Chemie eine Feineinstellung der „through bond“ Austauschwechselwirkung zwischen verwandten pi- und sigma- konjugierten Heterozyklen zu erreichen, in denen der S = 1 Grundzustand angenommen wird. Zusätzlich zeigten diese Resultate, dass die Übertragung der Spinpolarisation durch verschiedene Koppler sehr effektiv war.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

Interactive theorem provers are tools designed for the certification of formal proofs developed by means of man-machine collaboration. Formal proofs obtained in this way cover a large variety of logical theories, ranging from the branches of mainstream mathematics, to the field of software verification. The border between these two worlds is marked by results in theoretical computer science and proofs related to the metatheory of programming languages. This last field, which is an obvious application of interactive theorem proving, poses nonetheless a serious challenge to the users of such tools, due both to the particularly structured way in which these proofs are constructed, and to difficulties related to the management of notions typical of programming languages like variable binding. This thesis is composed of two parts, discussing our experience in the development of the Matita interactive theorem prover and its use in the mechanization of the metatheory of programming languages. More specifically, part I covers: - the results of our effort in providing a better framework for the development of tactics for Matita, in order to make their implementation and debugging easier, also resulting in a much clearer code; - a discussion of the implementation of two tactics, providing infrastructure for the unification of constructor forms and the inversion of inductive predicates; we point out interactions between induction and inversion and provide an advancement over the state of the art. In the second part of the thesis, we focus on aspects related to the formalization of programming languages. We describe two works of ours: - a discussion of basic issues we encountered in our formalizations of part 1A of the Poplmark challenge, where we apply the extended inversion principles we implemented for Matita; - a formalization of an algebraic logical framework, posing more complex challenges, including multiple binding and a form of hereditary substitution; this work adopts, for the encoding of binding, an extension of Masahiko Sato's canonical locally named representation we designed during our visit to the Laboratory for Foundations of Computer Science at the University of Edinburgh, under the supervision of Randy Pollack.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

The present thesis illustrates the research carried out during the PhD studies in Bioengineering. The research was aimed to characterise the human bone tissue, with particular regard to the differences between cortical and trabecular bone. The bone tissue characteristics that affect its mechanical properties were verified or identified, using an experimental approach, to corroborate or refute hypotheses based on the state of the art in bone tissue biomechanics. The studies presented in the present PhD thesis were designed to investigate aspects of bone tissue biomechanics, which were in need of a more in-depth examination since the data found in the literature was contradictory or scarce. In particular, the work was focalised on the characterisation of the basic structure of the bone tissue (groups of lamellae), its composition, its spatial organisation (trabecular bone microarchitecture) and their influence on the mechanical properties. In conclusion, the present thesis integrates eight different studies on the characterisation of bone tissue. A more in-depth examination of some of the aspects of bone tissue biomechanics where the data found in the literature was contradictory or scarce was performed. Bone tissue was investigated at several scales, from its composition up to its spatial organization, to determine which parameters influence the mechanical behaviour of the tissue. It was found that although the composition and real density of bone tissue are similar, the differences in structure at different levels cause differences between the two types of bone tissue (cortical and trabecular) in mechanical properties. However, the apparent density can still be considered a good predictor of the mechanical properties of both cortical and trabecular bone. Finally, it was found that the bone tissue characteristics might change when a pathology is present, as demonstrated for OA.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

The aim of the research is to study the capacity for self-evaluation of 271 primary school student undergoing tests involving mathematics and formal reasoning. Subjects were asked to estimate the number of correct answers and subsequently to compare their performance with that of their peers. The results demonstrate that all the subjects in all tests showed a significant negative relationship among real score and self - evaluation indices. Analyzing comparative assessments, the results reported in literature by Kruger and Dunning were confirmed: poor performers tend to significantly overestimate their own performance whilst top performers tend to underestimate it. This can be interpreted as a demonstration that the accuracy of comparative self-evaluations depends on a number of variables: cognitive and metacognitive factors and aspects associated with self-representation. To verify these aspects we examined bias in self evaluation from an attributional perspective too. Our conclusion is that cognitive and metacognitive processes work as “submerged” in highly subjective representations, allowing dynamics related to safeguarding the image one has of oneself to play a role.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

The southern Apennines of Italy have been experienced several destructive earthquakes both in historic and recent times. The present day seismicity, characterized by small-to-moderate magnitude earthquakes, was used like a probe to obatin a deeper knowledge of the fault structures where the largest earthquakes occurred in the past. With the aim to infer a three dimensional seismic image both the problem of data quality and the selection of a reliable and robust tomographic inversion strategy have been faced. The data quality has been obtained to develop optimized procedures for the measurements of P- and S-wave arrival times, through the use of polarization filtering and to the application of a refined re-picking technique based on cross-correlation of waveforms. A technique of iterative tomographic inversion, linearized, damped combined with a strategy of multiscale inversion type has been adopted. The retrieved P-wave velocity model indicates the presence of a strong velocity variation along a direction orthogonal to the Apenninic chain. This variation defines two domains which are characterized by a relatively low and high velocity values. From the comparison between the inferred P-wave velocity model with a portion of a structural section available in literature, the high velocity body was correlated with the Apulia carbonatic platforms whereas the low velocity bodies was associated to the basinal deposits. The deduced Vp/Vs ratio shows that the ratio is lower than 1.8 in the shallower part of the model, while for depths ranging between 5 km and 12 km the ratio increases up to 2.1 in correspondence to the area of higher seismicity. This confirms that areas characterized by higher values are more prone to generate earthquakes as a response to the presence of fluids and higher pore-pressures.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

Die vorliegende Arbeit beschäftigte sich mit der Immobilisierung von Postmetallocenen auf einem organischen Trägermaterial für die heterogene Ethenpolymerisation. Dabei konnte gezeigt werden, dass sich mit nukleophilen Gruppen funktionalisierte Latexpartikel als Trägermaterial für empfindliche Bis(phenoxyimin)titankatalysatoren eignen. Durch geschickte Kombination aus Trägermaterial, Katalysator und Cokatalysator wurde ein Katalysatorsysteme erhalten, das ultrahochmolekulares Polyethylen mit einem Molekulargewicht Mw von bis zu 7.000.000 g/mol (GPC, PS-Standard) bei einer enger Molekulargewichtsverteilung von weniger als 3 erzeugt. Die erhaltenen Produktivitäten erreichten dabei die Anforderungen an industriellen Katalysatorsystemen. Erstaunlich war, dass nukleophile Gruppen auf den Latexpartikeln, die dafür bekannt sind, dass sie den Katalysator deaktivieren können, ein wichtige Schutzfunktion für den Titankatalysator bilden. So konnte gezeigt werden, dass Pyridingruppen auf der Oberfläche der Latexpartikel als Scavenger gegen Trimethylaluminium wirken, welches ansonsten den aktiven Titankomplex zersetzen würde. An ausgewählten Systemen auf der Basis unterschiedlicher Postmetallocene und einem Metallocen für die Ethenpolymerisation wurde durch Anwendung verschiedener Methoden das Polymerisationsverhalten der Latex-geträgerten Katalysatorsysteme untersucht. Eine Methode war die so genannte Videomikroskopie, bei der in Gasphase Ethen polymerisiert wird und so das Wachstumsverhalten der Katalysatorpartikel analysiert werden kann. In Kombination mit einer kinetischen Kontrolle des Monomerumsatzes in Suspensionspolymerisation, konnte gezeigt werden, dass die auf Latexpartikel geträgerten Katalysatorsysteme ein anderes Polymerisationsverhalten besitzen wie in der Literatur beschriebene Silica-geträgerte Katalysatoren. Dies kann auf die unterschiedliche Beschaffenheit des Trägermaterials zurückgeführt werden. Während das harte Silica-Material Monomer nur in den Poren aufnimmt und so rasch nach Beginn der Polymerisation in eine diffusionskontrollierte Polymerisation übergeht, quillt das organische Trägermaterial mit dem Monomeren an und kann den aktiven Katalysator damit bedienen bis weiteres Monomer von außen in das Katalysatorpartikel nach diffundiert ist. Durch die weiche Beschaffenheit der organischen Latexpartikel kann das entstehende Polymer das Katalysatorpartikel außerdem leicht auseinandertreiben werden. Die Polymerisation kann so im ganzen Katalysatorpartikel beginnen, während das Silica-Trägermaterial nur langsam von außen nach innen fragmentieren kann.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

(De)colonization Through Topophilia: Marjorie Kinnan Rawlings’s Life and Work in Florida attempts to reveal the author’s intimate connection to and mental growth through her place, namely the Cross Creek environs, and its subsequent effect on her writing. In 1928, Marjorie Kinnan Rawlings and her first husband Charles Rawlings came to Cross Creek, Florida. They bought the shabby farmhouse on Cross Creek Road, trying to be both, writers and farmers. However, while Charles Rawlings was unable to write in the backwoods of the Florida Interior, Rawlings found her literary voice and entered a symbiotic, reciprocal relationship with the natural world of the Cracker frontier. Her biographical preconditions – a childhood spent in the rural area of Rock Creek, outside of Washington D. C. - and a father who had instilled in her a sense of place or topophilia, enabled her to overcome severe marriage tensions and the hostile climate women writers faced during the Depression era. Nature as a helping ally and as an “undomesticated”(1) space/place is a recurrent motif throughout most of Rawlings’s Florida literature. At a time when writing the American landscape/documentary and the extraction of the self from texts was the prevalent literary genre, Marjorie Kinnan Rawlings inscribed herself into her texts. However, she knew that the American public was not yet ready for a ‘feminist revolt’, but was receptive of the longtime ‘inaudible’ voices from America’s regions, especially with regard to urban poverty and a homeward yearning during the Depression years. Fusing with the dynamic eco-consciousness of her Cracker friends and neighbors, Rawlings wrote in the literary category of regionalism enabling her to pursue three of her major aims: an individuated self, a self that assimilated with the ‘master narratives’ of her time and the recognition of the Florida Cracker and Scrub region. The first part of this dissertation briefly introduces the largely unknown and underestimated writer Marjorie Kinnan Rawlings, providing background information on her younger years, the relationship toward her family and other influential persons in her life. Furthermore, it takes a closer look at the literary category of regionalism and Rawlings’s use of ‘place’ in her writings. The second part is concerned with the ‘region’ itself, the state of Florida. It focuses on the natural peculiarities of the state’s Interior, the scrub and hammock land around her Cracker hamlet as well as the unique culture of the Florida Cracker. Part IV is concerned with the analysis of her four Florida books. The author is still widely related to the ever-popular novel The Yearling (1938). South Moon Under (1933) and Golden Apples (1935), her first two novels, have not been frequently republished and have subsequently fallen into oblivion. Cross Creek (1942), Rawlings’s last Florida book, however, has recently gained renewed popularity through its use in classes on nature writers and the non-fiction essay but it requires and is here re-evaluated as the author’s (relational) autobiography. The analysis through place is brought to completion in this work and seems to intentionally close the circle of Rawlings’s Florida writings. It exemplifies once more that detachment from place is impossible for Rawlings and that the intermingling of life and place in literature, is essential for the (re)creation of her identity. Cross Creek is therefore not only one of Rawlings’s greatest achievements; it is more importantly the key to understanding the author’s self and her fiction. Through the ‘natural’ interrelationship of place and self and by looking “mutually outward and inward,”(2) Marjorie Kinnan Rawlings finds her literary voice, a home and ‘a room of her own’ in which to write and come to consciousness. Her Florida literature is not only product but also medium and process in her assessment of her identity and self. _____________ (1) Alaimo, Stacy. Undomesticated Ground: Recasting Nature as Feminist Space (Ithaca: Cornell UP, 2000) 23. (2) Libby, Brooke. “Nature Writing as Refuge: Autobiography in the Natural World” Reading Under the Sign of Nature. New Essays in Ecocriticism. Ed. John Tallmadge and Henry Harrington. (Salt Lake City: The U of Utah P, 2000) 200.