Formal development and quantitative verification of dependable systems

-

Collaborative information behaviour : a case study of two research groups

The aim of the licentiate thesis is to examine researchers' information practices in research groups. The researchers were involved with study communication and media related issues within Social Sciences and Humanities Faculties. The theoretical framework of the study comprises the new holistic models of information seeking (for example: Meho and Tibbo, 2003; Seldén, 1999) and the collective aspects of information behaviour (Prekop, 2002 ; Talja, 2002; Talja and Hansen, 2006). The research questions are: 1. How do scholars seek information in research groups? 2 What kind of collaborative information behaviour occurs in the research groups? The research data was gathered by interviews and observations. Three meetings of a research group at the University of Tampere were observed during the autumn of 2004. The group members and the group leader of the research group were interviewed in the spring of 2005. The research group members and the group leader of a research group at the University of Jyväskylä were interviewed in the autumn of 2005. Altogether, two research group leaders and eight researchers were interviewed. The significance of the research group for information seeking is more important in closeknit research groups than in rather loose research groups. The significance of the research group for information seeking can be at least threefold. First, research group members can inform the group about relevant information resources and potential library or other information services. Second, the research group can to some extent compensate for the information seeking systems of libraries by distributing material and information resources. Third, information seeking can be carried out in collaboration in research groups. The significance of the research group was found to be most important in informing about new information services and marketing library systems. Recommendations from colleagues were often needed to mobilize researchers into using new library services. The significance of colleagues in informing about library services is in line with earlier studies. The present study showed that sometimes information from colleagues was regarded as more important than information distributed directly by the local library. A culture of information sharing, including mutual trust, seemed mainly to be reflected in collaboration and collaborative information seeking in the research groups studied. The timing of the onset of individual research seemed to be related to the information sharing culture and social networks in research groups. The simultaneous onset of the research work by group members seemed to promote the growth of unbiased collaboration, also in information seeking.

Kirja-arvostelu : The behaviour and welfare of the horse

Kirjallisuusarvostelu

Myyjien organisaatioon sitoutuminen ja esimiehen vaikutus sitoutumiseen. Case: Alko Oy

Tämän tutkielman tavoitteena on kuvata ja ymmärtää myyjien organisaatioon sitoutumista Alko Oy:ssä, sitä kuinka myyjät ovat sitoutuneita organisaatioon ja sitoutumiseen vaikuttavia tekijöitä. Tarkoituksena on selvittää ja ymmärtää esimiehen vaikutusta sitoutumiseen sekä sitä kuinka esimies voi edistää myyjien sitoutumista. Lisäksi tavoitteena on kartoittaa ja ymmärtää sitoutumisen seurauksia. Tutkimuksen teoreettinen viitekehys muodostuu organisaatioon sitoutumisen tutkimuksesta ja johtajuuden tutkimuksesta, erityisesti transformationaalisesta johtajuudesta ja sen vaikutuksesta sitoutumiseen. Tutkimus on luonteeltaan laadullinen ja pääasiallisena tutkimusmetodina on käytetty teemahaastattelua. Tutkimusaineisto kerättiin haastattelemalla 22 myyjää ja seitsemää esimiestä. Haastattelut nauhoitettiin ja litteroitiin. Haastattelujen lisäksi myyjille tehtiin kysely. Aineistoa analysoitiin teemoittain ja empiirisen aineiston analyysin tulkinta perustuu tutkimuksen teoreettiseen viitekehykseen. Tutkimustulosten mukaan myyjien sitoutuminen kohdeorganisaatiossa on hyvällä tai vähintään kohtuullisella tasolla ja se pohjautuu voimakkaimmin affektiiviseen ulottuvuuteen. Lisäksi sitoutuminen perustuu osittain jatkuvuuteen perustuvaan komponenttiin sekä pieneltä osin myös normatiiviseen. Affektiiviseen sitoutumiseen vaikuttavat merkittävimmin työn monipuolisuus, haastavuus ja mielekkyys, onnistumisen ja merkityksellisyyden tunteet sekä ilmapiiri. Jatkuvuuteen perustuvaan sitoutumiseen vaikuttavat eniten palkitseminen ja siihen liittyen osa-aikaisuus, joka jakoi myyjiä kahtia. Lisäksi työn monipuolisuudella, varmuudella sekä työllistymisvaihtoehdoilla ja perhesyillä on vaikutusta jatkuvuusperusteiseen sitoutumiseen. Normatiiviseen sitoutumiseen vaikuttavat voimakkaimmin positiivinen vapaaehtoinen vastavuoroisuus organisaatiota kohtaan sen toimintaan ja tekemiin investointeihin liittyen. Lisäksi normatiiviseen sitoutumiseen vaikuttavat sosialisaatio kasvatuksen myötä ja psykologinen sopimus odotuksineen. Esimiehen vaikutus sitoutumiseen korostuu tuloksissa ja esimiehen toiminnalla on merkittävin vaikutus affektiiviseen sitoutumiseen. Keskeisimpiä esimiehen vaikutuskeinoja myyjien sitoutumiseen ovat vastuun antaminen ja osallistaminen, palaute, avoin vuorovaikutus ja tiedonkulku sekä tasapuolisuus ja oikeudenmukaisuus toiminnassa. Myös esimiehen kannustavuus ja myyjien yksilöllinen huomiointi, osaamisen kehittämisen tukeminen sekä esimerkillinen toiminta ovat keskeisiä. Sitoutumisen seurauksista merkittävimpiä ovat vähäinen vaihtuvuus sekä työsuorituksen ja asiakaspalvelun laatu. Lisäksi organisaatiokansalaisuuskäyttäytymiseen liittyvät seikat, kuten parhaansa tekeminen, joustavuus ja itseohjautuvuus ovat keskeisiä sitoutumisen seurauksia.

