Influence of Institutional Environment on Companies’ Innovation Activity

At the time of moving towards knowledge-based economy, countries pay much attention to innovations by making them a central issue in countries’ innovation policy development. Innovations are influenced much by the institutional environment, in which they are created. That is why exploration of National Innovation Systems, as an important part of such an environment, became central in works of different researchers all over the world.

Modeling and developing a customer-oriented configuration process in a mass customization environment

In this thesis the main objective is to examine and model configuration system and related processes. When and where configuration information is created in product development process and how it is utilized in order-delivery process? These two processes are the essential part of the whole configuration system from the information point of view. Empirical part of the work was done as a constructive research inside a company that follows a mass customization approach. Data models and documentation are created for different development stages of the configuration system. A base data model already existed for new structures and relations between these structures. This model was used as the basis for the later data modeling work. Data models include different data structures, their key objects and attributes, and relations between. Representation of configuration rules for the to-be configuration system was defined as one of the key focus point. Further, it is examined how the customer needs and requirements information can be integrated into the product development process. Requirements hierarchy and classification system is presented. It is shown how individual requirement specifications can be connected for physical design structure via features by developing the existing base data model further.

Distribution development in global business environment

The purpose of this master’s thesis was to analyze a case company’s distribution and its elements. With different distribution structure options a customer can be served with different ways. However, cost elements and service elements create different trade-offs. In this work the case company’s distribution’s present state was analyzed and conclusions were made. Based on these conclusions different alternatives for distribution were created. These different alternatives were analyzed through simulations and with more traditional calculations to compose the total operative costs of each alternative. Also other aspects were considered, such as required organizational changes and the possible better customer service. With the suggested 3-stock distribution structure shorter delivery times and possibly more punctual deliveries for products kept in stock could be achieved with the same operative costs as in current direct delivery model. Also, similar benefits could be achieved with other products with the 3-stock model.

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.

Assessment of endocrine disrupting activities in the aquatic environment

Hormonstörande ämnen är syntetiska eller naturliga ämnen som stör organismers hormonsystem och bidrar till könsförvirring och sterilitet. Sådana ämnen kommer i ökande takt ut i vattenmiljön genom rester av läkemedel, bekämpningsmedel och industriprodukter. Eftersom det finns många likheter mellan hormonsystemen hos människan och övriga ryggradsdjur kan till exempel fiskar användas som modellsystem för att underöka detta problem. I tidigare undersökningar har man funnit hormonella störningar, bl.a. feminisering och maskulinisering hos fiskar som utsatts för avfallsvatten från kommunala reningsverk eller avfallsvatten från pappersindustrin. Målet med denna avhandling var att undersöka om renat avfallsvatten från kommunala reningsverk längs Finlands kust innehåller hormonstörande ämnen i sådana mängder att de kan försorsaka hormonstörande effekter på fisk. Målet i denna avhandling var också att utveckla cellulära testsystem baserade på fiskceller, eftersom behovet av tillförlitliga och kostnadseffektiva cellbaserade tester för att underlätta riskbedömningen av hormonstörande ämnen är mycket stort för tillfället. Som testsystem har storspiggen använts, som besitter flera användbara biomarkörer för att mäta hormonstörande ämnens påverkan. Resultaten tyder på att problemen med hormonstörande påverkan på fisk inte är lika utbredda i Finland som i många andra europeiska länder. Detta beror troligtvis på att finska reningsverk har effektiva reningstekniker som reducerar mängden hormonstörande ämnen, eller på att utspädningen av avloppen i recipienterna är större än i många andra länder. Dock kan problemen inte helt uteslutas eftersom vissa feminiserande (estrogena) effekter kunde observeras hos fisken i de undersökta recipienterna utanför kommunala reningsverk. I kontrollerade laboratorieförsök där storpsiggar exponerades för kommunalt avloppsvatten uppmättes även här effekter som tyder på förekomst av estrogener i avloppsvattnet. De cell-baserade testsystemen klarade av att förutspå hormonella effekter hos hel fisk och kan därför vara mycket användbara i fortsatta studier av hormonstörande ämnens verkningsmekanismer i preliminära toxicitetsbedömningar.

Ja vet int va de heter på svenska : interaktion mellan tvåspråkiga elever och deras lärare i en enspråkig klassrumsdiskurs

This is a study about language and learning aspects in the interaction between pupils and teachers in classrooms, where the majority of the pupils are bilingual. The aim of the dissertation is to develop the understanding of interactional learning possibilities and constraints in relation to a bilingual context. Language related learning is used as an overall conception which covers learning related to classroom discourse, language and subject. The empirical study has been made in a Swedish speaking school in a strongly Finnish dominated environment in the south of Finland. In the material, mainly consisting of video recorded lessons in forms one to three, the interaction between the pupils and the teachers is analysed. Building on a social constructionist perspective, where learning is regarded as a social phenomenon, situated and visible in changing participation, sequences where pupils or teachers make the language relevant are emphasised. The sequences are analysed in line with the conversation analytic (CA) approach. A fundamental result is an understanding of a monolingual classroom discourse, jointly constructed by teachers and pupils and visible in the pupils' interactionally problematized code-switching. This means that the pupils are not victims of a top-driven language policy; they are active co-constructors of the monolingual discourse. Through different repair initiations the pupils are doing interactional work in positioning themselves correctly in the monolingual discourse, which they simultaneously maintain. This work has a price in relation to time, knowledge and exactness. The pupils' problematized code-switching is often directly and shortly repaired by the teachers. This kind of repair promotes the pupils' participation and is not, as opposed to the results of research in everyday talk, dispreferred in pupil-teacher talk. When the pupils use the possibility to, in a comparatively easy way, participate and thus express their knowledge through codeswitching, and simultaneously talk a monolingual discourse into being, the teacher can, through direct repair, show an understanding in regard to the content, facilitate language learning and simultaneously confirm the pupils as competent speakers and bilingual individuals. Furthermore, significant results show that the monolingual norm has a function of a contrasting background which gives the pupils and the teachers a possibility to use language alternation as a functional and meaningful activity. The pupils use codeswitching as a way of protesting or expressing non-participation in the classroom talk. By making the pupils' bilingualism relevant, the teachers express understanding and empathy and encourage the pupils' participation in the classroom talk. Bilingualism is a nonpreferred, but functioning, resource in the interaction between pupils and teachers.

