946 resultados para Modal logics


Relevância:

10.00% 10.00%

Publicador:

Resumo:

This study seeks to answer the question of what the language of administrative press releases is like, and how and why it has changed over the past few decades. The theoretical basis of the study is provided by critical text analysis, supplemented with, e.g., the metafunction theory of Systemic Functional Grammar, the theory of poetic function, and Finnish research into syntax. The data includes 83 press releases by the City of Helsinki Public Works Department, 14 of which were written between 1979 and 1980 (old press releases), and 69 of which were written between 1998 and 1999 (new press releases). The analysis focuses on the linguistic characteristics of the releases, their changes and variation, their relation to other texts and the extra linguistic context, as well as their genre. The core research method is linguistic text analysis. It is supplemented with an analysis of the communicative environment, based on the authors' interviews and written documents. The results can be applied to the improvement of texts produced by the authorities and even by other organizations. The linguistic analysis focuses on features that transform the texts in the data making them guiding, detailed, and poetic. The releases guide the residents of the city using modal verbal expressions and performative verbs that enable the mass media to publish the guiding expressions on their own behalf as such. The guiding is more persuasive in the new press releases than in the old ones, and the new ones also include imperative clauses and verbless directives that construct direct interaction. The language of the releases is made concrete and structurally detailed by, e.g., concrete vocabulary, proper nouns and terms, as well as definitions, adverbials and comparisons, which are used specifically to present places and administrative organizations in detail. The rhetorical features in the releases include alliteration and metaphors, which are found in the new releases especially in the titles. The emphasized features are used to draw the readers' attention and to highlight the core contents of the texts. The new releases also include words that are colloquial in style, making the communicative situations less official. Structurally, the releases have changed from being letter-like to a more newsflash-like format. The changes in the releases can be explained by the development towards more professional communications and the more market-oriented ideology adopted in the communicative environment. Key words: change in administrative language, press releases, critical text analysis, linguistic text analysis

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This thesis analyses the implications for football cultures of the profound socio-economic changes that Brazil has experienced in the last decade. It explores two major impacts: the economic boom of the domestic football sector, and the large-scale adoption of new technologies in fans' activities. The study identified a new phase of football culture in Brazil, characterised by the domination of market logics and intense commercialisation. The empirical findings also showed that new technologies are changing how supporters coordinate activities that challenge the gentrification of the game.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The present thesis discusses relevant issues in education: 1) learning disabilities including the role of comorbidity in LDs, and 2) the use of research-based interventions. This thesis consists of a series of four studies (three articles), which deepens the knowledge of the field of special education. Intervention studies (N=242) aimed to examine whether training using a nonverbal auditory-visual matching computer program had a remedial effect in different learning disabilities, such as developmental dyslexia, Attention Deficit Disorder (ADD) and Specific Language Impairment (SLI). These studies were conducted in both Finland and Sweden. The intervention’s non-verbal character made an international perspective possible. The results of the intervention studies confirmed, that the auditory-visual matching computer program, called Audilex had positive intervention effects. In Study I of children with developmental dyslexia there were also improvements in reading skills, specifically in reading nonsense words and reading speed. These improvements in tasks, which are thought to rely on phonological processing, suggest that such reading difficulties in dyslexia may stem in part from more basic perceptual difficulties, including those required to manage the visual and auditory components of the decoding task. In Study II the intervention had a positive effect on children with dyslexia; older students with dyslexia and surprisingly, students with ADD also benefited from this intervention. In conclusion, the role of comorbidity was apparent. An intervention effect was evident also in students’ school behavior. Study III showed that children with SLI experience difficulties very similar to those of children with dyslexia in auditory-visual matching. Children with language-based learning disabilities, such as dyslexia and SLI benefited from the auditory-visual matching intervention. Also comorbidity was evident among these children; in addition to formal diagnoses, comorbidity was explored with an assessment inventory, which was developed for this thesis. Interestingly, an overview of the data of this thesis shows positive intervention effects in all studies despite learning disability, language, gender or age. These findings have been described by a concept inter-modal transpose. Self-evidently these issues need further studies. In learning disabilities the aim in the future will also be to identify individuals at risk rather than by deficit; this aim can be achieved by using research-based interventions, intensified support in general education and inclusive special education. Keywords: learning disabilities, developmental dyslexia, attention deficit disorder, specific language impairment, language-based learning disabilities, comorbidity, auditory-visual matching, research-based interventions, inter-modal transpose

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Increased mass migration, as a result of economic hardship, natural disasters and wars, forces many people to arrive on the shores of cultures very different from those they left. How do they manage the legacy of the past and the challenges of their new everyday life? This is a study of immigrant women living in transnational families that act and communicate across national borders on a near-daily basis. The research was carried out amongst immigrant women who were currently living in Finland. The research asks how transnational everyday life is constructed. As everyday life, due to its mundane nature, is difficult to operationalise for research purposes, mixed data collection methods were needed to capture the passing moments that easily become invisible. Thus, the data were obtained from photographic diaries (459 photographs) taken by the research participants themselves. Additionally, stimulated recall discussions, structured questionnaires and participant observation notes were used to complement the photographic data. A tool for analysing the activities devealed in the data was created on the assumption that a family is an active unit that accommodates the current situation in which it is embedded. Everyday life activities were analysed emphasizing social, modal and spatial dimensions. Important daily moments were placed on a continuum: for me , for immediate others and with immediate others . They portrayed everyday routines and exceptions to it. The data matrix was developed as part of this study. The spatial dimensions formed seven units of activity settings: space for friendship, food, resting, childhood, caring, space to learn and an orderly space. Attention was also paid to the accommodative nature of activities; how women maintain traditions and adapt to Finnish life or re-create new activity patterns. Women s narrations revealed the importance of everyday life. The transnational chain of women across generations and countries, comprised of the daughters, mothers and grandmothers was important. The women showed the need for information technology in their transnational lives. They had an active relationship to religion; the denial or importance of it was obvious. Also arranging one s life in Finnish society was central to their narrations. The analysis exposed everyday activities, showed the importance of social networks and the uniqueness of each woman and family. It revealed everyday life in a structured way. The method of analysis that evolved in this study together with the research findings are of potential use to professionals, allowing the targeting of interventions to improve the everyday lives of immigrants.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Reef-building corals are an example of plastic photosynthetic organisms that occupy environments of high spatiotemporal variations in incident irradiance. Many phototrophs use a range of photoacclimatory mechanisms to optimize light levels reaching the photosynthetic units within the cells. In this study, we set out to determine whether phenotypic plasticity in branching corals across light habitats optimizes potential light utilization and photosynthesis. In order to do this, we mapped incident light levels across coral surfaces in branching corals and measured the photosynthetic capacity across various within-colony surfaces. Based on the field data and modelled frequency distribution of within-colony surface light levels, our results show that branching corals are substantially self-shaded at both 5 and 18 m, and the modal light level for the within-colony surface is 50 mu mol photons m(-2) s(-1). Light profiles across different locations showed that the lowest attenuation at both depths was found on the inner surface of the outermost branches, while the most self-shading surface was on the bottom side of these branches. In contrast, vertically extended branches in the central part of the colony showed no differences between the sides of branches. The photosynthetic activity at these coral surfaces confirmed that the outermost branches had the greatest change in sun- and shade-adapted surfaces; the inner surfaces had a 50 % greater relative maximum electron transport rate compared to the outer side of the outermost branches. This was further confirmed by sensitivity analysis, showing that branch position was the most influential parameter in estimating whole-colony relative electron transport rate (rETR). As a whole, shallow colonies have double the photosynthetic capacity compared to deep colonies. In terms of phenotypic plasticity potentially optimizing photosynthetic capacity, we found that at 18 m, the present coral colony morphology increased the whole-colony rETR, while at 5 m, the colony morphology decreased potential light utilization and photosynthetic output. This result of potential energy acquisition being underutilized in shallow, highly lit waters due to the shallow type morphology present may represent a trade-off between optimizing light capture and reducing light damage, as this type morphology can perhaps decrease long-term costs of and effect of photoinhibition. This may be an important strategy as opposed to adopting a type morphology, which results in an overall higher energetic acquisition. Conversely, it could also be that maximizing light utilization and potential photosynthetic output is more important in low-light habitats for Acropora humilis.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The rail-sleeper system is idealized as an infinite, periodic beam-mass system. Use is made of the periodicity principle for the semi-infinite halves on either side of the forcing point for evaluation of the wave propagation constants and the corresponding modal vectors. It is shown that the spread of acceleration away from the forcing point depends primarily upon one of the wave propagation constants. However, all the four modal vectors (two for the left-hand side and two for the right-hand side) determine the driving point impedance of the rail-sleeper system, which in combination with the driving point impedance of the wheel (which is adopted from the preceding companion paper) determines the forces generated by combined surface roughness and the resultant accelerations. The compound one-third octave acceleration levels generated by typical roughness spectra are generally of the same order as the observed levels.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The commodity plastics that are used in our everyday lives are based on polyolefin resins and they find wide variety of applications in several areas. Most of the production is carried out in catalyzed low pressure processes. As a consequence polymerization of ethene and α-olefins has been one of the focus areas for catalyst research both in industry and academia. Enormous amount of effort have been dedicated to fine tune the processes and to obtain better control of the polymerization and to produce tailored polymer structures The literature review of the thesis concentrates on the use of Group IV metal complexes as catalysts for polymerization of ethene and branched α-olefins. More precisely the review is focused on the use of complexes bearing [O,O] and [O,N] type ligands which have gained considerable interest. Effects of the ligand framework as well as mechanical and fluxional behaviour of the complexes are discussed. The experimental part consists mainly of development of new Group IV metal complexes bearing [O,O] and [O,N] ligands and their use as catalysts precursors in ethene polymerization. Part of the experimental work deals with usage of high-throughput techniques in tailoring properties of new polymer materials which are synthesized using Group IV complexes as catalysts. It is known that the by changing the steric and electronic properties of the ligand framework it is possible to fine tune the catalyst and to gain control over the polymerization reaction. This is why in this thesis the complex structures were designed so that the ligand frameworks could be fairly easily modified. All together 14 complexes were synthesised and used as catalysts in ethene polymerizations. It was found that the ligand framework did have an impact within the studied catalyst families. The activities of the catalysts were affected by the changes in complex structure and also effects on the produced polymers were observed: molecular weights and molecular weight distributions were depended on the used catalyst structure. Some catalysts also produced bi- or multi-modal polymers. During last decade high-throughput techniques developed in pharmaceutical industries have been adopted into polyolefin research in order to speed-up and optimize the catalyst candidates. These methods can now be regarded as established method suitable for both academia and industry alike. These high-throughput techniques were used in tailoring poly(4-methyl-1-pentene) polymers which were synthesized using Group IV metal complexes as catalysts. This work done in this thesis represents the first successful example where the high-throughput synthesis techniques are combined with high-throughput mechanical testing techniques to speed-up the discovery process for new polymer materials.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The decay of sound in a rectangular room is analyzed for various boundary conditions on one of its walls. It is shown that the decay of the sound-intensity level is in general nonlinear. But for specific areas and impedances of the material it is possible to obtain a linear initial decay. It is also shown that the coefficients derived from the initial decay rates neither correspond to the predictions of Sabine's or Eyring's geometrical theories nor to the normal coefficients of Morse's wave theory. The dependence of the coefficients on the area of the material is discussed. The influence of the real and the imaginary parts of the specific acoustic impedance of the material on the coefficients is also discussed. Finally, the existence of a linear initial decay corresponding to the decay of a diffuse field in the case of a highly absorbing material partially covering a wall is explained on the basis of modal coupling.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The transfer matrix method is known to be well suited for a complete analysis of a lumped as well as distributed element, one-dimensional, linear dynamical system with a marked chain topology. However, general subroutines of the type available for classical matrix methods are not available in the current literature on transfer matrix methods. In the present article, general expressions for various aspects of analysis-viz., natural frequency equation, modal vectors, forced response and filter performance—have been evaluated in terms of a single parameter, referred to as velocity ratio. Subprograms have been developed for use with the transfer matrix method for the evaluation of velocity ratio and related parameters. It is shown that a given system, branched or straight-through, can be completely analysed in terms of these basic subprograms, on a stored program digital computer. It is observed that the transfer matrix method with the velocity ratio approach has certain advantages over the existing general matrix methods in the analysis of one-dimensional systems.

