Desarrollo de un sistema de clasificación de recursos electrónicos en el ámbito de la lógica matemática

El presente trabajo define una taxonomía para la clasificación de recursos digitales del ámbito de la lógica tradicional, y más concretamente los recursos que se podrían generar en el ámbito de la asignatura de Lógica Matemática del plan de estudios de las titulaciones de Ingeniería Técnica de Gestión y de Sistemas impartidas en la Universitat Oberta de Catalunya (UOC).

La dinàmica de les práctiques científiques des del punt de vista de l'experiencialisme

La tesi doctoral titulada "La Dinàmica de les Pràctiques Científiques des d'un punt de vista experiencialista" té com a objectiu oferir una alternativa a les tesis de Kuhn defensades a l'"Estructura de les Revolucions Científiques". En aquest sentit, s'utilitzaran diferents experiments i models teòrics actuals en l'àmbit de les ciències cognitives per tal de superar la teoria estructuralista de la cognició, quee Kuhn proposa com la base de la seva filosofia de la ciència. Contràriament a aquesta teoria, l'experiencialisme se situa lluny de les tesis estructuralistes, en la mesura en què assumeix que la cognició humana emergeix des de la dinàmica interactiva dels agents cognitius humans entre ells en un entorn material, en tant que agents corporals. A partir d'aquesta interacció dinàmica, l'ésser humà genera un horitzó de sentit. Ja que la interacció entre els éssers humans en un entorn cultural i material és complex, dinàmic i canviant, la generació de sentit emergent no és com una estructura semàntica, coherent i sistemàtica, sinó que ha de ser considerada com un conjunt asistemàtic de perspectives exploratòries que se succeeixen en el temps, en funció dels diferents contextos i propòsits que un agent corporal porta a terme al llarg de la seva interacció dinàmica i temporal amb l'entorn. Com a resultat de tot això, els èssers humans apliquen diferents criteris interactius que donen lloc a diferents perspectives per categoritzar o estructurar el món material i cultural. Aquest punt de vista és completament diferent del kuhnià, donat que el segon argumenta que cada èsser humà té la seva pròpia Gestalt o estructura semàntica que projecta "a priori" sobre la realitat. Aquesta diferència serà molt important no només des d'un punt de vista teòric, sinó també des d'un punt de vista pràctic. Per exemple, s'argumentarà que en l'àmbit de la didàctica de les ciències empíriques, es poden produir canvis beneficiosos significatius si s'utilitzen tesis extretes del model experiencialista de la cognició humana, i es deixen de banda el cognitivisme i el teoreticisme, que són actualment les bases teòriques de la manera en qué funciona l'educació científica. Finalment, conclourem afirmant que la visió experiencialista de la cognició implica assumir una forta relació entre l'ètica i la ciència, puix que els èssers humans són capaços d'utilitzar diferents criteris interactius per explorar la realitat i, per tant, sempre poden buscar millors estragègies per entendre's els uns amb els altres.

Correcció d'exercicis de lògica per l'ACME

