Uma API criptográfica para aplicações embarcadas

This document presents GEmSysC, an unified cryptographic API for embedded systems. Software layers implementing this API can be built over existing libraries, allowing embedded software to access cryptographic functions in a consistent way that does not depend on the underlying library. The API complies to good practices for API design and good practices for embedded software development and took its inspiration from other cryptographic libraries and standards. The main inspiration for creating GEmSysC was the CMSIS-RTOS standard, which defines an unified API for embedded software in an implementation-independent way, but targets operating systems instead of cryptographic functions. GEmSysC is made of a generic core and attachable modules, one for each cryptographic algorithm. This document contains the specification of the core of GEmSysC and three of its modules: AES, RSA and SHA-256. GEmSysC was built targeting embedded systems, but this does not restrict its use only in such systems – after all, embedded systems are just very limited computing devices. As a proof of concept, two implementations of GEmSysC were made. One of them was built over wolfSSL, which is an open source library for embedded systems. The other was built over OpenSSL, which is open source and a de facto standard. Unlike wolfSSL, OpenSSL does not specifically target embedded systems. The implementation built over wolfSSL was evaluated in a Cortex- M3 processor with no operating system while the implementation built over OpenSSL was evaluated on a personal computer with Windows 10 operating system. This document displays test results showing GEmSysC to be simpler than other libraries in some aspects. These results have shown that both implementations incur in little overhead in computation time compared to the cryptographic libraries themselves. The overhead of the implementation has been measured for each cryptographic algorithm and is between around 0% and 0.17% for the implementation over wolfSSL and between 0.03% and 1.40% for the one over OpenSSL. This document also presents the memory costs for each implementation.

L'utilisation d'un systéme gestuel illustré pour l'apprentissage des diphtongues en francais chez les filles de 8 a 11 ans

Tesis (Licenciado en Lenguas Castellana, Inglés y Francés).--Universidad de La Salle. Facultad de Ciencias de La Educación. Licenciatura en Lengua Castellana, Inglés y Francés, 2014

De la práctica del sonido a la producción comunicativa : estrategia didáctica de la pronunciación para la enseñanza del francés como lengua extranjera

Tesis (Licenciado en Lenguas Castellana, Inglés y Francés).--Universidad de La Salle. Facultad de Ciencias de La Educación. Licenciatura en Lengua Castellana, Inglés y Francés, 2013

El ambiente de aprendizaje del inglés como lengua extranjera y el comportamiento de los estudiantes entre los nueve y doce años de edad de la Fundación ASE

Tesis (Licenciado en Lenguas Castellana, Inglés y Francés).--Universidad de La Salle. Facultad de Ciencias de La Educación. Licenciatura en Lengua Castellana, Inglés y Francés, 2014

Propuesta de un modelo de evaluación bidimensional en Moodle

El modelo de evaluación bidimensional MEB en la educación superior, propuesto en este trabajo mide el conocimiento de estudiantes versus grado de certeza. El análisis de estas dos dimensiones permite al profesor determinar áreas de conocimiento a profundizar con sus estudiantes. La investigación fue descriptiva y correlacional, fueron aplicados métodos científico e inductivo. Las técnicas utilizadas fueron cuestionarios y análisis estadístico y recursos técnicos fueron: sistema de gestión de aprendizaje Moodle, software para análisis matemático MATLAB, EXCEL, laboratorios de la Facultad de Informática y Electrónica (FIE) de la Escuela Superior Politécnica de Chimborazo (ESPOCH), institución donde se llevó a cabo el estudio. El MEB propone la aplicación de cuestionarios de selección múltiple con el mecanismo CBM (Certainty based marking - Marcado basado en la certeza), sobre un aula virtual creada en el sistema Moodle. CBM permite medir por cada pregunta de un cuestionario las dimensiones conocimiento y certeza.

Riesgo operativo: técnicas de modelación cuantitativa

