430 resultados para TESAUROS - AUTOMATIZACIÓN
Resumo:
Práctica 3. Comunicación con RS-485 y MODBUS.
Resumo:
Ejercicios de la práctica 2. Programación con GRAFCET de un PLC.
Resumo:
En este trabajo destacamos el papel que en la actualidad desempeñan las Nuevas Tecnologías de la Información y Comunicación (NTIC) y los Sistemas de Información (SI) en la consecución del éxito de las organizaciones. Aunque no existe consenso acerca de las ventajas de la adopción de estas tecnologías para la empresa, lo que sí parece estar claro es la necesidad de un adecuado ajuste para que éstas puedan convertirse en una fuente de ventaja competitiva sostenible. En este caso particular, señalamos algunas de las NTIC y SI más importantes para el sector hotelero y proponemos, para su contraste, una serie de hipótesis donde se recogen las ventajas en la rentabilidad, calidad y gestión de los recursos humanos que pueden ir asociadas a las mismas. En líneas generales, se espera que la incorporación de estas tecnologías se traduzca, en última instancia, en un aumento de la rentabilidad, gracias a la automatización de muchos procesos de gestión, al aumento de los canales de distribución y difusión, etc.; en un aumento de la calidad del producto, al adaptarse mejor a las necesidades del cliente, y ofrecerle un producto más diferenciado y con una mejor relación calidad-precio; y en una mejora de las prácticas de gestión de los recursos humanos. Los resultados obtenidos en nuestro análisis, para el caso de la provincia de Alicante, demuestran en su mayor parte las anteriores suposiciones, como expondremos al final del trabajo.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
Inspirados por las estrategias de detección precoz aplicadas en medicina, proponemos el diseño y construcción de un sistema de predicción que permita detectar los problemas de aprendizaje de los estudiantes de forma temprana. Partimos de un sistema gamificado para el aprendizaje de Lógica Computacional, del que se recolectan masivamente datos de uso y, sobre todo, resultados de aprendizaje de los estudiantes en la resolución de problemas. Todos estos datos se analizan utilizando técnicas de Machine Learning que ofrecen, como resultado, una predicción del rendimiento de cada alumno. La información se presenta semanalmente en forma de un gráfico de progresión, de fácil interpretación pero con información muy valiosa. El sistema resultante tiene un alto grado de automatización, es progresivo, ofrece resultados desde el principio del curso con predicciones cada vez más precisas, utiliza resultados de aprendizaje y no solo datos de uso, permite evaluar y hacer predicciones sobre las competencias y habilidades adquiridas y contribuye a una evaluación realmente formativa. En definitiva, permite a los profesores guiar a los estudiantes en una mejora de su rendimiento desde etapas muy tempranas, pudiendo reconducir a tiempo los posibles fracasos y motivando a los estudiantes.
Resumo:
Este trabajo analiza las nuevas tendencias en la creación y gestión de información geográfica, para la elaboración de modelos inductivos basados exclusivamente en bases de datos geográficas. Estos modelos permiten integrar grandes volúmenes de datos de características heterogéneas, lo que supone una gran complejidad técnica y metodológica. Se propone una metodología que permite conocer detalladamente la distribución de los recursos hídricos naturales en un territorio y derivar numerosas capas de información que puedan ser incorporadas a estos modelos «ávidos de datos» (data-hungry). La zona de estudio escogida para aplicar esta metodología es la comarca de la Marina Baja (Alicante), para la que se presenta un cálculo del balance hídrico espacial mediante el uso de herramientas estadísticas, geoestadísticas y Sistemas de Información Geográfica. Finalmente, todas las capas de información generadas (84) han sido validadas y se ha comprobado que su creación admite un cierto grado de automatización que permitirá incorporarlas en análisis de Minería de Datos más amplios.
Resumo:
Mode of access: Internet.
Resumo:
Desde la invención de la pólvora en China en torno al siglo IX, los fuegos artificiales han evolucionado de manera notable. En la actualidad, son habituales los espectáculos de fuegos artificiales de gran magnitud, en los que la sincronización y coordinación entre los distintos artificios pirotécnicos es prácticamente perfecta. Esto es posible gracias al desarrollo de sistemas de disparo eléctricos que permiten la automatización de estos espectáculos. Sin embargo, su precio es bastante elevado. En este trabajo se propone el desarrollo de una plataforma hardware /software capaz de realizar todas las funciones de un sistema de disparo profesional con un coste mucho más reducido. El prototipo presentado está compuesto de dos módulos, a los que se pueden conectar 24 artificios pirotécnicos a cada uno. Estos módulos son controlados por un ordenador central que ejecuta el software diseñado capaz de programar y ejecutar espectáculos pirotécnicos. La comunicación entre el ordenador central y los módulos se realiza de forma inalámbrica mediante la creación de una red WiFi.
Resumo:
La verificación formal de un programa es la demostración de que este funciona de acuerdo a una descripción del comportamiento esperado en toda posible ejecución. La especificación de lo deseado puede utilizar técnicas diversas y entrar en mayor o menor detalle, pero para ganarse el título de formal esta ha de ser matemáticamente rigurosa. El estudio y ejercicio manual de alguna de esas técnicas forma parte del currículo común a los estudios de grado de la Facultad de Informática y del itinerario de Ciencias de la Computación de la Facultad de Ciencias Matemáticas de la Universidad Complutense de Madrid, como es el caso de la verificación con pre- y postcondiciones o lógica de Hoare. En el presente trabajo se explora la automatización de estos métodos mediante el lenguaje y verificador Dafny, con el que se especifican y verifican algoritmos y estructuras de datos de diversa complejidad. Dafny es un lenguaje de programación diseñado para integrar la especificación y permitir la verificación automática de sus programas, con la ayuda del programador y de un demostrador de teoremas en la sombra. Dafny es un proyecto en desarrollo activo aunque suficientemente maduro, que genera programas ejecutables.
Resumo:
BIBLIORed3.0 es una web universitaria administrada y mantenida en la Universidad Complutense (Servicio Documentación Multimedia del Dpto. Biblioteconomía y Documentación) dedicada a proporcionar información y documentación multimedia en y sobre cine, periodismo, publicidad, radio, televisión, internet-web social y gestión de información en medios de comunicación (documentación informativa) en el ámbito fundamentalmente de archivos, bibliotecas, centros-servicios de documentación y servicios especializados universitarios, en acceso abierto y proyección iberoamericana, en la idea de convertirse en una red social propia. BIBLIORed3.0 dispone de dominio propio en Internet e ISSN 2386-8880 (asignado por BNE-Biblioteca Nacional de España, 26.01.2015).
Resumo:
Se estudia la codificación y organización del campo de las Ciencias de la Comunicación, fundamentalmente los códigos Unesco. El objetivo es plantear un cambio en estos códigos, puesto que la forma de clasificar y organizar un dominio científico tiene consecuencias de naturaleza operativa y epistemológica en el propio trabajo científico. En este trabajo se estudia la clasificación actual, que muestra una presencia escasa y dispersa de los términos vinculados a Comunicación. Se describen las dificultades prácticas y teóricas que conlleva su reorganización, las posibles fuentes (planes de estudio, congresos, revistas científicas, propuestas documentales y palabras clave) y los métodos de trabajo que se pueden emplear, tomando como bases teóricas el dominio de la Organización del Conocimiento y el de la Comunicación. Por último, se analizan dos ámbitos disciplinares diferentes (Historia de la Comunicación y Tecnologías de la Comunicación), mediante la información recogida, en una base de datos, de asignaturas en grado y en másteres oficiales de 12 universidades españolas. También se observa que este tipo de propuesta requiere el conocimiento derivado de instrumentos documentales como las clasificaciones y los tesauros.
Resumo:
VANTI, Nadia et al. Linguagens de indexação: uso das linguagens presentes na prática da indexação.In:ENCONTRO REGIONAL DE ESTUDANTES DE BIBLIOTECONOMIA, DOCUMENTAÇÃO, CIÊNCIA DA INFORMAÇÃO E GESTÃO DA INFORMAÇÃO,14, 2011, Maranhão. Anais... Maranhão: EREBD, 2011.
Resumo:
En los últimos años el presupuesto de las bibliotecas a nivel general se ha mantenido o inclusive ha tendido a disminuir, por lo que éstas se ven obligadas a operar con esos fondos decrecientes. Por otro lado, los costos de los servicios son cada vez más altos, haciendo que las bibliotecas deban adaptarse al nuevo entorno, tratando de limitar sus gastos. Para mejorar la gestión de la biblioteca adaptándose al presupuesto asignado es necesario conocer el costo real de sus procesos, así se puede tomar decisiones para mejorar o incrementar los servicios prestados. Para solventar este problema existen varias técnicas para la gestión de costos, y uno de los más avanzados al momento descrito en esta tesis es el Costeo Basado en Actividades manejadas por Tiempo (TD-ABC). Este modelo nos proporciona información esencial de las funciones de la biblioteca, nos ayuda a comprender los factores de costo relevantes así como el mejorar la asignación presupuestaria. El presente trabajo de titulación tiene como objetivo el desarrollo de un módulo que aplique la metodología TD-ABC para el manejo de procesos, el mismo que ha sido implementado siguiendo la misma estructura del sistema de Automatización de Bibliotecas y Centros de Documentación (ABCD) que se encuentra funcionando en el Centro de Documentación Regional "Juan Bautista Vázquez" (CDRJBV). El módulo de TD-ABC ha sido desarrollado bajo plataforma de Software Libre, utilizando el lenguaje PHP y base de datos MYSQL, además de herramientas para el desarrollo web HTML, CSS, AJAX, JAVASCRIPT y API GOOGLE.