Integração de reacção e deliberação em agentes inteligentes

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Redes de Comunicação e Multimédia

Constraint reasoning for differential models

The basic motivation of this work was the integration of biophysical models within the interval constraints framework for decision support. Comparing the major features of biophysical models with the expressive power of the existing interval constraints framework, it was clear that the most important inadequacy was related with the representation of differential equations. System dynamics is often modelled through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focussed on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables. The application of the constraint propagation algorithm for pruning the variable domains, that is, the enforcement of local-consistency, turned out to be insufficient to support decision in practical problems that include differential equations. The domain pruning achieved is not, in general, sufficient to allow safe decisions and the main reason derives from the non-linearity of the differential equations. Consequently, a complementary goal of this work proposes a new strong consistency criterion, Global Hull-consistency, particularly suited to decision support with differential models, by presenting an adequate trade-of between domain pruning and computational effort. Several alternative algorithms are proposed for enforcing Global Hull-consistency and, due to their complexity, an effort was made to provide implementations able to supply any-time pruning results. Since the consistency criterion is dependent on the existence of canonical solutions, it is proposed a local search approach that can be integrated with constraint propagation in continuous domains and, in particular, with the enforcing algorithms for anticipating the finding of canonical solutions. The last goal of this work is the validation of the approach as an important contribution for the integration of biophysical models within decision support. Consequently, a prototype application that integrated all the proposed extensions to the interval constraints framework is developed and used for solving problems in different biophysical domains.

The generalized multiprocessor periodic resource interface model for hierarchical multiprocessor scheduling

Composition is a practice of key importance in software engineering. When real-time applications are composed it is necessary that their timing properties (such as meeting the deadlines) are guaranteed. The composition is performed by establishing an interface between the application and the physical platform. Such an interface does typically contain information about the amount of computing capacity needed by the application. In multiprocessor platforms, the interface should also present information about the degree of parallelism. Recently there have been quite a few interface proposals. However, they are either too complex to be handled or too pessimistic.In this paper we propose the Generalized Multiprocessor Periodic Resource model (GMPR) that is strictly superior to the MPR model without requiring a too detailed description. We describe a method to generate the interface from the application specification. All these methods have been implemented in Matlab routines that are publicly available.

Renewable energy in Islands: an integrated proposal for electricity generation and transports

The purpose of this article is to analyse and evaluate the economical, energetic and environmental impacts of the increasing penetration of renewable energies and electrical vehicles in isolated systems, such as Terceira Island in Azores and Madeira Island. Given the fact that the islands are extremely dependent on the importation of fossil fuels - not only for the production of energy, but also for the transportation’s sector – it’s intended to analyse how it is possible to reduce that dependency and determine the resultant reduction of pollutant gas emissions. Different settings have been analysed - with and without the penetration of EVs. The Terceira Island is an interesting case study, where EVs charging during off-peak hours could allow an increase in geothermal power, limited by the valley of power demand. The percentage of renewable energy in the electric power mix could reach the 74% in 2030 while at the same time, it is possible to reduce the emissions of pollutant gases in 45% and the purchase of fossil fuels in 44%. In Madeira, apart from wind, solar and small hydro power, there are not so many endogenous resources and the Island’s emission factor cannot be so reduced as in Terceira. Although, it is possible to reduce fossil fuels imports and emissions in 1.8% in 2030 when compared with a BAU scenario with a 14% of the LD fleet composed by EVs.

Renewable energy in Islands: an integrated proposal for electricity generation and transports

