13 resultados para Algebra, Boolean

em Instituto Politécnico do Porto, Portugal


Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this study, efforts were made in order to put forward an integrated recycling approach for the thermoset based glass fibre reinforced polymer (GPRP) rejects derived from the pultrusion manufacturing industry. Both the recycling process and the development of a new cost-effective end-use application for the recyclates were considered. For this purpose, i) among the several available recycling techniques for thermoset based composite materials, the most suitable one for the envisaged application was selected (mechanical recycling); and ii) an experimental work was carried out in order to assess the added-value of the obtained recyclates as aggregates and reinforcement replacements into concrete-polymer composite materials. Potential recycling solution was assessed by mechanical behaviour of resultant GFRP waste modified concrete-polymer composites with regard to unmodified materials. In the mix design process of the new GFRP waste based composite material, the recyclate content and size grade, and the effect of the incorporation of an adhesion promoter were considered as material factors and systematically tested between reasonable ranges. The optimization process of the modified formulations was supported by the Fuzzy Boolean Nets methodology, which allowed finding the best balance between material parameters that maximizes both flexural and compressive strengths of final composite. Comparing to related end-use applications of GFRP wastes in cementitious based concrete materials, the proposed solution overcome some of the problems found, namely the possible incompatibilities arisen from alkalis-silica reaction and the decrease in the mechanical properties due to high water-cement ratio required to achieve the desirable workability. Obtained results were very promising towards a global cost-effective waste management solution for GFRP industrial wastes and end-of-life products that will lead to a more sustainable composite materials industry.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Linear Algebra—Selected Problems is a unique book for senior undergraduate and graduate students to fast review basic materials in Linear Algebra. Vector spaces are presented first, and linear transformations are reviewed secondly. Matrices and Linear systems are presented. Determinants and Basic geometry are presented in the last two chapters. The solutions for proposed excises are listed for readers to references.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper we study the modifications that occurred in some forest soil properties after a prescribed fire. The research focused on the alterations of soil pH, soil moisture and soil organic matter content during a two-year span, from 2008 to 2009. The study site is located in Anjos, Vieira do Minho municipality, a forest site that has suffered from recurrent wildfires for several decades. Furze (Ulex, sp.), broom (Cytisus, sp.), gorse (Chamaespartum tridentatum) and a very few disperse adult pine (Pinus sylvestris) are the predominant vegetation type in the study area. The average height of this shrub vegetation is around 1.5 m. The prescribed fire was conducted by the National Forestry Authority (AFN) in November 2008. Fuzzy Boolean Nets (FBN) were used to evaluate the alteration in soil parameters when compared with adjacent spots where: i) no fire occurrence was registered since 1998; ii) fire occurrence was registered in 2008; and iii) vegetation pruning by mechanical cut was done in Spring six months prior to the prescribed fire event. Results suggest that in the particular case of the studied site, Anjos, the observed soil properties alterations cannot be related with the prescribed fire.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Portuguese northern forests are often and severely affected by wildfires during the summer season. Some preventive actions, such as prescribed (or controlled) burnings and clear-cut logging, are often used as a measure to reduce the occurrences of wildfires. In the particular case of Serra da Cabreira forest, due to extremely difficulties in operational field work, the prescribed (or controlled) burning technique is the the most common preventive action used to reduce the existing fuel load amount. This paper focuses on a Fuzzy Boolean Nets analysis of the changes in some forest soil properties, namely pH, moisture and organic matter content, after a controlled fire, and on the difficulties found during the sampling process and how they were overcome. The monitoring process was conducted during a three-month period in Anjos, Vieira do Minho, Portugal, an area located in a contact zone between a two-mica coarse-grained porphyritic granite and a biotite with plagioclase granite. The sampling sites were located in a spot dominated by quartzphyllite with quartz veins whose bedrock is partially altered and covered by slightly thick humus, which maintains low undergrowth vegetation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

