Absolute type shaft encoding using LFSR

Maximal-length binary sequences have been known for a long time. They have many interesting properties, one of them is that when taken in blocks of n consecutive positions they form 2ⁿ-1 different codes in a closed circular sequence. This property can be used for measuring absolute angular positions as the circle can be divided in as many parts as different codes can be retrieved. This paper describes how can a closed binary sequence with arbitrary length be effectively designed with the minimal possible block-length, using linear feedback shift registers (LFSR). Such sequences can be used for measuring a specified exact number of angular positions, using the minimal possible number of sensors that linear methods allow.

A public-key cryptosystem based on second order linear sequences

Based on Lucas functions, an improved version of the Diffie-Hellman distribution key scheme and to the ElGamal public key cryptosystem scheme are proposed, together with an implementation and computational cost. The security relies on the difficulty of factoring an RSA integer and on the difficulty of computing the discrete logarithm.

Folner sequences and finite operators

This article analyzes Folner sequences of projections for bounded linear operators and their relationship to the class of finite operators introduced by Williams in the 70ies. We prove that each essentially hyponormal operator has a proper Folner sequence (i.e. a Folner sequence of projections strongly converging to 1). In particular, any quasinormal, any subnormal, any hyponormal and any essentially normal operator has a proper Folner sequence. Moreover, we show that an operator is finite if and only if it has a proper Folner sequence or if it has a non-trivial finite dimensional reducing subspace. We also analyze the structure of operators which have no Folner sequence and give examples of them. For this analysis we introduce the notion of strongly non-Folner operators, which are far from finite block reducible operators, in some uniform sense, and show that this class coincides with the class of non-finite operators.

Especificación e implementación de una librería para el estudio de la secuencia de excentricidades de un grafo

Implementación de una librería en Java capaz de calcular grafos conexos, incluidos todos los grafos conexos no isomorfos a un orden dado y sus respectivas tablas de secuencias de excentricidades (para órdenes pequeños). Aparte se ha realizado un estudio del sistema Nauty y se han utilizado sus ficheros auxiliares.

Matemàtica i música amb ADN

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 2005. Estudi sobre l’ADN que té com a finalitat conèixer introductòriament l’utilització del càlcul matemàtic computacional en les investigacions sobre aquest. Els objectius de l’estudi són per una part, conèixer què és l'ADN i quins són els seus mecanismes de duplicació i de transmissió de la informació genètica, així com el paper d'altres molècules que intervenen en aquest procés ; també s’estudia quins han estat els processos de la cèl·lula que l'ésser humà ha estat capaç de copiar o imitar. A partir d’aquesta introducció, es vol conèixer què s'entén concretament per computació amb ADN i alguns dels problemes matemàtics que s'han resolt, així com algunes aplicacions de l'ADN en altres camps. La recerca ha permès arribar a diverses conclusions. Primerament que l'ADN és un excel·lent candidat per poder fer càlculs matemàtics. En segon lloc, tot i que en el present treball no se solucionen problemes computacionalment difícils es mostra la capacitat de les molècules d'ADN per resoldre problemes. En tercer lloc, l'interès mostrat per importants empreses dedicades a la informàtica fa més esperançador que en un futur hi pugui haver ordinadors que funcionin amb molècules d'ADN. Finalment, es demostra que les matemàtiques, la informàtica i la biologia són tres camps que estan interrelacionats. Per tal de trencar una mica amb la serietat del treball, s'acaba descrivint una manera de posar música a les cadenes d'ADN, i es mostren alguns resultats com són les músiques associades als 24 cromosomes humans, així com les corresponents a 29 proteïnes.

Bioinformàtica: add-in d'anàlisi i manipulació de seqüències per Microsoft Word

L'objectiu del projecte consisteix en el desenvolupament d'un add-in d'anàlisi i manipulació de seqüències, senzill i de fàcil ús, integrable en l'entorn Microsoft Word per permetre la manipulació de seqüències genètiques directament des de Microsoft Word, estalviant temps, en evitar haver de canviar constantment de programa i format per treballar amb elles; i, també, complicacions a l'usuari final. L'add-in ha estat desenvolupat en Visual Basic + VSTO i ofereix diverses funcionalitats d'edició i anàlisi de seqüències, com ara el complement, la recerca de motius o l'alineament.

Formació de professorat per a una educació matemàtica de familiars en contextos multiculturals

