Development of a simulation tool for torsional vibration of branched power transmission system

In this master's thesis a mechanical model that is driven with variable speed synchronous machine was developed. The developed mechanical model simulates the mechanics of power transmission and its torsional vibrations. The mechanical model was developed for the need of the branched mechanics of a rolling mill and the propulsion system of a tanker. First, the scope of the thesis was to clarify the concepts connected to the mechanical model. The clarified concepts are the variable speed drive, the mechanics of power transmission and the vibrationsin the power transmission. Next, the mechanical model with straight shaft line and twelve moments of inertia that existed in the beginning was developed to be branched considering the case of parallel machines and the case of parallel rolls. Additionally, the model was expanded for the need of moreaccurate simulation to up to thirty moments of inertia. The model was also enhanced to enable three phase short circuit situation of the simulated machine. After that the mechanical model was validated by comparing the results of the developed simulation tool to results of other simulation tools. The compared results are the natural frequencies and mode shapes of torsional vibration, the response of the load torque step and the stress in the mechanical system occurred by the permutation of the magnetic field that is arisen from the three phase short circuit situation. The comparisons were accomplished well and the mechanical model was validated for the compared cases. Further development to be made is to develop the load torque to be time-dependent and to install two frequency converters and two FEM modeled machines to be simulated parallel.

A mathematical study of fuzzy logic; an algebraic approach

Fuzzy set theory and Fuzzy logic is studied from a mathematical point of view. The main goal is to investigatecommon mathematical structures in various fuzzy logical inference systems and to establish a general mathematical basis for fuzzy logic when considered as multi-valued logic. The study is composed of six distinct publications. The first paper deals with Mattila'sLPC+Ch Calculus. THis fuzzy inference system is an attempt to introduce linguistic objects to mathematical logic without defining these objects mathematically.LPC+Ch Calculus is analyzed from algebraic point of view and it is demonstratedthat suitable factorization of the set of well formed formulae (in fact, Lindenbaum algebra) leads to a structure called ET-algebra and introduced in the beginning of the paper. On its basis, all the theorems presented by Mattila and many others can be proved in a simple way which is demonstrated in the Lemmas 1 and 2and Propositions 1-3. The conclusion critically discusses some other issues of LPC+Ch Calculus, specially that no formal semantics for it is given.In the second paper the characterization of solvability of the relational equation RoX=T, where R, X, T are fuzzy relations, X the unknown one, and o the minimum-induced composition by Sanchez, is extended to compositions induced by more general products in the general value lattice. Moreover, the procedure also applies to systemsof equations. In the third publication common features in various fuzzy logicalsystems are investigated. It turns out that adjoint couples and residuated lattices are very often present, though not always explicitly expressed. Some minor new results are also proved.The fourth study concerns Novak's paper, in which Novak introduced first-order fuzzy logic and proved, among other things, the semantico-syntactical completeness of this logic. He also demonstrated that the algebra of his logic is a generalized residuated lattice. In proving that the examination of Novak's logic can be reduced to the examination of locally finite MV-algebras.In the fifth paper a multi-valued sentential logic with values of truth in an injective MV-algebra is introduced and the axiomatizability of this logic is proved. The paper developes some ideas of Goguen and generalizes the results of Pavelka on the unit interval. Our proof for the completeness is purely algebraic. A corollary of the Completeness Theorem is that fuzzy logic on the unit interval is semantically complete if, and only if the algebra of the valuesof truth is a complete MV-algebra. The Compactness Theorem holds in our well-defined fuzzy sentential logic, while the Deduction Theorem and the Finiteness Theorem do not. Because of its generality and good-behaviour, MV-valued logic can be regarded as a mathematical basis of fuzzy reasoning. The last paper is a continuation of the fifth study. The semantics and syntax of fuzzy predicate logic with values of truth in ana injective MV-algerba are introduced, and a list of universally valid sentences is established. The system is proved to be semanticallycomplete. This proof is based on an idea utilizing some elementary properties of injective MV-algebras and MV-homomorphisms, and is purely algebraic.

Moment Operators of Observables in Quantum Mechanics, with Applications to Quantization and Homodyne Detection

The questions studied in this thesis are centered around the moment operators of a quantum observable, the latter being represented by a normalized positive operator measure. The moment operators of an observable are physically relevant, in the sense that these operators give, as averages, the moments of the outcome statistics for the measurement of the observable. The main questions under consideration in this work arise from the fact that, unlike a projection valued observable of the von Neumann formulation, a general positive operator measure cannot be characterized by its first moment operator. The possibility of characterizing certain observables by also involving higher moment operators is investigated and utilized in three different cases: a characterization of projection valued measures among all the observables is given, a quantization scheme for unbounded classical variables using translation covariant phase space operator measures is presented, and, finally, a mathematically rigorous description is obtained for the measurements of rotated quadratures and phase space observables via the high amplitude limit in the balanced homodyne and eight-port homodyne detectors, respectively. In addition, the structure of the covariant phase space operator measures, which is essential for the above quantization, is analyzed in detail in the context of a (not necessarily unimodular) locally compact group as the phase space.

