Trasporto di materia in membrane polimeriche e nanocomposite per la separazione di gas

Membrane-based separation processes are acquiring, in the last years, an increasing importance because of their intrinsic energetic and environmental sustainability: some types of polymeric materials, showing adequate perm-selectivity features, appear rather suitable for these applications, because of their relatively low cost and easy processability. In this work have been studied two different types of polymeric membranes, in view of possible applications to the gas separation processes, i.e. Mixed Matrix Membranes (MMMs) and high free volume glassy polymers. Since the early 90’s, it has been understood that the performances of polymeric materials in the field of gas separations show an upper bound in terms of permeability and selectivity: in particular, an increase of permeability is often accompanied by a decrease of selectivity and vice-versa, while several inorganic materials, like zeolites or silica derivates, can overcome this limitation. As a consequence, it has been developed the idea of dispersing inorganic particles in polymeric matrices, in order to obtain membranes with improved perm-selectivity features. In particular, dispersing fumed silica nanoparticles in high free volume glassy polymers improves in all the cases gases and vapours permeability, while the selectivity may either increase or decrease, depending upon material and gas mixture: that effect is due to the capacity of nanoparticles to disrupt the local chain packing, increasing the dimensions of excess free volume elements trapped in the polymer matrix. In this work different kinds of MMMs were fabricated using amorphous Teflon® AF or PTMSP and fumed silica: in all the cases, a considerable increase of solubility, diffusivity and permeability of gases and vapours (n-alkanes, CO2, methanol) was observed, while the selectivity shows a non-monotonous trend with filler fraction. Moreover, the classical models for composites are not able to capture the increase of transport properties due to the silica addition, so it has been necessary to develop and validate an appropriate thermodynamic model that allows to predict correctly the mass transport features of MMMs. In this work, another material, called poly-trimethylsilyl-norbornene (PTMSN) was examined: it is a new generation high free volume glassy polymer that, like PTMSP, shows unusual high permeability and selectivity levels to the more condensable vapours. These two polymer differ each other because PTMSN shows a more pronounced chemical stability, due to its structure double-bond free. For this polymer, a set of Lattice Fluid parameters was estimated, making possible a comparison between experimental and theoretical solubility isotherms for hydrocarbons and alcoholic vapours: the successfully modelling task, based on application of NELF model, offers a reliable alternative to direct sorption measurement, which is extremely time-consuming due to the relevant relaxation phenomena showed by each sorption step. For this material also dilation experiments were performed, in order to quantify its dimensional stability in presence of large size, swelling vapours.

Fluid-structure interaction by a coupled lattice Boltzmann-finite element approach

In this thesis, a strategy to model the behavior of fluids and their interaction with deformable bodies is proposed. The fluid domain is modeled by using the lattice Boltzmann method, thus analyzing the fluid dynamics by a mesoscopic point of view. It has been proved that the solution provided by this method is equivalent to solve the Navier-Stokes equations for an incompressible flow with a second-order accuracy. Slender elastic structures idealized through beam finite elements are used. Large displacements are accounted for by using the corotational formulation. Structural dynamics is computed by using the Time Discontinuous Galerkin method. Therefore, two different solution procedures are used, one for the fluid domain and the other for the structural part, respectively. These two solvers need to communicate and to transfer each other several information, i.e. stresses, velocities, displacements. In order to guarantee a continuous, effective, and mutual exchange of information, a coupling strategy, consisting of three different algorithms, has been developed and numerically tested. In particular, the effectiveness of the three algorithms is shown in terms of interface energy artificially produced by the approximate fulfilling of compatibility and equilibrium conditions at the fluid-structure interface. The proposed coupled approach is used in order to solve different fluid-structure interaction problems, i.e. cantilever beams immersed in a viscous fluid, the impact of the hull of the ship on the marine free-surface, blood flow in a deformable vessels, and even flapping wings simulating the take-off of a butterfly. The good results achieved in each application highlight the effectiveness of the proposed methodology and of the C++ developed software to successfully approach several two-dimensional fluid-structure interaction problems.

Permutation classes, sorting algorithms, and lattice paths

A permutation is said to avoid a pattern if it does not contain any subsequence which is order-isomorphic to it. Donald Knuth, in the first volume of his celebrated book "The art of Computer Programming", observed that the permutations that can be computed (or, equivalently, sorted) by some particular data structures can be characterized in terms of pattern avoidance. In more recent years, the topic was reopened several times, while often in terms of sortable permutations rather than computable ones. The idea to sort permutations by using one of Knuth’s devices suggests to look for a deterministic procedure that decides, in linear time, if there exists a sequence of operations which is able to convert a given permutation into the identical one. In this thesis we show that, for the stack and the restricted deques, there exists an unique way to implement such a procedure. Moreover, we use these sorting procedures to create new sorting algorithms, and we prove some unexpected commutation properties between these procedures and the base step of bubblesort. We also show that the permutations that can be sorted by a combination of the base steps of bubblesort and its dual can be expressed, once again, in terms of pattern avoidance. In the final chapter we give an alternative proof of some enumerative results, in particular for the classes of permutations that can be sorted by the two restricted deques. It is well-known that the permutations that can be sorted through a restricted deque are counted by the Schrӧder numbers. In the thesis, we show how the deterministic sorting procedures yield a bijection between sortable permutations and Schrӧder paths.

