Resolución de los problemas MaxSAT y MinSAT mediante programación lineal entera

Presentación de una traducción de los problemas MaxSAT y MinSAT a un problema de programación lineal entera e implementación de un resolutor MaxSAT y MinSAT usando Python y el software de programación lineal entera CPLEX. Evaluación de los resultados comparándolos con los de la MaxSAT Evaluation 2010.

Procedimiento de diseño de circuitos digitales mediante FPGAS

Durant les últimes dècades, el desenvolupament de les noves tecnologies de fabricació de circuits integrats i l'avenç dels equipaments informàtics, ha proporcionat l'aparició de noves arquitectures electròniques orientades als sistemes electrònics i a l'aparició d'eines destinades a la síntesi i simulació. L'objectiu d'aquest treball final de carrera es presentar de forma general el procediment de disseny de circuits amb FPGAS, mitjançant l'ús d'eines de celoxica LTD.

Usabilitat web orientada a l'intercanvi

Aquest treball pretén donar una visió el més clara possible de com hauria de ser una pàgina web dedicada a l'intercanvi d'objectes materials, coneixements, serveis, etc. Per aconseguir-ho s'ha seguit la metodologia de la interacció humana amb ordinadors (IHO) i el disseny centrat en l'usuari (DCU), avaluant al mateix temps la usabilitat i accessibilitat.

Aplicatiu web per la gestió de l’Associació Cultural Pubills

S'ha creat un aplicatiu web autogestionable per a l'Associació Cultural Pubills de Valls de Torroella que millora l’existent. El nou aplicatiu disposa de noves funcionalitats com el fòrum, notícies, secció d’arxius multimèdia i botiga virtual. L'aplicatiu ha estat desenvolupat des de zero utilitzant programari lliure i els principals llenguatges de programació web actuals. Projecte disponible a http://www.pubills.com.

Fault diagnosis by refining the parameter uncertainty space of nonlinear dynamic systems

This paper deals with fault detection and isolation problems for nonlinear dynamic systems. Both problems are stated as constraint satisfaction problems (CSP) and solved using consistency techniques. The main contribution is the isolation method based on consistency techniques and uncertainty space refining of interval parameters. The major advantage of this method is that the isolation speed is fast even taking into account uncertainty in parameters, measurements, and model errors. Interval calculations bring independence from the assumption of monotony considered by several approaches for fault isolation which are based on observers. An application to a well known alcoholic fermentation process model is presented

Embedding objects into Matlab/Simulink for process supervision

This paper introduces how artificial intelligence technologies can be integrated into a known computer aided control system design (CACSD) framework, Matlab/Simulink, using an object oriented approach. The aim is to build a framework to aid supervisory systems analysis, design and implementation. The idea is to take advantage of an existing CACSD framework, Matlab/Simulink, so that engineers can proceed: first to design a control system, and then to design a straightforward supervisory system of the control system in the same framework. Thus, expert systems and qualitative reasoning tools are incorporated into this popular CACSD framework to develop a computer aided supervisory system design (CASSD) framework. Object-variables an introduced into Matlab/Simulink for sharing information between tools

Constraint satisfaction techniques under uncertain conditions for fault diagnosis in nonlinear dynamic systems

The speed of fault isolation is crucial for the design and reconfiguration of fault tolerant control (FTC). In this paper the fault isolation problem is stated as a constraint satisfaction problem (CSP) and solved using constraint propagation techniques. The proposed method is based on constraint satisfaction techniques and uncertainty space refining of interval parameters. In comparison with other approaches based on adaptive observers, the major advantage of the presented method is that the isolation speed is fast even taking into account uncertainty in parameters, measurements and model errors and without the monotonicity assumption. In order to illustrate the proposed approach, a case study of a nonlinear dynamic system is presented

Modelació del comportament energètic del complexe Alexandra|

El projecte té com a objectiu la definició d'un model informàtic que simuli elcomportament energètic del complexe Alexandra, un edifici de grans dimensions situata Sabadell.L’obtenció d'aquest model es farà mitjançant un entorn de programació i simulacióenergètica anomenat Design Builder. Gràcies a aquest model s'espera poder provarmodificacions en el funcionament tèrmic de l'edifici per tal de reduir el consumenergètic, augmentar el confort en zones que ho requereixin, etc

RFID per al control de vehicles en àrees de trànsit restringit

En aquest projecte s'ha dissenyat un sistema informàtic per controlar els esdeveniments produïts per vehicles en zones de trànsit restringit i zones de càrrega i descàrrega. La tecnologia utilitzada és RFID (Radio Frequency Identification Vehicles). Pel que fa al maquinari del projecte, s'ha desenvolupat un sistema a partir d'una placa amb un microcontrolador. Amb aquesta placa es simulen els esdeveniments i s'envien a una màquina amb estructura PC via port Sèrie. Finalment, aquesta màquina processa els esdeveniments rebuts, i els envia a través de la xarxa Ethernet a un servidor central. Pel que fa al programari del projecte, s'ha dissenyat una aplicació web amb llenguatge PHP que processarà les dades rebudes des de la màquina via Ethernet. Un cop l'aplicació rep les dades dels esdeveniments, aquesta s'encarrega d'introduir-les a la base de dades, de manera que aquesta es mantingui actualitzada en tot moment. A més, aquesta aplicació ha de permetre consultar totes les dades sobre els esdeveniments produïts, de manera que es guardi un historial d'aquests

