Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias

Las redes de Petri son un lenguaje formal muy adecuado para la modelizacíon, ańalisis y verificacíon de sistemas concurrentes con infinitos estados. En particular, son muy apropiadas para estudiar las propiedades de seguridad de dichos sistemas, dadas sus buenas propiedades de decidibilidad. Sin embargo, en muchas ocasiones las redes de Petri carecen de la expresividad necesaria para representar algunas caracteŕısticas fundamentales de los sistemas que se manejan hoy en d́ıa, como el manejo de tiempo real, costes reales, o la presencia de varios procesos con un ńumero no acotado de estados ejecut́andose en paralelo. En la literatura se han definido y estudiado algunas extensiones de las redes de Petri para la representaci ́on de las caracteŕısticas anteriores. Por ejemplo, las “Redes de Petri Temporizadas” [83, 10](TPN) incluyen el manejo de tiempo real y las ν-redes de Petri [78](ν-PN) son capaces de representar un ńumero no acotado de procesos con infinitos estados ejecut́andose concurrentemente. En esta tesis definimos varias extensiones que réunen estas dos caracteŕısticas y estudiamos sus propiedades de decidibilidad. En primer lugar definimos las “ν-Redes de Petri Temporizadas”, que réunen las caracteŕısticas expresivas de las TPN y las ν-PN. Este nuevo modelo es capaz de representar sistemas con un ńumero no acotado de procesos o instancias, donde cada proceso es representado por un nombre diferente, y tiene un ńumero no acotado de relojes reales. En este modelo un reloj de una instancia debe satisfacer ciertas condiciones (pertenecer a un intervalo dado) para formar parte en el disparo de una transicíon. Desafortunadamente, demostramos que la verificacíon de propiedades de seguridad es indecidible para este modelo...

Social Fan: un generador de redes sociales

Las redes sociales tienen un papel protagónico en la actualidad. Y es que hoy en día, no sólo se utilizan para la comunicación instantánea sino que también ponen a nuestra disposición otras muchas funcionalidades que nos hacen la vida más fácil tanto a nivel personal como profesional. Gracias a ellas, podemos reencontrarnos de una manera cómoda y sencilla con personas del pasado, compartir e intercambiar información en diferentes medios e incluso promover los productos y servicios que ofrezca una determinada empresa, logrando así un contacto más cercano con sus clientes y afiliados. Además en los últimos años las redes sociales también se han convertido en una nueva forma de búsqueda en Internet, de hecho se estima que podrían llegar a reemplazar a los motores de búsqueda. Según los datos obtenidos tras un estudio llevado a cabo por Entrepreneur, el 43% de los usuarios de internet utilizan las redes sociales como buscador de información o negocios1. El objetivo de este proyecto, denominado SocialFan, es el diseño y desarrollo de un generador de redes sociales. Con SocialFan el usuario podrá crear una red social totalmente a su gusto y sin necesidad de tener conocimientos previos informáticos, todo ello gracias a una interfaz muy sencilla y altamente personalizable. Cabe destacar también la existencia de un sistema de recomendación capaz de sugerir aquel contenido que pueda resultar del interés para cada uno de los usuarios. Con el fin de lograr el objetivo anterior, se han establecido relaciones entre los usuarios y poder encontrar así personas con personalidades y gustos similares. Señalar también que las redes sociales generadas a través de SocialFan cuentan con numerosas funcionalidades. La funcionalidad más importante consiste en la publicación del contenido que compone la red social. Este contenido puede ser aportado tan solo por el administrador de la red social o por todos losusuarios que la componen, tratándose en este último caso de una red colaborativa. Además los usuarios pueden valorar y comentar el contenido publicado por otros usuarios. Otra funcionalidad importante es el seguimiento de usuarios, el cual puede ser mutuo o no. Además estas redes sociales incorporan una búsqueda de usuarios y contenido que permite al usuario moverse con libertad por la página web sin necesidad de ceñirse a las recomendaciones realizadas. Sin embargo SocialFan no se limita a la generación de estas redes sociales sino que también permite la integración de la misma en una página web. Este caso puede ser más complicado de entender y podríamos preguntarnos ¿por qué un sitio web puede querer incorporar una red social? La respuesta a esta pregunta es que la interacción social nos permite conocer los gustos y opiniones de otros usuarios, lo cual aporta credibilidad y animan a los usuarios a interactuar y compartir sus experiencias. Para este proyecto se han implementado dos prototipos de uso del generador, creando dos redes sociales, la primera orientada al turismo en Madrid y la segunda orientada a los ejercicios de programación. Sin embargo, consideramos de gran importancia señalar que SocialFan no se limita a estos dos prototipos, sino que se trata de un proyecto muy extensible y genérico, lo que permite adaptarlo a muchos otros dominios, como podrían ser el mundo del arte, los deportes, las mascotas, etc. El proyecto se encuentra disponible vía web en los siguientes enlaces: http://container.fdi.ucm.es:20083/SocialFan http://container.fdi.ucm.es:20083/Madrid

