Saltar navegación e ir al contenido principal

Estás filtrando por

Se encontraron 110737 resultados en recursos

Exclusivo BibloRed

Por: Hindawi Publishing Corporation | Fecha: 2015

La comprobación de modelos se ha aplicado con éxito a la verificación de protocolos de seguridad, pero el proceso de modelado es siempre tedioso y también se necesita un conocimiento competente del método formal, aunque la verificación final podría ser automática en función de herramientas específicas. Al mismo tiempo, debido a la aparición de nuevos tipos de redes, como las redes inalámbricas de sensores (WSN) y las redes inalámbricas de área corporal (WBAN), el modelado formal y la verificación de estos sistemas específicos de dominio son todo un reto. En este artículo, se propone un método específico y novedoso de modelado formal y verificación que se implementa utilizando una herramienta ampliable llamada PAT para realizar la verificación de seguridad específica de las WSN. En primer lugar, se desarrolla una estructura de datos de modelado abstracto para CSP#, que se construye en PAT, para dar soporte a la especificación relacionada con la movilidad de los nodos para modelar la actividad de los nodos basada en la localización. A continuación, se redefine el modelo tradicional Dolev-Yao para facilitar el modelado de los comportamientos de ataque específicos de la localización sobre el mecanismo de seguridad. Se describe en detalle una aplicación de verificación formal de un protocolo de seguridad basado en la localización en WSN para demostrar la utilidad y eficacia de la metodología propuesta. Además, también se puede modelar y verificar con éxito un nuevo protocolo de seguridad de autenticación basado en la localización en WBAN utilizando directamente nuestro método, que es, hasta donde sabemos, el primer esfuerzo en el empleo de la comprobación de modelos para el análisis automático del protocolo de autenticación para WBAN.

Fuente: Revista Virtual Pro Formatos de contenido: Otros

Exclusivo BibloRed

Por: Hindawi Publishing Corporation | Fecha: 2015

Con el desarrollo de los sensores, es posible incrustar muchos sensores en un espacio determinado, lo que hace posible el sistema de monitorización y alarma con multisensor. Hay dos parámetros importantes en un sistema de monitorización y alarma, a saber, la tasa de falsas alarmas y la tasa de alarmas fallidas. En este trabajo, se presenta un método para seleccionar el número óptimo de sensores en el conjunto de sensores con el fin de mejorar la credibilidad. Se discuten los factores de influencia de los pesos y la tasa de falsas alarmas y la tasa de alarmas perdidas de un sensor y el número total de sensores. Se desarrolla un montaje experimental. Se comparan gráficamente los métodos de supervisión de las estrategias comunes y la estrategia de número óptimo de sensores propuesta mediante las curvas características de funcionamiento del receptor y el área bajo los valores de la curva característica de funcionamiento del receptor. Las curvas receiver operating characteristic demuestran gráficamente que el método del número óptimo de sensores presenta el mejor rendimiento, y se demuestra que el método del número óptimo de sensores tiene el valor más alto de área bajo la curva receiver operating characteristic (0,9631). Este método puede ayudar a los futuros usuarios del sistema de monitorización y alarma proporcionando una estrategia de número óptimo de sensores para una alta credibilidad.

Fuente: Revista Virtual Pro Formatos de contenido: Otros

Exclusivo BibloRed

Por: Hindawi Publishing Corporation | Fecha: 2016

Este artículo propone un nuevo algoritmo de fusión de visión e inercia S2fM (Simplified Structure from Motion) para la estimación de la pose relativa de la cámara. A diferencia de los algoritmos existentes, nuestro algoritmo estima los parámetros de rotación y traslación por separado. S2fM emplea giroscopios para estimar el parámetro de rotación de la cámara, que posteriormente se fusiona con los datos de imagen para estimar el parámetro de traslación de la cámara. Nuestras aportaciones se centran en dos aspectos. (1) En la circunstancia de que ningún sensor inercial puede estimar con suficiente precisión el parámetro de traslación, proponemos un algoritmo de estimación de la traslación mediante la fusión del sensor giroscópico y los datos de imagen. (2) Nuestro algoritmo S2fM es eficiente y adecuado para dispositivos inteligentes. Los resultados experimentales validan la eficacia del algoritmo S2fM propuesto.

