Volcanic debris avalanche deposits of the upper Maronne valley (Cantal Volcano, France): evidence for contrasted formation and transport mechanisms

The deposits of two volcanic debris avalanches (VDA I and II) that occur in the upper Maronne valley, northwest sector of Cantal Volcano, France, were studied to establish their mechanisms of formation, transport and deposition. These two volcanic debris avalanches that clearly differ with regard to their structures, textures and extensions, exemplify the wide spectrum of events associated with large-scale sector collapse. VDA I is voluminous (similar to1 km(3) in the upper Maronne valley) and widespread. The deposits comprise two distinct facies: the block facies that forms the intermediate and upper part of the unit and the mixed facies that crops out essentially at the base of the unit. The block facies consists of more or less brecciated lava, block-and-ash-flow breccia and pumice-flow tuff megablocks set in breccias resulting from block disaggregation. Mixing and differential movements are almost absent in this part of the VDA. The mixed facies consists of breccias rich in fine particles that originate from block disagregation, as well as being picked up from the substratum during movement. Mixing and differential movements are predominant in this zone. Analysis of fractures on lava megablocks suggests that shear stress during the initial sliding is the principal cause of fracture. These data strongly indicate that VDA I is purely gravitational and argue for a model in which the initial sliding mass transforms into a flow due to differential in situ fragmentation caused by the shear stress. VDA II is restricted to low-topography areas. Its volume, in the studied area, is about 0.3 km(3). The deposits consist of brecciated, rounded blocks and megablocks set in a fine-grained matrix composed essentially of volcanic glass. This unit is stratified, with a massive layer that contains all the megablocks at the base and in the intermediate part, and in the upper part a normally graded layer that contains only blocks <1 m in size. The different lithologies present are totally mixed. These observations suggest that VDA II may be of the Bezymianny-type and that it underwent a flow transformation from a turbulent to a stratified flow consisting of a basal hyperconcentrated laminar body overlain by a dilute layer. (C) 2000 Elsevier Science B.V. All rights reserved.

Projets de coopération universitaire : l'émergence de nouvelles structures de gouvernance

Depuis le début des années quatre-vingt-dix, le modèle classique de l'université est fortement remis en question: pénétration accrue des acteurs privés, attentes de la société civile, contractualisation et «horizontalisation» des relations, etc. L'université bouge et doit s'adapter à un environnement en mutation. En Suisse, les projets de coopération inter universités semblent être une des réponses privilégiées par les acteurs dominants du système pour faire face à ces changements. Toutefois, la mise en place de nouveaux arrangements institutionnels notamment sous la forme de réseaux d'enseignement et de recherche ne va pas sans soulever de nombreuses interrogations. Premièrement, et notamment du fait de bases légales peu développées, les collaborations institutionnalisées n'ont pas toutes la même configuration. Nous devons donc nous questionner sur les formes concrètes prises par ces réseaux d'enseignement et de recherche et sur les raisons qui ont conduit à l'adoption d'un type particulier de structure de coopération. Ensuite, comme ces structures ne viennent pas remplacer, mais plutôt se superposer à celles préexistantes, il convient de comprendre la redistribution du pouvoir au sein de formes institutionnelles complexes. Plus précisément, l'analyse de la nouvelle répartition des compétences entre les institutions hiérarchiques (les universités) et les coopérations (réseaux) en particulier sous l'angle de l'autonomie dont ces dernières disposent, se révèle être un angle d'approche fructueux. Finalement, la question de l'évaluation de ces nouvelles formes de gouvernance va se poser. Outre les formes prises par ces structures, une discussion doit être menée autour des limites démocratiques de cette nouvelle forme du secteur public. Ce working paper présente dans un premier temps quelques facteurs qui ont contraints les universités à une remise en cause de leurs structures de gouvernance. Il introduit ensuite quelques éléments théoriques faisant référence aux théories portant sur les réseaux et plus particulièrement à l'approche institutionnelle de ceux-ci. La troisième partie de ce papier présente brièvement les structures de gouvernance du système universitaire helvétique ainsi que les récentes pressions au changement ayant favorisé la mise en place de ces réseaux. Finalement, la quatrième partie étudie, au travers de six cas de coopérations inter-universitaires suisses, la forme prise par ces réseaux, essentiellement sous l'angle de leur degré d'autonomie.

Assessment of Customer Needs in Fine Coal Dewatering

