Regulación del proceso de secado de embutidos crudos-curados mediante la aplicación de lógica borrosa (fuzzy logic)

El presente proyecto tenía como objetivo final el desarrollo de un sistema de control basado en Lógica Fuzzy que permita que el proceso de secado tenga una regulación continua y con una menor dependencia de la experiencia del personal experto, evitando además la formación de encostrado. Asimismo, se plantearon una serie de objetivos parciales, cuya consecución permitiría, además de alcanzar el objetivo final descrito, obtener un conocimiento científico adicional. Por ello, a continuación se resumen los resultados en relación con los objetivos parciales propuestos. Como paso previo, antes de abordar los objetivos planteados se diseñó y construyó un equipo experimental de secado, donde se controló de forma precisa la temperatura, la humedad relativa y la velocidad del aire.

Seguretat a les xarxes Wi-fi, estudi d'una àrea geogràfica concreta: Figueres

Treball de recerca realitzat per un alumne d’ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit científic del Jovent l’any 2008. L’objectiu d’aquest treball és determinar el nivell de seguretat de les xarxes sense fils de la ciutat de Figueres, realitzant una estadística de totes elles.

Coordinació docent concreta i grups pilot EEES com a instruments per la millora de la qualitat docent i com a estratègia per la migració a l'EEES a Facultat de Dret

El projecte s'ha dut a terme a la Facultat de Dret de la Universitat de Barcelona durant el curs 2006-2007 (setembre a juliol). La finalitat principal del projecte ha estat impulsar la coordinació entre docents d'un mateix grup i iniciar la transició cap a l'Espai Europeu d’Ensenyament Superior. En aquest context, les accions desenvolupades han estat la creació de 6 grups pilot (tres a primer, dos a segon i un a tercer) adaptats a l'EEES i la formació d'equips docents dels professors implicats en aquests grups. Des de la Facultat de Dret, es van determinar les característiques i els criteris metodològics que definirien aquests grups i que els docents implicats havien de seguir. Per altra banda, els professors que formaven part d’un mateix grup es constituïen com a equip docent amb la funció de coordinar-se pel bon desenvolupament del grup. Cada equip docent comptava amb la figura del coordinador que era un docent del grup escollit pel conjunt de professors i que tenia com a funcions la de convocar les reunions, redactar les actes amb els acords establerts i fer d’enllaç entre els alumnes i els docents d’un mateix grup. El desenvolupament del projecte s’ha efectuat en tres fases: planificació i definició dels grups pilot i equips docents, l’execució del curs en els criteris metodològics establerts i la de valoració de l’experiència.

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).

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

Desenvolupament d'un entorn virtual orientat a la didàctica de la Lògica Computacional i Estructura i Tecnologia de Computadors

En aquesta memòria es presenta el desenvolupament d'un entorn virtual orientat a la didàctica de la lògica proposicional, aplicada en assignatures de Lògica Computacional i Estructura i Tecnologia de Computadors. L'entorn en si té com a objectiu ser un reforç a l'aprenentatge autodidacta per part de l'alumne en aquestes matèries, així com una eina de seguiment per part del professor.

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.

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.

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

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 investigación muestra las reglas para identificar tráfico malicioso en web-logs y se presenta a nivel teórico el sistema de SBRB.