SlideShare una empresa de Scribd logo
1 de 13
SETI@home  La Búsqueda de Inteligencia Extraterrestre Universidad Técnica Particular de Loja Natalia Ludeña Irina Veintimilla
Introducción SETI, o la Busqueda de Inteligencia ExtraTerrestre, es un esfuerzo científico que trata de determinar si hay vida inteligente fuera, en el Universo. Son muchos los métodos que los científicos de SETI usan para buscar inteligencia extraterrestre. Muchos buscan billones de frecuencias de radio que fluyen en el Universo, buscando otra civilización que podría estar transmitiendo una señal de radio.
QueesSETI@home Seti@homees un experimento científico que usa computadores conectados a Internet en la Busqueda de Inteligencia Extra-Terrestre (SETI en inglés). SETI@Home sigue en funcionamiento pero integrado en BOINC (Berkeley Open Infrastructurefor Network Computing), un proyecto basado en recursos de redes abiertas con los mismos principios que el proyecto original. La nueva infraestructura continuará con la búsqueda de señales de radio extraterrestres, pero ahora además la potencia de CPU de los participantes se dedicará también a investigar sobre otras tareas, como el cambio climático, la astronomía y la cura de enfermedades
Características SETI@home en un ordenador, éste utilizará parte de la potencia de la CPU, espacio en disco y ancho de banda de red. El usuario puede configurar y limitar todos estos recursos. La cuenta en SETI@home es identificada por un nombre de usuario, que aparecerá en la página web de SETI@home, junto a un resumen del trabajo que su ordenador ha realizado. SETI@home almacena información sobre su ordenador (tipo de procesador, cantidad de memoria, SO, etc.) para decidir qué tipo de trabajo se le asigna..
Funcionamiento I Un enfoque, conocido como radio SETI, usa radio telescopios para escuchar señales de radio de banda estrecha provenientes del espacio. No se tiene conocimiento de que estas señales ocurran de manera natural, por lo que su detección puede proporcionar evidencias de tecnología extraterrestre.
Funcionamiento II Las señales obtenidas por los radio telescopios contienen principalmente ruido (emitido por fuentes celestes y por la propia electrónica de los receptores) y señales producidas por el ser humano como estaciones de televisión, radares y satélites.  Más potencia de computación permite cubrir la búsqueda en más rangos de frecuencia con más sensibilidad. Radio SETI, por tanto, tiene un apetito insaciable por la potencia computacional
FuncionamientoIII Una vez conectado al servidor del proyecto, este envía unas cuantas tareas para ejecutar. Comienza la ejecución, dependiendo de los recursos prestados. Siempre que el ordenador esté encendido las tareas se estarán ejecutando, sin necesidad de tener conexión con ninguna red ni con ningún servidor.  Periódicamente, si hay conexión, se realizan actualizaciones: 	- Enviar resultados de tareas finalizadas 	- Solicitar nuevas tareas Cada tarea tiene una fecha límite para su finalización. Cada tarea es ejecutada varias veces por usuarios diferentes. La comunicación entre el servidor y los clientes se basa en el protocolo HTTP.
Arquitectura El sitio SETI@home es abastecido por un servidor Apache con funcionalidad basada en una interfaz CGI (Common Gateway Interface por sus siglas en Ingles), utilizando una maquina Sun Ultra de procesador doble.  Los servidores SETI@home consisten de tres computadoras – una base de datos científicos, un servidor de datos, y una base de datos de usuarios La distribución de las unidades de trabajo y la recolección de resultados es realizada por el servidor de datos, mientras que el mantenimiento de la información relacionada a las unidades de trabajo es llevado a cabo por la base de datos científicos.  Todas las bases de datos son implementadas utilizando programas  InformixDynamic Server software.
Arquitectura II
Estadísticas En el web de SETI@home se pueden consultar las estadísticas en tiempo real del uso del sistema. España está muy retrasada si nos comparamos con otros paises desarrollados, aún son pocos los sistemas instalados.  Países: 1) EEUU: 64177 paquetes procesados 2) Canadá: 5535 paquetes procesados 3) Finlandia: 4550 paquetes procesados 4) Suecia: 3734 paquetes procesados 18) España: 385 paquetes procesados Sistemas operativos: 1) Linux: 59693 paquetes procesados 2) Solaris: 8279 paquetes procesados 3) Irix: 7927 paquetes procesados 4) Windows: 3259 paquetes procesados
Rendimiento Seti@homees una aplicación de alto rendimiento es decir, de alto procesamiento que tiene muchas tareas que son dividas independientemente. Tan pronto como un procesador termina una tarea, llega a él una nueva. De este modo, cientos de tareas se pueden procesar en un tiempo muy breve.
Conclusiones El sitio SETI@home esta muy bien organizado con la información cuidadosamente categorizada y fácilmente  accesible.  Debido a la atención que se le ha dado al diseño de las paginas en la red y su facilidad de lectura, lo cual es importante para este tipo de aplicación. Es un programa que nos ayuda a entender el autentico valor de la comunicación en el Internet.
Enlaces  http://nadaenespecial.com.ar/2009/08/20/setihome-buscando-senales-de-vida/ http://www.hispaseti.org/oficial/about_seti/about_seti_at_home_2.html http://es.wikipedia.org/wiki/SETI@home#Objetivo http://www.ramonmillan.com/tutorialeshtml/gridcomputing.htm#aplicacionesgrid http://rvr.blogalia.com/documentos/Astronomia/setiEnCasa.html

