Optimal Control of MDPs with Temporal Logic Constraints

In this paper, we focus on formal synthesis of control policies for finite Markov decision processes with non-negative real-valued costs. We develop an algorithm to automatically generate a policy that guarantees the satisfaction of a correctness specification expressed as a formula of Linear Temporal Logic, while at the same time minimizing the expected average cost between two consecutive satisfactions of a desired property. The existing solutions to this problem are sub-optimal. By leveraging ideas from automata-based model checking and game theory, we provide an optimal solution. We demonstrate the approach on an illustrative example.Comment: Technical report accompanying the CDC 2013 pape

El bullying y rendimiento académico en niños de la Institución Educativa N°1369- Lanchepampa 2017.

El trabajo tuvo por propósito establecer la relación entre el bullying y el rendimiento académico en niños de la Institución Educativa N°1369- Lanchepampa; 2017. Es un trabajo de tipo descriptivo correlacional con diseño no experimental, transversal correlacional y se trabajó con una población y muestra de 16 niños de la edad de 5 años en quienes se identificaron la presencia de bullying y el nivel de rendimiento académico. El instrumento que nos permitió el recojo de información es el cuestionario para la variable bulling y un registro documental para rendimiento académica; las que se procesaron mediante el paquete estadístico SPSS versión 21. La relación entre el nivel proceso y el nivel de sometimiento en pocas veces es en un 12.5% y la relación entre el nivel de logro y un nivel alto de sometimiento al bullying es 12.5%; por lo que se observa una baja relación.Tesi

Niveles de comprensión de textos en niños de 5 años ed las instituciones educativas inicial niño jesús de praga y enrique bruning del distrito de San Martin de Porres - 2015

El presente trabajo de investigación tiene como título "Niveles de comprensión de textos en niños de 5 años de las Instituciones Educativas Inicial Niño Jesús de Praga y Enrique Bruning del distrito de San Martín de Porres-2015”. Así mismo tiene como objetivo general comparar los niveles de comprensión de textos en niños de 5 años de las instituciones educativas mencionadas. Este trabajo de investigación corresponde al enfoque cuantitativo; la población de estudio estuvo conformada por niños de 5 años con un total de 40 niñas y niños entre ambas instituciones educativas. Los datos obtenidos en la investigación fueron recogidos de un test de niveles de comprensión de textos para niños y niñas de 5 años compuesta en su estructura por tres categorías, posteriormente se realizó el vaciado de datos en el SPSS v. 20 y se agruparon los indicadores de acuerdo a las dimensiones. Los resultados arrojaron que el 62,5% de niños de 5 años de la Institución Educativa Inicial Niño Jesús de Praga y 43,8%% de niños de 5 años de la Institución Educativa Enrique Bruning se encuentran en el nivel de proceso en los niveles de comprensión de textos. Al finalizar la investigación se concluyó que los niños de 5 años de las Instituciones Educativas Inicial Niño Jesús de Praga y Enrique Bruning se encuentran en el nivel de proceso en los niveles de comprensión de textos

Nivel de ansiedad ante los exámenes en estudiantes del nivel secundaria de una institución educativa privada de Lima-2022

RESUMEN La presente investigación tiene como problema general ¿Cuál es el nivel de ansiedad ante los exámenes en estudiantes de nivel secundaria de una Institución Educativa Privada de Lima – 2022? tuvo como objetivo general determinar el nivel de ansiedad ante los exámenes en estudiantes de secundaria de una Institución Educativa Privada de Lima – 2022. Se utilizó como método general el científico, y como método especifico el analítico sintético, tipo de investigación básica y cuantitativa, nivel de investigación descriptivo y diseño no experimental, descriptivo simple; la muestra estuvo conformada por 114 estudiantes, elegidos de manera intencional, el tipo de muestreo fue no probabilístico. La técnica utilizada fue la encuesta y el instrumento el Inventario de Autoevaluación frente a exámenes (IDASE), la cual tiene un índice de confiabilidad de Alfa de Cronbach de 0.937, la validez fue por criterio de jueces. Los resultados hallados fueron el 45.6% de los estudiantes se encuentran en nivel moderado de ansiedad ante exámenes, en cuanto a la dimensión emotividad 43.9% se halló en nivel moderado, en la dimensión preocupación se encontró que 49.3% de los estudiantes estaban en nivel moderado, en cuanto al nivel por sexo se encontró que 43.9% de los varones estaban en un nivel moderado y un 47.4% de las mujeres se encontraban en el mismo nivel. Concluyendo que los estudiantes de la Institución Educativa de Lima se encuentran en un nivel moderando. Se recomienda realizar talleres que fomenten adecuadas estrategias de estudio para disminuir el nivel de ansiedad ante lo exámenes. Palabras clave: emotividad, preocupación, ansiedad ante exámenes, estudiantes del nivel secundaria

