Sähkömoottoriprototyypin mekaniikkasuunnittelu järjestelmällisen tuotesuunnittelun avulla

Työn tavoitteena oli suunnitella sähkömoottoriprototyyppi, joka soveltuu hybridiajoneuvon ajomoottoriksi. Mekaniikkasuunnittelu toteutettiin samanaikaisesti sähkösuunnittelun kanssa ja siinä käytettiin yleisesti käytössä olevaa järjestelmällistä tuotesuunnittelua. Järjestelmällinen tuotesuunnittelu soveltuu laajoihin suunnitteluprojekteihin, sillä sen avulla suunnitteluprosessi on jaoteltu useampiin pieniin askeliin. Työssä esitetään sähkömoottorin yleistä toimintaperiaatetta sekä niitä sähköteknisiä erityispiirteitä, joita mekaniikkasuunnittelussa tulee ottaa huomioon. Työn tuloksissa käytiin yksityiskohtaisesti läpi roottorin suunnittelu. Muille komponenteille käytettiin samaa järjestelmällistä tuotesuunnittelua mutta niitä ei esitetä yksityiskohtaisesti tässä työssä. Kokonaisuudessaan sähkömoottorista saatiin suunniteltua ratkaisuehdotus, joka täyttää halutut vaatimukset. Lisäksi työssä kerättiin kattava lista standardeista, jotka tukevat sähkömoottorin suunnittelua. Järjestelmällisen tuotesuunnittelun todettiin soveltuvan sähkömoottorin suunnitteluun hyvin ja saatua ratkaisuehdotusta voidaan pitää toimivana. Moottori suunnitelmasta valmistetaan ensimmäinen prototyyppi keväällä 2012. Prototyyppiä voidaan kehittää suunnittelemalla siitä paremmin sarjatuotantoon soveltuva malli esimerkiksi vähentämällä koneistettavien osien määrää ja korvaamalla ne valukappaleilla.

Kattilan ja kanaviston eristykset 3D-laitossuunnitteluohjelmassa

Työn tavoitteena oli kehittää kanavistojen ja kattilan eristyksien mallintamista 3D-laitossuunitteluohjelmassa sekä siitä saatavia materiaalilistoja. Kanavistojen eristeitä kuvastavaa geometriaa muokattiin vastaamaan eristyksen todellista tilanvarausta. Kattilan eristyksen mallintaminen on aikaisemmin jouduttu tekemään manuaalisesti, työssä kehitettiin työkalu, jonka avulla eristysten materiaalitiedot ja oikeat tilanvaraukset saadaan lisättyä 3D-malliin. Kaikkia eristyksen mallintamista ei kuitenkaan pystytä mielekkäästi toteuttamaan automaattisesti työkalujen avulla, näitä kohteita ovat tukikehikkorakenteet kuten kattilan vinttikehikko. Lisäksi täytyi selvittää, mitä tietoja eristyksien materiaalimäärälistoille vaaditaan, ja kuinka nämä tiedot saataisiin listoihin mukaan. Jotta kaikki eristettävät kohteet saadaan tuotettaviin materiaalilistoihin, on ohjelmaan lisättävä käytettäväksi uusia komponentteja. Näitä ovat uudet kanavistojen osat sekä muun muassa venturit ja huoltoluukut kanavistoille. Kattilaan asennettavat laitteet kuten näkölasit ja polttimet vaativat tukirakenteen, joka samalla toimii kotelona putkistojen taivutuksille. Näitä kohteita on aikaisemmin tuotu vanhoista projekteista tai ne on tehty suunnittelijan toimesta uusiksi. Työssä esitettiin uusi tapa mallintaa kattilan pinnat, jolloin niihin voidaan liittää koteloita erillisestä komponenttikirjastosta. Kanavistojen eristyksien materiaalimäärälistojen tuottaminen suoraan ohjelmasta auto-matisoitiin. Kattilan ja siihen liittyvien eristyskehysrakenteiden listojen tuotanto kuitenkin vaatii yhteisten toimintamallien kehittämistä. Tämän työn uudet menetelmät mahdollistavat yhä uusien työkalujen kehittämisen, esimerkiksi automaattisen eristysten teknisten piirustusten kuvatuotannon tulevaisuudessa.

Conventional and nonconventional Kramers-Kronig analysis in optical spectroscopy

