Procedimiento gráfico para la obtención de los parámetros de corrección del SMR a través de la proyección estereográfica

El Slope Mass Rating (SMR, Romana, 1985) constituye una clasificación geomecánica de uso muy extendido para la caracterización de taludes en roca. Se obtiene por adición al índice RMR básico, calculado a partir de valores característicos del macizo rocoso, de una serie de factores de corrección dependientes del paralelismo discontinuidad-talud, del buzamiento de las discontinuidades, del buzamiento relativo entre las discontinuidades y el talud, así como del método de excavación empleado. En este trabajo se propone un método gráfico que permite obtener los parámetros de corrección del SMR (F1, F2 y F3) representando en proyección estereográfica los planos de discontinuidad y del talud a estudiar.

Detección automática con snakes y representación 3D sobre imágenes cerebrales

Comunicación presentada en la VI Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA'95), Alicante, 15-17 noviembre 1995.

Creación automática de sistemas de búsqueda de respuestas en dominios restringidos

Los sistemas de búsqueda de respuestas (BR) se pueden considerar como potenciales sucesores de los buscadores tradicionales de información en la Web. Para que sean precisos deben adaptarse a dominios concretos mediante el uso de recursos semánticos adecuados. La adaptación no es una tarea trivial, ya que deben integrarse e incorporarse a sistemas de BR existentes varios recursos heterogéneos relacionados con un dominio restringido. Se presenta la herramienta Maraqa, cuya novedad radica en el uso de técnicas de ingeniería del software, como el desarrollo dirigido por modelos, para automatizar dicho proceso de adaptación a dominios restringidos. Se ha evaluado Maraqa mediante una serie de experimentos (sobre el dominio agrícola) que demuestran su viabilidad, mejorando en un 29,5% la precisión del sistema adaptado.

Metodología docente para la incorporación de laboratorios virtuales en el plan de estudios del master universitario en automática y robótica

En este artículo se describe la metodología empleada para el desarrollo y coordinación de las asignaturas obligatorias del Máster Universitario en Automática y Robótica de la Universidad de Alicante. Se ha trabajado en adecuar las guías docentes a la metodología mediante el trabajo colaborativo de los distintos profesores coordinadores de las asignaturas con el objetivo de garantizar que todos los conceptos necesarios sean cubiertos y complementados entre las asignaturas, apoyándose en mapas conceptuales. Otro aspecto en el que se ha hecho un especial énfasis en la metodología propuesta ha sido introducir como parte de las actividades teóricas y/o prácticas el uso de laboratorios virtuales remotos. Los laboratorios virtuales sirven de apoyo a la teoría para mostrar simulaciones y resultados prácticos mediante la interacción con equipamiento real. Además, muchas de estas herramientas admiten que el alumnado pueda trabajar a distancia desde sus casas, lo que redunda en la posibilidad de autoaprendizaje e incluso la realización de prácticas a distancia.

Docencia virtual y autoaprendizaje mediante un laboratorio virtual remoto de un sistema de bombeo en el Máster Universitario en Automática y Robótica

En este artículo se describe un laboratorio remoto empleado en el aprendizaje práctico de la asignatura "Sistemas de Control Automático", que se imparte en el Máster Universitario en Automática y Robótica de la Universidad de Alicante. La aplicación desarrollada permite a los estudiantes practicar a distancia diferentes conceptos teóricos utilizando un modelo hardware de un proceso industrial real consistente en un sistema de bombeo. En el artículo se describe las características más importantes de este laboratorio remoto, destacando su capacidad para realizar la evaluación automática del estudiante. La aplicación propone un conjunto de experiencias prácticas que los alumnos deben resolver haciendo uso del laboratorio remoto. Además, la aplicación ofrece una retroalimentación que guía al estudiante en los conceptos para mejorar en su aprendizaje. Esta información puede ser utilizada por los estudiantes para llevar a cabo un auto-aprendizaje. El documento concluye con un estudio que describe el impacto educativo acerca del uso de esta herramienta en el aprendizaje de los estudiantes.

La enseñanza de robótica en el Máster en Automática y Robótica mediante un robot modular

Este trabajo muestra cómo se realiza la enseñanza de robótica mediante un robot modular y los resultados educativos obtenidos en el Máster Universitario en Automática y Robótica de la Escuela Politécnica Superior de la Universidad de Alicante. En el artículo se describen los resultados obtenidos con el uso de este robot modular tanto en competencias genéricas como específicas, en las enseñanzas de electrónica, control y programación del Máster. En este artículo se exponen los objetivos de aprendizaje para cada uno de ellos, su aplicación a la enseñanza y los resultados educativos obtenidos. En los resultados del estudio, cabe destacar que el alumno ha mostrado mayor interés y ha fomentado su aprendizaje autónomo. Para ello, el robot modular se construyó con herramientas para fomentar este tipo de enseñanza y aprendizaje, tales como comunicaciones interactivas para monitorizar, cambiar y adaptar diversos parámetros de control y potencia del robot.

Deducción: natural y automática

