Green Security Plugin for Pervasive Computing using the HADAS toolkit

Energy is a critical resource in pervasive computing devices. However, information about energy consumption is not directly accessible through software development environments, making it difficult to reuse the knowledge provided by existing energy-consumption experimental studies. To address this limitation, this paper presents a solution to enrich Android Studio with energy consumption information. We have developed a Green Security Plugin that provides energy-aware information to developers that make use of Android Security API. This plugin has been developed taking advantage of the functionalities provided by the HADAS toolkit. HADAS is a repository of energy consuming concerns in which researchers can store the energy measures obtained during their experimental studies and developers can perform a sustainability analysis to make green design/implementation decisions.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tec

HADAS: Asistente de eco-eficiencia con repositorio de consumo energético

El interés por la Ingeniería del Software "verde", o sea, sensible al consumo de energía, es relativamente reciente. Su objetivo es concienciar a los desarrolladores de software de la influencia que tienen sus decisiones de diseño e implementación en el gasto energético del producto final. Hasta el momento se han publicado muchos resultados experimentales que comparan el consumo de energía de varias soluciones alternativas, y que demuestran que se puede reducir dicho consumo hasta en un 70 %. Aunque estos resultados sean de libre disposición, no es sencillo que un desarrollador aplique este conocimiento a sus aplicaciones. En consecuencia, en este artículo presentamos el eco-asistente HADAS cuya utilidad es: (i) los investigadores almacenarán sus resultados en un repositorio de libre disposición; (ii) los desarrolladores podrán razonar y obtener las configuraciones que menos energía consuman y que satisfaga sus requisitos. Nos centraremos en mostrar los elementos principales de nuestra propuesta y como se aplica a casos de estudio reales.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Proyectos MAGIC P12-TIC1814 y HADAS TIN2015-64841-

Diseño e implementación de metodología lean manufacturing para la mejora en el mantenimiento preventivo en una flota de camiones CAT 794 AC en una empresa contratista minera, Arequipa 2020

Lean Manufacturing es un proceso continuo y sistemático para identificar y eliminar desperdicios o excedentes, entendiendo como excedente, todas las actividades que no crean valor en un proceso, sino costos y trabajo. Dicho proceso descubre continuamente oportunidades de mejora y se basa en la comunicación y trabajo en equipo. La investigación se da en una empresa del rubro minero, donde se ha observado que el proceso de mantenimiento suele exceder en tiempo, lo que se refleja en costos excedentes de mano de obra e incluso en costo de materiales. La presente investigación posee como objetivo principal diseñar e implementar la metodología lean manufacturing para mejorar el mantenimiento preventivo en una flota de camiones CAT 794 AC en una empresa contratista minera. La investigación es de tipo aplicativo, pues busca emplear los conocimientos adquiridos en la rama de Ingeniería Industrial; además, la investigación se realizó bajo un diseño no-experimental, es decir, no se interviene o manipula las variables tanto independiente como dependiente, sino que se observa su comportamiento durante el desarrollo de los procesos. Finalmente se tuvo como conclusiones que los tiempos medios de falla de la maquinaria en estudio, se ven disminuidos, gracias a la aplicación de las herramientas lean, a través de la reducción de tiempos (SMED), además se concluye que el proyecto es económicamente viable, pues se tiene un VAN S/. 1,260,428.59, lo que resulta beneficioso para la empresa minera. Por otro lado, se recomienda a la empresa minera aplicar el presente estudio en las otras flotas bajo su jurisdicción para mejorar la realización del mantenimiento preventivo programado

CONSTITUCIONALISMO E INTERNACIONALISMO NOS MARCOS DA REGENERAÇÃO DEMOCRÁTICA: ESTRATÉGIAS JURÍDICAS PARA A EFETIVIDADE DO DIREITO À VERDADE, À MEMÓRIA E À REPARAÇÃO

O presente artigo, com fundamento na interação dos movimentos Constitucionalista e Internacionalista, procura estabelecer as bases teóricas para apurar e determinar as responsabilidades de agentes estatais durante o período histórico de vigência dos Estados de fato, não-Direito ou de exceção. Por contraposição a um Estado formal de Direito, e partindo de transfundo pós-positivista que nega o reconhecimento jurídico a fórmulas preconcebidas nos regimes de exceção, sob o argumento de que o Direito é uma construção coletiva pautada pela força normativa das constituições, da legalidade e da justicialidade, o artigo sustenta a necessidade de criar um conjunto de estratégias jurídicas e políticas para a recomposição do tecido das sociedades que confrontaram gravíssimas violações aos direitos humanos no passado recente, orientadas pelo reconhecimento da dignidade humana e o direito à memória, à verdade e à reparação

Uniform Random Sampling Product Configurations of Feature Models That Have Numerical Features