La Universitat de Girona, i més concretament el Departament d’Informàtica i Matemàtica Aplicada, ja fa uns anys que ha posat en marxa el Projecte Avaluació Continuada i Millora de l’Ensenyament, també anomenat ACME. Aquest projecte és una plataforma d'e-learning, és a dir, un sistema d’aprenentatge a través de la xarxa que potencia la col•laboració digital i el bescanvi d’informació entre alumne i professor. El creixement que ha experimentat la plataforma, ha estat possible gràcies al disseny modular de l’aplicació, on cada nova funcionalitat que estava essent desenvolupada evolucionava de manera independent a la resta de la plataforma i sense comprometre’n el funcionament. Per afegir un nou mòdul a l’ACME, s’utilitzen els mòduls de base que confereixen l'estructura a la plataforma i les eines per incorporar nous mòduls, amb el que la implantació d’aquests a la plataforma és d’elevada senzillesa. Actualment, la majoria de les assignatures de primer del Grau d’Informàtica ja disposen d’exercicis adaptats a la plataforma, el que dóna una uniformitat en les eines i plataformes que utilitzen els alumnes en la seva formació. Però no hi són totes les assignatures, falta incloure l’assignatura de Lògica a la plataforma. D’aquesta manera, tant els alumnes com els professors de l’assignatura, podran treure profit dels beneficis esmentats que aporta l’ACME. Concretament, a l’assignatura de Lògica es disposava d’uns aplicatius a la plataforma Moodle de la Universitat de Girona on es guiava a l’alumne en la resolució dels exercicis. Aquest mètode és molt interessant com a mètode pedagògic per a l’aprenentatge inicial de l’assignatura, però no representa un repte real on els alumnes hagin d’aplicar els seus coneixements per a la seva realització. Els alumnes també disposaven d’un dossier on se’ls proposava uns exercicis molt complets, i a les pàgines finals d’aquest se’ls donava la solució. Aleshores, de manera voluntària els alumnes realitzaven els exercicis i comprovaven amb la solució si havien aprés a resoldre’ls. Per tant, tant els responsables de l'assignatura de Lògica com els responsables de la plataforma ACME van veure que es podrien desenvolupar eines a l'ACME per tal de corregir de forma automàtica els exercicis de l'assignatura. Incorporar l’assignatura de Lògica a l’ACME permet que els alumnes es vegin més involucrats a fer exercicis durant els curs de manera continuada, gràcies als terminis d’entrega, i facilita als professors la seva tasca deslliurant-los de les correccions i oferint-los-hi eines de seguiment

Genereitor 2: Generador de código J2EE

Aplicación web desarrollada en J2EE que permite generar código fuente de aplicaciones web (también basadas en J2EE y que se apoyarán en una base de datos) a todos los niveles (interfaz, lógica de negocio, acceso a datos). Soporta varios sistemas de bases de datos y genera aplicaciones para varios servidores de aplicaciones (con y sin contenedor de EJB), y permite personalizar sus características y comportamiento. Las aplicaciones que genera son completamente funcionales, pudiendo realizar operaciones de búsqueda, creación, modificación y borrado de datos.

"La condición fronteriza". Esbozo de una antropología filosófica en la filosofía del límite

El propósito de la presente investigación es mostrar que partiendo de una consideración de los elementos antropológicos presentes a lo largo de la obra del filósofo barcelonés, Eugenio Trías, es posible realizar una lectura global y unitaria de la misma. En otras palabras, que la presencia de una veta antropológica acompaña a la búsqueda, descubrimiento y despliegue de la propuesta original que el autor denomina como filosofía del límite. Para ello es necesario extraer una propuesta de antropología filosófica a partir del análisis del concepto de condición humana entendida como condición fronteriza en el contexto de la obra del filósofo. De aquí que uno de los principales objetivos sea el volver explícitos los momentos en que este pensador reflexiona en torno a lo humano, es decir, en los que se puede encontrar una respuesta a la pregunta por el qué se puede entender por “humano” y encontrar, en segunda instancia, la relación y vinculación entre dichos momentos.

Implantació d'una xarxa de telecomunicacions a Catalunya

Aquest projecte està centrat a analitzar els diferents escenaris i tecnologies per a proveir Internet i serveis de connectivitat entre ciutats internacionals (Barcelona, Tarragona, Lleida, Girona i Milà). Així es defineixen tres tipus de xarxes dissenyades per a satisfer els requisits dels nostres clients. Aquests clients són usuaris residencials i petites empreses, hospitals icompanyies d'assegurances internacionals. Tots ells requereixen de diferentample de banda, seguretat i tecnologies, per a cadascun d'ells, s'ha desenvolupat un anàlisi extens que detalla la xarxa lògica i física.Finalment, hem realitzat una simulació per ordinador utilitzant OPNET amb elpropòsit d'avaluar la xarxa física dissenyada prèviament. Els resultats obtinguts van ser presentats i analitzats.

Sistema per gestionar les incidències d'un servei d'informàtica amb una arquitectura J2EE distribuïda en tres nivells

