Listar por tema "Verification"
Mostrando ítems 1-4 de 4
-
Modelado y verificación mediante lógica lineal temporal de un grupo de dos ascensores con sistema de control de destino
(Universidade da Coruña, Servizo de Publicacións, 2019)[Resumen] Los grupos de ascensores con sistema de preselección de destino persiguen la reducción del tiempo de espera en edificios de mediana y gran altura como hoteles o bloques de oficinas. En este tipo de sistemas, ... -
Sistema de validación de títulos académicos basado en tecnologías Blockchain
(2022)[Resumen]: La falsificación de títulos académicos y la falta de medios para validarlos es un problema que conlleva altos costes en la sociedad. Esta práctica daña el valor de los títulos y repercute seriamente en la ... -
Verificación automatizada de contenidos en las radiotelevisiones públicas europeas: primeras aproximaciones al uso de la inteligencia artificial
(Universidade da Coruña, 2022-06-30)[Resumen] La proliferación de noticias falsas en el renovado contexto digital se erige como uno de los problemas centrales a los que se enfrentan los medios de comunicación. Se ha comprobado que, para atajar la desinformación, ... -
Verification Approaches for the 3D Static LES Simulations of the Stonecutters Bridge Deck
(WIT Press, 2021)[Abstract] In computational fluid dynamics (CFD) simulations, verification is the process of identifying both the spatial and the temporal discretisations providing relatively insensitive model results. The underlying goal ...