Analyses of Software Product Lines (SPLs) rely on automated solvers to navigate complex dependencies among features and find legal configurations. Often these analyses do not support numerical features with constraints because propositional formulas use only Boolean variables. Some automated solvers can represent numerical features natively, but are limited in their ability to count and Uniform Random Sample (URS) conigurations, which are key operations to derive unbiased statistics on configuration spaces. Bit-blasting is a technique to encode numerical constraints as propositional formulas. We use bit-blasting to encode Boolean and numerical constraints so that we can exploit existing #SAT solvers to count and URS conigurations. Compared to state-of-art Satisfiability Modulo Theory and Constraint Programming solvers, our approach has two advantages: 1) faster and more scalable coniguration counting and 2) reliable URS of SPL configurations. We also show that our work can be used to extend prior SAT-based SPL analyses to support numerical features and constraints.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

El control interno de inventarios y su efecto en la rentabilidad de la empresa Restaurant Rincon Chami S. R. L. una revisión sistemática

El presente trabajo de investigación tiene como objeto determinar el efecto que puede tener el control de los inventarios en la rentabilidad de una empresa, desarrollando y aplicando una revisión sistemática para su estudio. Se realizó la búsqueda a través de las palabras claves y criterios de acuerdo al tema de estudio, dentro de las principales fuentes como: Redalyc, Scielo, Google académico, entre otros, teniendo en cuenta la antigüedad de la información obtenida, tomando como referencia información de los últimos 14 años, priorizando los datos más recientes para su aplicación. Una de las fuentes de información en relación al tema de estudio, se da por el análisis de los distintos documentos encontrados, que demostrarían los puntos sensibles que afectan la rentabilidad de la organización, ya que, en muchas situaciones al no contar con un sistema de información producente, no se encuentra relación de los inventarios físicos con los reportes que la empresa posee, con lo que se busca obtener un impacto favorable. Por otro lado, de la recolección de información obtenida, se detalla las tablas de referencia acorde a las variables correspondientes, resaltando los datos más significativos, tendencias y recomendaciones en la búsqueda de la información. Asimismo, se llegó a la conclusión que el implementar un control interno o modelos de inventarios tiene efectos positivos en las empresas, no solo en qué tan rentable o no lleguen a ser, sino también contribuye al funcionamiento y operatividad de las mismas

Finding correlations of features affecting energy consumption and performance of web servers using the HADAS eco-assistant

The impact of energy consumption on the environment and the economy is raising awareness of “green” software engineering. HADAS is an eco-assistant that makes developers aware of the influence of their designs and implementations on the energy consumption and performance of the final product. In this paper, we extend HADAS to better support the requirements of users: researchers, automatically dumping the energy-consumption of different software solutions; and developers, who want to perform a sustainability analysis of different software solutions. This analysis has been extended by adding Pearson’s chi-squared differentials and Bootstrapping statistics, to automatically check the significance of correlations of the energy consumption, or the execution time, with any other variable (e.g., the number of users) that can influence the selection of a particular eco-efficient configuration. We have evaluated our approach by performing a sustainability analysis of the most common web servers (i.e. PHP servers) using the time and energy data measured with the Watts Up? Pro tool previously dumped in HADAS. We show how HADAS helps web server providers to make a trade-off between energy consumption and execution time, allowing them to sell different server configurations with different costs without modifying the hardware.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Modelamiento hidráulico y propuesta de defensa ribereña en la Cuenca del Río Caplina Sector Río Seco distrito CGAL – Tacna 2021

Debido al crecimiento poblacional, es habitual encontrar zonas urbanas cercana a ríos. Los desbordes y fallas que ocurren en los ríos generan pérdidas económicas importantes cada año. El distrito de Coronel Gregorio Albarracín, el sector denominado Rio Seco es un punto importante de preocupación, ya que las viviendas se construidas cerca a este rio se encuentran a una distancia promedio de 30 metros, el muro de retención en voladizo en Río Seco construido en año 2010, colapso en un 80% en enero del 2012 cuando ingresaron 18 m3 de agua, esto crea la necesidad de dar una propuesta de defensa ribereña adecuada en el sector. Por lo que la investigación tuvo como objetivo general efectuar el modelamiento hidráulico para dar una propuesta de defensa ribereña en la cuenca Caplina Sector de Rio seco, esto fue posible por el estudio hidrológico e hidráulico, que permitió realizar el diseño de geo-sintéticos y geo-textiles aplicados a la defensa ribereña. Según las hipótesis el modelamiento hidráulico, determinará los parámetros para dar una propuesta de defensa ribereñas. Se utiliza la metodología SIG, el software ArcGIS, determina el área de influencia hidrológica, parámetros geomorfológicos y características de drenaje. Se usó información de precipitaciones de 4 estaciones meteorológicas dentro de la cuenca del Caplina, se realiza la ley distribución y procesos hidrológicos en cada una de las estaciones antes mencionada, así realizar la prueba de bondad de ajuste de Smirnov-Kolgomorov, con el software HIDROESTA 2, con el software HEC HMS se determina el Q diseño igual a 85,3m3/s para un Tr= 140 años, con el software IBER se obtienen parámetros hidráulicos como tirante máximo de 6.10m. y una velocidad de flujo de 5.85m/s, se realizó un el levantamiento topográfico con dron PHANTOM 4 y estudios de mecánica de suelos, para posteriormente diseñar defensas ribereñas con el uso de geo-celdas (polietileno de alta densidad) GW40V3TP con relleno de concreto f´c210kg/cm2 y geo-textil para la estabilización del talud uso de geo-malla tipo 55GG poliéster de alta tenacidad

