Automatic Electricity Markets Data Extraction for Realistic Multi-agent Simulations

Electricity markets worldwide suffered profound transformations. The privatization of previously nationally owned systems; the deregulation of privately owned systems that were regulated; and the strong interconnection of national systems, are some examples of such transformations [1, 2]. In general, competitive environments, as is the case of electricity markets, require good decision-support tools to assist players in their decisions. Relevant research is being undertaken in this field, namely concerning player modeling and simulation, strategic bidding and decision-support.

CANDi: context-aware node discovery for short-range cooperation

Multi-standard mobile devices are allowing users to enjoy higher data rates with ubiquitous connectivity. However, the benefits gained from multiple interfaces come at an expense—that being higher energy consumption in an era where mobile devices need to be energy compliant. One promising solution is the usage of short-range cooperative communication as an overlay for infrastructure-based networks taking advantage of its context information. However, the node discovery mechanism, which is pivotal to the bearer establishment process, still represents a major burden in terms of the total energy budget. In this paper, we propose a technology agnostic approach towards enhancing the MAC energy ratings by presenting a context-aware node discovery (CANDi) algorithm, which provides a priori knowledge towards the node discovery mechanism by allowing it to search nodes in the near vicinity at the ‘right time and at the right place’. We describe the different beacons required for establishing the cooperation, as well as the context information required, including battery level, modes, location and so on. CANDi uses the long-range network (WiMAX and WiFi) to distribute the context information about cooperative clusters (Ultra-wideband-based) in the vicinity. The searching nodes can use this context in locating the cooperative clusters/nodes, which facilitates the establishing of short-range connections. Analytical and simulation results are obtained, and the energy saving gains are further demonstrated in the laboratory using a customised testbed. CANDi saves up to 50% energy during the node discovery process, while the demonstrative testbed shows up to 75% savings in the total energy budget, thus validating the algorithm, as well as providing viable evidence to support the usage of short-range cooperative communications for energy savings.

Simulação de Robôs Quadrúpedes Utilizando o SimMechanics

Desde sempre o Homem procurou automatizar tarefas repetitivas. Tanto na indústria como no sector doméstico ou de comércio estão constantemente a surgir novos equipamentos procurando aumentar o nível de automação de diversas tarefas. A necessidade de empresas criadoras de produtos inovadores se manterem concorrenciais obrigou à adopção de métodos de projecto e planeamento mais estruturados e eficientes que eliminem os desperdícios tanto de material como de tempo. Diversas construções em termos orçamentais e o aumento da procura de produtos de alta qualidade a baixo custo deu origem a um novo tipo de programas, os programas de simulação virtual. Tal como na indústria, também na investigação nas Instituições de Ensino Superior se procuram adoptar os métodos de trabalho mais eficientes possíveis. Uma parte dos programas de simulação robótica utilizados hoje em dia na investigação no Instituto Superior de Engenharia do Porto estão concebidos em linguagem C. Embora esta linguagem seja extremamente capaz, existem métodos mais adequados de simulação que aceleram o processo de modelação permitindo a visualização do movimento e simulação de diversas situações potencialmente criticas sem existir a necessidade de construção de um protótipo funcional do robô. Durante o último ano, este projecto permitiu construir um modelo de um robô quadrúpede num programa de simulação virtual chamado Simmechanics™. Embora haja já algum trabalho desenvolvido nesta área, constatou-se que a informação existente possuía algumas lacunas. Com o trabalho desenvolvido preparou-se esta dissertação que pretende clarificar algumas questões que surgem na modelação de um robô. Neste documento explica-se como modelar um robô de corpo flexível, modelar as pernas e as respectivas juntas da anca e do joelho assim como também se apresenta a modelação de um contacto com o solo recorrendo a um modelo descrito na literatura. Este documento foi escrito a pensar no leitor, procurando-se explicar de forma simples mas concisa os diversos passos necessários para construir um modelo virtual de um robô. O autor espera, desta forma, ajudar futuros colegas que pretendam trabalhar com o Simmechanics™ a mais facilmente se integrarem com o programa aumentando desta forma o declive da curva de aprendizagem e permitindo um maior aproveitamento desta ferramenta.

Projeto de Sistema Fotovoltaico Para as Naves Industriais da Zona Econômica Especial de Luanda-Bengo

Com os preços do barril de petróleo a atingir níveis nunca antes atingidos, cada vez mais há uma maior sensibilização para a importância das fontes renováveis de energia, não só pelo seu baixo custo de exploração, mas também pela ausência de poluição ambiental. A integração de sistemas fotovoltaicos nas edificações, começa a ter uma expressão significativa especialmente por ser uma forma de produção renovável. Pelo seu carácter renovável, vai ao encontro de objetivos ambientais, e é também desejável pelo seu carácter distribuído, produção próxima do consumo, evitando perdas de transporte e utilizando o recurso disponível no consumidor. No presente projeto é feita uma breve descrição do atual sistema elétrico angolano, nomeadamente o seu potencial, capacidade instalada, e perspetivas futuras de desenvolvimento do mesmo. Com uma perspetiva introdutória são abordadas as energias renováveis especialmente a energia fotovoltaica, terminando com as diferentes formas de produção e tecnologias existentes. São apresentados diferentes equipamentos, que, com as inúmeras combinações poderão vir a constituir um sistema técnico e financeiramente viável. Devido aos vários cenários possíveis (combinações entre equipamentos), foram usadas como instrumentos de apoio ferramentas informáticas que permitem o dimensionamento de sistemas fotovoltaicos, análise de compatibilidades, e simulação do seu funcionamento. Foram dimensionadas quatro opções de sistemas fotovoltaicos, a instalar nas naves industriais da Zona Económica Especial Luanda-Bengo, para uma mesma área de cobertura, seguido de um estudo económico, onde é feito uma comparação custo/benefício dos vários sistemas.

