206 research outputs found
HADAS: tool for analysis and development of sustainable applications
Durante esta Conferencia Internacional, representantes del Gobierno, autoridades locales, instituciones públicas y privadas, vicerrectores de Internacionalización y talento nacional e internacional crearon un ecosistema para fomentar las colaboraciones nacionales e internacionales, asà como la presentación de nuevas ideas para resolver retos que afectan a la sociedad. Se trata de un foro único, donde se presentaron trabajos cientÃficos y se otorgaron premios con el fin de fomentar el rigor y la excelencia cientÃfica.Universidad de Málaga. Campus de Excelencia Internacional AndalucÃa Tech
Implementación de un Sistema de Gestión de Continuidad de Negocio alineado con la ISO 22301 y la ISO 27031
El proyecto que se presenta en este documento tiene como objeto el desarrollo e implementación de un Sistema de Gestión de Continuidad de Negocio (en adelante, SGCN), alineado con los estándares internacionales ISO 22301 e ISO 27031, para la empresa Ozona (https://www.ozonaconsulting.com/).
El proyecto se realiza en el marco de trabajo regido por el convenio de colaboración entre Ozona y USC para la realización de prácticas en empresa y trabajos de fin de grado.
Mediante un SGCN, una organización puede asegurar la disponibilidad de sus procesos de negocio crÃticos ante situaciones de interrupción, asà como implementar medidas preventivas para evitar los efectos negativos que puedan causar dichas situaciones. Por ejemplo: el servicio de virtualización es básico para que la empresa pueda entregar sus servicios a los clientes. Si el servicio de virtualización no está disponible, no habrá entrega de servicios y, por tanto, no se cumplirán los requisitos contractuales con dichos clientes provocando, entre otras, pérdidas económicas, pérdida de la reputación… Será necesario entonces realizar una evaluación de toda la empresa para identificar los servicios con mayor impacto sobre ésta, las amenazas que pueden materializarse y causar interrupciones, y la probabilidad de ocurrencia de éstas; es decir, realizar un proceso de análisis de riesgos, a partir del cual se tomarán las medidas pertinentes para evitar interrupciones y asà asegurar la supervivencia empresarial ante situaciones adversas.
La norma ISO 22301 especifica los requisitos necesarios para el establecimiento, desarrollo, implementación, operación, monitorización y mejora de un SGCN. El estándar ISO 27031, alineado con la ISO 22301, incluye la especificación de las buenas prácticas para alinear las TecnologÃas de la Información y las Comunicaciones (en adelante, TIC) con la continuidad de negocio.
Debido a la relevancia que tienen los servicios de TecnologÃas de la Información (en adelante, TI) en Ozona, y la existencia de un Sistema de Gestión de Seguridad de la Información ya implementado, se tendrán en cuenta, para este proyecto, ambos estándares.
Adicionalmente a estos estándares, también serán utilizadas otras normas ISO alineadas con la continuidad de negocio. En el CapÃtulo 3 de esta memoria, se presentan en detalle todos los estándares utilizados para el desarrollo de este proyecto.Universidade de Santiago de Compostela. Escola Técnica Superior de EnxeñarÃ
Propuesta de aprovechamiento de la paja de arroz en la elaboración de papel en el departamento de Lambayeque
En la presente investigación se realizó el diseño de una planta procesadora de papel a partir de paja de arroz en la región Lambayeque, demostrando que es un proyecto de inversión viable de manera comercial, técnica y económica. Se desarrolló un estudio de mercado, en donde se analizó la viabilidad comercial del proyecto a través del comportamiento de la demanda y oferta del producto, obteniendo una demanda insatisfecha de 2 421 t de papel para el año 2025, de la cual se cubrirá el 48,1%. Mediante el diseño de ingenierÃa se analizó la viabilidad tecnológica, demostrando que la planta cuenta con una capacidad de utilización de 71,25%. Además, se determinó la ubicación, siendo la ciudad electa mediante una matriz de factores ponderados el distrito de Reque. Posteriormente, se diseñó el plano de distribución a través del método Guerchet y el Systematic Layout Planning. Finalmente, se analizó la viabilidad económica – financiera del proyecto, dando como resultado que es proyecto de inversión rentable pues se obtiene un VAN positivo de S/ 46 240,44 y un TIR de 17%, siento este mayor al TMAR Global (15%). Además, el costo – beneficio es de 0,12 soles por cada sol invertido y el periodo de recuperación de la inversión de 1 año con 8 meses y 20 dÃas
Estandarización de procesos para el aumento de la productividad en la empresa de confecciones Lalangue S.A
En la presente investigación se realizó un estudio para el aumento de la productividad en el proceso de fabricación de camisas manga larga (ML) en la empresa LALANGUE a través de la estandarización de procesos. Teniendo como objetivos estandarizar el proceso de confección de camisas ML y aumentar la productividad de la empresa. Para lograrlo, se identificó las actividades que conforman el proceso de confección de la prenda, sus respectivos tiempos y la elaboración de los formatos para el trabajo estándar. Finalmente, se obtuvo como resultado un incremento de 41,67% en la producción y por ende de la productividad de mano de obra en 42,92%
Detecting feature influences to quality attributes in large and partially measured spaces using smart sampling and dynamic learning
Emergent application domains (e.g., Edge Computing/Cloud/B5G systems) are complex to be built manually. They are characterised by high variability and are modelled by large Variability Models (VMs), leading to large configuration spaces. Due to the high number of variants present in such systems, it is challenging to find the best-ranked product regarding particular Quality Attributes (QAs) in a short time.
Moreover, measuring QAs sometimes is not trivial, requiring a lot of time and resources, as is the case of the energy footprint of software systems — the focus of this paper. Hence, we need a mechanism to analyse how features and their interactions influence energy footprint, but without measuring all configurations. While practical, sampling and predictive techniques base their accuracy on uniform spaces or some initial domain knowledge, which are not always possible to achieve. Indeed, analysing
the energy footprint of products in large configuration spaces raises specific requirements that we explore in this work. This paper presents SAVRUS (Smart Analyser of Variability Requirements in Unknown Spaces), an approach for sampling and dynamic statistical learning without relying on initial domain knowledge of large and partially QA-measured spaces. SAVRUS reports the degree to which features and pairwise interactions influence a particular QA, like energy efficiency. We validate and
evaluate SAVRUS with a selection of likewise systems, which define large searching spaces containing scattered measurements.Funding for open access charge: Universidad de Málaga / CBUA.
This work is supported by the European Union’s H2020 re search and innovation programme under grant agreement
DAEMON H2020-101017109, by the projects IRIS PID2021-12281 2OB-I00 (co-financed by FEDER funds), Rhea P18-FR-1081 (MCI/AEI/ FEDER, UE), and LEIA UMA18-FEDERIA-157, and the PRE2019-087496 grant from the Ministerio de Ciencia e Innovación, Spain
Detecting Feature Influences to Quality Attributes in Large and Partially Measured Spaces using Smart Sampling and Dynamic Learning
Publicación Journal First siendo el original:
Munoz, D. J., Pinto, M., & Fuentes, L. (2023). Detecting feature influences to quality attributes in large and partially measured spaces using smart sampling and dynamic learning. Knowledge-Based Systems, 270, 110558.Emergent application domains (e.g., Edge Computing/Cloud /B5G systems) are complex to be built manually. They are characterised by high variability and are modelled by large \textit{Variability Models} (VMs), leading to large configuration spaces. Due to the high number of variants present in such systems, it is challenging to find the best-ranked product regarding particular Quality Attributes (QAs) in a short time. Moreover, measuring QAs sometimes is not trivial, requiring a lot of time and resources, as is the case of the energy footprint of software systems -- the focus of this paper. Hence, we need a mechanism to analyse how features and their interactions influence energy footprint, but without measuring all configurations. While practical, sampling and predictive techniques base their accuracy on uniform spaces or some initial domain knowledge, which are not always possible to achieve. Indeed, analysing the energy footprint of products in large configuration spaces raises specific requirements that we explore in this work. This paper presents SAVRUS (Smart Analyser of Variability Requirements in Unknown Spaces), an approach for sampling and dynamic statistical learning without relying on initial domain knowledge of large and partially QA-measured spaces. SAVRUS reports the degree to which features and pairwise interactions influence a particular QA, like energy efficiency. We validate and evaluate SAVRUS with a selection of likewise systems, which define large searching spaces containing scattered measurements.Trabajo financiado por el programa de I+D H2020 de la UE bajo el acuerdo DAEMON 101017109, por los proyectos también co-financiados por fondos FEDER \emph{IRIS} PID2021-122812OB-I00, y \emph{LEIA} UMA18-FEDERIA-157, y la ayuda PRE2019-087496 del Ministerio de Ciencia e Innovación.
Universidad de Málaga. Campus de Excelencia Internacional AndalucÃa Tech
Extended Variability Models, Algebra, and Arithmetic
Although classic variability models have been traditionally used to specify members of a product-line, their level of expressiveness was quite limited. Several extensions have been proposed, like numerical features, complex cardinalities and feature and configuration attributes. However, modern tools often provide limited support to these extensions. Imposing variability modelling restrictions into general theories enables off-the-self automated reasoners to analyse extended variability models. While one could argue that those general theories are less reasoning efficient, in practice happen the same if we extend traditional solvers. In contrast, general theories provide new properties with the potential to a) improve reasoning efficiency above extending traditional solvers, and b) provide exotic analyses that uncover new properties of the variability models and feature and configuration spaces. Examples of this could be the functions commutativity property, (reasoning) functors composition, and the fundamental theorem of calculus applied to feature or configuration space.Universidad de Málaga. Campus de Excelencia Internacional AndalucÃa Tech
Defining Categorical Reasoning of Numerical Feature Models with Feature-Wise and Variant-Wise Quality Attributes
Automatic analysis of variability is an important stage of Software Product Line (SPL) engineering. Incorporating quality information into this stage poses a significant challenge. However, quality-aware automated analysis tools are rare, mainly because in existing solutions variability and quality information are not unified under the same model.
In this paper, we make use of the Quality Variability Model (QVM), based on Category Theory (CT), to redefine reasoning operations. We start defining and composing the six most commonoperations in SPL, but now as quality-based queries, which tend to be unavailable in other approaches. Consequently, QVM supports interactions between variant-wise and feature-wise quality attributes. As a proof of concept,we present, implement and execute the operations as lambda reasoning for CQL IDE – the state-of-theart CT tool.Munoz, Pinto and Fuentes work is supported by the European Union’s H2020 research and innovation programme under grant
agreement DAEMON 101017109, by the projects co-financed by FEDER funds LEIA UMA18-FEDERJA-15, MEDEA RTI2018-099213-B-I00 and Rhea P18-FR-1081 and the PRE2019-087496 grant from the Ministerio de Ciencia e Innovación
Transforming numerical feature models into propositional formulas and the universal variability language
Real-world Software Product Lines (SPLs) need Numerical Feature Models (NFMs) whose features have not only boolean values that satisfy boolean constraints but also have numeric attributes that satisfy arithmetic constraints. An essential operation on NFMs finds near-optimal performing products, which requires counting the number of SPL products. Typical constraint satisfaction solvers perform poorly on counting and sampling.
Nemo (Numbers, features, models) is a tool that supports NFMs by bit-blasting, the technique that encodes arithmetic expressions as boolean clauses. The newest version, Nemo2, translates NFMs to propositional formulas and the Universal Variability Language (UVL). By doing so, products can be counted efficiently by #SAT and Binary Decision Tree solvers, enabling finding near-optimal products.
This article evaluates Nemo2 with a large set of synthetic and colossal real-world NFMs, including complex arithmetic constraints and counting and sampling experiments. We empirically demonstrate the viability of Nemo2 when counting and sampling large and complex SPLs.Munoz, Pinto and Fuentes work is supported by the European Union’s H2020 research and innovation programme under grant
agreement DAEMON 101017109, by the projects co-financed by FEDER, Spain funds LEIA UMA18-FEDERJA-15, IRIS PID2021-
122812OB-I00 (MCI/AEI), and the PRE2019-087496 grant from the Ministerio de Ciencia e Innovación.
Funding for open access charge: Universidad de Málaga / CBUA
Batallar: Estudio léxico diacrónico para su inclusión en el diccionario de el habla de Monterrey
Esta investigación se encuadra en el marco de los trabajos iniciales encaminados a la construcción de un diccionario de uso basado en habla oral, y sirve como continuación a numerosas investigaciones de análisis del discurso realizadas durante más de 20 años desde el inicio, en enero de 1985, de la investigación El habla de Monterrey, que cuenta con cuatro corpus recogidos entre 1985-1986 y 2006-2010. Esta riqueza de datos permite el análisis diacrónico del uso de los vocablos y de los sentidos que los hablantes les otorgan en el contexto de las entrevistas sociolingüÃsticas. El objetivo general de esta ponencia es la descripción del uso del término "batallar" por parte de los hablantes, asà como el registro de sus derivados tanto en frases como estar batallando y andar batallando, como en la forma adjetivada del verbo, batalloso, cuyo uso desaparece entre los hablantes del segundo periodo de recolección. Se parte de la idea de que los hablantes utilizan este verbo como una metáfora de la lucha que se emprende cotidianamente, y de la cual se pretende dar cuenta en el discurso en situaciones como la búsqueda de empleo o la crianza de los hijos.
ABSTRACT
This research is part of the initial work aimed at the construction of a dictionary of use based on oral speech, and serves as a continuation of numerous investigations of discourse analysis conducted for over 20 years from the start, in January 1985 , of the research El habla de Monterrey, which has four corpus collected between 1985-1986 and 2006-2010. This richness of data allows the diachronic analysis of the use of words and senses that speakers give them in the context of sociolinguistic interviews. The overall objective of this paper is to describe the use of the term "batallar" by the speakers and recording their derivatives both in phrases like estar batallando and andar batallando, as in the adjectival form of the verb, batalloso, whose use goes among speakers of the second collection period. Starting from the idea that speakers use this verb as a metaphor for the struggle that is undertaken daily, and which seeks to explain the speech in situations like job hunting or parentin
- …