Use of Biomass Gasification for Transport

This thesis represents an overview of biomass gasification technology together with some practical aspects of this technology application for transport in Finland. The main aim of this work is an assessment whether this technology is perspective in the nearest future for the wide use on transport or not. The first part of the thesis is a kind of survey of the previous works and materials con-cerning the usage of biomass gasification for transport. The second part concentrates more on the practical moments of its use for mobile applications in Finland (taxation, emissions, etc.).

Puunkäsittelykoneen simulointi ja mekaaniset häviöt

Diplomityö on osa Savonia-amk:n koneosaston TOVI-projektia, jossa metsä-konevalmistaja Ponsse Oyj on mukana. Työssä tutkittiin Ponsse Oyj:n metsäkoneen harvesteripäätä. Tavoitteena oli harvesteripään puun syöttöliikkeessä syntyvien mekaanisten häviöiden selvittäminen. Mekaanisilla häviöillä tarkoitamme karsintaterien kitkavoimia ja syöttörullien vierintävastusta.Edellisten lisäksi tavoitteena oli tutkia puun syöttöliikkeen simuloitavuutta monikappaledynamiikkaan perustuvalla simu-lointiohjelmistolla. Työ toteutettiin mittaamalla harvesteripään hydraulisten toimilaitteiden paineita, puun syötön aikana. Mittasimme myös puun ja harvesteripään välistä liikematkaa, nopeutta, kiihtyvyyttä, sekä puun paksuutta. Mittausten lisäksi harvesteripäästä rakennettiin simulointimalli. Mitattujen paineiden avulla laskettiin vastaavien toimilaitteiden synnyttämät voimat ja momentit. Simulointimallilla toistettiin mittaustapahtumat, käyttäen mittausten avulla laskettuja voimia ja momentteja. Mallin kitkakertoimien ja vierintävastusten avulla simuloidut ja mitatut liikematkat haettiin yhteneviksi. Toisin sanoen, simulointimalli verifioitiin todellisuutta vastaavaksi, jolloin simulointimallista voitiin lukea syntyneet häviöt.

Resa i röstens landskap : en narrativ studie av hur lärare blir professionella röstanvändare

The theme of this thesis is the learning process that occurs when teachers become professional voice users. The aim is to explore what it (really) means to become a professional voice user in a teaching profession; thereby developing an understanding of how future education in this field can be arranged so as to both effectively prevent vocal problems and to develop oral didactical competence among teachers. The ambition is to describe, interpret, and understand the learning process through a combination of emic and ethic research perspectives. The theoretical frame of reference reflects the cross disciplinary character of the thesis. Voice problems are common among both student teachers and inservice teachers and adversely affect professional competence, identity and quality of life. Additionally, vocal problems are proven to have a negative impact on pupils´ learning. The individual elements of learning are explored in the light of experiential learning theory and transformative learning theory. The social elements of learning are explored in relation to the theory of situated learning. In addition, theories of teacher professionalisation in terms of competence and identity are outlined. The empirical study has a longitudinal and multi method character. It is anchored in a phenomenological hermeneutical tradition, more specifically in narrative inquiry. The point of departure is the learning experiences of ten student teachers, who attended a ten week long course on voice production as part of their teacher training at Åbo Akademi University, in the autumn of 2002 and the spring of 2003. Four interviews in the form of conversations were conducted with each participant. These were crystallised with a process diary, a Swedish Voice Handicap Index, a voice observation, and a video observation. A fifth interview was conducted with each participant five years post teacher training, in the spring of 2008. Participant observation was also conducted throughout the course. The research materials have been analysed and interpreted narratively using a phenomenological hermeneutical method. The results are presented descriptively as individual narratives, which are reflected in logopedic research materials. Learning is here understood as emergent awareness. This is followed by a meta narrative concerning learning as experiences in the four dimensions body, thought, feeling, and relation. Finally, interpretation is expressed with respect to the theory of relational education. Learning is here understood as a movement in the field between the actual and the possible voice. It is also viewed as fundamentally rooted in inter-human relationships, in moments of presence and coexistence. As a tentative answer to the call for an existential space for learning in order to be a professional voice user, I suggest the concept of a learning refuge as a locus for a learning process built on trust, mutuality and openness.