Bases de Gröbner e geração de exercícios matemáticos com estrutura não determinada

Definido um enredo concreto, há, frequentemente, uma grande quantidade e variedade de exercícios que sobre ele podemos escrever. Neste artigo, apresenta-se um algoritmo que permite automatizar este processo. Para gerar exercícios matemáticos, parte-se das relações entre as variáveis presentes no enredo, calcula-se os possíveis exercícios, analisa-se a complexidade do seu processo de resolução e a sua viabilidade. O algoritmo recorre a bases de Gröbner para determinar se o exercício é resolúvel e um possível caminho de resolução. Com base na análise dos resultados obtidos, torna-se possível criar uma base de exercícios ligada a esse enredo.

Solving large 0–1 multidimensional knapsack problems by a new simplified binary artificial fish swarm algorithm

The artificial fish swarm algorithm has recently been emerged in continuous global optimization. It uses points of a population in space to identify the position of fish in the school. Many real-world optimization problems are described by 0-1 multidimensional knapsack problems that are NP-hard. In the last decades several exact as well as heuristic methods have been proposed for solving these problems. In this paper, a new simpli ed binary version of the artificial fish swarm algorithm is presented, where a point/ fish is represented by a binary string of 0/1 bits. Trial points are created by using crossover and mutation in the different fi sh behavior that are randomly selected by using two user de ned probability values. In order to make the points feasible the presented algorithm uses a random heuristic drop item procedure followed by an add item procedure aiming to increase the profit throughout the adding of more items in the knapsack. A cyclic reinitialization of 50% of the population, and a simple local search that allows the progress of a small percentage of points towards optimality and after that refines the best point in the population greatly improve the quality of the solutions. The presented method is tested on a set of benchmark instances and a comparison with other methods available in literature is shown. The comparison shows that the proposed method can be an alternative method for solving these problems.

A new competitive implementation of the electromagnetism-like algorithm for global optimization

The Electromagnetism-like (EM) algorithm is a population- based stochastic global optimization algorithm that uses an attraction- repulsion mechanism to move sample points towards the optimal. In this paper, an implementation of the EM algorithm in the Matlab en- vironment as a useful function for practitioners and for those who want to experiment a new global optimization solver is proposed. A set of benchmark problems are solved in order to evaluate the performance of the implemented method when compared with other stochastic methods available in the Matlab environment. The results con rm that our imple- mentation is a competitive alternative both in term of numerical results and performance. Finally, a case study based on a parameter estimation problem of a biology system shows that the EM implementation could be applied with promising results in the control optimization area.

Combining non-dominance, objective-order and spread metric to extend firefly algorithm to multi-objective optimization

In this paper, we propose an extension of the firefly algorithm (FA) to multi-objective optimization. FA is a swarm intelligence optimization algorithm inspired by the flashing behavior of fireflies at night that is capable of computing global solutions to continuous optimization problems. Our proposal relies on a fitness assignment scheme that gives lower fitness values to the positions of fireflies that correspond to non-dominated points with smaller aggregation of objective function distances to the minimum values. Furthermore, FA randomness is based on the spread metric to reduce the gaps between consecutive non-dominated solutions. The obtained results from the preliminary computational experiments show that our proposal gives a dense and well distributed approximated Pareto front with a large number of points.

An evaluation of fibrous structure and physical characteristics of Cutia nut (Couepia edulis Prance) shell

The Cutia-nut (Couepia edulis Prance), a species originally from the Amazon region, has a kernel with reasonable nutritional value and a hard and thick woody shell that constitute most of the fruit. After the kernel removal, the shells are regarded as waste. The possibility of using such shells, as raw material for burning or charcoal production, as well as milled residue for structural reinforcement materials is quite feasible, considering environmental and economical aspects. There is, however, a complete lack of characterization of the Cutia-nut shell and other similar species which can aggregate desirable qualities for application as engineering material. In this study some analyses are presented aiming at providing information for potential uses of these residues. In general, the shells follow a regular shape with certain dimensional proportionality to the kernel. The shell is a fibrous material with high lignin content, present low water absorption and high resistance to natural degradation.

New control algorithm for single-phase series active power filter

This paper presents a single-phase Series Active Power Filter (Series APF) for mitigation of the load voltage harmonic content, while maintaining the voltage on the DC side regulated without the support of a voltage source. The proposed series active power filter control algorithm eliminates the additional voltage source to regulate the DC voltage, and with the adopted topology it is not used a coupling transformer to interface the series active power filter with the electrical power grid. The paper describes the control strategy which encapsulates the grid synchronization scheme, the compensation voltage calculation, the damping algorithm and the dead-time compensation. The topology and control strategy of the series active power filter have been evaluated in simulation software and simulations results are presented. Experimental results, obtained with a developed laboratorial prototype, validate the theoretical assumptions, and are within the harmonic spectrum limits imposed by the international recommendations of the IEEE-519 Standard.

Effect of surface plasmon resonance in TiO2/Au thin films on the fluorescence of self-assembled CdTe QDs structure