Tant en la meva etapa d’estudiant com en la meva curta vida laboral, he participat en el desenvolupament de varies aplicacions de gestió, tant d’escriptori com web, que majoritàriament sempre estaven dividides en tres capes però en dos nivells: la base de dades i l’aplicació, que contenia tant la lògica de negoci com la vista. Des de fa temps he tingut la curiositat i la necessitat d’intentar desenvolupar una aplicació de gestió que estigui distribuïda en tres o més nivells, separant el model de dades i la lògica de negoci de la vista. Crec que el treball de fi de carrera és idoni per desenvolupar-la. L’aplicació a desenvolupar anirà destinada a la gestió d’un servei d’informàtica, que s’encarrega de resoldre les incidències, inventariar i realitzar el manteniment preventiu dels equips informàtics d’una o de varies empreses. Es crearà una aplicació que contindrà el model de dades i la lògica de negoci. També es crearan dues aplicacions clients: una aplicació d’escriptori que donarà accés a totes i cadascuna de les funcionalitats del sistema i una aplicació web que oferirà un accés lleuger i des de qualsevol ubicació a les funcionalitats d’explotació del sistema. Per últim, també es crearà una altre aplicació web que s’encarregarà de generar els llistats sol•licitats per les dues aplicacions clients. D’aquesta manera també es centralitzarà la gestió dels llistats de les aplicacions del sistema. Per desenvolupar el sistema, s’utilitzarà la plataforma J2EE de Java, i es comptarà amb l’ajuda de marcs de treball com, per exemple, Oracle ADF o JasperReports. Com a conclusió general, puc assegurar que si es distribueixen les tres capes d’un sistema en tres nivells s’obtenen beneficis en l’administració, en el manteniment, en l’escalabilitat, en la flexibilitat i en la reutilització de les aplicacions. El principal inconvenient és el possible augment de lentitud en les aplicacions clients.

Escacs, un sistema intel·ligent

Des dels inicis dels ordinadors com a màquines programables, l’home ha intentat dotar-los de certa intel•ligència per tal de pensar o raonar el més semblant possible als humans. Un d’aquests intents ha sigut fer que la màquina sigui capaç de pensar de tal manera que estudiï jugades i guanyi partides d’escacs. En l’actualitat amb els actuals sistemes multi tasca, orientat a objectes i accés a memòria i gràcies al potent hardware del que disposem, comptem amb una gran varietat de programes que es dediquen a jugar a escacs. Però no hi ha només programes petits, hi ha fins i tot màquines senceres dedicades a calcular i estudiar jugades per tal de guanyar als millors jugadors del món. L’objectiu del meu treball és dur a terme un estudi i implementació d’un d’aquests programes, per això es divideix en dues parts. La part teòrica o de l’estudi, consta d’un estudi dels sistemes d’intel•ligència artificial que es dediquen a jugar a escacs, estudi i cerca d’una funció d’avaluació vàlida i estudi dels algorismes de cerca. La part pràctica del treball es basa en la implementació d’un sistema intel•ligent capaç de jugar a escacs amb certa lògica. Aquesta implementació es porta a terme amb l’ajuda de les llibreries SDL, utilitzant l’algorisme minimax amb poda alfa-beta i codi c++. Com a conclusió del projecte m’agradaria remarcar que l’estudi realitzat m’ha deixat veure que crear un joc d’escacs no era tan fàcil com jo pensava però m’ha aportat la satisfacció d’aplicar tot el que he après durant la carrera i de descobrir moltes altres coses noves.

Webs sempre accessibles: les biblioteques nacionals i els dipòsits digitals nacionals

Information and communication technologies enabled cultural and scientific patrimony -and information in general- to be presented in digital format, as well as in traditional analogical formats. The response was immediate and since the decade of the 1990s different projects have been designed to guarantee permanent access to the digital production -retrieval, storage, handling, preservation and dissemination. This article presents an international overview of existing models of national digital repositories, a name given to these projects that are normally generated by national libraries with a common objective: ensuring that web pages are always accessible.

Lo ético y la «mera» lógica

De la noción kantiana de «ética autónoma» es parte el reconocimiento de que cada decisión tiene la forma lógica de universal sin tener, en cambio, efectiva universalidad, por lo cual es posible que una decisión esté en contradicción con su propia forma lógica. Esto exige una averiguación sobre el significado de «contradicción» y de «mera» lógica en Kant con el fin de aclarar en qué sentido el enjuiciamiento moral ha de tener el carácter de confrontación «lógica».

La forma lògica de les oracions d'acció i la tesi d'Anscombe