Two-Dimensional Bin Packing Problem with Guillotine Restrictions

This thesis, after presenting recent advances obtained for the two-dimensional bin packing problem, focuses on the case where guillotine restrictions are imposed. A mathematical characterization of non-guillotine patterns is provided and the relation between the solution value of the two-dimensional problem with guillotine restrictions and the two-dimensional problem unrestricted is being studied from a worst-case perspective. Finally it presents a new heuristic algorithm, for the two-dimensional problem with guillotine restrictions, based on partial enumeration, and computationally evaluates its performance on a large set of instances from the literature. Computational experiments show that the algorithm is able to produce proven optimal solutions for a large number of problems, and gives a tight approximation of the optimum in the remaining cases.

A multi-methodological approach for the study of polymorphism in organic pigments and pharmaceuticals

The study of polymorphism has an important role in several fields of materials science, because structural differences lead to different physico-chemical properties of the system. This PhD work was dedicated to the investigation of polymorphism in Indigo, Thioindigo and Quinacridone, as case studies among the organic pigments employed as semiconductors, and in Paracetamol, Phenytoin and Nabumetone, chosen among some commonly used API. The aim of the research was to improve the understanding on the structures of bulk crystals and thin films, adopting Raman spectroscopy as the method of choice, while resorting to other experimental techniques to complement the gathered information. Different crystalline polymorphs, in fact, may be conveniently distinguished by their Raman spectra in the region of the lattice phonons (10-150 cm-1), the frequencies of which, probing the inter-molecular interactions, are very sensitive to even slight modifications in the molecular packing. In particular, we have used Confocal Raman Microscopy, which is a powerful, yet simple, technique for the investigation of crystal polymorphism in organic and inorganic materials, being capable of monitoring physical modifications, chemical transformations and phase inhomogeneities in crystal domains at the micrometre scale. In this way, we have investigated bulk crystals and thin film samples obtained with a variety of crystal growth and deposition techniques. Pure polymorphs and samples with phase mixing were found and fully characterized. Raman spectroscopy was complemented mainly by XRD measurements for bulk crystals and by AFM, GIXD and TEM for thin films. Structures and phonons of the investigated polymorphs were computed by DFT methods, and the comparison between theoretical and experimental results was used to assess the relative stability of the polymorphs and to assist the spectroscopic investigation. The Raman measurements were thus found to be able to clarify ambiguities in the phase assignments which otherwise the other methods were unable to solve.

The three-dimensional single-bin-size bin packing problem: combining metaheuristic and machine learning approaches

The Three-Dimensional Single-Bin-Size Bin Packing Problem is one of the most studied problem in the Cutting & Packing category. From a strictly mathematical point of view, it consists of packing a finite set of strongly heterogeneous “small” boxes, called items, into a finite set of identical “large” rectangles, called bins, minimizing the unused volume and requiring that the items are packed without overlapping. The great interest is mainly due to the number of real-world applications in which it arises, such as pallet and container loading, cutting objects out of a piece of material and packaging design. Depending on these real-world applications, more objective functions and more practical constraints could be needed. After a brief discussion about the real-world applications of the problem and a exhaustive literature review, the design of a two-stage algorithm to solve the aforementioned problem is presented. The algorithm must be able to provide the spatial coordinates of the placed boxes vertices and also the optimal boxes input sequence, while guaranteeing geometric, stability, fragility constraints and a reduced computational time. Due to NP-hard complexity of this type of combinatorial problems, a fusion of metaheuristic and machine learning techniques is adopted. In particular, a hybrid genetic algorithm coupled with a feedforward neural network is used. In the first stage, a rich dataset is created starting from a set of real input instances provided by an industrial company and the feedforward neural network is trained on it. After its training, given a new input instance, the hybrid genetic algorithm is able to run using the neural network output as input parameter vector, providing as output the optimal solution. The effectiveness of the proposed works is confirmed via several experimental tests.

Finite group lattice gauge theories for quantum simulation

The present manuscript focuses on Lattice Gauge Theories based on finite groups. For the purpose of Quantum Simulation, the Hamiltonian approach is considered, while the finite group serves as a discretization scheme for the degrees of freedom of the gauge fields. Several aspects of these models are studied. First, we investigate dualities in Abelian models with a restricted geometry, using a systematic approach. This leads to a rich phase diagram dependent on the super-selection sectors. Second, we construct a family of lattice Hamiltonians for gauge theories with a finite group, either Abelian or non-Abelian. We show that is possible to express the electric term as a natural graph Laplacian, and that the physical Hilbert space can be explicitly built using spin network states. In both cases we perform numerical simulations in order to establish the correctness of the theoretical results and further investigate the models.