Más contenido relacionado

Similar a Seti@Home (20)

Redes y comunicaciones grupo
Redes y comunicaciones grupoRedes y comunicaciones grupo
Redes y comunicaciones grupo
 
Redes y comunicaciones grupo
Redes y comunicaciones grupoRedes y comunicaciones grupo
Redes y comunicaciones grupo
 
Jose salt01
Jose salt01Jose salt01
Jose salt01
 
Proyecto
ProyectoProyecto
Proyecto
 
Mairitaaaa.......
Mairitaaaa.......Mairitaaaa.......
Mairitaaaa.......
 
Cuestionario redes locales
Cuestionario redes localesCuestionario redes locales
Cuestionario redes locales
 
Presentacion 1 Redes
Presentacion 1 RedesPresentacion 1 Redes
Presentacion 1 Redes
 
Vocabulario aldea global
Vocabulario aldea globalVocabulario aldea global
Vocabulario aldea global
 
Escoresca Pavón Daniel
Escoresca Pavón DanielEscoresca Pavón Daniel
Escoresca Pavón Daniel
 
Multiusuario jimmy calva
Multiusuario jimmy calvaMultiusuario jimmy calva
Multiusuario jimmy calva
 
Osmel mul
Osmel mulOsmel mul
Osmel mul
 
Presentacion 2
Presentacion 2Presentacion 2
Presentacion 2
 
Examen Karla Darinkita!!!
Examen  Karla Darinkita!!!Examen  Karla Darinkita!!!
Examen Karla Darinkita!!!
 
Cuestionario redes locales(1)
Cuestionario redes locales(1)Cuestionario redes locales(1)
Cuestionario redes locales(1)
 
Control sensores socket
Control sensores socketControl sensores socket
Control sensores socket
 
Internet
InternetInternet
Internet
 
José Luis Gordillo
José Luis GordilloJosé Luis Gordillo
José Luis Gordillo
 
Internet
InternetInternet
Internet
 
Recopilacion icas
Recopilacion icasRecopilacion icas
Recopilacion icas
 
18.- Presentaciones icas
18.- Presentaciones icas18.- Presentaciones icas
18.- Presentaciones icas
 

Más de Irina Anabel

Más de Irina Anabel (9)

Consultas sparql
Consultas sparqlConsultas sparql
Consultas sparql
 
Seti@Home
Seti@HomeSeti@Home
Seti@Home
 
Crowdsourcing
CrowdsourcingCrowdsourcing
Crowdsourcing
 
Open Innovation
Open InnovationOpen Innovation
Open Innovation
 
Herramientas Dbms Moviles
Herramientas Dbms MovilesHerramientas Dbms Moviles
Herramientas Dbms Moviles
 
Web Os
Web OsWeb Os
Web Os
 
Web Os
Web OsWeb Os
Web Os
 
