Belief Revision in Multi-Agent Systems

The ability to respond sensibly to changing and conflicting beliefs is an integral part of intelligent agency. To this end, we outline the design and implementation of a Distributed Assumption-based Truth Maintenance System (DATMS) appropriate for controlling cooperative problem solving in a dynamic real world multi-agent community. Our DATMS works on the principle of local coherence which means that different agents can have different perspectives on the same fact provided that these stances are appropriately justified. The belief revision algorithm is presented, the meta-level code needed to ensure that all system-wide queries can be uniquely answered is described, and the DATMS’ implementation in a general purpose multi-agent shell is discussed.

High-resolution correlation of coastal cliff sections in the Lagos- Portimao Formation (Lower - Middle Miocene, central Algarve, Portugal)

This paper describes a high-resolution stratigraphic correlation scheme for the early to middle Miocene Lagos-Portimão Formation of central Algarve, southern Portugal. The Lagos Portimão-Formation of central Algarve is a 60 m thick package of horizontally bedded siliciclastics and carbonates. The bryozoan and mollusc dominated biofacies is typical of a shallow marine, warm-temperate climatic environment. We define four stratigraphic marker beds based on biofacies, lithology, and gamma-ray signatures. Marker bed 1 is a reddish shell bed composed predominantly of bivalve shells in various stages of fragmentation. Marker bed 2 is a fossiliferous sandstone / sandy rudstone characterized by bryozoan masses. Marker bed 3 is also a fossiliferous sandstone with abundant larger foraminifers and foliate bryozoans. Marker bed 4 is composed of three distinct layers; two fossiliferous sandstones with an intercalated shell bed. The upper sandstone unit displays thickets of the bryozoan Celleporaria palmate associated with the coral Culizia parasitica. This stratigraphic framework allows to correlate isolated outcrops within the stratigraphic context of the Lagos-Portimão Formation and to establish high resolution chronostratigraphic Sr-isotopic dating.

Modelação de organismos com crescimento logarítmico: aplicação às amonites *

This work refers to the development of modelling tools to create Ammonite shells in order to produce animated models for scientific dissemination and didactic purposes. In the approach here proposed we assume that the growth of those shells from an initial stage – the protoconch – can be interpreted as a succession of revolutions in turn of a central axis; thus the conch’s section will increase as a non-linear progression. So, we emphasise that the shape of many type of shells, e.g. gastropods and bivalves, is based on the equation of the logarithmic spiral deduced by R. Descartes. Pixels 3d (Pixels Digital Inc., 2005) is a TCL – scriptable modelling and animation software that allows extendable interapplication communication. Hence a standalone prototype (Shellia) with shell assignable parameters was produced and some of their issues and results will be presented here.

Single side damage simulations and detection in beam-like structures

Beam-like structures are the most common components in real engineering, while single side damage is often encountered. In this study, a numerical analysis of single side damage in a free-free beam is analysed with three different finite element models; namely solid, shell and beam models for demonstrating their performance in simulating real structures. Similar to experiment, damage is introduced into one side of the beam, and natural frequencies are extracted from the simulations and compared with experimental and analytical results. Mode shapes are also analysed with modal assurance criterion. The results from simulations reveal a good performance of the three models in extracting natural frequencies, and solid model performs better than shell while shell model performs better than beam model under intact state. For damaged states, the natural frequencies captured from solid model show more sensitivity to damage severity than shell model and shell model performs similar to the beam model in distinguishing damage. The main contribution of this paper is to perform a comparison between three finite element models and experimental data as well as analytical solutions. The finite element results show a relatively well performance.

Sistema de Variação de Lastro para Controlo de Movimento Vertical de Veículo Subaquático

