Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models

Conferência: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON), Vienna, Austria, Nov 10-14, 2013

Relatório de estágio: mestrado em ensino da música

Resumo I (Prática Pedagógica)- Este Relatório de Estágio é composto por duas secções. Na primeira descreve-se o estágio realizado pela mestranda, na Classe de Flauta do Professor João Pereira Coutinho (JPC), na Escola de Música do Conservatório Nacional (EMCN), ao longo do ano lectivo de 2012/2013, com a supervisão do Professor Nuno Ivo Cruz. Após uma contextualização da EMCN e dos alunos acompanhados no estágio, descreve-se o desempenho de cada um deles, ao longo do ano lectivo, bem como as práticas educativas desenvolvidas pelo Professor Cooperante, nas aulas assistidas, e as desenvolvidas pela estagiária. Realiza-se uma reflexão sobre as mesmas,apresentando, também, algumas vantagens e desvantagens relativamente ao modelo de Estágio proposto.

Reflexão e auto-avaliação do/a educador/a

Relatório da Prática Profissional Supervisionada Mestrado em Educação Pré-Escolar

A motivação da aprendizagem de um instrumento musical em alunos do ensino básico articulado sob a perspectiva da teoria da auto-determinação no Conservatório Regional de Setúbal: relatório de estágio

O presente relatório, no âmbito da obtenção do grau de Mestre no Ensino da Música, na Escola Superior de Música de Lisboa, descreve o estágio efectuado no Conservatório Regional de Setúbal e analisa a prática pedagógica do professor através de três alunos de violino e viola d´arco de níveis diferentes: Iniciação (violino); 4º grau, Ensino Básico (viola d´arco) e 7º grau, Ensino Secundário (viola d´arco). São descritas e analisadas as práticas pedagógicas desenvolvidas com base na filosofia do Método Suzuki e na Teoria da Auto-­determinação de Edward L. Deci e Richard M. Ryan. O objectivo fundamental do processo de ensino-­ aprendizagem é a criação de condições para que os alunos se motivem autonomamente e atinjam níveis altos de motivação intrínseca (Teoria da Auto-­determinação), e que se tornem bons instrumentistas e melhores seres humanos (Método Suzuki).

Constraining multi-Higgs flavour models

To study a flavour model with a non-minimal Higgs sector one must first define the symmetries of the fields; then identify what types of vacua exist and how they may break the symmetries; and finally determine whether the remnant symmetries are compatible with the experimental data. Here we address all these issues in the context of flavour models with any number of Higgs doublets. We stress the importance of analysing the Higgs vacuum expectation values that are pseudo-invariant under the generators of all subgroups. It is shown that the only way of obtaining a physical CKM mixing matrix and, simultaneously, non-degenerate and non-zero quark masses is requiring the vacuum expectation values of the Higgs fields to break completely the full flavour group, except possibly for some symmetry belonging to baryon number. The application of this technique to some illustrative examples, such as the flavour groups Delta (27), A(4) and S-3, is also presented.

Travelling wave profiles in some models with nonlinear diffusion