This Master’s Thesis is dedicated to the investigation and testing conventional and nonconventional Kramers-Kronig relations on simulated and experimentally measured spectra. It is done for both linear and nonlinear optical spectral data. Big part of attention is paid to the new method of obtaining complex refractive index from a transmittance spectrum without direct information of the sample thickness. The latter method is coupled with terahertz tome-domain spectroscopy and Kramers-Kronig analysis applied for testing the validity of complex refractive index. In this research precision of data inversion is evaluated by root-mean square error. Testing of methods is made over different spectral range and implementation of this methods in future is considered.

Forecasting of wind speeds and directions with artificial neural networks

In this master’s thesis, wind speeds and directions were modeled with the aim of developing suitable models for hourly, daily, weekly and monthly forecasting. Artificial Neural Networks implemented in MATLAB software were used to perform the forecasts. Three main types of artificial neural network were built, namely: Feed forward neural networks, Jordan Elman neural networks and Cascade forward neural networks. Four sub models of each of these neural networks were also built, corresponding to the four forecast horizons, for both wind speeds and directions. A single neural network topology was used for each of the forecast horizons, regardless of the model type. All the models were then trained with real data of wind speeds and directions collected over a period of two years in the municipal region of Puumala in Finland. Only 70% of the data was used for training, validation and testing of the models, while the second last 15% of the data was presented to the trained models for verification. The model outputs were then compared to the last 15% of the original data, by measuring the mean square errors and sum square errors between them. Based on the results, the feed forward networks returned the lowest generalization errors for hourly, weekly and monthly forecasts of wind speeds; Jordan Elman networks returned the lowest errors when used for forecasting of daily wind speeds. Cascade forward networks gave the lowest errors when used for forecasting daily, weekly and monthly wind directions; Jordan Elman networks returned the lowest errors when used for hourly forecasting. The errors were relatively low during training of the models, but shot up upon simulation with new inputs. In addition, a combination of hyperbolic tangent transfer functions for both hidden and output layers returned better results compared to other combinations of transfer functions. In general, wind speeds were more predictable as compared to wind directions, opening up opportunities for further research into building better models for wind direction forecasting.

Diversity among satellite glial cells in dorsal root ganglia of the rat

Peripheral glial cells consist of satellite, enteric glial, and Schwann cells. In dorsal root ganglia, besides pseudo-unipolar neurons, myelinated and nonmyelinated fibers, macrophages, and fibroblasts, satellite cells also constitute the resident components. Information on satellite cells is not abundant; however, they appear to provide mechanical and metabolic support for neurons by forming an envelope surrounding their cell bodies. Although there is a heterogeneous population of neurons in the dorsal root ganglia, satellite cells have been described to be a homogeneous group of perineuronal cells. Our objective was to characterize the ultrastructure, immunohistochemistry, and histochemistry of the satellite cells of the dorsal root ganglia of 17 adult 3-4-month-old Wistar rats of both genders. Ultrastructurally, the nuclei of some satellite cells are heterochromatic, whereas others are euchromatic, which may result from different amounts of nuclear activity. We observed positive immunoreactivity for S-100 and vimentin in the cytoplasm of satellite cells. The intensity of S-100 protein varied according to the size of the enveloped neuron. We also noted that vimentin expression assumed a ring-like pattern and was preferentially located in the cytoplasm around the areas stained for S-100. In addition, we observed nitric oxide synthase-positive small-sized neurons and negative large-sized neurons equal to that described in the literature. Satellite cells were also positive for NADPH-diaphorase, particularly those associated with small-sized neurons. We conclude that all satellite cells are not identical as previously thought because they have different patterns of glial marker expression and these differences may be correlated with the size and function of the neuron they envelope.

Digital content and making it viral in social media

Tutkimuksen tavoite on selvittää digitaalisen sisällön ominaisuuksia, jotka vaikuttavat ryhtyvätkö kuluttajat jakamaan, tykkäämään ja kommentoimaan sitä sosiaalisessa mediassa. Tällä pyritään auttamaan yrityksiä ymmärtämään paremmin viraalisuutta, jotta he pystyisivät tuottamaan ja julkaisemaan nettisivuillaan ja sosiaalisessa mediassa parempaa sisältöä, jota kuluttajat jakaisivat enemmän. Tutkimus toteutetaan muodostamalla hypoteeseja mahdollisista ominaisuuksista kirjallisuuden perusteella ja testaamalla niitä regressioanalyyseillä empiirisessä osiossa. Tulokset paljastavat yhdeksän piirrettä, jotka lisäävät viraalisuutta: kiinnostavuus, neutraalisuus, yllättävyys, viihdyttävyys, epäkäytännöllisyys, artikkelin ja Facebook julkaisun pituus, eri sisältö taktiikoiden käyttö (erityisesti blogit ja kuvat lisäävät viraalisuutta) sekä kun mielipidevaikuttaja tai kuuluisuus jakaa sisällön.

Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