The bifurcational behaviour of the spatially distributed Rayleigh equation

At the present work the bifurcational behaviour of the solutions of Rayleigh equation and corresponding spatially distributed system is being analysed. The conditions of oscillatory and monotonic loss of stability are obtained. In the case of oscillatory loss of stability, the analysis of linear spectral problem is being performed. For nonlinear problem, recurrent formulas for the general term of the asymptotic approximation of the self-oscillations are found, the stability of the periodic mode is analysed. Lyapunov-Schmidt method is being used for asymptotic approximation. The correlation between periodic solutions of ODE and PDE is being investigated. The influence of the diffusion on the frequency of self-oscillations is being analysed. Several numerical experiments are being performed in order to support theoretical findings.

The genetics of behaviour and other adaptive traits in nine-spined sticklebacks (Pungitius pungitius)

One of the main goals in current evolutionary biology research is to identify genes behind adaptive phenotypic variations. The advances in genomic technologies have made it possible to identify genetic loci behind these variations, also concerning non-model species. This thesis investigates the genetics of the behaviour and other adaptive traits of the nine-spined stickleback (Pungitius pungitius) through the application of different genetic approaches. Fennoscandian nine-spined stickleback populations express large phenotypical differences especially in behaviour, life –history traits and morphology. However the underlying genetic bases for these phenotypical differences have not been studied in detail. The results of the project will lay the foundation for further genetics studies and provide valuable information for our understanding of the genetics of the adaptive divergence of the nine-spined stickleback. A candidate gene approach was used to develop microsatellite markers situating close to candidate genes for behaviour in the nine-spined stickleback. Altogether 13 markers were developed and these markers were used in the subsequent studies with the anonymous random markers and physiologically important gene markers which are already currently available for nine-spined sticklebacks. It was shown that heterozygosity correlated with behaviour in one of the marine nine-spined stickleback populations but with contrasting effects: correlations with behaviour were negative when using physiological gene markers and positive with random markers. No correlation was found between behavioural markers and behaviour. From the physiological gene markers, a strong correlation was found between osmoregulation-related gene markers and behaviour. These results indicate that both local (physiological) and general (random) effects are important in the shaping of behaviour and that heterozygosity– behaviour correlations are population dependent. In this thesis a second linkage map for nine-spined sticklebacks was constructed. Compared to the earlier nine-spined stickleback linkage map, genomic rearrangements were observed between autosomal (LG7) and sex-determing (LG12) linkage groups. This newly constructed map was used in QTL mapping studies in order to locate genomic regions associated with pelvic structures, behaviour and body size/growth. One major QTL was found for pelvic structures and Pitx1 gene was related to these traits as was predicted from three-spined stickleback studies, but this was in contrast to earlier nine-spined stickleback study. The QTL studies also revealed that behaviour and body size/growth were genetically more complex by having more QTL than pelvic traits. However, in many cases, pelvic structure, body size/growth and behaviour were linked to similar map locations indicating possible pleiotropic effects of genes locating in these QTL regions. Many of the gene related markers resided in the QTL area. In the future, studying these possible candidate genes in depth might reveal the underlying mechanism behind the measured traits.

Chaotic Behaviour of Active Magnetic Bearing System by Time Series Analysis

