On p-optimal proof systems and logics for PTIME

"Vegeu el resum a l'inici del document del fitxer adjunt"

On slicewise monotone parameterized problems and optimal proof systems for TAUT

"Vegeu el resum a l'inici del document del fitxer adjunt"

Consistency and optimality

Assume that the problem Qo is not solvable in polynomial time. For theories T containing a sufficiently rich part of true arithmetic we characterize T U {ConT} as the minimal extension of T proving for some algorithm that it decides Qo as fast as any algorithm B with the property that T proves that B decides Qo. Here, ConT claims the consistency of T. Moreover, we characterize problems with an optimal algorithm in terms of arithmetical theories.

El Sistema electoral a Austràlia: convivència en la complexitat democràtica

L’objectiu d’aquestes pàgines és descriure el desenvolupament del sistema electoral a Austràlia des de la perspectiva que comporta tant la seva complexitat com flexibilitat. Una complexitat a què s’ha acostumat el ciutadà australià fruit de la naturalesa federal del país. En comptes que les modificacions en les regles del joc democràtic facin perillar la credibilitat del poder polític, Austràlia sempre ha conservat una ferma evolució política a partir dels eixos de buscar la millor representació ciutadana. Aquesta diversitat i sofisticació constant no han portat a la ciutadania a una desinhibició de les regles democràtiques, sinó que s’ha combinat amb una participació electoral obligada dels ciutadans que els implica directament amb el seu sistema polític.

Software per al càlcul de la taxa de ventilació d'hivernacles multitúnel

La ventilació és un procés fonamental, que influeix en el clima interior de l'hivernacle. La ventilació contribueix al control de la temperatura, la humitat i la concentració de gasos (com el CO2) de l'aire interior i, en conseqüència, influeix en el creixement i desenvolupament dels conreus. Malgrat la seva importància, el seu càlcul resulta una mica complex. Amb l'objectiu de facilitar una aproximació a aquest valor, es presenta aquest full de càlcul. Introduint les dades del vostre hivernacle multitúnel i les condicions de vent, direcció i velocitat, s'obtindrà un valor d'aquestes renovacions. Instruccions per al Càlcul de la Taxa de Ventilació de l'Hivernacle Multitúnel 1. Introduir les dimensions de l'hivernacle (cel.les en vermell) 2. Característiques de les finestres 3. Introduir la velocitat del vent 4. Introduir la direcció en què es troben orientades les finestres en relació al vent

Projecte en infraestructures comunes en telecomunicacions i guia de càlcul dels paràmetre de la instal·lació

Els projectes en infraestructures comunes de telecomunicacions (ICT) neixen de la necessitat de regular els serveis de telecomunicacions dins de les cases, d’aquesta manera s’evita la proliferació de sistemes (antenes) individuals en conjunts residencials (com és el nostre cas). L’objectiu d’aquest projecte és la realització d’una ICT, per als serveis de Radiodifusió Sonora i de televisió (RTV) terrestre, telefonia i de la previsió per als serveis de cable i de televisió per satèl·lit, seguint la normativa vigent estatal segons el Reial Decret 401/2003 i actualitzat amb l’Ordre ITC 1077/2006 (on s’incorpora la televisió digital terrestre).

Càlcul distribuït en BOINC per el trencament de l'algorisme RC5

Aquest projecte té com a objectiu participar en el desafiament d'RSA Laboratories corresponent a trencar el criptosistema RC5-32-12-9 proposat. Per realitzar-ho s'ha triat realitzar un atac per força bruta, mitjançant el càlcul distribuït i, més concretament, utilitzant la Public Resource Computing. La plataforma escollida és la Berkeley Open Infrastructure for Network Computing (BOINC), coneguda per la seva utilització en grans projectes com ara SETI@home. En aquest projecte es posa en funcionament la infraestructura i es desenvolupen les aplicacions necessàries per iniciar els càlculs que haurien de permetre el trencament del criptosistema.

COMUNICAEMAT: comunicant objectius matemàtics unint nombres, càlcul, algebra, espai, mesura anglès i tecnologia

S' ha realitzat una anàlisi de processos comunicatius i didàctics en un treball de matemàtiques a Primària en llengua anglesa, emmarcat dins un projecte escolar plurilingüe. El treball s' organitza en forma de recerca-acció que analitza dos objectius principals: (a) elaboració de propostes d' activitat matemàtica i de formació de professorat, i (b) anàlisi del treball realitzat en una experiència escolar. Els resultats mostren que: (1) Les dificultats generals observades, es centren més sobre el contingut de la llengua matemàtica (anomenat L4), pel damunt de les pròpies de l’ús de la llengua anglesa L3. (2) Les decisions del professorat privilegiant l’ús de L1 i L2 (català i castellà) per a treballar L4 s’han mostrat positives i adients. La proposta elaborada, que segueix el model CLIL (Content Language Integrated Learning) ha estat positiva i reproduïble (3) Ha estat possible constatar un bon treball amb els estudiants de formació inicial de mestres de llengua estrangera futurs docents dins l'assignatura de Matemàtiques i la seva Didàctica.a la Formació de professorat. Tanmateix es reconeixen dificultats degudes al poc coneixement previ dels estudiants en L3 i L4 i el fet de ser la primera experiència d’aquest tipus que realitzen. (4) L’alumnat de l’escola és capaç de tenir una bona conversa oral en anglès al final de Primària, que creix en qualitat fins dominar estructures causals pròpies del raonament deductiu. (5) L’alumnat guanya en confiança en l’ús de les quatre llengües ,(6) el professorat incorpora relativament elements didàctics nous en la seva acció pedagògica.

