Investigation of Oxygen Cutting Process in Solid-State Welding

The oxygen cutting is a thermal cutting process, in which metal is heated locally up to its ignition temperature and burnt off by oxygen blast. Oxygen cutting can be used to remove upset metal of a hollow bar occurred due to solid-state welding process. The main goal of this research was to establish a connection between oxygen blasts and mass of metal removed and relate findings to production to suggest improvements to the current process. This master´s thesis describes the designing and building of a test rig for oxygen blowing measurements. It also contains all executed tests and test results, which were carried out. There are different cutting parameters which were studied as well as their effect on cutting process. The oxygen cutting process, used in solid-state welding process, can be improved by the test results.

On the development of object functions and restrictions for shapes made with a turret punch press

This study presents the information required to describe the machine and device resources in the turret punch press environment which are needed for the development of the analysing method for automated production. The description of product and device resources and their interconnectedness is the starting point for method comparison the development of expenses, production planning and the performance of optimisation. The manufacturing method cannot be optimized unless the variables and their interdependence are known. Sheet metal parts in particular may then become remarkably complex, and their automatic manufacture may be difficult or, with some automatic equipment, even impossible if not know manufacturing properties. This thesis consists of three main elements, which constitute the triangulation. In the first phase of triangulation, the manufacture occuring on a turret punch press is examined in order to find the factors that affect the efficiency of production. In the second phase of triangulation, the manufacturability of products on turret punch presses is examined through a set of laboratory tests. The third phase oftriangulation involves an examination of five industry parts. The main key findings of this study are: all possible efficiency in high automation level machining cannot be achieved unless the raw materials used in production and the dependencies of the machine and tools are well known. Machine-specific manufacturability factors for turret punch presses were not taken into account in the industrial case samples. On the grounds of the performed tests and industrial case samples, the designer of a sheet metal product can directly influence the machining time, material loss, energy consumption and the number of tools required on a turret punch press by making decisions in the way presented in the hypothesis of thisstudy. The sheet metal parts to be produced can be optimised to bemanufactured on a turret punch press when the material to be used and the kinds of machine and tool options available are known. This provides in-depth knowledge of the machine and tool properties machine and tool-specifically. None of the optimisation starting points described here is a separate entity; instead, they are all connected to each other.

Customized agile development process for embedded software development

Agile software development has grown in popularity starting from the agile manifesto declared in 2001. However there is a strong belief that the agile methods are not suitable for embedded, critical or real-time software development, even though multiple studies and cases show differently. This thesis will present a custom agile process that can be used in embedded software development. The reasons for presumed unfitness of agile methods in embedded software development have mainly based on the feeling of these methods providing no real control, no strict discipline and less rigor engineering practices. One starting point is to provide a light process with disciplined approach to the embedded software development. Agile software development has gained popularity due to the fact that there are still big issues in software development as a whole. Projects fail due to schedule slips, budget surpassing or failing to meet the business needs. This does not change when talking about embedded software development. These issues are still valid, with multiple new ones rising from the quite complex and hard domain the embedded software developers work in. These issues are another starting point for this thesis. The thesis is based heavily on Feature Driven Development, a software development methodology that can be seen as a runner up to the most popular agile methodologies. The FDD as such is quite process oriented and is lacking few practices considered commonly as extremely important in agile development methodologies. In order for FDD to gain acceptance in the software development community it needs to be modified and enhanced. This thesis presents an improved custom agile process that can be used in embedded software development projects with size varying from 10 to 500 persons. This process is based on Feature Driven Development and by suitable parts to Extreme Programming, Scrum and Agile Modeling. Finally this thesis will present how the new process responds to the common issues in the embedded software development. The process of creating the new process is evaluated at the retrospective and guidelines for such process creation work are introduced. These emphasize the agility also in the process development through early and frequent deliveries and the team work needed to create suitable process.

Development of chemical looping combustion process

