Improvement of direct methanol fuel cell performance by modifying catalyst coated membrane structure

A five-layer catalyst coated membrane (CCM) based upon Nation 115 membrane for direct methanol fuel cell (DMFC) was designed and fabricated by introducing a modified Nafion layer between the membrane and the catalyst layer. The properties of the CCM were determined by SEM, cyclic voltammetry, impedance spectroscopy, ruinous test and I-V curves. The characterizations show that the modified Nation layers provide increased interface contact area and enhanced interaction between the membrane and the catalyst layer. As a result, higher Pt utilization, lower contact resistance and superior durability of membrane electrode assembly was achieved. A 75% Pt utilization efficiency was obtained by using the novel CCM structure, whereas the conventional structure gave 60% efficiency. All these features greatly contribute to the increase in DMFC performance. The DMFC with new CCM structure presented a maximum power density of 260 MW cm(-2), but the DMFC with conventional structure gave only 200 mW cm(-2) under the same operation condition. (c) 2005 Elsevier B.V. All rights reserved.

Direct observation of Schottky to Ohmic transition in Al-diamond contacts using real-time photoelectron spectroscopy

Evans D A, Roberts O R, Vearey-Roberts A R, Langstaff D P, Twitchen D J and Schwitters M 2007 Direct observation of Schottky to ohmic transition in Al-diamond contacts using realtime photoelectron spectroscopy Appl. Phys. Lett. 91 132114 doi:10.1063/1.2790779

Limits of ventricular function: from athlete's heart to a failing heart

The interest in the study of ventricular function has grown considerably in the last decades. In this review, we analyse the extreme values of ventricular function as obtained with Doppler echocardiography. We mainly focus on the parameters that have been used throughout the history of Doppler echocardiography to assess left ventricular (LV) systolic and diastolic function. The ‘athlete's heart’ would be the highest expression of ventricular function whereas its lowest expression is represented by the failing heart, independently from the original aetiology leading to this condition. There are, however, morphological similarities (dilation and hypertrophy) between the athlete's and the failing heart, which emerge as physiological and pathophysiological adaptations, respectively. The introduction of new assessment techniques, specifically speckle tracking, may provide new insight into the properties that determine ventricular filling, specifically left ventricular twisting. The concept of ventricular function must be always considered, although it may not be always possible to distinguish the normal heart of sedentary individuals from that of highly trained hearts based solely on echocardiographic or basic studies.

Getting Constitutional Theory into Proportion: A Matter of Interpretation?

Gibbs, N., Getting Constitutional Theory into Proportion: A Matter of Interpretation?, Oxford Journal of Legal Studies, 27 (1), 175-191. RAE2008

Historical Reflections on the Uses and Limits of Intelligence

Jackson, Peter; Siegel, Jennifer., 'Historical Reflections on the Uses and Limits of Intelligence', In: Intelligence and Statecraft: The Use and Limits of Intelligence in International Society (Westport, CT: Praeger, 2005), pp.11-51 RAE2008

The Realist Tradition and the Limits of International Relations

Williams, Mike, Realist Tradition and the Limits of International Relations (Cambridge: Cambridge University Press, 2005), pp.ix+236 RAE2008

Nanotoxicologia

Projeto de Pós-Graduação/Dissertação apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Ciências Farmacêuticas

Sedação Consciente em Medicina Dentária

Projeto de Pós-Graduação/Dissertação apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Medicina Dentária

A Direct Algorithm for the Type Interference in the Rank 2 Fragment of the Second--Order λ-Calculus

We study the problem of type inference for a family of polymorphic type disciplines containing the power of Core-ML. This family comprises all levels of the stratification of the second-order lambda-calculus by "rank" of types. We show that typability is an undecidable problem at every rank k ≥ 3 of this stratification. While it was already known that typability is decidable at rank ≤ 2, no direct and easy-to-implement algorithm was available. To design such an algorithm, we develop a new notion of reduction and show how to use it to reduce the problem of typability at rank 2 to the problem of acyclic semi-unification. A by-product of our analysis is the publication of a simple solution procedure for acyclic semi-unification.

A Note On the Statistical Difference of Small Direct Products

We demonstrate that if two probability distributions D and E of sufficiently small min-entropy have statistical difference ε, then the direct-product distributions D^l and E^l have statistical difference at least roughly ε\s√l, provided that l is sufficiently small, smaller than roughly ε^{4/3}. Previously known bounds did not work for few repetitions l, requiring l>ε^2.

A Neural Network Model of Speech Acquisition and Motor Equivalent Speech Production

This article describes a neural network model that addresses the acquisition of speaking skills by infants and subsequent motor equivalent production of speech sounds. The model learns two mappings during a babbling phase. A phonetic-to-orosensory mapping specifies a vocal tract target for each speech sound; these targets take the form of convex regions in orosensory coordinates defining the shape of the vocal tract. The babbling process wherein these convex region targets are formed explains how an infant can learn phoneme-specific and language-specific limits on acceptable variability of articulator movements. The model also learns an orosensory-to-articulatory mapping wherein cells coding desired movement directions in orosensory space learn articulator movements that achieve these orosensory movement directions. The resulting mapping provides a natural explanation for the formation of coordinative structures. This mapping also makes efficient use of redundancy in the articulator system, thereby providing the model with motor equivalent capabilities. Simulations verify the model's ability to compensate for constraints or perturbations applied to the articulators automatically and without new learning and to explain contextual variability seen in human speech production.

