Verificación de los modelos
Verificación lógica de los modelos sintetizados para circuitos integrados
... de modelos de ...de modelos de fallas específicos; sin embargo, el uso de modelos de fallas proporciona una medida cuantitativa de las capacidades de detección de errores de un conjunto dado de ...
86
Verificación de modelos climáticos CMIP5: análisis de la estivalización de la primavera en el Mediterráneo Occidental
... 15 Respecto al resto de modelos del CMIP5, en la Tabla II.1 tenemos tres resultados para cada uno. Los dos primeros, también presentes en el reanálisis NCEP/NCAR indican el valor de le tendencia obtenida a partir ...
25
Verificación objetiva de la precipitación con estaciones de la red secundaria
... tres modelos para los meses promedio de los tres ...tres modelos tienen una conducta aproximadamente similar a lo largo del año, con errores mayores en primavera y otoño y menores en verano e ...el ...
6
12097 pdf
... a modelos algebraicos y la verificación de propiedades por medio de lógicas ...la verificación de propiedades debe guiarse por un proceso visual simple que de soporte al usuario en todo momento, ...
165
Verificación y validación de sistemas modelados mediante redes de Petri
... de verificación y validación de modelos capaces de certificar el buen desempeño de un sistema descrito y garantizar la construcción de un modelo fiable que posibilite disminuir los costos, fundamentalmente ...
94
Una revisión a la planificación de los recursos: sobre los enfoques de evaluación y los modelos de adaptación al uso turístico
... qué modelos existen hoy en día en torno a su planificación, sus similitudes y ...de modelos de planificación del turismo, así como los vinculados con la evaluación de la atractividad de los recursos, pero ...
30
Generación de caudales mensuales mediante redes neuronales artificiales a partir de precipitaciones mensuales en la sub cuenca Querococha, Recuay - 2017
... Considerando el tipo de datos las estructuras de iteración se armaron en dos grupos principales, precipitaciones mensuales y caudales mensuales, estos a su vez en dos grupos más, A y B, el primero para probar el tipo de ...
92
Evaluación de la Calidad del Agua en la Planta Potabilizadora El Dorado (Bogotá D.C.) a través del Análisis Estadístico de Series de Tiempo
... de modelos ARIMA enfocados a evaluar la calidad del agua tratada se constituye como una herramienta complementaria a dicha evaluación, la cual se recomienda ser implementada a nivel institucional ...
114
Debunking clichés or the evolution of models of womanhood and manhood on stage
... los modelos de feminidad y de masculinidad vigentes, así como los pasos hacia la normalización social de las diferentes identidades ...de modelos en la sociedad de principios del siglo ...
17