Creació d’un visor web basat en software lliure per al Consorci d’Ardenya-Cadiretes

En aquest treball es pretén explicar el procés metodològic que s'ha seguit per a crear una eina informàtica de visualització de dades "online" per al Consorci d'Ardenya – Cadiretes. Inicialment s'explica el context en el que es desenvolupa el projecte, com a conveni de col·laboració en pràctiques, per a realitzar el treball de final del Màster en Tecnologies de la Informació Geogràfica, en la seva tretzena edició. S'explica també la situació de l'entitat col·laboradora del projecte, el consorci d'Ardenya – Cadiretes. Els objectius que es fixen al projecte són els de generar aquest visor amb eines de software lliure, de manera que el cost de producció sigui el menor possible. També es pretén crear una aplicació de senzill ús i que resulti atractiva per al client web. Es repassen els diferents aspectes tècnics i funcionals que ha de tenir en compte el projecte, per tal que aquest es pugui desenvolupar de forma correcte. Es tracten temes com el tipus de programari que s'ha de fer servir i per que unes aplicacions es consideren més oportunes que d'altres per a treballar tasques concretes del propi projecte. A través de la metodologia seguida en el projecte es repassa el dia a dia que s'ha anat seguint durant el projecte, des de l'inici en el que s'instal·laven els diferents programes necessaris fins al final de l'escriptura del codi de programació, passant per l'edició de les dades geogràfiques o la càrrega d'aquestes al servidor de mapes

Launchageddon

El siguiente documento corresponde a la memoria del proyecto de final de carrera de Ingeniería Informática, que contiene el diseño y la implementación del videojuego Launchageddon. Éste corresponde a un proyecto desarrollado entre tres personas. El resultado es un juego dónde se pueden jugar varios niveles y experimentar con diferentes mecánicas. Éste ha sido validado por toda una serie de personas que lo han probado.

Comparison of Work Scheduling Using Constraint Programming or Auctions

Business processes designers take into account the resources that the processes would need, but, due to the variable cost of certain parameters (like energy) or other circumstances, this scheduling must be done when business process enactment. In this report we formalize the energy aware resource cost, including time and usage dependent rates. We also present a constraint programming approach and an auction-based approach to solve the mentioned problem including a comparison of them and a comparison of the proposed algorithms for solving them

L'ús social del català: punts forts i punts febles : La Secció d'Institut Serra de Noet, de Berga: un cas concret sobre l'ús del català en un centre educatiu

Detecció dels punts forts i punts febles en l'ús social del català en els àmbits de l'educació i el lleure. Per fer l'anàlisi d'aquesta situació es tindran en compte les dades recollides a l'Institut Serra de Noet de Berga.

NQL, Natural Query Language

Desarrollo de un sistema capaz de procesar consultas en lenguaje natural introducidas por el usuario mediante el teclado. El sistema es capaz de responder a consultas en castellano, relacionadas con un dominio de aplicación representado mediante una base de datos relacional.

The histone deactylase SIRT6 is a novel tumor suppressor that regulates cancer metabolism.

Report for the scientific sojourn carried out at the University of Aarhus, Denmark, from 2010 to 2012. Reprogramming of cellular metabolism is a key process during tumorigenesis. This metabolic adaptation is required in order to sustain the energetic and anabolic demands of highly proliferative cancer cells. Despite known for decades (Warburg effect), the precise molecular mechanisms regulating this switch remained unexplored. We have identify SIRT6 as a novel tumor suppressor that regulates aerobic glycolysis in cancer cells. Importantly, loss of this sirtuin in non-transformed cells leads to tumor formation without activation of known oncogenes, indicating that SIRT6 functions as a first-hit tumor suppressor. Furthermore, transformed SIRT6-deficient cells display increased glycolysis and tumor growth in vivo, suggesting that SIRT6 plays a role in both establishment and maintenance of cancer. We provide data demonstrating that the glycolytic switch towards aerobic glycolysis is the main driving force for tumorigenesis in SIRT6-deficient cells, since inhibition of glycolysis in these cells abrogates their tumorigenic potential. By using a conditional SIRT6-targeted allele, we show that deletion of SIRT6 in vivo increases the number, size and aggressiveness of tumors, thereby confirming a role of SIRT6 as a tumor suppressor in vivo. In addition, we describe a new role for SIRT6 as a regulator of ribosome biogenesis by co-repressing MYC transcriptional activity. Therefore, by repressing glycolysis and ribosomal gene expression, SIRT6 inhibits tumor establishment and progression. Further validating these data, SIRT6 is selectively downregulated in several human cancers, and expression levels of SIRT6 predict both prognosis and tumor-free survival rates, highlighting SIRT6 as a critical modulator of cancer metabolism. Our results provide a potential Achilles’ hill to tackle cancer metabolism.