The work is concerned with the development of a multi-stage corrosion fatigue lifetime model, with emphasis on pitting as a precursor to cracking. The model is based upon the quantitative evaluation of damage during the overall corrosion fatigue process. The fatigue response of as-received API 5L X65 linepipe steel has been investigated in terms of the evolution of damage during pit development, pit-to-crack transition and crack propagation. Micro-potentiostatic polarisation was conducted to evaluate role of stress on pit development. Crack growth rate measurements were conducted on pre-pitted specimens, which were tested in air and brine, to evaluate the initiation and propagation behaviour of cracks emanating from artificial pits. Finite element analysis was undertaken to evaluate the stress and strain distribution associated with the pits. A cellular automata finite element model was also developed for predicting corrosion fatigue damage. Pit growth rate was enhanced under stress. It was considered that the strain localisation effect of the pit facilitated strain-assisted dissolution. In air, cracks initiated predominantly from the pit mouth. FEA results indicated that this was due to localisation of strain towards the pit mouth. In corrosion fatigue, cracks tended to initiate at the pit base at low stress and at the pit mouth at higher stresses. Crack initiation lifetimes were shorter in the aggressive environment compared to air and the effect of the environment on crack initiation lifetime was lower at higher stress levels. Crack initiation lifetime for double pits generally decreased with decreasing pit-to-pit separation distance. The microstructure was observed to influence crack growth behaviour in air particularly in the early stages when cracks were short. The acceleration and retardation in crack growth were attributed to the resistance of grain boundaries to crack advance. Cracks sometimes arrested at these barriers and became non-propagating. Introduction of the environment for a short period appear to eliminate the resistance of the microstructural barriers thus promoting re-propagation of the previously arrested crack. The continued crack propagation after the removal of the environment suggests that the influence of the environment is more important in the early stages of crack growth. Crack growth rates were higher in the aggressive environment than in air. The degree of environmental enhancement of crack growth was found to be greater at lower stress levels and at short crack lengths. Oxide-induced crack closure and crack coalescence were two mechanisms that also affected crack growth behaviour.2-D cellular automata finite element simulation results, with and without stress, show good agreement agreed with experiments i.e. pit depth and pit aspect ratio increase with time. Results from 3-D cellular automata simulations of pits are also consistent with experiments. Fatigue lifetimes were significantly shorter (i) in the brine environment than in air and (ii) for specimens with double pits compared to single pits of similar depth. Fatigue strength in air was found to decrease with increasing pit depth. Corrosion fatigue lifetimes predicted based upon the developed model showed good agreement with the experimental lifetimes.

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / Este estudo investiga a formaÃÃo de palavras na LÃngua Portuguesa contemporÃnea do Brasil. Dentro da perspectiva da morfologia derivacional, esta pesquisa teve por objetivo desenvolver um estudo das regras de formaÃÃo de palavras atravÃs dos sufixos -eir e -ud na LÃngua Portuguesa. Essas regras foram desenvolvidas para melhor investigar a produtividade do processo morfolÃgico da sufixaÃÃo sob a perspectiva da Teoria Gerativa, centramos nosso trabalho principalmente nas idÃias sobre a formaÃÃo de palavras desenvolvidas por Anderson (1992) e Rocha (1998). Realizamos uma pesquisa empÃrica para podermos alcanÃar os objetivos de nosso trabalho. Compilamos um corpus contendo exemplos dos seguintes corpora brasileiros: NILC- SÃo Carlos, ConDivport e Chave. AlÃm dessas fontes, coletamos tambÃm diversos textos de jornais e revistas on-line, de forma assistemÃtica, com o intuito de melhor descrever o fenÃmeno da derivaÃÃo sufixal no portuguÃs brasileiro contemporÃneo. O nosso trabalho tambÃm possui uma implementaÃÃo computacional, uma vez que desenvolvemos a construÃÃo de um analisador automÃtico de palavras derivadas. Utilizamos para isso o FSA Utilities (que atualmente à um dos mais usados pacotes de ferramentas computacionais para construÃÃo e manipulaÃÃo de autÃmatos e transdutores de estados finitos) na modelaÃÃo computacional deste fragmento da morfologia flexional e derivacional do portuguÃs.

Mnoho aplikací přijímá, odesílá a zpracovává data v textové podobě. Správné a bezpečné zpracování těchto dat je typicky zajištěno tzv. ošetřením řetězců (string sanitization). Pomocí metod formální verifikace je možné analyzovat takovéto operace s řetězci a prověřit, zda jsou správně navržené či implementované.  Naším cílem je vytvořit obecný nástroj pro analýzu systémů jejichž konfigurace lze kódovat pomocí slov z vhodné abecedy, a také jeho specializaci pro analýzu programů pracujících s řetězci. Nejprve jsou popsaný konečné automaty a převodníky a poté různé třídy a podtřídy symbolických převodníků, zejména pak jejich omezení. Na základě těchto informací je pak pro použití v analýze programů navržen nový typ symbolických převodníků. Dále je popsán regulární model checking, speciálně pak jeho variantu založenou na abstrakci automatů, tzv. ARMC, u kterého je známo že dokáže velmi úspěšně překonat problém stavové exploze u automatů a umožňuje nám tzv. dosáhnout pevného bodu v analýze. Poté je navržena vlastní analýza programů psaných v imperativním paradigmatu, a to zejména programů manipulujících s řetězci, založená na principech ARMC. Následuje popis vlastní implementace nástroje s důrazem na jeho praktické vlastnosti. Rovněž jsou popsaný důležité části knihovny AutomataDotNet, na které nástroj staví. Práci je uzavřena diskuzí experimentů s nástrojem provedených na příkladech z knihovny LibStranger.

This thesis is a continuation of my bachelor thesis, which is dedicated to syntax analysis based on deep pushdown automata. In theorical part of this thesis is defined everything fundamental for this work, for example deep syntax-directed translation, pushdown automata, deep pushdown automata, finite transducer and deep pushdown transducer.   The second part of this thesis is dedicated to the educational program for students of IFJ. In this part is defined strucure of this program and its parts. All part of program are analyzed from a theoretical and practical point of view.

Tato práce se zabývá vývojem efektivních technik pro konečné automaty a jejich aplikace. Zejména se věnujeme konečným automatům použitých pří detekci útoků v síťovém provozu a automatům v rozhodovacích procedurách a verifikaci. V první části práce navrhujeme techniky přibližné redukce nedeterministických automatů, které snižují spotřebu zdrojů v hardwarově akcelerovaném zkoumání obsahu paketů. Druhá část práce je je věnována automatům v rozhodovacích procedurách, zejména slabé monadické logice druhého řádů k následníků (WSkS) a teorie nad řetězci. Navrhujeme novou rozhodovací proceduru pro WS2S založenou na automatových termech, umožňující efektivně prořezávat stavový prostor. Dále studujeme techniky předzpracování WSkS formulí za účelem snížení velikosti konstruovaných automatů. Automaty jsme také aplikovali v rozhodovací proceduře teorie nad řetězci pro efektivní reprezentaci důkazového stromu. V poslední části práce potom navrhujeme optimalizace rank-based komplementace Buchiho automatů, které snižuje počet generovaných stavů během konstrukce komplementu.