Test Generation Guided Design for Testability

This thesis presents a new approach to building a design for testability (DFT) system. The system takes a digital circuit description, finds out the problems in testing it, and suggests circuit modifications to correct those problems. The key contributions of the thesis research are (1) setting design for testability in the context of test generation (TG), (2) using failures during FG to focus on testability problems, and (3) relating circuit modifications directly to the failures. A natural functionality set is used to represent the maximum functionalities that a component can have. The current implementation has only primitive domain knowledge and needs other work as well. However, armed with the knowledge of TG, it has already demonstrated its ability and produced some interesting results on a simple microprocessor.

Electrode catalysts behavior during direct ethanol fuel cell life-time test

In the present paper, a 60 h life-time test of a direct ethanol fuel cell (DEFC) at a current density of 20 mA cm(-2) (the beginning 38 h) and 40 mA cm(-2) (the last 22 h) was carried out. After the life-time test, the MEA could not achieve the former performance. X-ray diffraction (XRD), transmission electron microscopy (TEM) and energy dispersive X-ray analysis (EDX) were employed to characterize the anode and cathode catalyst before and after the life-time test. The XRD and TEM results showed that the particle size of the anode catalyst increased from 2.3 to 3.3 nm and the cathode from 3.0 to 4.6 nm. The EDX results of PtSn/C anode catalysts before and after the life-time test indicated that the content of the oxygen and tin, especially the content of the platinum, decreased prominently after the life-time test. The results suggest that the agglomeration of electrocatalysts, the destruction of the anode catalyst together with the fuel/water crossover from anode to cathode concurrently contribute to the performance degradation of the DEFC. (C) 2005 Elsevier B.V. All rights reserved.

Girolando breed genetic improvement program - Sire summary - Progeny test results - July/2015.

The Girolando breed progeny test was established in 1997, as a result of the partnership between Girolando and Embrapa Dairy Cattle. In 2007, the Programa de Melhoramento Genético da Raça Girolando? PMGG (Genetic Improvement Program of the Girolando Breed) was implemented. Besides interacting with previously existing initiatives of the Girolando Breeders Association, such as the genealogical register service, the progeny test and the dairy control service, the PMGG launched the Linear Evaluation System (SLAG). The main objectives of the PMGG comprises identification of genetically superior individuals, the technically-oriented multiplication of genetics, the evaluation of economic traits and the promotion of sustainable dairy activities. The program have yielded impressive results. The Girolando breed semen sales increases faster than any other breed in Brazil.

Test document - Investigation into the supply and demand of breakfast muffins in Paris hotels.

This survey was undertaken by the film crew accompanying Cary Grant when making the film "Charade" in 1963.

Automated Quality Assurance Applied to Mammographic Imaging

L. Blot, A. Davis, M. Holubinka, R. Marti and R. Zwiggelaar, 'Automated quality assurance applied to mammographic imaging', EURASIP Journal of Applied Signal Processing 2002 (7), 736-745 (2002)

Boundary triplets and M-functions for non-selfadjoint operators, with applications to elliptic PDEs and block operator matrices

B.M. Brown, M. Marletta, S. Naboko, I. Wood: Boundary triplets and M-functions for non-selfadjoint operators, with applications to elliptic PDEs and block operator matrices, J. London Math. Soc., June 2008; 77: 700-718. The full text of this article will be made available in this repository in June 2009 Sponsorship: EPSRC,INTAS

A 3-min all-out test to determine peak oxygen uptake and the maximal steady state

Burnley, M., Doust, J., Vanhatalo, A., A 3-min all-out test to determine peak oxygen uptake and the maximal steady state, Medicine & Science in Sports & Exercise. 38(11):1995-2003, November 2006. RAE2008

The Arab Spring as a Test of post-Lisbon Capabilities and Strategies of the European Union in North Africa

This study aims to present the conditions related to the European Union’s involvement in the Arab Spring, as well as examine the extent of this capability-based involvement in the first months of 2011 against the background of competence disputes between institutions and inter-governmental contentions. These considerations will be the basis for conclusions on the theoretical and practical viability of the European Union’s action in the region of North Africa, in terms of both interests defined in Brussels and representation of a jointly agreed position and undertaking practical actions in the international arena. These assumptions can facilitate a new perspective for the EU’s strategic approach framework in the region of North Africa.