The purpose of this article is to analyse and evaluate the economical, energetic and environmental impacts of the increasing penetration of renewable energies and electrical vehicles in isolated systems, such as Terceira Island in Azores and Madeira Island. Given the fact that the islands are extremely dependent on the importation of fossil fuels - not only for the production of energy, but also for the transportation’s sector – it’s intended to analyse how it is possible to reduce that dependency and determine the resultant reduction of pollutant gas emissions. Different settings have been analysed - with and without the penetration of EVs. The Terceira Island is an interesting case study, where EVs charging during off-peak hours could allow an increase in geothermal power, limited by the valley of power demand. The percentage of renewable energy in the electric power mix could reach the 74% in 2030 while at the same time, it is possible to reduce the emissions of pollutant gases in 45% and the purchase of fossil fuels in 44%. In Madeira, apart from wind, solar and small hydro power, there are not so many endogenous resources and the Island’s emission factor cannot be so reduced as in Terceira. Although, it is possible to reduce fossil fuels imports and emissions in 1.8% in 2030 when compared with a BAU scenario with a 14% of the LD fleet composed by EVs.

Estudo Estratigráfico e Paleontológico do Jurássico do Algarve Ocidental

Algarve Province, Southern Portugal, corresponds in part to a meso-cenozoic basin running along the coast from Cabo S. Vicente to beyond Spanish border. Structurally it is a big monocline plunging southwards much deformed mainly by two East-West longitudinal flexures. Lithostratigraphical and chronostratigraphical studies dealt specially with Jurassic formations. This and the geological mapping of the post-Hercynian sedimentary formations allow us to define the following units: Triassic-Lower Liassic Arenitos de Silves (Silves sandstones sensu P. Choffat, pro parte) - At their base the Silves sandstones (0-150m) are represented mainly by cross-bedded red sandstones. This unit is Upper Triassic (Keuper) in age, on the evidence of some Brachiopoda. Complexo margo-carbonatado de Silves (Silves marl-limestone complex=Silves sandstones sensu P. Choffat, pro parte) (80-200m) overlies the preceding, it may be reported to the Upper Triassic-Hettangian. It consists of a thick pelite-marl-dolomite-limestone series with many intercalations of greenstones. Since no fossils were found it is not possible to conclude whether it is still Hettangian or if it does correspond, in the whole or in part, already to the Sinemurian. Liassic Dolomitos e calcários dolomíticos de Espiche (Espiche dolomite-rocks and dolomitic-limestones) - The usually massive and finely crystalline or saccharoidal dolomites and dolomitic-limestones are the toughest strata of the Algarve margin giving rise to several hills. Its thickness attains in certain points 60 metres at least. Based on geometry and on lithological similarities with the carbonated complex of the northern basin of Tagus river (Peniche, São Pedro de Muel, Quiaios), this formation can be accepted as Sinemurian in age. As it happens with the carbonated complex, here also the first dolomite beds are non-isochronal throughout the region; upper time-limit of the dolomitic facies is either Lower Carixian, Lower Toarcian or even Lower Dogger. The dolomitization is secondary but not much later than sedimentation. However, between Cabo S. Vicente-Vila do Bispo there is evidence of an even later secondary dolomitization related to the regional fault complex. Calcário dolomítico com nódulos de silex da praia de Belixe (Belixe beach dolomitic-limestone with silex nodules) (50-55m) - Ascribed to Lower or Middle Carixian on the basis of Platypleuroceras sp., Metaderoceras sp. nov. and M. gr. Venarense. Calcário cristalino compacto com Protogrammoceras, Fuciniceras e ? Argutarpites de Belixe (Belixe compact crystalline limestone with Protogrammoceras, Fuciniceras and ? Argutarpites) (30m) - Ascribed to Lower Domerian. Middle and Upper Domerian are indicated but by a single specimen of ? Argutarpites. Calcários margosos e margas com Dactylioceras semicelatum e Harpoceratídeos de Armação Nova (Armação Nova marly limestones and marls with D. semicelatum and Harpoceratidae) (25m) -Ascribed to Lower Toarcian. Middle and Upper Toarcian formations are not known in the Algarve. Dogger Calcários oolíticos, c. corálicos, c. pisolíticos, c. calciclásticos, c. dolomíticos e dolomitos de Almadena (Almadena oolitic-limestones, coral-reef-limestones, pisolite-limestones, limeclastic-limestones, dolomitic-limestones and dolomite-rocks) (more than 50 metres), with lagoonal facies. Ascribed to Aalenian-Bathonian-? Callovian. Margas acinzentadas e calcários detríticos com Zoophycos da praia de Mareta (Mareta beach greyish marls and detritical limestones with Zoophycos) (40m) - Pelagic transreef facies with Upper Bajocian and Bathonian ammonites. Calcários margosos e margas da praia de Mareta (Mareta beach pelagic marly-limestones and marls) (110m) - Ascribed to the Callovian on its ammonites. Malm Near Cabo S. Vicente and Sagres the first Upper Jurassic level consists of a yellowish-brown nodular, compact, locally phosphated and ferruginous, sometimes conglomeratic, marly limestone (0,35-1,50m) containing a rich macrofauna, which includes: 1) Callovian forms unknown at Lower Oxfordian; 2) Upper Callovian forms that still survived in Lower and Middle Oxfordian; 3) Lower Oxfordian forms (Mariae and Cordatum Zones); 4) Lower and Middle Oxfordian forms (Mariae to Plicatilis Zone); 5) Middle Oxfordian forms (plicatilis Zone), and some ones appearing in Middle Oxfordian. This condensed deposit is therefore dated from Middle Oxfordian (Plicatilis Zone). The other Upper Jurassic lithostratigraphical units were also mapped but their detailed study is not presented in this work. Correlations between lithostratigraphical and chronostratigraphical scales from P. Choffat, J. Pratsch, C. Palain and from the author are stated. Further correlations are attempted between zonc scales of Carixian-Lower Toarcian and Upper Bajocian-Middle Oxfordian of France, Spain (Asturias, Iberian and Betic Chains), Argel (Orania) and Portugal (northern Tagus basin and Algarve). The study of pyritous fossil assemblages common in Upper Bathonian-Lower Callovian marly levels of the praia da Mareta seems to suggest that these sediments were deposited in a bay or in an almost closed coastal re-entrance virtually without deep water circulation. Although such conditions may occur at any depth one may suppose that these ones actually correspond to an infralittoral neritic environment. The thaphocoenosis collected there are almost entirely composed of nektonic (ammonites, Belemnites) and planktonic (Bositra) faunas. The sedentary (crinoids, brachiopods) or free (sea-urchins, gastropods) epibenthonic forms are very scarce; endobenthonic forms are not known. The palaeontological study of all Nautiloids and Ammonoids of the Liassic and Dogger is presented (except Kosmoceratidae and Perisphinctaceae). Among the thirty one taxa dealt with, one is new (Metaderoceras sp. nov.) and the great majority of the others has been identified for the first time in Algarve. Some others have never been reported before in Portuguese formations. The evolution, during Jurassic times, of the sedimentary basins of the Portuguese plate margin is described. The absence of Cephalopods in the very extensive marly and dolomitic limestones, partly marine, suggests that, during Lower Liassic, palaeogeography underwent no great changes. Dolomitic-limestone with silex nodules from Cabo S. Vicente contain the first ammonites recorded at the base of the Middle Liassic. This facies, although very common in Tethys, is unknown north of the Tagus. The faunal assemblage has a mediterranean to submediterranean character. Comparisons between faunal assemblage" from Algarve with the ones known north of the Tagus show that communications between Boreal Europe and Tethys, virtually non-existent during Lower and Middle Carixian, became very easy during Lower Domerian. In earlier Pliensbachian times two distinct seas were adjacent to the Iberian plate. One, an epicontinental sea with a tethyan fauna, extended southwards from the Meseta margin. Another, was a boreal sea; during its transgressive episodes boreal faunas attained into the basin north of the Tagus. During Middle Carixian and Lower Domerian, owing to simultaneous transgressions, these two seas joined together allowing faunal exchanges along the epicontinental areas which limited the emerging hercynian chains belts. During Liassic, the Algarve belonged undoubtedly to the tethyan submediterranean province. The area north of the Tagus, on the contrary, was a complex realm where subboreal and tethyan affinities alternatively prevailed. In the Algarve the first Middle Jurassic deposits do frequently show lateral thickness reductions as well as unconformities contemporaneous with other generalized disturbances on the sedimentation processes in other parts of Europe. By this time, near Sagres, a barrier reef developed separating lagoonal or ante-reef facies from the transreef pelagic zone. The presence of tethyan fauna, the abundance of Phylloceratidae and the absence of boreal forms allow us to consider the Algarve basin as a submediterranean province. The presence of Callovian pelagic fossiliferous formations in the Loulé area shows that during Middle Jurassic the marl-limestone transreef sedimentation was not confined to the western Algarve. They would extend eastwards where they only can be seen in the core of some anticlines. This is due to the progressive sinking of the meso-cenozoic formations as we proceed towards the South of the Sagres-Algoz-Querença flexure. In the whole of the Peninsule, and as for the Middle Callovian, an important regression can be clearly recognized on the evidence of an erosion surface which strikes obliquely the Middle and Upper Callovian strata. The geographic boundaries of the different faunal provinces are not changed by the presence of many Kosmoceratidae in the phosphate nodules since they are but a minority in comparison with the tethyan forms. An abstract model can be constructed showing that in Western Europe the Kosmoceratidae may have migrated South and westwards through a channel of the sea that linked Paris basin to Poitou and Aquitaine. By migrating between the Iberian meseta and the Armorican massif this fauna reached northern Tagus basin at the beginning of Upper Callovian (Athleta Zone); this south and southwest bound migration would have proceeded, allowing such forms to reach Algarve basin only in latest Callovian times (Lamberti Zone). This migration means that during Middle Jurassic a widely spread North Atlantic sea would exist, flooding the western part of Portugal up to the Poitou.