Chemical looping combustion (CLC) provides a promising technology to help cut carbon dioxide emissions. CLC is based on separated oxidation and reduction processes. Oxygen carrier, which is made from metal and supporting material, is in continuous recirculation between the air and fuel reactors. The CLC process does not require separation unit for carbon dioxide. The fuel reactor can produce an almost pure carbon dioxide feed which decrease costs of carbon capture and storage (CCS). The CLC method is one of the most promising ones for energy efficient carbon capture. A large amount of literature was examined for this study and from it the most promising methods and designs were chosen. These methods and designs were combined as reactor system design which was then sized during the making of this thesis. Sizing was done with a mathematical model that was further improved during the study.

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.

Intercultural bridges in teenagers' theatrical events : performing self and constructing cultural identity through a creative drama process

The overriding aim of this drama educational case study is to deepen the understanding of meaning making in a creative intercultural youth theatre process and to examine it in the context of the 10th European Children's TheatreEncounter. The research task is to give a theoretical description of some key features of a creative drama process as the basis for theory about meaning makingin physical theatre. The first task is to illuminate the culture-historical connections of the multilayered practice of the EDERED-association. The second taskis to analyse and interpret theatrical meaning making. The ethnographical research site is regarded as a theatrical event. The analysis of the theatrical eventis divided into four segments: cultural contexts, contextual theatricality, theatrical playing and playing culture. These segments are connected with four research questions: What are the cultural contexts of a creative drama process? How can the organisation of the Encounter, genres, aesthetic codes and perception ofcodes be seen to influence the lived experiences of the participants? What are some of the key phases and characteristics in a creative practice? What kind of cultural learning can be interpreted from the performance texts? The interpretative question concerns identity and community (re)construction. How are the categories, `community´ and `child´ constructed in the Encounter culture? In this drama educational case study the research material (transcribed interviews, coded questionnaire answers, participant drawings, videotaped process text and performance texts) are examined in a multi-method analysis in the meta-theoretical framework of Dewey's naturalistic pragmatism. A three-dimensional research interest through a combination of lived experiences, social contexts and cultural-aesthetical practices compared with drama-educational practices required the methodological project of cultural studies. Furthermore, the critical interpretation of cultural texts is divided into three levels of analyses which are called description, structural analysis and theoretical interpretation. Dialogic validity (truthfulness, self-reflexivity and polyvocality) is combined with contextual validity (sensitivity to social context and awareness of historicity) and with deconstructive validity (awareness of the social discourses). My research suggests that itis possible, by means of physical theatre, to construct symbolic worlds where questions about intercultural identity and multilingual community are examined and where provisional answers are constructed in social interaction.

A long way to the rainbow country : understanding the foreign market expansion process of Finnish corporations into the Republic of South Africa between 1999 and 2005

De afrikanska ekonomierna växer med nära fyra procent per år och detta är en god indikation på kontinentens växande betydelse. Under kalla kriget hade afrikanska regeringar haft ett begränsat utrymme för opportunistisk köpslående, och därmed även en marginal att positionera sig strategiskt. Alltför ofta uppmuntrade och beskyddade stormakterna diktatorer och små lokala eliter som främst ville berika sig själv. I och med att globaliseringen tog fart och USA allt mera kom att dominera globalt, började en ny era i fråga om förändringar. Trots dessa förändringar på den globala arenan, har Afrika som kontinent hamnat i bakgrunden och jämfört med andra utvecklingsländer har Afrika attraherat ett fåtal utländska investeringar. Fortfarande, speciellt i Norden, finns det lite kunskap om hur utländska företag expanderar sin affärsverksamhet på den afrikanska kontinenten. Det råder brist på empiriska undersökningar om vilken inverkan afrikanska institutionella förändringar och lokala affärsmiljöer har på internationaliseringen och på de utländska företagens affärsutvecklingsstrategier på den afrikanska kontinenten. Med denna avhandling vill jag lyfta fram ett exempel på ett land (Sydafrika), som har lyckat dra nytta av de förändringar som 1990-talet förde med sig. I denna avhandling har jag intervjuat olika personer i ledande positioner inom olika finländska företag i Finland och i Sydafrika. Avhandlingen skapar en referensram för att öka förståelse och fördjupa analys av hur en kombination av olika interna och externa resurser ökar företagens konkurrenskraft och på det sättet bidrar till en framgångsrik affärsutveckling i Afrika. De politiska och sociala aktörerna samt aktörerna inom affärslivet besitter resurser som ambitiösa företag kan dra nytta av i sin strävan att erövra de nya framgångsrika marknaderna i Afrika. Gradvis ökar finländska företag sina insatser på den afrikanska kontinenten i strävan att skapa mervärde för sina kunder. Den värdeskapande processen gör att parterna måste närma sig varandra utgående från sina egna strategiska målsättningar. Hittills har finländska företag varit intresserad att sälja till Afrika men inte intresserad att köpa därifrån. Förutom de praktiska råden till olika företag, föreslår avhandlingen hur den finska staten och den sydafrikanska staten kunde agera tillsammans för att främja ömsesidigt handelsutbyte.