Inventari de CO2 a l’àrea de Barcelona com exemple d’emissions de gasos amb efecte hivernacle: càlcul de les emissions amb les eines de SIG i publicació dels resultats amb software lliure

El present document és la memòria descriptiva dels treballs realitzats per Matthias Wozel durant el projecte final del Màster en Tecnologies de la Informació Geogràfica, 12ª edició, durant el transcurs del conveni de col·labració entre el Departament de Geografia i AUMA Consultores en medio ambiente y energía SL. El projecte final consisteix, en primer lloc, en l’elaboració d’un inventari d’emissions de CO2 causades per la combustió i per processos industrials per a l’àrea de Barcelona per l’any 2008. L’inventari diferencia les emissions segons els tipus d’activitat: trànsit, port, aeroport, focus industrials, singulars i centrals elèctriques i focus domèstics i comercials. A la segona part del projecte es publiquen els resultats de l’inventari a una aplicació web amb software lliure

Estudi del desplegament de xarxes sense fil en l'àmbit d'un hospital universitari multicèntric i d'alta complexitat

Determinar el procedimiento que se deberá llevar a cabo para realizar las medidas de campo del alcance y, en caso de que se den las circunstancias, llevar a cabo la medición de la interacción con el resto del equipamiento médico de determinadas zonas críticas.

Càlcul volumètric de terres amb SIG en l'explotació de recursos del subsòl

Assolir un coneixementsuficient dels fonaments en que es basen les eines SIG, i el desenvolupament d¿unprojecte que ens permetrà el càlcul del volum dels diferents tipus de terres que formenel subsòl d¿un area determinada de terreny utilitzant el programari lliure GvSig iSextante.

Mètode alternatiu a la modelització gràfica en el càlcul de l'espai necessari per crear zones lineals d'aparcament en vies urbanes

Aquest mètode permet calcular numèricament l'espai necessari per crear zones lineals d'aparcament d' n places sense haver de recórrer a la modelització gràfica. Està dissenyat especialment per trobar amb facilitat les característiques òptimes de zones d'aparcament en vies amb limitacions d'espai. Aquest estudi és una anàlisi trigonomètrica d'una àrea d'aparcament tenint en compte el comportament d'un vehicle estàndard en la maniobra d'estacionament.

BCN­Routing : càlcul web de rutes amb pgRouting, OpenStreetMap i OpenLayers

En aquest projecte s'ha desenvolupat una interfície web per calcular rutes a la ciutat de Barcelona. Les rutes calculades són a peu, entre un punt d'origen qualsevol i un punt d'interès turístic de la ciutat com a destí. Per això s'han extret les dades dels carrers de Barcelona d'OpenStreetMap i s'han insertat a una base de dades postgreSQL/postGIS, juntament amb una capa vectorial de punts d'interès turístic que s'ha creat amb el SIG d'escriptori qGIS. El càlcul de les rutes amb les dades de la base de dades s'ha realitzat amb l'extensió pgRouting, i la interfície web per seleccionar els punts d'origen i destí, mostrar els mapes, i mostrar les rutes resultat, s'ha desenvolupat utilitzant la llibreria OpenLayers.

BCN-Routing : càlcul web de rutes amb pgRouting, OpenStreetMaps i OpenLayers

Es presenta un sistema acurat de càlcul web d'itineraris mínims (per a vianants i per a vehicles) entre dos punts de la ciutat de Barcelona, un dels quals es triat per l'usuari directament a sobre un mapa i l'altre, alternativament, a sobre el mateix mapa o bé a sobre una llista de selecció de les principals atraccions turístiques de Barcelona.El sistema es troba implementat per medi de MapServer (1) com a servidor, OpenLayers (2) per a la interfície d'usuari, una base de dades PostrgreSQL (3)/PostGIS (4) que recull dades d'OpenStreetMaps (5) per a la navegació i dades introduïdes manualment, per a la llista de selecció d'atraccions turístiques. Per al càlcul d'itineraris es fa servir, pgRouting (6) alhora que s'accedeix a la cartografia de CartoCiudad (7) per a mostrar un mapa de base i opcionalment els noms dels carrers i punts d'interès a partir de les capes FondoUrbano, Vial i Topónimo del servidor WMS de CartoCiudad.Tot el sistema corre a sobre Windows 7 Home Premium (8).Així mateix es presenten quatre noves funcions i un tipus definit per l'usuari de PostgreSQL per al càlcul acurat d'itineraris mínims i l'estudi teòric que justifica la seva bondat.