The Innovation Process – Aiming towards Innovativeness in a Construction Company

The bachelor’s thesis concentrates on the innovativeness in the construction industry. The purpose of the thesis is to define the innovation as a concept reflected on a context of the construction industry. The second objective is to examine how the construction companies could foster and increase the innovativeness. The third objective was to find out tools, methods and phases of the front-end of the innovation process. The construction industry is often considered as a traditional and an old-fashioned manufacturing industry. The innovation or the innovativeness rarely linked to the construction industry. Productivity is a common problem in the construction industry. The construction industry needs to increase the productivity to compete in a globalized world. The productivity can be increased by the innovation. The thesis based on a literature review. The findings from the literature include a description of the innovation as a concept, the innovative culture and the innovation process as a context of the construction industry. The phases of the front-end of the innovation process were explained. Customers centered approach was taken into account in the innovation process. The required tools and methods for managing the front-end of the innovation process were illustrated. The thesis ensures the importance of the innovation facing challenges of the construction industry. Managing the front-end of the innovation is the most important aspect to stand out from the less innovative companies. To take a full advantage of the innovation companies cannot fear of changes. The innovation process requires a full support of the top management of the company. Taking into consideration a theoretical aspect of the thesis a further research is required to respond practical needs of the company. Tools and methods should be considered according the company’s needs and activities. Company’s existing state and culture should be examined before implementing the front-end of the innovation process to ensure the functionality.

Modern recovery boiler design criteria

Engineering and pricing of large recovery boiler were studied in this work. Engineering was carried out with Anita 4.2 which is an engineering program of Andritz. Key initial values were chosen with previous studies. Primary target of this work was to find out the consequences that furnace dimensions and furnace screen vertical part has to boiler pricing. Boilers that were engineered had different rate of furnace width and depth and different heat transfer plate count. Boiler balances were invariable. Boilers with different vertical screen construction were also calculated. First variation was boiler with vertical screen up to furnace roof. Other variation was to connect vertical screen to Pre-boiler generating bank inlet tubes. Total prices were calculated to engineered boilers. Pricing was sort out to heat transfers, high pressure pipes, steel structures, auxiliary equipments and civil/structural costs. This study did not notice parts of the boiler which costs do not vary with the construction of the boiler. Heat transfers had the largest share of costs. Boiler building had the most significant differences between the boilers. Furnace screen had also significant role especially to costs of the boiler building.

Innovative Culture – Searching for Innovativeness in a Construction Company

The purpose of the thesis is to study innovativeness in a context of the construction industry especially the front-end of the innovation process. The construction industry is often considered an old-fashioned manufacturing industry. Innovations and innovativeness are rarely linked to the industry. The construction industry, as well as other industries in Finland, is facing challenges such as productivity, the climate change and internationalization. The meaning of innovations is greater than ever in continuously changing markets, for standing out from competitors or increasing the competitiveness. Traditional production methods, tight building regulations, unique buildings, one-of-a-kind project organizations and highlighting the cheapest price in building contracts are particular challenges in the construction industry. The research questions of the thesis were: - What kind of factors shift the existing company culture towards innovativeness? - What are the phases of the front-end of the innovation process? - What kind of tools and methods enable managing the front-end of the innovation process? The theoretical part of the thesis bases on the literature review. The research methodology of the empirical part was the action research and qualitative approach. Empirical data was collected by the theme interviews from three companies. The results were practical methods and experiences from innovation activities of the companies. The results of the thesis can be clarified as follows: enhancement of the innovation activities requires support and commitment of the top management, innovative culture and innovation strategy. Innovativeness can be promoted by systematical methods for example collecting ideas from employees. Controlling and managing the front-end phase is essential to succeeding. Despite that managing the front-end is the most challenging part of the innovation process, development and management of that save companies’ money, resources and prevents useless investments. Further clarification and studies are needed to find out furthermore functional tools and methods to manage innovations and implementing them to the culture of the companies.

Test automation scheme for LTE core network element

Modern sophisticated telecommunication devices require even more and more comprehensive testing to ensure quality. The test case amount to ensure well enough coverage of testing has increased rapidly and this increased demand cannot be fulfilled anymore only by using manual testing. Also new agile development models require execution of all test cases with every iteration. This has lead manufactures to use test automation more than ever to achieve adequate testing coverage and quality. This thesis is separated into three parts. Evolution of cellular networks is presented at the beginning of the first part. Also software testing, test automation and the influence of development model for testing are examined in the first part. The second part describes a process which was used to implement test automation scheme for functional testing of LTE core network MME element. In implementation of the test automation scheme agile development models and Robot Framework test automation tool were used. In the third part two alternative models are presented for integrating this test automation scheme as part of a continuous integration process. As a result, the test automation scheme for functional testing was implemented. Almost all new functional level testing test cases can now be automated with this scheme. In addition, two models for integrating this scheme to be part of a wider continuous integration pipe were introduced. Also shift from usage of a traditional waterfall model to a new agile development based model in testing stated to be successful.

