21 resultados para minimum order observers
em Helda - Digital Repository of University of Helsinki
Resumo:
This dissertation provides a synchronic grammatical description of Mauwake, a Papuan (Trans-New Guinea) language of about 2000 speakers on the North Coast of the Madang Province in Papua New Guinea. The theoretical background is that of Basic Linguistic Theory (BLT), used extensively in analysing and writing descriptive grammars. The chapters from morphology to clause level are described from form to function; in the later chapters the function is taken more often as the starting point. Any theory-specific terminology is kept to the minimum and formalisms have been avoided in accordance with BLT principles. Mauwake has a classic 5-vowel system and 14 consonant phonemes. With its simple phonology it is a typical representative of the Madang North Coast languages. For a Papuan language there are relatively few morphophonological alternations. Nouns are either alienably or inalienably possessed. There is no obligatory number marking in nouns or noun phrases. Pronouns have several different forms: five for case and three for other functions. The dative pronouns are treated as [+human] locatives, and they have also grammaticalised as possessives. The verbal morphology is agglutinative and mainly suffixal. Unusual features include two distributive suffixes, and the interaction of the derivational benefactive and the inflectional beneficiary suffixes. The applicative suffix has either transitivising or causative but not benefactive function. The switch-reference system distinguishes between simultaneous and sequential action, as well as same or different subject in relation to the following clause. There are several verbs denoting coming and going, and they may combine with one of three prefixes to indicate bringing and taking. Mauwake is a nominative-accusative type language, and the basic constituent order in a clause is SOV. Subject and object are the only syntactic arguments. There is no indirect object, but a clause can have two or even three objects. A nominalised clause with a finite verb functions as a relative clause or a complement clause; one with a nominalised verb has several different functions. Functional domains described include modality, negation, deixis, quantification, possession and comparison. As there are four negators, Mauwake has more variation in negative expressions than is usual in Papuan languages. Clause chaining is the preferred strategy for joining clauses into sentences, but coordination and subordination of finite clauses are also common. The form of a complement clause depends on whether it is of the fact, action or potential type. Tail-head linkage is used as a cohesive device between sentences. The discourse-level features described are topic and focus.
Resumo:
This study examines strategies used to translate various thematic and character delineating allusions in two of Reginald Hill's detective novels, The Wood Beyond and On Beulah Height and their Swedish translations Det mörka arvet and Dalen som dränktes. In this study, thematic allusions and allusions used in character delineation are regarded as intertextual networks. Intertextual networks comprise all the texts that are in one way or another embedded into a text, all the texts referred to in it and even the texts somehow rejected from a text's own canon. Studying allusions as intertextual networks makes it warranted to pay minute attention to even the smallest of details. Seen together, these little details form extensive networks of meaning that readers use to interpret the text. Allusion can be defined as a reference, often covert or indirect, to another text in a way that brings into the text some of the associations of that other text. A text is here understood broadly, hence sources of allusions include all cultural texts from literature and history to cinema and televisions serials. Allusions are culture bound and each culture tends to allude to its own cultural products. The set of transcultural allusions is therefore fairly small. Translation strategies are translatorial ways of solving translation problems. Being culture-bound, allusions are potential translation problems. In order to transmit the thoughts evoked by the allusions in source text readers to the target text readers translators may add guidance to the translated text. Often guidance is not added, which may result in changes in handling of themes or character delineation, clear in the source text but confusing or incomprehensible in the target text. However, norms in target culture may not always allow the translators the possibility to make the text comprehensible. My analyses of translation strategies show that in the two translated novels studied minimum change is a very frequently used strategy. This results in themes and character delineation losing some of the effect they have in the source texts. Perhaps surprisingly, the result is very much the same even where it is possible to discern that the two translators have had differing translation principles. Keywords: allusions, intertextuality, literary translation, translation strategies, norms, crime fiction, Hill, Reginald
Resumo:
Burnt area mapping in humid tropical insular Southeast Asia using medium resolution (250-500m) satellite imagery is characterized by persisting cloud cover, wide range of land cover types, vast amount of wetland areas and highly varying fire regimes. The objective of this study was to deepen understanding of three major aspects affecting the implementation and limits of medium resolution burnt area mapping in insular Southeast Asia: 1) fire-induced spectral changes, 2) most suitable multitemporal compositing methods and 3) burn scars patterns and size distribution. The results revealed a high variation in fire-induced spectral changes depending on the pre-fire greenness of burnt area. It was concluded that this variation needs to be taken into account in change detection based burnt area mapping algorithms in order to maximize the potential of medium resolution satellite data. Minimum near infrared (MODIS band 2, 0.86μm) compositing method was found to be the most suitable for burnt area mapping purposes using Moderate Resolution Imaging Spectroradiometer (MODIS) data. In general, medium resolution burnt area mapping was found to be usable in the wetlands of insular Southeast Asia, whereas in other areas the usability was seriously jeopardized by the small size of burn scars. The suitability of medium resolution data for burnt area mapping in wetlands is important since recently Southeast Asian wetlands have become a major point of interest in many fields of science due to yearly occurring wild fires that not only degrade these unique ecosystems but also create regional haze problem and release globally significant amounts of carbon into the atmosphere due to burning peat. Finally, super-resolution MODIS images were tested but the test failed to improve the detection of small scars. Therefore, super-resolution technique was not considered to be applicable to regional level burnt area mapping in insular Southeast Asia.
Resumo:
This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.
Resumo:
We solve the Dynamic Ehrenfeucht-Fra\"iss\'e Game on linear orders for both players, yielding a normal form for quantifier-rank equivalence classes of linear orders in first-order logic, infinitary logic, and generalized-infinitary logics with linearly ordered clocks. We show that Scott Sentences can be manipulated quickly, classified into local information, and consistency can be decided effectively in the length of the Scott Sentence. We describe a finite set of linked automata moving continuously on a linear order. Running them on ordinals, we compute the ordinal truth predicate and compute truth in the constructible universe of set-theory. Among the corollaries are a study of semi-models as efficient database of both model-theoretic and formulaic information, and a new proof of the atomicity of the Boolean algebra of sentences consistent with the theory of linear order -- i.e., that the finitely axiomatized theories of linear order are dense.
Resumo:
Malli on logiikassa käytetty abstraktio monille matemaattisille objekteille. Esimerkiksi verkot, ryhmät ja metriset avaruudet ovat malleja. Äärellisten mallien teoria on logiikan osa-alue, jossa tarkastellaan logiikkojen, formaalien kielten, ilmaisuvoimaa malleissa, joiden alkioiden lukumäärä on äärellinen. Rajoittuminen äärellisiin malleihin mahdollistaa tulosten soveltamisen teoreettisessa tietojenkäsittelytieteessä, jonka näkökulmasta logiikan kaavoja voidaan ajatella ohjelmina ja äärellisiä malleja niiden syötteinä. Lokaalisuus tarkoittaa logiikan kyvyttömyyttä erottaa toisistaan malleja, joiden paikalliset piirteet vastaavat toisiaan. Väitöskirjassa tarkastellaan useita lokaalisuuden muotoja ja niiden säilymistä logiikkoja yhdistellessä. Kehitettyjä työkaluja apuna käyttäen osoitetaan, että Gaifman- ja Hanf-lokaalisuudeksi kutsuttujen varianttien välissä on lokaalisuuskäsitteiden hierarkia, jonka eri tasot voidaan erottaa toisistaan kasvavaa dimensiota olevissa hiloissa. Toisaalta osoitetaan, että lokaalisuuskäsitteet eivät eroa toisistaan, kun rajoitutaan tarkastelemaan äärellisiä puita. Järjestysinvariantit logiikat ovat kieliä, joissa on käytössä sisäänrakennettu järjestysrelaatio, mutta sitä on käytettävä siten, etteivät kaavojen ilmaisemat asiat riipu valitusta järjestyksestä. Määritelmää voi motivoida tietojenkäsittelyn näkökulmasta: vaikka ohjelman syötteen tietojen järjestyksellä ei olisi odotetun tuloksen kannalta merkitystä, on syöte tietokoneen muistissa aina jossakin järjestyksessä, jota ohjelma voi laskennassaan hyödyntää. Väitöskirjassa tutkitaan minkälaisia lokaalisuuden muotoja järjestysinvariantit ensimmäisen kertaluvun predikaattilogiikan laajennukset yksipaikkaisilla kvanttoreilla voivat toteuttaa. Tuloksia sovelletaan tarkastelemalla, milloin sisäänrakennettu järjestys lisää logiikan ilmaisuvoimaa äärellisissä puissa.
Resumo:
National identity signifies and makes state s defence- and foreign policy behaviour meaningful. National consciousness is narrated into existence by narratives upon one s own exceptionalism and Otherness of the other nations. While national identity may be understood merely as a self-image of a nation, defence identity refers to the borders of Otherness and issues that have been considered as worth defending for. As national identities and all the world order models are human constructions, they may be changed by the human efforts as well; states and nations may deliberately promote communitarian or even cosmopolitan equality and tolerance without borders of Otherness. The main research question of the thesis is: How does Poland constitute herself as a nation and a state agent in the current world order and to what extent have contextual foreign and defence policy interactions changed the Polish defence identity during the post-Cold War era? The main empirical argument of the thesis is: Poland is a narrated idea of a Christian Catholic nation-state, which the Polish State, the Catholic Church of Poland, the Armed Forces of Poland as well as a majority of the Polish nation share. Polish defence identity has been almost impenetrable to contextual foreign and defence policy interactions during the post-Cold War era. While Christian religious ontology binds corporate Poland together, allowing her to survive any number of military and political catastrophes, it simultaneously brings her closer to the USA, raises tensions in the infidel EU-context, and restrains corporate Poland s pursuit of communitarian, or even cosmopolitan, global equality and tolerance. It is not the case that corporate Poland s foreign and defence policy orientation is instinctively Atlanticist by nature, as has been argued. Rather, it has been the State s rational project to overcome a habituated and reified fear of becoming geopolitically sandwiched between Russian and German Others by leaning on the USA; among the Polish nation, support for the USA has been declining since 2004. It is not corporate Poland either that has turned into a constructive European , as has been argued, but rather the Polish nation that has, at least partly, managed to emancipate itself from its habituation to a betrayal by Europe narrative, since it favours the EU as much as it favours NATO. It seems that in the Polish case a truly common European CFSP vis-à-vis Russia may offer a solution that will emancipate the Polish State from its habituated EU-sceptic role identity and corporate Poland from its narrated borders of Otherness towards Russia and Germany, but even then one cannot be sure whether any other perspective than the Polish one on a common stand towards Russia would satisfy the Poles themselves.
Resumo:
In this thesis the role played by expansive and introduced species in the phytoplankton ecology of the Baltic Sea was investigated. The aims were threefold. First, the studies investigated the resting stages of dinoflagellates, which were transported into the Baltic Sea via shipping and were able to germinate under the ambient, nutrient-rich, brackish water conditions. The studies also estimated which factors favoured the occurrence and spread of P. minimum in the Baltic Sea and discussed the identification of this morphologically variable species. In addition, the classification of phytoplankton species recently observed in the Baltic Sea was discussed. Incubation of sediments from four Finnish ports and 10 ships ballast tanks revealed that the sediments act as sources of living dinoflagellates and other phytoplankton. Dinoflagellates germinated from all ports detected and from 90% of ballast tanks. The concentrations of cells germinating from ballast tank sediments were mostly low compared with the acceptable cell concentrations set by the International Maritime Organization s (IMO s) International Convention for the Control and Management of Ships Ballast Water and Sediments. However, the IMO allows such high concentrations of small cells in the discharged ballast water that the total number of cells in large ballast water tanks can be very high. Prorocentrum minimum occurred in the Baltic Sea annually but with no obvious trend in the 10-year timespan from 1993 to 2002. The species occurred under wide ranges of temperatures and salinities and the abundance of the species was positively related especially to the presence of organic nitrogen and phosphorus. This indicated that the species was favoured by increased organic nutrient loading and runoff from land and rivers. The cell shape of P. minimum varied from triangular to oval-round, but morphological fine details indicated that only one morphospecies was present. P. minimum also is, according to present knowledge, the only potentially harmful phytoplankton species that has recently expanded widely into new areas of the Baltic Sea.
Resumo:
Drugs and surgical techniques may have harmful renal effects during the perioperative period. Traditional biomarkers are often insensitive to minor renal changes, but novel biomarkers may more accurately detect disturbances in glomerular and tubular function and integrity. The purpose of this study was first, to evaluate the renal effects of ketorolac and clonidine during inhalation anesthesia with sevoflurane and isoflurane, and secondly, to evaluate the effect of tobacco smoking on the production of inorganic fluoride (F-) following enflurane and sevoflurane anesthesia as well as to determine the effect of F- on renal function and cellular integrity in surgical patients. A total of 143 patients undergoing either conventional (n = 75) or endoscopic (n = 68) inpatient surgery were enrolled in four studies. The ketorolac and clonidine studies were prospective, randomized, placebo controlled and double-blinded, while the cigarette smoking studies were prospective cohort studies with two parallel groups. As a sign of proximal tubular deterioration, a similar transient increase in urine N-acetyl-beta-D-glucosaminidase/creatinine (U-NAG/crea) was noted in both the ketorolac group and in the controls (baseline vs. at two hours of anesthesia, p = 0.015) with a 3.3 minimum alveolar concentration hour sevoflurane anesthesia. Uncorrelated U-NAG increased above the maximum concentration measured from healthy volunteers (6.1 units/l) in 5/15 patients with ketorolac and in none of the controls (p = 0.042). As a sign of proximal tubular deterioration, U-glutathione transferase-alpha/crea (U-GST-alpha/crea) increased in both groups at two hours after anesthesia but a more significant increase was noted in the patients with ketorolac. U-GST-alpha/crea increased above the maximum ratio measured from healthy volunteers in 7/15 patients with ketorolac and in 3/15 controls. Clonidine diminished the activation of the renin-angiotensin aldosterone system during pneumoperitoneum; urine output was better preserved in the patients treated with clonidine (1/15 patients developed oliguria) than in the controls (8/15 developed oliguria (p=0.005)). Most patients with pneumoperitoneum and isoflurane anesthesia developed a transient proximal tubular deterioration, as U-NAG increased above 6.1 units/L in 11/15 patients with clonidine and in 7/15 controls. In the patients receiving clonidine treatment, the median of U-NAG/crea was higher than in the controls at 60 minutes of pneumoperitoneum (p = 0.01), suggesting that clonidine seems to worsen proximal tubular deterioration. Smoking induced the metabolism of enflurane, but the renal function remained intact in both the smokers and the non-smokers with enflurane anesthesia. On the contrary, smoking did not induce sevoflurane metabolism, but glomerular function decreased in 4/25 non-smokers and in 7/25 smokers with sevoflurane anesthesia. All five patients with S-F- ≥ 40 micromol/L, but only 6/45 with S-F- less than 40 micromol/L (p = 0.001), developed a S-tumor associated trypsin inhibitor concentration above 3 nmol/L as a sign of glomerular dysfunction. As a sign of proximal tubulus deterioration, U-beta 2-microglobulin increased in 2/5 patients with S-F- over 40 micromol/L compared to 2/45 patients with the highest S-F- less than 40 micromol/L (p = 0.005). To conclude, sevoflurane anesthesia may cause a transient proximal tubular deterioration which may be worsened by a co-administration of ketorolac. Clonidine premedication prevents the activation of the renin-angiotensin aldosterone system and preserves normal urine output, but may be harmful for proximal tubules during pneumoperitoneum. Smoking induces the metabolism of enflurane but not that of sevoflurane. Serum F- of 40 micromol/L or higher may induce glomerular dysfunction and proximal tubulus deterioration in patients with sevoflurane anesthesia. The novel renal biomarkers warrant further studies in order to establish reference values for surgical patients having inhalation anesthesia.
Resumo:
We report a set of measurements of particle production in inelastic pbar{p} collisions collected with a minimum-bias trigger at the Tevatron Collider with the CDF II experiment. The inclusive charged particle transverse momentum differential cross section is measured, with improved precision, over a range about ten times wider than in previous measurements. The former modeling of the spectrum appears to be incompatible with the high particle momenta observed. The dependence of the charged particle transverse momentum on the event particle multiplicity is analyzed to study the various components of hadron interactions. This is one of the observable variables most poorly reproduced by the available Monte Carlo generators. A first measurement of the event transverse energy sum differential cross section is also reported. A comparison with a Pythia prediction at the hadron level is performed. The inclusive charged particle differential production cross section is fairly well reproduced only in the transverse momentum range available from previous measurements. At higher momentum the agreement is poor. The transverse energy sum is poorly reproduced over the whole spectrum. The dependence of the charged particle transverse momentum on the particle multiplicity needs the introduction of more sophisticated particle production mechanisms, such as multiple parton interactions, in order to be better explained.
Resumo:
We report a set of measurements of particle production in inelastic pbar{p} collisions collected with a minimum-bias trigger at the Tevatron Collider with the CDF II experiment. The inclusive charged particle transverse momentum differential cross section is measured, with improved precision, over a range about ten times wider than in previous measurements. The former modeling of the spectrum appears to be incompatible with the high particle momenta observed. The dependence of the charged particle transverse momentum on the event particle multiplicity is analyzed to study the various components of hadron interactions. This is one of the observable variables most poorly reproduced by the available Monte Carlo generators. A first measurement of the event transverse energy sum differential cross section is also reported. A comparison with a Pythia prediction at the hadron level is performed. The inclusive charged particle differential production cross section is fairly well reproduced only in the transverse momentum range available from previous measurements. At higher momentum the agreement is poor. The transverse energy sum is poorly reproduced over the whole spectrum. The dependence of the charged particle transverse momentum on the particle multiplicity needs the introduction of more sophisticated particle production mechanisms, such as multiple parton interactions, in order to be better explained.
Resumo:
This poster describes a pilot case study, which aim is to study how future chemistry teachers use knowledge dimensions and high-order cognitive skills (HOCS) in their pre-laboratory concept maps to support chemistry laboratory work. The research data consisted of 168 pre-laboratory concept maps that 29 students constructed as a part of their chemistry laboratory studies. Concept maps were analyzed by using a theory based content analysis through Anderson & Krathwohls' learning taxonomy (2001). This study implicates that novice concept mapper students use all knowledge dimensions and applying, analyzing and evaluating HOCS to support the pre-laboratory work.