Tilaus-toimitus-laskutusprosessin levittäminen kansainväliseen ympäristöön (Case: Itella Oyj)

Tilaus-toimitus-laskutusprosessi on liiketoimintaprosessi, joka ylittää organisaatiorajat ulottuen aina loppuasiakkaalta toimittajaan asti. Tilaus-toimitus-laskutusprosessia, kuten muitakin liiketoimintaprosesseja, voidaan tehostaa sähköisten työkalujen avulla. Automatisoinnin avulla prosessi nopeutuu ja aiemmin prosessiin käytettyjä resursseja voidaan vapauttaa muuhun yritystoimintaan. Kun tilaus-toimitus-laskutusprosessi viedään kotimaan rajojen ulkopuolelle uuteen liiketoimintaympäristöön, sen käyttöönotossa pitää huomioida kansainvälisen ympäristön prosessille asettamat vaatimukset. Ympäristötekijöiden lisäksi prosessin käyttöönotossa on otettava huomioon yrityksen sisäiset tekijät, ja viedä prosessi hallitusti yrityksen työntekijöiden käyttöön. Tässä tutkielmassa tutkittiin tilaus-toimitus-laskutusprosessin levittämistä kansainväliseen ympäristöön. Aihetta käsiteltiin liiketoimintaprosessien, kansainvälisen liiketoimintaympäristön ja muutosjohtamisen teorian sekä case -yritystä käsitelleen empiriaosan pohjalta. Tutkielma tehtiin kvalitatiivisena tutkimuksena. Tutkielmassa havaittiin, että tilaus-toimitus-laskutusprosessin vieminen kansainväliseen ympäristöön sisältää mahdollisuuksien lisäksi useita haasteita. Haasteista suurimpana on saada prosessista riittävän houkutteleva sekä saada niin yritysjohto kuin työntekijät sitoutumaan yrityksen yhteisiin toimintamalleihin.

Implementing a change management process into enterprise performance management applications

Information technology service management has become an important task in delivering information for management purposes. Especially applications containing information for decision making need to be agile and ready for changes. The aim of this study was to find a solution for successful implementation of an ITIL based change management process to enterprise resource management applications managed by the target organization. Literature review of the study introduces frameworks that are important for success of an IT project implementation. In addition an overview of ITIL and ITIL based change management process is presented. The result of the study was a framework of actions that are needed to accomplish to be successful in change management process implementation. It was noticed that defining success criterions, critical success factors and success measures is important for achieving the goals of the implementation project.

The notion of process in nonstandard theory and in Whiteheadian metaphysics