Monasticism and its limits: rematerialising monastic space in early medieval Ireland

This thesis creates a multi-faceted archaeological context for early Irish monasticism, so as to ‘rematerialise’ a phenomenon that has been neglected by recent archaeological scholarship. Following revision of earlier models of the early Irish Church, archaeologists are now faced with redefining monasticism and distinguishing it from other diverse forms of Christian lifestyle. This research addresses this challenge, exploring the ways in which material limits can be set on the monastic phenomenon. The evidence for early Irish monasticism does not always conform to modern expectations of its character, and monastic space must be examined as culturally unique in its own right - though this thesis demonstrates that early Irish monasticism was by no means as unorthodox in its contemporary European setting as has previously been suggested. The research is informed by theories of the body, habitus and space, drawing on a wide body of archaeological, religious, sociological and anthropological thought. The data-set comprises evidences gathered through field-survey, reassessment of archaeological scholarship, historical research and cartographic research, enabling consideration of the ways in which early Irish monastics engaged with their environments. A sample of thirty-one early Irish ecclesiastical sites plus Iona forms the basis for discussion of the location and layout of monastic space, the ways in which monastics used buildings and space in their daily lives, the relationship of monasticism and material culture, the setting of mental and physical limits on monastic space and monastic bodies, and the variety of monastic lifestyles that pertained in early medieval Ireland. The study then examines the Christian landscapes of two case-studies in mid-Western Ireland in order to illustrate how monasticism functioned on the ground in these areas. As this research shows, the material complexities of early Irish monastic life are capable of archaeological definition in terms of both communal and personal lived experience.

Electrical machine characterisation and analysis for renewable energy applications

There has been an increased use of the Doubly-Fed Induction Machine (DFIM) in ac drive applications in recent times, particularly in the field of renewable energy systems and other high power variable-speed drives. The DFIM is widely regarded as the optimal generation system for both onshore and offshore wind turbines and has also been considered in wave power applications. Wind power generation is the most mature renewable technology. However, wave energy has attracted a large interest recently as the potential for power extraction is very significant. Various wave energy converter (WEC) technologies currently exist with the oscillating water column (OWC) type converter being one of the most advanced. There are fundemental differences in the power profile of the pneumatic power supplied by the OWC WEC and that of a wind turbine and this causes significant challenges in the selection and rating of electrical generators for the OWC devises. The thesis initially aims to provide an accurate per-phase equivalent circuit model of the DFIM by investigating various characterisation testing procedures. Novel testing methodologies based on the series-coupling tests is employed and is found to provide a more accurate representation of the DFIM than the standard IEEE testing methods because the series-coupling tests provide a direct method of determining the equivalent-circuit resistances and inductances of the machine. A second novel method known as the extended short-circuit test is also presented and investigated as an alternative characterisation method. Experimental results on a 1.1 kW DFIM and a 30 kW DFIM utilising the various characterisation procedures are presented in the thesis. The various test methods are analysed and validated through comparison of model predictions and torque-versus-speed curves for each induction machine. Sensitivity analysis is also used as a means of quantifying the effect of experimental error on the results taken from each of the testing procedures and is used to determine the suitability of the test procedures for characterising each of the devices. The series-coupling differential test is demonstrated to be the optimum test. The research then focuses on the OWC WEC and the modelling of this device. A software model is implemented based on data obtained from a scaled prototype device situated at the Irish test site. Test data from the electrical system of the device is analysed and this data is used to develop a performance curve for the air turbine utilised in the WEC. This performance curve was applied in a software model to represent the turbine in the electro-mechanical system and the software results are validated by the measured electrical output data from the prototype test device. Finally, once both the DFIM and OWC WEC power take-off system have been modeled succesfully, an investigation of the application of the DFIM to the OWC WEC model is carried out to determine the electrical machine rating required for the pulsating power derived from OWC WEC device. Thermal analysis of a 30 kW induction machine is carried out using a first-order thermal model. The simulations quantify the limits of operation of the machine and enable thedevelopment of rating requirements for the electrical generation system of the OWC WEC. The thesis can be considered to have three sections. The first section of the thesis contains Chapters 2 and 3 and focuses on the accurate characterisation of the doubly-fed induction machine using various testing procedures. The second section, containing Chapter 4, concentrates on the modelling of the OWC WEC power-takeoff with particular focus on the Wells turbine. Validation of this model is carried out through comparision of simulations and experimental measurements. The third section of the thesis utilises the OWC WEC model from Chapter 4 with a 30 kW induction machine model to determine the optimum device rating for the specified machine. Simulations are carried out to perform thermal analysis of the machine to give a general insight into electrical machine rating for an OWC WEC device.