We study some properties of the monotone solutions of the boundary value problem (p(u'))' - cu' + f(u) = 0, u(-infinity) = 0, u(+infinity) = 1, where f is a continuous function, positive in (0, 1) and taking the value zero at 0 and 1, and P may be an increasing homeomorphism of (0, 1) or (0, +infinity) onto [0, +infinity). This problem arises when we look for travelling waves for the reaction diffusion equation partial derivative u/partial derivative t = partial derivative/partial derivative x [p(partial derivative u/partial derivative x)] + f(u) with the parameter c representing the wave speed. A possible model for the nonlinear diffusion is the relativistic curvature operator p(nu)= nu/root 1-nu(2). The same ideas apply when P is given by the one- dimensional p- Laplacian P(v) = |v|(p-2)v. In this case, an advection term is also considered. We show that, as for the classical Fisher- Kolmogorov- Petrovski- Piskounov equations, there is an interval of admissible speeds c and we give characterisations of the critical speed c. We also present some examples of exact solutions. (C) 2014 Elsevier Inc. All rights reserved.

Assessment of the ensembles regional climate models in the representation of precipitation variability and extremes over Portugal

A new data set of daily gridded observations of precipitation, computed from over 400 stations in Portugal, is used to assess the performance of 12 regional climate models at 25 km resolution, from the ENSEMBLES set, all forced by ERA-40 boundary conditions, for the 1961-2000 period. Standard point error statistics, calculated from grid point and basin aggregated data, and precipitation related climate indices are used to analyze the performance of the different models in representing the main spatial and temporal features of the regional climate, and its extreme events. As a whole, the ENSEMBLES models are found to achieve a good representation of those features, with good spatial correlations with observations. There is a small but relevant negative bias in precipitation, especially in the driest months, leading to systematic errors in related climate indices. The underprediction of precipitation occurs in most percentiles, although this deficiency is partially corrected at the basin level. Interestingly, some of the conclusions concerning the performance of the models are different of what has been found for the contiguous territory of Spain; in particular, ENSEMBLES models appear too dry over Portugal and too wet over Spain. Finally, models behave quite differently in the simulation of some important aspects of local climate, from the mean climatology to high precipitation regimes in localized mountain ranges and in the subsequent drier regions.

Betão auto-compactável com agregados reciclados provenientes da pré-fabricação

A crescente necessidade de tornar a construção mais sustentável e o intuito de contribuir com soluções de reaproveitamento e de escoamento dos desperdícios produzidos na indústria da construção foram determinantes para o financiamento atribuído a um projeto de investigação, com o objetivo de avaliar a viabilidade da utilização de agregados reciclados de betão provenientes da indústria de pré-fabricação para a produção de betões autocompactáveis (BAC). Desta forma, não só se pode contribuir positivamente para a melhoria da qualidade final das peças produzidas pela indústria de pré-fabricação, dispensando a utilização de métodos de vibração falíveis, mas também se contribui para a sustentabilidade do meio ambiente, minimizando o consumo de recursos naturais e a deposição de aterros de resíduos. O projeto é subdividido em diversas fases de otimização e de análise. Numa fase inicial, serão produzidos e selecionados os betões de origem (BO), onde se incluem os materiais produzidos em laboratório e os materiais provenientes de estruturas pré-fabricadas, os quais darão origem aos agregados a analisar. Esses agregados reciclados (AR) sofrerão um processo de trituração orientado (trituração primária e trituração primária e secundária) que pode influenciar as características do próprio betão. Dos resultados obtidos, seleciona-se o método de trituração a adotar para as fases subsequentes. Estas consistirão na produção de betões convencionais e autocompactáveis, que reproduzam aproximadamente a mesma classe de resistência dos betões de origem, nomeadamente 20, 45, 65 e 80 MPa, variando a sua composição (rácio a/c, adições e superplastificantes) e as taxas de agregados reciclados finos (AFR) e grossos (AGR). As percentagens de substituição AFR/AGR a considerar serão: 0/25, 25/0, 25/25, 0/100, 100/0 e 100/100%. Posteriormente, será efetuada a otimização desses betões para classes de resistência mais elevadas, utilizando, para o efeito, agregados reciclados com resistências mecânicas correspondentes a uma classe inferior. Serão incluídos neste estudo os betões de elevado desempenho autocompactáveis, cuja resistência se pretende que seja igual ou superior a 80 MPa. Em todas as fases, serão executados ensaios de avaliação às características mecânicas e de durabilidade dos betões, incluindo a análise microestrutural para a observação da evolução da estrutura porosa da pasta e dos agregados reciclados e da interface pasta/agregados. Pretende-se obter como resultado final um betão com agregados reciclados com agregados reciclados, cujas propriedades sejam compatíveis ou superiores às de um betão auto-compactável com agregados naturais.

Probabilistic models for mechanical properties of prestressing strands

This study focus on the probabilistic modelling of mechanical properties of prestressing strands based on data collected from tensile tests carried out in Laboratório Nacional de Engenharia Civil (LNEC), Portugal, for certification purposes, and covers a period of about 9 years of production. The strands studied were produced by six manufacturers from four countries, namely Portugal, Spain, Italy and Thailand. Variability of the most important mechanical properties is examined and the results are compared with the recommendations of the Probabilistic Model Code, as well as the Eurocodes and earlier studies. The obtained results show a very low variability which, of course, benefits structural safety. Based on those results, probabilistic models for the most important mechanical properties of prestressing strands are proposed.

Generalized models from Beta(p,2) densities with strong allee effect: dynamical approach

A dynamical approach to study the behaviour of generalized populational growth models from Bets(p, 2) densities, with strong Allee effect, is presented. The dynamical analysis of the respective unimodal maps is performed using symbolic dynamics techniques. The complexity of the correspondent discrete dynamical systems is measured in terms of topological entropy. Different populational dynamics regimes are obtained when the intrinsic growth rates are modified: extinction, bistability, chaotic semistability and essential extinction.

Joining models with stair nesting

In the stair nested designs with u factors we have u steps and a(1), ... , a(u) "active" levels. We would have a(1) observations with different levels for the first factor each of them nesting a single level of each of the remaining factors; next a(2) observations with level a(1) + 1 for the first factor and distinct levels for the second factor each nesting a fixed level of each of the remaining factors, and so on. So the number of level combinations is Sigma(u)(i=1) a(i). In meta-analysis joint treatment of different experiments is considered. Joining the corresponding models may be useful to carry out that analysis. In this work we want joining L models with stair nesting.

On chaos, transient chaos and ghosts in single populations models with allee effects

Density-dependent effects, both positive or negative, can have an important impact on the population dynamics of species by modifying their population per-capita growth rates. An important type of such density-dependent factors is given by the so-called Allee effects, widely studied in theoretical and field population biology. In this study, we analyze two discrete single population models with overcompensating density-dependence and Allee effects due to predator saturation and mating limitation using symbolic dynamics theory. We focus on the scenarios of persistence and bistability, in which the species dynamics can be chaotic. For the chaotic regimes, we compute the topological entropy as well as the Lyapunov exponent under ecological key parameters and different initial conditions. We also provide co-dimension two bifurcation diagrams for both systems computing the periods of the orbits, also characterizing the period-ordering routes toward the boundary crisis responsible for species extinction via transient chaos. Our results show that the topological entropy increases as we approach to the parametric regions involving transient chaos, being maximum when the full shift R(L)(infinity) occurs, and the system enters into the essential extinction regime. Finally, we characterize analytically, using a complex variable approach, and numerically the inverse square-root scaling law arising in the vicinity of a saddle-node bifurcation responsible for the extinction scenario in the two studied models. The results are discussed in the context of species fragility under differential Allee effects. (C) 2011 Elsevier Ltd. All rights reserved.

Could the LHC two-proton signal correspond to the heavier scalar in two-higgs-doublet models?

LHC has reported tantalizing hints for a Higgs boson of mass 125 GeV decaying into two photons. We focus on two-Higgs-doublet Models, and study the interesting possibility that the heavier scalar H has been seen, with the lightest scalar h having thus far escaped detection. Nonobservation of h at LEP severely constrains the parameter-space of two-Higgs-doublet models. We analyze cases where the decay H -> hh is kinematically allowed, and cases where it is not, in the context of type I, type II, lepton-specific, and flipped models.

Theory and phenomenology of two-higgs-doublet models

We discuss theoretical and phenomenological aspects of two-Higgs-doublet extensions of the Standard Model. In general, these extensions have scalar mediated flavour changing neutral currents which are strongly constrained by experiment. Various strategies are discussed to control these flavour changing scalar currents and their phenomenological consequences are analysed. In particular, scenarios with natural flavour conservation are investigated, including the so-called type I and type II models as well as lepton-specific and inert models. Type III models are then discussed, where scalar flavour changing neutral currents are present at tree level, but are suppressed by either a specific ansatz for the Yukawa couplings or by the introduction of family symmetries leading to a natural suppression mechanism. We also consider the phenomenology of charged scalars in these models. Next we turn to the role of symmetries in the scalar sector. We discuss the six symmetry-constrained scalar potentials and their extension into the fermion sector. The vacuum structure of the scalar potential is analysed, including a study of the vacuum stability conditions on the potential and the renormalization-group improvement of these conditions is also presented. The stability of the tree level minimum of the scalar potential in connection with electric charge conservation and its behaviour under CP is analysed. The question of CP violation is addressed in detail, including the cases of explicit CP violation and spontaneous CP violation. We present a detailed study of weak basis invariants which are odd under CP. These invariants allow for the possibility of studying the CP properties of any two-Higgs-doublet model in an arbitrary Higgs basis. A careful study of spontaneous CP violation is presented, including an analysis of the conditions which have to be satisfied in order for a vacuum to violate CP. We present minimal models of CP violation where the vacuum phase is sufficient to generate a complex CKM matrix, which is at present a requirement for any realistic model of spontaneous CP violation.

Synchronization in Von Bertalanffy’s models

Many data have been useful to describe the growth of marine mammals, invertebrates and reptiles, seabirds, sea turtles and fishes, using the logistic, the Gom-pertz and von Bertalanffy's growth models. A generalized family of von Bertalanffy's maps, which is proportional to the right hand side of von Bertalanffy's growth equation, is studied and its dynamical approach is proposed. The system complexity is measured using Lyapunov exponents, which depend on two biological parameters: von Bertalanffy's growth rate constant and the asymptotic weight. Applications of synchronization in real world is of current interest. The behavior of birds ocks, schools of fish and other animals is an important phenomenon characterized by synchronized motion of individuals. In this work, we consider networks having in each node a von Bertalanffy's model and we study the synchronization interval of these networks, as a function of those two biological parameters. Numerical simulation are also presented to support our approaches.