Prescribed burning impact on forest soil properties – a fuzzy boolean nets approach

The Portuguese northern forests are often and severely affected by wildfires during the Summer season. These occurrences significantly affect and negatively impact all ecosystems, namely soil, fauna and flora. In order to reduce the occurrences of natural wildfires, some measures to control the availability of fuel mass are regularly implemented. Those preventive actions concern mainly prescribed burnings and vegetation pruning. This work reports on the impact of a prescribed burning on several forest soil properties, namely pH, soil moisture, organic matter content and iron content, by monitoring the soil self-recovery capabilities during a one year span. The experiments were carried out in soil cover over a natural site of Andaluzitic schist, in Gramelas, Caminha, Portugal, which was kept intact from prescribed burnings during a period of four years. Soil samples were collected from five plots at three different layers (0–3, 3–6 and 6–18) 1 day before prescribed fire and at regular intervals after the prescribed fire. This paper presents an approach where Fuzzy Boolean Nets (FBN) and Fuzzy reasoning are used to extract qualitative knowledge regarding the effect of prescribed fire burning on soil properties. FBN were chosen due to the scarcity on available quantitative data. The results showed that soil properties were affected by prescribed burning practice and were unable to recover their initial values after one year.

Reason Maintenance Systems: Tools for Foundations-based Belief Revision

Dynamic and distributed environments are hard to model since they suffer from unexpected changes, incomplete knowledge, and conflicting perspectives and, thus, call for appropriate knowledge representation and reasoning (KRR) systems. Such KRR systems must handle sets of dynamic beliefs, be sensitive to communicated and perceived changes in the environment and, consequently, may have to drop current beliefs in face of new findings or disregard any new data that conflicts with stronger convictions held by the system. Not only do they need to represent and reason with beliefs, but also they must perform belief revision to maintain the overall consistency of the knowledge base. One way of developing such systems is to use reason maintenance systems (RMS). In this paper we provide an overview of the most representative types of RMS, which are also known as truth maintenance systems (TMS), which are computational instances of the foundations-based theory of belief revision. An RMS module works together with a problem solver. The latter feeds the RMS with assumptions (core beliefs) and conclusions (derived beliefs), which are accompanied by their respective foundations. The role of the RMS module is to store the beliefs, associate with each belief (core or derived belief) the corresponding set of supporting foundations and maintain the consistency of the overall reasoning by keeping, for each represented belief, the current supporting justifications. Two major approaches are used to reason maintenance: single-and multiple-context reasoning systems. Although in the single-context systems, each belief is associated to the beliefs that directly generated it—the justification-based TMS (JTMS) or the logic-based TMS (LTMS), in the multiple context counterparts, each belief is associated with the minimal set of assumptions from which it can be inferred—the assumption-based TMS (ATMS) or the multiple belief reasoner (MBR).

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.

Intelligent Micro Grid Management using a Multi-Agent approach

Recent changes in electricity markets (EMs) have been potentiating the globalization of distributed generation. With distributed generation the number of players acting in the EMs and connected to the main grid has grown, increasing the market complexity. Multi-agent simulation arises as an interesting way of analysing players’ behaviour and interactions, namely coalitions of players, as well as their effects on the market. MASCEM was developed to allow studying the market operation of several different players and MASGriP is being developed to allow the simulation of the micro and smart grid concepts in very different scenarios This paper presents a methodology based on artificial intelligence techniques (AI) for the management of a micro grid. The use of fuzzy logic is proposed for the analysis of the agent consumption elasticity, while a case based reasoning, used to predict agents’ reaction to price changes, is an interesting tool for the micro grid operator.

Adaptive Learning in Games: Defining Profiles of Competitor Players

Artificial Intelligence has been applied to dynamic games for many years. The ultimate goal is creating responses in virtual entities that display human-like reasoning in the definition of their behaviors. However, virtual entities that can be mistaken for real persons are yet very far from being fully achieved. This paper presents an adaptive learning based methodology for the definition of players’ profiles, with the purpose of supporting decisions of virtual entities. The proposed methodology is based on reinforcement learning algorithms, which are responsible for choosing, along the time, with the gathering of experience, the most appropriate from a set of different learning approaches. These learning approaches have very distinct natures, from mathematical to artificial intelligence and data analysis methodologies, so that the methodology is prepared for very distinct situations. This way it is equipped with a variety of tools that individually can be useful for each encountered situation. The proposed methodology is tested firstly on two simpler computer versus human player games: the rock-paper-scissors game, and a penalty-shootout simulation. Finally, the methodology is applied to the definition of action profiles of electricity market players; players that compete in a dynamic game-wise environment, in which the main goal is the achievement of the highest possible profits in the market.

