Modeling of Pressurizer Using APROS and TRACE Thermal Hydraulic Codes

Diplomityön tavoitteena on paineistimen yksityiskohtainen mallintaminen APROS- ja TRACE- termohydrauliikkaohjelmistoja käyttäen. Rakennetut paineistinmallit testattiin vertaamalla laskentatuloksia paineistimen täyttymistä, tyhjentymistä ja ruiskutusta käsittelevistä erilliskokeista saatuun mittausdataan. Tutkimuksen päätavoitteena on APROSin paineistinmallin validoiminen käyttäen vertailuaineistona PACTEL ATWS-koesarjan sopivia paineistinkokeita sekä MIT Pressurizer- ja Neptunus- erilliskokeita. Lisäksi rakennettiin malli Loviisan ydinvoimalaitoksen paineistimesta, jota käytettiin turbiinitrippitransientin simulointiin tarkoituksena selvittää mahdolliset voimalaitoksen ja koelaitteistojen mittakaavaerosta johtuvat vaikutukset APROSin paineistinlaskentaan. Kokeiden simuloinnissa testattiin erilaisia noodituksia ja mallinnusvaihtoehtoja, kuten entalpian ensimmäisen ja toisen kertaluvun diskretisointia, ja APROSin sekä TRACEn antamia tuloksia vertailtiin kattavasti toisiinsa. APROSin paineistinmallin lämmönsiirtokorrelaatioissa havaittiin merkittävä puute ja laskentatuloksiin saatiin huomattava parannus ottamalla käyttöön uusi seinämälauhtumismalli. Työssä tehdyt TRACE-simulaatiot ovat osa United States Nuclear Regulatory Commissionin kansainvälistä CAMP-koodinkehitys-ja validointiohjelmaa.

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.

Effect of Mechanical and Geometric Mismatching on Fatigue and Damage of Welded Joints

The future of high technology welded constructions will be characterised by higher strength materials and improved weld quality with respect to fatigue resistance. The expected implementation of high quality high strength steel welds will require that more attention be given to the issues of crack initiation and mechanical mismatching. Experiments and finite element analyses were performed within the framework of continuum damage mechanics to investigate the effect of mismatching of welded joints on void nucleation and coalescence during monotonic loading. It was found that the damage of undermatched joints mainly occurred in the sandwich layer and the damageresistance of the joints decreases with the decrease of the sandwich layer width. The damage of over-matched joints mainly occurred in the base metal adjacent to the sandwich layer and the damage resistance of the joints increases with thedecrease of the sandwich layer width. The mechanisms of the initiation of the micro voids/cracks were found to be cracking of the inclusions or the embrittled second phase, and the debonding of the inclusions from the matrix. Experimental fatigue crack growth rate testing showed that the fatigue life of under-matched central crack panel specimens is longer than that of over-matched and even-matched specimens. Further investigation by the elastic-plastic finite element analysis indicated that fatigue crack closure, which originated from the inhomogeneousyielding adjacent to the crack tip, played an important role in the fatigue crack propagation. The applicability of the J integral concept to the mismatched specimens with crack extension under cyclic loading was assessed. The concept of fatigue class used by the International Institute of Welding was introduced in the parametric numerical analysis of several welded joints. The effect of weld geometry and load condition on fatigue strength of ferrite-pearlite steel joints was systematically evaluated based on linear elastic fracture mechanics. Joint types included lap joints, angle joints and butt joints. Various combinations of the tensile and bending loads were considered during the evaluation with the emphasis focused on the existence of both root and toe cracks. For a lap joint with asmall lack-of-penetration, a reasonably large weld leg and smaller flank angle were recommended for engineering practice in order to achieve higher fatigue strength. It was found that the fatigue strength of the angle joint depended strongly on the location and orientation of the preexisting crack-like welding defects, even if the joint was welded with full penetration. It is commonly believed that the double sided butt welds can have significantly higher fatigue strength than that of a single sided welds, but fatigue crack initiation and propagation can originate from the weld root if the welding procedure results in a partial penetration. It is clearly shown that the fatigue strength of the butt joint could be improved remarkably by ensuring full penetration. Nevertheless, increasing the fatigue strength of a butt joint by increasing the size of the weld is an uneconomical alternative.

Many valued algebraic structures as measures of comparison

