Blog de la Biblioteca de Matemàtiques i Informàtica


1 comentari

Un TFG resol la senyalització digital al CRAI Biblioteca de Matemàtiques i Informàtica

Introducció

Just abans del confinament vam comprar un televisor per posar-lo al vestíbul de la biblioteca, amb l’objectiu de difondre tota mena d’informacions d’interès per als nostres usuaris. Malgrat que l’aparell té un sistema de reproducció multimèdia propi, és molt limitat: no pot intercalar imatge estàtica amb vídeo, no es pot programar, cal seleccionar cada dia els fitxers a reproduir, només hi ha un mode de reproducció —seqüencial—, cal extreure la memòria USB, connectar-la a un ordinador i tornar-la a connectar al televisor cada vegada que volem copiar-hi un fitxer nou…

Després d’explorar opcions comercials i sistemes lliures vam arribar a la conclusió que ens convenia un sistema a mida. Calia que fos lliure, àgil, versàtil, remot, tant automatitzat com fos possible i, a poder ser, fàcilment exportable.

A finals del curs passat vam proposar a la Facultat un Treball Final de Grau que resolgués aquesta necessitat. Durant el primer quadrimestre d’aquest curs, Vicent Núñez Delgado, alumne del grau d’Enginyeria Informàtica, va assumir el TFG que ha originat el sistema de senyalització adoptat.

El TFG

El treball s’ha realitzat durant el primer quadrimestre del curs 2020-2021, mitjançant metodologia àgil.

La primera reunió es va celebrar el 25 de setembre i la darrera el 18 de desembre. En total se’n van fer 7, d’una a dues hores, deixant intervals de 15 dies entre l’una i l’altra. Aquests períodes de temps permetien treballar els objectius que s’havien plantejat en cada trobada, comprovar-ne els resultats i definir ajustos, si calia.

Del 18 de desembre al 7 de gener es van fer proves exhaustives per comprovar totes les funcionalitats del programa i per assegurar-se que no apareixien més bugs, prèviament no detectats. El 7 de gener de 2021 es va fer la instal·lació definitiva. Des d’aquell dia, el sistema ha estat en funcionament sense interrupcions.

El TFG es va defensar el dia 10 de febrer. Tant la memòria com el codi font són al Dipòsit Digital: http://hdl.handle.net/2445/174208.

El sistema de senyalització

Raspberry Pi 4 Model B
Raspberry Pi 4 Model B. Fotografia de Miiicihiaieil Hieinizilieir / Wikimedia Commons

El sistema, basat en arquitectura client-servidor i desenvolupat amb programari lliure, funciona allotjat en una Raspberry Pi 4, connectada al televisor i a la xarxa. Permet gestionar remotament els continguts a reproduir —vídeos i imatges estàtiques— amb el navegador de l’usuari i els mostra al televisor, en un navegador maximitzat. Està programat per engegar-se i apagar-se d’acord amb l’horari d’obertura.

Pestanya de contingut
Pestanya de contingut

La interfície, clara i neta, està concebuda amb la intenció que qualsevol persona la pugui gestionar. No calen coneixements ni habilitats previs més enllà de certa familiaritat amb un navegador. Organitzada en pestanyes, diferencia clarament els continguts de la llista de reproducció, que és l’ànima del sistema. Admet quatre modes de reproducció diferents i l’automatització de la cua, tot plegat gestionat des de la xarxa interna de la UB.

El programa contempla també la gestió dels usuaris i un mode de manteniment, que permet aturar la cua de reproducció mentre s’hi fan canvis, mostrant al mateix temps un vídeo prèviament definit. D’aquesta manera es pot controlar en tot moment el que mostra el televisor, fins i tot mentre s’està modificant el comportament de la cua de reproducció.

Modes i algorismes de reproducció

El sistema contempla quatre modes de reproducció diferents:

  • Seqüencial: És el mode de reproducció bàsic, que respon a l’esquema FIFO. Els fitxers es reprodueixen l’un darrere l’altre en l’ordre que apareixen a la llista. Quan s’ha reproduït el primer, baixa fins al final de la llista i va escalant posicions fins que es torna a reproduir.
  • Intercalat: El funcionament és igual a l’anterior però entre element i element es reprodueix el fitxer que seleccionem com a fitxer intercalat. Això ens permet promocionar un determinat contingut de manera que es reprodueixi una vegada de cada dues.
  • Aleatori: Aquest mode de reproducció es basa en un algorisme aleatori però sense repeticions. Tria el fitxer a reproduir de manera aleatòria, però només entre els fitxers que encara no s’han reproduït. Quan tots els fitxers ja s’han reproduït, els torna a marcar com a no reproduïts i comença un nou cicle de reproducció.
  • Aleatori-Intercalat: És una combinació entre el mode aleatori i els mode intercalat però amb una variació: per evitar que el fitxer intercalat es reprodueixi tantes vegades, l’algorisme comprova que no s’hagi reproduït just abans en el torn aleatori. Dit d’una altra manera: no es reprodueix mai dues vegades seguides.
