Análisis de una iniciativa estudiantil de investigación surgida en Criptogamia, una asignatura optativa de segundo ciclo de Biología = Analysis of a students’ research initiative originating in Cryptogamy, an elective course in the last two years of the Biology degree

Presentamos una experiencia exitosa de aprendizaje que partió de Criptogamia (asignatura optativa de segundo ciclo de Biología), que dio lugar a un proyecto de investigación gestionado por los propios alumnos. La iniciativa se consolidó estableciendo una Asociación de Estudiantes centrada en investigación y divulgación. En poco tiempo, los participantes han presentado comunicaciones científicas, y organizado actividades dirigidas a diversos públicos, dentro y fuera de la comunidad universitaria. Actualmente se plantea una colaboración multidisciplinar con otros organismos de investigación y la extensión de su ámbito de estudio. Abordamos su incidencia en el aprendizaje en varios aspectos: científico (técnicas específicas, rigor, búsqueda de información e interpretación de resultados), comunicativo (estructuración y presentación de la información obtenida, para diversos públicos), y organizativo, incluyendo el trabajo en equipo. Aunque de carácter espontáneo, esta experiencia muestra rasgos evaluables en cuanto a sus posibilidades para otras asignaturas. Analizamos las características y planteamiento de esta optativa, el perfil de sus alumnos, y el contexto universitario que la acoge. Detectamos como factores principales los aspectos participativos de la asignatura, la cohesión del grupo, el carácter voluntario de la implicación, los beneficios percibidos por los estudiantes, y la disponibilidad de recursos humanos (supervisión) y materiales (equipamiento y subvenciones)

Quantified real constraint solving using modal intervals with applications to control

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.