Diseño y desarrollo de herramientas en cerámica, La Calera. Asistencia técnica para el mejoramiento de la pasta cerámica y proceso de secado de piezas de alfarería San Sebastián. Mejoramiento de la pasta cerámica y proceso de secado de piezas de alfarería. Acondicionamiento y manejo de hornos, Momil. Mejoramiento de la pasta cerámica y proceso de secado de piezas de alfarería. Asistencia para la elaboración de matrices y moldes para piezas de cerámica acondicionamiento y manejo de hornos, Ciénaga De Oro y Planeta Rica.

[152] hojas : ilustraciones.

An Independent-Connection Model for Traffic Matrices

A common assumption made in traffic matrix (TM) modeling and estimation is independence of a packet's network ingress and egress. We argue that in real IP networks, this assumption should not and does not hold. The fact that most traffic consists of two-way exchanges of packets means that traffic streams flowing in opposite directions at any point in the network are not independent. In this paper we propose a model for traffic matrices based on independence of connections rather than packets. We argue that the independent connection (IC) model is more intuitive, and has a more direct connection to underlying network phenomena than the gravity model. To validate the IC model, we show that it fits real data better than the gravity model and that it works well as a prior in the TM estimation problem. We study the model's parameters empirically and identify useful stability properties. This justifies the use of the simpler versions of the model for TM applications. To illustrate the utility of the model we focus on two such applications: synthetic TM generation and TM estimation. To the best of our knowledge this is the first traffic matrix model that incorporates properties of bidirectional traffic.

Sugar matrices in stabilization of bioactives by dehydration

Development of functional foods with bioactive components requires component stability in foods and ingredients. Stabilization of sensitive bioactive components can be achieved by entrapment or encapsulation of these components in solid food matrices. Lactose or trehalose was used as the structure-forming material for the entrapment of hydrophilic ascorbic acid and thiamine hydrochloride or the encapsulation of oil particles containing hydrophobic α-tocopherol. In the delivery of hydrophobic components, milk protein isolate, soy protein isolate, or whey protein isolate were used as emulsifiers and, in some cases, applied in excess amount to form matrices together with sugars. Dehydrated amorphous structures with bioactives were produced by freezing and freeze-drying. Experimental results indicated that: (i) lactose and trehalose showed similar water sorption and glass transition but very different crystallization behavior as pure sugars; (ii) the glass transition of sugar-based systems was slightly affected by the presence of other components in anhydrous systems but followed closely that of sugar after water plasticization; (iii) sugar crystallization in mixture systems was composition-dependent; (iv) the stability of bioactives was better retained in the amorphous matrices, although small losses of stability were observed for hydrophilic components above glass transition and for hydrophobic components as a function of water activity; (v) sugar crystallization caused significant loss of hydrophilic bioactives as a result of the exclusion from the continuous crystalline phase; (vi) loss of hydrophobic bioactives upon sugar crystallization was a result of dramatic change of emulsion properties and the exclusion of oil particles from the protecting structure; (vii) the double layers at the hydrophilic-hydrophobic interfaces improved the stability of hydrophobic bioactives in dehydrated systems. The present study provides information on the physical and chemical stability of sugar-based dehydrated delivery systems, which could be helpful in designing foods and ingredients containing bioactive components with improved storage stability.

Characteristics of the wave energy resource at the Atlantic marine energy test site

The wave energy industry is progressing towards an advanced stage of development, with consideration being given to the selection of suitable sites for the first commercial installations. An informed, and accurate, characterisation of the wave energy resource is an essential aspect of this process. Ireland is exposed to an energetic wave climate, however many features of this resource are not well understood. This thesis assesses and characterises the wave energy resource that has been measured and modelled at the Atlantic Marine Energy Test Site, a facility for conducting sea trials of floating wave energy converters that is being developed near Belmullet, on the west coast of Ireland. This characterisation process is undertaken through the analysis of metocean datasets that have previously been unavailable for exposed Irish sites. A number of commonly made assumptions in the calculation of wave power are contested, and the uncertainties resulting from their application are demonstrated. The relationship between commonly used wave period parameters is studied, and its importance in the calculation of wave power quantified, while it is also shown that a disconnect exists between the sea states which occur most frequently at the site and those that contribute most to the incident wave energy. Additionally, observations of the extreme wave conditions that have occurred at the site and estimates of future storms that devices will need to withstand are presented. The implications of these results for the design and operation of wave energy converters are discussed. The foremost contribution of this thesis is the development of an enhanced understanding of the fundamental nature of the wave energy resource at the Atlantic Marine Energy Test Site. The results presented here also have a wider relevance, and can be considered typical of other, similarly exposed, locations on Ireland’s west coast.