Ageing on commercial automotive catalysts, a structure reactivity study

Increasingly stringed regulations for diesel engine emissions have a significant impact on the required efficiency of DOC. Lowered DOC oxidation efficiency due to thermal aging effects influences the efficiency of the exhaust aftertreatment systems downstream of the DOC. In this work carried out in the Jean Le Rond d’Alembert Institute the effect of hydrothermal aging on the reactivity and structure of a commercial DOC was investigated. The characterization of the catalytic performance was carried out on a synthetic gas bench using carrots catalyst under conditions close to the realistic conditions i.e. using a synthetic gas mixture, representative of the exhaust gases from diesel engines. Different structural characterization techniques were performed: textural and morphological proprieties were analyzed by BET and TEM, the characterization of the presented crystallographic phases was performed by DRX and the determination of the number of reducible species was possible by TPR. TEM results shown, an increase of the metal particle size with the aging caused by the agglomeration of metal particles, revealing the presence of metal sintering. DRX results also suggest the presence of support sintering. Furthermore, DRX and BET results unexpectedly reveal that the most drastic aging conditions used actually activated the catalyst surface. As expected, the aging affected negatively the catalyst performance on the oxidation of methane and CO, however an improvement of the NO oxidation performance with the aging was observed. Nevertheless, for the aging conditions used, catalytic activity results show that the influence of aging in DOC performance was not significant, and therefore, more drastic aging conditions must be used.

A debugging engine for parallel and distributed programs

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia.

tlCell: a software transactional memory for the cell broadband engine architecture

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Acceleration of physics simulation engine through OpenCL

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Concurrent tabling

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

Services innovation and economic performance: An analysis at the firm

In this paper we estimate a model linking innovation effort and economic performance, along the lines of the Mairesse and Mohnen (2003) model. We examine this relationship in the context of services sectors instead of Research and Development intensive manufacturing sectors. Much effort has already been made to explore the innovation-performance relationship for manufacturing sectors but it is still much understudied for services, particularly for Portugal. In this paper we aim to take a step in fulfilling this gap. We use new firm level data for ten services sectors from the Second Community Innovation Survey of Portugal, to estimate the model.

Case study: Estratégia de aplicação de ferramentas de apoio à gestão da performance humana em ambientes Lean

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Industrial

Consistent state software transactional memory

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

High-performance flexible hybrid field-effect transistors based on cellulose fiber paper

IEEE Electron Device Letters, VOL. 29, NO. 9,

Effect of fungal colonization on mechanical performance of cork

The industrialization of traditional processes relies on the scientific ability to understand the empirical evidence associated with traditional knowledge. Cork manufacturing includes one operation known as stabilization, where humid cork slabs are extensively colonized by fungi. The implications of fungal growth on the chemical quality of cork through the analysis of putative fungal metabolites have already been investigated. However, the effect of fungal growth on the mechanical properties of cork remains unexplored. This study investigated the effect of cork colonization on the integrity of the cork cell walls and their mechanical performance. Fungal colonization of cork by Chrysonilia sitophila, Mucor plumbeus Penicillium glabrum, P. olsonii, and Trichoderma longibrachiatum was investigated by microscopy. Growth occurred primarily on the surface of the cork pieces, but mycelium extended deeper into the cork layers, mostly via lenticular channels and by hyphal penetration of the cork cell wall. In this first report on cork decay in which specific correlation between fungal colonization and mechanical proprieties of the cork has been investigated, all colonizing fungi except C. sitophila, reduced cork strength, markedly altering its viscoelastic behaviour and reducing its Young’s modulus.

Design and performance evaluation of turbo FDE receivers

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Life-cycle performance of structures: combining expert judgment and results of inspection

Life-Cycle Civil Engineering – Biondini & Frangopol

Developing and implementing an environmental performance index for the Portuguese military

Business Strategy and the Environment nº 15, p. 71–86

The state of environmental performance evaluation in the public sector: the case of the Portuguese defence sector

Journal of Cleaner Production, nº 17, p. 36-52

Environmental performance policy indicators for the public sector: The case of the defence sector

Journal of Environmental Management, nº 82 p. 410–432