Buscar
Mostrando ítems 1-10 de 38
Diseño de un sistema de control y supervisión de estaciones de bombeo
(2012)
En este artículo se presentan el diseño y la construcción de un sistema que permite analizar y programar el control y la supervisión de una estación de bombeo, así como estudiar y evaluar el comportamiento de maquinas ...
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
(Springer Nature, 2012)
The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. This paper reports the development of the PLEXIL’s Formal Interactive ...
Atenuación y distribución de probabilidad de intensidades sísmicas para Colombia y el Occidente de Venezuela
(Scipedia S.L., 2012)
Este artículo utiliza una base de datos de mapas de isosistas (artículo acompañante) para desarrollar dos aproximaciones. Primero, se generan ecuaciones de atenuación tradicionales de intensidad que relaciona variables ...
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
(© 2020 Springer Nature Switzerland AG., 2012)
The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. This paper reports the development of the PLEXIL’s Formal Interactive ...
Base de datos de intensidades sísmicas para Colombia y el occidente de Venezuela
(2012)
Este artículo presenta una base de datos de intensidades sísmicas recopiladas para Colombia y el Occidente de Venezuela. Esta base de datos macrosísmica está basada en la recopilación y análisis de información contenida ...
Explosions and Structural Fragments as Industrial Hazard: Domino Effect and Risks
(Science Direct, 2012)
This study deals with industrial accidents and domino effects that may occur in an industrial plant, the initial accident being supposed to take place in any of the tanks either under or at atmospheric pressure. This initial ...
Order-Sorted Equality Enrichments Modulo Axioms
(Springer, 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 ...
Determination of biochemical and physical conditions of plastics denominated as “biodegradable” subjected to anaerobic conditions
(2012)
The main objective of the study was to determine the biochemical and physical conditions of two different types of polymeric materials (HDPE with oxo-additive and PLA) when subjected to conditions similar to those presented ...
Análisis comparado de las tendencias didácticas basadas en resolución de problemas en ingeniería
(2012)
Desde hace varios años las facultades de ingeniería en Colombia vienen trabajando en proyectos de intervención curricular con el fin de
hacer pertinentes los planes y programas de estudio, sin embargo, esta tarea de vital ...
Diseño e implementación de un sistema de vigía perimetral
(Universidad Distrital Francisco José de Caldas, 2012)
En términos generales un vigía perimetral es un sistema de monitoreo de un ambiente que tiene un espacio o área extensa difícil capturar a través de una cámara o dispositivo sensor en una sola acción. Además, es capaz de ...