Application-Specific Modified Particle Swarm Optimization for energy resource scheduling considering vehicle-to-grid

This paper presents a modified Particle Swarm Optimization (PSO) methodology to solve the problem of energy resources management with high penetration of distributed generation and Electric Vehicles (EVs) with gridable capability (V2G). The objective of the day-ahead scheduling problem in this work is to minimize operation costs, namely energy costs, regarding the management of these resources in the smart grid context. The modifications applied to the PSO aimed to improve its adequacy to solve the mentioned problem. The proposed Application Specific Modified Particle Swarm Optimization (ASMPSO) includes an intelligent mechanism to adjust velocity limits during the search process, as well as self-parameterization of PSO parameters making it more user-independent. It presents better robustness and convergence characteristics compared with the tested PSO variants as well as better constraint handling. This enables its use for addressing real world large-scale problems in much shorter times than the deterministic methods, providing system operators with adequate decision support and achieving efficient resource scheduling, even when a significant number of alternative scenarios should be considered. The paper includes two realistic case studies with different penetration of gridable vehicles (1000 and 2000). The proposed methodology is about 2600 times faster than Mixed-Integer Non-Linear Programming (MINLP) reference technique, reducing the time required from 25 h to 36 s for the scenario with 2000 vehicles, with about one percent of difference in the objective function cost value.

Engineering Temporal and Spatial Aspects in OWL using Patterns

WWW is a huge, open, heterogeneous system, however its contents data is mainly human oriented. The Semantic Web needs to assure that data is readable and “understandable” to intelligent software agents, though the use of explicit and formal semantics. Ontologies constitute a privileged artifact for capturing the semantic of the WWW data. Temporal and spatial dimensions are transversal to the generality of knowledge domains and therefore are fundamental for the reasoning process of software agents. Representing temporal/spatial evolution of concepts and their relations in OWL (W3C standard for ontologies) it is not straightforward. Although proposed several strategies to tackle this problem but there is still no formal and standard approach. This work main goal consists of development of methods/tools to support the engineering of temporal and spatial aspects in intelligent systems through the use of OWL ontologies. An existing method for ontology engineering, Fonte was used as framework for the development of this work. As main contributions of this work Fonte was re-engineered in order to: i) support the spatial dimension; ii) work with OWL Ontologies; iii) and support the application of Ontology Design Patterns. Finally, the capabilities of the proposed approach were demonstrated by engineering time and space in a demo ontology about football.

Sistema de Informação no auxílio à comunicação Escola-Família

Mestrado em Engenharia Informática

CDIO and the European Project Semester: a match for capstone projects?

The CDIO Initiative is an open innovative educational framework for engineering graduation degrees set in the context of Conceiving – Designing – Implementing – Operating real-world systems and products, which is embraced by a network of worldwide universities, the CDIO collaborators. A CDIO compliant engineering degree programme typically includes a capstone module on the final semester. Its purpose is to expose students to problems of a greater dimension and complexity than those faced throughout the degree programme as well as to put them in contact with the so-called real world, in opposition to the academic world. However, even in the CDIO context, there are barriers that separate engineering capstone students from the real world context of an engineering professional: (i) limited interaction with experts from diverse scientific areas; (ii) reduced cultural and scientific diversity within the teams; and (iii) lack of a project supportive framework to foster the complementary technical and non-technical skills required in an engineering professional. To address these shortcomings, we propose the adoption of the European Project Semester (EPS) framework, a one semester student centred international capstone programme offered by a group of European engineering schools (the EPS Providers) as part of their student exchange programme portfolio. The EPS package is organised around a central module – the EPS project – and a set of complementary supportive modules. Project proposals refer to open multidisciplinary real world problems and supervision becomes coaching. The students are organised in teams, grouping individuals from diverse academic backgrounds and nationalities, and each team is fully responsible for conducting its project. EPS complies with the CDIO directives on Design-Implement experiences and provides an integrated framework for undertaking capstone projects, which is focussed on multicultural and multidisciplinary teamwork, problem-solving, communication, creativity, leadership, entrepreneurship, ethical reasoning and global contextual analysis. As a result, we recommend the adoption of the EPS within CDIO capstone modules for the benefit of engineering students.

