999 resultados para CSP (Llenguatge de programació)
Resumo:
El presente trabajo proporciona un nivel de ayuda para los usuarios de aplicaciones sociales, brindándoles un criterio adicional al momento de contactar a otra persona, apoyando al usuario con advertencias sobre algún comportamiento de riesgo de sus contactos y fomentando así la prevención de enfermedades.
Resumo:
El siguiente artículo presenta el trabajo realizado en la creación de una aplicación de software libre que representa gráficamente las rutas generadas y la distribución de los elementos transportados en el interior de un vehículo de carga.
Resumo:
Aquest treball ha consistit en l'aplicació del paradigma de paral·lelisme de dades als passos que integren l'aplicació BASIZ (Bright and Saturated Image Zones). Aquesta és una aplicació de pas de missatges que consta de vint tasques diferents. Les tasques que formen el pas de difuminat tenen molt temps de còmput i limiten per tant, el rendiment de l'aplicació. Amb l'aplicació del paral·lelisme de dades s'ha aconseguit disminuir significativament el pas de difuminta i per tant incrementar el rendiment de BASIZ.
Resumo:
Este trabajo se divide en dos partes. Por un lado, el estudio de los futuros estándares HTML 5 y CSS 3 (donde vemos las nuevas propiedades y capacidades que estas tecnologías proporcionan) y por otro la propuesta de actualización del sitio web www.mpiua.net utilizando los citados estándares
Resumo:
Desarrollo de mecanismos para la edición de datos semánticos mendiante formularios generados automáticamente que asisten al usuario mediante mecanismos de auto-completado. Estos mecanismos se basarán en formularios web y se integrarán en una aplicación basada en tecnologías de web semántica. Los formularios se generarán a partir de datos basados en RDF, su estructura y semántica proporcionada por esquemas RDF. Los usuarios podrán editar los datos existentes o crear nuevas descripciones basadas en datos semánticos. En ambos casos, se recomendarán al usuario propiedades y valores conformes a los esquemas y ontologías que estructuran los datos.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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
Resumo:
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
Resumo:
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
Resumo:
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
Resumo:
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
Resumo:
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