Relevância:

10.00% 10.00%

Publicador:

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.

Relevância:

10.00% 10.00%

Publicador:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this thesis we study a few games related to non-wellfounded and stationary sets. Games have turned out to be an important tool in mathematical logic ranging from semantic games defining the truth of a sentence in a given logic to for example games on real numbers whose determinacies have important effects on the consistency of certain large cardinal assumptions. The equality of non-wellfounded sets can be determined by a so called bisimulation game already used to identify processes in theoretical computer science and possible world models for modal logic. Here we present a game to classify non-wellfounded sets according to their branching structure. We also study games on stationary sets moving back to classical wellfounded set theory. We also describe a way to approximate non-wellfounded sets with hereditarily finite wellfounded sets. The framework used to do this is domain theory. In the Banach-Mazur game, also called the ideal game, the players play a descending sequence of stationary sets and the second player tries to keep their intersection stationary. The game is connected to precipitousness of the corresponding ideal. In the pressing down game first player plays regressive functions defined on stationary sets and the second player responds with a stationary set where the function is constant trying to keep the intersection stationary. This game has applications in model theory to the determinacy of the Ehrenfeucht-Fraisse game. We show that it is consistent that these games are not equivalent.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The decay of sound in a rectangular room is analyzed for various boundary conditions on one of its walls. It is shown that the decay of the sound-intensity level is in general nonlinear. But for specific areas and impedances of the material it is possible to obtain a linear initial decay. It is also shown that the coefficients derived from the initial decay rates neither correspond to the predictions of Sabine's or Eyring's geometrical theories nor to the normal coefficients of Morse's wave theory. The dependence of the coefficients on the area of the material is discussed. The influence of the real and the imaginary parts of the specific acoustic impedance of the material on the coefficients is also discussed. Finally, the existence of a linear initial decay corresponding to the decay of a diffuse field in the case of a highly absorbing material partially covering a wall is explained on the basis of modal coupling.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Vibrational stability of a large flexible, structurally damped spacecraft subject to large rigid body rotations is analysed modelling the system as an elastic continuum. Using solution of rigid body attitude motion under torque free conditions and modal analysis, the vibrational equations are reduced to ordinary differential equations with time-varying coefficients. Stability analysis is carried out using Floquet theory and Sonin-Polya theorem. The cases of spinning and non-spinning spacecraft idealized as a flexible beam plate undergoing simple structural vibration are analysed in detail. The critical damping required for stabilization is shown to be a function of the spacecraft's inertia ratio and the level of disturbance.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In the context of increasing threats to the sensitive marine ecosystem by toxic metals, this study investigated the metal build-up on impervious surfaces specific to commercial seaports. The knowledge generated in this study will contribute to managing toxic metal pollution of the marine ecosystem. The study found that inter-modal operations and main access roadway had the highest loads followed by container storage and vehicle marshalling sites, while the quay line and short term storage areas had the lowest. Additionally, it was found that Cr, Al, Pb, Cu and Zn were predominantly attached to solids, while significant amount of Cu, Pb and Zn were found as nutrient complexes. As such, treatment options based on solids retention can be effective for some metal species, while ineffective for other species. Furthermore, Cu and Zn are more likely to become bioavailable in seawater due to their strong association with nutrients. Mathematical models to replicate the metal build-up process were also developed using experimental design approach and partial least square regression. The models for Cr and Pb were found to be reliable, while those for Al, Zn and Cu were relatively less reliable, but could be employed for preliminary investigations.