Ressenyes

Obra ressenyada: Allan J. KUETHE y Kenneth J. ANDRIEN, The Spanish Atlantic World in the Eighteenth Century. War and the Bourbon Reforms, 1713-1796. Nueva York: Cambridge University Press, 2014

Handling software upgradeability problems with MILP solvers

Upgradeability problems are a critical issue in modern operating systems. The problem consists in finding the "best" solution according to some criteria, to install, remove or upgrade packages in a given installation. This is a difficult problem: the complexity of the upgradeability problem is NP complete and modern OS contain a huge number of packages (often more than 20 000 packages in a Linux distribution). Moreover, several optimisation criteria have to be considered, e.g., stability, memory efficiency, network efficiency. In this paper we investigate the capabilities of MILP solvers to handle this problem. We show that MILP solvers are very efficient when the resolution is based on a linear combination of the criteria. Experiments done on real benchmarks show that the best MILP solvers outperform CP solvers and that they are significantly better than Pseudo Boolean solvers.Comment: In Proceedings LoCoCo 2010, arXiv:1007.083

Kit de mòduls perifèrics per a entrenador amb microcontrolador 8051

El projecte tracta del disseny i muntatge de 4 mòduls perifèrics adaptats per treballar amb la plataforma de laboratori MCLS MODULAR. Els mòduls es realitzen per duplicat, un primer mòdul està compost per un teclat matricial de 4x4 amb 4 visualitzadors 7 segments amb entrades i sortides digitals, també és d'utilitat un segon mòdul perifèric de comunicacions que permet la comunicació en mode RS232 i RS485, aquests mòduls estan dissenyats amb la màxima versatilitat possible dins de les possibilitats d'operació que ofereix el conjunt de treball de MCLS MODULAR