The exceptional properties of localised surface plasmons (LSPs), such as local field enhancement and confinement effects, resonant behavior, make them ideal candidates to control the emission of luminescent nanoparticles. In the present work, we investigated the LSP effect on the steady-state and time-resolved emission properties of quantum dots (QDs) by organizing the dots into self-assembled dendrite structures deposited on plasmonic nanostructures. Self-assembled structures consisting of water-soluble CdTe mono-size QDs, were developed on the surface of co-sputtered TiO2 thin films doped with Au nanoparticles (NPs) annealed at different temperatures. Their steady-state fluorescence properties were probed by scanning the spatially resolved emission spectra and the energy transfer processes were investigated by the fluorescence lifetime imaging (FLIM) microscopy. Our results indicate that a resonant coupling between excitons confined in QDs and LSPs in Au NPs located beneath the self-assembled structure indeed takes place and results in (i) a shift of the ground state luminescence towards higher energies and onset of emission from excited states in QDs, and (ii) a decrease of the ground state exciton lifetime (fluorescence quenching).

MOEA/VAN: Multiobjective Evolutionary Algorithm based on Vector Angle Neighborhood

Natural selection favors the survival and reproduction of organisms that are best adapted to their environment. Selection mechanism in evolutionary algorithms mimics this process, aiming to create environmental conditions in which artificial organisms could evolve solving the problem at hand. This paper proposes a new selection scheme for evolutionary multiobjective optimization. The similarity measure that defines the concept of the neighborhood is a key feature of the proposed selection. Contrary to commonly used approaches, usually defined on the basis of distances between either individuals or weight vectors, it is suggested to consider the similarity and neighborhood based on the angle between individuals in the objective space. The smaller the angle, the more similar individuals. This notion is exploited during the mating and environmental selections. The convergence is ensured by minimizing distances from individuals to a reference point, whereas the diversity is preserved by maximizing angles between neighboring individuals. Experimental results reveal a highly competitive performance and useful characteristics of the proposed selection. Its strong diversity preserving ability allows to produce a significantly better performance on some problems when compared with stat-of-the-art algorithms.

Forest structure of artificial islands in the Tucuruí dam reservoir in northern Brazil: a test core-area model

Construction of hydroelectric dams in tropical regions has been contributing significantly to forest fragmentation. Alterations at edges of forest fragments impact plant communities that suffer increases in tree damage and dead, and decreases in seedling recruitment. This study aimed to test the core-area model in a fragmented landscape caused by construction of a hydroelectric power plant in the Brazilian Amazon. We studied variations in forest structure between the margin and interiors of 17 islands of 8-100 hectares in the Tucuruí dam reservoir, in two plots (30 and >100m from the margin) per island. Mean tree density, basal area, seedling density and forest cover did not significantly differ between marginal and interior island plots. Also, no significant differences were found in liana density, dead tree or damage for margin and interior plots. The peculiar topographic conditions associated with the matrix habitat and shapes of the island seem to extend edge effects to the islands' centers independently of the island size, giving the interior similar physical microclimatic conditions as at the edges. We propose a protocol for assessing the ecological impacts of edge effects in fragments of natural habitat surrounded by induced (artificial) edges. The protocol involves three steps: (1) identification of focal taxa of particular conservation or management interest, (2) measurement of an "edge function" that describes the response of these taxa to induced edges, and (3) use of a "Core-Area Model" to extrapolate edge function parameters to existing or novel situations.

Abnormal interactions between context, memory structure, and mood in schizophrenia: an ERP investigation

This study used event-related potentials to examine interactions between mood, sentence context, and semantic memory structure in schizophrenia. Seventeen male chronic schizophrenia and 15 healthy control subjects read sentence pairs after positive, negative, or neutral mood induction. Sentences ended with expected words (EW), within-category violations (WCV), or between-category violations (BCV). Across all moods, patients showed sensitivity to context indexed by reduced N400 to EW relative to both WCV and BCV. However, they did not show sensitivity to the semantic memory structure. N400 abnormalities were particularly enhanced under a negative mood in schizophrenia. These findings suggest abnormal interactions between mood, context processing, and connections within semantic memory in schizophrenia, and a specific role of negative mood in modulating semantic processes in this disease.

Development of high specific strength components, with internal cellular structure, for several applications

Dissertação de mestrado em Engenharia Mecânica

Structural analysis of the timber structure of Ica Cathedral, Peru

Dissertação de mestrado em Structural Analysis of Monuments and Historical Constructions

Desenvolvimento e teste de um sistema para caracterização de materiais magnetoelétricos

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores

An innovative framework for probabilistic-based structural assessment with an application to existing reinforced concrete structures

A novel framework for probabilistic-based structural assessment of existing structures, which combines model identification and reliability assessment procedures, considering in an objective way different sources of uncertainty, is presented in this paper. A short description of structural assessment applications, provided in literature, is initially given. Then, the developed model identification procedure, supported in a robust optimization algorithm, is presented. Special attention is given to both experimental and numerical errors, to be considered in this algorithm convergence criterion. An updated numerical model is obtained from this process. The reliability assessment procedure, which considers a probabilistic model for the structure in analysis, is then introduced, incorporating the results of the model identification procedure. The developed model is then updated, as new data is acquired, through a Bayesian inference algorithm, explicitly addressing statistical uncertainty. Finally, the developed framework is validated with a set of reinforced concrete beams, which were loaded up to failure in laboratory.

Criação de um sistema de apoio para o suporte avançado de vida

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Eletrónica Médica)