Democracia: a polissemia de um conceito político fundamental

O presente artigo pretende sublinhar a necessidade de se atentar para a historicidade do conceito de democracia. Para tanto, após indicar o fato de que tal conceito recobre significados díspares e, por vezes, contraditórios, contrasta-se as perspectivas de Norberto Bobbio e de Jacques Rancière para ilustrar essa equivocidade. Diante disso, é feita uma breve incursão pela história conceitual de Reinhart Koselleck para indicar que a equivocidade do conceito de democracia decorre da sedimentação que nele há de múltiplas experiências históricas. Finalmente, após essa incursão pela história conceitual são mobilizadas algumas análises atuais acerca do conceito de democracia para ressaltar sua indeterminação e complexidade.

Auto-avaliação de instituições de educação pré-escolar. Um estudio de caso em Jardins de Infância da Região Autónoma dos Açores

Programa de Doctorado: Formación del Profesorado

El auto de los Reyes Magos en El Viso (Córdoba)

Vídeo grabado en El Viso, Córdoba

¿Qué es el auto-archivo?

Presentación realizada para el curso del Campus Virtual Acceso abierto y derechos de autor (2014-15) realizado por el Grupo de Trabajo de la Biblioteca del mismo nombre

Lo sviluppo nuovo prodotti nel settore auto motive: analisi dei processi organizzativi attraverso lo studio di un caso

Mappatura dei processo organizzativi, della struttura organizzativa e dei sistemi informativi di supporto. analisi di alcune problematiche riscontrate

Analisi dei coefficienti di auto induzione di dispersione nelle macchine elettriche rotanti di tipo multifase

L’obiettivo di questa tesi è l’analisi e la modellizzazione dei flussi dispersi statorici nelle macchine multifase utilizzando la teoria dei vettori di spazio multipli. L’analisi ed il calcolo del coefficiente di auto induzione di dispersione statorica nei vari spazi è cruciale nella progettazione e nel controllo delle macchine elettriche multifase in quanto, per esempio, essa limita il ripple di corrente quando la macchina non è alimentata con una tensione perfettamente sinusoidale. Il fine è pertanto di giungere alla scrittura di un’equazione che leghi il generico vettore di spazio dei flussi dispersi ai vettori di spazio delle correnti che alimentano la macchina elettrica tramite una costante che contenga i coefficienti di auto e mutua induzione di dispersione in cava degli avvolgimenti statorici.

Ingegneria di sistemi auto‐organizzanti con il paradigma multiagente

Self-organisation is increasingly being regarded as an effective approach to tackle modern systems complexity. The self-organisation approach allows the development of systems exhibiting complex dynamics and adapting to environmental perturbations without requiring a complete knowledge of the future surrounding conditions. However, the development of self-organising systems (SOS) is driven by different principles with respect to traditional software engineering. For instance, engineers typically design systems combining smaller elements where the composition rules depend on the reference paradigm, but typically produce predictable results. Conversely, SOS display non-linear dynamics, which can hardly be captured by deterministic models, and, although robust with respect to external perturbations, are quite sensitive to changes on inner working parameters. In this thesis, we describe methodological aspects concerning the early-design stage of SOS built relying on the Multiagent paradigm: in particular, we refer to the A&A metamodel, where MAS are composed by agents and artefacts, i.e. environmental resources. Then, we describe an architectural pattern that has been extracted from a recurrent solution in designing self-organising systems: this pattern is based on a MAS environment formed by artefacts, modelling non-proactive resources, and environmental agents acting on artefacts so as to enable self-organising mechanisms. In this context, we propose a scientific approach for the early design stage of the engineering of self-organising systems: the process is an iterative one and each cycle is articulated in four stages, modelling, simulation, formal verification, and tuning. During the modelling phase we mainly rely on the existence of a self-organising strategy observed in Nature and, hopefully encoded as a design pattern. Simulations of an abstract system model are used to drive design choices until the required quality properties are obtained, thus providing guarantees that the subsequent design steps would lead to a correct implementation. However, system analysis exclusively based on simulation results does not provide sound guarantees for the engineering of complex systems: to this purpose, we envision the application of formal verification techniques, specifically model checking, in order to exactly characterise the system behaviours. During the tuning stage parameters are tweaked in order to meet the target global dynamics and feasibility constraints. In order to evaluate the methodology, we analysed several systems: in this thesis, we only describe three of them, i.e. the most representative ones for each of the three years of PhD course. We analyse each case study using the presented method, and describe the exploited formal tools and techniques.