Sistema HACCP para carne de bovino (Bos taurus y Bos indicus): Validación del punto crítico de control de desinfección

El presente estudio fue realizado con la finalidad de validar el punto crítico de control (PPC) de desinfección del Sistema HACCP para la carne de bovino, para lo cual se tenía que determinar la efectividad de los desinfectantes en la reducción de carga microbiológica de la carne. De acuerdo al Codex Alimentarius, la validación es la obtención de pruebas que demuestran que una medida de control o combinación de medidas de control, si se aplican debidamente, es capaz de controlar el peligro. Se utilizaron dos desinfectantes, el Dióxido de Cloro, de naturaleza química y el Biosanit, compuesto principalmente por ácidos orgánicos y considerado como un desinfectante natural, ambos productos se utilizan en la industria de alimentos por su efecto antimicrobiano, por ser inodoros e insípidos, no tóxicos y estables; ambos desinfectantes fueron aplicados utilizando las concentraciones (ppm ó mL/L) recomendadas por sus respectivos fabricantes. El tipo de investigación aplicada consistió en el método que se basa en el Diseño Bifactorial de 2x2 (desinfectantes x tiempo) con 03 repeticiones por cada combinación de niveles. Los factores experimentales fueron la concentración del desinfectante por el tiempo de exposición, se utilizaron dos concentraciones (mínima y máxima) y dos tiempos (24 y 48 horas), siendo la variable independiente (X): el efecto del Dióxido de Cloro y del Biosanit y la variable dependiente (Y): la reducción de microorganismos (Escherichia coli, Coliformes Totales y Aerobios Mesófilos Totales), como indicadores de contaminación de la carne. El estudio se realizó en cortes de carne provenientes de ganado bovino faenado en una planta de faenamiento (camal) de la ciudad de Lima-Perú, autorizada por el SENASA (Servicio Nacional de Sanidad Agraria), autoridad nacional competente en Perú. Se analizaron 5 lotes de carne correspondientes a 5 días de producción en condiciones de procesamiento estandarizadas. Todos los tratamientos fueron eficaces en la reducción de la carga microbiológica, sin embargo, el Biosanit mostró tanto a las 24 como a las 48 horas, mayor efectividad en la reducción de la carga microbiológica que el Dióxido de Cloro. El Biosanit esta compuesto por ácidos orgánicos y aceites esenciales, quienes actúan de forma sinérgica. Los ácidos orgánicos como el acético, cítrico, láctico, son ácidos débiles, en solución una parte se encontrará disociada [H+] [A-] (separada) y otra no disociada [HA](juntos), sin embargo, el poder antimicrobiano se debe a su forma no disociada, la que depende del pH. La forma disociada no atraviesa fácilmente la membrana plasmática de los microorganismos, en cambio la forma no disociada, si atraviesa la membrana y afecta el pH intracelular microbiano. En cuanto a los aceites esenciales (ejm: eucalipto), la actividad antimicrobiana se debe a los terpenoides. Los aceites esenciales deterioran la pared celular de los microrganismos, se adhieren a los lípidos de la membrana citoplasmática e inactivan los sistemas enzimáticos de las bacterias. El Biosanit tiene una mayor efectividad en la reducción de microorganismos con la mayor concentración (concentración máxima: 500 ppm ó 5 mL/L), demostrando mayor efectividad en la reducción de E. coli, luego para Coliformes Totales y por último para Aerobios Mesófilos Totales

Aprendizaje colaborativo y autonomía del aprendizaje en una Institución Educativa del distrito de Villa María del Triunfo, 2021