Finnair’s “New Silk Road” in the New Millennium: An Analysis of the Construction of Asia and of the Company

During the past century, an increasingly diverse world provided us with opportunities for intercultural communication; especially the growth of commerce at all levels from domestic to international has made the combination of the theories of intercultural communication and international business necessary. As one of the main beneficiaries in international business in recent years, companies in airline industries have developed their international market. For instance, Finnair has developed its Asian strategy which responds to the increasing market demand for flights from Europe to Asia in the new millennium. Therefore, the company manages marketing communication in a global environment and becomes a suitable case for studying the theories of intercultural communication in the context of international marketing. Finnair implemented a large number of international advertisements to promote its Asian routes, where Asia has been constructed as a number of exotic destinations. Meanwhile, the company itself as a provider of these destinations has also been constructed contrastively. Thus, this thesis aims at research how Finnair constructs Asia and the company itself in the new millennium, and how these constructions compare with the theories of intercultural communication. This research applied the theories of international marketing, intercultural communication and culture. In order to analyze the collected corpora as Finnair’s international advertisements and its annual reports in the new millennium, the methods of content analysis and discourse analysis have been used in this research. As a result, Finnair has purposefully applied the essentialist approach to intercultural communication and constructed Asia as an exotic “Other” due to the company’s market orientation. Meanwhile, Finnair has also constructed the company itself two identities based on the same approach: as an international airline provider between Europe and Asia, as well as a part of Finnish society. The combination of intercultural communication and international marketing theories, together with the combination of the methods of content analysis and discourse analysis ensure the originality of this paper.

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.

Equivalence and translation strategies in multilingual thesaurus construction

In the present dissertation, multilingual thesauri were approached as cultural products and the focus was twofold: On the empirical level the focus was placed on the translatability of certain British-English social science indexing terms into the Finnish language and culture at a concept, a term and an indexing term level. On the theoretical level the focus was placed on the aim of translation and on the concept of equivalence. In accordance with modern communicative and dynamic translation theories the interest was on the human dimension. The study is qualitative. In this study, equivalence was understood in a similar way to how dynamic, functional equivalence is commonly understood in translation studies. Translating was seen as a decision-making process, where a translator often has different kinds of possibilities to choose in order to fulfil the function of the translation. Accordingly, and as a starting point for the construction of the empirical part, the function of the source text was considered to be the same or similar to the function of the target text, that is, a functional thesaurus both in source and target context. Further, the study approached the challenges of multilingual thesaurus construction from the perspectives of semantics and pragmatics. In semantic analysis the focus was on what the words conventionally mean and in pragmatics on the ‘invisible’ meaning - or how we recognise what is meant even when it is not actually said (or written). Languages and ideas expressed by languages are created mainly in accordance with expressional needs of the surrounding culture and thesauri were considered to reflect several subcultures and consequently the discourses which represent them. The research material consisted of different kinds of potential discourses: dictionaries, database records, and thesauri, Finnish versus British social science researches, Finnish versus British indexers, simulated indexing tasks with five articles and Finnish versus British thesaurus constructors. In practice, the professional background of the two last mentioned groups was rather similar. It became even more clear that all the material types had their own characteristics, although naturally not entirely separate from each other. It is further noteworthy that the different types and origins of research material were not used to represent true comparison pairs, and that the aim of triangulation of methods and material was to gain a holistic view. The general research questions were: 1. Can differences be found between Finnish and British discourses regarding family roles as thesaurus terms, and if so, what kinds of differences and which are the implications for multilingual thesaurus construction? 2. What is the pragmatic indexing term equivalence? The first question studied how the same topic (family roles) was represented in different contexts and by different users, and further focused on how the possible differences were handled in multilingual thesaurus construction. The second question was based on findings of the previous one, and answered to the final question as to what kinds of factors should be considered when defining translation equivalence in multilingual thesaurus construction. The study used multiple cases and several data collection and analysis methods aiming at theoretical replication and complementarity. The empirical material and analysis consisted of focused interviews (with Finnish and British social scientists, thesaurus constructors and indexers), simulated indexing tasks with Finnish and British indexers, semantic component analysis of dictionary definitions and translations, coword analysis and datasets retrieved in databases, and discourse analysis of thesauri. As a terminological starting point a topic and case family roles was selected. The results were clear: 1) It was possible to identify different discourses. There also existed subdiscourses. For example within the group of social scientists the orientation to qualitative versus quantitative research had an impact on the way they reacted to the studied words and discourses, and indexers placed more emphasis on the information seekers whereas thesaurus constructors approached the construction problems from a more material based solution. The differences between the different specialist groups i.e. the social scientists, the indexers and the thesaurus constructors were often greater than between the different geo-cultural groups i.e. Finnish versus British. The differences occurred as a result of different translation aims, diverging expectations for multilingual thesauri and variety of practices. For multilingual thesaurus construction this means severe challenges. The clearly ambiguous concept of multilingual thesaurus as well as different construction and translation strategies should be considered more precisely in order to shed light on focus and equivalence types, which are clearly not self-evident. The research also revealed the close connection between the aims of multilingual thesauri and the pragmatic indexing term equivalence. 2) The pragmatic indexing term equivalence is very much context-depended. Although thesaurus term equivalence is defined and standardised in the field of library and information science (LIS), it is not understood in one established way and the current LIS tools are inadequate to provide enough analytical tools for both constructing and studying different kinds of multilingual thesauri as well as their indexing term equivalence. The tools provided in translation science were more practical and theoretical, and especially the division of different meanings of a word provided a useful tool in analysing the pragmatic equivalence, which often differs from the ideal model represented in thesaurus construction literature. The study thus showed that the variety of different discourses should be acknowledged, there is a need for operationalisation of new types of multilingual thesauri, and the factors influencing pragmatic indexing term equivalence should be discussed more precisely than is traditionally done.

