Cálculo de intersecciones rayo/objeto en ray tracing: Una especificación formal en Z

Autores/as

  • Ernesto Rivera Alvarado Computer Science Costa Rica Institute of Technology Costa Rica
  • Kervin Sánchez Herrera Computer Science Costa Rica Institute of Technology Costa Rica
  • Ignacio Trejos Zelaya Computer Science Costa Rica Institute of Technology Costa Rica

Palabras clave:

Ray tracing, Notación Z, especificación formal, intersección rayo/objeto, primitivas matemáticas, escenas tridimensionales, primera intersección

Resumen

Este trabajo presenta un caso de estudio en la especificación formal, mediante la notación Z, del cálculo de intersecciones rayo/objeto en el algoritmo de ray tracing. En el documento se describen los conceptos de escena, objetos geométricos tridimensionales, cálculo de intersecciones rayo/objeto mediante conjunto de puntos y la identificación de la primera intersección del rayo con un objeto de la escena. Dicha información es indispensable para la síntesis de una imagen tridimensional por medio  de  ray  tracing.  El  caso de estudio es parte de una iniciativa de investigación   y educación en la aplicación de métodos formales de descripción y verificación a distintas áreas temáticas dentro de la Computación. Nuestra especificación muestra un alto nivel de abstracción en la descripción de las intersecciones rayo/objeto en problemas de trazado de rayos, un problema importante en Computación Gráfica. Esta exploración invita a describir otros problemas relacionados con Gráficas por computadoras y también abre oportunidades para la verificación formal de las propiedades descritas en las especificación, el desarrollo de algoritmos verificables contra la especificación formal, o el refinamiento de programas correctos por construcción mediante la transformaciones sucesivas que partan de la especificación abstracta.

Descargas

Publicado

2020-07-31

Cómo citar

[1]
Ernesto Rivera Alvarado, Kervin Sánchez Herrera, y Ignacio Trejos Zelaya, «Cálculo de intersecciones rayo/objeto en ray tracing: Una especificación formal en Z», TIBCPIC, vol. 5, pp. 77–95, jul. 2020.

Número

Sección

Artículos