Sistemas Sgbd HomogÉNeos Y HeterogÉNeos
Sistemas Sgbd HomogÉNeos Y HeterogÉNeosSistemas Sgbd HomogÉNeos Y HeterogÉNeos
Sistemas Sgbd HomogÉNeos Y HeterogÉNeos
 
Base de datos
Base de datosBase de datos
Base de datos
 

Último

Plan Sarmiento - Netbook del GCBA 2019..
Plan Sarmiento - Netbook del GCBA 2019..Plan Sarmiento - Netbook del GCBA 2019..
Plan Sarmiento - Netbook del GCBA 2019..RobertoGumucio2
 
LAS_TIC_COMO_HERRAMIENTAS_EN_LA_INVESTIGACIÓN.pptx
LAS_TIC_COMO_HERRAMIENTAS_EN_LA_INVESTIGACIÓN.pptxLAS_TIC_COMO_HERRAMIENTAS_EN_LA_INVESTIGACIÓN.pptx
LAS_TIC_COMO_HERRAMIENTAS_EN_LA_INVESTIGACIÓN.pptxAlexander López
 
La era de la educación digital y sus desafios
La era de la educación digital y sus desafiosLa era de la educación digital y sus desafios
La era de la educación digital y sus desafiosFundación YOD YOD
 
El uso delas tic en la vida cotidiana MFEL
El uso delas tic en la vida cotidiana MFELEl uso delas tic en la vida cotidiana MFEL
El uso delas tic en la vida cotidiana MFELmaryfer27m
 
Arenas Camacho-Practica tarea Sesión 12.pptx
Arenas Camacho-Practica tarea Sesión 12.pptxArenas Camacho-Practica tarea Sesión 12.pptx
Arenas Camacho-Practica tarea Sesión 12.pptxJOSEFERNANDOARENASCA
 
El uso de las tic en la vida ,lo importante que son
El uso de las tic en la vida ,lo importante  que sonEl uso de las tic en la vida ,lo importante  que son
El uso de las tic en la vida ,lo importante que son241514984
 
FloresMorales_Montserrath_M1S3AI6 (1).pptx
FloresMorales_Montserrath_M1S3AI6 (1).pptxFloresMorales_Montserrath_M1S3AI6 (1).pptx
FloresMorales_Montserrath_M1S3AI6 (1).pptx241522327
 
El_Blog_como_herramienta_de_publicacion_y_consulta_de_investigacion.pptx
El_Blog_como_herramienta_de_publicacion_y_consulta_de_investigacion.pptxEl_Blog_como_herramienta_de_publicacion_y_consulta_de_investigacion.pptx
El_Blog_como_herramienta_de_publicacion_y_consulta_de_investigacion.pptxAlexander López
 
definicion segun autores de matemáticas educativa
definicion segun autores de matemáticas  educativadefinicion segun autores de matemáticas  educativa
definicion segun autores de matemáticas educativaAdrianaMartnez618894
 
TEMA 2 PROTOCOLO DE EXTRACCION VEHICULAR.ppt
TEMA 2 PROTOCOLO DE EXTRACCION VEHICULAR.pptTEMA 2 PROTOCOLO DE EXTRACCION VEHICULAR.ppt
TEMA 2 PROTOCOLO DE EXTRACCION VEHICULAR.pptJavierHerrera662252
 
Presentación inteligencia artificial en la actualidad
Presentación inteligencia artificial en la actualidadPresentación inteligencia artificial en la actualidad
Presentación inteligencia artificial en la actualidadMiguelAngelVillanuev48
 
dokumen.tips_36274588-sistema-heui-eui.ppt
dokumen.tips_36274588-sistema-heui-eui.pptdokumen.tips_36274588-sistema-heui-eui.ppt
dokumen.tips_36274588-sistema-heui-eui.pptMiguelAtencio10
 
Actividad integradora 6 CREAR UN RECURSO MULTIMEDIA
Actividad integradora 6    CREAR UN RECURSO MULTIMEDIAActividad integradora 6    CREAR UN RECURSO MULTIMEDIA
Actividad integradora 6 CREAR UN RECURSO MULTIMEDIA241531640
 
R1600G CAT Variables de cargadores en mina
R1600G CAT Variables de cargadores en minaR1600G CAT Variables de cargadores en mina
R1600G CAT Variables de cargadores en minaarkananubis
 