Chaotic behaviour is one of the hardest problems that can happen in nonlinear dynamical systems with severe nonlinearities. It makes the system's responses unpredictable. It makes the system's responses to behave similar to noise. In some applications it should be avoided. One of the approaches to detect the chaotic behaviour is nding the Lyapunov exponent through examining the dynamical equation of the system. It needs a model of the system. The goal of this study is the diagnosis of chaotic behaviour by just exploring the data (signal) without using any dynamical model of the system. In this work two methods are tested on the time series data collected from AMB (Active Magnetic Bearing) system sensors. The rst method is used to nd the largest Lyapunov exponent by Rosenstein method. The second method is a 0-1 test for identifying chaotic behaviour. These two methods are used to detect if the data is chaotic. By using Rosenstein method it is needed to nd the minimum embedding dimension. To nd the minimum embedding dimension Cao method is used. Cao method does not give just the minimum embedding dimension, it also gives the order of the nonlinear dynamical equation of the system and also it shows how the system's signals are corrupted with noise. At the end of this research a test called runs test is introduced to show that the data is not excessively noisy.

Searchig the links between "knowledge governance mechanisms", "the individual conditions of knowledge sharing", and "individual's knowledge sharing behaviour".

The objective of this study was to understand how organizational knowledge governance mechanisms affect individual motivation, opportunity, and the ability to share knowledge (MOA framework), and further, how individual knowledge-sharing conditions affect actual knowledge sharing behaviour. The study followed the knowledge governance approach and a micro-foundations perspective to develop a theoretical model and hypotheses, which could explain the casual relationships between knowledge governance mechanisms, individual knowledge sharing conditions, and individual knowledge sharing behaviour. The quantitative research strategy and multivariate data analysis techniques (SEM) were used in the hypotheses testing with a survey dataset of 256 employees from eleven military schools of Finnish Defence Forces (FDF). The results showed that “performance-based feedback and rewards” affects employee’s “intrinsic motivation towards knowledge sharing”, that “lateral coordination” affects employee’s “knowledge self-efficacy”, and that ”training and development” is positively related to “time availability” for knowledge sharing but affects negatively employee’s knowledge self-efficacy. Individual motivation and knowledge self-efficacy towards knowledge sharing affected knowledge sharing behaviour when work-related knowledge was shared 1) between employees in a department and 2) between employees in different departments, however these factors did not play a crucial role in subordinate–superior knowledge sharing. The findings suggest that individual motivation, opportunity, and the ability towards knowledge sharing affects individual knowledge sharing behaviour differently in different knowledge sharing situations. Furthermore, knowledge governance mechanisms can be used to manage individual-level knowledge sharing conditions and individual knowledge sharing behaviour but their affect also vary in different knowledge sharing situations.

Cultural distance and negotiation behavior : Perception of entrepreneurs operating in Turku

This thesis investigates the influence of cultural distance on entrepreneurs’ negotiation behaviour. For this purpose, Turku was chosen as the unit of analysis due to the exponential demographic change experienced during the last two decades that has derived in a more diversified local environment. The research aim set for this study was to identify to what extent entrepreneurs face cultural distance, how cultural distance influences the entrepreneur’s negotiation behaviour and how can it be addressed in order to turn dissimilarities into opportunities. This study presented the relation and apparent dichotomy of cultural distance and global culture, including the component of diversity. The impact of cultural distance in the entrepreneurial mindset and its consequent effect in negotiation behaviour was presented too. Addressing questions about the way individuals perceive, behave and interact allowed the use of interviews for this qualitative research study. In the empirical part of this study it was found that negotiation behaviour differed in terms of how congenial entrepreneurs felt when managing cultural distance, encompassing their performance. It was also acknowledged that after time and effort, some of the personal traits were enhanced while others reduced, allowing for more flexibility and adaptation. Furthermore, depending on the level of trust and shared interests, entrepreneurs determined their attitudinal approach, being adaptive or reactive subject to situational aspects. Additionally, it was found that the acquisition of cultural savvy not necessarily conveyed to more creativity. This experiential learning capability led to the proposition of new ways of behaviour. Likewise, it was proposed that growing cultural intelligence bridge distances, reducing mistrusts and misunderstandings. The capability of building more collaborative relationships allows entrepreneurs to see cultural distance as a cultural perspective instead of as a threat. Therefore it was recommended to focus on proximity rather than distance to better identify and exploit untapped opportunities and better perform when negotiating in whichever cultural conditions.

LVDC power distribution system: computational modelling