Accessing Research Results in the Open Information Environment

Presentation at the "Tutkimus vapaaksi verkkoon!" seminar in Helsinki, January 25, 2011

Information literacy as a social phenomenon in the nursing environment

Abstrakti

Learning Robot Environment through Simulation

Traditionally simulators have been used extensively in robotics to develop robotic systems without the need to build expensive hardware. However, simulators can be also be used as a “memory”for a robot. This allows the robot to try out actions in simulation before executing them for real. The key obstacle to this approach is an uncertainty of knowledge about the environment. The goal of the Master’s Thesis work was to develop a method, which allows updating the simulation model based on actual measurements to achieve a success of the planned task. OpenRAVE was chosen as an experimental simulation environment on planning,trial and update stages. Steepest Descent algorithm in conjunction with Golden Section search procedure form the principle part of optimization process. During experiments, the properties of the proposed method, such as sensitivity to different parameters, including gradient and error function, were examined. The limitations of the approach were established, based on analyzing the regions of convergence.

Modelling of combustion and sorbent reactions in three-dimensional flow environment of a circulating fluidized bed furnace

This thesis presents a three-dimensional, semi-empirical, steady state model for simulating the combustion, gasification, and formation of emissions in circulating fluidized bed (CFB) processes. In a large-scale CFB furnace, the local feeding of fuel, air, and other input materials, as well as the limited mixing rate of different reactants produce inhomogeneous process conditions. To simulate the real conditions, the furnace should be modelled three-dimensionally or the three-dimensional effects should be taken into account. The only available methods for simulating the large CFB furnaces three-dimensionally are semi-empirical models, which apply a relatively coarse calculation mesh and a combination of fundamental conservation equations, theoretical models and empirical correlations. The number of such models is extremely small. The main objective of this work was to achieve a model which can be applied to calculating industrial scale CFB boilers and which can simulate all the essential sub-phenomena: fluid dynamics, reactions, the attrition of particles, and heat transfer. The core of the work was to develop the model frame and the required sub-models for determining the combustion and sorbent reactions. The objective was reached, and the developed model was successfully used for studying various industrial scale CFB boilers combusting different types of fuel. The model for sorbent reactions, which includes the main reactions for calcitic limestones, was applied for studying the new possible phenomena occurring in the oxygen-fired combustion. The presented combustion and sorbent models and principles can be utilized in other model approaches as well, including other empirical and semi-empirical model approaches, and CFD based simulations. The main achievement is the overall model frame which can be utilized for the further development and testing of new sub-models and theories, and for concentrating the knowledge gathered from the experimental work carried out at bench scale, pilot scale and industrial scale apparatus, and from the computational work performed by other modelling methods.

NATURAL DURABILITY OF Eucalyptus dunnii Maiden, Eucalyptus robusta Sm., Eucalyptus tereticornis Sm. AND Hovenia dulcis Thunb. WOOD IN FIELD AND FOREST ENVIRONMENT

AB STRACT This study aimed at evaluating the natural durability of Eucalyptus dunnii, Eucalyptus robusta, Eucalyptus tereticornis and Hovenia dulcis woods submitted to a deterioration test in two environments, field and forest. The test samples were buried until half of their length (150 mm). Evaluations were carried out each 45 days, totalizing a 405-day period, with three-repetition withdrawal of each species for environment, totalizing nine samples from each environment, making up 24 test samples for evaluation. After percentage calculations of mass loss and resistance degree classification, the deterioration index was adopted for decomposition evaluation and fungal decay potential determination of test samples. The study has been carried out in completely randomized design (CRD), evaluated through analysis of variance (ANOVA) with subsequent comparison of means by Turkey' s test, in a 5%-level of probability of error, along with regression analysis. Eucalyptus tereticornis wood presented lesser mass loss in both environments. Hovenia dulcis presented lesser deterioration probability in both environments. Forest environment test samples presented greater mass loss percentages and lesser deterioration index.

Test Campaign Parameter Editor for a Graphical TTCN-3 Development Environment

This paper presents the design for a graphical parameter editor for Testing and Test Control Notation 3 (TTCN-3) test suites. This work was done in the context of OpenTTCN IDE, a TTCN-3 development environment built on top of the Eclipse platform. The design presented relies on an additional parameter editing tab added to the launch configurations for test campaigns. This parameter editing tab shows the list of editable parameters and allows opening editing components for the different parameters. Each TTCN-3 primitive type will have a specific editing component providing tools to ease modification of values of that type.