El projecte “Formació de professorat per a una educació matemàtica de familiars en contextos multiculturals” ha consistit en el desenvolupament i anàlisi d’estratègies formatives en matemàtiques per a familiars d’alumnat de primària i secundària. El projecte dóna resposta a la necessitat de donar eines als familiars de l’alumnat per a facilitar-los l’accés a les matemàtiques que estan aprenent els seus fills i filles i poder ajudar-los. D’aquesta manera se superen les distàncies existents entre les matemàtiques que coneixen els pares/les mares i les que s’ensenyen a l’escola, que s’incrementen en el cas de famílies provinents d’altres països, i es contribueix a desenvolupar una educació de qualitat que faciliti l’assoliment d’una igualtat de resultats educatius entre l’alumnat, en el respecte a les diferències entre cultures, i establint lligams entre l’escola i la comunitat. A través del desenvolupament de dos “tallers de matemàtiques” per a familiars, a una escola de primària i a un institut de secundària, i partint del coneixement existent en educació de persones adultes i del diàleg igualitari entre les diferents persones participants, s’han pogut identificar elements rellevants en la formació matemàtica de familiars que faciliten el seu aprenentatge de les matemàtiques, així com estratègies per a ajudar els seus fills/es en l’aprenentatge de les matemàtiques. Partint d’aquestes situacions reals de formació de pares i mares que s’han donat als tallers, s’han creat materials didàctics que poden ser emprats en altres contextos de formació de familiars: per una banda, un recull de materials en format llibre que poden ser emprats per part de professorat que treballi en formació de familiars o pels propis familiars per a treballar amb els seus fills/es; per altra banda, un material audiovisual amb situacions claus que il·lustren estratègies i elements rellevants per a la formació matemàtica de familiars.

La programació al servei de la matemàtica

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 2009. La programació al servei de la matemàtica és un programa informàtic fet amb Excel i Visual Basic. Resol equacions de primer grau, equacions de segon grau, sistemes d'equacions lineals de dues equacions i dues incògnites, sistemes d'equacions lineals compatibles determinats de tres equacions i tres incògnites i troba zeros de funcions amb el teorema de Bolzano. En cadascun dels casos, representa les solucions gràficament. Per a això, en el treball s'ha hagut de treballar, en matemàtiques, amb equacions, nombres complexos, la regla de Cramer per a la resolució de sistemes, i buscar la manera de programar un mètode iteratiu pel teorema de Bolzano. En la part gràfica, s'ha resolt com fer taules de valors amb dues i tres variables i treballar amb rectes i plans. Per la part informàtica, s'ha emprat un llenguatge nou per l'alumne i, sobretot, ha calgut saber decidir on posar una determinada instrucció, ja que el fet de variar-ne la posició una sola lí­nea ho pot canviar tot. A més d'això, s'han resolt altres problemes de programació i també s'ha realitzat el disseny de pantalles.

Les TIC a l'ensenyament de la modelització matemàtica en Ciències Econòmiques i en Ciències Experimentals

Aquest projecte proposa materials didàctics per a un nou plantejament de les assignatures de Matemàtiques dels primers cursos de Ciències Empresarials i d'Enginyeria Tècnica, més acord amb el procés de convergència europea, basat en la realització de projectes que anomenem “Tallers de Modelització Matemàtica” (TMM) en els quals: (1) Els alumnes parteixen de situacions i problemes reals per als quals han de construir per sí mateixos els models matemàtics més adients i, a partir de la manipulació adequada d’aquests models, poden obtenir la informació necessària per donar-los resposta. (2) El treball de construcció, experimentació i avaluació dels models es realitza amb el suport de la calculadora simbòlica Wiris i del full de càlcul Excel com a instruments “normalitzats” del treball matemàtic d’estudiants i professors. (3) S’adapten els programes de les assignatures de matemàtiques de primer curs per tal de poder-les associar a un petit nombre de Tallers que parteixen de situacions adaptades a cada titulació. L’assignatura de Matemàtiques per a les Ciències Empresarials s’articula entorn de dos tallers independents: “Matrius de transició” pel que fa a l’àlgebra lineal i “Previsió de vendes” per a la modelització funcional en una variable. L’assignatura de Matemàtiques per a l’Enginyeria s’articula entorn d’un únic taller, “Models de poblacions”, que abasta la majoria de continguts del curs: successions i models funcionals en una variable, àlgebra lineal i equacions diferencials. Un conjunt d’exercicis interactius basats en la calculadora simbòlica WIRIS (Wiris-player) serveix de suport per al treball tècnic imprescindible per al desenvolupament de les dues assignatures. L’experimentació d’aquests tallers durant 2 cursos consecutius (2006/07 i 2007/08) en dues universitats catalanes (URL i UAB) ha posat en evidència tant els innegables avantatges del nou dispositiu docent per a l’aprenentatge dels estudiants, així com les restriccions institucionals que actualment dificulten la seva gestió i difusió.

Aula matemàtica, 2a. part. : un projecte per a la millora de l'aprenentatge de les matemàtiques a la UAB

