A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Crossing genetic and swarm intelligence algorithms to generate logic circuits

Genetic Algorithms (GAs) are adaptive heuristic search algorithm based on the evolutionary ideas of natural selection and genetic. The basic concept of GAs is designed to simulate processes in natural system necessary for evolution, specifically those that follow the principles first laid down by Charles Darwin of survival of the fittest. On the other hand, Particle swarm optimization (PSO) is a population based stochastic optimization technique inspired by social behavior of bird flocking or fish schooling. PSO shares many similarities with evolutionary computation techniques such as GAs. The system is initialized with a population of random solutions and searches for optima by updating generations. However, unlike GA, PSO has no evolution operators such as crossover and mutation. In PSO, the potential solutions, called particles, fly through the problem space by following the current optimum particles. PSO is attractive because there are few parameters to adjust. This paper presents hybridization between a GA algorithm and a PSO algorithm (crossing the two algorithms). The resulting algorithm is applied to the synthesis of combinational logic circuits. With this combination is possible to take advantage of the best features of each particular algorithm.

Molybdenum – and tungsten(II) monometallic 3-(2-pyridyl)pyrazole and bimetallic 3-(2-pyridyl)pyrazolate complexes

Molybdenum and tungsten complexes containing the pypzH (3-(2-pyridyl)pyrazole) ligand as a chelating bidentate are prepared: [Mo(CO)(4)(pypzH)], cis-[MoBr(eta(3)-allyl)(CO)(2)(pypzH)], cis-[MoCl(eta(3)-methallyl)(CO)(2)(pypzH)], [MI2(CO)(3)(pypzH)] (M = Mo, W) from [Mo(CO)(4)(NBD)] or the adequate bis(acetonitrile) complexes. The deprotonation of the molybdenum allyl or methallyl complexes affords the bimetallic complexes [cis-{Mo(eta(3)-allyl)(CO)(2)(mu(2)-pypz)}](2) or [cis-{Mo(eta(3)-methallyl)(CO)(2)(mu(2)-pypz)}](2) (mu(2)-pypz = mu(2)-3-(2-pyridyl-kappa N-1) pyrazolate-2 kappa N-1). The allyl complex was subjected to an electrochemical study, which shows a marked connection between both metallic centres through the bridging pyridylpyrazolates.

Estudos sobre o comportamento mecânico e estrutural das anteparas nºs 3 e 17 dos salva-vidas da classe vigilante

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Mecânica

Conceções das crianças no 3.º e 5.º ano sobre o conceito de ser vivo

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e 2.º Ciclo do Ensino Básico