Estructuras hidráulicas

Novak, P. | 2001

Modelo de evaluación de curvas de niveles en un embalse

Rodriguez Díaz, Héctor Alfonso | 2009

Guía ambiental para el desarrollo de proyectos relacionados con el diseño, construcción y operación de redes de acueducto y alcantarillado

Rodriguez Díaz, Héctor Alfonso | 2010

Modelo de gestión para la rehabilitación de redes troncales de alcantarillado

Rodriguez Díaz, Héctor Alfonso | 2010

Coliseo el Otoño: una propuesta arquitectónica a partir de la divina proporción

Rodriguez Díaz, Héctor Alfonso | 2011

Diseño de un sistema de control y supervisión de estaciones de bombeo

Rodriguez Díaz, Héctor Alfonso | 2012

Instrumentación de redes troncales de alcantarillado. Componente hidráulico

Rodriguez Díaz, Héctor Alfonso | 2014

Análisis de un vertedero triangular de pared delgada con Ansys Fluent

Santos Granados, Germán Ricardo | 2016

Modelación Hidrológica e Hidráulica de la Laguna de Fúquene y del Río Suarez hasta las Compuertas de Tolón.

Santos Granados, Germán Ricardo | 2016

Una aproximación desde la academia a la evaluación del estado de la superficie de vías en la red terciaria

Benítez Robayo, Leidy Paola | 2018

Durante las negociaciones de La Habana y en la fase inicial del pos- conflicto, se ha reconocido que una infraestructura vial que permita la transformación del campo y acerque el Estado a las comunidades rurales para proveerlas de servicios sociales fundamentales, como salud, vivienda y educación, y que promueva actividades económicas lícitas y el desarrollo de proyectos productivos, es una de las herramientas esenciales para la construcción de una paz estable y duradera. En este ámbito, las facultades de ingeniería civil tienen un papel preponderante, no solo para pronunciarse sobre aspectos técnicos relacionados con el mejoramiento, la conservación o la construcción de vías en la red terciaria, sino también para que sus estudiantes, desde su proceso de formación, conjugando lo académico con lo práctico, se conviertan en agentes activos en el posconflicto y generadores de cambio. Con esta perspectiva, el Semillero de Investigación en Pavimentos de la Escuela Colombiana de Ingeniería Julio Garavito hizo el trabajo que se presenta en este artículo, en el que, aplicando el método Viziret evaluó el estado de las superficies de vías, con el fin de proponer soluciones para la intervención, en tramos de la red vial terciaria de los departamentos de Santander y Boyacá que pasan por los municipios de Jesús María, La Belleza, Florián y Saboyá. En términos generales, se concluye que el estado de las vías transita- das es el resultado de condiciones ambientales y topográficas que no hacen viable la solución de afirmado como superficie de rodadura y que, aun si se cumpliera con las especificaciones de materiales y se llevarán a cabo actividades de mantenimiento en las vías, este tipo de solución continúa siendo insostenible para los niveles de precipitación y gradientes topográficos que se presentan en la zona.

Consideraciones técnicas sobre transmisión de información a través de la red eléctrica domiciliaria

Paz Penagos, Hernán | 2003

La evolución de la red de telecomunicaciones se ha convertido en el motor del crecimiento económico y de la nueva economía de servicios basada en la sociedad de la información; el aprovechamiento de la capacidad excedente del bucle eléctrico local del abonado permitirá resolver el actual cuello de botella de la parte de acceso a la red de telecomunicaciones y fomentar la difusión de servicios de banda ancha y de telefonía. En este sentido, el propósito del artículo es analizar y describir algunos aspectos técnicos y de ingeniería aplicados en el diseño e implementación de sistemas de transmisión de datos por la red AC. De este modo se pretende compartir experiencias y enriquecer el quehacer experimental e investigativo de la academia e industria sobre aplicaciones integradas de la vivienda.

Synchronous set relations in rewriting logic

Muñoz, César | 2014

This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property verification of synchronous set relations. The mathematical foundation is given in the language of abstract set relations. The infrastructure, which is written in the Maude system, enables the synchronous execution of a set relation provided by the user. By using the infrastructure, algorithm verification techniques such as reachability analysis and model checking, already available in Maude for traditional asynchronous rewriting, are automatically available to synchronous set rewriting. In this way, set-based synchronous languages and systems such as those built from agents, components, or objects can be naturally specified and simulated, and are also amenable to formal verification in the Maude system. The use of the infrastructure and some of its Maude-based verification capabilities are illustrated with an executable operational semantics of the Plan Execution Interchange Language (PLEXIL), a synchronous language developed by NASA to support autonomous spacecraft operations.

