946 resultados para Modal logics


Relevância:

10.00% 10.00%

Publicador:

Resumo:

This research developed a method to detect damage in suspension bridges using vibration characteristics. These bridges exhibit complex vibration and hence it is difficult to use traditional vibration based methods to detect damage in them. This research therefore proposed component specific damage indices and verified their capability to detect and locate damage in the main cables and hangers of suspension bridges.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Permissions are special case of deontic effects and play important role compliance. Essentially they are used to determine the obligations or prohibitions to contrary. A formal language e.g., temporal logic, event-calculus et., not able to represent permissions is doomed to be unable to represent most of the real-life legal norms. In this paper we address this issue and extend deontic-event-calculus (DEC) with new predicates for modelling permissions enabling it to elegantly capture the intuition of real-life cases of permissions.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

With the availability of a huge amount of video data on various sources, efficient video retrieval tools are increasingly in demand. Video being a multi-modal data, the perceptions of ``relevance'' between the user provided query video (in case of Query-By-Example type of video search) and retrieved video clips are subjective in nature. We present an efficient video retrieval method that takes user's feedback on the relevance of retrieved videos and iteratively reformulates the input query feature vectors (QFV) for improved video retrieval. The QFV reformulation is done by a simple, but powerful feature weight optimization method based on Simultaneous Perturbation Stochastic Approximation (SPSA) technique. A video retrieval system with video indexing, searching and relevance feedback (RF) phases is built for demonstrating the performance of the proposed method. The query and database videos are indexed using the conventional video features like color, texture, etc. However, we use the comprehensive and novel methods of feature representations, and a spatio-temporal distance measure to retrieve the top M videos that are similar to the query. In feedback phase, the user activated iterative on the previously retrieved videos is used to reformulate the QFV weights (measure of importance) that reflect the user's preference, automatically. It is our observation that a few iterations of such feedback are generally sufficient for retrieving the desired video clips. The novel application of SPSA based RF for user-oriented feature weights optimization makes the proposed method to be distinct from the existing ones. The experimental results show that the proposed RF based video retrieval exhibit good performance.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This article focusses upon multi-modal transportation systems (MMTS) and the issues surrounding the determination of system capacity. For that purpose a multi-objective framework is advocated that integrates all the different modes and many different competing capacity objectives. This framework is analytical in nature and facilitates a variety of capacity querying and capacity expansion planning.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Vibrational stability of large flexible structurally damped spacecraft carrying internal angular momentum and undergoing large rigid body rotations is analysed modeling the systems as elastic continua. Initially, analytical solutions to the motion of rigid gyrostats under torque-free conditions are developed. The solutions to the gyrostats modeled as axisymmetric and triaxial spacecraft carrying three and two constant speed momentum wheels, respectively, with spin axes aligned with body principal axes are shown to be complicated. These represent extensions of solutions for simpler cases existing in the literature. Using these solutions and modal analysis, the vibrational equations are reduced to linear ordinary differential equations. Equations with periodically varying coefficients are analysed applying Floquet theory. Study of a few typical beam- and plate-like spacecraft configurations indicate that the introduction of a single reaction wheel into an axisymmetric satellite does not alter the stability criterion. However, introduction of constant speed rotors deteriorates vibrational stability. Effects of structural damping and vehicle inertia ratio are also studied.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This dissertation discusses the relation between lexis, grammar and textual organisation. The major premise adopted here is that grammatical structures are motivated both by semantic potential of words and by text-pragmatic demands. In other words, it is argued that grammatical structures form the interface between lexis and textual organisation, and that linguistic analysis should not concentrate on analysing grammatical structures in isolation, independent of context. From this point of view, grammatical structures are said to be 'well-formed' only in relation to the context they occur in. This study is based on a corpus of three million words of recent Finnish fiction from which all the occurrences of the coordinated verb pairs ([V ja V] -pairs]) containing one of the intransitive motion verbs 'lähteä' (to go), 'mennä' (to go), 'päästä' (to get into), 'nousta' (to get up), and 'laskea' (to go down), were extracted. This set of verbs was established using methods described in earlier work by Lagus & Airola (2001, and 2005). The quantitative analysis of the [V ja V] -pairs was used to carry out a qualitative analysis of individual texts. In analysing the texts, an analogy was made between musical and textual structure. The results show among others that individual verbs specialise in different functions when occurring in coordinated verb pairs. One aspect was that those verb pairs including the verb 'nousta' tend to function as markers of textual boundaries and thus reflect the organisation of narrative substance. The verb 'mennä' has weakened literal meanings, but strengthened modal meanings when occurring in [V ja V] -pairs, and, in many cases, the verb 'lähteä' in [V ja V] -pairs function as an aspectual marker rather than a pure verb of motion. That there is a gradient from the concrete sense of motion into more differentiated senses of a verb in [V ja V] -pairs alongside the structure-creating potential of the [V ja V] -pairs themselves suggest an ongoing grammaticalisation process of the patterns discussed.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Expressing generalized-personal meaning in Russian Based on data from Russian, this doctoral dissertation examines generalized-personal meaning that is, generic expressions referring to all human beings, people in general, each or any person (e.g. S vozrastom načinae cenit prostye ve či With age you start to appreciate simple things ). The study shares its basic theoretical orientation with functional approaches going from meaning to form . The objective of the thesis is to determine and describe the various linguistic means which can be used by the speaker to express generalized-personal meaning. The main material of the study consists of 2,000 examples collected from modern Russian literature, newspapers, and magazines. The linguistic means of expressing generalized-personal meaning are divided into three main classes. Morphological and lexico-grammatical means (22% of the material) include the use of personal pronouns and personal verbal endings. In Russian, all personal forms except the 3rd person singular can be used in a generalized-personal meaning. Lexical means (14% of the material) involve, above all, pronouns like vse all , ka dyj everyone , nikto no one , as well as the nouns čelovek man and ljudi people . In emotional speech, generalized-personal meaning can also be conveyed lexically by using utterances like da e idiot znaet even an idiot knows . In rhetorical questions the pronoun kto who can appear in this meaning (cf. Kto ne ljubit moro enoe?! Who doesn t like ice cream?! ). The third main class, syntactic means (64% of the material), consists of constructions in which the generic person is not expressed at the surface level. This class mainly includes two-component structures in which the infinitive relates to a modal predicative adverb (e.g. mo no can, be allowed to , nado must ), modal verb (e.g. stoit be worth(while) , sleduet must, be obliged to ), or predicative adverb ending in -о (e.g. trudno it is hard to , neprilično is not appropriate ). Other syntactic means are: one-component infinitive structures, so-called embedded structures, structures with a processual noun, passive constructions, and gerund constructions. The different forms of expression available in Russian are not interchangeable in all contexts. Even if a given context tolerates the substitution of one construction for another, the two expressions are never entirely synonymous. In addition to determining the range of forms which can express generalized-personal meaning, the study aims to compare these forms and to specify the conditions and possible restrictions (contextual, semantic, syntactic, stylistic, etc.) associated with the use of each construction. In Russian linguistics, the generalized-personal meaning has not been extensively studied from a functional perspective. The advantage of a meaning-based functional approach is that it gives a comprehensive picture of the diversity and distribution of the phenomenon.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The purpose of this research was to analyse the phonological system of the Limi dialect of Humla Bhotia. Humla Bhotia is a Tibeto-Burman language that is spoken by approximately 4000 5000 people in the far northwestern Humla province of the Kingdom of Nepal. The language has not previously been the subject of analysis. The data base for this thesis was collected on two different dialects of Humla Bhotia in Kathmandu, the capital of Nepal, from February to May 2000. I had three language informants who speak Humla Bhotia as their mother tongue. One of the informants speaks the Upper Humla dialect and the other two informants speak the Limi dialect. In this thesis I have concentrated on the phonology of the dialect of Limi but occasionally I also make reference to the Upper Humla dialect. The Limi data base consists of 600 words elicited in isolation, sentences where words have been checked for consonantal and pitch variation, and five texts comprising 117 sentences. Firstly, I have studied the geographical location, population and dialects of Humla Bhotia. Five dialects were identified: Limi, Upper Humla, La Yakba, Nyinba and Humli Khyampa. Information on the dialect areas is based on the accounts of seven mother tongue speakers of the language and on Nancy Levine s (1988) anthropological research of the ethnic group Nyinba. Secondly, I have analysed the phonological system of Limi from the viewpoint of American stucturalism much along the lines followed by Pike 1966 [1947] ja 1967 [1948]. In defining the prosodic elements I have also used acoustic analysis. In the Limi dialect there are 7 vowel phonemes. No vowel clusters occur within the same syllable. In this preliminary analysis 29 contrastive plosives, 8 affricates and 5 6 fricatives were found. The data also revealed 4 nasal phonemes, two rhotic phonemes, one lateral phoneme and two central approximants. Further research is however called for to check the phonemic status of these segments. Four contrastive prosodic elements were encountered: nasalisation, length, phonation type and pitch movement. There are two contrastive types of phonation: tense and lax. Many words were found with a third type of phonation, modal phonation. How modal phonation relates to the prosodic system is unclear at this stage and is therefore left for further research to determine. There are two contrastive pitch movement tonemes: a rising toneme and falling toneme. The falling toneme occurs in free variation with a level pitch contour. Rising appears to be linked with lax phonation and falling with tense phonation.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

