RepositorioTEC
Gestionado por el sistema de bibliotecas del TEC - SIBITEC

Comunidades en DSpace
Seleccione una comunidad para explorar sus colecciones.
Mostrando 1 - 5 de 10
- Producción académica realizada por investigadores y profesionales del Departamento de Orientación y Psicología.
- Producción académica de autores de la institución.
- Material documental editado por la Editorial Tecnológica
- Producción académica de las escuelas y departamentos de la institución.
- Comunidad de grupos de investigación y de investigaciones multidisciplinares en el TEC
Envíos recientes
Item type:Ítem, Diseño de un ambiente de verificación formal basado en SystemVerilog Assertions para una unidad aritmética lógica de punto flotante(Instituto Tecnológico de Costa Rica, 2025-12-03) Quirós-Barrantes, Josué; Molina-Robles, RobertoEste proyecto desarrolla un entorno de verificación formal para la unidad aritmética lógica de punto flotante (FPU) del microcontrolador SIWA. Se requiere validar la ALU exhaustivamente antes de integrarla al estándar RISC-V con extensión F. La verificación se realizó con SystemVerilog Assertions y VC Formal, siguiendo un enfoque grey box para evaluar cada etapa interna del sumador y del multiplicador en precisión simple IEEE-754. Se definieron aserciones para comprobar el correcto desempaquetado, alineamiento de exponentes, suma y resta de mantisas, normalización, redondeo, empaquetado y manejo de excepciones. El entorno permitió identificar fallos funcionales y validar comportamientos críticos como overflow, underflow y NaN. El resultado es un flujo estructurado y reproducible que fortalece la confiabilidad del diseño y sienta la base para futuras verificaciones de la FPU completa.Item type:Ítem, Desarrollo de un prototipo de collar inteligente para gestión de ganado con monitoreo de desplazamiento, temperatura y cercas virtuales(Instituto Tecnológico de Costa Rica, 2025-11-25) Rivera-Solís, Jeison Manuel; Vega-Castillo, PaolaEl presente proyecto desarrolla un sistema integral de monitoreo para ganado en lechería mediante un collar inteligente de bajo costo, diseñado para registrar temperatura corporal, rastrear la ubicación periódicamente mediante GPS y generar alertas por cruce de cercas virtuales configurables. El dispositivo integra sensores y módulos electrónicos de bajo consumo, junto con tecnologías de comunicación que permiten la transmisión continua y fiable de datos. La implementación del prototipo permitió validar las funcionalidades principales del sistema: medición de temperatura con alta precisión, rastreo geográfico estable bajo condiciones adecuadas de señal y detección efectiva de eventos relacionados con límites virtuales. Los resultados obtenidos evidencian beneficios potenciales en el bienestar animal, la gestión eficiente del hato y la reducción de costos operativos. Asimismo, se desarrolló una plataforma digital que facilita el análisis de información y respalda la toma de decisiones basada en datos en tiempo real. El avance logrado demuestra la viabilidad técnica de la propuesta y su potencial para impulsar una ganadería más moderna, tecnificada y sostenible, accesible para pequeños y medianos productores.Item type:Ítem, Diseño e implementación de un sistema automatizado de dosificación de aditivo anticoagulante para reducir obstrucciones y controlar la viscosidad de la goma en la fabricación de cartón corrugado(Instituto Tecnológico de Costa Rica, 2025-12-02) Elizondo-Bennet, Yeiner Steven; Araya-Menéses, IvánEn la planta de cartón corrugado de la Corporación de Desarrollo Agrícola Del Monte, la formulación de la goma utilizada para el pegado del cartón requiere la incorporación de diversos aditivos, cuya dosificación precisa es fundamental para asegurar la calidad del producto final, la seguridad del operador y la eficiencia operativa. Actualmente, la dosificación de estos aditivos se realiza de forma manual, lo que incrementa los riesgos de exposición a productos químicos, el desperdicio de materia prima y la variabilidad en la calidad del producto. Frente a esta problemática, el objetivo de este proyecto es diseñar e implementar un sistema automatizado de dosificación para un aditivo anticoagulante corrosivo, permitiendo así una operación segura y trazable sin intervención directa del operador. Para el desarrollo del proyecto se empleó la metodología de diseño de productos de Ulrich y Eppinger, que abarca desde la identificación de necesidades hasta la validación de la solución propuesta. Se realizó un análisis del sistema actual y se recopilaron los requerimientos técnicos y operativos mediante entrevistas y observación directa. A partir de esta información, se generaron alternativas conceptuales que fueron evaluadas según criterios de precisión, facilidad de implementación, escalabilidad, mantenimiento y confiabilidad. Una vez definido el diseño, se procedió a su implementación. Las pruebas de validación incluyeron métricas de precisión de dosificación, homogeneidad y trazabilidad de los ciclos operativos. Los resultados obtenidos demuestran que el sistema automatizado reduce el margen de error humano, es económicamente viable y representa una mejora sustancial respecto al método manual de dosificación.Item type:Ítem, Sistema embebido para el monitoreo de variables fisiológicas en ganado bovino en la Región Huetar Atlántica(Instituto Tecnológico de Costa Rica, 2025-11-28) Gómez-Gutiérrez, Asdrúbal; Ramírez-Jiménez, Arnoldo AlcidesEl Estrés Térmico (ET) en el ganado bovino representa una pérdida significativa de productividad en la Región Huetar Atlántica, motivando el diseño e implementación de un sistema prototipo de bajo costo para el monitoreo de Temperatura Corporal (TC), Frecuencia Cardíaca (FC) y Frecuencia Respiratoria (FR). La metodología se centró en garantizar la robustez algorítmica, implementando una cadena de filtrado en cascada (Filtro de Kalman y heurísticos) optimizada para el microcontrolador limitado ATmega328P. Los resultados validaron esta estrategia con una drástica mitigación del ruido, evidenciada por la reducción del Error Cuadrático Medio (MSE) del 99.12% para TC, 91.68% para FR y 88.84% para FC, lo que valida la estabilidad de los datos en las tres métricas. Aunque el sistema demostró un error de medición sistemático (offset) en comparación con la instrumentación veterinaria, este error fue cuantificado y es predecible (-0.75 °C en TC, -3.30 BPM en FC, y +4.59 RPM en FR). Se concluye que el sistema provee una herramienta fiable y económica para la Ganadería de Precisión, ya que la estabilidad de los datos es suficiente para el monitoreo de tendencias, lo que justifica la inversión en esta tecnología para activar protocolos de mitigación de estrés y optimizar la eficiencia productiva.Item type:Ítem, Manual acervo cultural III: guía turístico indígena(Instituto tecnológico de Cartago, 2023) Arias-Hidalgo, DavidEl Instituto Tecnológico de Costa Rica, a través del Programa Regionalización Interuniversitaria y la Oficina de Equidad de Género, con el respaldo académico en diversas fases de implementación de las Carreras de Gestión de Turismo Sostenible y Gestión del Turismo Rural Sostenible, han concebido un programa innovador denominado Plan Guía Local Turístico Indígena. Esta iniciativa, desarrollada en colaboración con la población indígena costarricense, cuenta con el aval del Instituto Costarricense de Turismo (ICT), que otorga la licencia a los graduados, certificándolos como guías de turismo indígena. La primera generación, tras dos años y medio de dedicación y formación, culminó sus estudios en 2014 en la comunidad de Amubri, Talamanca. La esencia distintiva del Plan Guía Local Turístico Indígena radica en su enfoque centrado en la salvaguarda de la cosmovisión indígena. Este enfoque se materializa a través de la capacitación de guías turísticos altamente especializados, versados en su patrimonio cultural, geografía turística, ética, turismo sostenible, lengua, entre otros aspectos relevantes. A continuación, se presenta el curso "Acervo Cultural III", que profundiza en el estudio del Siwã, el conocimiento en lengua bribri. El Siwã encapsula la filosofía de los bribris y resulta crucial para la continuidad del patrimonio cultural inmaterial. Este curso aborda aspectos fundamentales para la comprensión del mundo bribri-cabécar, tales como la arquitectura cósmica, cargos tradicionales, sistema de parentesco e historias de los orígenes. Expresamos nuestro agradecimiento a todas las personas que colaboraron en la creación de este material didáctico, especialmente a los awapa y kekepas (médicos tradicionales y persona mayores) de Talamanca.