Factibilidad de una instalación solar fotovoltaica residencial, según la Ley 1715 y la Resolución CREG 121 del 2017

Pascuas Araújo, Natalia | 2018

Este artículo trata sobre un caso de estudio presentado para la imple-mentación de un sistema fotovoltaico de autogeneración a pequeña escala en una vivienda ubicada en la ciudad de Bogotá. Para determinar el tamaño óptimo de la instalación se utilizó como criterio el mayor rendimiento financiero, según lo establecido en la Ley 1715 y la Reso-lución 121 de la Comisión de Regulación de Energía y Gas (CREG). La evaluación financiera se hizo usando el costo unitario de prestación del servicio eléctrico, reglamentado por la Resolución 121, mientras que la factibilidad de la instalación se analizó utilizando RETScreen. El mejor rendimiento financiero se logró al instalar un medidor horario de energía y seguir los trámites para exención del IVA.

Integración de fuentes no convencionales de energía renovable dentro del mercado eléctrico mayorista

Bohórquez, Nicolás | 2018

En este artículo se explora el estado de integración de las fuentes no convencionales de energía renovable (FNCER) al sistema eléctrico colombiano, específicamente al mercado eléctrico mayorista, con el fin de modelar el mercado con estas fuentes de energía emergentes. Como resultado, se muestra la exploración de las resoluciones colom-bianas concernientes a las FNCER, el estado de éstas en el país y una comparación con otros países de Latinoamérica.

Consideraciones tecnológicas como resultado de la construcción de la arquitectura empresarial para una institución de educación superior

Santiago Cely, Claudia Patricia | 2015

Las tecnologías de la información y la telecomunicación (TIC) permean todos los ámbitos de cualquier organización y por ello es clave aprovechar al máximo su uso. Basándose en las necesidades y modo de operación de una institución de educación superior, en este artículo se presenta una propuesta de una arquitectura tecnológica a partir de las recomendaciones del framework para construcción de arquitecturas empresariales Togaf. Dicha propuesta puede alinearse con las necesidades de la institución y su visión de futuro, teniendo en cuenta el marco regulatorio que la rige y las tendencias mundiales sobre la universidad del siglo XXI. La propuesta presentada puede ayudar a hacer inversiones en TI más acertadas y convertir dicha inversión en un factor apalancador del desarrollo de la institución que la adopte.

Implementación del Laboratorio de Energía Solar Fotovoltaica en la Escuela Colombiana de Ingeniería Julio Garavito

Ruiz Garzón, Javier Andrés | 2019

En el presente artículo se muestra el sistema de generación de energía eléctrica solar fotovoltaica y su implementación en el Laboratorio de Energía de la Escuela Colombiana de Ingeniería Julio Garavito. El sistema fotovoltaico cuenta con las configuraciones empleadas para autoconsumo dentro de la red eléctrica y suplencia en zonas no in-terconectadas; adicionalmente, se utilizan los tres tipos de tecnologías fotovoltaicas más usadas: paneles monocristalinos, policristalinos y amorfos, que brindan la posibilidad de realizar diversos estudios. La energía eléctrica inyectada a la red proveniente de la puesta en marcha del sistema consolida la implementación del Laboratorio de Energías Renovables en el Laboratorio de Energía de la Escuela Colombiana de Ingeniería Julio Garavito.

Order-Sorted Equality Enrichments Modulo Axioms

Gutiérrez, Raúl | 2012