Työn tavoitteena on kartoittaa ja arvioida asiakastarpeita hienojakoisen hiilen ja nesteen erotuksessa. Aluksi työssä kuvataan hiiliteollisuutta, jonka jälkeen syvennytäänhiilen ja nesteen erotukseen. Tämän jälkeen keskitytään asiakastarpeiden kartoittamiseen. Jo olemassaolevan tiedon keräämiseen käytetään haastatteluja ja kysymyslomakkeita. Saatyn AHP-mallia hyödynnetään asiakastarpeiden arvioinnissa. Yksi suurimmista haasteista puhtaan hiiliteknologian käytössä on kustannustehokas nesteen ja hienojakoisen hiilen erotus, joka on tärkeää rahtauskustannusten minimoinnin, laatuvaatimusten täyttämisen ja prosessiveden kierrättämisen kannalta. Tekniset ominaisuudet ja kustannukset ovat tärkeimmät ominaisuudet hiilen ja veden suodatinratkaisussa asiantuntijoiden mukaan. Asiakkaan mukaan laatu, tekniset ominaisuudet ja tukipalvelut ovat tärkeitä.Sekä asiakkaan että asiantuntijoiden mielestä korkea yksikkökapasiteetti, matala lopputuotteen kosteus ja luotettavuus ovat tärkeimmät tekniset ominaisuudet. Investointikustannukset ovat noin kolme kertaa tärkeämpiä kuin käyttökustannukset. Asiakkaan mukaan laitetoimittajan ominaisuudet ovat tärkeämpiä kuin teknologiset ominaisuudet.

The Paleozoic magmatic history of the Maggia and Sambuco nappes, Lower Penninic, Central Lepontine Alps