Product Assurance in Agile Space Systems Development

Product assurance is an essential part of product development process if developers want to ensure that final product is safe and reliable. Product assurance can be supported withrisk management and with different failure analysis methods. Product assurance is emphasized in system development process of mission critical systems. The product assurance process in systems of this kind requires extra attention. Inthis thesis, mission critical systems are space systems and the product assurance processof these systems is presented with help of space standards. The product assurance process can be supported with agile development because agile emphasizes transparency of the process and fast response to changes. Even if the development process of space systems is highly standardized and reminds waterfall model, it is still possible to adapt agile development in space systems development. This thesisaims to support the product assurance process of space systems with agile developmentso that the final product would be as safe and reliable as possible. The main purpose of this thesis is to examine how well product assurance is performed in Finnish space organizations and how product assurance tasks and activities can besupported with agile development. The research part of this thesis is performed in survey form.

Product assurance in agile space systems development

Product assurance is an essential part of product development process if developers want to ensure that final product is safe and reliable. Product assurance can be supported with risk management and with different failure analysis methods. Product assurance is emphasized in system development process of mission critical systems. The product assurance process in systems of this kind requires extra attention. In this thesis, mission critical systems are space systems and the product assurance process of these systems is presented with help of space standards. The product assurance process can be supported with agile development because agile emphasizes transparency of the process and fast response to changes. Even if the development process of space systems is highly standardized and reminds waterfall model, it is still possible to adapt agile development in space systems development. This thesis aims to support the product assurance process of space systems with agile development so that the final product would be as safe and reliable as possible. The main purpose of this thesis is to examine how well product assurance is performed in Finnish space organizations and how product assurance tasks and activities can be supported with agile development. The research part of this thesis is performed in survey form.

Brillouin spectroscopy : measurement of elastic and photoelastic constants of some alkali holide crystals

The assembly and testing of apparatus for the measurement of elastic and photoelastic constants by Brillouin scattering, using a Fabry-Perot interferometer and with argon ion laser excitation is described. Such measurements are performed on NaCI, KBr and LiF using the A = 488.0 nm laser line. The elastic constants obtained here are in very good agreement with the ultrasonic data for all three materials. The discrepancy between ultrasonic and hypersonic sound velocities which was reported by some authors for KBr and LiF is not confirmed, and the elastic constants obtained for LiF are the most accurate to date. Also, the present photoelastic constants are in good agreement with the data obtained by ultrasonic techniques for all three crystals. The results for the KBr and LiF crystals constitute the first set of photoelastic constants obtained for these materials by Brillouin spectroscopy. Our results for LiF are the best available to date.

Emergence of conscious awareness of underlying verbal and visual rules over time in moderate closed-head trauma patients

Please consult the paper edition of this thesis to read. It is available on the 5th Floor of the Library at Call Number: Z 9999.5 E38 L64 2008

Autonomy and Relatedness in Mainland Chinese Adolescents: Social or Personal? Accommodation or Distinctiveness?

