UPCommons - E-prints UPC Universitat Politècnica de Catalunya
E-prints UPC cobreix dues finalitats: per una banda, és el dipòsit institucional de la UPC que recull els articles de revista, les comunicacions de congrés i els reports de recerca generats en les activitats de recerca del personal docent i investigador de la universitat; per l'altra, és una eina que permet accelerar la producció científica, allotjant versions de documents prèvies a la publicació en una revista o a les actes d’un congrés.
Reports de recerca
Mostrando recursos 1 - 20 de 33
Specialization in i* strategic rationale diagrams - López Cuesta, Lidia; Franch Gutiérrez, Javier; Marco Gómez, Jordi
The specialization relationship is offered by the i* modeling language through the is-a construct defined over actors (a subactor is-a superactor). Although the overall meaning of this construct is highly intuitive, its semantics of strategic rationale (SR) diagrams is not defined. In this report we provide a formal definition of the specialization relationship at the level of i* SR diagrams. We root our proposal over existing work in conceptual modeling in general, and object-orientation in particular. Also, we use the results of a survey conducted in the i* community that provides some hints about what i* modelers expect from specialization....
Non-functional requirements in software architecture practice - Ameller, David; Ayala Martínez, Claudia Patricia; Cabot Sagrera, Jordi; Franch Gutiérrez, Javier
Dealing with non-functional requirements (NFRs) has posed a challenge onto software engineers for many years. Over the years, many methods and techniques have been proposed to improve their elicitation, documentation, and validation. Knowing more about the state of the practice on these topics may benefit both practitioners’ and researchers’ daily work. A few empirical studies have been conducted in the past, but none under the perspective of software architects, in spite of the great influence that NFRs have on daily architects’ practices. This paper presents some of the findings of an empirical study based on 13 interviews with software architects....
Unsupervised ensemble minority clustering - González Pellicer, Edgar; Turmo Borras, Jorge
Cluster a alysis lies at the core of most unsupervised learning tasks. However, the majority of clustering algorithms depend on the all-in assumption, in which all objects belong to some cluster, and perform poorly on minority clustering tasks, in which a small fraction of signal data stands against a majority of noise.
The approaches proposed so far for minority clustering are supervised: they require the
number and distribution of the foreground and background clusters. In supervised learning and all-in clustering, combination methods have been successfully applied to obtain distribution-free learners, even from the output of weak individual algorithms.
In this report, we present...
WeSSQoS: a configurable SOA system for quality-aware web service selection - Cabrera Bejar, Oscar; Oriol Hilari, Marc; Franch Gutiérrez, Javier; López Cuesta, Lidia; Marco Gómez, Jordi; Fragoso, Olivia; Santaolaya, René
Web Services (WS) have become one the most used technologies nowadays in software systems. Among the challenges when integrating WS in a given system, requirements-driven selection occupies a prominent place. A comprehensive selection process needs to check compliance of Non-Functional Requirements (NFR), which can be assessed by analysing WS Quality of Service (QoS). In this paper, we describe the
WeSSQoS system that aims at ranking available WS based on the comparison of their QoS and the stated NFRs. WeSSQoS is
designed as an open service-oriented architecture that hosts a configurable portfolio of normalization and ranking
algorithms that can be selected by the engineer...
Frequent sets, sequences and taxonomies: new efficient algorithmic proposals - Baixeries i Juvillà, Jaume; Casas Garriga, Gemma; Balcázar Navarro, José Luis
We describe efficient algorithmic proposals to approach three fundamental problems in data mining: association rules, episodes in sequences, and generalized association rules over hierarchical taxonomies. The association rule discovery problem aims at identifying frequent itemsets in a database and then forming conditional implication rules among them. For this association task, we will introduce a new algorithmic proposal to reduce substantially the number of processed transactions. The resulting algorithm, called Ready-and-Go, is used to discover frequent sets efficiently. Then, for the discovery of patterns in sequences of events in ordered collections of data, we propose to apply the appropiate variant of...
Word sense ranking based on semantic similarity and graph entropy - Sousa Lopes, João; Álvarez Napagao, Sergio; Vázquez Salceda, Javier
In this paper we propose a system for the recommendation of tagged pictures obtained from the Web. The system, driven by user feedback, executes an abductive reasoning (based on WordNet synset semantic relations) that is able to iteratively lead to new concepts which progressively represent the cognitive creative user state. Furthermore we design a selection mechanism to pick the most relevant abductive inferences by mixing a topological graph analysis together with a semantic similitude measure.
USE: a multi-agent user-driven recommendation system for semantic knowledge extraction - Lopes, João Sousa; Álvarez Napagao, Sergio; Confalonieri, Roberto; Vázquez Salceda, Javier
Semiotics is a field where research on Computer Science methodologies has focused, mainly concerning Syntax and Semantics. These methodologies, however, are lacking of some flexibility for the continuously evolving web community, in which the knowledge is classified with tags rather than with ontologies. In this paper we propose a multi-agent system for the recommendation of tagged pictures obtained from mainstream Web applications. The agents in this system execute a hybrid reasoning based on WordNet and Markov chains that is able, driven by user feedback, to iteratively disambiguate the semantics of the picture tags and thus to generate knowledge from the,...
Reasoning about abductive inferences in BDI agents - Lopes, João Sousa; Álvarez Napagao, Sergio; Reis, Susana; Vázquez Salceda, Javier
The capability of a computational system to deal with unexpected, changing situations and limited perception of the environment is becoming more a more relevant, in oder to make systems flexible and more reliable. Multi-agent Systems offer a computing paradigm where properties such as autonomy, adaptability or flexibility are basic in the construction of agent-based solutions. However most of current implementations are not flexible enough to cope with important changes in the environment or information loss. In this paper we propose to introduce abductive reasoning mechanisms in BDI agents and show how such agents are able to operate with partial models...
Metamodelo de la especificación OSID versión 2 de OKI - Rius Gavídia, M. Ángeles; Conesa Caralt, Jordi; García Barriocanal, M. Elena
En las últimas décadas dentro del ámbito del e-Learning, la investigación acerca de especificaciones y estándares relacionados con contenidos digitales ha evolucionado notablemente. Aunque se han multiplicado el número de plataformas de sistemas de aprendizaje, las especificaciones y estándares relacionados con procesos para entornos educativos no han tenido la misma suerte.
La especificación Open Service Interface Definition (OSI) de Open Knowledge Initiative (OKI) propone un conjunto de interfaces de servicios web dirigidos a entornos de enseñanza superior con el objetivo de conseguir interoperabilidad entre aplicaciones. Sin embargo esta especificación no ha sido demasiado utilizada, posiblemente por falta de un mapa conceptual...
Aprendizaje y asistencia virtual en red - Fuentes Fort, Maria; González Bermúdez, Meritxell; Guardiola Garcia, Marta; Jofre Roca, Lluís; Romeu Robert, Jordi; Vallverdú Bayés, Francesc
Favorecer el uso de las Tecnologías de Información y la Comunicación (TIC) en entornos educativos puede abarcar varios aspectos del proceso de aprendizaje. La incorporación de TICs en las aulas contribuye, por un lado a reducir la brecha digital tanto de profesores como alumnos y por el otro, debiera ayudar a mejorar la metodología educativa. Sin duda las TICs pueden ser de gran ayuda para llegar a alcanzar los objetivos pedagógicos.
En concreto, este estudio tenía por objetivo analizar la manera de incorporar tecnologías de la voz y el procesamiento del lenguaje natural para mejorar el proceso de aprendizaje de la...
On the proper intervalization of colored caterpillar trees - Álvarez Faura, M. del Carme; Serna Iglesias, María José
This paper studies the computational complexity of the Proper interval colored graph problem (picg), when the input graph is a colored caterpillar, parameterized by hair length. In order prove our result we establish a close relationship between the picg and a graph layout problem the Proper colored layout problem (pclp). We show a dichotomy: the picg and the pclp are NP-complete for colored caterpillars of hair length ≥ 2, while both problems are in P for colored caterpillars of hair length < 2. For the hardness results we provide a reduction from the Multiprocessor Scheduling problem, while the polynomial time...
Sensor field: a computational model - Álvarez Faura, M. del Carme; Duch Brown, Amalia; Gabarró Vallès, Joaquim; Serna Iglesias, María José
We introduce a formal model of computation for networks of tiny artifacts, the static synchronous sensor field model (SSSF) which
considers that the devices communicate through a fixed communication graph and interact with the environment through input/output data streams. We analyze the performance of SSSFs solving two sensing problems the Average Monitoring and the Alerting problems. For constant memory SSSFs we show that the set of recognized languages is contained in DSPACE(n+m) where n is the number of nodes of the communication graph and m its number of edges. Finally we explore the capabilities of SSSFs having sensing and additional non-sensing...
Detecció de fallades en un sistema de piles de combustible - Escobet Canal, Antoni; Nebot Castells, M. Àngela
In this work a fault diagnosis system for non-linear plants based on fuzzy logic, called VisualBlock-FIR, is presented and applied to an energy generation system based on fuel cells. VisualBlock-FIR runs under the Simulink framework and enables early fault detection and identification. During fault detection, the fault diagnosis system should recognize that the system is not working properly. During fault identification, it should conclude which type of failure has occurred. The diagnosis results for some of the most frequent faults in fuel cell systems are presented.
Quick learning of cause-effects relevant for robot action - Agostini, Alejandro Gabriel; Wörgötter, Florentin; Torras, Carme
In this work we propose a new paradigm for the rapid learning of cause-effect relations relevant for task execution. Learning occurs automatically from action experiences by means of a novel constructive learning approach designed for applications where there is no previous knowledge of the task or world model, examples are provided on-line during run time, and the number of examples is small compared to the number of incoming experiences. These limitations pose obstacles for the existing constructive
learning methods, where on-line learning is either not considered, a significant amount of prior knowledge has to be provided, or a large number of...
An integer linear programming representation for data-center power-aware management - Berral García, Josep Lluís; Gavaldà Mestre, Ricard; Torres Viñals, Jordi
This work exposes how to represent a grid data-center based scheduling problem, taking the advantages of the virtualization and consolidation techniques, as a linear integer programming problem including all three mentioned factors. Although being integer linear programming (ILP) a computationally hard problem, specifying correctly its constraints and optimization function can contribute to find integer optimal solutions in relative short time. So ILP solutions can help designers and system managers not only to apply them to schedulers but also to create new heuristics and holistic functions that approximate well to the optimal solutions in a quicker way.
A topological comparison of surface extraction algorithms - Andújar Gran, Carlos Antonio; Brunet Crosa, Pere; Fairén González, Marta; Navazo Álvaro, Isabel; Vinacua Pla, Álvaro
In many application areas, it is useful to convert the discrete information stored in the nodes of a regular grid into a continuous boundary model. Isosurface extraction algorithms di er on how the discrete information in the grid is generated, on what information does the grid store and on the properties of the output surface.
Theoretical aspects of graph models for MANETS - Díaz Cort, Josep; Dieter Wilhelm, Mitsche; Santi, Paolo
We survey the main theoretical aspects of models for Mobile Ad
Hoc Networks (MANETs). We present theoretical characterizations of mobile
network structural properties, di erent dynamic graph models of MANETs,
and nally we give detailed summaries of a few selected articles. In particular,
we focus on articles dealing with connectivity of mobile networks, and on articles
which show that mobility can be used to propagate information between
nodes of the network while at the same time maintaining small transmission
distances, and thus saving energy.