Résumé : Les corps magmatiques sont des indicateurs essentiels dans toute reconstitution paléogéographique et/ou géodynamique d'un cycle orogénique, en particulier en contexte polycyclique, où la plupart des autres indices ont été oblitérés. Ils sont aisément datables et leurs caractéristiques géochimiques permettent de contraindre leur contexte tectonique de mise en place. Cette approche a été appliquée aux socles pré-mésozoïques des nappes penniques inférieures de Sambuco et de la Maggia, dans les Alpes centrales lepontines. Plusieurs événements magmatiques ont été identifiés dans le socle de Sambuco et datés par la méthode U-Pb sur zircon couplée à la technique LA-ICPMS. La suite calco-alcaline mafique rubanée de Scheggia est datée du Cambrien inférieur à 540-530 Ma ; le métagranite alumineux oeillé de Sasso Nero a un âge de 480-470 Ma, tout comme bien d'autres «older orthogneisses» des socles alpins. Il contient des zircons hérités d'âge panafricain à 630-610 Ma, indicateur d'une affiliation gondwanienne de ces terrains. Le pluton calco-alcalin du Matorello est daté à environ 300-310 Ma, et les filons lamprophyriques qu'il abrite à 300 Ma. La granodiorite de Cocco et le leucogranite de Ruscada, tous deux intrudés dans le socle de la nappe adjacente de la Maggia, ont des âges similaires à celui du Matorello. Ceci ajouté aux similitudes magmatiques observées entre Cocco et Matorello suggère une proximité paléogéographique des deux nappes au Permien-Carbonifère. Or ces dernières sont actuellement considérées appartenir à deux domaines paléogéographiques mésozoïques distincts : helvétique pour Sambuco et briançonnais pour Maggia, séparés par un bassin océanique. Si tel fut le cas, aucun mouvement décrochant ne doit avoir décalé les marges continentales de l'océan, retrouvées en parfaite coïncidence lors de sa fermeture. Le Matorello est un pluton recristallisé en faciès amphibolite et plissé par cinq phases successives de déformation non-coaxiales, qui ont conduit à son renversement complet, attesté par des indicateurs de paléogravité. Il préserve de spectaculaires phénomènes de coexistence liquide de magmas (essaims d'enclaves et Bills composites). Ce pluton était originellement tabulaire, construit par l'accumulation de multiples injections de magma en feuillets d'épaisseur métrique à décamétrique. Suivant le rythme de mise en place, les injections successives ont rapidement cristallisé avec des contours nets et bien définis (Bills composites) ou se sont mélangées avec les précédentes pour former une couche non consolidée de plusieurs dizaines de mètres d'épaisseur (granodiorite principale). Les injections individuelles sont délimitées par de subtils contrastes en granulométrie, proportions modales ou ségrégation de minéraux (schlieren), ou par des phénomènes d'érosion le long des surfaces de contact. Deux couches métriques à contour sinueux consistent en une accumulation compacte d'enclaves mafiques arrondies dans une matrice granodioritique fine. Le granoclassement des enclaves, la présence de figures de charge et de phénomènes érosifs en base de couche, ainsi que des schlieren de biotite entrecroisés évoquent l'injection de coulées de magma chargé d'enclaves et de faible viscosité en régime hydrodynamique turbulent dans un encaissant granodioritique encore largement liquide. La nature hybride des roches implique une chambre magmatique sous-jacente, en cours de différenciation et périodiquement réalimentée. Les magmas sont des liquides mafiques dérivés du manteau et des liquides anatectiques d'origine crustale, comme l'indique la gamme mesurée des rapports isotopiques initiaux du Sr (0.704 à 0.709) et des valeurs epsilon Nd (-2.1 à -4.7). Ces données montrent également que la contribution crustale est dominante, en accord avec les isotopes du plomb. Les phénomènes d'hybridation ont vraisemblablement eu lieu en base de croûte et dans la chambre magmatique sous-jacente au laccolite du Matorello. Les indicateurs de paléogravité du Matorello contribuent accessoirement à la compréhension de l'architecture actuelle de la nappe de Sambuco. Des plis isoclinaux à surface axiale verticale peuvent être mis en évidence par le contact entre les faciès dioritique et granodioritique. L'antiforme dont le Matorello forme le coeur est un synclinal, ce qui le positionne dans le Flanc inverse du grand pli couché que forme la nappe de Sambuco. Par ailleurs, des blocs de gneiss retrouvés dans le wildflysch sommital de la couverture de la nappe d'Antigorio ont été affiliés dans cette étude au pluton du Matorello. Ceci implique que le front de la nappe de Sambuco chevauchait déjà la partie est du bassin d'Antigorio au moment de sa fermeture. Par conséquent, ce n'est qu'en position externe que la nappe du Lebendun chevauche directement la nappe d'Antigorio. Abstract Magmatic bodies are important markers in paleo-geographic or geodynamic reconstructions of orogenic cycles, even more so in the case of polycyclic events where many of the other markers have been overwritten or destroyed. Plutons are relatively easy to date and their geochemical properties help constrain the tectonic context in which they were emplaced. This study focuses on the pre-mesozoic basement in the Sambuco and Maggia lower Penninic nappes located in the central Lepontine domain of the Alps. A number of magmatic events have been identified in the Sambuco basement. These events were dated using LA-ICPMS U/Pb on zircon grains. The mafic calc-alkaline banded Scheggia suite is dated as lower Cambrian, 540-530 Ma. The Al-rich Sasso-Nero lenticular gneiss is 480-470 Ma old (similarly to many older orfhogneisses of the Alpine basement) and contains 630-610 Ma old pan-African inherited zircons that illustrate the Gondwanian origin of these terranes.The calc-alkaline Matorello pluton is dated as 310-300 Ma whereas the lamprophyric bodies it contains are of 300 Ma. The Cocco granodiorite and the Ruscada leucogranite both intrude the basement of the adjacent Maggia nappe and are of similar ages to the Matorello. The ages as well as the geochemical similarities between the Cocco, Rucada and Matorello plutons suggest their paleo-geographic proximity at the Permian-Carboniferous boundary. However, these nappes are currently considered as belonging to two different Mesozoic paleo-geographic domains. Indeed, the Sambuco is considered as Helvetic whereas the Maggia is said to be Briançonnais, both separated by an oceanic basin. If this is the case, then it is essential that nostrike-slip movement has misaligned both continental margins since these coincide perfectly now that the oceanic domain closed. The Matorello pluton was originally a tabular intrusion, built up by the accumulation of multiple, several meter-thick, subhorizontal sheet-like injections of magma. Depending on their emplacement rate, the successive magma injections either solidified rapidly with sharp and rather well-defined boundaries (like the composite sills) or mingled with previous injections generating a thick molten layer up to several tens to hundred meters thick, like in the main granodioritic facies. These coalesced injections are hardly distinguishable, however subtle contrasts in granulometry, mineral modal proportions or mineral sorting (cross-bedded biotite-rich schlieren), as well as erosional features and/or crystal entrapment along contact surfaces allow to distinguish between the different injections. Two exceptional meter-thick layers display sinuous boundaries with the host granodiorite and consist of a densely packed accumulation of mafic enclaves in a granodioritic matrix. Gravitational sorting of the enclaves with load cast features at the base of the layers and sinuous biotite schlieren point to injection of low viscosity turbulent composite magma flows in the still largely molten granodiorite host. The hybrid nature of these rocks implies the existence of á periodically replenished and differentiated underlying magma chamber. Magmas are mafic liquids derived from the mantle and anatectic liquids of crustal origin, as shown by the (87Sr/86Sr), and epsilon Nd values (0.704-0.709 and -2.1 to -4.7 respectively. These data show that the crustal contribution is important, as confirmed by the Pb isotopes. The hybridisation processes seem to have occurred in the lower crust in magma chambers underlying the Matorello laccolith. The paleo-gravity markers in the Matorello help understand the architecture of the Sambuco nappe. Isoclinal folds with a vertical axial plane can be seen at the contact between dioritic and granodioritic facies. The antiform structure of which the Matorello is the heart is in fact a syncline. This places it in the inverse flanc of the large recumbent fold that constitutes the Sambuco nappe. The gneiss blocs found in the summital wildflysh cover of the Antigorio nappe have been linked to the Matorello pluton. This means that the front of the Sambuco nappe already overlapped the Antigorio basin when it closed. This implies that the Lebendun nappe can only overlap the Antigorio nappe in it's external position. Résumé grand public La chaîne alpine est la conséquence de la collision tertiaire entre deux masses continentales, l'Europe au nord et la péninsule apulienne africaine au sud, originellement séparées par l'océan mésozoïque téthysien. Cette collision a fermé un espace large de plusieurs centaines de km avec pour résultat l'écaillage de la croûte terrestre en unités tectoniques de dimensions variables, qui se sont empilées, imbriquées, éventuellement replissées en nappes de géométrie complexe. Cet amoncellement de 40 km d'épaisseur a vu sa température et sa pression lithostatique internes augmenter jusqu'à des valeurs de l'ordre de 680 °C et 6000 bars, induisant une recristallisation métamorphique des roches. L'un des objectifs de la géologie alpine est de reconstituer la géographie de la région aux temps mésozoïques de l'océan téthysien, en d'autres termes, de replacer chacune des unités tectoniques identifiées au sein de l'empilement alpin dans sa position originelle. Le défi est de taille et peut être comparé à celui de la reconstitution d'un vaste puzzle, dont certaines pièces seraient endommagées au niveau de leur contour ou leurs couleurs (métamorphisme), dissimulées par d'autres (enfouissement), voire tombées de la table de jeu (subduction, échappement latéral). Plusieurs approches ont été mises en oeuvre au cours du siècle écoulé. On citera en particulier la stratigraphie, la tectonique et le paléomagnétisme. Dans ce travail, nous avons essentiellement utilisé des techniques de datation isotopique absolue des roches (U/Pb sur zircon) qui, sur la base des connaissances acquises par l'ensemble des autres disciplines géologiques, nous ont permis de mieux contraindre ta paléogéographie mésozoïque du domaine «pennique inférieur » des Alpes centrales lépontines. Et au-delà? Nous savons tous que la disposition des continents à la surface de la Terre évolue constamment. Il est donc tentant d'essayer de remonter plus loin encore dans le temps et de reconstituer la physionomie de la marge sud européenne, tout au moins certains éléments de son histoire, au cours de l'ère paléozoïque. Les traces de ces événements très anciens sont naturellement ténues et dans ce contexte, les techniques de datation mentionnées ci-dessus deviennent les outils les plus performants. Ainsi, des datations u/Pb sur zircon nous ont permis de recenser plusieurs intrusions magmatiques, attribuées à quatre événements orogéniques anté-alpins. Des âges néoprotérozoïques (630-610 millions d'années ou Ma), cambrien inférieur (540-530 Ma), ordovicien inférieur (480-470 Ma) et carbonifère supérieur-permien inférieur (310-285 Ma) ont été obtenus dans le socle de la nappe de Sambuco. Des âges similaires à 300 Ma ont été obtenus dans la nappe voisine de la Maggia, qui permettent de relier ces deux unités. Aujourd'hui côte à côte, ces deux nappes devaient également se trouver proches l'une de l'autre il y a 300 Ma, lors de l'extension post-varisque. Les structures magmatiques spectaculaires préservées dans le pluton du Matorello (300 Ma) contraignent la géométrie actuelle de la nappe de Sambuco dans laquelle l'intrusion s'est mise en place. La forme originelle du pluton, aujourd'hui retourné et replissé plusieurs fois, s'avère être tabulaire, faite d'intrusions de faible épaisseur (1-300 m) s'étalant en forme de disque (30m à 2 km de diamètre). Les injections successives de magma se sont accumulées sous un toit dioritique précoce; elles sont issues, par le refais de fractures, d'une chambre magmatique plus profonde, périodiquement réalimentée par des magmas calco-alcalins d'origine mantellique contaminés parla croûte continentale profonde (εNd = -2.1 à -4.7). Des accumulations d'enclaves magmatiques arrondies et granoclassées dans des paléo-chenaux à fond érosif témoignent de conditions de mise en place hydrodynamiques à haute énergie. Ces enclaves sont emmenées de la chambre magmatique sous-jacente à la faveur d'épisodes de fracturation hydraulique liés à l'injection de magmas matelliques chauds dans des liquides différenciés riches en eau. Cette hypothèse est étayée par l'existence de filons composites. Une paléohorizontale a pu être déduite au sein du pluton, indiquant que cette partie de la nappe de Sambuco est verticalisée et isoclinalement replissée par la déformation alpine. Finalement, des blocs érodés du socle Sambuco ont été retrouvés dans le wildflysch sommital de la couverture sédimentaire mésozoïque de la nappe d'Antigorio sous-jacente. Ceci suggère que les blocs ont été fournis parle front de la nappe de Sambuco en train de chevaucher sur la nappe d'Antigorio au moment de la fermeture du bassin sédimentaire de cette dernière.

Artificial evolution on network structures : how time and space influence dynamics

Abstract The main objective of this work is to show how the choice of the temporal dimension and of the spatial structure of the population influences an artificial evolutionary process. In the field of Artificial Evolution we can observe a common trend in synchronously evolv¬ing panmictic populations, i.e., populations in which any individual can be recombined with any other individual. Already in the '90s, the works of Spiessens and Manderick, Sarma and De Jong, and Gorges-Schleuter have pointed out that, if a population is struc¬tured according to a mono- or bi-dimensional regular lattice, the evolutionary process shows a different dynamic with respect to the panmictic case. In particular, Sarma and De Jong have studied the selection pressure (i.e., the diffusion of a best individual when the only selection operator is active) induced by a regular bi-dimensional structure of the population, proposing a logistic modeling of the selection pressure curves. This model supposes that the diffusion of a best individual in a population follows an exponential law. We show that such a model is inadequate to describe the process, since the growth speed must be quadratic or sub-quadratic in the case of a bi-dimensional regular lattice. New linear and sub-quadratic models are proposed for modeling the selection pressure curves in, respectively, mono- and bi-dimensional regu¬lar structures. These models are extended to describe the process when asynchronous evolutions are employed. Different dynamics of the populations imply different search strategies of the resulting algorithm, when the evolutionary process is used to solve optimisation problems. A benchmark of both discrete and continuous test problems is used to study the search characteristics of the different topologies and updates of the populations. In the last decade, the pioneering studies of Watts and Strogatz have shown that most real networks, both in the biological and sociological worlds as well as in man-made structures, have mathematical properties that set them apart from regular and random structures. In particular, they introduced the concepts of small-world graphs, and they showed that this new family of structures has interesting computing capabilities. Populations structured according to these new topologies are proposed, and their evolutionary dynamics are studied and modeled. We also propose asynchronous evolutions for these structures, and the resulting evolutionary behaviors are investigated. Many man-made networks have grown, and are still growing incrementally, and explanations have been proposed for their actual shape, such as Albert and Barabasi's preferential attachment growth rule. However, many actual networks seem to have undergone some kind of Darwinian variation and selection. Thus, how these networks might have come to be selected is an interesting yet unanswered question. In the last part of this work, we show how a simple evolutionary algorithm can enable the emrgence o these kinds of structures for two prototypical problems of the automata networks world, the majority classification and the synchronisation problems. Synopsis L'objectif principal de ce travail est de montrer l'influence du choix de la dimension temporelle et de la structure spatiale d'une population sur un processus évolutionnaire artificiel. Dans le domaine de l'Evolution Artificielle on peut observer une tendence à évoluer d'une façon synchrone des populations panmictiques, où chaque individu peut être récombiné avec tout autre individu dans la population. Déjà dans les année '90, Spiessens et Manderick, Sarma et De Jong, et Gorges-Schleuter ont observé que, si une population possède une structure régulière mono- ou bi-dimensionnelle, le processus évolutionnaire montre une dynamique différente de celle d'une population panmictique. En particulier, Sarma et De Jong ont étudié la pression de sélection (c-à-d la diffusion d'un individu optimal quand seul l'opérateur de sélection est actif) induite par une structure régulière bi-dimensionnelle de la population, proposant une modélisation logistique des courbes de pression de sélection. Ce modèle suppose que la diffusion d'un individu optimal suit une loi exponentielle. On montre que ce modèle est inadéquat pour décrire ce phénomène, étant donné que la vitesse de croissance doit obéir à une loi quadratique ou sous-quadratique dans le cas d'une structure régulière bi-dimensionnelle. De nouveaux modèles linéaires et sous-quadratique sont proposés pour des structures mono- et bi-dimensionnelles. Ces modèles sont étendus pour décrire des processus évolutionnaires asynchrones. Différentes dynamiques de la population impliquent strategies différentes de recherche de l'algorithme résultant lorsque le processus évolutionnaire est utilisé pour résoudre des problèmes d'optimisation. Un ensemble de problèmes discrets et continus est utilisé pour étudier les charactéristiques de recherche des différentes topologies et mises à jour des populations. Ces dernières années, les études de Watts et Strogatz ont montré que beaucoup de réseaux, aussi bien dans les mondes biologiques et sociologiques que dans les structures produites par l'homme, ont des propriétés mathématiques qui les séparent à la fois des structures régulières et des structures aléatoires. En particulier, ils ont introduit la notion de graphe sm,all-world et ont montré que cette nouvelle famille de structures possède des intéressantes propriétés dynamiques. Des populations ayant ces nouvelles topologies sont proposés, et leurs dynamiques évolutionnaires sont étudiées et modélisées. Pour des populations ayant ces structures, des méthodes d'évolution asynchrone sont proposées, et la dynamique résultante est étudiée. Beaucoup de réseaux produits par l'homme se sont formés d'une façon incrémentale, et des explications pour leur forme actuelle ont été proposées, comme le preferential attachment de Albert et Barabàsi. Toutefois, beaucoup de réseaux existants doivent être le produit d'un processus de variation et sélection darwiniennes. Ainsi, la façon dont ces structures ont pu être sélectionnées est une question intéressante restée sans réponse. Dans la dernière partie de ce travail, on montre comment un simple processus évolutif artificiel permet à ce type de topologies d'émerger dans le cas de deux problèmes prototypiques des réseaux d'automates, les tâches de densité et de synchronisation.

A game theoretical approach to the algebraic counterpart of the Wagner hierarchy

La hiérarchie de Wagner constitue à ce jour la plus fine classification des langages ω-réguliers. Par ailleurs, l'approche algébrique de la théorie de langages formels montre que ces ensembles ω-réguliers correspondent précisément aux langages reconnaissables par des ω-semigroupes finis pointés. Ce travail s'inscrit dans ce contexte en fournissant une description complète de la contrepartie algébrique de la hiérarchie de Wagner, et ce par le biais de la théorie descriptive des jeux de Wadge. Plus précisément, nous montrons d'abord que le degré de Wagner d'un langage ω-régulier est effectivement un invariant syntaxique. Nous définissons ensuite une relation de réduction entre ω-semigroupes pointés par le biais d'un jeu infini de type Wadge. La collection de ces structures algébriques ordonnée par cette relation apparaît alors comme étant isomorphe à la hiérarchie de Wagner, soit un quasi bon ordre décidable de largeur 2 et de hauteur ω. Nous exposons par la suite une procédure de décidabilité de cette hiérarchie algébrique : on décrit une représentation graphique des ω-semigroupes finis pointés, puis un algorithme sur ces structures graphiques qui calcule le degré de Wagner de n'importe quel élément. Ainsi le degré de Wagner de tout langage ω-régulier peut être calculé de manière effective directement sur son image syntaxique. Nous montrons ensuite comment construire directement et inductivement une structure de n''importe quel degré. Nous terminons par une description détaillée des invariants algébriques qui caractérisent tous les degrés de cette hiérarchie. Abstract The Wagner hierarchy is known so far to be the most refined topological classification of ω-rational languages. Also, the algebraic study of formal languages shows that these ω-rational sets correspond precisely to the languages recognizable by finite pointed ω-semigroups. Within this framework, we provide a construction of the algebraic counterpart of the Wagner hierarchy. We adopt a hierarchical game approach, by translating the Wadge theory from the ω-rational language to the ω-semigroup context. More precisely, we first show that the Wagner degree is indeed a syntactic invariant. We then define a reduction relation on finite pointed ω-semigroups by means of a Wadge-like infinite two-player game. The collection of these algebraic structures ordered by this reduction is then proven to be isomorphic to the Wagner hierarchy, namely a well-founded and decidable partial ordering of width 2 and height $\omega^\omega$. We also describe a decidability procedure of this hierarchy: we introduce a graph representation of finite pointed ω-semigroups allowing to compute their precise Wagner degrees. The Wagner degree of every ω-rational language can therefore be computed directly on its syntactic image. We then show how to build a finite pointed ω-semigroup of any given Wagner degree. We finally describe the algebraic invariants characterizing every Wagner degree of this hierarchy.

Automated formulation of optimisation models for steel beam structures

Over 70% of the total costs of an end product are consequences of decisions that are made during the design process. A search for optimal cross-sections will often have only a marginal effect on the amount of material used if the geometry of a structure is fixed and if the cross-sectional characteristics of its elements are property designed by conventional methods. In recent years, optimalgeometry has become a central area of research in the automated design of structures. It is generally accepted that no single optimisation algorithm is suitable for all engineering design problems. An appropriate algorithm, therefore, mustbe selected individually for each optimisation situation. Modelling is the mosttime consuming phase in the optimisation of steel and metal structures. In thisresearch, the goal was to develop a method and computer program, which reduces the modelling and optimisation time for structural design. The program needed anoptimisation algorithm that is suitable for various engineering design problems. Because Finite Element modelling is commonly used in the design of steel and metal structures, the interaction between a finite element tool and optimisation tool needed a practical solution. The developed method and computer programs were tested with standard optimisation tests and practical design optimisation cases. Three generations of computer programs are developed. The programs combine anoptimisation problem modelling tool and FE-modelling program using three alternate methdos. The modelling and optimisation was demonstrated in the design of a new boom construction and steel structures of flat and ridge roofs. This thesis demonstrates that the most time consuming modelling time is significantly reduced. Modelling errors are reduced and the results are more reliable. A new selection rule for the evolution algorithm, which eliminates the need for constraint weight factors is tested with optimisation cases of the steel structures that include hundreds of constraints. It is seen that the tested algorithm can be used nearly as a black box without parameter settings and penalty factors of the constraints.

A novel approachfor assessing the fatigue strength of ultrasonic impact treated welded structures.

It is commonly observed that complex fabricated structures subject tofatigue loading fail at the welded joints. Some problems can be corrected by proper detail design but fatigue performance can also be improved using post-weld improvement methods. In general, improvement methods can be divided into two main groups: weld geometry modification methods and residual stress modification methods. The former remove weld toe defects and/or reduce the stress concentrationwhile the latter introduce compressive stress fields in the area where fatigue cracks are likely to initiate. Ultrasonic impact treatment (UIT) is a novel post-weld treatment method that influences both the residual stress distribution andimproves the local geometry of the weld. The structural fatigue strength of non-load carrying attachments in the as-welded condition has been experimentally compared to the structural fatigue strength of ultrasonic impact treated welds. Longitudinal attachment specimens made of two thicknesses of steel S355 J0 have been tested for determining the efficiency of ultrasonic impacttreatment. Treated welds were found to have about 50% greater structural fatigue strength, when the slope of the S-N-curve is three. High mean stress fatigue testing based on the Ohta-method decreased the degree of weld improvement only 19%. This indicated that the method could be also applied for large fabricated structures operating under high reactive residual stresses equilibrated within the volume of the structure. The thickness of specimens has no significant effect tothe structural fatigue strength. The fatigue class difference between 5 mm and 8 mm specimen was only 8%. It was hypothesized that the UIT method added a significant crack initiation period to the total fatigue life of the welded joints. Crack initiation life was estimated by a local strain approach. Material parameters were defined using a modified Uniform Material Law developed in Germany. Finite element analysis and X-ray diffraction were used to define, respectively, the stress concentration and mean stress. The theoretical fatigue life was found to have good accuracy comparing to experimental fatigue tests.The predictive behaviour of the local strain approach combined with the uniformmaterial law was excellent for the joint types and conditions studied in this work.

A modified structural stress method for fatigue assessment of welded structures

Fatigue life assessment of weldedstructures is commonly based on the nominal stress method, but more flexible and accurate methods have been introduced. In general, the assessment accuracy is improved as more localized information about the weld is incorporated. The structural hot spot stress method includes the influence of macro geometric effects and structural discontinuities on the design stress but excludes the local features of the weld. In this thesis, the limitations of the structural hot spot stress method are discussed and a modified structural stress method with improved accuracy is developed and verified for selected welded details. The fatigue life of structures in the as-welded state consists mainly of crack growth from pre-existing cracks or defects. Crack growth rate depends on crack geometry and the stress state on the crack face plane. This means that the stress level and shape of the stress distribution in the assumed crack path governs thetotal fatigue life. In many structural details the stress distribution is similar and adequate fatigue life estimates can be obtained just by adjusting the stress level based on a single stress value, i.e., the structural hot spot stress. There are, however, cases for which the structural stress approach is less appropriate because the stress distribution differs significantly from the more common cases. Plate edge attachments and plates on elastic foundations are some examples of structures with this type of stress distribution. The importance of fillet weld size and weld load variation on the stress distribution is another central topic in this thesis. Structural hot spot stress determination is generally based on a procedure that involves extrapolation of plate surface stresses. Other possibilities for determining the structural hot spot stress is to extrapolate stresses through the thickness at the weld toe or to use Dong's method which includes through-thickness extrapolation at some distance from the weld toe. Both of these latter methods are less sensitive to the FE mesh used. Structural stress based on surface extrapolation is sensitive to the extrapolation points selected and to the FE mesh used near these points. Rules for proper meshing, however, are well defined and not difficult to apply. To improve the accuracy of the traditional structural hot spot stress, a multi-linear stress distribution is introduced. The magnitude of the weld toe stress after linearization is dependent on the weld size, weld load and plate thickness. Simple equations have been derived by comparing assessment results based on the local linear stress distribution and LEFM based calculations. The proposed method is called the modified structural stress method (MSHS) since the structural hot spot stress (SHS) value is corrected using information on weld size andweld load. The correction procedure is verified using fatigue test results found in the literature. Also, a test case was conducted comparing the proposed method with other local fatigue assessment methods.

Measuring irregularities and surface defects from printed patterns

Quality inspection and assurance is a veryimportant step when today's products are sold to markets. As products are produced in vast quantities, the interest to automate quality inspection tasks has increased correspondingly. Quality inspection tasks usuallyrequire the detection of deficiencies, defined as irregularities in this thesis. Objects containing regular patterns appear quite frequently on certain industries and science, e.g. half-tone raster patterns in the printing industry, crystal lattice structures in solid state physics and solder joints and components in the electronics industry. In this thesis, the problem of regular patterns and irregularities is described in analytical form and three different detection methods are proposed. All the methods are based on characteristics of Fourier transform to represent regular information compactly. Fourier transform enables the separation of regular and irregular parts of an image but the three methods presented are shown to differ in generality and computational complexity. Need to detect fine and sparse details is common in quality inspection tasks, e.g., locating smallfractures in components in the electronics industry or detecting tearing from paper samples in the printing industry. In this thesis, a general definition of such details is given by defining sufficient statistical properties in the histogram domain. The analytical definition allowsa quantitative comparison of methods designed for detail detection. Based on the definition, the utilisation of existing thresholding methodsis shown to be well motivated. Comparison of thresholding methods shows that minimum error thresholding outperforms other standard methods. The results are successfully applied to a paper printability and runnability inspection setup. Missing dots from a repeating raster pattern are detected from Heliotest strips and small surface defects from IGT picking papers.

The use of branched ketenedimers in solving the deposit problems related to the internal sizing of uncoated fine paper

Alkyl ketene dimers (AKD) are effective and highly hydrophobic sizing agents for the internal sizing of alkaline papers, but in some cases they may form deposits on paper machines and copiers. In addition, alkenyl succinic anhydrides (ASA)- based sizing agents are highly reactive, producing on-machine sizing, but under uncontrolled wet end conditions the hydrolysis of ASA may cause problems. This thesis aims at developing an improved ketene dimer based sizing agent that would have a lower deposit formation tendency on paper machines and copiers than a traditional type of AKD. The aim is also to improve the ink jet printability of a AKD sized paper. The sizing characteristics ofketene dimers have been compared to those of ASA. A lower tendency of ketene dimer deposit formation was shown in paper machine trials and in printability tests when branched fatty acids were used in the manufacture of a ketene dimer basedsizing agent. Fitting the melting and solidification temperature of a ketene dimer size to the process temperature of a paper machine or a copier contributes to machine cleanliness. A lower hydrophobicity of the paper sized with branched ketene dimer compared to the paper sized with traditional AKD was discovered. However, the ink jet print quality could be improved by the use of a branched ketene dimer. The branched ketene dimer helps in balancing the paper hydrophobicity for both black and color printing. The use of a high amount of protective colloidin the emulsification was considered to be useful for the sizing performance ofthe liquid type of sizing agents. Similar findings were indicated for both the branched ketene dimer and ASA.