Integració de tècniques per a la comprovació eficient de restriccions d'integritat en la generació de programari per entorns web

Estudi elaborat a partir d’una estada al Politecnico de Milano, Itàlia, entre gener i juny del 2006. Un dels principals objectius de l’Enginyeria del Programari és automatitzar el màxim possible el procés de desenvolupament del programari, reduint costos mitjançant la generació automàtica del programari a partir de la seva especificació. Per assolir-ho, entre altres, cal resoldre el problema de la comprovació eficient de restriccions, que són una part fonamental de l’especificació del programari. Aquest és precisament l’àmbit en què s’està desenvolupant una tesi que presentarà un mètode que poden integrar totes les eines generadores de codi per tal d’assolir una implementació eficient de les restriccions d’integritat. En l’actual fase del projecte s’ha treballat per validar el mètode de la tesi, optimitzant-lo pel cas específic de les aplicacions web i estendre’l per poder tractar també aplicacions basades en workflows. Pel que fa a l’optimització del mètode per aplicacions web, s’han definit una sèrie de paràmetres que permeten configurar la implementació del mètode tenint en compte les necessitats específiques de rendiment de cada aplicació web en particular. Respecte als workflows (cada cop més populars i que s’usen com a definició d’alt nivell per a les aplicacions a desenvolupar) s’ha estudiat quins són els tipus de restriccions que impliquen i com després es pot aplicar el mètode de la tesi sobre aquestes restriccions per tal de generar de forma eficient també les aplicacions basades en workflows.

Solució paral·lelitzada d'interpolació kriging amb ajust automatitzat del variograma

El principal objectiu d'aquest treball és proporcionar una metodologia per a reduir el temps de càlcul del mètode d'interpolació kriging sense pèrdua de la qualitat del model resultat. La solució adoptada ha estat la paral·lelització de l'algorisme mitjançant MPI sobre llenguatge C. Prèviament ha estat necessari automatitzar l'ajust del variograma que millor s'adapta a la distribució espacial de la variable d'estudi. Els resultats experimentals demostren la validesa de la solució implementada, en reduir de forma significativa els temps d'execució final de tot el procés.

Gestor d'avaluació online

Aquesta memòria tracta sobre el desenvolupament d’una aplicació web, amb tecnologia Ajax, per la gestió d’avaluacions de manera online. L’aplicació està destinada a facilitar la creació i correcció de proves i lliuraments per part dels usuaris professors i per automatitzar el procés de realització d’una prova i lliurament per part de l’alumne.

Estudi d'un sistema integrat en una empresa tecnològica

El projecte que es presenta és l’estudi de diferents sistemes integrats (ERP) per a la seva implementació en una empresa de desenvolupament de software. Els sistemes integrats són sistemes de gestió de la informació que integren i automatitzen moltes de les pràctiques del negoci d’una empresa per a facilitar-ne l’intercanvi d’informació entre les diferents parts. El projecte ha estat desenvolupat seguint la metodologia METRICA per a la implementació de software, i a partir d’aquesta metodologia s’han estudiat les característiques de l’empresa i posteriorment s’ha fet un anàlisi dels diferents sistemes integrats que podrien ser bones opcions per a implementar-los en l’empresa estudiada. Finalment, s’ha escollit el sistema integrat que més requisits acomplia per a ser instal·lat en l’empresa.

Automatització de tests per a una aplicació J2EE

Aquest projecte consisteix en la creació d’una eina que permeti automatitzar els tests que s’han de fer a una aplicació comercial j2ee, amb el propòsit de facilitar i estalviar feina a les persones encarregades de testejar aquesta aplicació, ajudant-les així en la seva tasca de cerca d’errors. Concretament, s’ha creat una aplicació construïda per capes, modulable i fàcilment ampliable, la qual arriba més enllà de l’automatització dels tests més habituals, permetent executar un conjunt de tests per tal de validar si la versió de l’aplicació a testejar és vàlida o no.

Aula Matemàtica, 3a part : un projecte per a la millora de l'aprenentatge de les Matemàtiques a la UAB

Aquest projecte és continuació dels projectes "Aula Matemàtica, un projecte per a la millora de l'aprenentatge de les Matemàtiques a la UAB", primera i segona part, Ref 2003MQD 00030 i Ref 2006MQD00072, els quals han permès identificar els problemes i oferir als estudiants de primer curs d'algunes titulacions pilot de Ciències de la UAB una plataforma d'autoaprenentatge que han valorat positivament. Es tracta d'una base de dades de problemes de resposta tancada, accessible per internet, que permet als estudiants practicar pel seu compte, autoevaluar-se i també al seu professor posar-los-hi un examen i controlar el temps de pràctica dels estudiants. L'aprenentatge de les Matemàtiques requereix l'automatització de certes tècniques de caire, per exemple, manipulatiu, per a l'adquisició de la qual és imprescindible un treball repetitiu d'entrenament de l'estudiant. Es tracta de proporcionar material interactiu que permeti aquest entrenament, al ritme de l’estudiant, de manera autònoma, no presencial i atractiva per a les noves generacions; però alhora oferir suport presencial quan sigui necessari. L'enorme diversificació observada en la formació inicial dels estudiants, amb la convivència de diferents vies de batxillerat en moltes titulacions de ciències, provoca una dificultat d'adaptació de les assignatures de primer curs. Es requereix per tant una major tutorització dels estudiants i oferta d'eines i material complementari per al treball individual. El projecte actual té com a objectius l'elaboració de més material i la classificació d'aquest per permetre l'adaptació de la plataforma a un major nombre d'assignatures i la millora de l'accessibilitat i la gestió d'aquesta plataforma.

