Disseny i implementació d'una aplicació de suport a l'edició i sincronització de material didàctic multimèdia amb SMIL

Hem dissenyat un sistema de presentacions interactives que sincronitza diferents continguts multimèdia utilitzant el llenguatge SMIL. Aquests continguts són: un vídeo on un professor presenta una matèria, un seguit de transparències que il·lustren la seva presentació i una taula de continguts que en mostra un esquema i permet navegar-hi. També hem creat una aplicació que facilitarà l'edició d'aquestes presentacions.

Implementación de un servicio de apoyo a las convocatorias de evaluación de la investigación

Desde 2011, el Área de Programación y Calidad de la Universitat Oberta de Catalunya (UOC) trabaja de manera transversal con el Grupo de Servicios de Biblioteca de Apoyo a la Investigación para ofrecer un servicio de apoyo a las convocatorias de evaluación de la investigación (AQU, ANECA). Se ha hecho una apuesta institucional para que el profesorado de la UOC supere satisfactoriamente las calificaciones y reconocimientos externos exigidos para las titulaciones del centro y tenga suficiente y valorada experiencia docente e investigadora.

Cartografia detallada de sòls en àrees de regadiu de Catalunya

La superfície regada a Catalunya és d'unes 260.00 ha. aproximadament, la qual constitueix el 26 % de l'àrea conreada i el 8 % de l'àrea total; tot i així, en l'àrea regada es produeix, aproximadament, el 68 % del producte final agrari. El pes econòmic de l'àrea regada, la facilitat més gran per introduir noves tecnologies amb una rendibilitat superior i la necessitat que tenen les mateixes tecnologies de disposar d'una informació de base van fer aconsellable iniciar les tasques de cartografia de sòls del Departament d'Agricultura, Ramaderia i Pesca (DARP) en les àrees indicades. La naturalesa del problema plantejat, consistent bàsicament en l'aplicació de tecnologia agrícola (programació de regs, utilització de l'aigua de reg sota condicions de salinitat-sodicitat, plans de fertilització, reg de sòls guixencs, i selecció de sòls segons l'aptitud per als cultius, etc.), i també la grandària de les explotacions i parcel·les, obliguen a disposar d'una acurada informació quantitativa i a plantejar una cartografia de sòls detallada. En aquest treball s'exposen els estudis realitzats fins ara sobre cartografia de sòls i les aplicacions que s'han efectuat o que es preveu que s'efectuaran en un termini curt. Es comenta la problemàtica sorgida en el transcurs de la realització d'aquests treballs cartogràfics, es revisen les aplicacions dutes a terme i les dificultats que s'han trobat en la transmissió i la transferència de la informació generada al sector agrari en general i als tècnics de l'Administració.

Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants

PLFC is a first-order possibilistic logic dealing with fuzzy constants and fuzzily restricted quantifiers. The refutation proof method in PLFC is mainly based on a generalized resolution rule which allows an implicit graded unification among fuzzy constants. However, unification for precise object constants is classical. In order to use PLFC for similarity-based reasoning, in this paper we extend a Horn-rule sublogic of PLFC with similarity-based unification of object constants. The Horn-rule sublogic of PLFC we consider deals only with disjunctive fuzzy constants and it is equipped with a simple and efficient version of PLFC proof method. At the semantic level, it is extended by equipping each sort with a fuzzy similarity relation, and at the syntactic level, by fuzzily “enlarging” each non-fuzzy object constant in the antecedent of a Horn-rule by means of a fuzzy similarity relation.

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

On balanced CSPs with high treewidth

Tractable cases of the binary CSP are mainly divided in two classes: constraint language restrictions and constraint graph restrictions. To better understand and identify the hardest binary CSPs, in this work we propose methods to increase their hardness by increasing the balance of both the constraint language and the constraint graph. The balance of a constraint is increased by maximizing the number of domain elements with the same number of occurrences. The balance of the graph is defined using the classical definition from graph the- ory. In this sense we present two graph models; a first graph model that increases the balance of a graph maximizing the number of vertices with the same degree, and a second one that additionally increases the girth of the graph, because a high girth implies a high treewidth, an important parameter for binary CSPs hardness. Our results show that our more balanced graph models and constraints result in harder instances when compared to typical random binary CSP instances, by several orders of magnitude. Also we detect, at least for sparse constraint graphs, a higher treewidth for our graph models.

Statistical modelling of CSP solving algorithms performance

The goal of this work is to try to create a statistical model, based only on easily computable parameters from the CSP problem to predict runtime behaviour of the solving algorithms, and let us choose the best algorithm to solve the problem. Although it seems that the obvious choice should be MAC, experimental results obtained so far show, that with big numbers of variables, other algorithms perfom much better, specially for hard problems in the transition phase.

Representación simbólica de preguntas: el proyecto ReSim

En aquest article presentem el projecte ReSim: representació simbòlica de preguntes, que ha consistit en la creació d'un sistema automàtic capaç de representar en un llenguatge formal una pregunta en llenguatge natural. Tenint en compte la complexitat de l'objectiu, el projecte es va centrar en un àmbit temàtic concret. El tipus de representació usada està basada en el model de les Estructures Lèxico-Conceptuals de Jackendoff 1990.

Disseny de firmware per mòdul USB de microcontroladors PIC

