Functional Requirements-Based Automated Testing for Avionics

We propose and demonstrate a method for the reduction of testing effort in safety-critical software development using DO-178 guidance. We achieve this through the application of Bounded Model Checking (BMC) to formal low-level requirements, in order to generate tests automatically that are good enough to replace existing labor-intensive test writing procedures while maintaining independence from implementation artefacts. Given that existing manual processes are often empirical and subjective, we begin by formally defining a metric, which extends recognized best practice from code coverage analysis strategies to generate tests that adequately cover the requirements. We then formulate the automated test generation procedure and apply its prototype in case studies with industrial partners. In review, the method developed here is demonstrated to significantly reduce the human effort for the qualification of software products under DO-178 guidance

“Desarrollo de una aplicación Web para el Area de Escalafón de la Unidad de Gestión Educativa Local de Puno - 2015”

El presente trabajo de investigación titulada “Desarrollo de una aplicación web para el área de escalafón de la Unidad de Gestión Educativa Local de Puno-2015”, tuvo como objetivo principal desarrollar una aplicación web para el área de escalafón de la Unidad de Gestión Educativa Local de Puno, para mejorar la interacción con los usuarios y realizar sus consultas y reportes vía internet. La hipótesis fue el desarrollo de la aplicación web mejora eficientemente la gestión de los procesos en el área de escalafón de la Unidad de Gestión Educativa Local de la ciudad de Puno. El método que se aplicó en la presente investigación fue el método inductivo-deductivo y el tipo de investigación estuvo enmarcado dentro del tipo de investigación aplicada. La población estuvo conformada por todos los docentes de la Unidad de Gestión Educativa Local de Puno y la muestra se estableció como del tipo probabilístico. Para recopilar la información se aplicó la técnica de la encuesta con la aplicación de un cuestionario como instrumento. La conclusión fue lograr desarrollar una aplicación web para el área de escalafón de la Unidad de Gestión Educativa Local de la ciudad de Puno, para que ayude a optimizar en la atención a los docentes y demás usuarios en la consulta, modificación y reporte de su informe escalafonario.Tesi

Cincuenta números de la revista Folios, segunda época

Este segundo semestre de 2019 entregamos al mundo el número 50 de la revista Folios. Hace ya 25 años, el segundo semestre de 1990, que el primer número de la segunda época de la revista vio la luz. Se trataba, por aquel entonces, de una publicación académica perteneciente a la, por entonces, Facultad de Artes y Humanidades de la UniversidadPedagógica Nacional

Propuesta lúdica recreativa para promover el aprovechamiento del tiempo libre de los operadores de la empresa

La presente investigación tiene como finalidad implementar un plan de actividades recreativas para el aprovechamiento del tiempo libre laboral a los conductores de la empresa Masivo Capital del patio porvenir zona Kennedy, debido a que la empresa no cuenta por ahora con un programa de actividades lúdico recreativas ni similares, se evidencia según las manifestaciones de los conductores que tienen una problemática grande al no estar utilizando su tiempo libre laboral en actividades productivas que beneficien su salud emocional, intelectual e integración social. Se toma como referencia la constitución política de Colombia de 1991, el artículo 64, es deber del estado promover el acceso de trabajadores a los servicios de la educación y la recreación. Además, la ley 50 de 1990, el artículo 21, la dedicación exclusiva en determinadas actividades, en las empresas con más de cincuenta (50) trabajadores que laboren cuarenta y ocho (48) horas a la semana, estos tendrán derecho a que dos (2) horas de dicha jornada, por cuenta del empleador, se dediquen exclusivamente a actividades recreativas, culturales, deportivas o de capacitación. De acuerdo al artículo anterior la empresa tiene oportunidades de realizar actividades recreativas para su bienestar y salud emocional e integración social de sus trabajadores

Propuesta de implementación de micropilotes para estabilizar el talud de relleno artificial adyacente al complejo deportivo Manuel Bonilla en el distrito de Miraflores, ciudad de Lima, 2021