In this article I intend to show that certain aspects of A.N. Whitehead's philosophy of organism and especially his epochal theory of time, as mainly exposed in his well-known work Process and Reality, can serve in clarify the underlying assumptions that shape nonstandard mathematical theories as such and also as metatheories of quantum mechanics. Concerning the latter issue, I point to an already significant research on nonstandard versions of quantum mechanics; two of these approaches are chosen to be critically presented in relation to the scope of this work. The main point of the paper is that, insofar as we can refer a nonstandard mathematical entity to a kind of axiomatical formalization essentially 'codifying' an underlying mental process indescribable as such by analytic means, we can possibly apply certain principles of Whitehead's metaphysical scheme focused on the key notion of process which is generally conceived as the becoming of actual entities. This is done in the sense of a unifying approach to provide an interpretation of nonstandard mathematical theories as such and also, in their metatheoretical status, as a formalization of the empirical-experimental context of quantum mechanics.

The Process of Greening Cycle as Method of Operative Environmental

The structural change of society from product-based business to service- and further to need-based business has caused the fact that work for environmental issues has spread from conventional factories and environmentally harmful production to concern services and offices as well. Almost every company has an office, so a relatively small environmental burden caused by an individual office grows remarkable already at the state level and globally even more. Motivation to work for environmental issues in an individual office could be challenging even without the fact that wasted environmental impacts bound also wasted costs. Besides cost savings, a concretely greener image of a company has its value in the B2Cas well as in the B2B-field. Consumers and clients are more and more conscious of environmental issues and demand concrete actions instead of speeches, good thoughts and meaningless certifications. Internal work for environmental issues at a strategy level is not sufficient, so operational environmental management is needed for changing old practices. This research is about the effects of operative environmental management on the greening process of an office-based business. The research is outlined to concern the operative work in the office including field sales. Target was to concretely lower the environmental impacts of Lyreco Finland and to find cost savings directly by changing the operative practices in the office and also indirectly by affecting the level of environmental knowledge of the personnel. During the greening process, the aim was also to create concrete arguments for marketing as well. The circle of greening process, which was especially created for this diploma work, was used as a method. The circle divides a year to themes and sections separated by factors of environmental impacts. Separation is based on Brett Wills’ thoughts of seven green wastes (Wills, Brett. The Green Intensions. 2009) and follows it uneasily. The circle aimed at ensuring evolutionary growth of knowledge instead of being revolutionary in the changing process. Committing personnel to the process from its start by asking ideas from them and giving them clear directions was an important part of the research of operative management. Because of working from distance, communication with personnel was operated by frequent training days and weekly greening notes via emails and intranet. Also availability for communication was an important task because of the telecommuting. Research results of this work show that operative environmental management in an officebased business today is mostly management of change. When the strategic environmental friendliness is taken into a concrete level, the most important individual factor is motivating the operating personnel. Research shows that evolutionary change is found being an efficient way to make a change. Also understanding one´s own impact on the environmental burden and on the whole greening process clearly motivates the personnel. Results show that in the operative realization of the greening process, clear directions of new working practices, being as concrete as possible, and committing personnel to follow them make the process more effective. The operative environmental management and the cycle of the greening process decrease the environmental burden and save costs. The concrete results could be used as believable arguments in marketing and therefore exploited in communication with interest groups. Commitment of the management is also one of the key factors of success in the greening process. In this research, changes in the business field by a company trade took the focus of the management away from the greening process and made the process more inefficient by decreasing the amount of training days. The circle of greening process will be used as a tool in the future, as well, and therefore it will help observe environmental impacts of a company and increase sustainable development. Commitment of management to the evolutionary environmental work helps the operating personnel lower environmental impacts, decrease costs and build a concretely greener image.

Immateriellt kulturarv som begrepp och process : folkloristiska perspektiv på kulturarv i Finlands svenskbygder med folkmusik som exempel

