991 resultados para K-Valued Logic
Resumo:
Phase relations in the system Bi-Sr-Cu-O at 1123 K have been investigated using optical microscopy, electron-probe microanalysis (EPMA) and powder X-ray diffraction (XRD) of equilibrated samples. Differential thermal analysis (DTA) was used to confirm liquid formation for compositions rich in BiO1.5. Compositions along the three pseudo-binary sections and inside the pseudo-ternary triangle have been examined. The attainment of equilibrium was facilitated by the use of freshly prepared SrO as the starting material. The loss of Bi2O3 from the sample was minimized by double encapsulation. A complete phase diagram at 1123 K is presented. It differs significantly from versions of the phase diagram published recently.
Resumo:
Photographized nature I. K. Inha s work as a signification of nature The dissertation examines, through the work of the Finnish photographer and writer I. K. Inha (formerly Konrad Into Nyström) (1865 1930), the different ways in which the signification of nature is achieved. The principal material consists of Inha s work from 1890 to 1925, from which a number of photographs and texts are considered and upon which the photographization of nature is contemplated. The dissertation addresses the issue of how nature is conceived and how the act of photographizing it can be defined. The methodical context of the study is composed of three thematic baskets that structure the material and which consist of narrations on Finnish national perception, nature conservation and understanding the world. In the first case nature is seen as the natural environment encompassing lakes, seashores, forests, and hills, which at the time were often perceived from a utilitarian viewpoint. By the photographization they generated a pictorial narrative that could be shared. The natural environment was thus turned into landscape by means of photography, following the global pictorial concepts picturesque and sublime, as well as the national canons that had been developed in literature and the visual arts. In the narrations concerning nature conservation, the photographization did not merely occur within the limits of presuppositions, but rather nature was given the opportunity to unfold itself. While the photograph was being established as a basis for supporting nature conservation or to highlight the destruction of nature at the hand of Man, an attempt was made to represent subjects that were difficult to convey in photographs, such as nature s power or the miracle of growth. The thesis suggests, that in the third case the concept of nature broke away from its strict interconnection with the natural environment and led to a contemplation of nature that is perceivable in a person. In this context the photograph and the photographization are interpreted as an attempt to understand a person and his or her very existence in the world, while this same existential wonder is seen as being embodied in Inha s portrait of a rune singer and in his photographs of forest interior and water. Further, the thesis asks whether photographing nature could be interpreted as an action similar to the idea of the phenomenological reduction as a means of bypassing the photographer s prevailing way of being.
Resumo:
This monograph describes the emergence of independent research on logic in Finland. The emphasis is placed on three well-known students of Eino Kaila: Georg Henrik von Wright (1916-2003), Erik Stenius (1911-1990), and Oiva Ketonen (1913-2000), and their research between the early 1930s and the early 1950s. The early academic work of these scholars laid the foundations for today's strong tradition in logic in Finland and also became internationally recognized. However, due attention has not been given to these works later, nor have they been comprehensively presented together. Each chapter of the book focuses on the life and work of one of Kaila's aforementioned students, with a fourth chapter discussing works on logic by authors who would later become known within other disciplines. Through an extensive use of correspondence and other archived material, some insight has been gained into the persons behind the academic personae. Unique and unpublished biographical material has been available for this task. The chapter on Oiva Ketonen focuses primarily on his work on what is today known as proof theory, especially on his proof theoretical system with invertible rules that permits a terminating root-first proof search. The independency of the parallel postulate is proved as an example of the strength of root-first proof search. Ketonen was to our knowledge Gerhard Gentzen's (the 'father' of proof theory) only student. Correspondence and a hitherto unavailable autobiographic manuscript, in addition to an unpublished article on the relationship between logic and epistemology, is presented. The chapter on Erik Stenius discusses his work on paradoxes and set theory, more specifically on how a rigid theory of definitions is employed to avoid these paradoxes. A presentation by Paul Bernays on Stenius' attempt at a proof of the consistency of arithmetic is reconstructed based on Bernays' lecture notes. Stenius correspondence with Paul Bernays, Evert Beth, and Georg Kreisel is discussed. The chapter on Georg Henrik von Wright presents his early work on probability and epistemology, along with his later work on modal logic that made him internationally famous. Correspondence from various archives (especially with Kaila and Charlie Dunbar Broad) further discusses his academic achievements and his experiences during the challenging circumstances of the 1940s.
Resumo:
Various Tb theorems play a key role in the modern harmonic analysis. They provide characterizations for the boundedness of Calderón-Zygmund type singular integral operators. The general philosophy is that to conclude the boundedness of an operator T on some function space, one needs only to test it on some suitable function b. The main object of this dissertation is to prove very general Tb theorems. The dissertation consists of four research articles and an introductory part. The framework is general with respect to the domain (a metric space), the measure (an upper doubling measure) and the range (a UMD Banach space). Moreover, the used testing conditions are weak. In the first article a (global) Tb theorem on non-homogeneous metric spaces is proved. One of the main technical components is the construction of a randomization procedure for the metric dyadic cubes. The difficulty lies in the fact that metric spaces do not, in general, have a translation group. Also, the measures considered are more general than in the existing literature. This generality is genuinely important for some applications, including the result of Volberg and Wick concerning the characterization of measures for which the analytic Besov-Sobolev space embeds continuously into the space of square integrable functions. In the second article a vector-valued extension of the main result of the first article is considered. This theorem is a new contribution to the vector-valued literature, since previously such general domains and measures were not allowed. The third article deals with local Tb theorems both in the homogeneous and non-homogeneous situations. A modified version of the general non-homogeneous proof technique of Nazarov, Treil and Volberg is extended to cover the case of upper doubling measures. This technique is also used in the homogeneous setting to prove local Tb theorems with weak testing conditions introduced by Auscher, Hofmann, Muscalu, Tao and Thiele. This gives a completely new and direct proof of such results utilizing the full force of non-homogeneous analysis. The final article has to do with sharp weighted theory for maximal truncations of Calderón-Zygmund operators. This includes a reduction to certain Sawyer-type testing conditions, which are in the spirit of Tb theorems and thus of the dissertation. The article extends the sharp bounds previously known only for untruncated operators, and also proves sharp weak type results, which are new even for untruncated operators. New techniques are introduced to overcome the difficulties introduced by the non-linearity of maximal truncations.
Resumo:
This thesis is concerned with the area of vector-valued Harmonic Analysis, where the central theme is to determine how results from classical Harmonic Analysis generalize to functions with values in an infinite dimensional Banach space. The work consists of three articles and an introduction. The first article studies the Rademacher maximal function that was originally defined by T. Hytönen, A. McIntosh and P. Portal in 2008 in order to prove a vector-valued version of Carleson's embedding theorem. The boundedness of the corresponding maximal operator on Lebesgue-(Bochner) -spaces defines the RMF-property of the range space. It is shown that the RMF-property is equivalent to a weak type inequality, which does not depend for instance on the integrability exponent, hence providing more flexibility for the RMF-property. The second article, which is written in collaboration with T. Hytönen, studies a vector-valued Carleson's embedding theorem with respect to filtrations. An earlier proof of the dyadic version assumed that the range space satisfies a certain geometric type condition, which this article shows to be also necessary. The third article deals with a vector-valued generalizations of tent spaces, originally defined by R. R. Coifman, Y. Meyer and E. M. Stein in the 80's, and concerns especially the ones related to square functions. A natural assumption on the range space is then the UMD-property. The main result is an atomic decomposition for tent spaces with integrability exponent one. In order to suit the stochastic integrals appearing in the vector-valued formulation, the proof is based on a geometric lemma for cones and differs essentially from the classical proof. Vector-valued tent spaces have also found applications in functional calculi for bisectorial operators. In the introduction these three themes come together when studying paraproduct operators for vector-valued functions. The Rademacher maximal function and Carleson's embedding theorem were applied already by Hytönen, McIntosh and Portal in order to prove boundedness for the dyadic paraproduct operator on Lebesgue-Bochner -spaces assuming that the range space satisfies both UMD- and RMF-properties. Whether UMD implies RMF is thus an interesting question. Tent spaces, on the other hand, provide a method to study continuous time paraproduct operators, although the RMF-property is not yet understood in the framework of tent spaces.
Resumo:
Chemical shifts, ΔE, of the X-ray K-absorption edge in several compounds, complexes of copper including its superconducting oxides possessing formal oxidation states +1 and +2 have been measured. It has been shown that the chemical shift is primarily governed by the effective ionic charge on the absorbing ion and the nature of the atoms in the first coordination shell around the absorbing ion. The relation between the chemical shift, ΔE , and the effective charge q on the absorbing ion is found to be ΔE=Aq+Bq2+Cq3+Dq4 (A, B, C and D are constants). The effects of electronegativity, atomic number, oxidation state, crystal structure, the valence d-orbital electrons, etc. on the X-ray absorption chemical shift have been discussed. ©1990 The Physical Society of Japan
Resumo:
Phase relations in the system CaO-Fe2O3-Y2O3 in air (P-O2/P-o = 0.21) were explored by equilibrating samples representing eleven compositions in the ternary at 1273 K, followed by quenching to room temperature and phase identification using XRD. Limited mutual solubility was observed between YFeO3 and Ca2Fe2O5. No quaternary oxide was identified. An isothermal section of the phase diagram at 1273 K was constructed from the results. Five three-phase regions and four extended two-phase regions were observed. The extended two-phase regions arise from the limited solid solutions based on the ternary oxides YFeO3 and Ca2Fe2O5. Activities of CaO, Fe2O3 and Y2O3 in the three-phase fields were computed using recently measured thermodynamic data on the ternary oxides. The experimental phase diagram is consistent with thermodynamic data. The computed activities of CaO indicate that compositions of CaO-doped YFeO3 exhibiting good electrical conductivity are not compatible with zirconia-based electrolytes; CaO will react with ZrO2 to form CaZrO3.
Resumo:
We describe an automated calorimeter for measurement of specific heat in the temperature range 10 K>T>0.5 K. It uses sample of moderate size (100–1000 mg), has a moderate precision and accuracy (2%–5%), is easy to operate and the measurements can be done quickly with He4 economy. The accuracy of this calorimeter was checked by measurement of specific heat of copper and that of aluminium near its superconducting transition temperature.
Resumo:
The K-means algorithm for clustering is very much dependent on the initial seed values. We use a genetic algorithm to find a near-optimal partitioning of the given data set by selecting proper initial seed values in the K-means algorithm. Results obtained are very encouraging and in most of the cases, on data sets having well separated clusters, the proposed scheme reached a global minimum.
Resumo:
Tässä tutkimuksessa tarkastellaan K-supermarket Torpparinmäen asiakkaiden arvostuksia myymälän sisäisiin toimiin liittyen. Myymälän sisäisiin toimiin lasketaan tässä tutkimuksessa kuuluvan laaja kirjo asioita kuten hinnat, tarjoukset, valikoiman laajuus eri tuoteryhmissä, elämyksellisyys, hyllysijoittelu, kaupan selkeys, asiakaspalvelu sekä viihtyisyys. Myös merkityksellisten ja vähemmän merkityksellisten asioiden toteutumisesta kyseisessä myymälässä halutaan vastauksia. Tutkimuksessa nostetaan esille myös erilaiset tiedotuskanavat kaupan markkinoinnissa. Tämän lisäksi sivutaan aihetta kuluttajien päivittäistavarakaupan valintakriteereistä. Tutkimusote on kvantitatiivinen ja kysely suoritettiin survey-tutkimuksena. Tutkimuksessa haluttiin tämän lisäksi kerätä mahdollisimman paljon myös avoimia kommentteja sekä myymälästä että päivittäistavarakaupan valintaan liittyvistä kriteereistä. K-supermarket Torpparinmäen pahin kilpailija alueellaan on S-market Torpparinmäki. Asiakkailta haluttiin kysyä avoimesti, miksi asioivat juuri kyseisessä myymälässä. Kysely suoritettiin lauantaipäivänä K-supermarket Torpparinmässä asioineille 18-89-vuotiaille henkilöille. Kyselyyn vastasi 80 asiakasta, joista 65 % oli naisia ja 35 % miehiä. Tutkimuksen viitekehys jakaa myymälämarkkinoinnin neljään pääkategoriaan: viihtyvyystekijä, palvelutekijä, hintatekijä sekä valikoimatekijä. Näiden tekijöiden merkityksiä asiakkaille haluttiin tutkimuksessa asettaa tärkeysjärjestykseen. Myös näiden tekijöiden toteumaa K-supermarket Torpparinmäessä haluttiin selvittää. Tulosten analysoinnin perusteella edellä mainituista pääkategorioista tärkeimmäksi muodostui valikoimatekijä. Valikoimien monipuolisuutta pidettiin kaikista tärkeimpänä tekijänä myymälässä. Myös luomu- ja lähiruoan valikoimia pidettiin tärkeäpänä kuin valmisruokien. Toiseksi eniten asiakkaat arvostivat asiakaspalvelua ja vasta kolmannelle sijalle päätyi hintatekijä. Neljänneksi tärkeimpänä asiakkaat pitivät viihtyvyystekijää. Mikään tekijöistä ei erottunut suuresti toisistaan, mutta erot olivat kuitenkin selkeitä.