920 resultados para satisfiability modulo theories


Relevância:

10.00% 10.00%

Publicador:

Resumo:

O relatório de estágio de qualificação profissional desenvolveu-se no âmbito da Unidade Curricular (UC) de Prática Pedagógica Supervisionada, inserida no Mestrado em Educação Pré- Escolar, nos contextos de creche e pré-escolar. Esta integração implicou a mestranda numa atitude investigativa, traduzida no aprofundamento dos referenciais teóricos abordados na referida UC, que permitiu desenvolver uma atitude indagadora e reflexiva, de modo a aliar saberes teóricos à prática e mobilizá-los em contexto. Efetivando a sua prática pedagógica através da observação, recolha de dados, análise sistemática da ação e reflexão crítica permanente, apoiou-se na metodologia de investigaçãoação, que segundo Elliot (1991) constitui um processo reflexivo, que envolve a mudança de teorias e práticas, permitindo ligar a autoavaliação ao desenvolvimento profissional. A prática pedagógica revista neste documento parte da convicção da mestranda relativamente à importância da observação, na mesma perspetiva de Gonçalves (2006): “se soubermos observar, saberemos compreender, se soubermos compreender, saberemos intervir e se soubermos intervir, saberemos melhorar, estaremos a conferir ao exercício de observação e análise da relação educativa o seu verdadeiro estatuto de instrumento de desenvolvimento pessoal/profissional do formando” (p.72). Foi assim que a mestranda solidificou a construção da sua imagem de criança, encarando-a como ativa e competente, almejando que essa visão se refletisse nas suas planificações, que identificavam necessidades e interesses das crianças, e consequentemente na sua ação. A co construção de saberes e a cooperação assumiram particular relevância no processo de formação e desenvolvimento profissional, proporcionado pelos intervenientes no contexto educativo: par de formação, educadoras, supervisora, pais e comunidade.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A ordenação social é um dos temas centrais estudados pela sociologia desde há muito tempo. As teorias de acção social e de estrutura social são duas tradições teóricas usadas para explicar a forma como o mundo social se organiza e como funciona sem necessitar de uma imposição contínua de regras e normas. O poder e a acção social são dois conceitos centrais no mundo social, com uma forte ligação e influência mútua. O poder permite ou limita a acção, dá aos actores a possibilidade de ter mais e melhores oportunidades e posições sociais. A vida social é uma negociação constante, onde o poder e a acção estão sempre presentes, e é esta relação complexa que determina a natureza das relações sociais e o comportamento de cada indivíduo. Partindo de uma exposição teórica, o relatório irá apresentar alguns exemplos relacionados com o mercado de trabalho e comportamento organizacional para realçar a interacção entre os dois conceitos e a sua importância na vida social.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Relatório Final de Estágio apresentado à Escola Superior de Dança com vista à obtenção do Grau de Mestre em Ensino de Dança.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Mestrado em Ensino Precoce do Inglês

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The aim of this essay is to discuss the thesis of the German Sociologist Günter Burkhart that in modern societies a phenomenon appeared which he calls “handymania”, an excessive and nearly addictive use of the mobile phones especially from adolescents. After a short overview about the history of the cell phone, I will relate this development to Jürgen Habermas “theory of communicative action”, more precisely to his diagnosis of a pathological society (“lifeworld”) to find out if the “handymania” could be one expression of it. Adjacent I will present social-psychological theories from E.H.Erikson and Tilmann Habermas to ascertain whether juveniles could really be a high-risk group for this kind of addiction. I will focus on the ability to communicate in an Habermasian way that could be seriously harmed by the unregulated usage of cell phones.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The three-dimensional (3D) exact solutions developed in the early 1970s by Pagano for simply supported multilayered orthotropic composite plates and later in the 1990s extended to piezoelectric plates by Heyliger have been extremely useful in the assessment and development of advanced laminated plate theories and related finite element models. In fact, the well-known test cases provided by Pagano and by Heyliger in those earlier works are still used today as benchmark solutions. However, the limited number of test cases whose 3D exact solutions have been published has somewhat restricted the assessment of recent advanced models to the same few test cases. This work aims to provide additional test cases to serve as benchmark exact solutions for the static analysis of multilayered piezoelectric composite plates. The method introduced by Heyliger to derive the 3D exact solutions has been successfully implemented using symbolic computing and a number of new test cases are here presented thoroughly. Specifically, two multilayered plates using PVDF piezoelectric material are selected as test cases under two different loading conditions and considering three plate aspect ratios for thick, moderately thick and thin plate, in a total of 12 distinct test cases. (C) 2013 Elsevier Ltd. All rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertation presented to obtain a Masters degree in Computer Science

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We look for minimal chiral sets of fermions beyond the standard model that are anomaly free and, simultaneously, vectorlike particles with respect to color SU(3) and electromagnetic U(1). We then study whether the addition of such particles to the standard model particle content allows for the unification of gauge couplings at a high energy scale, above 5.0 x 10(15) GeV so as to be safely consistent with proton decay bounds. The possibility to have unification at the string scale is also considered. Inspired in grand unified theories, we also search for minimal chiral fermion sets that belong to SU(5) multiplets, restricted to representations up to dimension 50. It is shown that, in various cases, it is possible to achieve gauge unification provided that some of the extra fermions decouple at relatively high intermediate scales.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The morphological and structural modifications induced in sapphire by surface treatment with femtosecond laser radiation were studied. Single-crystal sapphire wafers cut parallel to the (0 1 2) planes were treated with 560 fs, 1030 nm wavelength laser radiation using wide ranges of pulse energy and repetition rate. Self-ordered periodic structures with an average spatial periodicity of similar to 300 nm were observed for fluences slightly higher than the ablation threshold. For higher fluences the interaction was more disruptive and extensive fracture, exfoliation, and ejection of ablation debris occurred. Four types of particles were found in the ablation debris: (a) spherical nanoparticles about 50 nm in diameter; (b) composite particles between 150 and 400 nm in size; (c) rounded resolidified particles about 100-500 nm in size; and (d) angular particles presenting a lamellar structure and deformation twins. The study of those particles by selected area electron diffraction showed that the spherical nanoparticles and the composite particles are amorphous, while the resolidified droplets and the angular particles, present a crystalline a-alumina structure, the same of the original material. Taking into consideration the existing ablation theories, it is proposed that the spherical nanoparticles are directly emitted from the surface in the ablation plume, while resolidified droplets are emitted as a result of the ablation process, in the liquid phase, in the low intensity regime, and by exfoliation, in the high intensity regime. Nanoparticle clusters are formed by nanoparticle coalescence in the cooling ablation plume. (C) 2013 Elsevier B.V. All rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dual-phase functionally graded materials are a particular type of composite materials whose properties are tailored to vary continuously, depending on its two constituent's composition distribution, and which use is increasing on the most diverse application fields. These materials are known to provide superior thermal and mechanical performances when compared to the traditional laminated composites, exactly because of this continuous properties variation characteristic, which enables among other advantages smoother stresses distribution profile. In this paper we study the influence of different homogenization schemes, namely the schemes due to Voigt, Hashin-Shtrikman and Mod-Tanaka, which can be used to obtain bounds estimates for the material properties of particulate composite structures. To achieve this goal we also use a set of finite element models based on higher order shear deformation theories and also on first order theory. From the studies carried out, on linear static analyses and on free vibration analyses, it is shown that the bounds estimates are as important as the deformation kinematics basis assumed to analyse these types of multifunctional structures. Concerning to the homogenization schemes studied, it is shown that Mori-Tanaka and Hashin-Shtrikman estimates lead to less conservative results when compared to Voigt rule of mixtures.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Practical sessions are the backbone of qualification in engineering education. It leads to a better understanding and allows mastering scientific concepts and theories. The lack of the availability of practical sessions at many universities and institutions owing to the cost and the unavailability of instructors the most of the time caused a significant decline in experimentation in engineering education over the last decades. Recently, with the progress of computer-based learning, remote laboratories have been proven to be the best alternative to the traditional ones, regarding to its low cost and ubiquity. Some universities have already started to deploy remote labs in their practical sessions. This contribution compiles diverse experiences based on the deployment of the remote laboratory, Virtual Instrument Systems in Reality (VISIR), on the practices of undergraduate engineering grades at various universities within the VISIR community. It aims to show the impact of its usage on engineering education concerning the assessments of students and teachers as well.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertação apresentada ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do Grau de Mestre em Empreendedorismo e Internacionalização Orientador: Professor Doutor José de Freitas Santos

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertação apresentada ao Instituto Politécnico do Porto para obtenção do Grau de Mestre em Gestão das Organizações, Ramo de Gestão de Empresas Orientada pelo Professor Doutor José Freitas Santos

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Enterprise and Work Innovation Studies, 5