O principal motivo para a realização deste trabalho consistiu no desenvolvimento de tecnologia robótica, que permitisse o mergulho e ascenção de grandes profundidades de uma forma eficiente. O trabalho realizado contemplou uma fase inicial de análise e estudo dos sistemas robóticos existentes no mercado, bem como métodos utilizados identificando vantagens e desvantagens em relação ao tipo de veículo pretendido. Seguiu-se uma fase de projeto e estudo mecânico, com o intuito de desenvolver um veículo com variação de lastro através do bombeamento de óleo para um reservatório exterior, para variar o volume total do veículo, variando assim a sua flutuabilidade. Para operar a grande profundidade com AUV’s é conveniente poder efetuar o trajeto up/down de forma eficiente e a variação de lastro apresenta vantagens nesse aspeto. No entanto, contrariamente aos gliders o interesse está na possibilidade de subir e descer na vertical. Para controlar a flutuabilidade e ao mesmo tempo analisar a profundidade do veículo em tempo real, foi necessario o uso de um sistema de processamento central que adquirisse a informação do sensor de pressão e comunicasse com o sistema de variação de lastro, de modo a fazer o controlo de posicionamento vertical desejado. Do ponto de vista tecnológico procurou-se desenvolver e avaliar soluções de variação de volume intermédias entre as dos gliders (poucas gramas) e as dos ROV’s workclass (dezenas ou centenas de kilogramas). Posteriormente, foi desenvolvido um simulador em matlab (Simulink) que reflete o comportamento da descida do veículo, permitindo alterar parâmetros do veículo e analisar os seus resultados práticos, de modo a poder ajustar o veículo real. Nos resultados simulados verificamos o cálculo das velocidades limite atingidas pelo veículo com diferentes coeficientes de atrito, bem como o comportamento da variação de lastro do veículo no seu deslocamento vertical. Sistema de Variação de Lastro para Controlo de Movimento Vertical de Veículo Subaquático Por fim, verificou-se ainda a capacidade de controlo do veículo para uma determinada profundiade, e foi feita a comparação entre estas simulações executadas com parâmetros muito próximos do ensaio real e os respetivos ensaios reais.

Changing patterns of Salmonella serovars: increase of Salmonella Enteritidis in São Paulo, Brazil

Serovars of a total of 5,490 Salmonella strains isolated during the period of 1991-95, from human infections (2,254 strains) and from non-human materials (3,236 strains) were evaluated. In the studied period, 81 different serovars were determined among human isolates. Salmonella Enteritidis corresponded to 1.2% in 1991, 2% in 1992, 10.1% in 1993, 43.3% in 1994, and 64.9% in 1995 of all isolates. A significant rise on the isolation of this serovar was seen since 1993 linked to food poisoning outbreaks. It is reported also an increase on the isolation of S. Enteritidis from blood cultures, associated mainly with patients with immunodeficiency syndrome. S. Enteritidis was prevalent among one hundred and thirty different serovars isolated from non-human sources. Increasing number of isolation of this serovar was seen from shell eggs, breeding flocks and from environmental samples. It is also reported a contamination of commercial feed stuffs by S. Enteritidis which represents a major concern for Brazilian poultry industry.

Classificações geomecânicas mineiras para o dimensionamento de maciços rochosos: o aplicativo MGC-RocDesign|Calc

