942 resultados para Tecnología de la automatización
Resumo:
Programa de doctorado de Gestión en la Nueva Economía. La fecha de publicación es la fecha de lectura
Resumo:
[ES]El sistema IGAGEE proporciona una solución integrada para facilitar la automatización de pruebas y la gestión de equipamiento y resultados en entornos experimentales de laboratorio. En este tipo de escenarios es necesario controlar elementos diversos de forma coordinada y manejar información compleja de configuración y resultados. El sistema IGAGEE permite: (a) resolver de forma adecuada la integración de las herramientas disponibles, (b) solucionar la organización de las configuraciones y resultados, (c) ofrecer una interfaz única a los usuarios para la gestión y visualización de datos y (d) resolver la gestión remota del equipamiento de pruebas. Se ha diseñado el sistema IGAGEE buscando soluciones generales aplicables a entornos diferentes. Para la validación de las propuestas de diseño se ha desarrollado un prototipo inicial atendiendo a las necesidades concretas del grupo de investigación NQaS en su línea de investigación sobre Análisis y Monitorización de Tráfico en red.
Resumo:
El vídeo contiene dos reportajes más relacionados con las TIC en la ESO
Resumo:
El vídeo contiene dos reportajes más relacionados con las TIC en la ESO
Resumo:
El vídeo contiene dos reportajes más relacionados con las TIC en la ESO
Resumo:
Incluye Bibliografía
Resumo:
La seguridad en redes informáticas es un área que ha sido ampliamente estudiada y objeto de una extensa investigación en los últimos años. Debido al continuo incremento en la complejidad y sofisticación de los ataques informáticos, el aumento de su velocidad de difusión, y la lentitud de reacción frente a las intrusiones existente en la actualidad, se hace patente la necesidad de mecanismos de detección y respuesta a intrusiones, que detecten y además sean capaces de bloquear el ataque, y mitiguen su impacto en la medida de lo posible. Los Sistemas de Detección de Intrusiones o IDSs son tecnologías bastante maduras cuyo objetivo es detectar cualquier comportamiento malicioso que ocurra en las redes. Estos sistemas han evolucionado rápidamente en los últimos años convirtiéndose en herramientas muy maduras basadas en diferentes paradigmas, que mejoran su capacidad de detección y le otorgan un alto nivel de fiabilidad. Por otra parte, un Sistema de Respuesta a Intrusiones (IRS) es un componente de seguridad que puede estar presente en la arquitectura de una red informática, capaz de reaccionar frente a los incidentes detectados por un Sistema de Detección de Intrusiones (IDS). Por desgracia, esta tecnología no ha evolucionado al mismo ritmo que los IDSs, y la reacción contra los ataques detectados es lenta y básica, y los sistemas presentan problemas para ejecutar respuestas de forma automática. Esta tesis doctoral trata de hacer frente al problema existente en la reacción automática frente a intrusiones, mediante el uso de ontologías, lenguajes formales de especificación de comportamiento y razonadores semánticos como base de la arquitectura del sistema de un sistema de respuesta automática frente a intrusiones o AIRS. El objetivo de la aproximación es aprovechar las ventajas de las ontologías en entornos heterogéneos, además de su capacidad para especificar comportamiento sobre los objetos que representan los elementos del dominio modelado. Esta capacidad para especificar comportamiento será de gran utilidad para que el AIRS infiera la respuesta óptima frente a una intrusión en el menor tiempo posible. Abstract Security in networks is an area that has been widely studied and has been the focus of extensive research over the past few years. The number of security events is increasing, and they are each time more sophisticated, and quickly spread, and slow reaction against intrusions, there is a need for intrusion detection and response systems to dynamically adapt so as to better detect and respond to attacks in order to mitigate them or reduce their impact. Intrusion Detection Systems (IDSs) are mature technologies whose aim is detecting malicious behavior in the networks. These systems have quickly evolved and there are now very mature tools based on different paradigms (statistic anomaly-based, signature-based and hybrids) with a high level of reliability. On the other hand, Intrusion Response System (IRS) is a security technology able to react against the intrusions detected by IDS. Unfortunately, the state of the art in IRSs is not as mature as with IDSs. The reaction against intrusions is slow and simple, and these systems have difficulty detecting intrusions in real time and triggering automated responses. This dissertation is to address the existing problem in automated reactions against intrusions using ontologies, formal behaviour languages and semantic reasoners as the basis of the architecture of an automated intrusion response systems or AIRS. The aim is to take advantage of ontologies in heterogeneous environments, in addition to its ability to specify behavior of objects representing the elements of the modeling domain. This ability to specify behavior will be useful for the AIRS in the inference process of the optimum response against an intrusion, as quickly as possible.
Resumo:
Poster presentado a la XI Semana de la Ciencia, Tecnología y la Innovación celebrada del 9 al 13 de noviembre de 2011
Resumo:
[ES] El objetivo principal que se busca con este trabajo es analizar los diferentes sistemas de tecnología utilizados en la actividad empresarial y más concretamente en la gestión de los equipos comerciales. Además, también se pretende estudiar cuál es el grado de aceptación por parte de estos comerciales respecto a las innovaciones tecnológicas que tienen que utilizar cada día en su trabajo. Como objetivos secundarios, se busca averiguar qué herramientas tecnológicas son las más utilizadas por los comerciales en su trabajo, así como cuáles son las que más usan con los clientes de la empresa. También se quiere conocer cuál es la percepción y opinión de este colectivo de trabajadores respecto a la tecnología en general y sobre todo con aquella que tienen que utilizar en su trabajo y averiguar si piensan si esta les es útil y les ayuda a mejorar su productividad.
Resumo:
Actualmente las mayoría de sistemas de automatización industrial utilizan los Autómatas Programables (PLC - Programmable Logic Controller) como sistemas de control y el diseño de dicho sistema se realiza mediante el lenguaje de modelado Grafcet. SFCEdit es un editor de Grafcet que permite el diseño de estos sistemas de control y la exportación de los mismos en un formato XML. Resumen Por otra parte tenemos la norma IEC 61131-3 que busca estandarizar los lenguajes de programación de los PLC de esta manera no se tendría que usar un lenguaje distinto por cada fabricante, y la organización PLCOpen rigiéndose por la norma ha creado un formato XML para cada lenguaje, en los cuales se basa el traductor. Resumen Habitualmente el paso del diseño a la programación se realiza de forma manual. La automatización de este proceso es el objetivo general del proyecto realizado. En esté se ha desarrollado una herramienta que permite realizar la traducción del diseño gráfico al estándar IEC 61131-3 considerando las particularidades de algunos fabricantes de PLCs como Beckhoff (TwinCAT) y TSX Micro (PL7Pro). Además la herramienta realiza la traducción al formato XML de PLCOpen. Resumen El traductor funciona recibiendo un fichero XML (exportado de SFCEdit) procesa su información y genera los ficheros en función de la compatibilidad que el usuario seleccione.
Resumo:
En educación matemática el razonamiento cobra especial importancia, al mismo tiempo que su uso puede conducir a opiniones contrapuestas. Entender y dominar la demostración de un resultado matemático ayuda a su comprensión, facilita su empleo en el estudio de otras proposiciones y contribuye a la consolidación de un lenguaje matemático. Pero ¿puede sacarse partido a una demostración si se desconoce qué es, qué papel juega, y dónde reside su fuerza? ¿Deben frenarse los intentos de los alumnos de justificar a su modo los resultados matemáticos, ó modelarlos y sacarles mejor rendimiento? ¿No es mejor una aproximación medianamente fundada pero entendida, que aseveraciones bien formalizadas pero sin significado? Si además se considera la aportación que las nuevas tecnologías realizan a la enseñanza, es necesario una reflexión acerca de cómo se ve afectada, si es que se altera, la forma de validar el conocimiento matemático en el aula, además de establecer cuál es el rigor y la formalidad de las justificaciones que se desarrollan con estos instrumentos. En este reporte, se realiza un acercamiento teórico a diferentes modos de justificar las proposiciones matemáticas en el aula, y al papel que desempeña la tecnología en esta tarea. También se describe una experimentación llevada a cabo con profesores de matemáticas en formación en la que se analizaron las concepciones que tenían acerca del valor educativo que posee la calculadora TI-92 para, de algún modo, validar dichas proposiciones.
Resumo:
Tesis (Maestría en Salud Pública con Especialidad en Salud en el Trabajo) UANL
Resumo:
Tesis (Maestría en Ciencias de la Administración con Especialidad en Sistemas) U.A.N.L.
Resumo:
Tesis (Maestría en Informática Administrativa) U.A.N.L.
Resumo:
Tesis (Maestría en Docencia con Orientación en Educación Media Superior) UANL, 2013.