Fuente: Revista Virtual Pro Formatos de contenido: Otros

Exclusivo BibloRed

Por: Hindawi Publishing Corporation | Fecha: 2015

La medición de la glucemia en sujetos con insuficiencia renal, tratados por tanto con hemodiálisis, o diálisis peritoneal, es clínicamente relevante, ya que los niveles de glucosa pueden influir en la determinación de otros solutos, como la creatinina, así como de algunos iones, como el sodio, cuyo grado de eliminación durante las sesiones de diálisis debe controlarse cuidadosamente. Asimismo, los niveles de glucosa deben controlarse para evitar posibles episodios de hipoglucemia durante el tratamiento, especialmente en sujetos diabéticos. De hecho, se han documentado incluso casos de coma hipoglucémico. La medición de la glucosa durante el tratamiento de diálisis puede realizarse con diferentes sensores y tecnologías: por ejemplo, con medidores de glucosa tradicionales, con instrumentos para la monitorización continua de la glucosa o con sensores ópticos. El objetivo de este estudio de revisión era analizar estos diferentes enfoques y discutir brevemente las posibles ventajas y limitaciones.

Fuente: Revista Virtual Pro Formatos de contenido: Otros

Exclusivo BibloRed

Por: Hindawi Publishing Corporation | Fecha: 2016

Se analizan las consideraciones generales para diseñar una interfaz de sensor para etiquetas RFID pasivas. De este modo, se exploran las restricciones de potencia y temporización impuestas por las normas ISO/IEC 15693 e ISO/IEC 14443 a las etiquetas RFID de alta frecuencia. Se propone una interfaz multisensor genérica y se realiza un análisis de los convertidores analógico-digitales más adecuados para las aplicaciones de detección RFID pasiva. Se sugieren el tipo de convertidor y la arquitectura más adecuados. Al final, se propone una interfaz de sensor específica para sensores de gas de nanotubos de carbono y se hace una breve discusión sobre sus circuitos implementados y resultados preliminares.

Fuente: Revista Virtual Pro Formatos de contenido: Otros

Exclusivo BibloRed

Por: Hindawi Publishing Corporation | Fecha: 2016

Los sistemas heterogéneos multinúcleo y multiprocesador se han utilizado ampliamente para el procesamiento de información de sensores inalámbricos, pero el consumo energético del sistema se ha convertido en un problema cada vez más importante. Para garantizar el funcionamiento fiable y seguro de los sistemas de sensores, es preciso mejorar la tasa de éxito en la programación de tareas de las plataformas heterogéneas y reducir el consumo de energía. Este trabajo establece un modelo de programación de tareas fiable para redes de sensores inalámbricas, propone un modelo de consumo de energía y adopta el algoritmo de colonia de hormigas y el algoritmo de colonia de abejas para la programación de tareas de un nodo sensor en tiempo real. Los resultados experimentales muestran que el algoritmo genético y el algoritmo de colonia de hormigas pueden resolver eficientemente el problema de consumo de energía en la programación de tareas de confianza de un sensor inalámbrico y que el rendimiento del algoritmo de colonia de abejas es ligeramente inferior al de los dos primeros métodos.

Fuente: Revista Virtual Pro Formatos de contenido: Otros

Exclusivo BibloRed

Por: Hindawi Publishing Corporation | Fecha: 2015

Este artículo propone un enfoque basado en objetos para la detección supervisada de cambios mediante el análisis de incertidumbre para imágenes de muy alta resolución (VHR). En primer lugar, se combinan dos imágenes temporales en una sola mediante apilamiento de bandas. A continuación, por un lado, la imagen apilada se segmenta mediante la fusión estadística de regiones (SRM) para generar mapas de segmentación; por otro lado, la imagen apilada se clasifica mediante la máquina de vectores soporte (SVM) para producir un mapa de detección de cambios por píxel. Por último, se realiza un análisis de incertidumbre de los objetos segmentados para integrar el mapa de segmentación y el mapa de cambios por píxeles a la escala adecuada y generar el mapa de cambios final. Se realizaron experimentos con conjuntos de datos SPOT 5 y QuickBird para evaluar la eficacia del enfoque propuesto. Los resultados indican que el enfoque propuesto a menudo genera mapas de detección de cambios más precisos en comparación con algunos métodos y reduce los efectos de la clasificación y la escala del segmento en la precisión de la detección de cambios. El método propuesto proporciona un enfoque eficaz para la detección supervisada de cambios en imágenes VHR.