La Lógica de Predicados pone a nuestra disposición un lenguaje que nos permitirá formalizar expresiones del conocimiento humano haciendo explícitos los objetos y las relaciones, así como sus restricciones. Además nos proporciona un método, la deducción matemática, para obtener nuevo conocimiento a partir del antiguo. Es por ello que la lógica se convierte en una asignatura presente en los primeros cursos de distintas titulaciones, especialmente de informática, ya que proporciona una base formal de trabajo. En la actualidad existe un variado número de herramientas que pueden servir de ayuda en el aprendizaje de la lógica. El razonamiento es el proceso cognitivo por medio del cual utilizamos y aplicamos nuestro conocimiento, permitiéndonos pasar de una información a otra relacionada con esta. Sin la posibilidad de hacer inferencias, el sistema de procesamiento de información se vería obligado a tener que definir todas las situaciones puntuales y específicas con las que se tenga que enfrentar. A las sentencias de las cuales partimos en el proceso de razonamiento se les llama premisas y a la sentencia a la cual llegamos se le denomina conclusión. Las premisas junto a la conclusión forman el argumento. El concepto lógico de deducción correcta dice que de premisas verdaderas debemos obtener conclusión verdadera, es decir, no podemos aceptar que las premisas sean verdaderas y la conclusión falsa. La lógica nos proporciona métodos de cálculo que nos permiten inferir, por simple manipulación sintáctica, nuevas fórmulas a partir de las conocidas. Uno de estos métodos es la Deducción Natural , cuyo mecanismo está muy cercano al razonamiento intuitivo del ser humano. Así, de forma sencilla, a partir de las fórmulas dadas como premisas y con el único apoyo de unas reglas básicas, obtenemos determinadas conclusiones. Podemos utilizar una herramienta didáctica diseñada específicamente para enseñar a los estudiantes a realizar deducciones naturales, el Asistente para Deducción Natural (ADN). Además podemos intentar abordar el tema de la automatización de la deducción. Para ello debemos realizar pequeñas modificaciones a esta técnica (de notación, de reglas a aplicar y de estrategia a utilizar) que nos lo permita. Todos estos desarrollos teóricos dieron lugar a la aparición de la programación lógica, como paradigma de resolución de problemas basado en la lógica. Prolog es el lenguaje de programación lógica más utilizado.

Desarrollo de un robot modular para la enseñanza en el Máster en Automática y Robótica

Este trabajo presenta el diseño, construcción y programación de un robot modular para el desarrollo tanto de competencias genéricas como específicas, en las enseñanzas de electrónica, control y programación del Master de Automática y Robótica de la Escuela Politécnica Superior de la Universidad de Alicante. En este trabajo se exponen los diferentes módulos propuestos, así como los objetivos de aprendizaje para cada uno de ellos. Uno de los factores más importantes a destacar en el presente estudio es el posible desarrollo de la creatividad y el aprendizaje autónomo. Para ello, se desarrollará especialmente un módulo de comunicación por bluetooth que servirá para monitorizar, cambiar y adaptar on-line diversos parámetros de control y potencia del robot. Además, dicha herramienta se ha introducido como parte de la metodología en las asignaturas del Máster de Electromecánica y Sistemas de Control Automático. En esta memoria se mostrarán los distintos resultados obtenidos durante y en la finalización de este trabajo.

Aclaración, corrección, subsanación y complementos de sentencias en el Derecho Procesal Laboral

A lo largo de este trabajo se abordarán vías por las que el legislador ha tratado de dar una mayor celeridad al proceso para impedir el problema de las dilaciones indebidas, al ser esta una de las grandes trabas de la actualidad debido al exceso de carga de trabajo que recae sobre los órganos judiciales. Con la aclaración, corrección, subsanación y complementos de sentencias se logra dar una solución ágil a problemas relativamente sencillos, puesto que evita la necesidad de acudir a la nulidad de actuaciones o a la interposición de los recursos pertinentes, al ofrecer otros cauces para obtener de igual forma una solución óptima, que garantice una mayor efectividad y eficacia en la resolución de errores patentes y claros sobre los que no sea necesario realizar ningún juicio valorativo o apreciación jurídica.

Coordinación, seguimiento y gestión de calidad del Máster Universitario en Automática y Robótica

En la presente memoria se describe la red docente creada con el objetivo de llevar a cabo el seguimiento y aplicación del sistema interno de garantía de calidad de la Escuela Politécnica Superior de la Universidad de Alicante al Máster Universitario en Automática y Robótica. En esta red han participado todos los profesores con docencia en el Máster y han trabajado coordinadamente con el objetivo de recoger los principales indicadores de calidad del Máster atendiendo a distintos criterios. Estos indicadores han servido, por un lado, para comprobar la existencia o no de deficiencias en la implantación e impartición del Título. Por otro lado, estos indicadores han servido como base para la elaboración de la documentación requerida para la reacreditación del Máster ante la ANECA. En la presente memoria se describe la coordinación llevada a cabo así como las principales conclusiones extraídas de la red así como del propio informe de reacreditación.