Révolution quantitative en géographie

Dans l'histoire de la géographie, la révolution quantitative (parfois abrégée QR) est parfois considérée comme l'un des quatre tournants majeurs de la géographie moderne, les trois autres étant le déterminisme environnemental, la géographie régionale et la géographie critique. L'argument principal de la révolution quantitative est qu'il conduit au passage d'une géographie descriptive (idiographique) à une géographie nomothétique (qui produit des lois générales). La révolution quantitative a eu lieu durant les années 1950 et 1960, et a marqué un changement rapide de la méthode dans la recherche en géographie, depuis la géographie régionale vers une science de l'espace. Des révolutions quantitatives avaient eu lieu plus tôt dans l'économie et la psychologie et d'autres à la même époque dans la science politique et les autres sciences sociales et, dans une moindre mesure, dans l'histoire. Résumé et contexte Dans les années 1950, beaucoup de départements de géographie avaient

High-temperature wettability and thermal conductivity of aluminium nitride reinforced metal matrix composites

Masahiro Kida

Aluminum nitride (AlN) has been applied to various applications, including electronic substrates and packaging, semiconductor production components, wide band gap semiconductor, light-emitting diodes (LED) and acoustic wave devices; at the same time, it is also attractive as a reinforcement in Metal Matrix Composites (MMCs) for thermal management applications with tailored thermal properties. In this thesis, two main subjects are investigated in terms of both the composite processing and its thermal property, namely (i) the high-temperature wettability between AlN and liquid metals and (ii) the thermal conductivity behavior of AlN reinforced metal matrix composites and the associated question of the interface thermal conductance at the AlN/metal interface. High-temperature wettability of AlN particle preforms with pure Al, Cu, Sn and Pb, was investigated by means of drainage curve measurements during pressure infiltration. The measured drainage curves show good agreement with the semi-empirical model in soil science proposed by Brooks and Corey. The total work of immersion, Wi, can be directly calculated by integration of the drainage curves, in turn giving the apparent contact angle during infiltration at high temperature. For Cu, Sn and Pb, the apparent contact angles deduced by integration of experimental drainage curves are in the range 120-140° and agree well with corresponding sessile drop data from the literature. Data for AlN and α-Al2O3 are furthermore similar for both methods of measurement, which results from the presence of a native oxide layer on the AlN particles, which is not eliminated from the particle surface in these systems. For the wettability between AlN/Pb and α-Al2O3/Pb systems, a slight difference is observed and this behavior is attributed to the transformation of the native oxide layer with temperature and the presence of dissolved oxygen in the melt. On the contrary, the wettability of AlN/Al system gives higher value than the sessile drop data measured in vacuum, corresponding rather to the value measured under He-H2 gas at 1373K. This indicates that in the present study there is no elimination of the native oxide layer on the AlN by the formation of Al2O gas, which normally occurs in high vacuum. Moreover, the results of the present technique gradually deviate to the sessile drop data as the initial contact angle gets close or below 90° especially in the α-Al2O3/Al system, suggesting that there is a minimum value, around 105-110°, below which the present infiltration-based contact-angle measurement technique may lose validity. Thermal conductivity behavior of AlN reinforced metal matrix composites produced by pressure infiltration technique has been characterized at both room and elevated temperature in two different microstructural systems, namely (i) particle reinforced system (PRCs) and (ii) partially sintered particle system, i.e., an interpenetrating composite in which the AlN is also a continuous phase (IPCs). The phase contrast of thermal conductivity between AlN (Κd) and matrix metals (Κm) is varied within a range of 0.4

EPFL2008

Quantitative Languages

Laurent Doyen

Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computation. We use quantitative automata (finite automata with transition weights) to define several natural classes of quantitative languages over finite and infinite words; in particular, the real value of an infinite run is computed as the maximum, limsup, limit average, or discounted sum of the transition weights. We define the classical decision problems of automata theory (emptiness, universality, language inclusion, and language equivalence) in the quantitative setting and study their computational complexity. As the decidability of language inclusion remains open for some classes of quantitative automata, we introduce a notion of quantitative simulation that is decidable and implies language inclusion. We also compare the expressive powers of the various classes of quantitative automata. In particular, we show that most classes of quantitative automata cannot be determinized.

2008

Quantitative Languages

Laurent Doyen

Quantitative generalizations of classical languages, which assign to each word a real number instead of a Boolean value, have applications in modeling resource-constrained computation. We use weighted automata (finite automata with transition weights) to define several natural classes of quantitative languages over finite and infinite words; in particular, the real value of an infinite run is computed as the maximum, limsup, liminf, limit average, or discounted sum of the transition weights. We define the classical decision problems of automata theory (emptiness, universality, language inclusion, and language equivalence) in the quantitative setting and study their computational complexity. As the decidability of the language-inclusion problem remains open for some classes of weighted automata, we introduce a notion of quantitative simulation that is decidable and implies language inclusion. We also give a complete characterization of the expressive power of the various classes of weighted automata. In particular, we show that most classes of weighted automata cannot be determinized.

2010

High-temperature wettability and thermal conductivity of aluminium nitride reinforced metal matrix composites

Masahiro Kida

EPFL2008