Hernandez_Hernandez_Practica web de la sesion 11.pptx
Hernandez_Hernandez_Practica web de la sesion 11.pptxHernandez_Hernandez_Practica web de la sesion 11.pptx
Hernandez_Hernandez_Practica web de la sesion 11.pptxJOSEMANUELHERNANDEZH11
 
Segunda ley de la termodinámica TERMODINAMICA.pptx
Segunda ley de la termodinámica TERMODINAMICA.pptxSegunda ley de la termodinámica TERMODINAMICA.pptx
Segunda ley de la termodinámica TERMODINAMICA.pptxMariaBurgos55
 
Mapa-conceptual-del-Origen-del-Universo-3.pptx
Mapa-conceptual-del-Origen-del-Universo-3.pptxMapa-conceptual-del-Origen-del-Universo-3.pptx
Mapa-conceptual-del-Origen-del-Universo-3.pptxMidwarHenryLOZAFLORE
 
tics en la vida cotidiana prepa en linea modulo 1.pptx
tics en la vida cotidiana prepa en linea modulo 1.pptxtics en la vida cotidiana prepa en linea modulo 1.pptx
tics en la vida cotidiana prepa en linea modulo 1.pptxazmysanros90
 
Crear un recurso multimedia. Maricela_Ponce_DomingoM1S3AI6-1.pptx
Crear un recurso multimedia. Maricela_Ponce_DomingoM1S3AI6-1.pptxCrear un recurso multimedia. Maricela_Ponce_DomingoM1S3AI6-1.pptx
Crear un recurso multimedia. Maricela_Ponce_DomingoM1S3AI6-1.pptxNombre Apellidos
 
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdf
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdfPARTES DE UN OSCILOSCOPIO ANALOGICO .pdf
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdfSergioMendoza354770
 

Último (20)

Plan Sarmiento - Netbook del GCBA 2019..
Plan Sarmiento - Netbook del GCBA 2019..Plan Sarmiento - Netbook del GCBA 2019..
Plan Sarmiento - Netbook del GCBA 2019..
 
LAS_TIC_COMO_HERRAMIENTAS_EN_LA_INVESTIGACIÓN.pptx
LAS_TIC_COMO_HERRAMIENTAS_EN_LA_INVESTIGACIÓN.pptxLAS_TIC_COMO_HERRAMIENTAS_EN_LA_INVESTIGACIÓN.pptx
LAS_TIC_COMO_HERRAMIENTAS_EN_LA_INVESTIGACIÓN.pptx
 
La era de la educación digital y sus desafios
La era de la educación digital y sus desafiosLa era de la educación digital y sus desafios
La era de la educación digital y sus desafios
 
El uso delas tic en la vida cotidiana MFEL
El uso delas tic en la vida cotidiana MFELEl uso delas tic en la vida cotidiana MFEL
El uso delas tic en la vida cotidiana MFEL
 
Arenas Camacho-Practica tarea Sesión 12.pptx
Arenas Camacho-Practica tarea Sesión 12.pptxArenas Camacho-Practica tarea Sesión 12.pptx
Arenas Camacho-Practica tarea Sesión 12.pptx
 
El uso de las tic en la vida ,lo importante que son
El uso de las tic en la vida ,lo importante  que sonEl uso de las tic en la vida ,lo importante  que son
El uso de las tic en la vida ,lo importante que son
 
FloresMorales_Montserrath_M1S3AI6 (1).pptx
FloresMorales_Montserrath_M1S3AI6 (1).pptxFloresMorales_Montserrath_M1S3AI6 (1).pptx
FloresMorales_Montserrath_M1S3AI6 (1).pptx
 
El_Blog_como_herramienta_de_publicacion_y_consulta_de_investigacion.pptx
El_Blog_como_herramienta_de_publicacion_y_consulta_de_investigacion.pptxEl_Blog_como_herramienta_de_publicacion_y_consulta_de_investigacion.pptx
El_Blog_como_herramienta_de_publicacion_y_consulta_de_investigacion.pptx
 
definicion segun autores de matemáticas educativa
definicion segun autores de matemáticas  educativadefinicion segun autores de matemáticas  educativa
definicion segun autores de matemáticas educativa
 
