Escuela de Ciencias Aplicadas e Ingeniería
URI permanente para esta comunidad
Examinar
Examinando Escuela de Ciencias Aplicadas e Ingeniería por Título
Mostrando 1 - 20 de 2830
Resultados por página
Opciones de ordenación
Ítem 10 Challenges for the Specification of Self-Adaptive Software(IEEE, 2018-01-01) Munoz-Fernandez, JC; Mazo, R; Salinesi, C; Tamura, G; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las ComunicacionesThe demand for systems that continue on operation by adapting themselves in response to disturbing changes in their environment has increased in the last decades. Those systems, termed self-adaptive software (SAS) systems, should be developed with techniques and methods appropriated for analysing and designing this kind of systems, starting from the requirements phase. Several contributions propose approaches to improve the specification of requirements for those systems. This paper aims to review the most significant challenges still open in the domains of languages for requirements specification and methods for model verification of self-adaptive systems, independently of their particular application areas. More concretely, the main contribution of this paper is a list of ten challenges to achieve a better-defined specification of requirements for SAS systems, and a more effective verification of such specifications. These challenges are well worthy of being addressed in both communities, the requirements engineering (RE) and the SAS one.Ítem 2D shape similarity as a complement for Voronoi-Delone methods in shape reconstruction(PERGAMON-ELSEVIER SCIENCE LTD, 2005-02-01) Ruiz, O.E.; Cadavid, C.A.; Granados, M.; Peña, S.; Vásquez, E.; Universidad EAFIT. Departamento de Ingeniería Mecánica; Laboratorio CAD/CAM/CAEIn surface reconstruction from planar cross sections it is necessary to build surfaces between 2D contours in consecutive cross sections. This problem has been traditionally attacked by (i) direct reconstruction based on local geometric proximity between the contours, and (ii) classification of topological events between the cross sections. These approaches have been separately applied with limited success. In case (i), the resulting surfaces may have overstretched or unnatural branches. These arise from local contour proximity which does not reflect global similarity between the contours. In case (ii), the topological events are identified but are not translated into the actual construction of a surface. This article presents an integration of the approaches (i) and (ii). Similarity between the composite 2D regions bounded by the contours in consecutive cross sections is used to: (a) decide whether a surface should actually relate two composite 2D regions, (b) identify the type and location of topological transitions between cross sections and (c) drive the surface construction for the regions found to be related in step (a). The implemented method avoids overstretched or unnatural branches, rendering a surface which is both geometrically intuitive and topologically faithful to the cross sections of the original object. The presented method is a good alternative in cases in which correct reproduction of the topology of the surface (e.g. simulation of flow in conduits) is more important than its geometry (e.g. assessment of tumor mass in radiation planning). © 2004 Elsevier Ltd. All rights reserved.Ítem 2D Shape similarity as a complement for Voronoi-Delone methods in shape reconstruction(Elsevier, 2005) Ruíz S., Óscar E.; Cadavid, Carlos A.; Granados, Miguel; Peña, Sebastián; Vásquez, Eliana; Universidad EAFIT. Departamento de Ingeniería Mecánica; Laboratorio CAD/CAM/CAEIn surface reconstruction from planar slices it is necessary to build surfaces between corresponding 2D regions in consecutive levels -- The problem has been traditionally attacked with (i) direct reconstruction based on local geometric proximity between the regions, and (ii) classification of topological events between the slices, which control the evolution of the cross cuts -- These approaches have been separately applied with mixed success -- In the case (i), the results may be surfaces with over-stretched or unnatural branches, resulting from a local contour proximity which does not correspond to global similarity between regions -- In (ii), the consequences from topological events upon the actual surface realization have not been drawn -- In this paper an integration of (i) and (ii) is presented, which uses a criteria of similarity between composed 2D regions in consecutive slices to: (a) decide if a surface should actually relate those regions, (b) identify the topological transitions between levels and (c) construct the local surface for the related regions -- The method implemented hinders over-stretched and unnatural branches, therefore rendering a surface which adjusts to geometrically-sound topological events -- This is a good alternative when the surface reconstructed needs to be topologically faithful (for example in flow simulation) in addition to represent the a rough geometrical space (for example in radiation planning)Ítem 2D simulation flue implementing the lattice-boltzmann method(TRANS TECH PUBLICATIONS LTD, 2014-01-01) Ruiz, D.B.; Mesa, A.A.; Alvis, R.G.; Ruiz, D.B.; Mesa, A.A.; Alvis, R.G.; Universidad EAFIT. Departamento de Ingeniería Mecánica; Mecánica AplicadaCurrently in the process of engineering, but increasingly implemented simulation methods since they are an economical and feasible to predict the behavior of some variable you wish to benefit. The problem of fluid simulation is a broad field of study, traditionally in this area are implemented domain discretization methods, volumes, differences or finite elements (Computational Fluid Dynamics), in this work, a different approach where the discretization is made on the physical properties of fluid and the fluid for reconstruction from its microscopic properties, simulating these, propagating Boltzmann distribution functions for the grid of nodes, this set is comprised of a fluid group of nodes, nodes fluid the border and nodes structure, docked the method to the boundary conditions necessary to simulate Glycerol in a pipe. © (2014) Trans Tech Publications, Switzerland.Ítem 2D simulation flue implementing the lattice-boltzmann method(TRANS TECH PUBLICATIONS LTD, 2014-01-01) Ruiz, D.B.; Mesa, A.A.; Alvis, R.G.; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las ComunicacionesCurrently in the process of engineering, but increasingly implemented simulation methods since they are an economical and feasible to predict the behavior of some variable you wish to benefit. The problem of fluid simulation is a broad field of study, traditionally in this area are implemented domain discretization methods, volumes, differences or finite elements (Computational Fluid Dynamics), in this work, a different approach where the discretization is made on the physical properties of fluid and the fluid for reconstruction from its microscopic properties, simulating these, propagating Boltzmann distribution functions for the grid of nodes, this set is comprised of a fluid group of nodes, nodes fluid the border and nodes structure, docked the method to the boundary conditions necessary to simulate Glycerol in a pipe. © (2014) Trans Tech Publications, Switzerland.Ítem 2D simulation pipeline implementing the Lattice-Boltzmann method(TRANS TECH PUBLICATIONS LTD, 2013-09-01) Gomez, Rodrigo Orlando; Gomez, Rodrigo Orlando; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las ComunicacionesÍtem 3D Collaborative Virtual Environment for Real-Time GUI Sketching(2011-07-01) Trefftz, Helmuth; Trefftz, Helmuth; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las ComunicacionesÍtem A Metaheuristic Approach for the Cumulative Capacitated Arc Routing Problem(Springer, 2018-09-12) Lenis, Sergio Andres; Carlos Rivera, JuanIn this paper we propose a new variant of the capacitated arc routing problem (CARP). In this new problem the objective function becomes a cumulative objective computed as the traveled distance multiplied by the vehicle load. A metaheuristic approachÍtem A Metaheuristic Approach for the Cumulative Capacitated Arc Routing Problem(Springer, 2018-09-12) Lenis, Sergio Andres; Carlos Rivera, JuanIn this paper we propose a new variant of the capacitated arc routing problem (CARP). In this new problem the objective function becomes a cumulative objective computed as the traveled distance multiplied by the vehicle load. A metaheuristic approachÍtem A Mixed-Integer Linear Programming Model for a Selective Vehicle Routing Problem(Springer International Publishing, 2018-09-03) Rivera, Juan Carlos; Posada, Andrea; PALACIO, JUAN DAVIDÍtem A Mixed-Integer Linear Programming Model for a Selective Vehicle Routing Problem(Springer International Publishing, 2018-09-03) Rivera, Juan Carlos; Posada, Andrea; PALACIO, JUAN DAVIDÍtem A network based approach towards industry clustering(Edward Elgar Publishing Ltd, 2008) Duque, Juan C.; Rey, S. J.; Universidad EAFIT. Escuela de Economía y Finanzas. Research in Spatial Economics (RiSE), Carrera 49 7 Sur-50, Medellín, Colombia.; Escuela de Economía y Finanzas; Duque, Juan C. (jduquec1@eafit.edu.co); Research in Spatial Economics (RiSE)Ítem A review of regional science applications of satellite remote sensing in urban settings(Elsevier Sci Ltd, 2013-01) Patino, J. E.; Duque, Juan C.; Universidad EAFIT. Escuela de Economía y Finanzas. Research in Spatial Economics (RiSE), Carrera 49 7 Sur-50, Medellín, Colombia.; Universidad EAFIT. Departamento de Economía y Finanzas; Patino, J.E. (jpatinoq@eafit.edu.co); Duque, Juan C. (jduquec1@eafit.edu.co); Research in Spatial Economics (RiSE); Research in Spatial Economics (RISE)This paper reviews the potential applications of satellite remote sensing to regional science research in urban settings. Regional science is the study of social problems that have a spatial dimension. The availability of satellite remote sensing data has increased significantly in the last two decades, and these data constitute a useful data source for mapping the composition of urban settings and analyzing changes over time. The increasing spatial resolution of commercial satellite imagery has influenced the emergence of new research and applications of regional science in urban settlements because it is now possible to identify individual objects of the urban fabric. The most common applications found in the literature are the detection of urban deprivation hot spots, quality of life index assessment, urban growth analysis, house value estimation, urban population estimation and urban social vulnerability assessment. The satellite remote sensing imagery used in these applications has medium, high or very high spatial resolution, such as images from Landsat MSS, Landsat TM and ETM+, SPOT, ASTER, IRS, Ikonos and QuickBird. Consistent relationships between socio-economic variables derived from censuses and field surveys and proxy variables of vegetation coverage measured from satellite remote sensing data have been found in several cities in the US. Different approaches and techniques have been applied successfully around the world, but local research is always needed to account for the unique elements of each place. Spectral mixture analysis, object-oriented classifications and image texture measures are some of the techniques of image processing that have been implemented with good results. Many regional scientists remain skeptical that satellite remote sensing will produce useful information for their work. More local research is needed to demonstrate the real potential and utility of satellite remote sensing for regional science in urban environments.Ítem A Riemannian geometry in the q-exponential banach manifold induced by q-divergences(2013-01-01) Quiceno, Hector Román; Loaiza, G; Arango, Juan CFor the family of non-parametric q-exponential statistical models, in a former paper, written by the same authors, a differentiable Banach manifold modelled on Lebesgue spaces of real random variables has been builtÍtem A Riemannian Geometry in the q-Exponential Banach Manifold Induced by q-Divergences(2014-01-01) QUICENO, HECTOR ROMÁNÍtem A Riemannian Geometry in the q-Exponential Banach Manifold induced by q-Divergences.(Springer, 2013) Quiceno, H. R.; Loaiza, Gabriel; Universidad EAFIT. Escuela de Ciencias y Humanidades. Grupo de Investigación Análisis Funcional y Aplicaciones; Gabriel Loaiza (gloaiza@eafit.edu.co)For the family of non-parametric q-exponential statistical models, in a former paper, written by the same authors, a differentiable Banach manifold modelled on Lebesgue spaces of real random variables has been built. In this paper, the geometry induced on this manifold is characterized by q-divergence functionals. This geometry turns out to be a generalization of the geometry given by Fisher information metric and Levi-Civita connections. Moreover, the classical Amari’s α-connections appears as special case of the q −connections ∇ (q). The main result is the expected one, namely the zero curvature of the manifold.Ítem A Set Theory Formalization(2017) Calle-Saldarriaga, Alejandro; acalles@eafit.edu.coÍtem A Stepwise Procedure to Determinate a Suitable Scale for the Spatial Delimitation of Urban Slums(2012-01-01) Duque, Juan CarlosÍtem A stepwise procedure to determinate a suitable scale for the spatial delimitation of urban slums(SPRINGER, 2012-01-01) Duque JC; Royuela, Vicente; Noreña, MiguelÍtem A stepwise procedure to determinate a suitable scale for the spatial delimitation of urban slums(Springer Nature, 2012-01-01) Duque, J.C.; Royuela, V.; Noreña, M.The globalisation era in which we live has made the world an interconnected space with several global trends. We find developing countries with very high growth rates, what helps to find world economic convergence. As a complement to this trend, within those countries there is a dramatic growth pattern of cities into megacities, as economic activity concentrates in space to exploit agglomeration economies. According to UN-Habitat, in the next two decades the global population living in urban areas will move from 50 % to 70 %. © Springer-Verlag Berlin Heidelberg 2012.