Connaissances stratigraphiques sur la base du Mésozoique portugais

In Portugal, the Mesozoic lower part is principally composed of conglomeratic, arenitic and pelitic deposits, which are here and there associated with carbonates rocks and evaporites. The Germanic Triassic succession is not observed. The Muschelkalk facies do not exist. Carbonates formation, and some thick evaporites deposits (Keuper facies) are of early Jurassic in age. The thick red beds accumulations deposited in a continental environment are Triassic. In Coimbra area the oldest palynomorphs found are Camian-Norian. In South Portugal (Algarve), the triassic serie must be more complete with a lower Triassic rich in Stegocephales bone-beds.

Dynamical behaviour of multi-particle large-scale systems

Collective behaviours can be observed in both natural and man-made systems composed of a large number of elemental subsystems. Typically, each elemental subsystem has its own dynamics but, whenever interaction between individuals occurs, the individual behaviours tend to be relaxed, and collective behaviours emerge. In this paper, the collective behaviour of a large-scale system composed of several coupled elemental particles is analysed. The dynamics of the particles are governed by the same type of equations but having different parameter values and initial conditions. Coupling between particles is based on statistical feedback, which means that each particle is affected by the average behaviour of its neighbours. It is shown that the global system may unveil several types of collective behaviours, corresponding to partial synchronisation, characterised by the existence of several clusters of synchronised subsystems, and global synchronisation between particles, where all the elemental particles synchronise completely.

