In this thesis I study constraint satisfaction problems or CSPs. These require determining whether values can be assigned to variables so that all constraints are satisfied. An important challenge is to identify tractable CSPs which can be solved efficiently. CSP instances have usually been grouped together by restricting either the allowed combinations of values, or the way the variables are allowed to interact. Such restrictions sometimes yield tractable CSPs. A weakness of this method is that it cannot explain why all-different constraints form a tractable CSP. In this common type of constraint, all variables must be assigned values that are different from each other. New techniques are therefore needed to explain why such CSPs can be solved efficiently. My main contribution is an investigation of such hybrid CSPs which cannot be defined with either one of these kinds of restrictions. The main technique I use is a transformation of a CSP instance to the microstructure representation. This represents an instance as a collection of sets, and a solution of the instance corresponds to an independent set in the clause structure. For the common case where all constraints involve only two variables, I show how the microstructure can be used to define CSPs that are tractable because their clause structures fall within classes of graphs for which an independent set of specified size can be found efficiently. Such tractable hereditary classes are defined by using the technique of excluded induced subgraphs, such as classes of graphs that contain neither odd cycles with five or more vertices, nor their complements. I also develop finer grained techniques, by allowing vertices of the microstructure representation to be assigned colours, and the variables to be ordered. I show that these techniques define a new tractable CSP that forbids an ordered vertex-coloured subgraph in the microstructure representation.

Additive manufacturing is revolutionizing the way of production and use of materials. The clear tendency for shifting from mass production to individual production of net-shape components has encouraged using selective laser melting (SLM) or electron beam melting (EBM). In this thesis, austenitic, duplex and martensitic stainless steel parts were fabricated by laser melting technique using fixed laser scanning parameters. The fabricated steel parts were characterised using XRD, SEM, TEM/STEM, SADP and EBSD techniques. Mechanical properties of the fabricated steel parts were also measured. The mechanism of the evolution of microstructure during laser melting as well as the mechanism of the effect of developed microstructure on the mechanical properties was investigated. It was found that the intense localized heating, non-uniform and asymmetric temperature gradients and subsequently fast cooling introduces unique high level structural hierarchies and microstructure heterogeneities in laser melted steel parts. A unique structural hierarchy from the millimetre scale melt pools down to the sub-micron/nano scale cellular sub-grains was observed. The cellular sub-grains were 0.5-1μm with Molybdenum enriched at the sub-grain boundaries in SLM 316L. The Mo enriched cell boundaries affected the chemical and microstructure stability of the post heat treated samples. Well dispersed and large concentration of dislocations around the cell boundaries and well distributed oxide nano inclusions, imposed large strengthening and hardening effect that led to relatively superior tensile strength (700 MPa), yield strength (456 MPa), and microhardness (325Hv) compared to those of HIP 316L steel. The in-situ formation of oxide nano inclusions provided a unique way for preparation of oxide dispersion-strengthened (ODS) steel in a single process. The formation of oxide nano inclusions in the very low oxygen partial pressure of laser chamber was thermodynamically explained. High concentration of nano size dislocation loops, formation of nitride phases along with nitrogen enriched islands and oxide nano inclusions lead to strong dislocation pinning effect which strengthened the laser melted duplex stainless steel with a total tensile strength of 1321 MPa, yield strength of 1214 MPa and microhardness of 450HV. The grade 420 stainless steel was laser melted in Ar and N2 atmosphere which also showed a two level hierarchy with nanometric martensite lathes embedded in parental austenite cellular grains. The Ar treated sample had relatively higher retained austenite, lower YS (680-790 MPa) and UTS (1120-1200 MPa) compared to those treated in N2 (YS= 770-1100 MPa, UTS=1520-1560 MPa). The mechanism of the effect of atmosphere on phase transformation was explained. / <p>At the time of the doctoral defense, the following paper was unpublished and had a status as follows: Paper 4: Submitted.</p>

The tribosphenic molar is an ancestral type of mammalian teeth and a phy- lotypic stage of the mammalian dental evolution. Yet, in contrast to derived teeth types, its enamel microarchitecture attracted only little attention and the information on that subject is often restricted to statements suggesting a simple homogenous arrangement of a primitive radial prismatic enamel. The present paper tests this prediction with aid of comparative study of eight model species representing the orders Chiroptera, Afrosoricida, Eulipotyphla (Erinaceomorpha) and Eulipotyphla (Soricomorpha). Spe- cial attention was paid to shrews (Soricidae), the group with most derived tribosphenic dentition among extant insectivores. The detailed electron microscopic (SEM) analysis of standardized cross sections over essential structural elements of tribosphenic molars (in shrews supplemented with sections of the lower incisor, the most derived tooth of the dentition) was a basic source of information. The results demonstrated common arrangements related to tribosphenic design (he- terotopy of enamel thickness, radial prismatic enamels as primary product of ameloge- netic activity), yet, an unexpectedly broad span of variation in state of further variables was discovered at the same time. The taxon-specific arrangements and...