Development of Biomimetic Robots in the EPS Engineering Programme Capstone Project

This paper proposes the development of biologically inspired robots as the capstone project of the European Project Semester (EPS) framework. EPS is a one semester student centred international programme offered by a group of European engineering schools (EPS Providers) as part of their student exchange programme portfolio. EPS is organized around a central module (the EPS project) and a set of complementary supportive modules. Project proposals refer to open multidisciplinary real world problems. Its purpose is to expose students to problems of a greater dimension and complexity than those faced throughout the degree programme as well as to put them in contact with the socalled real world, in opposition to the academic world. Students are organized in teams, grouping individuals from diverse academic backgrounds and nationalities, and each team is fully responsible for conducting its project. EPS provides an integrated framework for undertaking capstone projects, which is focused on multicultural and multidisciplinary teamwork, communication, problem-solving, creativity, leadership, entrepreneurship, ethical reasoning and global contextual analysis. The design and development of biologically inspired robots allows the students to fulfil the previously described requirements and objectives and, as a result, we recommend the adoption of these projects within the EPS project capstone module for the benefit of engineering students.

Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Estado da Arte da Computação Evolutiva Aplicada à Eletrónica

A Computação Evolutiva enquadra-se na área da Inteligência Artificial e é um ramo das ciências da computação que tem vindo a ser aplicado na resolução de problemas em diversas áreas da Engenharia. Este trabalho apresenta o estado da arte da Computação Evolutiva, assim como algumas das suas aplicações no ramo da eletrónica, denominada Eletrónica Evolutiva (ou Hardware Evolutivo), enfatizando a síntese de circuitos digitais combinatórios. Em primeiro lugar apresenta-se a Inteligência Artificial, passando à Computação Evolutiva, nas suas principais vertentes: os Algoritmos Evolutivos baseados no processo da evolução das espécies de Charles Darwin e a Inteligência dos Enxames baseada no comportamento coletivo de alguns animais. No que diz respeito aos Algoritmos Evolutivos, descrevem-se as estratégias evolutivas, a programação genética, a programação evolutiva e com maior ênfase, os Algoritmos Genéticos. Em relação à Inteligência dos Enxames, descreve-se a otimização por colônia de formigas e a otimização por enxame de partículas. Em simultâneo realizou-se também um estudo da Eletrónica Evolutiva, explicando sucintamente algumas das áreas de aplicação, entre elas: a robótica, as FPGA, o roteamento de placas de circuito impresso, a síntese de circuitos digitais e analógicos, as telecomunicações e os controladores. A título de concretizar o estudo efetuado, apresenta-se um caso de estudo da aplicação dos algoritmos genéticos na síntese de circuitos digitais combinatórios, com base na análise e comparação de três referências de autores distintos. Com este estudo foi possível comparar, não só os resultados obtidos por cada um dos autores, mas também a forma como os algoritmos genéticos foram implementados, nomeadamente no que diz respeito aos parâmetros, operadores genéticos utilizados, função de avaliação, implementação em hardware e tipo de codificação do circuito.

Um estudo sobre geometria no 1.º ciclo: simetria em figuras planas

