Buscar
Mostrando ítems 11-20 de 46
Automatic proof-search heuristics in the Maude invariant analyzer tool
(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 ...
Corrosion Behavior of the AA2124 Aluminium Alloy Exposed to Ethanol Mixtures
(ESG, 2013)
In the present article was studied the corrosion behavior of the AA2124 aluminum alloy which is a material used to fabricate parts of combustion engines, in a gasoline-bioethanol mixtures with concentrations of 5%, 10% and ...
Domino Effects and Industrial Risks: Integrated Probabilistic Framework – Case of Tsunamis Effects
(Springer Nature, 2013)
This paper presents an integrated probabilistic framework that deals with the industrial accidents and domino effects that may occur in an industrial plant. The particular case of tsunamis is detailed in the present paper: ...
Resolución de problemas como estrategia de enseñanza para la formación integral de ingenieros
(Escuela Colombiana De Ingeniería Julio Garavito, 2013)
En este libro se investiga sobre la resolución de problemas en una perspectiva de investigación (RPPI), como una actividad crucial en las ciencias y las disciplinas tecnológicas, inherente a la vida diaria y al trabajo ...
Calidad del agua lluvia
(Universidad Escuela Colombiana de Ingeniería Julio Garavito, 2013)
Para aprovechar el agua lluvia como fuente alterna es necesario conocer su calidad. En este artículo se presentan resultados de evaluación de calidad del agua lluvia, medida por su pH, alcalinidad, acidez, dióxido de carbono ...
Remoción de hierro con almidón de maíz
(Universidad Escuela Colombiana de Ingeniería Julio Garavito, 2013)
La coagulación química del agua se basa en el empleo de sales de hierro y aluminio, como el cloruro férrico y el alumbre, para proveer la remoción de los contaminantes del agua cruda. El uso de coagulantes naturales ofrece ...
Una paradoja increíble
(Universidad Escuela Colombiana de Ingeniería Julio Garavito, 2013)
La paradoja de hoy en Colombia es que tenemos amigos y enemigos de la paz, es decir, buenos y malos ciudadanos.
Valoración del Índice de Calidad del Agua Cruda (ICA), del Índice de Riesgo de la Calidad del Agua para Consumo Humano (IRCA), del Índice de Tratamiento (IT), del Índice de Continuidad (IC) y del Índice de Riesgo Municipal por Abastecimiento de Agua para Consumo Humano por Prestador (Irabapp), para el periodo 2010 - 2011, de sistemas de tratamiento de agua potable
(Universidad Escuela Colombiana de Ingeniería Julio Garavito, 2013)
En este artículo se presentan los resultados de la evaluación del Índice de Calidad del Agua Cruda (ICA), Índice de Riesgo de la Calidad del Agua para Consumo Humano (IRCA), Índice de Tratamiento (IT), Índice de Continuidad ...
Un trabajo importante
(Universidad Escuela Colombiana de Ingeniería Julio Garavito, 2013)
A la fecha, la Escuela Colombiana de Ingeniería ha formado 9519 profesionales y 1987 especialistas y magísteres, cuyo impacto en el mundo en que se desempeñan representa el verdadero indicador de evaluación para acreditación ...
Modulación por división de frecuencia ortogonal para minimizar el ruido en aplicaciones Smart Grid sobre comunicaciones por línea de potencia
(Universidad Santo Tomás, 2013)
En la actualidad, los sistemas de comunicaciones de banda estrecha sobre líneas de potencia (NBPLC) en el rango de frecuencia inferior a 500KHz juegan un papel importante en la construcción de Smart Grid. Sin embargo, el ...