Buscar
Mostrando ítems 1-10 de 308
Análisis comparativo de colonia de hormigas vs. un enfoque combinado cuello de botella móvil/búsqueda tabú en la minimización de la tardanza ponderada total en sistemas de manufactura tipo taller
(Universidad Autónoma de Bucaramanga UNAB, 2007-06-01)
Tipo de documento: Artículo
Programar la producción en talleres (job shops) es un problema que consiste en secuenciar las diferentes operaciones de n trabajos a procesar en m máquinas, con el fin de minimizar alguna función objetivo. Este es un ...
Relaciones entre casos de uso en el lenguaje de modelado unificado
(Universidad Autónoma de Bucaramanga UNAB, 2000-12-01)
Tipo de documento: Artículo
El Unified Modeling Language (UML) es un lenguaje gráfico, semiformal, que ha sido aceptado como estándar para describir sistemas de software orientados a objetos. UML define varios tipos de diagramas que se ...
Un procedimiento de decisión de reescritura de la lógica silogística de Dijkstra-Scholten con complementos
(Universidad Autónoma de Bucaramanga UNAB, 2007-12-01)
Tipo de documento: Artículo
Presentamos un procedimiento de decisión ecuacional a la Dijkstra & Scholten para la 'Lógica Silogística con Complementos'. Primero, damos una axiomatización ecuacional de la lógica proposicional de Dijkstra & Scholten y ...
Editorial
(Universidad Autónoma de Bucaramanga UNAB, 2001-12-01)
Tipo de documento: Artículo
Un cordial saludo de parte de la Revista Colombiana de Computación y de todos sus colaboradores,
con los mejores deseos para el año 2002. Queremos compartir con ustedes las novedades que hemos
tenido. En este momento la ...
Descripción de procedimientos para el muestreo y reconstrucción de señales
(2005)
Tipo de documento: Artículo
Este trabajo es principalmente una investigación sobre el tratamiento de señales, aunque también tiene explicaciones introductorias al tema del muestreo y reconstrucción, con el propósito de que la temática central, sea ...
Modelos matemáticos para procesos de mercado
(2004)
Tipo de documento: Artículo
En la actualidad la dinámica de las empresas ha obligado el desarrollo de sistemas organizacionales complejos, al cuyo análisis requiere de modelos conceptuales llamados también diagramas de flujos, modelos estructurales ...
Cálculo simbólico de soluciones para tres ecuaciones diferenciales parciales no lineales generalizadas utilizando el método tanh
(Universidad Autónoma de Bucaramanga UNAB, 2009-06-01)
Tipo de documento: Artículo
Tres ecuaciones diferenciales parciales no lineales, a saber, el estándar KdV
ecuación, la ecuación de Boussinesq y el KdV generalizado de quinto orden
ecuación se consideran aquí desde el punto de vista de la construcción ...
Método para manejar el problema de la recarga de trabajo en los sistemas multi-agente
(Universidad Autónoma de Bucaramanga UNAB, 2004-12-01)
Tipo de documento: Artículo
Los Sistemas Multi-Agente (SMA) permiten la solución de un problema mediante la descomposición de éste en subproblemas, cada uno de los cuales puede ser solucionado por uno o un grupo de agentes en particular. Para optimizar ...
Almacenamiento en caché semántico en sistemas de consulta a gran escala
(Universidad Autónoma de Bucaramanga UNAB, 2008-06-01)
Tipo de documento: Artículo
El almacenamiento en caché es fundamental para mejorar el rendimiento en muchos sistemas informáticos. Este trabajo propone un enfoque de almacenamiento en caché para mejorar la evaluación de consultas. Palabras clave: ...
Diseñemos todo de nuevo: reflexiones sobre la computación y su enseñanza
(Universidad Autónoma de Bucaramanga UNAB, 2000-12-01)
Tipo de documento: Artículo
Qué y cómo enseñar son las preguntas fundamentales de nuestro quehacer como profesores. En este artículo presento mi visión personal de nuestra área, un análisis crítico y constructivo y sus implicancias en la ...