El propósito general de la indagación científica es relacionar de qué manera el aprendizaje colaborativo se relaciona con la autonomía del aprendizaje en una I. E. del distrito de V.M.T. 2021. En el trabajo de investigación se desarrolló mediante el enfoque cuantitativo, descriptivo, con el diseño correlacional transversal. Cuya muestra se conformó 90 estudiantes de educación primaria. Se aplicó el instrumento para medir el aprendizaje colaborativo y la autónoma de los aprendizajes, se realizó el proceso para contrastar las conjeturas a través del examen de Kolmogorov - Smirnov determinándose se trata de una prueba no paramétrica y se utilizó el RHO de Spearman y se realizó el respectivo contraste en la hipótesis. Al examinar la validez de la hipótesis el resultado de la correlación es positiva perfecta en con un rho = ,982 y un p = 0,001 lo que al implementar contrastación la correlación es positiva perfecta, en consecuencia; se debe desechar de la hipótesis nula y tenemos dar por aceptado la hipótesis alterna en consecuencia, debo de afirmar existe relación significativa del aprendizaje colaborativo con la autonomía para los aprendizajes de los discentes en la educación primaria en la I.E. ángeles de Jesús VMT- UGEL 01 SJ

Relación entre el liderazgo transformacional y el desempeño docente de instituciones educativas Publicas del nivel inicial del distrito de comas, de la UGEL 04 de lima. Año 2013

La presente investigación titulada “Relación entre el Liderazgo Transformacional y el Desempeño Docente de Instituciones Educativas Publicas del Nivel Inicial del Distrito de Comas, de la UGEL 04 de Lima, año 2013, ha tenido como problema general: ¿Cuál es la relación entre el liderazgo transformacional y el desempeño docente en las instituciones educativas públicas nivel inicial del distrito de Comas de la UGEL 04 de Lima, año 2013? Así como Objetivo General: Determinar en qué medida el Liderazgo Transformacional se relaciona con en el mejoramiento del Desempeño Docente de las Instituciones Educativas Públicas Nivel Inicial del Distrito de Comas de la UGEL 04 de Lima. En cuanto a la metodología podemos señalar que según la tipología señalada por la Escuela de Postgrado de la Universidad César Vallejo (EPG.UCV), la presente investigación es de tipo descriptiva – correlacional. La muestra ha estado conformada por las IIEE, que participan en el proyecto Jugando Aprendo II de FONDEP; como instrumento de la investigación se aplicaron Encuesta tipo cuestionario y Ficha de autoevaluación para valorar el trabajo de las Docentes de aula. Como conclusiones tenemos que el Liderazgo Transformacional está relacionado directamente y positivamente con el desempeño docente, según la correlación de Spearman de 0.896, representando ésta una aceptable asociación de las variables y siendo altamente significativo. Además, según la prueba de la independencia (Chi-cuadrado: 292.365 ***p < .000) altamente significativo, es decir, si el Liderazgo Transformacional es adecuado entonces se relacionará positivamente en el mejoramiento del Desempeño Docente de las Instituciones Educativas Públicas Nivel Inicial del Distrito de Comas de la UGEL 04 de Lima. Año 201

Validación del sistema de cadena de frío para almacenamiento y distribución de reactivos para diagnóstico con prueba molecular del SARS-CoV-2019

La presente investigación tuvo como objetivo general cumplir con los parámetros de calidad de la validación de la cadena de frío de ultracongelación para almacenar los reactivos de diagnóstico del Covid - 2019. Es una investigación: Descriptiva, aplicativa, cuantitativa, no experimental, analítica explicativa. Dentro de los parámetros de calidad para evaluar el cumplimiento tenemos a la varianza de los datos, promedio máximo, mínimo y puntos frío, caliente, los instrumentos para la toma de datos de las variables de estudio (temperatura) se usaron equipos calibrados (dataloggers). Los resultados obtenidos se encuentran dentro del rango de trabajo (-50°C - -20°C). En la calificación de desempeño, se observa que el punto caliente se ubica en la Posición 7 (Data Logger LTH-1192-2019), con un valor promedio de -22.1 ºC y el punto frio en la Posición 4 (Data Logger LT 2020 0670), con un valor promedio de -50.1 °C. Se concluye que la validación del sistema de cadena de frío cumple con los requisitos de Calificación establecidos según el protocolo de Calificación para asegurar la calidad de los reactivos para el diagnóstico del Covid 19.Tesi