Uso de redes sociales para mejorar el rendimiento de los alumnos con diferentes estilos de aprendizaje

Debido a los cambios que el Espacio Europeo de Educación Superior introduce al potenciar las horas de trabajo no presencial, se hacen necesarios nuevos mecanismos para posibilitar una mejor comunicación y cooperación en el proceso de aprendizaje. Las redes sociales, como Facebook, pueden suministrar estos mecanismos, pero su uso satisfactorio para la docencia puede verse afectado en gran medida por el estilo de aprendizaje de los alumnos. Este artículo plantea la necesidad de estudiar la influencia de los diferentes estilos de aprendizaje en la docencia no presencial mediante el uso de redes sociales con el fin de incrementar el rendimiento de los alumnos. Cabe destacar que este artículo describe el proyecto “Las redes sociales y su relación con los estilos de aprendizaje” a realizar dentro del programa de Redes de Investigación en Docencia Universitaria del Instituto de Ciencias de la Educación de la Universidad de Alicante.

Influencia de los estilos de aprendizaje en el uso de redes sociales para docencia

Comunicación presentada en las IX Jornadas de Redes de Investigación en Docencia Universitaria, Alicante, 16-17 junio 2011.

Implantación progresiva de las titulaciones de Telecomunicación en la Universidad de Alicante

El ritmo vertiginoso al que está evolucionando el sector de las telecomunicaciones a nivel mundial, así como las posibilidades que ofrecen los actuales sistemas de comunicación, las nuevas tecnologías de la información y la implantación de las mismas en los hábitos de vida de la sociedad en general, han convertido a las titulaciones de telecomunicaciones en unos estudios con una alta demanda por parte del alumnado y con unas interesantes perspectivas de futuro gracias al amplio abanico de posibilidades que abarcan. En la Universidad de Alicante comenzaron a impartirse estudios de telecomunicación en el año 1999 con la implantación de la Ingeniería Técnica de Telecomunicación, especialidad en Sonido e Imagen. Con la adaptación al EEES, los estudios se adaptaron en el año 2011 con el comienzo del Grado en Ingeniería en Sonido e Imagen en Telecomunicación, así como con el curso específico de Adaptación al Grado en Ingeniería en Sonido e Imagen en Telecomunicación que establece el puente que permite a nuestros propios titulados (entre otros) adaptar su titulación a los nuevos estudios actuales. A fecha de hoy, la Universidad de Alicante ha dado un paso más, impartiendo desde este curso 2011-2012 el Máster Universitario en Ingeniería de Telecomunicación y permitiendo a los estudiantes completar su formación en Telecomunicaciones en su propia universidad.

Uso de “la nube” y redes sociales en la docencia del Máster Universitario en Ingeniería de Telecomunicación

En este trabajo se exponen los resultados obtenidos por la red de docencia universitario con título “Incorporación de las tecnologías en “la nube” y las redes sociales en la docencia del Máster Universitario en Ingeniería de Telecomunicación”. Esta red surge a partir del carácter interdisciplinar de los alumnos matriculados al máster, así como de la problemática a la hora de compaginar su horario laboral con sus estudios. Esta nueva casuística ha implicado utilizar nuevas técnicas de comunicación que les permita estar actualizados y en contacto directo con sus compañeros, así como con el propio profesorado. Las nuevas tecnologías y el papel de la nube en la sociedad son cada vez más importantes y relevantes, por ello, los autores han concentrado sus esfuerzos en aplicar estas herramientas en la docencia universitaria. Además, se han intensificado esfuerzos en unificar la plataforma on-line de Google Docs de una manera más transparente para el alumnado. Los resultados de estas tentativas, así como los derivados de la implantación de estas nuevas estrategias docentes se recogen y comentan en este trabajo pudiéndose extraer conclusiones positivas sobre el enfoque y la metodología utilizada.

Redes sociales en industrias culturales: opiniones desde la praxis

Tanto por el público al que se dirigen como por el tipo de «producto» que ofrecen, las industrias culturales pueden obtener múltiples ventajas con el uso de las redes sociales. En el presente estudio analizamos el papel que juegan las redes sociales online en las empresas culturales a través de la opinión de cualificados expertos en redes sociales y con el método Delphi. Las conclusiones revelan que, en el ámbito de las empresas culturales, existe una prevalencia de los usos utilitarios sobre los expresivos y de las motivaciones proactivas sobre las reactivas, con referencia a las redes sociales.

