Design and evaluation of a continuous flow, integrated nebulizer-hydride generator for flame atomic absorption spectrometry

An evaluation of the performance of a continuous flow hydride generator-nebulizer for flame atomic absorption spectrometry was carried out. Optimization of nebulizer gas flow rate, sample acid concentration, sample and tetrahydroborate uptake rates and reductant concentration, on the As and Se absorbance signals was carried out. A hydrogen-argon flame was used. An improvement of the analytical sensitivity relative to the conventional bead nebulizer used in flame AA was obtained (2 (As) and 4.8 (Se) µg L-1). Detection limits (3σb) of 1 (As) and 1.3 (Se) µg L-1 were obtained. Accuracy of the method was checked by analyzing an oyster tissue reference material.

Estimation of existing cable systems in generator-busbar unit and choice the optimal solution for its modernization

The aim of this master’s thesis is to develop an algorithm to calculate the cable network for heat and power station CHGRES. This algorithm includes important aspect which has an influence on the cable network reliability. Moreover, according to developed algorithm, the optimal solution for modernization cable system from economical and technical point of view was obtained. The conditions of existing cable lines show that replacement is necessary. Otherwise, the fault situation would happen. In this case company would loss not only money but also its prestige. As a solution, XLPE single core cables are more profitable than other types of cable considered in this work. Moreover, it is presented the dependence of value of short circuit current on number of 10/110 kV transformers connected in parallel between main grid and considered 10 kV busbar and how it affects on final decision. Furthermore, the losses of company in power (capacity) market due to fault situation are presented. These losses are commensurable with investment to replace existing cable system.

Efficiency of the ISM Code in Finnish Shipping Companies

Due to increasing waterborne transportation in the Gulf of Finland, the risk of a hazardous accident increases and therefore manifold preventive actions are needed. As a main legislative authority in the maritime community, The International Maritime Organization (IMO) has set down plenary laws and recommendations which are e.g., utilised in the safe operations in ships and pollution prevention. One of these compulsory requirements, the ISM Code, requires proactive attitude both from the top management and operational workers in the shipping companies. In this study, a crosssectional approach was taken to analyse whether the ISM Code has actively enhanced maritime safety in the Gulf of Finland. The analysis included; 1) performance of the ISM Code in Finnish shipping companies, 2) statistical measurements of maritime safety, 3) influence of corporate top management to the safety culture and 4) comparing safety management practices in shipping companies and port operations of Finnish maritime and port authorities. The main results found were that maritime safety culture has developed in the right direction after the launch of the ISM Code in the 1990´s. However, this study does not exclusively prove that the improvements are the consequence of the ISM Code. Accident prone ships can be recognized due to their behaviour and there is a lesson to learn from the safety culture of some high standard safety disciplines such as, air traffic. In addition, the reporting of accidents and nearmisses should be more widely used in shipping industry. In conclusion, there is still much to be improved in the maritime safety culture of the Finnish Shipping industry, e.g., a “no blame culture” needs to be adopted.

Doubly fed induction generator versus direct drive permanent magnet synchronous generator in wind power applications

The objective of this master's thesis is to compare two different generator systems for wind turbines. It is the doubly fed induction generator system with three stage gearbox and the direct drive permanent magnet generator system. The comparison of generator systems is based on annual energy production for a given wind climate. For comparison a 3 MW, 15 rpm wind turbine is used. Modelling of a turbine rotor, gearbox and converters were done. Design of two generators was done and their performance was examined.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Aukko-osuuden mittausmenetelmien kartoitus PWR PACTEL -koelaitteiston pystyhöyrystimen sekundääripuolella