The subject matter of the submitted graduation thesis was Basic Terms in Musicology - an Example for Problematics of Lexical Minimum. Processed section of musical terminology supposed to be a basis for recently scheduled German-Czech Academic Dictionary (GDTAW). Theoretic section of the Thesis is considered as explanation of basic terms of terminology concerning problematic of specialized language. Briefly is described evolution of german and czech musical terminology. Thesis concern regarding genesis process of new vocabulary with specific parts and bilingual vocabulary structure. Criterias for lexical units selection are described in capture "problematic of lexical minimum". Sorts of macrostructur and microstuctur of dictionaries are described as well. There is commented processing case of selected musical terms in detail in analytic part. As conclusion of the Thesis are selected examples of processed musical terms.

Subject matter of this thesis is the problem of informed trading on the Prague Stock Exchange. This topic is developed in two directions. First one is empirical analysis of informed trading, which makes use of unique dataset which includes trading in XETRA and SPAD. This dataset enabled the author to compare change in measures of informed trading in respective trading systems. For this comparison models PIN and VPIN are used, the latter for the first time in Czech academic research. Model PIN brings the result that the probability of informed trading has significantly decreased following the transition to XETRA. On the contrary, results of VPIN metric suggest that measure of toxic liquidity has slightly increased. Second one is economic analysis of law. On the basis of economic insight two regulatory issues are identified - the problem of inside information and conflict of interest in case of market makers. Legal analysis has brought two key findings - problem of inside information is the result of incomplete implementation of european legislature and the conflict of interest is attributed to its improper treatment, based on the concept of fiduciary duties, which are hard to enforce in this particular case. Proposal how to fix these problems suggests "chinese wall" as the solution which would...

Solid Oxide Fuel Cells could play a key role in energy systems of the future because they can directly convert the chemical energy of fuels into electrical energy in a reliable and energy efficient way. The choice of materials for the components of fuel cells is crucial for the achievement of the high performance and the low price necessary to establish fuel cell technology in the energy market. Current state of the art anodes consisting of nickel and yttria stabilised zirconia (Ni/YSZ) offer good electrochemical performance but suffer from limitations like carbon deposition, redox instability and sulphur poisoning. This thesis explores the properties of composite fully ceramic anodes consisting of a skeleton of yttria stabilised zirconia (YSZ) or cerium gadolinium oxide (CGO) and a perovskite phase based on B-site doped lanthanum strontium titanate. The perovskite phase was fabricated in situ inside the pores of the skeleton material by the infiltration of an aqueous precursor and subsequent firing (impregnation method). Material characterisation of the composite anodes was carried out by X-ray diffraction and the microstructure investigated by electron microscope techniques. The electrochemical performance was tested by IV-curves and impedance spectroscopy. Particularly the investigation of the connection between the microstructure of the impregnated anodes and their electrochemical performance is a main objective of this work. The electrochemical performance of cells with a CGO skeleton and an impregnated lanthanum strontium titanate phase was found to be inferior compared to cells with a YSZ skeleton, even if the ionic conductivity of CGO is known to be higher than the ionic conductivity of YSZ. The difference was assigned to mass transport problems tightly connected to the different microstructure of the composite anodes. A significant improvement of the performance could be achieved by the utilisation of A-site deficient perovskites as impregnated phase in a YSZ skeleton. Cells with composite anodes of YSZ and La₀.₄Sr₀.₄Ti₀.₉₄Mn₀.₀₆O[sub](3-δ) show power densities of 156.2 mW/cm² at a measuring temperature of 750 °C compared to 58.5 mW/cm² measured in a similar cell with A-site stoichiometric LSTM, both cells having an electrolyte thickness of around 60 μm. The superiority of the performance of anodes with A-site deficient perovskites is mainly due to a lower ohmic resistance of only 0.5 Ω*cm², indicating better conductivity of the composite with A-site deficient perovskites. The investigation of the microstructure of composite anodes with A-site deficient perovskites showed the decoration of the surface with nanoparticles after reduction. These nanoparticles originate from exsolution of ions from the B-site of the perovskite and can't be found in A-site stoichiometric perovskites. The influence of fabrication parameters like firing temperature of the skeleton, firing temperature after impregnation or vacuum impregnation on the microstructure and electrochemical performance of the composite anodes was studied. Particularly the increase of the firing temperature of the skeleton from 1400 °C to 1500 °C resulted in an impressive improvement of total cell resistance and maximal power density.

No description available.