Diseño y desarrollo de redes sociales aplicadas al Espacio Europeo de Educación Superior

En la actual sociedad del conocimiento y con el continuo desarrollo de las nuevas tecnologías, las redes sociales están cobrando cada vez mayor relevancia para la interacción y el intercambio de información. El predominio de las redes sociales, como Twitter, Facebook o Google+ va en aumento, e incluso se integran en los procesos educativos para mejorar la interacción y comunicación entre profesor-alumno y alumno-alumno. El objetivo de esta investigación es estudiar las redes sociales existentes y específicamente, las que se utilizan en el ámbito educativo, para analizar y determinar los requerimientos necesarios con el fin de proponer una nueva red social orientada especialmente al ámbito educativo del Espacio Europeo de la Educación Superior (EEES). Esto nos permitirá conocer qué aspectos es conveniente reutilizar de las redes sociales genéricas, pero también, que limitaciones encontramos y qué nuevas funcionalidades serían de gran utilidad para mejorar los procesos educativos en el EEES. Por tanto, nuestra investigación plantea, además, el diseño preliminar de dicha propuesta de red social que será evaluado por estudiantes de los Grados de Ingeniería en Informática y Grado de Ingeniería Multimedia para conocer su grado de satisfacción hacia la misma.

Los jóvenes de Educación Secundaria ante el uso y consumo de las TIC

En estos últimos años se ha visto un incremento exponencial en el uso de los medios digitales a todos los niveles. Por ello, consideramos que se hace necesario, desde el ámbito educativo, conocer los referentes e indicadores que valoren el consumo digital de nuestros jóvenes para plantearnos metodologías colaborativas que nos ayuden a favorecer una educación en y para el consumo de medios digitales, entendiendo que un primer paso sería conocer el equipamiento, acceso y uso para valorar lo que hacen dichos adolescentes cuando interaccionan con estos medios digitales. El objetivo de este artículo es analizar el uso y consumo de medios digitales (Internet, redes sociales, teléfono móvil, consola de videojuegos y televisión) del alumnado educación secundaria de la Comunidad Autónoma de la Región de Murcia. Por tanto, en este trabajo se van a presentar los resultados de una investigación, en la que han participado un total de 2734 alumnos de 3º y 4º de la ESO de 15 centros educativos públicos y concertados, a los que se les administró un cuestionario de 73 ítems, con cuatro opciones de respuesta, estructurándose en seis dimensiones que recogen la información referida al uso y consumo de los diferentes medios digitales. Los datos fueron analizados con el paquete estadístico SPSS for Windows 15.0, utilizando estadísticos descriptivos. De los resultados obtenidos habría que destacar las diferencias que se aprecian entre el uso y consumo de los medios digitales por género, ya que los chicos y las chicas no los usan, de la misma manera. Las diferencias más significativas las encontramos en la participación en las redes sociales, en el uso de la consola y ante el consumo de la televisión. En los otros dos medios analizados las diferencias no son tan significativas pero se ha de destacar el consumo de Internet y del móvil entre los jóvenes de 15 a 17 años de ambos sexos.

Redes sociales de lectura: del libro de caras a la LIJ 2.0

Entre las múltiples posibilidades que nos ofrecen los distintos servicios de redes sociales y microblogging, algunos objetivos fundamentales para su uso didáctico pueden ser el fomento de la lectura y el desarrollo de la competencia lectoliteraria. Contrariamente a lo que muchas voces plantean, que las ven como una distracción frente a la lectura tradicional, las redes sociales son un espacio de conversación y lectura donde, con dinámicas adecuadas, se puede trabajar la comprensión lectora desde muy distintas perspectivas, siendo un espacio central de lo que se ha definido como LIJ 2.0 (Literatura y Lectura Infantil y Juvenil en la Web Social).

Seguimiento de calidad de las asignaturas de tercer curso del Grado en Ingeniería Informática