Este trabalho tem como objetivo destacar a importância da utilização de software de geoengenharia no estudo das classificações de maciços rochosos nas engenharias de minas e geotécnica. Esta investigação pretendeu demonstrar a importância das classificações geomecânicas e índices geológico‐geomecânicos, tais como a Rock Mass Rating (RMR), Rock Tunnelling Quality Index (Q‐system), Surface Rock Classification (SRC), Rock Quality Designation (RQD), Geological Strength Index (GSI) and Hydro‐Potential Value (HP). Para esse efeito foi criada e desenvolvida uma calculadora geomecânica – MGC‐RocDesign|CALC: ‘Mining Geomechanics Classification systems for rock engineering design (version beta)’ – para de certa forma tornar mais simples, rápido e preciso o estudo das classificações geomecânicas sem que seja necessário recorrer manualmente às fastidiosas tabelas das classificações. A MGC‐RocDesign|CALC foi criada e desenvolvida no programa de folha de cálculo Microsoft Excel™ em linguagem Visual Basic for Applications© proporcionando o ambiente de carregamento de dados mais apelativos para o utilizador. Foi ainda integrada neste aplicativo a Calculadora Geotech|CalcTools que resulta da fusão das bases de dados ScanGeoData|BGD e SchmidtData|UCS criadas por Fonseca et al. (2010). Toda a informação foi integrada numa base de dados dinâmica associada a uma plataforma cartográfica em Sistemas de Informação Geográfica. Apresenta‐se como caso de estudo um dos trechos subterrâneos do maciço rochoso da antiga mina de volfrâmio das Aveleiras/Tibães (Mosteiro de Tibães, Braga, NW de Portugal). Além disso, apresenta‐se uma proposta de zonamento geomecânico do maciço rochoso da antiga mina das Aveleiras/Tibães com o objetivo de apoiar o dimensionamento de maciços rochosos. Por fim, apresenta‐se uma reflexão em termos de aplicabilidade, das potencialidades e das limitações da Calculadora Geomecânica MGC‐RocDesign|CALC.

Biomphalaria tenagophila (Orbigny, 1835) (Mollusca): adaptation to desiccation and susceptibility to infection with Schistosoma mansoni Sambon, 1907

Experiments were carried out to test the susceptibility of Biomphalaria tenagophila to the infection with strain SJ of Schistosoma mansoni in the F1, F2 and non-selected parental generation. The potential adaptation of B. tenagophila to desiccation, in healthy mollusks and those exposed to the larvae of S. mansoni of the F1, F2 and non-selected parental generations was also studied. The presence of mucus and soil, at the shell opening, protected the snails against desiccation, favoring survival. The healthy mollusks performed more attempts against desiccation than those exposed to the larvae of the parasite. The mortality rate, during desiccation, was higher among mollusks that remained buried and with the shell opening unobstructed. During the desiccation period the stage of development of the parasite was influenced by the weight loss and the survival of the snails. The longer the period of desiccation, the greater was the weight loss observed, abbreviating survival. The non-selected parental generation was more sensitive to desiccation than the F1 and F2 generations, both in healthy mollusks and in those exposed to S. mansoni larvae. Healthy mollusks were more resistant to desiccation than those exposed to the larvae of the S. mansoni. Desiccation did not interrupt the development of S. mansoni larvae in mollusks, causing a delay in the cercariae elimination. The susceptibility of B. tenagophila to the SJ strain of S. mansoni, in mollusks maintained in water during the larvae incubation period, was similar in all three generations.

O reconhecimento de si no cyborg: Uma análise cinematográfica das implicações sociais do surgimento do pós-humano

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências da Comunicação

A Study on Microstructure Characteristics of TEPs-modified Adhesives

Thermally expandable particles (TEPs) were developed by Dow Chemical Co in the early 1970´s [1] and were further developed by others [2, 3]. They are particles made up of a thermoplastic shell filled with liquid hydrocarbon. On heating them, two transformations will occur. One is the softening of shell material and the other is the gasification of the hydrocarbon liquid inside it. As a consequence, the shell will expand as the gas inside it will push the softened shell from inside out causing it to grow in size [4]. When fully expanded, the growth in volume of the particle can be from 50 to 100 times [3]. Owing to this unique behaviour, TEPs are used by the industry in a wide variety of applications mainly for weight reduction and appearance improvement for thermoplastics, inks, and coatings. In adhesive bonding, TEPs have been used for recycling purposes. Moreover, TEPs might be used to modify structural adhesives for other new purposes, such as: to increase the joint strength by creating an adhesive functionally modified along the overlap of the joint by gradual heating and/or to heal the adhesive in case of damage.