In the doctoral dissertation, low-voltage direct current (LVDC) distribution system stability, supply security and power quality are evaluated by computational modelling and measurements on an LVDC research platform. Computational models for the LVDC network analysis are developed. Time-domain simulation models are implemented in the time-domain simulation environment PSCAD/EMTDC. The PSCAD/EMTDC models of the LVDC network are applied to the transient behaviour and power quality studies. The LVDC network power loss model is developed in a MATLAB environment and is capable of fast estimation of the network and component power losses. The model integrates analytical equations that describe the power loss mechanism of the network components with power flow calculations. For an LVDC network research platform, a monitoring and control software solution is developed. The solution is used to deliver measurement data for verification of the developed models and analysis of the modelling results. In the work, the power loss mechanism of the LVDC network components and its main dependencies are described. Energy loss distribution of the LVDC network components is presented. Power quality measurements and current spectra are provided and harmonic pollution on the DC network is analysed. The transient behaviour of the network is verified through time-domain simulations. DC capacitor guidelines for an LVDC power distribution network are introduced. The power loss analysis results show that one of the main optimisation targets for an LVDC power distribution network should be reduction of the no-load losses and efficiency improvement of converters at partial loads. Low-frequency spectra of the network voltages and currents are shown, and harmonic propagation is analysed. Power quality in the LVDC network point of common coupling (PCC) is discussed. Power quality standard requirements are shown to be met by the LVDC network. The network behaviour during transients is analysed by time-domain simulations. The network is shown to be transient stable during large-scale disturbances. Measurement results on the LVDC research platform proving this are presented in the work.

Floristic composition and phytogeography of the tree component of Araucaria Forest fragments in southern Brazil

The present study examined the floristic composition of three fragments of Araucaria Forest (AF) in the Planalto Catarinense region of southern Brazil as well as the floristic contextualization of these areas in relation to other remnant AF sites. Three AF fragments at different altitudes were analyzed in the municipalities of Campos Novos, Lages, and Painel. Fifty 200 m² plots were examined in each fragment and all of the trees with CBH (circumference at breast height) > 15.7 cm were identified. In order to floristically contextualize the study fragments, comparisons were made with other remnant AF sites by way of dendrograms and NMDS (Non-metric multidimensional scaling). Environmental and spatial variables were plotted on the diagram produced by the NMDS to evaluate their influence on the floristic patterns encountered. The forest fragments studied demonstrated high floristic heterogeneity, indicating that AFs cannot be considered homogeneous formations and they could be classified into 3 phytogeographical categories: i) high altitude areas influenced by cloud cover/fog, including the Painel region; ii) areas of lesser altitude and greater mean annual temperatures situated in the Paraná River basin, and iii) areas situated in the Paraná and Upper-Uruguay river basins and the smaller basins draining directly into the southern Atlantic, near Campos Novos and Lages. The environmental variables most highly correlated with species substitutions among the sites were altitude, mean annual temperature, and the mean temperature of the most humid trimester.

Individual learner, peer group and teacher roles in fostering autonomous language-learning behaviour

Julkaisumaa: Bulgaria

Vibrations in Rotating Machinery Arising from Minor Imperfections in Component Geometries

Vibrations in machines can cause noise, decrease the performance, or even damage the machine. Vibrations appear if there is a source of vibration that excites the system. In the worst case scenario, the excitation frequency coincides with the natural frequency of the machine causing resonance. Rotating machines are a machine type, where the excitation arises from the machine itself. The excitation originates from the mass imbalance in the rotating shaft, which always exists in machines that are manufactured using conventional methods. The excitation has a frequency that is dependent on the rotational speed of the machine. The rotating machines in industrial use are usually designed to rotate at a constant rotational speed, the case where the resonances can be easily avoided. However, the machines that have a varying operational speed are more problematic due to a wider range of frequencies that have to be avoided. Vibrations, which frequencies equal to rotational speed frequency of the machine are widely studied and considered in the typical machine design process. This study concentrates on vibrations, which arise from the excitations having frequencies that are multiples of the rotational speed frequency. These vibrations take place when there are two or more excitation components in a revolution of a rotating shaft. The dissertation introduces four studies where three kinds of machines are experiencing vibrations caused by different excitations. The first studied case is a directly driven permanent magnet generator used in a wind power plant. The electromagnetic properties of the generator cause harmonic excitations in the system. The dynamic responses of the generator are studied using the multibody dynamics formulation. In another study, the finite element method is used to study the vibrations of a magnetic gear due to excitations, which frequencies equal to the rotational speed frequency. The objective is to study the effects of manufacturing and assembling inaccuracies. Particularly, the eccentricity of the rotating part with respect to non-rotating part is studied since the eccentric operation causes a force component in the direction of the shortest air gap. The third machine type is a tube roll of a paper machine, which is studied while the tube roll is supported using two different structures. These cases are studied using different formulations. In the first case, the tube roll is supported by spherical roller bearings, which have some wavinesses on the rolling surfaces. Wavinesses cause excitations to the tube roll, which starts to resonate at the frequency that is a half of the first natural frequency. The frequency is in the range where the machine normally operates. The tube roll is modeled using the finite element method and the bearings are modeled as nonlinear forces between the tube roll and the pedestals. In the second case studied, the tube roll is supported by freely rotating discs, which wavinesses are also measured. The above described phenomenon is captured as well in this case, but the simulation methodology is based on the flexible multibody dynamics formulation. The simulation models that are used in both of the last two cases studied are verified by measuring the actual devices and comparing the simulated and measured results. The results show good agreement.

