MasCanc2.0

I studied computer science at the University of Florence. Here I put some papers that I wrote for some exams.

My Master Thesis

This work concentrates in the study, analysis and development of a software for the application of the Intelligent Platform Management Interface (IPMI) at Tier-0, which is the first level of the of the Three Tier structure of the LHC GRID. IPMI is a standard developed by Intel, SUN MicroSystems and IBM for remote monitoring and controlling (out of band) machines and to define a standard interface for the local monitoring program (in band). IPMI defines a protocol to obtain sensor readings like CPU temperature and Fans speed, via the I^2C bus. The other functionalities cover machines management like the possibility to have remote power on / off and serial connection simulation via ethernet connection. This specification is usually implemented as a daughter card, which has a separate processor and a non-volatile memory. The application of this specification in large environments like the Tier-0, cluster made of thousands machines, is important for the out-of-band connections (power on / off) and for in-band connections because monitoring software takes sensor reading directly from the card, instead of creating an overhead for the operating system. The introduction of IPMI exposes the systems at security problems. The out of band connections must be protected against non authorized accesses. At CERN’s Information Technology (IT) department I worked for the Technology and Storage Infrastructure (TSI) section of the Fabric Infrastructure and Operations (FIO) group for six months. I have planned, developed and deployed a software that introduced the IPMI in-band and out-of-band functionalities in the Tier-0 management software developed at CERN. Parts of this work have been submitted for the publication.

Application of the Intelligent Platform Management Interface (IPMI) at the LHC GRID

Applicazione dell’Intelligent Platform Management Interface (IPMI) alla GRID di LHC
Slides utilizzate per la presentazione (ITA)

Exams

Properties of binary trees related to position This paper investigate on the allocation of binary trees, searching for the n umbers of middle, final and interior nodes, with some proofs. The software, writ ten in Pascal for the FreePascalCompiler ( www.freepascal.org), creates a lots o f trees and research on it.

Graph: connected components This paper investigate on the number of the connected components of a graph. The software, written in C, creates a lots of graphs and makes a depth-first resear ch on it.

Balistic Theory This paper investigate on some balistic theory. The software written for matlab, sinthethize the F=-bv. Software are made by Zaza Imad.

An introduction to Boltzmann Theory This document investigate on the Boltzmann Distribution. S=klogW.

TeX2html This is a compiler from TeX to HTML. This is written in Pascal for the FreePa scalCompiler (www.freepascal.org ), with TPLex and TPYacc.

Sisamm and srpd SRP: an example of UNIX Sockets. SRP stands for Socket Remote coPy. It copies files from a machine to another. It implements a protocol much like SMTP. It use syslog, fork, socket AF_INET, and major system calls. Sisamm is a bash script that help a system administrator.

Huffman Codes This software is provided by Tofani Stefano, stefano_tofani@yahoo.it, all rights reser ved. Please download the dvi file for informations on how to run program. THIS SOFTWARE IS PROVIDED ASIS, WITH NO WARRANTY OF ANY KIND.

Distributed File System: AFS, Kerberos etc. This paper describes and investigates on the distributed file systems available on the unix platform, such as AFS, SFS, Coda, InterMezzo, Lustre. It describes the user’s mobility with Kerberos’, the 2Schnorr algorithm. We speak about the p2pfs, a new distributed filesystem that claim to be a new way for making peering. It is secure and scalable over the internet.

Litwin’s linear hashing This paper describes and investigates on the Litwin’s Linear Hashing algorithm, studying the load factor and the average numbers of overflow. It implements in C++ recurs ively the method. PDF

High availability linux systems Here we talk about high dependability of a very low cost web farm, made with linux and an our implementation of a leader election algorithm. Storage made by AFS and load balancing made by IPVSADM

Human-Computer Interaction Here we talk about HCI studying the web site of the Comune di Castelnuovo Berardenga (Siena, Italy), using tecniques like cognitive walkthrough, euristics, usability tests.

Analisys of Numerical Methods An introduction to matrix manipulations, with QR, LR, Givens, Householder alg orithms. PDF

Linear and Non-Linear Differential Equations This is a little introduction to the differential equations in R^2 and R^n, about linear and non linear equations. There is explained tha Cauchy problem, and some method to solve it . PDF

Analisys of numerical methods: models and applications Here I speak about Miller’s algorithm, Leslie matrix, Natchez Indians, Chaos Tho ery, Malthus, Cobweb, Extended Cobweb, Fibonacci, Lucas, Binet, DeMoivre, Samuelson National economics model etc…

Analysis of numerical methods: algorithms and implementations Here I speak about machine’s precision, solving linear system, approximation of functions, interpolation, splines, quadrature formulae, eigenvalue and eigenvectors, with theory and practice. Parallel numerical scripting PDF

Numerical Methods for the Computer Aided Geometric Design Curves for the CAGD: the de Casteljeau Algorithm, Bezier Curves, spline, B-splines curves, nu-splines, Hermite interpolation, Horner, bessel tan, FMILL, rational Bezier curves, NURBS curves, Bezier Spline curves, geometric and classic continuity, parameter correction. PDF Parallel algoritmhs for NURBS

Programming Paradigm: The Computer Aided Musical Composition. An Approach in Logic. In this paper we investigate on the Music Aided Computer Composition, an algorit hm to compose (froma a given Chord) a melody, written in Prolog. Need Latex, Lylipond, Csound, xmms. PDF

Operational research: the solution to the problem of handicapped transportation with linear and dynamic programming. In this paper we investigate on the solutions of the problem to programming miss ions for handiccaped transportations to hospital and hostels, with an efficient algorithm. PDF

Numerical Methods for the Computer Aided Geometric Design: algorithms and implementation for surfaces. Here we speak about tensor product surfaces, bezier patch, spline, nurbs, bsplin e tensor product, scattered data interpolation, hermite interpolation, macroelement of Powell-Sabi n. PDF

Numerical methods for nonlinear systems of differential equations and applications In this relation we speak about nonlinear systems of differential and difference equations. Keywords are: Stiffness, the Perron Theorem, the Lyapunov Fu\nctions, the Ackermann’s diabets model, Walras economic principle. Volterra predator-prey model, Verhulst, Caos. Orthogonal poynomials, finding roots of polynomial, banded matrices, well conditioning of Toeplitz Matrices with the Riccati difference equation, Cyclic Reduction, Boundary Value Problems (BVP) and Boundary Value Methods (BVM). Dahlquist’s barrier and Boundary Locus. PDF

Using ANN for wheater forecasting In this paper we put our effort to find a solution to the Wheater forecasting problem with the use of Neural Networks. Italian only

Iterative methods for sparse linear systems We speak about the solutions sparse linear systems with Iterative Methods like CG, MINRES, GMRES, BiCG, BiCGStab CGS.

Numerical optimization Here I speak about numerical optimization, constrained and unconstrained problems, steepest descent, trust region, quasi Newton methods, Broyden Family, KKT conditions, Penalty Barrier, quadratic programming. PDF