This thesis studies the properties and usability of operators called t-norms, t-conorms, uninorms, as well as many valued implications and equivalences. Into these operators, weights and a generalized mean are embedded for aggregation, and they are used for comparison tasks and for this reason they are referred to as comparison measures. The thesis illustrates how these operators can be weighted with a differential evolution and aggregated with a generalized mean, and the kinds of measures of comparison that can be achieved from this procedure. New operators suitable for comparison measures are suggested. These operators are combination measures based on the use of t-norms and t-conorms, the generalized 3_-uninorm and pseudo equivalence measures based on S-type implications. The empirical part of this thesis demonstrates how these new comparison measures work in the field of classification, for example, in the classification of medical data. The second application area is from the field of sports medicine and it represents an expert system for defining an athlete's aerobic and anaerobic thresholds. The core of this thesis offers definitions for comparison measures and illustrates that there is no actual difference in the results achieved in comparison tasks, by the use of comparison measures based on distance, versus comparison measures based on many valued logical structures. The approach has been highly practical in this thesis and all usage of the measures has been validated mainly by practical testing. In general, many different types of operators suitable for comparison tasks have been presented in fuzzy logic literature and there has been little or no experimental work with these operators.

Fuzzy subgroups, algebraic and topological points of view and complex analysis

Fuzzy subsets and fuzzy subgroups are basic concepts in fuzzy mathematics. We shall concentrate on fuzzy subgroups dealing with some of their algebraic, topological and complex analytical properties. Explorations are theoretical belonging to pure mathematics. One of our ideas is to show how widely fuzzy subgroups can be used in mathematics, which brings out the wealth of this concept. In complex analysis we focus on Möbius transformations, combining them with fuzzy subgroups in the algebraic and topological sense. We also survey MV spaces with or without a link to fuzzy subgroups. Spectral space is known in MV algebra. We are interested in its topological properties in MV-semilinear space. Later on, we shall study MV algebras in connection with Riemann surfaces. In fact, the Riemann surface as a concept belongs to complex analysis. On the other hand, Möbius transformations form a part of the theory of Riemann surfaces. In general, this work gives a good understanding how it is possible to fit together different fields of mathematics.

Space–Time Block Codes and the Complexity of Sphere Decoding

In wireless communications the transmitted signals may be affected by noise. The receiver must decode the received message, which can be mathematically modelled as a search for the closest lattice point to a given vector. This problem is known to be NP-hard in general, but for communications applications there exist algorithms that, for a certain range of system parameters, offer polynomial expected complexity. The purpose of the thesis is to study the sphere decoding algorithm introduced in the article On Maximum-Likelihood Detection and the Search for the Closest Lattice Point, which was published by M.O. Damen, H. El Gamal and G. Caire in 2003. We concentrate especially on its computational complexity when used in space–time coding. Computer simulations are used to study how different system parameters affect the computational complexity of the algorithm. The aim is to find ways to improve the algorithm from the complexity point of view. The main contribution of the thesis is the construction of two new modifications to the sphere decoding algorithm, which are shown to perform faster than the original algorithm within a range of system parameters.

Compliance of crane electrics with electrical safety standards and codes

Master’s thesis focuses on the questions of crane electrics compliance with electrical safety standards. Overview and short comparison of the world’s effective standards in the field is made in order to understand their demands. Basic concepts of a proper electrical circuit design are presented. Characteristics, construction and operation principles of overcurrent protective devices are studied in details. Electrics of the basic crane is designed according to the assumed customer’s demands, compliance with the requirements of the standards is checked. Solutions to achieve better compliance in some issues are proposed. Accent is made on the National Electrical Code (NEC) and standards by Underwriters Laboratories (UL) latests demands. Requirements of the International Electrotechnical Commission (IEC) are also taken into account.

Nursing Ethics Education in Finland from the Perspective of Codes of Ethics

The purpose of this study was to analyze nursing ethics education from the perspective of nurses’ codes of ethics in the basic nursing education programmes in polytechnics in Finland with the following research questions: What is known about nurses’ codes in practice and education, what contents of the codes are taught, what teaching and evaluation methods are used, which demographic variables are associated with the teaching, what is nurse educators’ adequacy of knowledge to teach the codes and nursing students’ knowledge of and ability to apply the codes, and what are participants’ opinions of the need and applicability of the codes, and their importance in nursing ethics education. The aim of the study was to identify strengths and possible problem areas in teaching of the codes and nursing ethics in general. The knowledge gained from this study can be used for developing nursing ethics curricula and teaching of ethics in theory and practice. The data collection was targeted to all polytechnics in Finland providing basic nursing education (i.e. Bachelor of Health Care). The target groups were all nurse educators teaching ethics and all graduating nursing students in the academic year of 2006. A total of 183 educators and 214 students from 24 polytechnics participated. The data was collected using a structured questionnaire with four open-ended questions, designed for this study. The data was analysed by SPSS (14.0) and the open-ended questions by inductive content analysis. Descriptive statistics were used to summarize the data. Inferential statistics were used to estimate the differences between the participant groups. The reliability of the questionnaire was estimated with Cronbach’s coefficient alpha. The literature review revealed that empirical research on the codes was scarce, and minimal in the area of education. Teaching of nurses’ codes themselves and the embedded ethical concepts was extensive, teaching of the functions of the codes and related laws and agreements was moderate, but teaching of the codes of other health care professions was modest. Issues related to the nurse-patient relationship were emphasised. Wider social dimensions of the codes were less emphasized. Educators’ and students’ descriptions of teaching emphasized mainly the same teaching contents, but there were statistically significant differences between the groups in that educators assessed their teaching to be more extensive than what students had perceived it had been. T he use of teaching and evaluation methods was rather narrow and conventional. However, educators’ and students’ descriptions of the used methods differed statistically significantly. Students’ knowledge of the codes and their ability to apply them in practice was assessed as mediocre by educators and by students themselves. Most educators assessed their own knowledge of the codes as adequate to teach the codes, as did most of the students. Educators who regarded their knowledge as adequate taught the codes more extensively than those who assessed their knowledge as less adequate. Also students who assessed their educators’ knowledge as adequate perceived the teaching of the codes to be more extensive. Otherwise educators’ and students’ demographic variables had little association with their descriptions of the teaching. According to the participants, nurses need their own codes, and they are also regarded as applicable in practice. The codes are an important element in nursing ethics education, but their teaching needs development. Further research should focus on the organization of ethics teaching in the curricula, the teaching process, and on the evaluation of the effectiveness of ethics education and on educators’ competence. Also the meaning and functions of the codes at all levels of nursing deserve attention. More versatile use of research methods would be beneficial in gaining new knowledge.