Llista de reproducció
Llista de reproducció

Després d’uns mesos de feina intensa estem molt satisfets amb el resultat. Aprofitem per agrair al Vicent Núñez la seva excel·lent feina i a l’Eloi Puertas la implicació en el projecte.


Deixa un comentari

SIMBa: Identities in prime rings

SIBMa

El proper dimecres, 10 de febrer, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: José  Brox
Universitat: Centre for Mathematics of the University of Coimbra (CMUC).

Data: Wednesday, February 10th, 2021.
Hora: 12:00,virtual coffee break; 12:20, talk.
Lloc: Zoom (the link will be posted on our website).
Idioma: English.

Títol: Identities in prime rings.
Resum: Given a ring, a generalized polynomial identity (GPI) is a polynomialidentity in which the coefficients can be taken from the ring. Primerings are a class of rings very well suited to manage problems related toidentities, as for example those coming from Herstein’s theory, which isthe study of nonassociative objects and structures arising from associa-tive rings. After a motivating introduction to prime rings, with someexamples from Herstein’s theory, I will show the usefulness of Martin-dale’s lemma, the key tool for solving GPIs in one variable in primerings, and I will explain a new promising approach to solve them basedon elementary algebraic geometry which avoids some shortcomings ofthe lemma, allowing to find the optimal solutions.

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


Deixa un comentari

SIMBa: Persistent homology and barcode distance

SIBMa

El proper dimecres, 27 de gener, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: Marco Praderio Bova
Universitat: Lancaster University.

Data: Wednesday, January 27th, 2021.
Hora: 12:00,virtual coffee break; 12:20, talk.
Lloc: Zoom (the link will be posted on our website).
Idioma: English.

Títol: Persistent homology and barcode distance.
Resum: Persistent homology is an algebraic topology tool that has gained alot of relevance in topological data analysis during the past few years.During this lecture we will introduce this concept from a categoricalpoint of view and use category theory techniques in order to provewhat is known as stability theorem.

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


Deixa un comentari

SIMBa: Time-dependent branching processes: a model of oscillating neuronalavalanches

SIBMa

El proper dimecres, 13 de gener, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: Rosalba García Millán
Universitat: Imperial College London.

Data: Wednesday, January 13th, 2021.
Hora: 12:00,virtual coffee break; 12:20, talk.
Lloc: Zoom (the link will be posted on our website).
Idioma: English.

Títol: Time-dependent branching processes: a model of oscillating neuronalavalanches.
Resum: Recently, neuronal avalanches have been observed to display oscilla-tions, a phenomenon regarded as the co-existence of a scale-free be-haviour (the avalanches close to criticality) and scale-dependent dy-namics (the oscillations). Ordinary continuous-time branching pro-cesses with constant extinction and branching rates are commonly usedas models of neuronal activity, yet they lack any such time-dependence.In my talk, I will show how we extended a basic branching process byallowing the extinction rate to oscillate in time as a new model to de-scribe cortical dynamics. I will discuss about some observables, suchas the avalanche shape, that we calculated in closed form by meansof a perturbative field theory, and compared to available experimentalresults.

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


Deixa un comentari

SIMBa: Strand diagrams and generalised braided Thompson’s groups

SIBMa

El proper dimecres, 16 de desembre, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: María Cumplido Cabello
Universitat: Universidad Complutense de Madrid.

Data: Wednesday, December 16th, 2020.
Hora: 12:00,virtual coffee break; 12:20, talk.
Lloc: Zoom (the link will be posted on our website).
Idioma: Spanish.

Títol: Strand diagrams and generalised braided Thompson’s groups.
Resum: This is a joint work with Julio Aroca. There is a generalisation of Thompson’s groups constructed from the Thompson’s group V and Artin’s braid group. The braided Thompson’s group B V_{2} was independently introduced by Patrick Dehornoy and Matthew G. Brin in 2006. In this talk we will explain how two extend this concept to a much bigger family of groups by using infinite braids: Infinitely braided Thompson’s groups B V_{n}(H) where H is a subgroup of the braid group on n strands. We will prove that they are indeed groups by using braided diagrams and rewriting systems. We will also see that they are finitely generated if H is finitely generated and give an explicit set of generators for B V_{n}(H) and some other cases. Slides will be in English and the talk will be given in Spanish.

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


Deixa un comentari

SIMBa: Relationship between victorian eugenecists and slot machine free-game- Branching Processes

SIBMa

El proper dimecres, 9 de desembre, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: Àngel Joaniquet Tukiainen
Universitat: Zitro.

Data: Wednesday, December 9th, 2020.
Hora: 12:00,virtual coffee break; 12:20, talk.
Lloc: Zoom (L’enllaç apareixerà al web del SIMBA el mateix dia de cada xerrada.)
Idioma: English

