7 resultados para symbolic bisimulation

em Universitat de Girona, Spain


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Aunque el tema de la participación en los distintos espacios de la vida comunitaria ha irrumpido con fuerza en los últimos tiempos, el sector universitario apenas ha incorporado el debate de la participación en su funcionamiento universitario. La participación estudiantil ha sido, y sigue siendo en la mayoría de los casos, simbólica. En este contexto, el artículo que presentamos profundiza en el análisis de la participación de los estudiantes en la estructura académica universitaria a partir de un estudio realizado en la Universidad de Girona. Nos centramos en los resultados derivados de la aplicación de un cuestionario electrónico a los estudiantes para conocer sus propias percepciones y puntos de vista en relación con su participación en la universidad. A partir de este análisis planteamos las orientaciones y estrategias que se configuran como elementos y recursos favorecedores de la participación estudiantil, tratando aspectos diversos como la mejora de la información, la necesidad de estrategias para facilitar la adaptación de los estudiantes a la dinámica de los órganos de gobierno o el reconocimiento del carácter formativo de la participación

Relevância:

10.00% 10.00%

Publicador:

Resumo:

En este trabajo se expone e ilustra un modelo teórico para entender las funciones de la identidad, así como los mecanismos psicosociales asociados a su construcción: “Modelo Evolutivo y Funcional de la Identidad Mediada” (MEBIM). La identidad, mediada narrativamente, cumple una función personal orientada a la dirección de la propia vida, así como una función sociocultural vinculada a la búsqueda de reconocimiento de los derechos de los grupos sociales a los que uno se siente apegado. Se ilustran los factores asociados a la construcción de la identidad personal (sí mismos posibles, transiciones vitales, vínculo afectivo) y sociocultural (acción-transformación e identificación simbólica) a partir de 12 historias de vida realizadas con mestizos e indígenas de la Universidad Intercultural de Chiapas (México). Se sugiere que en contextos educativos formales, como la escuela o la Universidad, se deben propiciar narrativas personales y socioculturales con el objetivo de optimizar la identidad en un mundo a la vez globalizado y plural

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The performance of a model-based diagnosis system could be affected by several uncertainty sources, such as,model errors,uncertainty in measurements, and disturbances. This uncertainty can be handled by mean of interval models.The aim of this thesis is to propose a methodology for fault detection, isolation and identification based on interval models. The methodology includes some algorithms to obtain in an automatic way the symbolic expression of the residual generators enhancing the structural isolability of the faults, in order to design the fault detection tests. These algorithms are based on the structural model of the system. The stages of fault detection, isolation, and identification are stated as constraint satisfaction problems in continuous domains and solved by means of interval based consistency techniques. The qualitative fault isolation is enhanced by a reasoning in which the signs of the symptoms are derived from analytical redundancy relations or bond graph models of the system. An initial and empirical analysis regarding the differences between interval-based and statistical-based techniques is presented in this thesis. The performance and efficiency of the contributions are illustrated through several application examples, covering different levels of complexity.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Aquest treball gira entorn a la controvèrsia que, des de finals del segle XIX, va generar el passatge de les Confessions (VIII, 6-12) on Agustí relata la seva crisi decisiva, viscuda a Milà l'estiu de l'any 386, que l'acabaria portant a l'aparent definitiva conversió al cristianisme. Els motius de fons de la controvèrsia són dos de clars. En primer lloc, i a la llum del que nosaltres entenem per gènere autobiogràfic, s'imposa aclarir si un relat com el de les Confessions s'hi pot adscriure, i per tant si ens relata una sèrie d'esdeveniments viscuts per Agustí històricament, o bé si cal interpretar els elements que l'autor desplega al llarg de la narració com a símbols d'un missatge que supera la narració que es troba a la superfície. La segona qüestió, directament vinculada a la primera, és el sentit que cal donar a aquesta conversió en relació a la noció de forma de vida filosòfica, i la influència que tindrà aquesta noció en la biografia i el pensament d'Agustí.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La recerca s'ha desenvolupat a través d'un estudi que ha interrelacionat el procés d'integració social i cultural de la comunitat marroquina en la societat d'assentament amb la integració escolar dels infants i joves en els centres d'educació obligatòria. El que suposa una anàlisi del paper integrador que l'escola desenvolupa i pot desenvolupar, i també una reflexió sobre la interculturalitat i l' educació intercultural com a posicionament que afavoreix la integració plural. Tot aquest treball s'ha desenvolupat des d' una perspectiva articulada, ja que permet una major comprensió del fet migratori que es viu a una i altra banda de la Mediterrània. La investigació s 'ha desenvolupat en un paradigma sociocrític i a través d'un procés etnogràfic (observació, relats de vida, entrevistes ... ) al llarg de quasi tres anys, que ha estudiat i ha analitzat des d' una perspectiva comprensiva i transformadora, com la comunitat marroquina valora l'escolarització dels infants i joves des de les concepcions d'educació i d'escola que ha construït a través: 1. El procés migratori, entenent-lo mitjançant l' emigració i la immigració, en una perspectiva articulada. 2. El procés d'integració sociocultural en la societat d'arribada. El treball realitzat ha plantejat un marc teòric de tipus interdisciplinar -que s'ha estès al llarg de la investigació- per tal de situar el procés migratori, el concepte d'integració en la societat d'avui, des d'una perspectiva habermasiana i el paper de l'educació i de l'escola des d'una posicionament comunicatiu. Un cop presentat el marc teòric s'ha estudiat el procés migratori situant-se primer en el context de partida, el Marroc, realitzant una anàlisi que s'ha desenvolupat mitjançant factors socioculturals i educatius que en aquest darrer cas s'han ubicat sobre: l'educació en l'islam i en l'actual sistema d'ensenyament nacional. Posteriorment s'ha estudiat el context d'immigració a través d'aspectes demogràfics, jurídics, socioculturals i educatius. Presentant en aquest darrers un perfil socioformatiu de l'alumnat d'origen marroquí a través d'un estudi realitzat a la província de Girona. En els últims capítols s'exposen, primer situant-se en el Rif Oriental (Marroc), la ciutat de Nador i el seu entorn, de forma mes breu, i després amb extensió sobre l'espai de les comunitats marroquines d'Angles i Palafrugell a Catalunya, localitats de les comarques gironines, les característiques del context sociocutural i escolar, com a elements sobre el quals analitzar el procés d'integració sociocultural i escolar en el context d'assentament. La recerca també ha recollit l'opinió i l'experiència dels treballadors i famílies d'origen marroquí sobre l'escolarització dels infants i joves de la comunitat marroquina i sobre les expectatives que els pares i adults tenen de l'escola corn a institució formativa i integradora. Finalment es presenta una anàlisi, partint de la inforrnació obtinguda, que interrelaciona el procés d'integració sociocultural i escolar en el país d' assentament que ha aportat els següents referents i orientacions: 1. El procés d'integració de la comunitat marroquina mostra que es dóna un replegament sobre si mateixa que dificulta la integració plural. Aquest replegament es dóna mitjançant els valors de la tradició i de l'islam que són simultàniament, elements de cultura i de control. 2. Cal analitzar la integració en funció del model d' integració dominant en la societat d'arribada que es basa sobretot en aspectes funcionals: econòmics, jurídics i productius. 3. La integració en els àmbits morals: drets i deures, i en els aspectes simbòlics: identitats i identificacions són dominats en el primer cas per l'assimilació en els aspectes socials, culturals i productius, i pels estereotips en els aspectes identitaris i d'identificació. Aquesta situació comporta la necessitat de desenvolupar un model d'integració escolar que ha de tenir corn a referent que l'escola no pot integrar ni l'alumnat pot integrar-se si viu un procés de marginació o exclusió fora del centre i si el centre educatiu no és conscient d'allò que succeeix al seu entorn i a l'alumnat més enllà del context escolar. 1- Ha de procurar la integració de l'alumnat en la xarxa relacional i formativa del centre. 2- Ha d'aconseguir la integració de l'alumnat a l'aula. 3- Ha de tenir present que les accions integradores, abans esmentades, han d'afavorir la integració de l'alumnat fora de l'espai escolar i en una perspectiva de futur, ha d' afavorir la integració sociolaboral. Per tant, l'escola ha de plantejar-se que és necessari establir un diàleg amb totes les famílies a través d'un nou model de participació en el qual l'escola passi de ser un lloc de pas a un lloc de trobada. Aquesta dinàmica també replanteja ara les actuals fronteres entre allò públic i privat, entre l'escola i la família, amb l' objectiu de descobrir les coincidències entre els projectes social, cultural i educatiu d'ambdues institucions.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The proposal presented in this thesis is to provide designers of knowledge based supervisory systems of dynamic systems with a framework to facilitate their tasks avoiding interface problems among tools, data flow and management. The approach is thought to be useful to both control and process engineers in assisting their tasks. The use of AI technologies to diagnose and perform control loops and, of course, assist process supervisory tasks such as fault detection and diagnose, are in the scope of this work. Special effort has been put in integration of tools for assisting expert supervisory systems design. With this aim the experience of Computer Aided Control Systems Design (CACSD) frameworks have been analysed and used to design a Computer Aided Supervisory Systems (CASSD) framework. In this sense, some basic facilities are required to be available in this proposed framework: ·

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Les restriccions reals quantificades (QRC) formen un formalisme matemàtic utilitzat per modelar un gran nombre de problemes físics dins els quals intervenen sistemes d'equacions no-lineals sobre variables reals, algunes de les quals podent ésser quantificades. Els QRCs apareixen en nombrosos contextos, com l'Enginyeria de Control o la Biologia. La resolució de QRCs és un domini de recerca molt actiu dins el qual es proposen dos enfocaments diferents: l'eliminació simbòlica de quantificadors i els mètodes aproximatius. Tot i això, la resolució de problemes de grans dimensions i del cas general, resten encara problemes oberts. Aquesta tesi proposa una nova metodologia aproximativa basada en l'Anàlisi Intervalar Modal, una teoria matemàtica que permet resoldre problemes en els quals intervenen quantificadors lògics sobre variables reals. Finalment, dues aplicacions a l'Enginyeria de Control són presentades. La primera fa referència al problema de detecció de fallades i la segona consisteix en un controlador per a un vaixell a vela.