My thesis concerns the notion of existence as an encounter, as developed in the philosophy of Gilles Deleuze (1925 1995). What this denotes is a critical stance towards a major current in Western philosophical tradition which Deleuze nominates as representational thinking. Such thinking strives to provide a stable ground for identities by appealing to transcendent structures behind the apparent reality and explaining the manifest diversity of the given by such notions as essence, idea, God, or totality of the world. In contrast to this, Deleuze states that abstractions such as these do not explain anything, but rather that they need to be explained. Yet, Deleuze does not appeal merely to the given. He sees that one must posit a genetic element that accounts for experience, and this element must not be naïvely traced from the empirical. Deleuze nominates his philosophy as transcendental empiricism and he seeks to bring together the approaches of both empiricism and transcendental philosophy. In chapter one I look into the motivations of Deleuze s transcendental empiricism and analyse it as an encounter between Deleuze s readings of David Hume and Immanuel Kant. This encounter regards, first of all, the question of subjectivity and results in a conception of identity as non-essential process. A pre-given concept of identity does not explain the nature of things, but the concept itself must be explained. From this point of view, the process of individualisation must become the central concern. In chapter two I discuss Deleuze s concept of the affect as the basis of identity and his affiliation with the theories of Gilbert Simondon and Jakob von Uexküll. From this basis develops a morphogenetic theory of individuation-as-process. In analysing such a process of individuation, the modal category of the virtual becomes of great value, being an open, indeterminate charge of potentiality. As the virtual concerns becoming or the continuous process of actualisation, then time, rather than space, will be the privileged field of consideration. Chapter three is devoted to the discussion of the temporal aspect of the virtual and difference-without-identity. The essentially temporal process of subjectification results in a conception of the subject as composition: an assemblage of heterogeneous elements. Therefore art and aesthetic experience is valued by Deleuze because they disclose the construct-like nature of subjectivity in the sensations they produce. Through the domain of the aesthetic the subject is immersed in the network of affectivity that is the material diversity of the world. Chapter four addresses a phenomenon displaying this diversified indentity: the simulacrum an identity that is not grounded in an essence. Developed on the basis of the simulacrum, a theory of identity as assemblage emerges in chapter five. As the problematic of simulacra concerns perhaps foremost the artistic presentation, I shall look into the identity of a work of art as assemblage. To take an example of a concrete artistic practice and to remain within the problematic of the simulacrum, I shall finally address the question of reproduction particularly in the case recorded music and its identity regarding the work of art. In conclusion, I propose that by overturning its initial representational schema, phonographic music addresses its own medium and turns it into an inscription of difference, exposing the listener to an encounter with the virtual.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper describes the fishery and reproductive biology for Linuparus trigonus obtained from trawl fishermen operating off Queensland’s east coast, Australia. The smallest mature female lobster measured 59.8 mm CL, however, 50% maturity was reached between 80 and 85 mm CL. Brood fecundity (BF) was size dependent and ranged between 19,287 and 100,671 eggs in 32 females from 59.8 to 104.3 mm CL. The relationship was best described by the power equation BF = 0.1107*CL to the power of 2.9241 (r to the power of 2 = 0:74). Egg size ranged from 0.96 to 1.12 mm in diameter (mean = 1:02 (+or-) 0:01 mm). Egg weight and size were independent of lobster size. Length frequencies displayed multi-modal distributions.The percentage of female to male lobsters was relatively stable for small size classes (30 to 70 mm CL; 50.0 to 63.6% females), but female proportions rose markedly between 75 and 90 mm (72.2 to 85.4%) suggesting that at the onset of sexual maturity female growth rates are reduced. In size classes greater than 95 mm, males were numerically dominant. A description of the L. trigonus fishery in Queensland is also detailed.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The topic of my doctoral thesis is to demonstrate the usefulness of incorporating tonal and modal elements into a pitch-web square analysis of Béla Bartók's (1881-1945) opera, 'A kékszakállú herceg vára' ('Duke Bluebeard's Castle'). My specific goal is to demonstrate that different musical materials, which exist as foreground melodies or long-term key progressions, are unified by the unordered pitch set {0,1,4}, which becomes prominent in different sections of Bartók's opera. In Bluebeard's Castle, the set {0,1,4} is also found as a subset of several tetrachords: {0,1,4,7}, {0,1,4,8}, and {0,3,4,7}. My claim is that {0,1,4} serves to link music materials between themes, between sections, and also between scenes. This study develops an analytical method, drawn from various theoretical perspectives, for conceiving superposed diatonic spaces within a hybrid pitch-space comprised of diatonic and chromatic features. The integrity of diatonic melodic lines is retained, which allows for a non-reductive understanding of diatonic superposition, without appealing to pitch centers or specifying complete diatonic collections. Through combining various theoretical insights of the Hungarian scholar Ernő Lendvai, and the American theorists Elliott Antokoletz, Paul Wilson and Allen Forte, as well as the composer himself, this study gives a detailed analysis of the opera's pitch material in a way that combines, complements, and expands upon the studies of those scholars. The analyzed pitch sets are represented on Aarre Joutsenvirta's note-web square, which adds a new aspect to the field of Bartók analysis. Keywords: Bartók, Duke Bluebeard's Castle (Op. 11), Ernő Lendvai, axis system, Elliott Antokoletz, intervallic cycles, intervallic cells, Allen Forte, set theory, interval classes, interval vectors, Aarre Joutsenvirta, pitch-web square, pitch-web analysis.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In 1952 Helsinki hosted the Summer Olympic Games and Armi Kuusela, the current “Maiden of Finland”, was at the same time crowned Miss Universe. In popular history writing, these events have been designated as a crucial turning point – the end of an era marked by war and deprivation and the beginning of a modern, Western nation. Symptomatically, both events were marked by Finnish women’s sexual relationships with foreign men. The Olympics were shadowed by a concern over Finnish women’s “undue friendliness” with the Olympic guests, and Armi Kuusela's world tour was cut short by her surprise marriage in Tokyo and subsequent emigration to the Philippines. This study is an inquiry into the Helsinki Olympics and the public persona of Armi Kuusela from the point of view of transnational heterosexuality and the constitution of Finnish national identity. Methodologically the two main components of the study are intersectionality, defined here as a focus on the mutual histories and effects of discourses of gender, sexuality, race and nation; and transnational history as a way of exploring the ways that both nations and sexual subjects are embedded in global relations of power. The analysis proceeds by way of contextual and intertextual readings of various sources. Part one, centering on the Olympics, involves a campaign mounted by certain women’s organizations before the Games in order to educate young women about the potential dangers of the forthcoming international event as well as magazine and newspaper articles published during and after the Games concerning the encounter between young Finnish women and foreign, especially “Southern,” men. It places the debates during the Olympics within the framework of wartime understandings of women’s sexuality; the history of the concept of decency (siveellisyys); post-war population policy; the intersectional histories of conceptions pertaining to race and sexuality; and finally, the post-war concerns over women’s migration from rural areas to the capital city and their potential emigration abroad. Part two deals with the persona of Armi Kuusela and the public reception of her world tour and marriage, based on material from both Finland and the Philippines (newspapers, magazines, advertisements, books and films). It examines the persona of Armi Kuusela as a figure of national import in terms of the East/West divide; the racialized images of different geographic climates and Oriental “Others;” the meaning of whiteness in the Philippines; the significance of class and colonial history for the domestication of sexual and racial transgressions implied by an unconventional transnational marriage; as well as the cultural logics of transnational desire and its possible meanings for women in 1950s Finland. The study develops two arguments. First, it suggests that instead of being purely oppositional to national discourses, transnational desire may also be viewed as a product of these very discourses. Second, it claims that the national significance of both the Olympics and the persona of Armi Kuusela was due to the new points of comparison they both offered for national identity construction. In comparison with the sexualized Southern men at the Olympics and the racialized Orient in the representations of Armi Kuusela’s travels and marriage, Finland emerged as part of the civilized North, placed firmly within the perimeters of Western Europe. As such, both events mark a “whitening” of the Finnish people as well as a distancing from their previous designations in racial hierarchies. At the same time, however, the process of becoming a white nation inevitably meant complying with and reproducing racial hierarchies, rather than simply abolishing them.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Transmission loss of a rectangular expansion chamber, the inlet and outlet of which are situated at arbitrary locations of the chamber, i.e., the side wall or the face of the chamber, are analyzed here based on the Green's function of a rectangular cavity with homogeneous boundary conditions. The rectangular chamber Green's function is expressed in terms of a finite number of rigid rectangular cavity mode shapes. The inlet and outlet ports are modeled as uniform velocity pistons. If the size of the piston is small compared to wavelength, then the plane wave excitation is a valid assumption. The velocity potential inside the chamber is expressed by superimposing the velocity potentials of two different configurations. The first configuration is a piston source at the inlet port and a rigid termination at the outlet, and the second one is a piston at the outlet with a rigid termination at the inlet. Pressure inside the chamber is derived from velocity potentials using linear momentum equation. The average pressure acting on the pistons at the inlet and outlet locations is estimated by integrating the acoustic pressure over the piston area in the two constituent configurations. The transfer matrix is derived from the average pressure values and thence the transmission loss is calculated. The results are verified against those in the literature where use has been made of modal expansions and also numerical models (FEM fluid). The transfer matrix formulation for yielding wall rectangular chambers has been derived incorporating the structural–acoustic coupling. Parametric studies are conducted for different inlet and outlet configurations, and the various phenomena occurring in the TL curves that cannot be explained by the classical plane wave theory, are discussed.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This thesis concerns Swedish and Finland-Swedish brochures to families with children, presenting family allowances from the social insurance institutions in the two countries. The aim of the study is to analyse what meanings are conveyed with reference to the conceivable reader and the institution in the brochures. The material consists of information brochures in Swedish from Kela, the social insurance institution of Finland, and Försäkringskassan, the Swedish social insurance agency, issued during 2003–2006. The general theoretical framework is systemic-functional linguistics (SFL) as presented by Halliday & Matthiessen (2004) and Holmberg & Karlsson (2006). The study consists of a quantitative study of the lexical choices of the social insurance brochures. Furthermore, a qualitative process and participant analysis is annotated with the UAM Corpus tool and the results are quantified. Speech functions and modal auxiliaries are analysed qualitatively. The analysis shows that material and relational processes are most common. The relational and verbal processes are used more in the Sweden-Swedish brochures, while the material processes are more common in the Finland-Swedish brochures. The participants in the brochures are the institution, mentioned by its name, and the conceivable reader, directly addressed with “you” (du). In addition, the referent “child” is often mentioned. The participants assigned for the reader are Actor, Receiver, Carrier and Speaker. In the Finland-Swedish texts, the reader is often an Actor, while the reader in the Sweden-Swedish texts is a Carrier. Thus, the conceivable reader is an active participant who takes care of his or her own matters using the internet, communicates actively to the institution and has legal rights and obligations. The institution is visible in the texts but does not have an active role as the name of the institution is mostly used in circumstances. The institution is not often a participant, but when it is, it is Actor, Receiver, Listener and Carrier, expecting the clients to address it. Speech functions are performed in different ways. For instance, questions structure the reading process and commands are realised by modal auxiliaries, not by imperatives. The most common modal auxiliary is kan (can, may), and another common auxiliary is ska (shall, must). Statements are surrounded by subordinate clauses and adverbs that describe situations and criteria. The results of the study suggest that the brochures in the two countries are similar, in particular when produced in similar ways, that is, when the Finland-Swedish texts are not translated. Existing differences reflect the differences in the institutions, the social insurance systems and the cultural contexts. KEYWORDS: Finland-Swedish, Swedish, comparative analysis, SFL, discourse analysis, administrative language, institutional discourse, institutional communication