Specification of software architecture reconfiguration

In the past years, Software Architecture has attracted increased attention by academia and industry as the unifying concept to structure the design of complex systems. One particular research area deals with the possibility of reconfiguring architectures to adapt the systems they describe to new requirements. Reconfiguration amounts to adding and removing components and connections, and may have to occur without stopping the execution of the system being reconfigured. This work contributes to the formal description of such a process. Taking as a premise that a single formalism hardly ever satisfies all requirements in every situation, we present three approaches, each one with its own assumptions about the systems it can be applied to and with different advantages and disadvantages. Each approach is based on work of other researchers and has the aesthetic concern of changing as little as possible the original formalism, keeping its spirit. The first approach shows how a given reconfiguration can be specified in the same manner as the system it is applied to and in a way to be efficiently executed. The second approach explores the Chemical Abstract Machine, a formalism for rewriting multisets of terms, to describe architectures, computations, and reconfigurations in a uniform way. The last approach uses a UNITY-like parallel programming design language to describe computations, represents architectures by diagrams in the sense of Category Theory, and specifies reconfigurations by graph transformation rules.

A high level e-maintenance architecture to support on-site teams

Emergent architectures and paradigms targeting reconfigurable manufacturing systems increasingly rely on intelligent modules to maximize the robustness and responsiveness of modern installations. Although intelligent behaviour significantly minimizes the occurrence of faults and breakdowns it does not exclude them nor can prevent equipment’s normal wear. Adequate maintenance is fundamental to extend equipments’ life cycle. It is of major importance the ability of each intelligent device to take an active role in maintenance support. Further this paradigm shift towards “embedded intelligence”, supported by cross platform technologies, induces relevant organizational and functional changes on local maintenance teams. On the one hand, the possibility of outsourcing maintenance activities, with the warranty of a timely response, through the use of pervasive networking technologies and, on the other hand, the optimization of local maintenance staff are some examples of how IT is changing the scenario in maintenance. The concept of e-maintenance is, in this context, emerging as a new discipline with defined socio-economic challenges. This paper proposes a high level maintenance architecture supporting maintenance teams’ management and offering contextualized operational support. All the functionalities hosted by the architecture are offered to the remaining system as network services. Any intelligent module, implementing the services’ interface, can report diagnostic, prognostic and maintenance recommendations that enable the core of the platform to decide on the best course of action.

DSAAR: distributed software architecture for autonomous robots

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

Functional role of macrobenthos in estuarine sediment dynamics

Thesis submitted to the Universidade Nova de Lisboa,Faculdade de Ciências e Tecnologia for the degree of Doctor of Philosophy in Environmental Engineering

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

A stratigraphic framework for the Miocene from the lower Tagus Basin (Lisbon, Setúbal Península, Portugal) Depositional sequences, biostratigraphy and isotopic ages

Rev. Soc. Geol. España, 12(1), ano 1999

Coastal sedimentary environments and sea-level changes

A detailed knowledge of the 3-D arrangement and lateral facies relationships of the stacking patterns in coastal deposits is essential to approach many geological problems such as precise tracing of sea level changes, particularly during small scale fluctuations. These are useful data regarding the geodynamic evolution of basin margins and yield profit in oil exploration. Sediment supply, wave-and tidal processes, coastal morphology, and accommodation space generated by eustasy and tectonics govern the highly variable architecture of sedimentary bodies deposited in coastal settings. But these parameters change with time, and erosional surfaces may play a prominent role in areas located towards land. Besides, lateral shift of erosional or even depositional loci very often results in destruction of large parts of the sediment record. Several case studies illustrate some commonly found arrangements of facies and their distinguishing features. The final aim is to get the best results from the sedimentological analysis of coastal units.

High resolution stratigraphy and miocene facies correlation in Lisbon and Setúbal Peninsula (Lower Tagus basin, Portugal)

Correlation between facies associations (marine, estuarine and distal fluviatile environments) and disconformities, observed between Foz da Fonte (SW of Setúbal Peninsula) and Santa Iria da Azóia (NE of Lisbon) are presented. The precise definition of the marine-continental facies relationships improved very much the chronology of the depositional sequence boundaries. Tectonic and eustatic controls are discussed on the basis of subsidence rates variation.

The three main marine depositional cycles of the Neogene of Portugal