Partitioned scheduling of multimode systems on multiprocessor platforms: when to do the mode transition?

Systems composed of distinct operational modes are a common necessity for embedded applications with strict timing requirements. With the emergence of multi-core platforms protocols to handle these systems are required in order to provide this basic functionality.In this work a description on the problems of creating an effective mode-transition protocol are presented and it is proven that in some cases previous single-core protocols can not be extended to handle the mode-transition in multi-core.

Literacia familiar: contributos para a promoção e desenvolvimento de boas práticas literácitas em contexto socio económico desfavorecido

Dissertação apresentada à Escola Superior de Educação de Lisboa para a obtenção de grau de Mestre em Didática da Língua Portuguesa no 1.º e 2.º Ciclos do Ensino Básico

Campos eletromagnéticos: perceção e aceitação do risco

Introdução e Objetivos – Os campos eletromagnéticos estão presentes naturalmente no Universo. Há alguns anos, os valores referentes a campos eletromagnéticos eram relativamente constantes. Com o desenvolvimento da tecnologia, a exposição a novas fontes de radiação eletromagnética aumentou. Desta forma, é normal que a preocupação pública, principalmente sobre os potenciais riscos para a saúde provenientes dos campos eletromagnéticos, tenha aumentado. O objetivo deste trabalho foi conhecer e analisar a preocupação e a perceção dos indivíduos sobre a radiação eletromagnética, tendo por base que um dos principais fatores para a adoção de medidas de precaução é o modo como o risco é percecionado pelo indivíduo. Metodologia – Trata-se de um estudo do tipo descritivo, de natureza quantitativa. A amostra, composta por 320 indivíduos, é de natureza não probabilística de conveniência. Resultados – Verificou-se que os inquiridos se manifestam “pouco preocupados” relativamente à exposição aos campos eletromagnéticos, desconhecem as fontes emissoras de radiação eletromagnética presentes no seu quotidiano e não tomam precauções relativamente à exposição a campos eletromagnéticos. Conclusões – Os indivíduos mostram imaturidade conscienciosa em relação à problemática da radiação eletromagnética, em parte justificada pela ausência de mecanismos sensoriais que a permitam detetar. A aposta na educação e sensibilização pode garantir um futuro com melhor qualidade de vida. É importante reunir esforços de várias entidades (saúde, meios de comunicação social e educação). A escola, através das crianças e jovens, constitui um meio privilegiado para a transmissão de informação.