En esta memoria se describe el proyecto llevado a cabo para mejorar el seguimiento y la calidad de la docencia de las asignaturas del tercer curso del Grado en Ingeniería Informática. En concreto, en este proyecto, nos centramos en los mecanismos de evaluación y en su distribución a lo largo del curso, así como en los conceptos fundamentales que se asocian a las diferentes asignaturas que se imparten en tercer curso del Grado en Ingeniería Informática. Se realizaron diversas reuniones entre los coordinadores de las distintas asignaturas para poner en común problemas relacionados con la planificación de las asignaturas así como dudas sobre las actividades de evaluación. Las reuniones permitieron intercambiar diferentes planteamientos con los que se habían abordado la evaluación de las asignaturas participantes en la red y que posibilitaron resolver problemas comunes. De igual forma se plantearon cuestiones abiertas sobre la planificación y la evaluación de las asignaturas que se dirigieron desde la red a la coordinación de la titulación en la Escuela Politécnica Superior. Finalmente, también se discutieron diferentes propuestas junto con las redes de otros cursos de la titulación para abordarlas en futuras redes.

Social Rankings: análisis visual de sentimientos en redes sociales

Social Rankings es una aplicación web que realiza un seguimiento en tiempo real de entidades en las redes sociales. Detecta y analiza las opiniones sobre estas entidades utilizando técnicas de análisis de sentimientos para generar un informe visual de su valoración y su evolución en el tiempo.

Lectura social y LIJ 2.0 en la universidad. Aplicaciones y redes sociales de lectura

Dentro del desarrollo de nuevos conceptos pedagógicos como las Tecnologías del Aprendizaje y el Conocimiento (TAC) y el Mobile Learning han aparecido algunos aspectos principales como la Lectura Social y la LIJ 2.0 fundamentales para la didáctica de la lengua y la literatura en entornos digitales. Entre las múltiples posibilidades que nos ofrecen los distintos servicios de redes sociales y microblogging, algunos objetivos para su uso didáctico pueden ser el fomento de la lectura y el desarrollo de la competencia lectoliteraria. Las redes sociales pueden ser un espacio de conversación y lectura donde, con dinámicas adecuadas, se trabaje la comprensión lectora desde muy distintas perspectivas. En el siguiente trabajo se hará una revisión de las distintas herramientas, desde los espacios más generalistas como Facebook o los clubes de lectura a través de servicios como Twitter, hasta llegar a aplicaciones y redes sociales específicas centradas en la literatura, como Aldiko, Wattpad, Ibooks, Anobii, Goodreads o Entrelectores, haciendo una descripción de las distintas posibilidades para la formación del alumnado y la promoción de la lectura.

Red de Innovación docente en Publicidad y Relaciones públicas en Turismo: uso de redes sociales en la docencia

Por segundo año consecutivo, se han utilizado las redes sociales como recurso de innovación docente en la asignatura Publicidad y Relaciones públicas, de tercero de grado de Turismo de la Universidad de Alicante, con el objetivo de mejorar las competencias de los alumnos en el uso de herramientas colaborativas 2.0. Así, se han implementado varios grupos de Facebook para fomentar la interacción entre el profesorado y los alumnos. Además, se ha iniciado en este curso 2013-2014 el uso de Twitter. Estas redes son un nuevo reto en el ámbito académico, ya que pueden ser útiles en los procesos educativos y pueden jugar un importante papel, ofreciendo nuevos contextos y posibilidades para mejorar el proceso de enseñanza-aprendizaje. Para evaluar si el uso de Facebook y Twitter ha sido positivo se ha hecho una encuesta para saber si los alumnos han percibido una mejora en su aprendizaje y su valoración sobre la utilidad de las redes sociales. Los resultados, de nuevo, apuntan a que repercute positivamente y a que hay una mayor interacción y un uso colaborativo en la red social.

Uso de Redes Sociales en asignaturas de Grado de Dirección de Recursos Humanos

El uso de las redes sociales online ha crecido vertiginosamente en los últimos años, y los jóvenes son los principales protagonistas de esta tendencia. Inmersos y educados y criados en medio de la tecnología, la nueva generación de estudiantes son nativos digitales. Los profesores, en cambio, somos inmigrantes digitales, pero tenemos la responsabilidad de convertir una tecnología que puede ser una distracción en una herramienta de enseñanza. Facebook es un ejemplo de tecnología Web 2.0 que tiene un enorme potencial en el campo de la educación, aunque no fue creada para construir o manejar experiencias de aprendizaje. Opera en una plataforma abierta, a diferencia de otros sistemas organizados alrededor de cursos estructurados formalmente. De hecho, aunque Facebook no es un entorno de aprendizaje, puede servir como un soporte muy valioso para las nuevas orientaciones sociales que aparecen ahora en los procesos educativos. El objetivo del presente trabajo es mostrar nuestra experiencia docente, en las asignaturas de grado de Dirección de Recursos Humanos, en la Universidad de Alicante, con la red social Facebook, obteniendo conclusiones y recomendaciones para mejorar el uso de redes sociales en la enseñanza universitaria.