Master of Science / Department of Geology / George R. Clark II / Conulariids are one of the most enigmatic groups of fossil organisms, and have been stimulating debates since the late 19th century. Many major questions remain; for example, three independent researchers (Babcock and Feldman, 1986b; Oliver and Coates, 1987; Van Iten, 1992b) reported three different mineralogies for the conulariid test within a six-year period, and are not known to have reached an agreement. Conulariid morphology is also debated, and many workers seem unable to agree on the basic architecture of the test or how it grows. Conulariid workers have also attempted to determine the taxonomic classification of conulariids, especially whether they have cnidarian affinities or occupy their own phylum. My work attempts to clarify some of these issues, as well as determine whether any morphological variation exists within single species of conulariids in different paleoenvironments. To this end, I have collected and prepared specimens for examination by scanning electron microscopy, transmitted polarized light microscopy, energy-dispersive spectrophotometery, and x-ray defractometry. Results include evidence for the presence of organic matrix in the conulariid test microstructure, the presence of three types of lamellae in the test, and support for carbonate-rich apatite [Ca5(PO4,CO3)3(OH,F)] mineralogy. Details of the test microstructure add further support for a coronatid scyphozoan affinity. The conulariid species examined here displayed no microstructural or mineralogical variation between different paleoenvironments (unless two of the species are actually environmental varieties, which seem unlikely).

Lamellar graphite iron (LGI) is commonly used in diesel engine applications such as piston rings–cylinder liner where an excellent combination of physical and tribological properties is essential to avoid scuffing and bore polishing issues. The excellent tribological behaviour of LGI alloys is related to the graphite lamellas, which act as solid lubricant agents by feeding onto the tribosurfaces under sliding conditions. However, increasingly tighter emissions and fuel economy legislations and the higher demands on enhanced power and durability have encouraged both engine designers and manufacturers to introduce pearlitic compacted graphite irons (CGI) as an alternative material replacing LGI, although the poor machinability of pearlitic CGI alloys compared to the LGI remains a challenge. The focus of this study is placed on investigating how the microstructure of LGI and CGI alloys affects their mechanical and tribological properties. This was initially undertaken by investigating representative, worn lamellar cast iron piston rings taken from a two-stroke large-bore heavy-duty diesel engine. As known that it is tribologically essential to keep the graphite open under sliding conditions, in particular under starved lubrication regimes or unlubricated conditions to avoid scuffing issues; however, this study revealed the closure of a majority of graphite lamellas; profoundly for those lamellas that were parallel to sliding direction; due to the severe matrix deformation caused by abrasion. Both microindentation and microscratch testing, which were used to crudely simulate the abrasion under starved lubricated condition in combustion chamber, suggested a novel mechanism of activating the graphite lamellas to serve as lubricating agents in which the matrix deformation adjacent to the graphite initially resulted in fracturing and then extrusion of the graphite lamellas. Additionally, in order to investigate the relation between matrix constituents, mechanical properties and machinability of cast iron materials, solution-strengthened CGI alloys were produced with different levels of silicon and section thicknesses. The results showed significant improvements in mechanical properties and machinability while deteriorating the ductility. Moreover, multiple regression analysis, based on chemical composition and microstructural characteristics was used to model the local mechanical properties of high Si ferritic CGI alloys, followed by implementing the derived models into a casting process simulation which enables the local mechanical properties of castings with complex geometries. Very good agreement was observed between the measured and predicted microstructure and mechanical properties.

The constitutive mechanical behaviour with a focus on creep of Sn-Pb and various Sn-Ag-Cu based Pb-free solders in the 25-150°C temperature range has been studied using nanoindentation and various new meso-scale tests. All alloys have been studied as bulk wave soldering bars, as-received solder balls and solder joints. Ball Grid Array (BGA) solder joints in a typical electronic configuration were manufactured in-house using both Cu and Pd-Ag metallizations. Microstructural characterisation of all configurations used various types of optical and electron microscopy and showed that the solder pad metallization type played a major role in intermetallic compound (IMC) formation. There were comparatively fine and coarse-grained microstructures in both as-received solder balls and BGA solder joints depending on ball diameter. Nanoindentation creep measurements in the stress range 20-500MPa showed that grain boundary sliding occurred together with dislocation glide and dislocation climb in the low temperature (25-50°C) and high temperature (100-150°C) regimes respectively. Smaller grain sizes (<20µm) encouraged grain boundary sliding that enhanced creep. New elevated temperature mechanical tests were developed using the nanoindentation platform to enable testing of entire solder joints in shear and compression, with stresses in the 1E-2 - 3MPa range, more relevant to in-service conditions than those in nanoindentation. Meso-scale spherical indentation creep behaviour in compression on as-reflowed solder balls showed good agreement with that obtained by conventional nanoindentation. However, when BGAs were tested in shear, the solder microstructure had relatively little influence on the creep response, which was significantly less creep resistant than individual phases in the ball obtained by nanoindentation or the ball itself obtained by meso-scale spherical indentation. In shear, the creep conformed to diffusion controlled behaviour and interfacial microstructure was suggested to now control creep response, with the microstructure of the majority of the solder joint playing only a minor role.