Supplier codes of conduct: Acting responsibly in global supply chains

Nowadays the Western companies are considered responsible for the social and environmental issues in their whole supply chains. To influence the practices of their suppliers the Western companies have created suppliers codes of conduct (SCCs) which express their requirements. Suppliers’ compliance with the SCCs is checked through audits. The purpose of this thesis is to analyze SCCs as a means for Western companies to ensure socially and environmentally responsible actions in their global supply chains, and the sub-objectives are to find out 1) how well do the SCCs and their auditing work at suppliers’ production sites and 2) how can possible problems related to SCCs and their auditing be solved. This is a qualitative research carried out in the form of a case study with two case companies. In this study both primary and secondary data is used. The primary data is collected in the form of interviews of the case company representatives and three external experts. Based on a theoretical framework of previous research in the fields of corporate social responsibility and supply chain management, a model with eleven factors, which influence the success of SCC implementation and the auditing of SCC –implementation, is drafted. Also several different best-practices to help to solve and avoid possible problems related to SCC -implementation and auditing have been identified from previous research. Based on the findings of this study the theoretical model has been updated adding two new influential factors. It seems that how well the SCC and its auditing work at suppliers’ production sites depends on the joint effect of thirteen influential factors: buyer’s purchasing policy, supplier’s motivation, buyer’s commitment, the solving of agency problems, the contents of the SCC, supplier’s role and the buyer-supplier –relationship, complexity of supply chain, the limitations of the smaller buyers, cooperation through a business association or multi-stakeholder system, the role of supplier’s employees, SCC –related communication and supplier’s understanding, cheating in audits and the auditors. The possible problems related to SCCs and their auditing can be solved by adopting best-practices. Nine of the theoretical best-practices stand out from the findings of this study: 1) two-way communication and collecting feedback from suppliers, 2) the philosophy of continuous improvement, 3) long-term business relationships with the supplier, 4) informing the supplier about the advantages of SCC –compliance, 5) rewarding code-compliant suppliers, 6) building collaborative, good buyer-supplier relationships, 7) supporting and advising the supplier, 8) joining a business association or multi-stakeholder system and 9) interviewing supplier’s employees as a part of the audits.

On Distributed Storage Codes

Distributed storage systems are studied. The interest in such system has become relatively wide due to the increasing amount of information needed to be stored in data centers or different kinds of cloud systems. There are many kinds of solutions for storing the information into distributed devices regarding the needs of the system designer. This thesis studies the questions of designing such storage systems and also fundamental limits of such systems. Namely, the subjects of interest of this thesis include heterogeneous distributed storage systems, distributed storage systems with the exact repair property, and locally repairable codes. For distributed storage systems with either functional or exact repair, capacity results are proved. In the case of locally repairable codes, the minimum distance is studied. Constructions for exact-repairing codes between minimum bandwidth regeneration (MBR) and minimum storage regeneration (MSR) points are given. These codes exceed the time-sharing line of the extremal points in many cases. Other properties of exact-regenerating codes are also studied. For the heterogeneous setup, the main result is that the capacity of such systems is always smaller than or equal to the capacity of a homogeneous system with symmetric repair with average node size and average repair bandwidth. A randomized construction for a locally repairable code with good minimum distance is given. It is shown that a random linear code of certain natural type has a good minimum distance with high probability. Other properties of locally repairable codes are also studied.