Logica aplicada a la verificación de software

Luis Fernando García Rojas.

Asignatura: Lógica aplicada a la verificación de Software.

Sistema de control de clima en Invernaderos

El negocio del control de condiciones ambientales encultivos muy susceptibles a condiciones climáticas particulares es un tema que ha sido abordado y desarrollado desde el área del desarrollo de programas y la informática en la que a través de programasse pueda detectar y controlar de forma más o menos precisa las condiciones meteorológicas que ayuden a preservar los diferentes tipos de cultivos que se puedan tener en momentos determinados en uninvernadero. En este caso el cultivo en el que se está pensado controlar los diferentes estados de los controles ambientales está pensando para el cultivo de la seta Shiitake la cual es muy exigente encuanto a las condiciones ambientales para su cultivo.

El sistema propuesto para esta problemática es un sistema de control el cual está compuesto de módulos sensores electrónicos que alimentan elprograma informático con los datos tomados de las condiciones exteriores e interiores del invernadero, los cuales permiten al programa activar módulos actuadores que según los estados del programa secomportan de forma específica para controlar la humedad relativa, temperatura y punto de rocío para cada combinación de factores internos y externos, los factores que se tienen en cuenta en elsistema son la humedad relativa, la humedad absoluta y la temperatura (los más relevantes en este cultivo de la Seta Shiitake).

En este contexto se definen la HUMEDAD como el contenido de agua en laatmosfera, esta agua contenida en forma de vapor, la cantidad de estas partículas de agua depende de la temperatura y crece al aumentar ésta, el peso del vapor de agua contenido en una unidad devolumen de aire se conoce como HUMEDAD ABSOLUTA la cual se expresa en unidades de masa de agua por unidades de masa/volumen de aire seco. La unidad más utilizada en este contexto es la de gramos de vapor...