Model Based Development of Quality-Aware Software Services

Modelling languages and development frameworks give support for functional and structural description of software architectures. But quality-aware applications require languages which allow expressing QoS as a first-class concept during architecture design and service composition, and to extend existing tools and infrastructures adding support for modelling, evaluating, managing and monitoring QoS aspects. In addition to its functional behaviour and internal structure, the developer of each service must consider the fulfilment of its quality requirements. If the service is flexible, the output quality depends both on input quality and available resources (e.g., amounts of CPU execution time and memory). From the software engineering point of view, modelling of quality-aware requirements and architectures require modelling support for the description of quality concepts, support for the analysis of quality properties (e.g. model checking and consistencies of quality constraints, assembly of quality), tool support for the transition from quality requirements to quality-aware architectures, and from quality-aware architecture to service run-time infrastructures. Quality management in run-time service infrastructures must give support for handling quality concepts dynamically. QoS-aware modeling frameworks and QoS-aware runtime management infrastructures require a common evolution to get their integration

"Il popolo" en la obra de Maquiavelo. Entre la eversión de la nobleza y el tumulto de la plebe.

Machiavelli alerted the ruler about the necessity of avoiding by any means the hate of the people. Because of this, the implicit consent of the governed would become his most effective defense. He concluded that through examples that showed the necessity of the people’s intervention in public affairs. Accepting this, the lack of systematization in his analysis force us to deepen about the terms he used to define every social stratum. This is the only way to determinate with precision who could be consider as a part of this popolo that he insistently appeal.Maquiavelo alertó al gobernante en torno a la necesidad de evitar, por todos los medios posibles, el odio por parte de los gobernados. De ese modo, el implícito consentimiento de los gobernados se convertiría en la más eficaz de sus defensas. Extrajo está conclusión a través de ejemplos que daban cuenta de la necesidad de que el pueblo interviniese en los asuntos públicos. Siendo así, la falta de sistematización en su análisis nos exige que profundicemos en torno a los términos que usó para definir cada estrato social, considerando ésta como la única forma de determinar con precisión quiénes formaban parte de ese popolo al que tan insistentemente apeló

PI-based controller for low-power distributed inverters to maximise reactive current injection while avoiding over voltage during voltage sags