Campaña de lanzamiento avena instántanea "Kallpavena"

El presente documento tiene como finalidad desarrollar una campaña de comunicación integral para el lanzamiento de una marca de avena instantánea enriquecida con kiwicha y quinua, dos cereales peruanos. Este producto le proporciona al consumidor un gran poder alimenticio sin preservantes ni saborizantes ni azúcar; asimismo le ofrece practicidad por su modo de preparación y empaque. De este modo se busca generar conocimiento y recordación en el público objetivo. Para realizar el planteamiento tanto de la estrategia creativa como la de medios, se realizó una investigación bibliográfica y encuestas a nuestro público objetivo; así como entrevistas a profundidad a expertos en el rubro y una reunión virtual con un Director de cuentas que maneja una marca de alimentos. Analizando los resultados obtenidos, se estructuró el proyecto y se aterrizó el concepto de campaña y la propuesta de medios. Las piezas de comunicación desarrolladas están orientadas a los diferentes estilos de vida de nuestros consumidores y, de igual manera, a mostrarles cómo nuestro producto satisface sus necesidades para lograr así ser una opción al momento de su compra

Versican accumulation drives Nos2 induction and aortic disease in Marfan syndrome via Akt activation

Aortic aneurysm; Marfan syndrome; VersicanAneurisma aòrtic; Síndrome de Marfan; VersicanAneurisma aortico; Síndrome de Marfan; VersicanThoracic aortic aneurysm and dissection (TAAD) is a life-threatening condition associated with Marfan syndrome (MFS), a disease caused by fibrillin-1 gene mutations. While various conditions causing TAAD exhibit aortic accumulation of the proteoglycans versican (Vcan) and aggrecan (Acan), it is unclear whether these ECM proteins are involved in aortic disease. Here, we find that Vcan, but not Acan, accumulated in Fbn1C1041G/+ aortas, a mouse model of MFS. Vcan haploinsufficiency protected MFS mice against aortic dilation, and its silencing reverted aortic disease by reducing Nos2 protein expression. Our results suggest that Acan is not an essential contributor to MFS aortopathy. We further demonstrate that Vcan triggers Akt activation and that pharmacological Akt pathway inhibition rapidly regresses aortic dilation and Nos2 expression in MFS mice. Analysis of aortic tissue from MFS human patients revealed accumulation of VCAN and elevated pAKT-S473 staining. Together, these findings reveal that Vcan plays a causative role in MFS aortic disease in vivo by inducing Nos2 via Akt activation and identify Akt signaling pathway components as candidate therapeutic targets.The CNIC is supported by the Instituto de Salud Carlos III (ISCIII), the Ministerio de Ciencia e Innovación (MCIN) and the Pro CNIC Foundation), the CBMSO is supported by Consejo Superior de Investigaciones Científicas and Universidad Autónoma de Madrid. CBMSO and CNIC are Severo Ochoa Centers of Excellence (grants CEX2021-001154-S and CEX2020-001041-S, respectively) funded by MICIN/AEI/10.13039/501100011033. The project leading to these results has received funding from “La Caixa” Banking Foundation under project codes HR18-00068 (to MRC and JMR); Spanish Ministerio de Ciencia e Innovación grant RTI2018-099246-B-I00 (MICIU/AEI/FEDER, UE) to JMR, and grants PID2020-115217RB-100 and PID2021-122388OB-100 to MRC and JMR, respectively, funded by MCIN/AEI/10.13039/501100011033; Instituto de Salud Carlos III (CIBER-CV CB16/11/00264 and CB16/11/00479; and grants PI17/00381 to GT-T and PI21/00084 (co-funded by Fondo Europeo de Desarrollo Regional (FEDER)) to JFN); Fundacio La Marato TV3 (20151330 to JMR); Instituto de Investigación Sanitaria Marqués de Valdecilla (IDIVAL) (INNVAL 21/24) to JFN; The Marfan Foundation USA Faculty grant 2017 MRF/1701 (to JMR); Fundación MERCK-Fundación Española de Enfermedades Raras 2022 and V-Ayudas “Muévete por los que no pueden 2021” (to JO); and Spanish Ministerio de Ciencia e Innovación contracts FPI (BES-2016-077649) to MJR-R; Sara Borrell (CD18/00028) and Juan de la Cierva (IJC2020-044581-I) to MT; Ramón y Cajal (RYC2021-033343-I) to JO; and FPU (20/04814) to IA-R