Challenges of business process automation for small and medium enterprises

The aim of the study was to examine problems that small and medium enterprises are facing during the implementation of business process automation projects. Study reveals problems from the point of view of companies who are implementing automation projects and from the point of view of IT-integrators who are specifying in IT solutions for small and medium companies.

Methods for construction and analysis of computational models in systems biology : applications to the modelling of the heat shock response and the self-assembly of intermediate filaments

Systems biology is a new, emerging and rapidly developing, multidisciplinary research field that aims to study biochemical and biological systems from a holistic perspective, with the goal of providing a comprehensive, system- level understanding of cellular behaviour. In this way, it addresses one of the greatest challenges faced by contemporary biology, which is to compre- hend the function of complex biological systems. Systems biology combines various methods that originate from scientific disciplines such as molecu- lar biology, chemistry, engineering sciences, mathematics, computer science and systems theory. Systems biology, unlike “traditional” biology, focuses on high-level concepts such as: network, component, robustness, efficiency, control, regulation, hierarchical design, synchronization, concurrency, and many others. The very terminology of systems biology is “foreign” to “tra- ditional” biology, marks its drastic shift in the research paradigm and it indicates close linkage of systems biology to computer science. One of the basic tools utilized in systems biology is the mathematical modelling of life processes tightly linked to experimental practice. The stud- ies contained in this thesis revolve around a number of challenges commonly encountered in the computational modelling in systems biology. The re- search comprises of the development and application of a broad range of methods originating in the fields of computer science and mathematics for construction and analysis of computational models in systems biology. In particular, the performed research is setup in the context of two biolog- ical phenomena chosen as modelling case studies: 1) the eukaryotic heat shock response and 2) the in vitro self-assembly of intermediate filaments, one of the main constituents of the cytoskeleton. The range of presented approaches spans from heuristic, through numerical and statistical to ana- lytical methods applied in the effort to formally describe and analyse the two biological processes. We notice however, that although applied to cer- tain case studies, the presented methods are not limited to them and can be utilized in the analysis of other biological mechanisms as well as com- plex systems in general. The full range of developed and applied modelling techniques as well as model analysis methodologies constitutes a rich mod- elling framework. Moreover, the presentation of the developed methods, their application to the two case studies and the discussions concerning their potentials and limitations point to the difficulties and challenges one encounters in computational modelling of biological systems. The problems of model identifiability, model comparison, model refinement, model inte- gration and extension, choice of the proper modelling framework and level of abstraction, or the choice of the proper scope of the model run through this thesis.

Construction Plan Image Service for Mobile Devices

The forthcoming media revolution of exchanging paper documents to digital media in construction engineering requires new tools to be developed. The basis of this bachelor’s thesis was to explore the preliminary possibilities of exporting imagery from a Building Information Modelling –software to a mobile phone on a construction yard. This was done by producing a Web Service which uses the design software’s Application Programming Interface to interact with a structures model in order to produce the requested imagery. While mobile phones were found lacking as client devices, because of limited processing power and small displays, the implementation showed that the Tekla Structures API can be used to automatically produce various types of imagery. Web Services can be used to transfer this data to the client. Before further development the needs of the contractor, benefits for the building master and inspector and the full potential of the BIM-software need to be mapped out with surveys.

Automated Software Testing in Machine Automation

The problem of software (SW) defaults is becoming more and more topical because of increasing amount of the SW and its complication. The majority of these defaults are founded during the test part that consumes about 40-50% of the development efforts. Test automation allows reducing the cost of this process and increasing testing effectiveness. In the middle of 1980 the first tools for automated testing appeared and the automated process was implemented in different kinds of SW testing. In short time, it became obviously, automated testing can cause many problems such as increasing product cost, decreasing reliability and even project fail. This thesis describes automated testing process, its concept, lists main problems, and gives an algorithm for automated test tools selection. Also this work presents an overview of the main automated test tools for embedded systems.