Listar por tema "Mathematical model"
Mostrando ítems 1-5 de 5
-
Automatic proof-search heuristics in the Maude invariant analyzer tool
(Switzerland, 2013)The Invariant Analyzer Tool is an interactive tool that mechanizes an inference system for proving safety properties of concurrent systems, which may be infinite-state or whose set of initial states may be infinite. This ... -
Modelo hidrogeológico conceptual y matemático para el municipio de Castilla la Nueva ubicado en el departamento del Meta.
(Escuela Colombiana de Ingeniería Julio GaravitoMaestría en Ingeniería Civil con Énfasis en Recursos Hidráulicos y Medio Ambiente, 2018)El presente trabajo contiene la información para el desarrollo de un modelo hidrogeológico conceptual y matemático del Municipio de Castilla La Nueva, ubicado en el departamento del Meta. El trabajo se elaboró basado 3 ... -
Modelo matemático para la planeación a mediano plazo del despacho de la generación de energía eléctrica en Colombia
(Maestría en Ingeniería Industrial, 2021)La energía eléctrica ha sido un elemento fundamental en el desarrollo social y económico impulsando las grandes transformaciones a lo largo de los siglos, tal es su importancia que hoy día no se puede concebir el quehacer ... -
Propuesta de un modelo de costos desde la perspectiva del Estado para la definición del margen de reconocimiento a las IPS en Bogotá de los medicamentos oncológicos sometidos a regulación de precios
(Escuela Colombiana de Ingeniería Julio GaravitoMaestría en Ingeniería Industrial, 2018)The Colombia Health System acknowledge a standard rate for the preparation of price regulated medicines supplied by the health providers’ institutions (HPI). However HPI have shown deep disagreement on the fixed rate as ... -
Selección de la ubicación para la nueva sede de una academia de música vallenata en la ciudad de Bogotá, a través de la implementación de un modelo matemático de optimización
(Escuela Colombiana de Ingeniería Julio GaravitoMaestría en Ingeniería Industrial, 2019)Este proyecto está enfocado en resolver un problema de localización de instalaciones para atender una demanda de clientes del sector musical, a través de la implementación de un modelo matemático de optimización de Cobertura ...