5th. European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2008) 8th. World Congress on Computational Mechanics (WCCM8)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper summarizes a project that is contributing to a change in the way of teaching and learning Mathematics. Mathematics is a subject of the Accounting and Administration course. In this subject we teach: Functions and Algebra. The aim is that the student understand the basic concepts and is able to apply them in other issues, when possible, establishing a bridge between the issues that they have studied and their application in Accounting. As from this year, the Accounting course falls under in Bologna Process. The teacher and the student roles have changed. The time for theoretical and practical classes has been reduced, so it was necessary to modify the way of teaching and learning. In the theoretical classes we use systems of multimedia projection to present the concepts, and in the practical classes we solve exercises. We also use the Excel and the mathematical open source software wxMaxima. To supplement our theoretical and practical classes we have developed a project called MatActiva based on the Moodle platform offered by PAOL - Projecto de Apoio Online (Online Support Project). With the creation of this new project we wanted to take advantage already obtained results with the previous experiences, giving to the students opportunities to complement their study in Mathematics. One of the great objectives is to motivate students, encourage them to overcome theirs difficulties through an auto-study giving them more confidence. In the MatActiva project the students have a big collection of information about the way of the subject works, which includes the objectives, the program, recommended bibliography, evaluation method and summaries. It works as material support for the practical and theoretical classes, the slides of the theoretical classes are available, the sheets with exercises for the students to do in the classroom and complementary exercises, as well as the exams of previous years. Students can also do diagnostic tests and evaluation tests online. Our approach is a reflexive one, based on the professional experience of the teachers that explore and incorporate new tools of Moodle with their students and coordinate the project MatActiva.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper summarizes a project that is contributing to a change in the way of teaching and learning Mathematics. Mathematics is a subject of the Accounting and Administration course. In this subject we teach: Functions and Algebra. The aim is that the students understand the basic concepts and is able to apply them in other issues, when possible, establishing a bridge between the issues that they have studied and their application in Accounting. As from this year, the Accounting course falls under in Bologna Process. The teacher and the student roles have changed. The time for theoretical and practical classes has been reduced, so it was necessary to modify the way of teaching and learning. In the theoretical classes we use systems of multimedia projection to present the concepts, and in the practical classes we solve exercises. To supplement our theoretical and practical classes we have developed an active mathematics project called MatActiva based on the Moodle platform offered by PAOL - Projecto de Apoio Online (Online Support Project). In the last versions of Moodle, it is possible use the TeX language to create math questions. Using this tool we created a set of interactive materials. With the creation of this new project we wanted to take advantage already obtained results with the previous experiences, giving to the students opportunities to complement their study in Mathematics. One of the great objectives is to motivate students, encourage them to overcome theirs difficulties through an auto-study, giving them more confidence and the opportunity to seeing others perspectives of the mathematics subjects. In the MatActiva project the students have a big collection of information about the way of the subject works, which includes the objectives, the program, recommended bibliography, evaluation method and summaries. It works as material support for the practical and theoretical classes, the slides of the theoretical classes are available, the sheets with exercises for the students to do in the classroom and complementary exercises, as well as the exams of previous years. Students can also do diagnostic tests and evaluation tests online. Our approach is a reflexive one, based on the professional experience of the teachers that explore and incorporate new tools of Moodle with their students and coordinate the project MatActiva.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper analyses the performance of a genetic algorithm (GA) in the synthesis of digital circuits using two novel approaches. The first concept consists in improving the static fitness function by including a discontinuity evaluation. The measure of variability in the error of the Boolean table has similarities with the function continuity issue in classical calculus. The second concept extends the static fitness by introducing a fractional-order dynamical evaluation.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper presents the preliminary work of an approach where Fuzzy Boolean Nets (FBN) are being used to extract qualitative knowledge regarding the effect of prescribed fire burning on soil chemical physical properties. FBN were chosen due to the scarcity on available quantitative data.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The Online Mathematics Education Project (MatActiva) is an exciting new initiative which aims to support and enhance mathematics education. The project is led by the Institute of Accounting and Administration of Porto (ISCAP), part of the Polytechnic Institute of Porto (IPP). It provides innovative resources and carefully constructed materials around themes such as Elementary Mathematics, Calculus, Algebra, Statistics and Financial Mathematics to help support and inspire students and teachers of mathematics. The goal is to increase mathematical understanding, confidence and enjoyment, enrich the mathematical experience of each person, and promote creative and imaginative approaches to mathematics. Furthermore the project can be used to deliver engaging and effective mathematics instruction through the flipped classroom model. This paper also presents the findings of a large survey, whose propose was to study the student’s reaction to the project.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper analyses the performance of a genetic algorithm (GA) in the synthesis of digital circuits using two novel approaches. The first concept consists in improving the static fitness function by including a discontinuity evaluation. The measure of variability in the error of the Boolean table has similarities with the function continuity issue in classical calculus. The second concept extends the static fitness by introducing a fractional-order dynamical evaluation.