La obra muestra estudios de caso en los cuales se implementan muchos desarrollos en el campo de la cuantificación del riesgo operacional, aportando así con una contribución novedosa para la ingeniería financiera y la gestión de riesgos financieros en general. El libro está dirigido inicialmente a investigadores en el área de riesgos pero también puede ser aprovechado para que las organizaciones utilicen estos fundamentos teórico-prácticos para la cuantificación del riesgo operativo. Un grupo importante de destinatarios del libro está constituido por estudiantes de postgrado y pregrado en finanzas en general en la medida en que sirve como apoyo a diferentes asignaturas relacionadas con el riesgo operativo.

Evaluación de la calidad y la congelabilidad de espermatozoides epididimarios provenientes de toros faenados en el camal de Cuenca, Ecuador

Las pérdidas inesperadas de animales de alto valor genético, así como la dificultad para recoger semen de especies silvestres conducen a un aumento en el uso de técnicas de reproducción asistida, ya que resulta ser una de las posibilidades para preservar el material genético de estos animales (Kaabi et al., 2003). La recuperación y criopreservación de espermatozoides de epidídimos de animales muertos (recuperación postmortem) es una opción viable para el mantenimiento de su germoplasma disponible para su uso futuro (Turri et al., 2012). Los estudios han demostrado la eficacia y el potencial de los espermatozoides del epidídimo para fertilizar in vitro e in vivo y para realizar inyección intracitoplasmática con resultados satisfactorios (Monteiro et al., 2011). El objetivo de esta investigación fue evaluar la calidad y la congelabilidad de espermatozoides epididimarios provenientes de toros faenados en el camal de Cuenca, Ecuador.

Evaluación energética de Pennisetum clandestinum y Lolium perenne en diferentes edades de corte para alimentación de bovinos

Distintas especies forrajeras, como kikuyo (Penninsetum clandestinum) y rye grass anual (Lolium multiflorum), están ampliamente difundidas en la sierra ecuatoriana. Si bien pueden ser una solución al problema de la alimentación que enfrentan los productores, por ser una fuente nutricional de fácil acceso, en la actualidad estos recursos se están subutilizando al no considerarse su verdadero aporte nutricional. El objetivo de este estudio fue determinar el valor de la energía, para ganado de carne y leche, del kikuyo y el rye grass perenne (Lolium perenne) a diferentes edades de corte.

Evaluación productiva y económica del engorde de toretes alimentados con excretas de cerdos y de aves (cerdaza y pollinaza) y concentrado comercial

Las explotaciones porcina y avícola proporcionan como subproducto de las mismas, la cerdaza y la pollinaza (cama de crianza en ambos casos) que son tradicionalmente utilizados como fertilizantes orgánicos. Estos también se han empleado empíricamente como fuente de energía y proteína en la alimentación de bovinos. Según Campabadal (1994) y Morales et al. (2002) estos subproductos tienen un alto valor nutritivo, beneficioso en la alimentación de bovinos en estabulación, además de ser herramientas que pueden reducir los costos de producción, evitar el sobrepastoreo y permitir un beneficio importante en producción de carne bovina con un menor impacto sobre el medio ambiente. Por todo lo anterior, el objetivo de este trabajo fue evaluar el efecto de cerdaza y pollinaza sobre las ganancias de peso logradas con su uso así como el impacto de su utilización sobre los costos de producción en el engorde de toretes.

Calidad del agua. Evaluación y diagnóstico