En la presente investigación se realizó el análisis de estabilidad de un talud perteneciente a los acantilados de la Costa Verde, en el cual se ha identificado un gran depósito de relleno antropogénico. Para ello, inicialmente se evaluó la condición estática y pseudoestática aplicando el método de equilibrio límite mediante la metodología de Bishop Simplificado y Morgenstern-Price utilizando el software Slide v.6.004. Los resultados obtenidos del análisis demostraron que los valores de factor de seguridad no satisfacen lo mínimo exigido por la Norma CE.020, es decir, la probabilidad de falla y colapso ante la ocurrencia de un evento sísmico severo es elevada. Actualmente, la presencia de estructuras importantes: coliseo Manuel Bonilla, canchas deportivas, veterinaria municipal, estacionamientos y una ciclovía que recorre el borde superior del acantilado, son concurridas para realizar actividades recreativas y no permiten estabilizar el talud modificando su geometría. En consecuencia, el objetivo principal consistió en proponer la implementación de micropilotes para estabilizar el talud sin recortar el límite de propiedad ni demoler las construcciones existentes. Tras diseñar pantallas de micropilotes de 20 cm de diámetro y luego un segundo análisis, los valores de factor de seguridad garantizaron la estabilidad cumpliendo los requerimientos mínimos. Sin embargo, para definir mejor el comportamiento sísmico del talud y proporcionar niveles de amplificación sísmica generados por su estratigrafía, se recomienda realizar una evaluación dinámica del sitio.In the present research was made the stability analysis of a slope belonging to the Costa Verde cliffs in which a large anthropogenic filler deposit has been identified. To this matter, the static and pseudo static condition were initially evaluated applying the limit equilibrium method using the Simplified Bishop and Morgenstern-Price methodology using the Slide v.6.004 software. The results obtained from the analysis showed that the safety factor values do not meet the minimum required by the CE.020 Code, which means, the probability of failure and collapse in the event of a severe seismic event is high. Nowadays, the presence of important structures: Manuel Bonilla coliseum, sports courts, municipal veterinary, parking lots and a bike path that runs along the top edge of the cliff, are used for recreational activities and stabilizing the slope by modifying its geometry is not allowed. Consequently, the main objective was to propose the implementation of micropiles to stabilize the slope without altering the property boundary or demolish existing constructions. After designing 20 cm diameter micropile walls and then a second analysis, the safety factor values ensured stability by meeting minimum requirements. However, to better define the seismic behavior of the slope and provide levels of seismic amplification generated by its stratigraphy, a dynamic site evaluation is recommended

Pobreza y activos en Bolivia: Qué rol juega el capital social?

Análisis recientes de la pobreza en Bolivia muestran que, a pesar de un ligero descenso en el porcentaje de la población que vive en condiciones de pobreza a lo largo de la última década, el número absoluto de hogares pobres continúa en ascenso (Jiménez y Yañez 1997a y b; Vos et al. 1997; Banco Mundial 1996). El bajo nivel de crecimiento de los ingresos de los hogares más pobres sugiere que los esfuerzos sostenidos por mantener niveles de crecimiento económico moderados e incrementar la eficiencia en la asignación del gasto e inversión pública no han sido suficientes para revertir las condiciones de pobreza crónica que caracterizan al país. Los enfoques analíticos que sostuvieron la aplicación de políticas de crecimiento y redes de protección en la región también se encuentran en un periodo de cuestionamiento y reformulación. Perspectivas que enfatizaban la medición de la pobreza por insuficiencia de ingresos o necesidades básicas (Lipton y van der Gaag 1993; Boltvinik 1992), se encuentran interpelados por modelos alternativos que procuran analizar patrones de causalidad entre pobreza y el acceso a mercados de activos de capital humano, capital físico (público y privado) y capital social (Birdsall y Londoño 1997a y b; Moser 1998; Collier 1998). Este estudio procura contribuir al análisis de la pobreza desde la perspectiva de recursos y activos, y describir los alcances de este enfoque aplicado al caso boliviano.

Evaluating the Influence of Program Type Building Parameters on UBEM: A Case Study for the Residential Stock in Nottingham, UK