Three studies comprised the current research program, in which the major goals were to propose and validate empirically the proposed two-level (universal and culture-specific) model of both autonomy and relatedness, as well as to develop reliable and valid measures for these two constructs. In Study 1, 143 mainland Chinese adolescents were asked open-ended questions about their understanding of autonomy and relatedness in three social contexts (peer, family, school). Chinese youth’s responses captured universal and culturally distinctive forms of autonomy (personal vs. social) and relatedness (accommodation vs. distinctiveness), according to a priori criteria based on the theoretical frameworks. Also, scenarios designed to reflect culture-specific forms of autonomy and relatedness suggested their relevance to Chinese adolescents. With a second sample of 201 mainland Chinese youth, in Study 2, the obtained autonomy and relatedness descriptors were formulated into scale items. Those items were subject to refinement analyses to examine their psychometric properties and centrality to Chinese youth. The findings of Study 1 scenarios were replicated in Study 2. The primary goal of Study 3 was to test empirically the proposed two-level (universal and culture-specific) models of both autonomy and relatedness, using the measures derived from Studies 1 and 2. A third sample of 465 mainland Chinese youth completed a questionnaire booklet consisting of autonomy and relatedness scales and scenarios and achievement motivation orientations measures. A series of confirmatory factor analysis (CFA) autonomy and relatedness measurement models (first-order and second-order), as well as structural models linking culture-specific forms of autonomy and relatedness and achievement motivation orientations, were conducted. The first-order measurement models based on scale and scenario scores consistently confirmed the distinction between personal autonomy and social autonomy, and that of accommodation and distinctiveness. Although the construct validity of the two culture-specific forms of autonomy gained additional support from the structural models, the associations between the two culture-specific forms of relatedness and achievement motivation orientations were relatively weak. In general, the two-level models of autonomy and relatedness were supported in two ways: conceptual analysis of scale items and second-order measurement models. In addition, across the three studies, I explored potential contextual and sex differences in Chinese youth’s endorsement of the diverse forms of autonomy and relatedness. Overall, no substantial contextual variability or sex differences were found. The current research makes an important theoretical contribution to the field of developmental psychology in general, and autonomy and relatedness in particular, by proposing and testing empirically both universal and culture-specific parts of autonomy and relatedness. The current findings have implications for the measurement of autonomy and relatedness across social contexts, as well as for socialization and education practice.

Les enclaves résidentielles introverties dans la communauté métropolitaine de Montréal, une étape ultime vers la fermeture résidentielle.

Plusieurs logiciels utilisés dans la réalisation des pièces graphiques incluses dans ce mémoire : ArcGIS 10; Autocad 2012; GIS Consortium de la Ville de Chicago; PowerPoint 2010, Photoshop... etc. Notre recherche est la première et la seule qui aborde le phénomène de l'introversion résidentielle au Québec. Elle se focalise sur le postulat de la représentation du phénomène de l’introversion résidentielle autant qu’une forme urbaine fermée ou semi-fermée d’une descendance accouplée aux GCs étatsuniennes. De la gated community américaine vers l’enclave francilienne, à l’introversion résidentielle montréalaise. À l'aide de notre analyse typo-morphologique, basée principalement sur la théorie de Rossi (1966), nous avons dévoilé sur un nouveau fait urbain qui existe dans la communauté métropolitaine de Montréal. Nous l'avions désigné par : enclaves résidentielles introverties (ERI).

The intangible aspects of architectural spaces that influence human well-being

En utilisant des approches qualitative and quantitative cette thèse démontre que les aspects intangibles des espaces architecturaux influencent le bien-être humain. Le but est de faire savoir que les espaces intérieurs ont un impact sur le bien-être et que l’architecture peut être considérée comme une solution pour satisfaire les besoins des usagers. Dans la première étude, l’approche qualitative est explorée en utilisant la narration pour identifier les aspects intangibles des espaces intérieurs qui affectent le bien-être. Une discussion s’articule autour du Modèle de Réponses Expérientielles des Humains (Model of Human Experiential Responses to Space) et de son importance comme outil pour déterrer les caractéristiques environnementales qui influencent le bien-être et qui peut être utile pour les professionnels du design. Les résultats démontrent que 43 catégories sont interprétées comme étant des aspects intangibles et servent de canevas pour trois autres études. Les résultats démontrent que certaines caractéristiques environnementales similaires dans les résidences et les bureaux augmentent le sentiment de satisfaction et de bien-être. Dans la deuxième étude, une approche quantitative est explorée en utilisant les neurosciences et l’architecture afin de mesurer comment les espaces architecturaux affectent le bien-être. Le concept de neuroscience / environnement / comportement est utilisé où huit corrélats neuroscientifiques (Zeisel 2006) sont investigués afin de mesurer les effets du cerveau sur les espaces architecturaux. Les résultats démontrent que l’environnement peut affecter l’humeur, le niveau d’attention et le niveau de stress chez les humains et peut également augmenter leur performance. Les deux études contribuent aux connaissances que les caractéristiques environnementales affectent l’humeur et le niveau de satisfaction de la même façon dans les espaces résidentiels et dans les espaces de bureaux. Un bon environnement qui énergise les employés peut affecter leur performance au travail de façon positive (Vischer 2005).

