Biblioteca122.294 documentos en línea

Artículo

Formal Modeling, Proving, and Model Checking of a Flood Warning, Monitoring, and Rescue System-of-SystemsModelado formal, demostración y verificación de un sistema de sistemas de advertencia, monitoreo y rescate de inundaciones.

Resumen

Las inundaciones después de las lluvias monzónicas son desastres frecuentes que afectan a millones de vidas en Pakistán. Se pierden vidas humanas, se destruyen economías agrícolas y se pierden animales de ganado, casas, huertos de frutas y cultivos, que son los principales medios de vida de miles de personas en Punjab. Cada año hay lluvias intensas en la temporada de monzones y, debido al calentamiento global, hay un rápido derretimiento de la nieve en los glaciares del norte; estos factores causan posteriormente inundaciones. También hay pérdida de vidas debido a la propagación de enfermedades transmitidas por el agua y picaduras de serpientes. El monitoreo de inundaciones proporciona la detección temprana de una inundación y el cálculo de su intensidad, lo que resulta en una reducción de las pérdidas humanas y económicas. La mayoría de las víctimas son causadas por la falta de información oportuna y auténtica sobre las áreas de alto riesgo, y la intensidad, velocidad y

  • Tipo de documento:
  • Formato:pdf
  • Idioma:Inglés
  • Tamaño: Kb

Cómo citar el documento

Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.

Este contenido no est� disponible para su tipo de suscripci�n

Información del documento