226 research outputs found

    Excepción a la regla

    Get PDF
    El federalismo en Antioquia: 1850-1880. Aspectos políticos. Luis Javier Ortiz Mesa. Universidad Nacional de Colombia, seccional de Medellín, 1985, 119 págs

    Towards Formal Interaction-Based Models of Grid Computing Infrastructures

    Full text link
    Grid computing (GC) systems are large-scale virtual machines, built upon a massive pool of resources (processing time, storage, software) that often span multiple distributed domains. Concurrent users interact with the grid by adding new tasks; the grid is expected to assign resources to tasks in a fair, trustworthy way. These distinctive features of GC systems make their specification and verification a challenging issue. Although prior works have proposed formal approaches to the specification of GC systems, a precise account of the interaction model which underlies resource sharing has not been yet proposed. In this paper, we describe ongoing work aimed at filling in this gap. Our approach relies on (higher-order) process calculi: these core languages for concurrency offer a compositional framework in which GC systems can be precisely described and potentially reasoned about.Comment: In Proceedings DCM 2013, arXiv:1403.768

    SIGEM - Sistema de información para la gestión médica

    Get PDF
    En este documento maestro se presenta el contenido de cada uno de los productos generados durante la ejecución del proyecto SIGEM -- Aunque toda la documentación generada durante la ejecución del proyecto, que corresponde a las actas, anexos y formatos con todo el levantamiento de la información, está codificada y sus códigos corresponden a un orden cronológico de revisión, este documento recopila en un “solo lugar”, todos los archivos, para facilitar su revisión al lector -- De esta manera, en la medida que el lector vaya avanzando en cada uno de los capítulos de este documento maestro, tendrá la facilidad de explorar o abrir el documento asociado a cada capítulo desde este mismo luga

    Perfiles altos y perfiles bajos

    Get PDF
    Teoría y práctica de la política exterior latinoamericana. Gerhard Drekonja, Juan G. Tokatlián (compiladores) Cerec (Fondo Editorial)-Cei (Universidad de los Andes), Bogotá, 1983, 559 págs

    La actividad comercial y el grupo de comerciantes de Cartagena a fines del siglo XIX

    Get PDF
    En este trabajo se muestra cómo, a pesar del declive económico de Cartagena durante el siglo XIX, el comercio jugó un papel preponderante y permitió a los comerciantes convertirse en la élite local. Se describen las principales actividades económicas de la ciudad y se presentan los perfiles de algunos de los comerciantes más significativos, incluyendo reseñas de los negocios particulares a que se dedicaron y el éxito o fracaso que tuvieron. Se concluye que el comercio fue una verdadera escuela empresarial que le permitió a este grupo desarrollar notables habilidades de organización y diversificaciónIncluye referencias bibliográficas (páginas 223 - 225)

    Session-based concurrency in Maude:Executable semantics and type checking

    Get PDF
    Session types are a well-established approach to communication correctness in message-passing processes. Widely studied from a process calculi perspective, here we pursue an unexplored strand and investigate the use of the Maude system for implementing session-typed process languages and reasoning about session-typed process specifications. We present four technical contributions. First, we develop and implement in Maude an executable specification of the operational semantics of a session-typed π-calculus by Vasconcelos. Second, we also develop an executable specification of its associated algorithmic type checking, and describe how both specifications can be integrated. Third, we show that our executable specification can be coupled with reachability and model checking tools in Maude to detect well-typed but deadlocked processes. Finally, we demonstrate the robustness of our approach by adapting it to a higher-order session π-calculus, in which exchanged values include names but also abstractions (functions from names to processes). All in all, our contributions define a promising new approach to the (semi)automated analysis of communication correctness in message-passing concurrency

    Analysis of the potential for tourism development in the municipality of Luruaco based on a water ski exploitation project

    Get PDF
    El objetivo del presente estudio consistió en analizar el potencial de desarrollo turístico y económico del municipio de Luruaco a partir de la explotación del esquí náutico y las condiciones para articularse con la oferta y demanda turística del litoral caribe colombiano y proponer estrategias hacia el desarrollo de un complejo turístico y deportivo. Para ello se utilizaron dos métodos para medir competitividad, estos son: Los factores de competitividad del Foro Económico Mundial-FEM, el cual se basa en ocho factores que constituyen los aspectos de mayor incidencia en la competitividad de una nación, y el método diseñado por los Consultores Mazars Turismo para medir la competitividad del cluster turístico, utilizando cuatro factores que caracterizan este sector. Las metodologías en referencia se adaptaron por los investigadores buscando una mejor precisión del método. La calificación de los indicadores se basó en la opinión de expertos, recogidas a través de un instrumento de recolección, el cual fue aplicado utilizando una muestra no probabilística. El cálculo del índice de competitividad se basó en la escala de Porter con intervalos de 1 a 5, para calificar cada variable. El resultado del estudio permitió precisar las variables a intervenir como factores que no se han tenido en cuenta al formular estrategias de desarrollo en el municipio que fortalezcan las políticas publicas y privadas dirigidas a desarrollar sinergias que potencialicen lo local y regional, y conduzcan a la población a mirar el progreso económico y social desde una perspectiva global y moderna soportada en la principal ventaja competitiva de la localidad.Instituto Tecnológico de Estudios Superiores de Monterrey ITESMCorporación Universitaria Tecnológica de Bolívar CUTBINTRODUCCION 14 1. PLANTEAMIENTO DEL PROBLEMA Y OBJETIVOS DE LA INVESTIGACIÓN……………………………………………………………... 18 1.1 PLANTEAMIENTO DEL PROBLEMA……………………………………. 18 1.1.1 Enunciado del problema………………………………………………… 20 1.1.2 Formulación del problema………………………………………………. 20 1.2 OBJETIVOS………………………………………………………………… 20 1.2.1 Objetivo general…………………………………………………………. 20 1.2.2 Objetivos específicos……………………………………………………. 20 1.3 JUSTIFICACIÓN…………………………………………………………… 21 2. MARCO TEÓRICO………………………………………………………….. 22 2.1 LA COMPETITIVIDAD SEGUN LA NUEVA AGENDA DEL DESARROLLO………………………………………………………………….. 22 2.1.1 La nueva agenda para el desarrollo…………………………………… 23 2.1.2 Teoría del desarrollo humano integral…………………………………. 24 2.1.3 Concepto de competitividad sistémica y de nivel meso de competencia territorial………………………………………………………….. 26 2.1.4 Teoría del Capital Sinergético como generador de desarrollo……… 26 2.1.5 La Ventaja Competitiva de las Naciones……………………………… 28 2.1.6 El Desarrollo local………………………………………………………... 30 2.1.7 El Esquema de Ordenamiento Territorial……………………………… 31 2.1.8 Definición de la estrategia de desarrollo local………………………… 32 2.2 FORMAS PARA ENCONTRAR LA COMPETITIVIDAD Y VENTAJA COMPETITIVAD………………………………………………………………... 32 2.2.1 Indicador de Competitividad del Foro Económico Mundial………….. 34 2.2.2 Factores de competitividad turística…………………………………… 36 2.3 FORMACIÓN DE LAS POLÍTICAS DE COMPETITIVIDAD EN COLOMBIA……………………………………………………………………… 37 2.3.1 Política de competitividad y Plan Nacional de Desarrollo…………… 38 2.3.2 Posición de Colombia en el contexto mundial……………………….. 39 2.4 ESTUDIOS RECIENTES EN LAS REGIONES Y MEDICIÓN DE LA COMPETITIVIDAD……………………………………………………………... 41 3. DISEÑO METODOLÓGICO………………………………………………... 45 3.1 RELACION COMPETENCIA-COMPETITIVIDAD DEL MUNICIPIO…. 45 3.2 ALCANCE DE LA METODOLOGÍA ……………………………………... 45 3.2.1 Elaboración del modelo……………….………………………………… 46 3.2.2 Modelo de gestión de destinos.………………………………………… 47 3.2.3 Perspectiva general del modelo………………………………………… 48 3.3 EL ENTORNO MACRO……………………………………………………. 48 3.4 EL ENTORNO MICRO………..…………………………………………... 51 3.4.1 Factores de competitividad turística…………………………………… 53 3.4.1.1 Factores de atracción…………………………………………………. 53 3.4.1.2 Factores de soporte…………………………………………………… 54 3.4.1.3 Factores de producción………………………………………………. 55 3.4.1.4 Factores de gestión……………………………………………………. 56 3.5 LURUACO COMO DESTINOS TURÍSTICOS DE LA COSTA CARIBE………………………………………………………………………….. 57 3.5.1 Categorización de Luruaco como destino Turístico………………….. 57 3.5.2 Metodología de categorización por tipologías de destinos………….. 58 3.5.3 Posición competitiva de Luruaco con relación a las modalidades turísticas…………………………………………………………………………. 62 3.5.4 Diferenciación de mercados turísticos……………...………………... 63 3.5.5 Tipo de estudio…………………………………………………………… 68 3.5.6 Estructura metodológica……………………………………………...…. 68 3.5.7 Estructura del Estudio…………………………………………………… 69 3.5.8 Cálculo del índice de competitividad…………………………………... 69 3.5.9 Tipo y tamaño de la muestra…………………………………………… 70 3.5.10 Metodología de evaluación…………………………………………… 71 3.5.11 Tratamiento de la información……………………………………….. 72 4. ECONOMÍA DEL MUNICIPIO DE LURUACO…………………………… 73 4.1 CARACTERIZACION SOCIOECONÓMICA DE LURUACO…………. 73 4.1.1 Limites Municipales………………………………………………………. 73 4.1.2 Extensión………………………………………………………………….. 73 4.1.3 División Política…………………………………………………………... 74 4.2. ASPECTOS DEMOGRAFICOS………………………………………….. 74 4.3 INFRAESTRUCTURA…………………………………………………….. 75 4.3.1 Vivienda…………………………………………………………………… 75 4.3.2 Área Educativa…………………………………………………………… 75 4.3.3 Área de Salud…………………………………………………………….. 76 4.3.4 Área de Servicios Públicos……………………………………………… 76 4.3.5 Área Vial…………………………………………………………………... 77 4.3.6 Área Deporte……………………………………………………………… 77 4.3.7 Tejido Social………………………………………………………………. 78 4.3.8 Comunicación…………………………………………………………….. 78 4.4 SECTOR ADMINISTRACIÓN PÚBLICA………………………………. 79 4.4.1 Organización……………………………………………………………... 79 4.4.2 Talento humano…………………...……………………………………... 79 4.5 ESTADO ACTUAL DE CARGOS………………………………………... 81 4.5.1 En la Dirección…………………………………………………………… 81 4.5.2 En la Coordinación………………………………………………………. 81 4.5.3 El Control………………………………………………………………….. 82 4.5.3.1 El control de legalidad………………………………………………… 82 4.5.3.2 El control financiero……………………………………………………. 82 4.5.3.3 El control administrativo………………………………………………. 82 4.5.3.4 El control de gestión…………………………………………………… 83 4.5.4 La Planeación…………………………………………………………….. 83 4.6 DIAGNOSTICO DE LAS FINANZAS DEL MUNICIPIO……………... 84 4.6.1 Análisis Del Presupuesto De Ingresos Y Gastos, Período 1996 – 2000………………………………………………………………………………. 84 4.7 ANÁLISIS DEL BALANCE GENERAL…………………………………… 89 4.7.1 Activos Corrientes………………………………………………………... 89 4.7.2 Activos No Corrientes……………………………………………………. 90 4.7.3 Pasivos……………………………………………………………………. 92 4.7.4 Patrimonio………………………………………………………………… 94 4.8 FACTORES DE COMPETITIVIDAD……………………………………... 95 4.8.1 Competitividad e Integración Regional………………………………… 95 4.8.2 Industria…………………………………………………………………… 95 4.8.3 Minería……………………………………………………………………. 96 4.8.4 Agricultura, Ganadería y Pesca………………………………………… 97 4.8.5 Agricultura………………………………………………………………… 98 4.8.6 Ganadería…………………………………………………………………. 101 4.9 COMERCIALIZACION CAMPESINA…………………………………….. 102 4.10 EMPLEO EN LOS SECTORES PRODUCTIVOS Y DISTRIBUTIVOS……………………………………………………………….. 106 4.11 CAPACIDAD TURISTICA PERMANENTE Y FLOTANTE DEL MUNICIPIO DE LURUACO……………………………………………………. 108 4.12 DESARROLLO DE MICROCADENAS PRODUCTIVAS……………. 111 5. ESTUDIO DE COMPETITIVIDAD DE LURUACO……………………… 112 5.1 FACTOR INTERNACIONALIZACIÓN……………………………………. 112 5.1.1 Definición del factor internacionalización……………………………… 113 5.1.2 Balance del factor internacionalización………………………………... 120 5.2 FACTOR GOBIERNO……………………………………………………… 121 5.2.1 Definición del factor……………………………………………………... 122 5.2.2 Balance del factor gobierno…………………………………………….. 128 5.3 FACTOR FINANZAS………………………………………………………. 130 5.3.1 Balance del factor finanzas……………………………………………… 131 5.4 INFRAESTRUCTURA Y TECNOLOGÍA DE COMUNICACIÓN………. 137 5.4.1 Definición del factor…………………………………………………........ 139 5.4.2 Balance del factor estructura y tecnología…………………………….. 150 5.5 FACTOR CIENCIA Y TECNOLOGÍA…………………………………….. 150 5.5.1 Definición del factor……………………………………………………… 152 5.6 FACTOR GERENCIA……………………………………………………… 157 5.6.1 Balance del factor gerencia……………………………………………... 159 5.7 CAPITAL HUMANO Y TRABAJO………………………………………… 160 5.7.1 Definición del factor……………………………………………………. 162 5.8 FACTOR INSTITUCIONES……………………………………………….. 166 5.8.1 Balance del Factor Instituciones………………………………………... 171 6. PLAN DE ACCION ESTRATÉGICO DEL MUNICIPIO DE LURUACO……………………………………………………………………….. 175 6.1 VISION ESTRATEGICA DE LURUACO…………………………………. 175 6.2 VISION………………………………………………………………………. 176 6.2 MISION………………………………………………………………………. 177 6.4 OBJETIVOS…………………………………………………………………. 177 6.4.1 Objetivos estratégicos…………………………………………………… 178 6.4.1.1 Fortalecimiento y modernización municipal…………………………. 178 6.4.1.2 Bienestar social………………………………………………………… 178 6.4.1.3 Salud…………………………………………………………………….. 178 6.4.1.4 Vivienda………………………………………………………………… 179 6.4.1.5 Agua potable y saneamiento básico…………………………………. 179 6.4.1.6 Desarrollo productivo………………………………………………….. 179 6.4.1.7 Participación comunitaria……………………………………………… 179 6.4.1.8 Medio ambiente………………………………………………………… 180 6.5 ESTRATEGIAS……………………………………………………………... 180 6.5.1 Fortalecimiento y modernización municipal…………………………… 180 6.5.2 Bienestar Social………………………………………………………… 182 6.5.2.1 Educación………………………………………………………………. 182 6.5.2.2 Recreación y deportes………………………………………………… 183 6.5.2.3 Cultura…………………………………………………………………... 183 6.5.2.4 Salud……………………………………………………………………. 184 6.5.2.5 Vivienda…………………………………………………………………. 184 6.5.2.6 Agua potable y saneamiento básico…………………………………. 184 6.5.2.7 Desarrollo productivo………………………………………………….. 185 6.5.2.8 Participación comunitaria……………………………………………… 186 6.5.2.9 Medio ambiente………………………………………………………… 187 6.5.2.10 Turismo y deportes náuticos………………………………………… 187 6.6 ANALISIS ESTRATEGICO PARA LA COMPETITIVIDAD MEDIANTE LA MATRIZ DOFA………………………………………………………………. 189 6.7 MATRIZ DOFA 190 6.8 OBJETIVOS ESTRATEGICOS ALREDEDOR DE LA EXPLOTACION DE LA LAGUNA DE LURUACO EN LA PRACTICA DEL ESQUI NAUTICO 191 6.9 ESTRATEGIAS 191 6.10 ACCIONES ESTRATEGICA 191 7. CONCLUSIONES……………………………………………………………. 194 8. SUGERENCIAS PARA FUTURAS INVESTIGACIONES………………. 196 BIBLIOGRAFÍA………………. 197MaestríaThe objective of this study was to analyze the potential for tourist and economic development of the municipality of Luruaco from the exploitation of water skiing and the conditions to articulate with the tourist supply and demand of the Colombian Caribbean coast and propose strategies towards the development of a tourist and sports complex. For this, two methods were used to measure competitiveness, these are: The competitiveness factors of the World Economic Forum-WEF, which is based on eight factors that constitute the aspects of greatest incidence in the competitiveness of a nation, and the method designed by Mazars Tourism Consultants to measure the competitiveness of the tourism cluster, using four factors that characterize this sector. The methodologies in reference were adapted by the researchers seeking a better precision of the method. The qualification of the indicators was based on the opinion of experts, collected through a collection instrument, which was applied using a non-probabilistic sample. The calculation of the competitiveness index was based on the Porter scale with intervals of 1 to 5, to qualify each variable. The result of the study allowed to specify the variables to intervene as factors that have not been taken into account when formulating development strategies in the municipality that strengthen public and private policies aimed at developing synergies that enhance the local and regional, and lead to the population to look at the economic and social progress from a global and modern perspective supported by the main competitive advantage of the locality.Modalidad Presencia

    Computational analysis of different turbulence models in a vane pump simulation

    Get PDF
    The study presents a computational analysis of a vane pump using two different turbulence models namely κ-ε and κ-ω. The geometry characteristics of the vane pump were obtained by disassembly and further measurements. The CAD model for the computational domain was developed in SOLIDWORKS®. The CFD modeling was powered by ANSYS®, which allowed the evaluation of different mesh types and turbulence models. A total set of six simulations were performed to obtain comparison schemes for turbulence model evaluation. Specifically, the angular velocity and excentricity were varied within the simulations. Both turbulence models were carefully validated using the manufacturer´s dataset as validation criteria, obtaining a relative error of less than 5%. The κ-ω experienced the best performance when describing the flow variables, excepting the pressure gradient. Specifically, the κ-ω presented an accurate prediction of edge effects, energy losses in the walls, and turbulent viscosity. Notably, the CFD modeling showed that density and velocity variations are not significant. Overall, CFD modeling demonstrated to be a robust tool to gain insight understanding of the flow interactions in vane pump operation
    corecore