The hemolytic component of cancer anemia: effects of osmotic and metabolic stress on the erythrocytes of rats bearing multifocal inoculations of the Walker 256 tumor

Cancer anemia is classified as an anemia of chronic diseases, although it is sometimes the first symptom of cancer. Cancer anemia includes a hemolytic component, important in the terminal stage when even transfused cells are rapidly destroyed. The presence of a chronic component and the terminal complications of the illness limit studies of the hemolytic component. A multifocal model of tumor growth was used here to simulate the terminal metastatic dissemination stage (several simultaneous inoculations of Walker 256 cells). The hemolytic component of anemia began 3-4 days after inoculation in 100% of the rats and progressed rapidly thereafter: Hb levels dropped from 14.9 ± 0.02 to 8.7 ± 0.06 from days 7 to 11 (~5 times the physiologically normal rate in rats) in the absence of bleeding. The development of anemia was correlated (r2 = 0.86) with the development of other systemic effects such as anorexia. There was a significant decrease in the osmotic fragility of circulating erythrocytes: the NaCl concentration causing 50% lysis was reduced from 4.52 ± 0.06 to 4.10 ± 0.01 (P<0.01) on day 7, indicating a reduction in erythrocyte volume. However, with mild metabolic stress (4-h incubation at 37oC), the erythrocytes showed a greater increase in osmotic fragility than the controls, suggesting marked alteration of erythrocyte homeostasis. These effects may be due to primary plasma membrane alterations (transport and/or permeability) and/or may be secondary to metabolic changes. This multifocal model is adequate for studying the hemolytic component of cancer anemia since it is rapid, highly reproducible and causes minimal animal suffering.

Efficient Optimization Algorithms for Nonlinear Data Analysis

Identification of low-dimensional structures and main sources of variation from multivariate data are fundamental tasks in data analysis. Many methods aimed at these tasks involve solution of an optimization problem. Thus, the objective of this thesis is to develop computationally efficient and theoretically justified methods for solving such problems. Most of the thesis is based on a statistical model, where ridges of the density estimated from the data are considered as relevant features. Finding ridges, that are generalized maxima, necessitates development of advanced optimization methods. An efficient and convergent trust region Newton method for projecting a point onto a ridge of the underlying density is developed for this purpose. The method is utilized in a differential equation-based approach for tracing ridges and computing projection coordinates along them. The density estimation is done nonparametrically by using Gaussian kernels. This allows application of ridge-based methods with only mild assumptions on the underlying structure of the data. The statistical model and the ridge finding methods are adapted to two different applications. The first one is extraction of curvilinear structures from noisy data mixed with background clutter. The second one is a novel nonlinear generalization of principal component analysis (PCA) and its extension to time series data. The methods have a wide range of potential applications, where most of the earlier approaches are inadequate. Examples include identification of faults from seismic data and identification of filaments from cosmological data. Applicability of the nonlinear PCA to climate analysis and reconstruction of periodic patterns from noisy time series data are also demonstrated. Other contributions of the thesis include development of an efficient semidefinite optimization method for embedding graphs into the Euclidean space. The method produces structure-preserving embeddings that maximize interpoint distances. It is primarily developed for dimensionality reduction, but has also potential applications in graph theory and various areas of physics, chemistry and engineering. Asymptotic behaviour of ridges and maxima of Gaussian kernel densities is also investigated when the kernel bandwidth approaches infinity. The results are applied to the nonlinear PCA and to finding significant maxima of such densities, which is a typical problem in visual object tracking.