Diplomityössä kartoitetaan mahdollisuuksia aukko-osuuden mittaamiseksi ydinvoimalaitosta mallintavan PWR PACTEL -koelaitteiston pystyhöyrystimen sekundääripuolella. Työ on toteutettu osana kansallista SAFIR2014-ydinturvallisuustutkimusohjelmaa. Diplomityön tavoitteena on löytää kustannuksiltaan mahdollisimman järkevä ja toimiva menetelmä aukko-osuuden määrittämiseksi. Aukko-osuuden mittaaminen on tärkeää sekundääripuolen kaksifaasivirtauksen käyttäytymisen paremman tuntemuksen lisäämiseksi. Aukko-osuusmittausdataa tarvitaan muun muassa laskentakoodien validointiin. Diplomityössä perehdytään kaksifaasivirtauksen ja aukko-osuuden fysiikkaan sekä esitellään erityyppisiä aukko-osuuden mittausmenetelmiä. Kunkin mittausmenetelmän soveltuvuutta PWR PACTEL -koelaitteistoon arvioidaan erikseen. Aukko-osuuden mittaaminen höyrystimen sekundääripuolella osoittautuu käytännössä erittäin hankalaksi. Pääasiassa tämä johtuu höyrystimen rakenteesta sekä mittausmenetelmien korkeista kustannuksista. Tämän vuoksi työssä tarkastellaan myös edellytyksiä aukko-osuuden mittaamiselle erillisessä höyrystintä mallintavassa koelaitteistossa. Mikäli aukko-osuutta haluttaisiin mitata erilliskoelaitteistossa, tulisi höyrystinmallin rakennetta, materiaaleja tai kiertoainetta muuttaa PWR PACTELin höyrystimeen verrattuna.

Design and testing of an armature-reaction-compensated permanent magnet synchronous generator for island operation

At present, permanent magnet synchronous generators (PMSGs) are of great interest. Since they do not have electrical excitation losses, the highly efficient, lightweight and compact PMSGs equipped with damper windings work perfectly when connected to a network. However, in island operation, the generator (or parallel generators) alone is responsible for the building up of the network and maintaining its voltage and reactive power level. Thus, in island operation, a PMSG faces very tight constraints, which are difficult to meet, because the flux produced by the permanent magnets (PMs) is constant and the voltage of the generator cannot be controlled. Traditional electrically excited synchronous generators (EESGs) can easily meet these constraints, because the field winding current is controllable. The main drawback of the conventional EESG is the relatively high excitation loss. This doctoral thesis presents a study of an alternative solution termed as a hybrid excitation synchronous generator (HESG). HESGs are a special class of electrical machines, where the total rotor current linkage is produced by the simultaneous action of two different excitation sources: the electrical and permanent magnet (PM) excitation. An overview of the existing HESGs is given. Several HESGs are introduced and compared with the conventional EESG from technical and economic points of view. In the study, the armature-reaction-compensated permanent magnet synchronous generator with alternated current linkages (ARC-PMSG with ACL) showed a better performance than the other options. Therefore, this machine type is studied in more detail. An electromagnetic design and a thermal analysis are presented. To verify the operation principle and the electromagnetic design, a down-sized prototype of 69 kVA apparent power was built. The experimental results are demonstrated and compared with the predicted ones. A prerequisite for an ARC-PMSG with ACL is an even number of pole pairs (p = 2, 4, 6, …) in the machine. Naturally, the HESG technology is not limited to even-pole-pair machines. However, the analysis of machines with p = 3, 5, 7, … becomes more complicated, especially if analytical tools are used, and is outside the scope of this thesis. The contribution of this study is to propose a solution where an ARC-PMSG replaces an EESG in electrical power generation while meeting all the requirements set for generators given for instance by ship classification societies, particularly as regards island operation. The maximum power level when applying the technology studied here is mainly limited by the economy of the machine. The larger the machine is, the smaller is the efficiency benefit. However, it seems that machines up to ten megawatts of power could benefit from the technology. However, in low-power applications, for instance in the 500 kW range, the efficiency increase can be significant.

Design of a 1 kW 150 rpm permanent-magnet synchronous generator for stand-alone wind-power applications

A program for calculating low-speed low-power synchronous machine is presented. A permanent-magnet synchronous generator for 1 kW 150 rpm is designed. Optimization of magnet’s and coil’s dimensions was made.