El projecte Aula Matemàtica consta de dues parts. 1. Elaborar un material d'autoaprenentatge en suport digital que cobreixi tots els temes de Matemàtiques de 1r. curs de les carreres de Ciències (Biologia, Química, etc.) i les Enginyeries. Aquest material, accessible des de qualsevol ordinador connectat a Internet, és una base de dades de problemes que els alumnes poden utilitzar per a treballar el temes explicats a classe, o be per cobrir deficiències a la seva formació pre-universitària. Al mateix temps, es poden realitzar exàmens, i els alumnes poden practicar amb els problemes d'examen. 2. Durant unes hores cada dia, oferir una (o diverses) aules d'informàtica al campus de la UAB amb presència de personal de suport (professors, o becaris de darrers cursos de matemàtiques o doctorat) per tal que els alumnes que vulguin (o necessitin) puguin practicar amb ajuda, i consultat els dubtes que tinguin. En la fase actual del projecte s’han fet les següents actuacions: 1. S’ha obert una aula d’informàtica amb suport de becaris a la facultat de Ciències, on a més de practicar els alumnes, s’han efectuat exàmens. 2. S’ha treballat en el programa per tal de fer-lo més amigable. 3. S’ha ampliat la base de problemes fins a 1450, i cobrir totes les assignatures de Matemàtiques i Estadística de 1r. curs de la facultat de Ciències i l’Escola Tècnica Superior d’Enginyeries. 4. S’ha començat a treballar per a la utilització del programa a Secundària. 5. S’han fet avanços molt importants per tal d’incorporar problemes amb resposta oberta. 6. El programa és accessible des de qualsevol ordenador amb Internet.

Pla de millora de la docència del Departament de Matemàtica Econòmica, Financera i Actuarial

La finalitat del projecte (bianual 2007-09) era aconseguir una millora de la docència que imparteix el Departament de Matemàtica Econòmica, Financera i Actuarial. La nostra tasca principal ha consistit en obtenir uns indicadors que ens permetessin conèixer millor el nostre alumnat, per tal de tenir la màxima informació a l'hora de plantejar la revisió global que representa la implantació dels nous graus d’acord amb les directrius del procés de Convergència Europea. En aquest projecte han participat tots els coordinadors de les assignatures obligatòries del Departament i els tres Grups d’Innovació Docent formats per membres del Departament. S’han analitzat les dades de les assignatures des del curs 2000-01 fins 2006-07 per tal de tenir informació sobre l’eficàcia de cursar les assignatures d’Introducció a les Matemàtiques i la seva incidència en els aprovats a Matemàtiques I i II . També s’han estudiat dades sobre el col·lectiu de repetidors. Com a resultat d’aquest estudi i de les enquestes que s’han fet, s’han redactat dos articles: “Propuesta de mejora de la actuación docente a partir de las características del alumnado de primer curso de Matemáticas en la Facultad de Economía y Empresa de la Universidad de Barcelona” y “Estudio del perfil del alumnado de primer curso en la Facultad de Economía y Empresa de la Universidad de Barcelona” que s’han presentat a dos congressos d’Innovació Docent (Burgos, setembre-2009 i Vigo, juliol-2009).

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.

Optimització d'una aplicació bioinformàtica d'aliniament de seqüències executada en processadors many-core (GPUs)

Las herramientas de análisis de secuencias genómicas permiten a los biólogos identificar y entender regiones fundamentales que tienen implicación en enfermedades genéticas. Actualmente existe una necesidad de dotar al ámbito científico de herramientas de análisis eficientes. Este proyecto lleva a cabo una caracterización y análisis del rendimiento de algoritmos utilizados en la comparación de secuencias genómicas completas, y ejecutadas en arquitecturas MultiCore y ManyCore. A partir del análisis se evalúa la idoneidad de este tipo de arquitecturas para resolver el problema de comparar secuencias genómicas. Finalmente se propone una serie de modificaciones en las implementaciones de estos algoritmos con el objetivo de mejorar el rendimiento.

Optimització d'una aplicacio bioinformàtica d'alineament de seqüències executada en processadors multi-core i many-core (GPUs)

Las aplicaciones de alineamiento de secuencias son una herramienta importante para la comunidad científica. Estas aplicaciones bioinformáticas son usadas en muchos campos distintos como pueden ser la medicina, la biología, la farmacología, la genética, etc. A día de hoy los algoritmos de alineamiento de secuencias tienen una complejidad elevada y cada día tienen que manejar un volumen de datos más grande. Por esta razón se deben buscar alternativas para que estas aplicaciones sean capaces de manejar el aumento de tamaño que los bancos de secuencias están sufriendo día a día. En este proyecto se estudian y se investigan mejoras en este tipo de aplicaciones como puede ser el uso de sistemas paralelos que pueden mejorar el rendimiento notablemente.

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