Cultural heritage has become something of an in-word in recent times. Intangible cultural heritage, however, is a category that has received relatively little attention. This folkloristic study focuses on intangible cultural heritage as concept and as process. Folkloristics as a scholarly branch emphasizes non-material culture. Consequently, there is a big potential in bringing existing knowledge of folklore together with current scholarly theories concerning cultural heritage in order to expand the understanding of intangible cultural heritage. In this thesis cultural heritage is regarded as a symbolic construct, which is spoken of and discussed in specific ways. The study of intangible cultural heritage (Swe. kulturarv) as concept focuses on this area. For a cultural component to be experienced as intangible cultural heritage it is, however, not enough to discuss it in those terms. Instead, cultural heritage status needs to be acted out during lengthy processes. This is demonstrated by the study of intangible cultural heritage as process. As a consequence performativity appears crucial to an understanding of cultural heritage – when a sufficient number of people speak and act as if a cultural component has a special status, it will also be perceived as cultural heritage. In this dissertation intangible cultural heritage is studied through cultural analysis, more specifically through discourse analysis. The usage of the concept intangible cultural heritage within cultural organizations, in scholarly use and in the Swedish-speaking press in Finland is examined. Traditional music in the Swedish-speaking districts of Finland is used as a case study of intangible cultural heritage as process. The examination concerns how traditional music, an intangible cultural component, has been discussed, transformed, standardized and objectified in a cultural heritage process. Cultural heritage is generally used as a token of value so that certain cultural components, both intangible and tangible, which are discussed in terms of cultural heritage are perceived to be valuable and should therefore be safeguarded. Intangible cultural heritage depends on performance, that is practitioners use their bodies to act out their traditional knowledge through song, handicraft, storytelling and so on. Intangible cultural components can be transmitted to other individuals in a performance situation, and they can also be documented. In Finland documentation and subsequent filing in archives have been associated with safeguarding of intangible cultural heritage. If the aim of safeguarding is to uphold traditional practices, which is the case for among others UNESCO’s programs aimed at intangible cultural heritage, other efforts are called for: forms of safeguarding that support performance and transmission.

Integrating environmental aspects into product development process

Various regulations and customer requirements have made it necessary for Vacon Oyj to pay more attention to the environmental aspects in its processes. The main purpose of this master’s thesis project is to define how environmental aspects could be integrated into Vacon’s product development process. The aim is to find out the most important environmental aspects for the company to address, to examine how these could be taken into account during the development process and to map the critical factors that need consideration in order to ensure the successful integration of environmental aspects into the design process. Based on the customer requirements and evolving regulations the most important aspects for Vacon include minimizing the amount of harmful substances, improving the recyclability and energy efficiency of the product and moreover providing meaningful information related to these aspects. To tackle these issues, a new DfE process was developed, tasks in each phase were described and responsibilities were indicated. To ensure the success of the DfE process, management commitment, support of other processes and significant improvements in ways the information is managed are required. The developers should be provided with training and support. Environmental expertise and knowledge in-house should be developed and establishing meaningful environmental indicators is suggested.

The effect of wood supply and bleaching process on pulp brightness stability

One hundred different 5.5-year-old Eucalyptus grandis x Eucalyptus urophylla wood clones were cooked to kappa number 15-17.5 and the resulting kraft pulps oxygen-delignified to kappa 9.5-11.5 under fixed conditions, except for chemical charges. Thirteen samples showing large variations in effective alkali requirement, pulp yield and O-stage efficiency and selectivity were selected for brightness reversion studies. These samples were bleached to 90-91% ISO by DEDD and DEDP sequences and their brightness stability and chemical characteristics determined. Heat reversion of the eucalyptus kraft pulps was strongly influenced by the wood supply, with brightness loss varying in the range of 2.1-3.6 and 0.8-1.7 %ISO for ODEDD and ODEDP bleached pulps, respectively. Pulps bleached by the ODEDP sequence showed reversion values 1.3-1.9 % ISO lower than those bleached by the ODEDD sequence. Pulp carbonyl content decreased by 35-40% during the final peroxide bleaching stage. Carbonyl and carboxyl groups correlated positively with brightness reversion, as did permanganate number and acid soluble lignin. Pulp final viscosity and metal and DCM extractives contents showed no significant correlation with brightness reversion. Pulping, oxygen delignification and ECF bleaching performances also showed no correlation with brightness reversion.