This paper is a postprint of a paper submitted to and accepted for publication in IET Power Electronics and is subject to Institution of Engineering and Technology Copyright. The copy of record is available at the IET Digital Library.In the recently deregulated power system scenario, the growing number of distributed generation sources should be considered as an opportunity to improve stability and power quality along the grid. To make progress in this direction, this work proposes a reactive current injection control scheme for distributed inverters under voltage sags. During the sag, the inverter injects, at least, the minimum amount of reactive current required by the grid code. The flexible reactive power injection ensures that one phase current is maintained at its maximum rated value, providing maximum support to the most faulted phase voltage. In addition, active power curtailment occurs only to satisfy the grid code reactive current requirements. As well as, a voltage control loop is implemented to avoid overvoltage in non-faulty phases, which otherwise would probably occur due to the injection of reactive current into an inductive grid. The controller is proposed for low-power rating distributed inverters where conventional voltage support provided by large power plants is not available. The implementation of the controller provides a low computational burden because conventional PI-based control loops may apply. Selected experimental results are reported in order to validate the effectiveness of the proposed control scheme.Peer ReviewedPostprint (updated version

An Empirical Study of Real-World SPARQL Queries

Understanding how users tailor their SPARQL queries is crucial when designing query evaluation engines or fine-tuning RDF stores with performance in mind. In this paper we analyze 3 million real-world SPARQL queries extracted from logs of the DBPedia and SWDF public endpoints. We aim at finding which are the most used language elements both from syntactical and structural perspectives, paying special attention to triple patterns and joins, since they are indeed some of the most expensive SPARQL operations at evaluation phase. We have determined that most of the queries are simple and include few triple patterns and joins, being Subject-Subject, Subject-Object and Object-Object the most common join types. The graph patterns are usually star-shaped and despite triple pattern chains exist, they are generally short.Comment: 1st International Workshop on Usage Analysis and the Web of Data (USEWOD2011) in the 20th International World Wide Web Conference (WWW2011), Hyderabad, India, March 28th, 201

Scalar form factors of semi-leptonic D→π/KˉD\to\pi/ \bar{K} transitions with coupled-channel effects

Coupled-channel effects are taken into account for the study of scalar form factors in semi-leptonic $D\to\pi\bar{\ell}\nu_\ell$ and $D\to \bar{K}\bar{\ell}\nu_\ell$ decays, by solving the Muskhelishvili-Omn\`es integral equations. As inputs, we employ the unitarized amplitudes taken from chiral effective theory for the region not far away from thresholds, while, at higher energies of the Goldstone bosons, proper asymptotic conditions are employed. Within Muskhelishvili-Omn\`es formalism, the scalar form factors are represented in terms of Omn\`es matrix multiplied by a vector of polynomials. We reduce the number of subtraction constants by matching to the scalar form factors derived in chiral perturbation theory up to next-to-leading order. The recent lattice QCD data by ETM collaboration for ${D\to\pi}$ and ${D\to\bar{K}}$ scalar form factors are simultaneously well described. The scalar form factors for $D\to\eta$, $D_s\to \bar{K}$ and $D_s\to \eta$ transitions are predicted in their whole kinematical regions. Using our fitting parameters, we also extract the following Cabibbo-Kobayashi-Maskawa elements: $|V_{cd}|=0.243(_{-12}^{+11})_{\rm sta.}({3})_{\rm sys.}(3)_{\rm exp.}$ and $|V_{cs}|=0.950(_{-40}^{+39})_{\rm sta.}(1)_{\rm sys.}(7)_{\rm exp.}$. The approach used in this work can be straightforwardly extended to the semileptonic $B$ decays.Comment: 7 pages, 3 figures, 3 tables. XVII International Conference on Hadron Spectroscopy and Structure - Hadron2017, University of Salamanca, Salamanca, Spai

Upper bound solutions of ring compression test

El presente trabajo aborda una particularización del proceso de forja, estudiando la deformación de un anillo. El conformado plástico se realiza mediante el empleo del Teorema del Límite Superior y siguiendo el modelo de Bloques Rígidos Triangulares para calcular la carga mínima necesaria para deformar plásticamente la pieza. Se establece la pieza a deformar como un anillo de geometría determinada por el denominado Ensayo de Compresión de Anillo (Ring Compression Test) bajo su configuración canónica, justificándose asimilar el proceso a uno de deformación plana. Se plantea desde una nueva perspectiva el estudio del radio neutro (radio a partir del cual el material de la pieza fluye en sentidos contrarios), elemento clave en la solución del problema.Universidad de Málaga, C.E.I. Andalucía Tec

A comparative study of image processing thresholding algorithms on residual oxide scale detection in stainless steel production lines

The present work is intended for residual oxide scale detection and classification through the application of image processing techniques. This is a defect that can remain in the surface of stainless steel coils after an incomplete pickling process in a production line. From a previous detailed study over reflectance of residual oxide defect, we present a comparative study of algorithms for image segmentation based on thresholding methods. In particular, two computational models based on multi-linear regression and neural networks will be proposed. A system based on conventional area camera with a special lighting was installed and fully integrated in an annealing and pickling line for model testing purposes. Finally, model approaches will be compared and evaluated their performance..Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Una actuación de la junta general de Vergara de 1404

Se presenta un documento inserto en otro fechado en Mondragón en 1523 que es una exención del pago de repartimientos con destino a costas de la Hermandad de villas y lugares de Gipuzkoa. Parece ser que en 1404 se les concedió la exención pero en 1523 no les fue respetada la misma, por lo que el entonces señor acudió a la Junta para que le reconocieran la exención. Parece extraño que una familia poderosa intentara exonerarse de un servicio militar que entonces todos prestaban con orgull