Disseny o programació d'un codiinformàtic (firmware) que controli el mòdul USB d'un microcontrolador PIC per poder serutilitzat com a base o punt de partida pel disseny d'aplicacions senzilles, on la necessitatprincipal sigui l'intercanvi de dades entre un ordinador personal i un hardware microcontrolat.Es parteix d'un coneixement bàsic del protocol USB, sense ésser necessari conèixer enprofunditat el funcionament d'aquesta interfície de comunicació, qüestió que per altra bandano és necessària perquè les especificacions són molt àmplies i recullen molts supòsits defuncionament específics que no seran d'aplicació per la majoria de dissenys.Per assolir l'objectiu fixat, s'ha orientat el projecte a desenvolupar una aplicacióconcreta per tal d’ acotar els paràmetres defuncionament de la interfície USB, ja que les especificacions són molt àmplies i cal focalitzarel nostre interés per saber quines parts d'aquestes especificacions ens seran d'aplicació, també per les possibilitats que dona de control, detecció i correcció d'errors, en saber quina finalitates persegueix i com es suposa que ha de funcionar la nostra aplicació. I com a última raó, haver desenvolupat una aplicació, és també una garantia de funcionamentdel codi resultant i permet demostrar que s'ha assolit l'objectiu inicial.L'aplicació escollida a dissenyar en aquest projecte és un lector electrònic de targetes ambxip integrat (com les bancàries o identificatives) amb un microcontrolador PIC amb mòdulUSB, de manera que, des d’un ordinador i via el port USB, es puguin enviar comandes aaquest tipus de targetes i rebre les corresponents respostes

Desenvolupament de prototips (Android/LibGDX i Unity), per a la producció d'un videojoc d'acció lateral amb plataformes (Ouroboros)

Creació de dos prototips, un per Android i l'altre perUnity, establint les bases per a la producció d'un videojoc d'acció lateral (Beat 'em up)amb plataformes (puzles) anomenat "Ouroboros". Android és un sistema operatiu basat en Linux, designat primerament per mòbils tàctils(smartphones) i tabletes. En concret s'utilitzarà el SDK (Software Development Kit) dins del'entorn de programació Eclipse amb llenguatge Java, i les bases d'un frameworkanomenat LibGDX. Unity, en canvi, és un motor de videojocs multi-plataforma amb un entorn dedesenvolupament integrat, del que nosaltres utilitzarem la versió en Javascript.Es volen explorar les dues plataformes per tal d'esbrinar quina de les dues vies és la mésidònia de cares a la producció final d'un joc

Implementació de software de gestió

Disseny de software de gestió per a una empresa d'aparells elevadors.

Sherali-Adams Relaxations and Indistinguishability in Counting Logics

Two graphs with adjacency matrices $\mathbf{A}$ and $\mathbf{B}$ are isomorphic if there exists a permutation matrix $\mathbf{P}$ for which the identity $\mathbf{P}^{\mathrm{T}} \mathbf{A} \mathbf{P} = \mathbf{B}$ holds. Multiplying through by $\mathbf{P}$ and relaxing the permutation matrix to a doubly stochastic matrix leads to the linear programming relaxation known as fractional isomorphism. We show that the levels of the Sherali--Adams (SA) hierarchy of linear programming relaxations applied to fractional isomorphism interleave in power with the levels of a well-known color-refinement heuristic for graph isomorphism called the Weisfeiler--Lehman algorithm, or, equivalently, with the levels of indistinguishability in a logic with counting quantifiers and a bounded number of variables. This tight connection has quite striking consequences. For example, it follows immediately from a deep result of Grohe in the context of logics with counting quantifiers that a fixed number of levels of SA suffice to determine isomorphism of planar and minor-free graphs. We also offer applications in both finite model theory and polyhedral combinatorics. First, we show that certain properties of graphs, such as that of having a flow circulation of a prescribed value, are definable in the infinitary logic with counting with a bounded number of variables. Second, we exploit a lower bound construction due to Cai, Fürer, and Immerman in the context of counting logics to give simple explicit instances that show that the SA relaxations of the vertex-cover and cut polytopes do not reach their integer hulls for up to $\Omega(n)$ levels, where $n$ is the number of vertices in the graph.

Consumption, investment and life insurance strategies with heterogeneous discounting

[cat] En aquest treball s'analitza l'efecte que comporta l'introducció de preferències inconsistents temporalment sobre les decisions òptimes de consum, inversió i compra d'assegurança de vida. En concret, es pretén recollir la creixent importància que un individu dóna a la herència que deixa i a la riquesa disponible per a la seva jubilació al llarg de la seva vida laboral. Amb aquesta finalitat, es parteix d'un model estocàstic en temps continu amb temps final aleatori, i s'introdueix el descompte heterogeni, considerant un agent amb una distribució de vida residual coneguda. Per tal d'obtenir solucions consistents temporalment es resol una equació de programació dinàmica no estàndard. Per al cas de funcions d'utilitat del tipus CRRA i CARA es troben solucions explícites. Finalment, els resultats obtinguts s'il·lustren numèricament.

Consumption, investment and life insurance strategies with heterogeneous discounting

[cat] En aquest treball s'analitza l'efecte que comporta l'introducció de preferències inconsistents temporalment sobre les decisions òptimes de consum, inversió i compra d'assegurança de vida. En concret, es pretén recollir la creixent importància que un individu dóna a la herència que deixa i a la riquesa disponible per a la seva jubilació al llarg de la seva vida laboral. Amb aquesta finalitat, es parteix d'un model estocàstic en temps continu amb temps final aleatori, i s'introdueix el descompte heterogeni, considerant un agent amb una distribució de vida residual coneguda. Per tal d'obtenir solucions consistents temporalment es resol una equació de programació dinàmica no estàndard. Per al cas de funcions d'utilitat del tipus CRRA i CARA es troben solucions explícites. Finalment, els resultats obtinguts s'il·lustren numèricament.