Meta-heuristic Solution Methods for Rich Vehicle Routing Problems

Le problème de tournées de véhicules (VRP), introduit par Dantzig and Ramser en 1959, est devenu l'un des problèmes les plus étudiés en recherche opérationnelle, et ce, en raison de son intérêt méthodologique et de ses retombées pratiques dans de nombreux domaines tels que le transport, la logistique, les télécommunications et la production. L'objectif général du VRP est d'optimiser l'utilisation des ressources de transport afin de répondre aux besoins des clients tout en respectant les contraintes découlant des exigences du contexte d’application. Les applications réelles du VRP doivent tenir compte d’une grande variété de contraintes et plus ces contraintes sont nombreuse, plus le problème est difficile à résoudre. Les VRPs qui tiennent compte de l’ensemble de ces contraintes rencontrées en pratique et qui se rapprochent des applications réelles forment la classe des problèmes ‘riches’ de tournées de véhicules. Résoudre ces problèmes de manière efficiente pose des défis considérables pour la communauté de chercheurs qui se penchent sur les VRPs. Cette thèse, composée de deux parties, explore certaines extensions du VRP vers ces problèmes. La première partie de cette thèse porte sur le VRP périodique avec des contraintes de fenêtres de temps (PVRPTW). Celui-ci est une extension du VRP classique avec fenêtres de temps (VRPTW) puisqu’il considère un horizon de planification de plusieurs jours pendant lesquels les clients n'ont généralement pas besoin d’être desservi à tous les jours, mais plutôt peuvent être visités selon un certain nombre de combinaisons possibles de jours de livraison. Cette généralisation étend l'éventail d'applications de ce problème à diverses activités de distributions commerciales, telle la collecte des déchets, le balayage des rues, la distribution de produits alimentaires, la livraison du courrier, etc. La principale contribution scientifique de la première partie de cette thèse est le développement d'une méta-heuristique hybride dans la quelle un ensemble de procédures de recherche locales et de méta-heuristiques basées sur les principes de voisinages coopèrent avec un algorithme génétique afin d’améliorer la qualité des solutions et de promouvoir la diversité de la population. Les résultats obtenus montrent que la méthode proposée est très performante et donne de nouvelles meilleures solutions pour certains grands exemplaires du problème. La deuxième partie de cette étude a pour but de présenter, modéliser et résoudre deux problèmes riches de tournées de véhicules, qui sont des extensions du VRPTW en ce sens qu'ils incluent des demandes dépendantes du temps de ramassage et de livraison avec des restrictions au niveau de la synchronization temporelle. Ces problèmes sont connus respectivement sous le nom de Time-dependent Multi-zone Multi-Trip Vehicle Routing Problem with Time Windows (TMZT-VRPTW) et de Multi-zone Mult-Trip Pickup and Delivery Problem with Time Windows and Synchronization (MZT-PDTWS). Ces deux problèmes proviennent de la planification des opérations de systèmes logistiques urbains à deux niveaux. La difficulté de ces problèmes réside dans la manipulation de deux ensembles entrelacés de décisions: la composante des tournées de véhicules qui vise à déterminer les séquences de clients visités par chaque véhicule, et la composante de planification qui vise à faciliter l'arrivée des véhicules selon des restrictions au niveau de la synchronisation temporelle. Auparavant, ces questions ont été abordées séparément. La combinaison de ces types de décisions dans une seule formulation mathématique et dans une même méthode de résolution devrait donc donner de meilleurs résultats que de considérer ces décisions séparément. Dans cette étude, nous proposons des solutions heuristiques qui tiennent compte de ces deux types de décisions simultanément, et ce, d'une manière complète et efficace. Les résultats de tests expérimentaux confirment la performance de la méthode proposée lorsqu’on la compare aux autres méthodes présentées dans la littérature. En effet, la méthode développée propose des solutions nécessitant moins de véhicules et engendrant de moindres frais de déplacement pour effectuer efficacement la même quantité de travail. Dans le contexte des systèmes logistiques urbains, nos résultats impliquent une réduction de la présence de véhicules dans les rues de la ville et, par conséquent, de leur impact négatif sur la congestion et sur l’environnement.