Este libro recoge los aspectos más importantes relacionados con la calidad del agua en ambientes lóticos (ríos y corrientes superficiales) y lénticos (lagos y embalses). De una manera práctica e integrada, el texto recopila los conceptos básicos de diferentes ciencias como la estadística, la química del agua, las evaluaciones ambientales y la modelación, y los aplica para que el lector pueda diagnosticar y evaluar la calidad del agua, proponer medidas de mitigación a los problemas y establecer criterios, usos y objetivos de calidad del agua. Los temas están presentados recurriendo a la discusión teórica y presentando ejemplos prácticos de cada aspecto contemplado. Con base en lo anterior, el libro está dirigido a que sea utilizado en programas de pregrado y posgrado en ingeniería en los cursos de calidad del agua, tratamiento de aguas, contaminación de recursos hídricos, evaluaciones ambientales, etc. También, puede ser una herramienta muy importante en la planeación, ordenamiento y conservación de cuencas para las autoridades ambientales y empresas prestadoras de servicios públicos.

Evaluación socioeconómica de la implementación de sistemas de recolección y tratamiento de aguas residuales.

La presente investigación, como su título lo indica, trata sobre la evaluación social y económica de la implementación del servicio de alcantarillado sanitario y tratamiento de aguas residuales. En las últimas décadas el problema de la contaminación se ha venido agravando por la disposición inadecuada de los residuos líquidos que las ciudades generan. En el caso de El Salvador existe un alto grado de contaminación en los cuerpos superficiales y subterráneos de agua, ya que el control de descardas de desechos es deficiente. A pesar que existe iniciativas, nunca se han desarrollado planes concretos que garanticen el saneamiento de los ríos, lagos y mares; obedeciendo básicamente a la voluntad política ante tan importante tema. Para familiarizar al lector, en el marco teórico se presentan principios y conceptos técnicos, propios de la recolección, conducción, tratamiento y disposición de las aguas residuales. Además de los antecedentes históricos y legislación relacionada con el saneamiento en El Salvador. Para conocer la perspectiva de los usuarios de las redes de alcantarillado sanitario en el Área Metropolitana de San Salvador y la valoración que le dan al tratamiento, se realizó un cuestionario y una seria de entrevistas, arrojando información de suma importancia para el análisis en esta investigación.

Elaboración de un plan de gestión de residuos sólidos y estudio de los factores que inciden en la eficiencia y eficacia del plan en las Mecánicas-talleres MAGL y J. J. & Hijos

La generación de residuos sólidos dentro de las mecánicas automotrices en la actualidad, se ha convertido en unos de los principales problemas difíciles de manejar y solucionar, debido al incremento y demanda de vehículos, generando un impacto ambiental negativo tanto en el área de trabajo como en la ciudad. Por tal razón, en varias ciudades del Ecuador y del mundo se ha propuesto la implementación de diferentes planes para el manejo de Residuos Sólidos en este sector. El presente estudio está enfocado a la elaboración de un plan de gestión de Residuos Sólidos, aplicado a dos mecánicas automotrices de la ciudad de Cuenca: J.J. & HIJO y MAGL, realizando de esta manera un análisis a los factores que inciden en la eficiencia y eficacia del mismo. El diseño y aplicación del plan de gestión permitirá estimar el grado de impacto ambiental producido por la generación de los residuos en mecánicas automotrices, por otro lado permitirá la optimización de recursos, disminución de impactos y contaminaciones ambientales, mejoras en el sistema de clasificación, recolección, transporte y disposición final de los desechos e impulsar la conservación de ambiente que nos rodea.

Derecho probatorio contemporáneo: prueba científica y técnicas forenses

El Grupo de Investigaciones en Derecho Procesal de la Universidad de Medellín presenta a los profesionales del derecho y a la comunidad académica en general, un libro de alta calidad que orientará la formación de estudiantes en temas de Derecho Probatorio Contemporáneo, además de brindar una contribución significativa para la solución de problemas que vinculan el estudio de la prueba, para el avance del ámbito jurídico profesional y para la Administración de Justicia en Colombia. Se presenta el libro Derecho probatorio contemporáneo, prueba científica y técnicas forenses, con la seguridad de que permitirá la construcción de espacios adecuados para el análisis y la crítica constructiva de las diversas tendencias jurídicas contemporáneas en el ámbito del derecho probatorio.