Built-in equality and inequality predicates based on comparison of canonical forms in algebraic specifications are frequently used because they are handy and efficient. However, their use places algebraic specifications with initial algebra semantics beyond the pale of theorem proving tools based, for example, on explicit or inductionless induction techniques, and of other formal tools for checking key properties such as confluence, termination, and sufficient completeness. Such specifications would instead be amenable to formal analysis if an equationally-defined equality predicate enriching the algebraic data types were to be added to them. Furthermore, having an equationally-defined equality predicate is very useful in its own right, particularly in inductive theorem proving. Is it possible to effectively define a theory transformation E↦E≃ that extends an algebraic specification E to a specification E≃ having an equationally-defined equality predicate? This paper answers this question in the affirmative for a broad class of order-sorted conditional specifications E that are sort-decreasing, ground confluent, and operationally terminating modulo axioms B and have a subsignature of constructors. The axioms B can consist of associativity, or commutativity, or associativity-commutativity axioms, so that the constructors are free modulo B. We prove that the transformation E↦E≃ preserves all the just-mentioned properties of E . The transformation has been automated in Maude using reflection and is used in several Maude formal tools.

Sistemas de prerrefuerzo en frentes de excavación de túneles en suelo y roca

Contreras Carrillo, Damaris | 2019

Esta investigación tuvo como finalidad desarrollar una metodología práctica para diseñar los elementos de prerrefuerzo o presostenimiento utilizados para la estabilización temporal del frente de excavación de un túnel. El objetivo es brindar una herramienta práctica que facilite a los ingenieros el cálculo o estimación del sistema de presostenimiento, usando enfilajes y pernos en fibra de vidrio como sistema de estabili-zación del frente en túneles excavados en materiales de suelo con baja cohesión y relativamente superficiales.Para esto se tomó como base el método analítico de Tamez [12], quien lo desarrolló a partir de varias experiencias de túneles excavados en Ciudad de México para el metro. Con dicho método se aplican las ecuaciones planteadas por ese autor mediante análisis de sensibilidad de los parámetros de resistencia del suelo, el diámetro de excavación del túnel y la longitud de avance, y con ello se prepararon varios ábacos que simplifican el proceso de diseño. De igual manera, para explicar el procedimiento de la metodología analítica y el uso de los ábacos de diseño se realizó un ejemplo típico que se complementó con la modelación numérica mediante el software RS2 o Phases 2D (V9). De los resultados obtenidos se pudo establecer que el uso de elementos de prerrefuerzo antes de la excavación mejora considerablemente las condiciones de estabilidad del frente de excavación, limitando la zona de falla, las deformaciones y los desplazamientos en el frente y la clave, eliminando consecuentemente posibles fallas en chimenea.En la metodología propuesta no se considera el diseño para garantizar la estabilidad a largo plazo o permanente del túnel, sino tan sólo la estabilidad temporal del frente de excavación.

Análisis de los Esquemas de Acceso Inalámbricos Propuestos para la Tercera Generación de Sistemas Celulares

Paz Penagos, Hernán | 2002

Las comunicaciones inalámbricas actuales, en el bu-cle del abonado, tienen un cuello de botella que es subaja velocidad (9600 bps); esto impide que seimplementen nuevos servicios vinculados a Internet ya la transmisión de datos e imágenes ó hace que apa-rezcan con limitaciones, como ocurre con los serviciosWAP (WIRELESS APPLICATION PROTOCOL).La red de telecomunicaciones actual evolucionahacia la consecución de una red unificada (redalámbrica y red inalámbrica); la evolución de la redcontempla la evolución de los elementos que la con-figuran; por consiguiente, la parte de acceso tendráque evolucionar para hacer posible más y mejorescomunicaciones entre extremos, sin impedir que losdemás hagan lo propio. Los esquemas de accesoinalámbrico de banda ancha propuestos para comu-nicaciones celulares de tercera generación buscanresponder a este desafío. De ellos, W-CDMA yCDMA2000 se imponen como las tecnologías deacceso de mayor eficiencia.

Rewriting modulo SMT and open system analysis

Rocha, Camilo | 2016

This paper proposes rewriting modulo SMT, a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze reachability properties of infinite-state open systems, i.e., systems that interact with a nondeterministic environment. Such systems exhibit both internal nondeterminism, which is proper to the system, and external nondeterminism, which is due to the environment. In a reflective formalism, such as rewriting logic, rewriting modulo SMT can be reduced to standard rewriting. Hence, rewriting modulo SMT naturally extends rewriting-based reachability analysis techniques, which are available for closed systems, to open systems. Furthermore, a single state expression with symbolic constraints can now denote an infinite set of concrete states. The proposed technique is illustrated with the formal analysis of: (i) a real-time system that is beyond the scope of timed-automata methods and (ii) automatic detection of reachability violations in a synchronous language developed to support autonomous spacecraft operations.