8 resultados para Runtime Verification
Resumo:
261 p.
Resumo:
131 p.: graf.
Warsaw Conference: “Small steps forward while awaiting major decisions at the 2015 Paris Conference”
Resumo:
6 p.
Resumo:
6 p.
Resumo:
[ES]Mejorar el proceso de handover en el despliegue de comunicaciones inalámbricas de banda ancha tradicionalmente ha motivado muchas iniciativas de investigación. En el dominio de los ferrocarriles de alta velocidad, el reto es incluso mayor. Debido a las largas distancias que se cubren, el nodo móvil se ve envuelto en una secuencia obligatoria de procesos de handover. Consecuentemente, un rendimiento pobre en la ejecución de esos procesos de handover degrada significativamente el rendimiento global extremo a extremo. Este documento propone una nueva estrategia de handover para el dominio de los ferrocarriles: un algoritmo de decisión para LTE basado en distancia en lugar de en potencia. La decisión de realizar el handover se realiza cuando un eNB candidato se encuentra más cerca del UE que el eNB fuente. Adicionalmente, cabe la posibilidad de retrasar esa decisión mediante un umbral. Asimismo, se añade una nueva función al modelo de LTE de la plataforma de simulación empleada en la verificación de este modelo. Este mecanismo de decisión introduce un retardo menor en los procesos de handover y, en consecuencia, la calidad extremo-a-extremo aumenta.
Resumo:
[ES]En este trabajo fin de grado se presenta un estudio de diferentes metodologías para la estimación de la velocidad de acceso a Internet. En el estudio no sólo se analizan las metodologías de las herramientas más extendidas sino que también se tienen en cuenta los factores de influencia principales examinándose su afección global en los resultados obtenidos. Los resultados de este estudio permitirán a los distintos agentes implicados contar con información de interés para el desarrollo de sus propias herramientas. Además, las conclusiones del estudio podrían conducir, en un futuro próximo, a la estandarización de una metodología unificada, por parte de organismos internacionales del sector, que permita comparativas de datos así como la verificación de los acuerdos de nivel de servicio, de interés para usuarios, operadores y reguladores.
Resumo:
Most wearable activity recognition systems assume a predefined sensor deployment that remains unchanged during runtime. However, this assumption does not reflect real-life conditions. During the normal use of such systems, users may place the sensors in a position different from the predefined sensor placement. Also, sensors may move from their original location to a different one, due to a loose attachment. Activity recognition systems trained on activity patterns characteristic of a given sensor deployment may likely fail due to sensor displacements. In this work, we innovatively explore the effects of sensor displacement induced by both the intentional misplacement of sensors and self-placement by the user. The effects of sensor displacement are analyzed for standard activity recognition techniques, as well as for an alternate robust sensor fusion method proposed in a previous work. While classical recognition models show little tolerance to sensor displacement, the proposed method is proven to have notable capabilities to assimilate the changes introduced in the sensor position due to self-placement and provides considerable improvements for large misplacements.
Resumo:
549 pp. (Bibliogr. pp. 501-522) (Conclusiones pp. 467-483/ Conclusions pp. 484-497)