Fuente: Revista Virtual Pro Formatos de contenido: Otros

Exclusivo BibloRed

Por: Hindawi Publishing Corporation | Fecha: 2016

Con el rápido desarrollo de la tecnología de microfabricación, ha aumentado el nivel de producción de microdispositivos inerciales, lo que ha promovido la mejora del rendimiento de la microunidad de medición inercial (MIMU). La precisión de medición de la MIMU es uno de los índices más significativos, especialmente para la aplicación de los proyectiles giratorios guiados. Con el fin de mejorar la precisión de medición de MIMU, este artículo presenta un novedoso método de calibración. Se ha establecido el modelo de calibración y se ha introducido la derivación para la estimación de los parámetros. Todos los parámetros del modelo de calibración se pueden estimar correctamente mediante pruebas multipunto y multiposición. El experimento de verificación muestra que el método propuesto tiene el mismo efecto de compensación que el método tradicional, pero puede aliviar la carga computacional del sistema. Por lo tanto, el método propuesto tendrá una amplia perspectiva de aplicación para la futura calibración de ingeniería.

Fuente: Revista Virtual Pro Formatos de contenido: Otros

Exclusivo BibloRed

Por: Hindawi Publishing Corporation | Fecha: 2015

En una red de sensores inalámbricos de seguimiento de objetivos, la elección de los nodos de trabajo adecuados no sólo puede minimizar el número de nodos activos, sino también satisfacer el requisito de fiabilidad del seguimiento. Sin embargo, la mayoría de los trabajos existentes se centran en seleccionar los nodos sensores más cercanos al objetivo para las misiones de seguimiento y no tienen en cuenta la correlación de la ubicación de los nodos sensores, por lo que estos enfoques no pueden cumplir todos los objetivos de la red. Este trabajo propone un enfoque de selección de nodos eficiente y adaptativo para el seguimiento de un objetivo en una red de sensores inalámbrica distribuida. El enfoque propuesto combina la estrategia de selección de nodos basada en la distancia y la predicción por filtro de partículas considerando la correlación espacial de los diferentes nodos sensores. Además, se propone una medida conjunta ponderada por la distancia para estimar la utilidad informativa de los nodos sensores. Los resultados experimentales muestran que EANS supera a los enfoques más avanzados al reducir el coste energético y la complejidad computacional, además de garantizar la precisión del seguimiento.

Fuente: Revista Virtual Pro Formatos de contenido: Otros

Exclusivo BibloRed

Por: Hindawi Publishing Corporation | Fecha: 2015

La optimización cuántica por enjambre de partículas (QPSO) es un algoritmo de optimización basado en poblaciones que se inspira en el comportamiento social de las bandadas de pájaros y combina las ideas de la computación cuántica. Para muchos problemas de optimización, el algoritmo QPSO tradicional puede producir soluciones de alta calidad en un tiempo de cálculo razonable y con características de convergencia relativamente estables. Pero el algoritmo QPSO también mostró algunos problemas insatisfactorios en aplicaciones prácticas, como la convergencia prematura y la escasa capacidad de optimización global. Para resolver estos problemas, en este trabajo se propone e implementa un algoritmo mejorado de optimización cuántica por enjambre de partículas. Hay tres trabajos principales en este trabajo. En primer lugar, se introduce un algoritmo QPSO mejorado que puede mejorar la capacidad de toma de decisiones del modelo. En segundo lugar, introducimos por primera vez un modelo de red neuronal sinérgica para la clasificación de manglares que puede manejar mejor la correspondencia difusa de imágenes de teledetección. Por último, se utiliza el algoritmo QPSO mejorado para optimizar los parámetros de la red. Los experimentos de clasificación de manglares mostraron que el algoritmo mejorado tiene una capacidad de exploración global más potente y una velocidad de convergencia más rápida.

Fuente: Revista Virtual Pro Formatos de contenido: Otros