Wind Turbine Direct-Drive Permanent-Magnet Generator with Direct Liquid Cooling for Mass Reduction

Today’s electrical machine technology allows increasing the wind turbine output power by an order of magnitude from the technology that existed only ten years ago. However, it is sometimes argued that high-power direct-drive wind turbine generators will prove to be of limited practical importance because of their relatively large size and weight. The limited space for the generator in a wind turbine application together with the growing use of wind energy pose a challenge for the design engineers who are trying to increase torque without making the generator larger. When it comes to high torque density, the limiting factor in every electrical machine is heat, and if the electrical machine parts exceed their maximum allowable continuous operating temperature, even for a short time, they can suffer permanent damage. Therefore, highly efficient thermal design or cooling methods is needed. One of the promising solutions to enhance heat transfer performances of high-power, low-speed electrical machines is the direct cooling of the windings. This doctoral dissertation proposes a rotor-surface-magnet synchronous generator with a fractional slot nonoverlapping stator winding made of hollow conductors, through which liquid coolant can be passed directly during the application of current in order to increase the convective heat transfer capabilities and reduce the generator mass. This doctoral dissertation focuses on the electromagnetic design of a liquid-cooled direct-drive permanent-magnet synchronous generator (LC DD-PMSG) for a directdrive wind turbine application. The analytical calculation of the magnetic field distribution is carried out with the ambition of fast and accurate predicting of the main dimensions of the machine and especially the thickness of the permanent magnets; the generator electromagnetic parameters as well as the design optimization. The focus is on the generator design with a fractional slot non-overlapping winding placed into open stator slots. This is an a priori selection to guarantee easy manufacturing of the LC winding. A thermal analysis of the LC DD-PMSG based on a lumped parameter thermal model takes place with the ambition of evaluating the generator thermal performance. The thermal model was adapted to take into account the uneven copper loss distribution resulting from the skin effect as well as the effect of temperature on the copper winding resistance and the thermophysical properties of the coolant. The developed lumpedparameter thermal model and the analytical calculation of the magnetic field distribution can both be integrated with the presented algorithm to optimize an LC DD-PMSG design. Based on an instrumented small prototype with liquid-cooled tooth-coils, the following targets have been achieved: experimental determination of the performance of the direct liquid cooling of the stator winding and validating the temperatures predicted by an analytical thermal model; proving the feasibility of manufacturing the liquid-cooled tooth-coil winding; moreover, demonstration of the objectives of the project to potential customers.

Software and Code Finder: making research outputs visible

Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Strong magnetic field pulse generator

High magnetic fields and extremely low temperatures are essential in the study of new semiconductor materials for example in the field of spintronics. Typical phenomenons that arise in such conditions are: Hall Effect, Anomalous Hall effect and Shubnikov de-Haas effect. In this thesis a device capable for such conditions was described. A strong magnetic field pulse generator situated in the laboratory of physics and the Lappeenranta University of Technology was studied. The device is introduced in three parts. First one is the pulsed field magnetic generator, which is responsible for generating the high magnetic field. Next one is the measurement systems, which are responsible for monitoring the sample and the system itself. The last part describes the cryostat system, which allows the extremely cold temperatures in the system.

Identification of the main generator source of longitudinal muscle contraction in the earthworm ventral nerve cord

The main generator source of a longitudinal muscle contraction was identified as an M (mechanical-stimulus-sensitive) circuit composed of a presynaptic M-1 neuron and a postsynaptic M-2 neuron in the ventral nerve cord of the earthworm, Amynthas hawayanus, by simultaneous intracellular response recording and Lucifer Yellow-CH injection with two microelectrodes. Five-peaked responses were evoked in both neurons by a mechanical, but not by an electrical, stimulus to the mechanoreceptor in the shaft of a seta at the opposite side of an epidermis-muscle-nerve-cord preparation. This response was correlated to 84% of the amplitude, 73% of the rising rate and 81% of the duration of a longitudinal muscle contraction recorded by a mechano-electrical transducer after eliminating the other possible generator sources by partitioning the epidermis-muscle piece of this preparation. The pre- and postsynaptic relationship between these two neurons was determined by alternately stimulating and recording with two microelectrodes. Images of the Lucifer Yellow-CH-filled M-1 and M-2 neurons showed that both of them are composed of bundles of longitudinal processes situated on the side of the nerve cord opposite to stimulation. The M-1 neuron has an afferent process (A1) in the first nerve at the stimulated side of this preparation and the M-2 neuron has two efferent processes (E1 and E3) in the first and third nerves at the recording side where their effector muscle cell was identified by a third microelectrode.