Títol: Relationship between victorian eugenecists and slot machine free-game- Branching Processes.
Resum: Originaly, the first branching processes where studied to ensure thes urvival of surnames on Victorian Era aristocrat familes. These use is actually futile as insuficient data, changing laws or simply name changes (ask Victoria’s grandson, Edward) make this idealization irrelevant. Since then, branching processes have found uses beyond surnames, like studing general reproduction, or neutron counts on nuclear reactions. In this talk we will present multi-type branching proceses and how they can be used to model and control populations of germs (or how to know if a slot machine is good).

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


Deixa un comentari

SIMBa: Geometric analysis under integral curvature conditions

SIBMa

El proper dimecres, 18 de novembre, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: Xavier Ramos Olivé.
Universitat: Worcester Polytechnic Institute.

Data: Wednesday, November 18th, 2020.
Hora: 12:00,virtual coffee break; 12:20, talk.
Lloc: Zoom (L’enllaç apareixerà al web del SIMBA el mateix dia de cada xerrada.)
Idioma: English

Títol: Geometric analysis under integral curvature conditions.
Resum: Curvature is a local property. However, assumptions on curvature have implications on global quantities, like the diameter, the eigenvalues of the Laplacian or topological invariants. An n-manifold with Ricci curvature larger than (n-1)K can not have a diameter larger than the one of the n-sphere with constant sectional curvature K. Similarly, the first non-zero eigenvalue of such a manifold can not be smaller than the one of the sphere. In recent years there has been an increasing interest in weakening the curvature assumptions from pointwise lower bounds to integral conditions. Integral conditions are much more general, they are more stable under perturbations of the metric, and can be more suitable for the study of geometric flows. We will discuss some classical and recent results in the fields of geometric analysis and comparison geometry with integral curvature conditions.

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


Deixa un comentari

SIMBa: A walk through the Birch and Swinnerton-Dyer conjecture

SIBMa

El proper dimecres, 4 de novembre, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: Óscar Rivero Salgado.
Universitat: Universitat Politècnica de Catalunya.

Data: Wednesday, November 4th, 2020.
Hora: 2:00,virtual coffee break; 12:20, talk.
Lloc: Zoom (L’enllaç apareixerà al web del SIMBA el mateix dia de cada xerrada.)
Idioma: English

Títol: A walk through the Birch and Swinnerton-Dyer conjecture.
Resum: The Birch and Swinnerton-Dyer conjecture is one of the seven millennium problems posed by the Clay Mathematics Institute. There have been many different approaches along the last decades, but it still remains open. The conjecture relates the rank of an elliptic curve with the order of vanishing of a complex L-function, and it has been proved when the latter is at most one. At this point, there is a natural question posed by Mazur, Tate and Teitelbaum during the eighties: why dowe look at the complex L-function? What about the L-functions attached to other non-archimedian completions of the rational numbers? This question will move us to the p-adic world, where new phenomen aappear, leading us to suggestive points of view about the conjecture

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


Deixa un comentari

SIMBa: The circle method and Linnik–Goldbach problems

SIBMa

El proper dimecres, 7 d’octubre, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: Shehzad Hathi.
Universitat: UNSW Canberra at ADFA.

Data: Wednesday, October 7th, 2020
Hora: 12:00,virtual coffee break; 12:20, talk.
Lloc: Zoom (L’enllaç apareixerà al web del SIMBA el mateix dia de cada xerrada.)
Idioma: English

Títol: The circle method and Linnik–Goldbach problems
Resum: The circle method has its roots in a 1918 paper by Hardy and Ra-manujan which dealt mainly with the partition function, but also withthe representation of numbers as sums of squares. Since then, it hasbeen used with remarkable success by Hardy, Littlewood, Vinogradov,among others, in the field of additive number theory. In this talk, wewill focus on the main ideas of the circle method and illustrate its usein the Linnik–Goldbach problems.

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


Deixa un comentari

SIMBa (confinat): There are no Banach function spaces, only weighted L2

SIBMa

El proper dimarts, 23 de juny, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: Sergi Baena i Miret.
Universitat: Universitat de Barcelona.

Data: Tuesday, 23th of June
Hora: 12:00, virtual coffee break (bring your coffee); 12:20, talk.
Lloc: Zoom meeting. A link will be sent via email, please sign up in our web.
Idioma: English

Títol: There are no Banach function spaces, only weighted L^{2}
Resum: An important property of the A_{p} weights is the extrapolation theorem of Rubio de Francia. It was announced in 1982 and givenwith a detailed proof in 1984, both by J.L. Rubio de Francia. Inits original version, reads as follows: if T is a sublinear operator which satisfies the strong type boundedness:

T: L^{2}(v) \rightarrow L^{2}(v)

for every weight v \in A_{2} with constant only depending onv, then for 1<p<\infty,

T: L^{p}(v) \rightarrow L^{p}(v)

is bounded for every v \in A_{p}, with constant depending only on v We will make a review of some of the different versions that have been appeared since then.

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.