This paper has three sections. In the first one, I expose and discuss Davidson's semantic account of adverbial sentences: the basic idea is that these sentences involve quantification over events, and I defend that view from opposing perspectives like the theory of adverbs as predicate modifiers. In the second section I defend the claim that in english constructions following the scheme: ¿X did V by T-ings¿, we are referring to the same action of X; what is sometimes called ¿The Anscombe Thesis¿. Again I discuss competing theories only to conclude that the Anscombe Thesis is true. In the third section, however, it is shown that to assume as premisses these two theses -Davidson's account and the Anscombe Thesis- leads to a serious conflict. Alternative solutions are worked out and rejected. It is also argued that the only tenable solution depends on certain metaphysical assumptions. Finally, however, I will cast doubt on this solution.

Entrenament d'un ciclista esprinter mitjançant la força explosiva: avaluació dels efectes d'un entrenament específic

La principal fita dels ciclistes ha estat sempre l’entrenament per millorar les seves condicions i prestacions fisiològiques. Al llarg dels anys, el ciclisme com pràcticament tot l’esport s’ha anat modernitzant, no només tecnològicament. Això ha provocat l’aparició d’especialistes, corredors destinats a destacar, només en unes determinades condicions, per sobre els demés. Una d’aquestes condicions més restringides son les arribades massives, terreny dels anomenats esprinters, els quals brillen per sobre els demés degut a la seva potència, velocitat punta i arrancada. L’entrenament d’aquesta tipologia d’especialitat ha deixat entreveure varies ambigüitats i algunes problemàtiques de fonament teòric. L’esprint en el ciclisme es dona després d’un gran desgast de les reserves energètiques i de fatiga muscular. Per tant, entrenar-lo amb blocs de velocitat no té lògica. Tampoc es una opció viable el recurs que molts equips utilitzen: agafar corredors joves de la pista, i que la seva genètica (fibres ràpides) i les seves característiques de pistard1 facin la resta, perquè al pas dels anys perden aquesta exclusivitat. Aquest estudi es proposa buscar una manera de treballar i potenciar l’esprint del ciclista a partir de la força explosiva, garantint preservar les condicions aeròbiques per tal de que no perjudiqui per altra banda la seva resistència. Per tal d’aconseguir-ho, s’efectuaran uns tests. Un focalitzat en mesurar les prestacions en un esprint dels subjectes. L’altra es basarà en avaluar la força explosiva d’aquets, a partir de salts verticals. Un cop obtinguts els resultats de la primera tanda, els subjectes seran sotmesos a un entrenament combinat de sobrecàrrega, per tal de observar, en la segona tanda, si els resultats son significatius. Com a conclusió, es podria destacar el fet de millora en la majoria d’aspectes en tots els tests per part de tots els subjectes, i que probablement, hi ha una correlació significativa entre la força explosiva i la capacitat per esprintar, tot i que s’haurien de corroborar els resultats amb una mostra més gran.

Totes les vacances són diferents. És més beneficiós fer el descans anual sempre a la mateixa època i recordar-lo

Les vacances, el descans mensual, ens influeixen des del punt de vista psicològic i fisiològic, en vista de dos treballs científics recents que analitzen minuciosament els seus efectes.

Propuesta Teórica de Webmining para Detección de Intrusos mediante Lógica Borrosa

Las aplicaciones técnicas basadas en Lógica Borrosa para la detección de intrusos (IDS), están demostrando ser un enfoque adecuado para solucionar muchos de los problemas de seguridad. Esta investigación propone el modelo teórico necesario para el desarrollo de un método de detección de intrusos web basado en lógica difusa, diseñado para identificar el ataque mediante reglas y ofrecer el grado del ataque mediante lógica difusa. La actividad que no cumpla con las reglas borrosas tras una parametrización de experto es considerada acceso malicioso. De esta manera, el principal propósito de la presente investigación consistirá en elaborar un modelo de Sistema Experto Borroso aplicado a la Detección de Intrusos WEB, para ello la propuesta consiste en profundizar en los dos aspectos siguientes: el diseño de un SBRB y aplicar la adaptación de estos modelos en ¿minería de datos¿ relativos a la detección de intrusos. La presenten investigación muestra las reglas para identificar tráfico malicioso en web-logs y se presenta a nivel teórico el sistema de SBRB.