The effects of the experimental infection from a focus of transmission of Schistosoma mansoni in a population of Biomphalaria tenagophila (D'Orbigny, 1835) in the region of "Vale do Ribeira de Iguape", Brazil

To observe the effects of the parasitic infection on the biology of B. tenagophila, field and laboratory populations of this mollusk from Itariri, in Vale do Ribeira, Brazil, were experimentally infected. Each mollusk received 10 miracidia of Schistosoma mansoni (SJ lineage) and was observed throughout the parasite's development. The biological variables were compared according to the criteria "group" and "infectious phase". The main damage caused by the parasitic infection manifested itself in reproduction, longevity and lesions on the shell of the mollusks in the patent phase. An infection rate of 58.8% was observed. Microanatomical study of the mollusk's digestive gland and ovotestis revealed the presence of evolving larval forms and cercariae. It was concluded that the effects of the parasitic infection on both populations were moderate, despite the low survival rate of the infected mollusks, the damage did not prevent either reproduction or the elimination of cercariae, which continued for a long time.

Quantum dots: synthesis, functionalization and bioconjugation for biological applications

Dissertation presented to obtain the Ph.D degree in Engineering Sciences and Technology

Evolution of Diplodocid Sauropod dinosaurs with emphasis on specimens from Howe Ranch, Wyoming (USA)

Diplodocidae are among the best known sauropod dinosaurs. Several species were described in the late 1800s or early 1900s. Since then, numerous additional specimens were recovered in the USA, Tanzania, Portugal, as well as possibly Spain, England, and Asia. To date, the clade includes about 12 to 15 different species, some of them with questionable taxonomic status (e.g. ‘Diplodocus’ hayi or Dyslocosaurus polyonychius). However, intrageneric relationships of the multi-species, iconic genera Apatosaurus and Diplodocus are still poorly known. The way to resolve this issue is a specimen-based phylogenetic analysis, which was done for Apatosaurus, but is here performed for the first time for the entire clade of Diplodocidae. New material from different localities and stratigraphic levels on the Howe Ranch (Shell,Wyoming, USA) sheds additional light on the evolution of Diplodocidae. Three new specimens are described herein, considerably increasing our knowledge of the anatomy of the group. The new specimens (SMA 0004, SMA 0011, and SMA 0087) represent two, to possibly three new diplodocid species. They preserve material from all parts of the skeleton, including two nearly complete skulls, as well as fairly complete manus and pedes, material which is generally rare in diplodocids. Thereby, they considerably increase anatomical overlap between the sometimes fragmentary holotype specimens of the earlier described diplodocid species, allowing for significant results in a specimenbased phylogenetic analysis. Furthermore, clavicles and interclavicles are identified, the latter for the first time in dinosaurs. Their presence seems restricted to early sauropods, flagellicaudatans, and early Macronaria, and might thus be a retained plesiomorphy, with the loss of these bones being synapomorphic for Titanosauriformes and possibly Rebbachisauridae. The new material allows to test previous hypotheses of diplodocid phylogeny. In order to do so, any type specimen previously proposed to belong to Diplodocidae was included in the study, as are relatively complete referred specimens, in order to increase the degree of overlapping material. For specimens subsequently suggested to be non-diplodocid sauropods, their hypothesized sister taxa were included as outgroups. The current phylogenetic analysis thus includes 76 operational taxonomic units, 45 of which belong to Diplodocidae. The specimens were scored for 477 morphological characters, representing one of the most extensive phylogenetic analyses done within sauropod dinosaurs. The resulting cladogram recovers the classical arrangement of diplodocid relationships. Basing on a newly developed numerical approach to reduce subjectivity in the decision of specific or generic separation, species that have historically been included into well-known genera like Apatosaurus or Diplodocus, were detected to be actually generically different. Thereby, the famous genus Brontosaurus is resuscitated, and evidence further suggests that also Elosaurus parvus (previously referred to Apatosaurus) or ‘Diplodocus’ hayi represent unique genera. The study increases our knowledge about individual variation, and helps to decide how to score multi-species genera. Such a specimen-based phylogenetic analysis thus proves a valuable tool to validate historic species in sauropods, and in paleontology as a whole.

Double-walled PLLA/PLGA particles for the sustained release of Meloxicam: preparation, characterisation and contolled release studies

There were two main objectives in this thesis investigation, first, the production, characterisation, in vitro degradation and release studies of double walled microspheres for drug release control. The second one, and the most challenging, was the production of double walled nanospheres, also for drug control delivery. The spheres were produced using two polymers, the Poly(L-lactide)Acid, PLLA, and the Poly(L-lactide-co-glycolic)Acid, PLGA.Afterwards, a model drug, Meloxicam, which is an antiinflammatory drug, was encapsulated into the particles. Micro and nanospheres were produced by the solvent extraction/evaporation method, where perfect spherical particles were obtained. By varying the polymers PLLA/PLGA mass ratio, different core and shell composition, as well as several shell and core thickness were observed. In the particles with a PLLA/PLGA mass ratio 1:1, the shell is composed by PLLA and the core by PLGA. It was also verified that the Meloxicam has a tendency to be distributed in the PLGA layer. Micro and nanoparticles were characterised in morphology, size, polymer cristalinity properties and drug distribution. Particles degradation studies was performed, where the particles in a PVA solution of pH 7,4 where placed in an incubator, during approximately 40 days, at 120rpm, and 37ºC, simulating, as much as possible, the human body environment. From these studies, the conclusion was that particles containing a PLGA shell and a PLLA core degrade more rapidly, due to the fact that PLLA is more hydrophobic than the PLGA. Concerning the drug release controlled results, done also for 40 and 50 days, they showed that the microspheres containing a shell of PLLA release more slowly than when the shell is composed of PLGA. This result was predictable, since the drug is solubilised in the PLGA polymer and so, in that case, the PLLA shell works like a barrier between the drug and the outer medium. Another positive aspect presented by this study is the lower initial burst effect, obtained when using double walled particles, which is one of the advantages of the same. In a second part of this investigation, the production of the nanospheres was the main goal, since it was not yet accomplished by other authors or investigators. After several studies, referring to the speed, time and type of agitation, as well as, the concentration and volume of the first aqueous solution of poly-vinyl-alcohol (PVA) during the process of solvent extraction/evaporation it was possible to obtain double walled nanospheres.(...)

Análise de verificações indirectas do EC2 para a deformação de lajes e vigas

O presente trabalho tem como objetivo avaliar os limites de esbelteza preconizados nos regulamentos e normas utilizados em Portugal relativamente ao estado limite de deformação. Serão comparados diretamente para os mesmos vãos, os conceitos de verificação indireta de deformação do Regulamento de Estruturas de Betão Armado e Pré-esforçado (REBAP) e do Eurocódigo 2: Parte 1–1 (EC2-1-1), para lajes e vigas. Inicialmente será efetuado um estudo académico paramétrico, onde são avaliadas as flechas verticais em serviço para diferentes vãos, condições de apoio e geometria em planta. São comparados inicialmente os valores das flechas para análises lineares, usando as tabelas de Bares e modelos de elementos finitos com o software comercial SAP2000, de maneira a validar o modelo. De seguida são aplicados os métodos simplificativos de cálculo de flechas a longo prazo usando os ábacos do Comité Euro-International du Béton (CEB). Estes valores são depois comparados com as análises fisicamente não lineares em estado fendilhado a longo prazo com o SAP2000. O objetivo principal é portanto estabelecer comparações entre os dois métodos de análise pretendendo-se mostrar que a modelação com elementos finitos conduz a valores de deformações inferiores ao cálculo analítico permitindo uma maior economia no dimensionamento de elementos estruturais. Para finalizar é apresentado um manual de utilizador com o intuito de auxiliar o processo de modelação de elementos estruturais com elementos finitos não lineares utilizando o programa referido.