TEMA 2 PROTOCOLO DE EXTRACCION VEHICULAR.ppt
TEMA 2 PROTOCOLO DE EXTRACCION VEHICULAR.pptTEMA 2 PROTOCOLO DE EXTRACCION VEHICULAR.ppt
TEMA 2 PROTOCOLO DE EXTRACCION VEHICULAR.ppt
 
Presentación inteligencia artificial en la actualidad
Presentación inteligencia artificial en la actualidadPresentación inteligencia artificial en la actualidad
Presentación inteligencia artificial en la actualidad
 
dokumen.tips_36274588-sistema-heui-eui.ppt
dokumen.tips_36274588-sistema-heui-eui.pptdokumen.tips_36274588-sistema-heui-eui.ppt
dokumen.tips_36274588-sistema-heui-eui.ppt
 
Actividad integradora 6 CREAR UN RECURSO MULTIMEDIA
Actividad integradora 6    CREAR UN RECURSO MULTIMEDIAActividad integradora 6    CREAR UN RECURSO MULTIMEDIA
Actividad integradora 6 CREAR UN RECURSO MULTIMEDIA
 
R1600G CAT Variables de cargadores en mina
R1600G CAT Variables de cargadores en minaR1600G CAT Variables de cargadores en mina
R1600G CAT Variables de cargadores en mina
 
Hernandez_Hernandez_Practica web de la sesion 11.pptx
Hernandez_Hernandez_Practica web de la sesion 11.pptxHernandez_Hernandez_Practica web de la sesion 11.pptx
Hernandez_Hernandez_Practica web de la sesion 11.pptx
 
Segunda ley de la termodinámica TERMODINAMICA.pptx
Segunda ley de la termodinámica TERMODINAMICA.pptxSegunda ley de la termodinámica TERMODINAMICA.pptx
Segunda ley de la termodinámica TERMODINAMICA.pptx
 
Mapa-conceptual-del-Origen-del-Universo-3.pptx
Mapa-conceptual-del-Origen-del-Universo-3.pptxMapa-conceptual-del-Origen-del-Universo-3.pptx
Mapa-conceptual-del-Origen-del-Universo-3.pptx
 
tics en la vida cotidiana prepa en linea modulo 1.pptx
tics en la vida cotidiana prepa en linea modulo 1.pptxtics en la vida cotidiana prepa en linea modulo 1.pptx
tics en la vida cotidiana prepa en linea modulo 1.pptx
 
Crear un recurso multimedia. Maricela_Ponce_DomingoM1S3AI6-1.pptx
Crear un recurso multimedia. Maricela_Ponce_DomingoM1S3AI6-1.pptxCrear un recurso multimedia. Maricela_Ponce_DomingoM1S3AI6-1.pptx
Crear un recurso multimedia. Maricela_Ponce_DomingoM1S3AI6-1.pptx
 
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdf
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdfPARTES DE UN OSCILOSCOPIO ANALOGICO .pdf
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdf
 