Bioinformàtica : comparació de genomes d'eucariota

La cerca de similituds als codis genètics de dos espècies, ens permet obtenir molta informació de la evolució dels seus genomes. Aquesta informació afavoreix el descobriment de gens que es conserven amb la mateixa funcionalitat a diferents espècies. També té importants aplicacions mèdiques i ens permet entendre els processos evolutius que han portat a la diversitat d'espècies de l'actualitat. El present treball té l'objectiu d'automatitzar una sèrie de processos d'un servidor d'aplicacions web: http://platypus.uab.cat, que realitzin de forma òptima i eficient, la comparació dels genomes eucariotes, tots amb tots, conforme aquests genomes siguin seqüenciats. Així aquestes comparacions entre genomes de organismes superiors podran ser consultades via web.

Gestió d'una cooperativa de taxis emprant tecnologies Java

En aquest treball de final de carrera es proposa la creació d'un sistema per a gestionar d'una manera molt més eficaç els processos de treball d'una cooperativa de taxis, mitjançant la instal·lació d'equips GPS en els taxis i la implementació d'eines informàtiques que automatitzin i optimitzin el procés de designació.

Agregador WEB

L'objectiu de l'aplicació serà el facilitar i automatitzar en la mesura del possible el treball de les persones que mantenen bases de dades de productes en Internet, encara que es pot estendre en futures versions (i haurà d'estar preparat per a això) per a altres usos com l'actualització de la pàgina web amb informació de tercers en temps quasi-real.

TFC Magatzems de dades: construcció i explotació d'un magatzem de dades de planificació hidrològica

Aquest TFC consisteix en la creació d'un magatzem de dades que automatitzi la recollida de dades de l'estat dels embassaments de la Confederació Hidrogràfica Nord-Est mitjançant processos ETL, per posteriorment tractar aquestes dades amb processos PL/SQL amb l'objectiu de poder explotar aquestes dades mitjançant eines de Business Intelligence.

Interacting software-agents to support a kind of expert supervision systems

Expert supervision systems are software applications specially designed to automate process monitoring. The goal is to reduce the dependency on human operators to assure the correct operation of a process including faulty situations. Construction of this kind of application involves an important task of design and development in order to represent and to manipulate process data and behaviour at different degrees of abstraction for interfacing with data acquisition systems connected to the process. This is an open problem that becomes more complex with the number of variables, parameters and relations to account for the complexity of the process. Multiple specialised modules tuned to solve simpler tasks that operate under a co-ordination provide a solution. A modular architecture based on concepts of software agents, taking advantage of the integration of diverse knowledge-based techniques, is proposed for this purpose. The components (software agents, communication mechanisms and perception/action mechanisms) are based on ICa (Intelligent Control architecture), software middleware supporting the build-up of applications with software agent features

Rank estimation of trajectory matrix in motion segmentation

A novel technique for estimating the rank of the trajectory matrix in the local subspace affinity (LSA) motion segmentation framework is presented. This new rank estimation is based on the relationship between the estimated rank of the trajectory matrix and the affinity matrix built with LSA. The result is an enhanced model selection technique for trajectory matrix rank estimation by which it is possible to automate LSA, without requiring any a priori knowledge, and to improve the final segmentation

How does basis set superposition error change the potential surfaces for hydrogen-bonded dimers?

We describe a simple method to automate the geometric optimization of molecular orbital calculations of supermolecules on potential surfaces that are corrected for basis set superposition error using the counterpoise (CP) method. This method is applied to the H-bonding complexes HF/HCN, HF/H2O, and HCCH/H2O using the 6-31G(d,p) and D95 + + (d,p) basis sets at both the Hartree-Fock and second-order Møller-Plesset levels. We report the interaction energies, geometries, and vibrational frequencies of these complexes on the CP-optimized surfaces; and compare them with similar values calculated using traditional methods, including the (more traditional) single point CP correction. Upon optimization on the CP-corrected surface, the interaction energies become more negative (before vibrational corrections) and the H-bonding stretching vibrations decrease in all cases. The extent of the effects vary from extremely small to quite large depending on the complex and the calculational method. The relative magnitudes of the vibrational corrections cannot be predicted from the H-bond stretching frequencies alone

Bioinformática: base de datos de matrices de expresión génica para su análisis vía web

El IBB ha desarrollado un servidor de aplicaciones: http://revolutionresearch.uab.es para el análisis de microarrays. Estas microarrays las obtienen y las suben a la base de datos local los usuarios de la aplicación. En la presente memoria se detalla el proceso realizado para automatizar la subida de microarrays públicas a la base de datos local. Estas microarrays se obtendrán del NCBI. El proceso de descarga de microarrays se realizará cada dos meses y estará sincronizado con un proceso de descarga de genes marcadores de microarrays del NCBI. En la memoria también se describen las fases realizadas para crear la interfaz web para gestionar estas microarrays públicas y las modificaciones realizadas sobre el aplicativo web para permitir realizar análisis con estas microarrays.

Three-dimensional morphological analysis of intracranial aneurysms: a fully automated method for aneurysm sac isolation and quantification

Morphological descriptors are practical and essential biomarkers for diagnosis andtreatment selection for intracranial aneurysm management according to the current guidelinesin use. Nevertheless, relatively little work has been dedicated to improve the three-dimensionalquanti cation of aneurysmal morphology, automate the analysis, and hence reduce the inherentintra- and inter-observer variability of manual analysis. In this paper we propose a methodologyfor the automated isolation and morphological quanti cation of saccular intracranial aneurysmsbased on a 3D representation of the vascular anatomy.