In the midst of rising concern about the implications of climate change, the European Union and the United Kingdom appears to be on the verge of establishing policies to reduce greenhouse gas emissions. The urban building energy models could inform energy analyzers and decision makers for the future results that specific comprehensive energy refurbishment strategies and energy supply infrastructure changes might have. Nonetheless, the data challenges that emerge are various. The lack of data availability and reliability, the data computing issue and data privacy are, only, some of the challenges of building energy modelling, which are intensified in urban scale. Therefore, the investigation of the influence of building parameters on the energy demand results is deemed necessary, in order both to understand the minimum data requirements for urban energy modelling, and the impact of them before the design phase for the new constructions. Therefore, this Paper’s intention is to inform stakeholders from energy analysts to data capture companies, about the influential building parameters, as regards to the Program Type, such as the infiltration, the domestic hot water and the ventilation. An UBEM physics-based approach, for the estimation of the annual energy demand, is implemented with the use of Grasshopper software, and the visualization of the results is done with the QGIS software. The case study is in Nottingham city, in UK, and the energy demand for the whole year of the dwelling stock is estimated. Then, a sensitivity analysis for the influence of the Program Type building parameters is presented. The results have shown that the most impactful parameter among the three under-tested is the infiltration (airtightness) of a dwellin

“Estrategias para la cultura de mejora continua En el sistema de gestión del laboratorio de ensayo Colecbi s.a.c.”

El presente trabajo de investigación plantea las estrategias para definir la cultura de mejora continua en el sistema de gestión de COLECBI S.A.C. La tesis se soporta en fundamentos metodológicos de cultura de mejora continua, planteando dimensiones necesarias para dar sostenimiento a la cultura de mejora continua, complementando con definiciones teóricas de conceptualización de competencias y de esta manera, enmarcarlos en la realidad actual del sistema de gestión de COLECBI S.A.C. El esquema metodológico de la tesis fue descriptivo en base a entrevistas y encuestas al personal de COLECBI S.A.C., con el fin de dar operatividad a las variables del estudio. En los resultados obtenidos, se evidenció una línea base de 74.5% respecto a la cultura de mejora continua en el sistema de gestión de COLECBIS.A.C.; identificando que las dimensiones de gestión de riesgos, la gestión estratégica y la gestión humana se deben robustecer para afianzar la sostenibilidad de la cultura de mejora continua. Por lo cual las estrategias, que se plantean como resultado de la tesis, se basan en priorizar las dimensiones de: gestión de procesos, gestión de riesgos y gestión de mejora continua, como pilares del sostenimiento de la cultura y de manera transversal apoyarse en la gestión del conocimiento, la información documentada del sistema de gestión y elevar el nivel de las competencias de los líderes y el personal en general en lo que respecta a dichas competencias

The star formation histories of galaxies in the Sloan Digital Sky Survey

We present the results of a MOPED analysis of ~3 x 10^5 galaxy spectra from the Sloan Digital Sky Survey Data Release Three (SDSS DR3), with a number of improvements in data, modelling and analysis compared with our previous analysis of DR1. The improvements include: modelling the galaxies with theoretical models at a higher spectral resolution of 3\AA; better calibrated data; an extended list of excluded emission lines, and a wider range of dust models. We present new estimates of the cosmic star formation rate, the evolution of stellar mass density and the stellar mass function from the fossil record. In contrast to our earlier work the results show no conclusive peak in the star formation rate out to a redshift around 2 but continue to show conclusive evidence for `downsizing' in the SDSS fossil record. The star formation history is now in good agreement with more traditional instantaneous measures. The galaxy stellar mass function is determined over five decades of mass, and an updated estimate of the current stellar mass density is presented. We also investigate the systematic effects of changes in the stellar population modelling, the spectral resolution, dust modelling, sky lines, spectral resolution and the change of data set. We find that the main changes in the results are due to the improvements in the calibration of the SDSS data, changes in the initial mass function and the theoretical models used.Comment: replaced to match accepted version in MNRA