Buscar
Mostrando ítems 1-10 de 132
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 ...
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 ...
Obtención y validación de modelos de estimación de software mediante técnicas de minería de datos
(Universidad Autónoma de Bucaramanga UNAB, 2002-06-01)
Tipo de documento: Artículo
La medición del software está adquiriendo una gran importancia debido a que cada vez se
hace más patente la necesidad de obtener datos objetivos que permitan evaluar, predecir y
mejorar la calidad del software así como ...
Desarrollo de robot scara con restricciones de dinámica
(Universidad Autónoma de Bucaramanga UNAB, 2008-12-01)
Tipo de documento: Artículo
Este articulo describe el desarrollo de un Robot manipulador bajo
restricciones dinámicas, los robots tipo SCARA (Selective Compliance
Assembly Robot Arm) son robots de 3 grados de libertad sin contar el
elemento terminal, ...