Application of OSN in membrane cascade for purification of the API Amoxicillin

Dissertação para obtenção do Grau de Mestre em Engenharia Química e Bioquímica

Insights into Campylobacter jejuni Desulforubrerythrin catalytic mechanism

Dissertation presented to obtain the Master Degree in Molecular Genetics and Biomedicine

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

Anphira branchialis GEN. ET SP. NOV. (CRUSTACEA, ISOPODA, CYMOTHOIDAE) A GILL CAVITY PARASITE OF PIRANHAS (Serrasalmus SPP.) IN THE BRAZILIAN AMAZON

Anphira branchialisgen. et sp. nov. (Crustacea, Isopoda, Cymothoidae) is described from the dorsal areas of the gill chambers of three species of piranhas (Serrasalmusspp.). The fishes were caught in rivers near Manaus, Amazonas State and on Maracá island, Federal Territory of Roraima, Brasil. The new genus and species is characterized by having large, flat coxal plates on ail 7 pereonites. These plates usually extend beyond the margins of the following segments and the 7th ones extend nearly to the pleotelson and cover the lateral margins of the pleonites. The mandible of this species is rounded, "foot shaped" and without incisor. The mandibular palp is short and stout. The maxillules have 3 terminal and 2 subterminal spines. The pleopods are simple lamellar structures with rounded tips. Evidence is presented that these parasites feed on gill filaments.

Uma ferramenta para cálculo da máxima intensidade da ilha de calor noturna

O objetivo deste artigo é verificar a influência da geometria urbana na intensidade de ilhas de calor noturnas com uso de uma ferramenta computacional desenvolvida como extensão de um SIG. O método deste trabalho está dividido em três principais etapas: desenvolvimento da ferramenta, calibração do modelo e simulação de cenários hipotéticos com diferentes geometrias urbanas. Um modelo simplificado que relaciona as intensidades máximas de ilha de calor urbana (ICUmáx) com a geometria urbana foi incorporado à subrotina de cálculo e, posteriormente, adaptado para fornecer resultados mais aproximados à realidade de duas cidades brasileiras, as quais serviram de base para a calibração do modelo. A comparação entre dados reais e simulados mostraram uma diferença no aumento da ICUmáx em função da relação H/W e da faixa de comprimento de rugosidade (Z0). Com a ferramenta já calibrada, foi realizada uma simulação de diferentes cenários urbanos, demonstrando que o modelo simplificado original subestima valores de ICUmáx para as configurações de cânions urbanos de Z0 < 2,0 e superestima valores de ICUmáx para as configurações de cânions urbanos de Z0 ≥ 2,0. Além disso, este estudo traz como contribuição à verificação de que cânions urbanos com maiores áreas de fachadas e com alturas de edificações mais heterogêneas resultam em ICUmáx menores em relação aos cânions mais homogêneos e com maiores áreas médias ocupadas pelas edificações, para um mesmo valor de relação H/W. Essa diferença pode ser explicada pelos diferentes efeitos na turbulência dos ventos e nas áreas sombreadas provocados pela geometria urbana.

A geographic opportunistic forwarding strategy for vehicular named data networking

Studies in Computational Intelligence, 616

An evaluation of parchments' degradation a hybrid approach

Parchment stands for a multifaceted material made from animal skin, which has been used for centuries as a writing support or as bookbinding. Due to the historic value of objects made of parchment, understanding their degradation and their condition is of utmost importance to archives, libraries and museums, i.e., the assessment of parchment degradation is mandatory, although it is hard to do with traditional methodologies and tools for problem solving. Hence, in this work we will focus on the development of a hybrid decision support system, in terms of its knowledge representation and reasoning procedures, under a formal framework based on Logic Programming, complemented with an approach to computing centered on Artificial Neural Networks, to evaluate Parchment Degradation and the respective Degree-of-Confidence that one has on such a happening.

Evaluation of temperature influence on embedded kinematic system

Dissertação de mestrado integrado em Engenharia Mecânica

Análise e simulação da produção de moldes para injeção de plásticos

Dissertação de mestrado em Engenharia Industrial

Análise e simulação do processo de dobragem de um tubo elíptico utilizando um aço avançado de elevada resistência

Dissertação de mestrado integrado em Engenharia Mecânica

Gestão sustentável de águas pluviais em ambiente urbano

Dissertação de mestrado integrado em Engenharia Civil