Este estudo insere-se no âmbito da Geometria e pretende compreender a influência dos recursos didáticos utilizados no reconhecimento de propriedades e relações geométricas em figuras planas. De acordo com o objetivo do estudo formulamos duas questões orientadoras que se articulam entre si. - Que fragilidades apresentam os alunos, no reconhecimento de propriedades geométricas em figuras planas? - Que contributos resultam da utilização de materiais manipuláveis, na visualização espacial e investigação de propriedades geométricas? Com este estudo pretendemos reunir informação que contribua para aprofundar o conhecimento sobre o raciocínio geométrico dos alunos. Em termos metodológicos segue um método de investigação misto, com recolha de informação qualitativa de natureza interpretativa e quantitativa, na modalidade de estudo de caso. A recolha de dados foi realizada numa turma de 4.º ano do ensino básico onde foi desenvolvida a experiência didática. A informação recolhida resultou da observação direta e as fontes dos dados foram as produções dos alunos, as notas de campo, registos fotográficos, vídeo e áudio. A docente assumiu o papel de investigadora e orientadora das tarefas propostas aos alunos tendo estes desempenhado um papel ativo na construção do seu próprio conhecimento. Os resultados obtidos permitem evidenciar as fragilidades dos alunos no reconhecimento de propriedades geométricas de figuras planas em diferentes posições. Destacam ainda os contributos da utilização da Mira e do Tangram, no estudo da simetria e no desenvolvimento da visualização espacial para a concretização de aprendizagens concretas, motivadoras e significativas.

Geometria: um estudo sobre quadriláteros no 4.º ano de escolaridade com recurso ao geoplano e ao GeoGebra

O presente estudo foi desenvolvido no âmbito do Mestrado de Didática da Matemática e Ciências da Natureza, no 1.º e 2.º Ciclos, no domínio da Geometria. Tem como principal objetivo compreender e analisar, através da implementação de uma sequência de tarefas de investigação e exploração, de que forma o processo de ensino e aprendizagem dos alunos, na área dos quadriláteros, com os recursos GeoGebra e o Geoplano, contribui para o desenvolvimento do raciocínio geométrico. Neste sentido, definiram-se as seguintes questões de investigação: (1) Qual a imagem concetual que os alunos possuem de cada um dos quadriláteros? (2) Que conhecimentos têm os alunos sobre as propriedades dos quadriláteros: quadrados, retângulos e losangos? (3) Quais os contributos do Geoplano e do GeoGebra na compreensão e identificação das propriedades dos quadriláteros? A metodologia adotada foi de natureza qualitativa, do tipo interpretativo, baseada em dois estudos de caso. Na recolha de dados, foram utilizados os seguintes instrumentos: observação, questionário, documentos produzidos pelos alunos, entrevistas informais, registos áudio e fotografias aos trabalhos realizados. Na análise dos dados, procurou-se descrever e interpretar os dados recolhidos, no âmbito do objeto do estudo. Os resultados mostraram que a sequência de tarefas e o modo como foram desenvolvidas foram fundamentais na compreensão dos conteúdos trabalhados. Regista-se também que os recursos utilizados motivaram os alunos e contribuíram para a interação, como também para a compreensão dos conceitos geométricos. Por outro lado, a utilização do GeoGebra e do Geoplano contribuíram para o desenvolvimento do raciocínio espacial e geométrico.

Viva@Matemática project: a different way to see math

Viva@Mat is a project developed by four Math teachers from the School of Industrial Studies and Management (ESEIG) that was born with the fundamental objective of engaging ESEIG students with different math backgrounds in Math challenging activities. Some of these activities were transformed into real palpable materials and others into small interactive ones, being the great majority of them proposed by ESEIG’ students themselves. This small project rapidly grew into something we didn’t expect – it did flow over the walls of our institution to the general involving community – specifically to pre-university schools through the Viva@Math Exhibits – Orange, Blue and Green (the fourth, the Purple one is still in development). Nowadays, Viva@Math Exhibits – the public face of the Project – are itinerant and have been travelling between several, and different institutions (pre-university schools, preparatory schools, libraries, among others), around ESEIG and IPP area of influence and having registered visitors/participants of all ages. In this article we will describe the Viva@Math Project, its different activities that are categorized in some “great groups” like Numerical Trivia, Logic Activities and Mental Calculation, Puzzles, Geometric Curiosities, Magic Tricks, among others, designed to challenge students to use the underlying logical-mathematical reasoning to any ordinary and everyday activity. We will give specific and concrete examples of some of the activities developed and, also, reproduce of the general stimulating feedback the Project receives from the enrolled “actors” (teachers, students and their relatives, institutions, among others). We feel that this Project has become a small “bridge” between the pre-university schools and Higher Education Institutions (HEI), in trying to shorten the “gap” between the institutions of different levels of education and bring them to work together.