Universitat Politècnica de Catalunya
UPCommons. Portal del coneixement obert de la UPCNot a member yet
290727 research outputs found
Sort by
Superficie por arcos
No full textVídeos docents de l'assignatura Representació Arquitectònica IV, impartida per Isidro Navarro, PDI de l'ETSABVídeos docentes de la asignatura Representación Arquitectónica IV, impartida por Isidro Navarro, PDI de la ETSA
Design and development of an energy harvester for testing at the IFLUIDS water closed loop pumping system
No full textDue to the environmental problems we face nowadays, it is very important to focus efforts on the development of sustainable energy generation sources. It is also essential that, in addition to being sustainable, these sources are economically viable and capable of meeting the existing demand. This Bachelor’s Thesis is composed of two parts. The first part consists of improving and fine-tuning, based on a preliminary design, the test section of the cavitation tunnel located at the Barcelona School of Industrial Engineering. The main objective of this redesign is to enhance research by adding greater flexibility, allowing different cases to be studied without the need to make major modifications to the test section for each experiment. To conclude this part, modal and acoustic simulations will be carried out in order to identify the vibrational modes of the structure. The motivation for performing these simulations is primarily to determine the natural frequencies at which resonance may occur, so as to avoid high vibration levels during experiments that could damage the facility or adversely affect the quality of the tests. In the second part of the project, the components of an energy recovery device developed in a research project have been redefined so that it can be installed and tested within the new test section. In addition, the necessary supports have been designed to ensure that the structure and the energy recovery device are properly coupled and that the expected dynamic response of the system is not significantly altered. To validate this final aspect, modal simulations have been carried out, following a procedure similar to that used previously, but in this case analyzing both the energy recovery device on its own and when mounted in the test section
Computer validation of open gaps for the almost Mathieu operator with critical coupling
No full textWe present some computer assisted methods to prove the existence of spectral gaps for the Almost Mathieu operator at critical coupling and give rigorous numerical estimates on their size. As an example we show that the first 8 gaps predicted by the Gap Labelling theorem are open when the frequency ¿ is v 5-1)/2 and 12 of them are open when ¿=¿-2. A dynamical method based on the constructive conjugation to a hyperbolic cocycle and a spectral method based on the rigorous computation of the eigenvalues of finite-dimensional matrices are presented. We also present some experiments and conjectures on gap size for the associated periodic problems.Jordi-Lluís Figueras has been partially supported by the VR Grant 2024-04764. The research of Joaquim Puig is supported by the grant PID-2021-122954NB-100 funded by MCIN/AEI (Spain) and “ERDF: A way of making Europe”Postprint (published version
Guió de pràctiques DIA
No full textSessions pràctiques de disseny transversal d'una indústria alimentària, de l'assignatura Disseny d'Indústries Alimentàries (DIA), del grau en Enginyeria Alimentària de l'EEABB.2025/20262n quadrimestr
Using execution logs for improving pseudo-Boolean propagation
No full textAmong all procedures that CDCL-based SAT solvers implement, unit propagation dominates the total running time. Hence, it is not a surprise that large research efforts have been invested on improving it. As a result, the two-watched-literal scheme, enhanced with implementation details boosting its performance, emerged as the dominant method. The importance of unit propagation in pseudo-Boolean solvers is similar. However, no dominant method exists: counter and watch-based propagation are well-suited for different types of constraints, opening the door to hybrid methods. The higher complexity of implementing pseudo-Boolean solvers has shifted the research focus to higher-level aspects of other procedures, considering implementation details of unit propagation not a priority. In this paper, we first present execution logs: a novel methodology that allows us to precisely evaluate the performance of different propagation procedures. Secondly, we show how both counter and watch-based propagation routines in the RoundingSat solver can be largely improved thanks to a careful analysis of various implementation issues. Thirdly, a detailed analysis shows that hybrid methods outperform the ones based on a single technique. Finally, our experiments reveal that improvements in propagation lead to a clearly better overall performance of the solver.All authors are supported by grant PID2021-122830OB-C43, funded by project MCIN/AEI/ 10.13039/501100011033 and by “ERDF: A way of making Europe”, and by grant PID2024-157044OB-C32, funded by MICIU /AEI /10.13039/501100011033 / FEDER, UE. Second and third authors are supported by Barcelogic through research grants C-11423 and C-11422, respectively.Peer ReviewedPostprint (published version
Pla sencer del regidor Joan Vila i Marta durant la seva intervenció a l'acte de lliurament del Premi Rosa Argelaguet i Isanta a la BCUM
No full text
Apuntes climatizadores-Procesos de tratamiento de aire en climatización v0.4
No full text2025/20261r quadrimestr
Dones investigadores al Campus de Terrassa
No full textInforme de la producció científica amb perspectiva de gènere: el cas de les investigadores del Campus Terrassa de la UPC, a partir de l’anàlisi de 348 articles indexats l’any 202
RESISTÈNCIA DE MATERIALS (Examen final 1r quadrimestre)
No full textProblemesResolved2025/20261r quadrimestr