The present work follows a stratigraphic model for the marine Neogene of Portugal based on the definition of three main marine sedimentary cycles. Conceptually the I, II and III Neogene Cycles can be defined as 2nd order sedimentary sequences with duration ranging from 5 to 8 Ma. The I Neogene Cycle is fully represented only in the Lower Tagus Basin. Ranging from the Early Aquitanian to the Late Burdigalian the I Neogene Cycle testify a transgressive episode in the region of Lisbon and Setúbal Peninsula. Rapid lateral facies variations suggest a shallowmarine basin. This cycle ends with an important Late Burdigalian tectonic compressive event expressed by uplift of the surrounding areas and deformation affecting the Early Miocene deposits of the Arrábida Chain. The II Neogene Cycle includes thick sedimentary sequences covering Paleozoic and Mesozoic formations in the Algarve and Alvalade-Melides regions and it extends as far north as Santarém in the Lower Tagus Basin. Mainly controlled by global eustasy, it was generated by the important positive eustatic trend that characterized the Middle Miocene worldwide to which the Portuguese continental margin acted more or less passively. This cycle ended with a second and the most important compression event starting after the end of the Serravallian affecting the entire Portuguese onshore and shelf areas. This led to an important depositional hiatus of marine sediments for more than 2.5 Ma. During the Early and the Middle Tortonian occurred the clockwise rotation of the Guadalquivir Basin. The thickmarine units deposited afterwards in this basin produced a litostatic load, which seems to have induced subsidence farther west resuming the Neogene marine sedimentation in the Cacela region (Eastern Algarve), during the Late Tortonian. This marks the beginning of the III Neogene Cycle. To the north, in the Sado Basin (Alvalade-Melides region), a similar depositional sequence starts its sedimentation during the Messinian. Further north, in the Pombal-Caldas da Rainha region, marine sedimentation started during the Late Pliocene (Piacenzian). The migration in time, from south to north for the beginning of the marine sedimentation of this cycle is interpreted as reflecting a visco-elastic propagation of the deformation from the Betic chain northwards.

Lithostratigraphy, sequence stratigraphy and depositional setting of the Pliensbachian and Toarcian series in the Lusitanian Basin, Portugal

In the Lusitanian Basin (Central Portugal), the Middle-Upper Liassic series are characterized by an expressive marly limestone accumulation, sediments that were deposited on a homoclinal carbonate ramp. These series belong to the Vale das Fontes, Lemede, S. Gião (and the lateral equivalents Prado and Cabo Carvoeiro Formations) and, partially, to the Póvoa da Lomba Formations. These units, in great part controlled by an accurate ammonite biostratigraphic scale, are organized into two secondorder transgressive-regressive sequences. The first one (SP) is dated of early Pliensbachian/lowermost early Toarcian age; the second (ST) is dated of early Toarcian to early Aalenian.

Assessing the balance between biodiversity conservation and coastal and estuarine management of the Sado Estuary Natural Reserve, Portugal, using BIO-SAFE

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 de Engenharia Ecológica

Biomarkers in Solea Senegalensis Kaup, 1858 exposed to contaminated estuarine sediments: a multi-level approach

Thesis submitted to the Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia for the degree of Doctor of Philosophy in Environmental Sciences

An agent based architecture for material handling systems

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Service-oriented architecture for device lifecycle support in industrial automation

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores Especialidade: Robótica e Manufactura Integrada

The stone and the cross. Indo-Portuguese Jesuit Architecture in Ethiopia. 1603-33

A fundação de uma missão jesuita no Norte da Etiópia em 1603, na província do Tigré, pelo enérgico Pe. Pero Pais, S. J. teólogo, construtor e historiador vindo de Goa, tomou um forte impulso com a aliança pretendida com os Portugueses pelo imperador Susénios (1619-20) para o apoio militar contra os muçulmanos; e, sobretudo, após a sua conversão oficial à Igreja Católica Romana, em 1626. Uma dúzia de inovadores edifícios foram então construídos pelos Jesuítas na região paradisíaca em torno do Lago Tana: basílicas, igrejas, palácios e jardins, complexos palatinos e eclesiásticos, colégios, etc. A tipologia em cruz latina e ornatos incisos é deliberadamente diferente das igrejas ortodoxas etíopes, circulares e em madeira. A técnica de construção em pedra e cal, ignorada na Etiópia, significou uma revolução. No presente texto procura-se determinar a quem deve ser atribuído este inédito surto construtivo, deixando de lado as teorias tradicionais de pedreiros vindos de Portugal ou de construtores locais. Com base na evidência estilística e em referências de textos da época, atribui-se a inovação a padres e “irmãos” jesuitas com experiência de arquitectos na Índia portuguesa e a construtores de Goa e de Diu, definindo a arte portuguesa na Etiópia como uma província da arquitectura indo-portuguesa na Índia, prosseguida após a expulsão dos Jesuítas (1633) com os “castelos portugueses”, ou paços acastelados da nova capital, Gondar.