The isolation and characterization of cytochrome c nitrite reductase subunits (NrfA and NrfH) from Desulfovibrio desulfuricans ATCC 27774

Eur. J. Biochem. 270, 3904–3915 (2003)

Calculating an upper bound on the finishing time of a group of threads executing on a GPU: a preliminary case study

Graphics processor units (GPUs) today can be used for computations that go beyond graphics and such use can attain a performance that is orders of magnitude greater than a normal processor. The software executing on a graphics processor is composed of a set of (often thousands of) threads which operate on different parts of the data and thereby jointly compute a result which is delivered to another thread executing on the main processor. Hence the response time of a thread executing on the main processor is dependent on the finishing time of the execution of threads executing on the GPU. Therefore, we present a simple method for calculating an upper bound on the finishing time of threads executing on a GPU, in particular NVIDIA Fermi. Developing such a method is nontrivial because threads executing on a GPU share hardware resources at very fine granularity.

Impacto dos sistemas colaborativos nas organizações: estudo de casos de adopção e utilização de sistemas workflow

Dissertação apresentada na Universidade do Minho com vista à obtenção do grau de Doutor em Tecnologias e Sistemas de Informação (Engenharia e Gestão de Sistemas de Informação)

Interactive light and sound table: an EPS@ISEP project

Interactive products are appealing objects in a technology-driven society and the offer in the market is wide and varied. Most of the existing interactive products only provide either light or sound experiences. Therefore, the goal of this project was to develop a product aimed for children combining both features. This project was developed by a team of four thirdyear students with different engineering backgrounds and nationalities during the European Project Semester at ISEP (EPS@ISEP) in 2012. This paper presents the process that led to the development of an interactive sound table that combines nine identical interaction blocks, a control block and a sound block. Each interaction block works independently and is composed of four light emitting diodes (LED) and one infrared (IR) sensor. The control is performed by an Arduino microcontroller and the sound block includes a music shield and a pair of loud speakers. A number of tests were carried out to assess whether the controller, IR sensors, LED, music shield and speakers work together properly and if the ensemble was a viable interactive light and sound device for children.