Facilitation of the main generator source of earthworm muscle contraction by a peripheral neuron

A constant facilitation of responses evoked in the earthworm muscle contraction generator neurons by responses evoked in the neurons of its peripheral nervous system was demonstrated. It is based on the proposal that these two responses are bifurcations of an afferent response evoked by the same peripheral mechanical stimulus but converging again on this central neuron. A single-peaked generator response without facilitation was demonstrated by sectioning the afferent route of the peripheral facilitatory modulatory response, or conditioning response (CR). The multipeaked response could be restored by restimulating the sectioned modulatory neuron with an intracellular substitutive conditioning stimulus (SCS). These multi-peaked responses were proposed to be the result of reverberating the original single peaked unconditioned response (UR) through a parallel (P) neuronal circuit which receives the facilitation of the peripheral modulatory neuron. This peripheral modulatory neuron was named "Peri-Kästchen" (PK) neuron because it has about 20 peripheral processes distributed on the surface of a Kästchen of longitudinal muscle cells on the body wall of this preparation as revealed by the Lucifer Yellow-CH-filling method.

Persistent attenuation and enhancement of the earthworm main muscle contraction generator response induced by repeated stimulation of a peripheral neuron

Responses evoked in the earthworm, Amynthas hawayanus, main muscle contraction generator M-2 (postsynaptic mechanical-stimulus-sensitive) neuron by threshold mechanical stimuli in 2-s intertrial intervals (ITI) were used as the control or unconditioned responses (UR). Their attenuation induced by decreasing these intervals in non-associative conditioning and their enhancement induced by associating the unconditioned stimuli (US) to a train of short (0.1 s) hyperpolarizing electrical substitutive conditioning stimuli (SCS) in the Peri-Kästchen (PK) neuron were measured in four parameters, i.e., peak numbers (N) and amplitude ()averaged from 120 responses, sum of these amplitudes (SAMP) and the highest peak amplitude (V) over a period of 4 min. Persistent attenuation similar to habituation was induced by decreasing the control ITI to 0.5 s and 2.0 s in non-associative conditioning within less than 4 min. Dishabituation was induced by randomly pairing one of these habituated US to an electrical stimulus in the PK neuron. All four parameters of the UR were enhanced by forward (SCS-US), but not backward (US-SCS), association of the US with 25, 100 and 250-Hz trains of SCS with 40-ms interstimulus intervals (ISI) for 4 min and persisted for another 4 min after turning off the SCS. The enhancement of these parameters was proportional to the SCS frequencies in the train. No UR was evoked by the SCS when the US was turned off after 4 min of classical conditioning.

Development of an HTR-10 model in the Serpent reactor physics code

The use of exact coordinates of pebbles and fuel particles of pebble bed reactor modelling becoming possible in Monte Carlo reactor physics calculations is an important development step. This allows exact modelling of pebble bed reactors with realistic pebble beds without the placing of pebbles in regular lattices. In this study the multiplication coefficient of the HTR-10 pebble bed reactor is calculated with the Serpent reactor physics code and, using this multiplication coefficient, the amount of pebbles required for the critical load of the reactor. The multiplication coefficient is calculated using pebble beds produced with the discrete element method and three different material libraries in order to compare the results. The received results are lower than those from measured at the experimental reactor and somewhat lower than those gained with other codes in earlier studies.