Evaluación económica de impactos ambientales. Una guía metodológica para la determinación de la tasa social de descuento

El tiempo importa. Esta frase aunque simple resume un complejo debate al interior de la disciplina económica. De un lado, es discutible cualquier valoración de los flujos futuros de utilidad o ingreso a partir de la información presente. El tiempo es cambio y transformación. De allí que algunos economistas cuestionen seriamente la posibilidad de determinar las tasas de explotación óptimas de los recursos naturales asumiendo homogeneidad en las series temporales, mediante correcciones de los valores futuros por una tasa de descuento. Por otro lado, no se puede negar que las personas valoran las recompensas y los castigos dependiendo del momento en el cual los obtengan o los sufran. Un niño expresa una alta preferencia por obtener el objeto de su deseo inmediatamente y preferiría dilatar la fecha de un castigo. Por su parte, un gobierno promueve la explotación rápida del petróleo del subsuelo, entre tanto, una comunidad indígena prefiere dejarlo bajo la madre tierra. Todos estos ejemplos muestran que es necesario, por lo menos, como una primera aproximación entender el problema de la impaciencia o el descuento temporal. El punto es tan crucial que Frank Ramsey, el creador de la teoría del crecimiento óptimo, consideraba que no descontar los disfrutes más lejanos en comparación de los más próximos carecía de sustento ético y reflejaba más bien una debilidad de nuestra imaginación. Esta obra es una introducción ilustrada a tan interesante debate. El gran valor de este trabajo, además del rigor académico y la claridad conceptual con que se plantea el tema, es que el autor logra develar la articulación entre la problemática ambiental y la tasa social de descuento obtenida a partir del costo de oportunidad de la inversión pública.

Diseño de un modelo de evaluación del desempeño para los trabajadores del Instituto salvadoreño de fomento cooperativo (INSAFOCOOP).

La realización del presente trabajo de graduación, tiene como objetivo fundamental, proponer un Modelo para la Evaluación del Desempeño para los trabajadores del Instituto Salvadoreño de Fomento Cooperativo, de tal forma que al ser implementada la evaluación, ofrezca mayor precisión y claridad al momento de ejecutar dicho proceso, y con ello contribuir a incrementar la eficiencia y eficacia en dicha institución. Con la investigación realizada, se determinó la necesidad de realizar evaluación del desempeño en el Instituto, el cual se dirigirá al personal de jefatura, técnico-administrativo y de servicios generales, ya que actualmente no se cuenta con un proceso de Evaluación, por lo que resulta difícil informarles a los empleados su desempeño y tomar decisiones relativas a salarios, ascensos, promociones, etc. La información obtenida y la investigación de campo, permitieron identificar aspectos importantes sobre la situación actual relacionada a la Evaluación del Desempeño, dentro del cual destaca el hecho de que en el Instituto Salvadoreño de Fomento Cooperativo, no se realiza Evaluación del Desempeño, ya que no existe un proceso establecido para ejecutar dicha herramienta administrativa. Por lo tanto, en base a las conclusiones establecidas, de que la mayoría de los jefes de departamento del Instituto consideran importante realizar Evaluaciones de Desemepeño, que es necesario identificar los problemas con los que se enfrentan a diario con el personal bajo su responsabilidad, y que el propósito de realizar la Evaluación del Desempeño es lograr más eficiencia en el trabajo, entre otras; se recomienda el “MODELO DE EVALUACION DEL DESEMPEÑO PARA LOS TRABAJADORES DEL INSTITUTO SALVADOREÑO DE FOMENTO COOPERATIVO”, donde se describe el proceso de Evaluación del Desempeño, el cual contiene: Objetivos, Normas, Métodos, Procedimientos e Instrumentos de Evaluación, por lo que se espera que constituya una herramienta técnico-administrativa, que contribuya a ejecutar en forma clara y precisa la evaluación del desempeño, y de esta forma obtener un desarrollo efectivo tanto del recurso humano como del Instituto.