Seti@Home

  • 1. SETI@home La Búsqueda de Inteligencia Extraterrestre Universidad Técnica Particular de Loja Natalia Ludeña Irina Veintimilla
  • 2. Introducción SETI, o la Busqueda de Inteligencia ExtraTerrestre, es un esfuerzo científico que trata de determinar si hay vida inteligente fuera, en el Universo. Son muchos los métodos que los científicos de SETI usan para buscar inteligencia extraterrestre. Muchos buscan billones de frecuencias de radio que fluyen en el Universo, buscando otra civilización que podría estar transmitiendo una señal de radio.
  • 3. QueesSETI@home Seti@homees un experimento científico que usa computadores conectados a Internet en la Busqueda de Inteligencia Extra-Terrestre (SETI en inglés). SETI@Home sigue en funcionamiento pero integrado en BOINC (Berkeley Open Infrastructurefor Network Computing), un proyecto basado en recursos de redes abiertas con los mismos principios que el proyecto original. La nueva infraestructura continuará con la búsqueda de señales de radio extraterrestres, pero ahora además la potencia de CPU de los participantes se dedicará también a investigar sobre otras tareas, como el cambio climático, la astronomía y la cura de enfermedades
  • 4. Características SETI@home en un ordenador, éste utilizará parte de la potencia de la CPU, espacio en disco y ancho de banda de red. El usuario puede configurar y limitar todos estos recursos. La cuenta en SETI@home es identificada por un nombre de usuario, que aparecerá en la página web de SETI@home, junto a un resumen del trabajo que su ordenador ha realizado. SETI@home almacena información sobre su ordenador (tipo de procesador, cantidad de memoria, SO, etc.) para decidir qué tipo de trabajo se le asigna..
  • 5. Funcionamiento I Un enfoque, conocido como radio SETI, usa radio telescopios para escuchar señales de radio de banda estrecha provenientes del espacio. No se tiene conocimiento de que estas señales ocurran de manera natural, por lo que su detección puede proporcionar evidencias de tecnología extraterrestre.
  • 6. Funcionamiento II Las señales obtenidas por los radio telescopios contienen principalmente ruido (emitido por fuentes celestes y por la propia electrónica de los receptores) y señales producidas por el ser humano como estaciones de televisión, radares y satélites. Más potencia de computación permite cubrir la búsqueda en más rangos de frecuencia con más sensibilidad. Radio SETI, por tanto, tiene un apetito insaciable por la potencia computacional
  • 7. FuncionamientoIII Una vez conectado al servidor del proyecto, este envía unas cuantas tareas para ejecutar. Comienza la ejecución, dependiendo de los recursos prestados. Siempre que el ordenador esté encendido las tareas se estarán ejecutando, sin necesidad de tener conexión con ninguna red ni con ningún servidor. Periódicamente, si hay conexión, se realizan actualizaciones: - Enviar resultados de tareas finalizadas - Solicitar nuevas tareas Cada tarea tiene una fecha límite para su finalización. Cada tarea es ejecutada varias veces por usuarios diferentes. La comunicación entre el servidor y los clientes se basa en el protocolo HTTP.
  • 8. Arquitectura El sitio SETI@home es abastecido por un servidor Apache con funcionalidad basada en una interfaz CGI (Common Gateway Interface por sus siglas en Ingles), utilizando una maquina Sun Ultra de procesador doble. Los servidores SETI@home consisten de tres computadoras – una base de datos científicos, un servidor de datos, y una base de datos de usuarios La distribución de las unidades de trabajo y la recolección de resultados es realizada por el servidor de datos, mientras que el mantenimiento de la información relacionada a las unidades de trabajo es llevado a cabo por la base de datos científicos. Todas las bases de datos son implementadas utilizando programas  InformixDynamic Server software.
  • 10. Estadísticas En el web de SETI@home se pueden consultar las estadísticas en tiempo real del uso del sistema. España está muy retrasada si nos comparamos con otros paises desarrollados, aún son pocos los sistemas instalados. Países: 1) EEUU: 64177 paquetes procesados 2) Canadá: 5535 paquetes procesados 3) Finlandia: 4550 paquetes procesados 4) Suecia: 3734 paquetes procesados 18) España: 385 paquetes procesados Sistemas operativos: 1) Linux: 59693 paquetes procesados 2) Solaris: 8279 paquetes procesados 3) Irix: 7927 paquetes procesados 4) Windows: 3259 paquetes procesados
  • 11. Rendimiento Seti@homees una aplicación de alto rendimiento es decir, de alto procesamiento que tiene muchas tareas que son dividas independientemente. Tan pronto como un procesador termina una tarea, llega a él una nueva. De este modo, cientos de tareas se pueden procesar en un tiempo muy breve.
  • 12. Conclusiones El sitio SETI@home esta muy bien organizado con la información cuidadosamente categorizada y fácilmente accesible. Debido a la atención que se le ha dado al diseño de las paginas en la red y su facilidad de lectura, lo cual es importante para este tipo de aplicación. Es un programa que nos ayuda a entender el autentico valor de la comunicación en el Internet.
  • 13. Enlaces http://nadaenespecial.com.ar/2009/08/20/setihome-buscando-senales-de-vida/ http://www.hispaseti.org/oficial/about_seti/about_seti_at_home_2.html http://es.wikipedia.org/wiki/SETI@home#Objetivo http://www.ramonmillan.com/tutorialeshtml/gridcomputing.htm#aplicacionesgrid http://rvr.blogalia.com/documentos/Astronomia/setiEnCasa.html