A new approach to the initial value problem

5th Portuguese Conference on Automatic Control, September, 5-7, 2002, Aveiro, Portugal

Electron and photon induced processes in SF5CF3

The photo-absorption cross section of trifluoromethyl sulphur pentafluoride, SF5CF3 has been measured using synchrotron radiation in the range of 4–11 eV (310 nm > l > 110 nm) and comparison made with electron energy loss spectroscopy (EELS). The measured VUV cross sections are used to derive the photolysis rate of SF5CF3 in the terrestrial atmosphere. It is estimated that the lifetime for this molecule is the order of a 1000 years and the calculated global warming potential (GWP) is found to be between 17000 and 18100, making it one of the most potent global warming gases in the terrestrial atmosphere.

Molluscum contagiosum: serology and electron microscopy findings in twenty one patients

Twenty one cases of molluscum contagiosum virus disease were collected for electron microscopical and serological tests. Molluscum virus was detected in the crust, inside the vacuoles formed in the keratinocytes cells. The patients developed specific antibodies to the virus detected by complement fixation test.

Spectroscopic Studies and Characterization of a Novel Electron-Transfer Chain

A novel two-component enzyme system from Escherichia coli involving a flavorubredoxin (FlRd) and its reductase was studied in terms of spectroscopic, redox, and biochemical properties of its constituents. FlRd contains one FMN and one rubredoxin (Rd) center per monomer. To assess the role of the Rd domain, FlRd and a truncated form lacking the Rd domain (FlRd¢Rd), were characterized. FlRd contains 2.9 ( 0.5 iron atoms/subunit, whereas FlRd¢Rd contains 2.1 ( 0.6 iron atoms/subunit. While for FlRd one iron atom corresponds to the Rd center, the other two irons, also present in FlRd¢Rd, are most probably due to a di-iron site. Redox titrations of FlRd using EPR and visible spectroscopies allowed us to determine that the Rd site has a reduction potential of -140 ( 15 mV, whereas the FMN undergoes reduction via a red-semiquinone, at -140 ( 15 mV (Flox/Flsq) and -180 ( 15 mV (Flsq/Flred), at pH 7.6. The Rd site has the lowest potential ever reported for a Rd center, which may be correlated with specific amino acid substitutions close to both cysteine clusters. The gene adjacent to that encoding FlRd was found to code for an FAD-containing protein, (flavo)rubredoxin reductase (FlRd-reductase), which is capable of mediating electron transfer from NADH to DesulfoVibrio gigas Rd as well as to E. coli FlRd. Furthermore, electron donation was found to proceed through the Rd domain of FlRd as the Rd-truncated protein does not react with FlRd-reductase. In vitro, this pathway links NADH oxidation with dioxygen reduction. The possible function of this chain is discussed considering the presence of FlRd homologues in all known genomes of anaerobes and facultative aerobes.

Afetação de recursos em sistemas de produção

O problema do escalonamento, por ser um dos factores fundamentais na tomada de decisão para uma boa gestão das operações, tem sido alvo de um amplo estudo, tanto na sua componente teórica como na sua componente prática. A importância de um escalonamento correto das operações é preponderante, quando as pequenas diferenças, em termos de tempos de produção, podem ter um grande impacto na competitividade da organização. Em muitas unidades produtivas, existem máquinas capazes de realizar as mesmas operações com diferentes desempenhos. Isto pode dever-se à necessidade de flexibilizar os recursos ou mesmo a uma atualização da capacidade produtiva. Embora os problemas de máquinas diferentes em paralelo tenham sido alvo de um vasto estudo, muitos deles não são passíveis de ser resolvidos através de métodos exatos. O problema de minimização do makespan (Rm||Cmax), é NP-hard, sendo habitualmente abordado através de heurísticas. Entre as heurísticas utilizadas em problemas de minimização do makespan em máquinas diferentes em paralelo, é possível identificar duas filosofias de afectação: a que utiliza os tempos de processamento para alocar as tarefas e a que utiliza as datas de conclusão. Nesta dissertação, pretende-se dar uma contribuição para a resolução do problema de afectação de recursos em sistemas de produção. Para tal, foram propostas as heurísticas OMTC 3 e Suffrage One. A contribuição consiste na proposta de versões híbridas e modificadas das heurística MCT e Suffrage, uma vez identificadas várias características que podem limitar o seu desempenho, como o facto da heurística MCT alocar as tarefas numa ordem aleatória ou a heurística Suffrage alocar mais que uma tarefa por iteração. Finalmente, procedeu-se à realização de testes computacionais, para avaliar o desempenho das heurísticas propostas. Os testes realizados permitiram concluir que a heurística OMTC 3 apresentou um melhor desempenho que a heurística MCT.

Assessment of eutrophication status of two Northern Irish Loughs

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia do Ambiente, perfil Engenharia Sanitária

Examination timetabling automation using hybrid meta-heuristics

Trabalho de projeto realizado para obtenção do grau de Mestre em Engenharia Informática e de Computadores

How to reduce energy consumption on pultrusion

The global warming due to high CO2 emission in the last years has made energy saving a global problem nowadays. However, manufacturing processes such as pultrusion necessarily needs heat for curing the resin. Then, the only option available is to apply all efforts to make the process even more efficient. Different heating systems have been used on pultrusion, however, the most widely used are the planar resistances. The main objective of this study is to develop another heating system and compares it with the former one. Thermography was used in spite of define the temperature profile along the die. FEA (finite element analysis) allows to understand how many energy is spend with the initial heating system. After this first approach, changes were done on the die in order to test the new heating system and to check possible quality problems on the product. Thus, this work allows to conclude that with the new heating system a significant reduction in the setup time is now possible and an energy reduction of about 57% was achieved.

Environmental Decision Support: a Multi-Agent Approach

The environmental management domain is vast and encompasses many identifiable activities: impact assessment, planning, project evaluation, etc. In particular, this paper focusses on the modelling of the project evaluation activity. The environmental decision support system under development aims to provide assistance to project developers in the selection of adequate locations, guaranteeing the compliance with the applicable regulations and the existing development plans as well as satisfying the specified project requirements. The inherent multidisciplinarity features of this activity lead to the adoption of the Multi-Agent paradigm, and, in particular, to the modelling of the involved agencies as a community of cooperative autonomous agents, where each agency contributes with its share of problem solving to the final system’s recommendation. To achieve this behaviour the many conclusions of the individual agencies have to be justifiably accommodated: not only they may differ, but can be interdependent, complementary, irreconcilable, or simply, independent. We propose different solutions (involving both local and global consistency) to support the adequate merge of the distinct perspectives that inevitably arise during this type of decision making.

Consistency and Context Management in a Multi Agent Belief Revision Testbed

Multi-agent architectures are well suited for complex inherently distributed problem solving domains. From the many challenging aspects that arise within this framework, a crucial one emerges: how to incorporate dynamic and conflicting agent beliefs? While the belief revision activity in a single agent scenario is concentrated on incorporating new information while preserving consistency, in a multi-agent system it also has to deal with possible conflicts between the agents perspectives. To provide an adequate framework, each agent, built as a combination of an assumption based belief revision system and a cooperation layer, was enriched with additional features: a distributed search control mechanism allowing dynamic context management, and a set of different distributed consistency methodologies. As a result, a Distributed Belief Revision Testbed (DiBeRT) was developed. This paper is a preliminary report presenting some of DiBeRT contributions: a concise representation of external beliefs; a simple and innovative methodology to achieve distributed context management; and a reduced inter-agent data exchange format.

A contabilidade de gestão nas autarquias locais: o caso do Município de Espinho

Trabalho de Projeto apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria Orientação: Doutora Alcina Augusta de Sena Portugal Dias Coorientação: Doutora Amélia Cristina Ferreira Silva

Algorithm-oriented design of efficient many-core architectures applied to dense matrix multiplication

Recent integrated circuit technologies have opened the possibility to design parallel architectures with hundreds of cores on a single chip. The design space of these parallel architectures is huge with many architectural options. Exploring the design space gets even more difficult if, beyond performance and area, we also consider extra metrics like performance and area efficiency, where the designer tries to design the architecture with the best performance per chip area and the best sustainable performance. In this paper we present an algorithm-oriented approach to design a many-core architecture. Instead of doing the design space exploration of the many core architecture based on the experimental execution results of a particular benchmark of algorithms, our approach is to make a formal analysis of the algorithms considering the main architectural aspects and to determine how each particular architectural aspect is related to the performance of the architecture when running an algorithm or set of algorithms. The architectural aspects considered include the number of cores, the local memory available in each core, the communication bandwidth between the many-core architecture and the external memory and the memory hierarchy. To exemplify the approach we did a theoretical analysis of a dense matrix multiplication algorithm and determined an equation that relates the number of execution cycles with the architectural parameters. Based on this equation a many-core architecture has been designed. The results obtained indicate that a 100 mm(2) integrated circuit design of the proposed architecture, using a 65 nm technology, is able to achieve 464 GFLOPs (double precision floating-point) for a memory bandwidth of 16 GB/s. This corresponds to a performance efficiency of 71 %. Considering a 45 nm technology, a 100 mm(2) chip attains 833 GFLOPs which corresponds to 84 % of peak performance These figures are better than those obtained by previous many-core architectures, except for the area efficiency which is limited by the lower memory bandwidth considered. The results achieved are also better than those of previous state-of-the-art many-cores architectures designed specifically to achieve high performance for matrix multiplication.

Electrical ageing studies of polymeric insulation for power cables (estudo do envelhecimento eléctrico do isolante polimérico de cabos eléctricos

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Física - Física Aplicada pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

A physical packing sequence algorithm for the container loading problem with static mechanical equilibrium conditions

The container loading problem (CLP) is a combinatorial optimization problem for the spatial arrangement of cargo inside containers so as to maximize the usage of space. The algorithms for this problem are of limited practical applicability if real-world constraints are not considered, one of the most important of which is deemed to be stability. This paper addresses static stability, as opposed to dynamic stability, looking at the stability of the cargo during container loading. This paper proposes two algorithms. The first is a static stability algorithm based on static mechanical equilibrium conditions that can be used as a stability evaluation function embedded in CLP algorithms (e.g. constructive heuristics, metaheuristics). The second proposed algorithm is a physical packing sequence algorithm that, given a container loading arrangement, generates the actual sequence by which each box is placed inside the container, considering static stability and loading operation efficiency constraints.

Host cell adhesion to Schistosoma mansoni larvae in the peritoneal cavity of naive mice: histological and scanning electron microscopic studies

Cercariae of Schistosoma mansoni inoculated into the peritoneal cavity of naive mice induced host cell adhesion to their surface, but after 90 minutes the number of adherent cells sharply decreased. The cell detachment is progressive and simultaneous to the cercaria-schistosomule transformation. The histological study showed mainly neutrophils in close contact with the larvae. Mononuclear cells and some eosinophils were occasionally seen surrounding the adherent neutrophils. The scanning electron microscopy showed cells displaying twisted microvilli and several microplicae contacting or spreading over the larval surface, and larvae completely surrounded by clusters of cells. These results suggest that the neutrophils recognize molecules on the cercarial surface which induce their spreading