Numbers and Languages

The thesis presents results obtained during the authors PhD-studies. First systems of language equations of a simple form consisting of just two equations are proved to be computationally universal. These are systems over unary alphabet, that are seen as systems of equations over natural numbers. The systems contain only an equation X+A=B and an equation X+X+C=X+X+D, where A, B, C and D are eventually periodic constants. It is proved that for every recursive set S there exists natural numbers p and d, and eventually periodic sets A, B, C and D such that a number n is in S if and only if np+d is in the unique solution of the abovementioned system of two equations, so all recursive sets can be represented in an encoded form. It is also proved that all recursive sets cannot be represented as they are, so the encoding is really needed. Furthermore, it is proved that the family of languages generated by Boolean grammars is closed under injective gsm-mappings and inverse gsm-mappings. The arguments apply also for the families of unambiguous Boolean languages, conjunctive languages and unambiguous languages. Finally, characterizations for morphisims preserving subfamilies of context-free languages are presented. It is shown that the families of deterministic and LL context-free languages are closed under codes if and only if they are of bounded deciphering delay. These families are also closed under non-codes, if they map every letter into a submonoid generated by a single word. The family of unambiguous context-free languages is closed under all codes and under the same non-codes as the families of deterministic and LL context-free languages.

Exploring Customer-Oriented Service Offerings in Public Health: Developing Integrated Health Care Services for Rural Areas

Väestön ikääntyminen pakottaa yhteiskunnan ja julkisen terveydenhuollon muutoksiin. Jotta ikääntyvien ihmisten kotona asuminen voidaan mahdollistaa, palvelujärjestelmän pitää mukautua muuttuvaan tilanteeseen. Tämän diplomityön tarkoituksena on tunnistaa asiakaslähtöisiä lähellä asiakasta tarjottavia palvelukokonaisuuksia. Tutkimuksen teoreettinen viitekehys muodostuu asiakasarvon luomisesta ja palvelutarjoamista. Tarkasteluryhmänä on Etelä-Karjalan alueen 60–90-vuotiaat ja käytetty aineisto on kerätty vastaajilta postitse lähetetyllä kyselyllä. Tutkimus on eksploratiivinen ja tulosten tulkinnassa on hyödynnetty määrällisen tutkimuksen ja verkostoanalyysin menetelmiä. Työn keskeisimmät tulokset ovat tunnistetut asiakassegmentit ja heidän tarpeidensa pohjalta muodostetut palvelupaketit. Tulokset indikoivat asiakkaiden tarpeita ja tuloksia on analysoitu myös tuottajan näkökulmasta. Empiiristen tulosten lisäksi teoriaviitekehystä on kehitetty eteenpäin, jotta palvelukeskeiset teoriat voidaan ymmärtää yritysten näkökulman lisäksi asiakkaan näkökulmasta.

Contact with friction using the augmented Lagrangian Method: a conditional constrained minimization problem

This work presents a formulation of the contact with friction between elastic bodies. This is a non linear problem due to unilateral constraints (inter-penetration of bodies) and friction. The solution of this problem can be found using optimization concepts, modelling the problem as a constrained minimization problem. The Finite Element Method is used to construct approximation spaces. The minimization problem has the total potential energy of the elastic bodies as the objective function, the non-inter-penetration conditions are represented by inequality constraints, and equality constraints are used to deal with the friction. Due to the presence of two friction conditions (stick and slip), specific equality constraints are present or not according to the current condition. Since the Coulomb friction condition depends on the normal and tangential contact stresses related to the constraints of the problem, it is devised a conditional dependent constrained minimization problem. An Augmented Lagrangian Method for constrained minimization is employed to solve this problem. This method, when applied to a contact problem, presents Lagrange Multipliers which have the physical meaning of contact forces. This fact allows to check the friction condition at each iteration. These concepts make possible to devise a computational scheme which lead to good numerical results.

A feature-based object-oriented expert system to model and support product design

In this paper a computer program to model and support product design is presented. The product is represented through a hierarchical structure that allows the user to navigate across the product’s components, and it aims at facilitating each step of the detail design process. A graphical interface was also developed, which shows visually to the user the contents of the product structure. Features are used as building blocks for the parts that compose the product, and object-oriented methodology was used as a means to implement the product structure. Finally, an expert system was also implemented, whose knowledge base rules help the user design a product that meets design and manufacturing requirements.

Inverse convection problem of simultaneous estimation of two boundary heat fluxes in parallel plate channels

This paper deals with the use of the conjugate gradient method of function estimation for the simultaneous identification of two unknown boundary heat fluxes in parallel plate channels. The fluid flow is assumed to be laminar and hydrodynamically developed. Temperature measurements taken inside the channel are used in the inverse analysis. The accuracy of the present solution approach is examined by using simulated measurements containing random errors, for strict cases involving functional forms with discontinuities and sharp-corners for the unknown functions. Three different types of inverse problems are addressed in the paper, involving the estimation of: (i) Spatially dependent heat fluxes; (ii) Time-dependent heat fluxes; and (iii) Time and spatially dependent heat fluxes.

Object-oriented Programming Applied to the Development of Structural Analysis and Optimization Software

This paper presents the development of a two-dimensional interactive software environment for structural analysis and optimization based on object-oriented programming using the C++ language. The main feature of the software is the effective integration of several computational tools into graphical user interfaces implemented in the Windows-98 and Windows-NT operating systems. The interfaces simplify data specification in the simulation and optimization of two-dimensional linear elastic problems. NURBS have been used in the software modules to represent geometric and graphical data. Extensions to the analysis of three-dimensional problems have been implemented and are also discussed in this paper.

Analysis of Regular and Irregular Dynamics of a Non Ideal Gear Rattling Problem

This paper presents a study on the dynamics of the rattling problem in gearboxes under non-ideal excitation. The subject has being analyzed by a number of authors such as Karagiannis and Pfeiffer (1991), for the ideal excitation case. An interesting model of the same problem by Moon (1992) has been recently used by Souza and Caldas (1999) to detect chaotic behavior. We consider two spur gears with different diameters and gaps between the teeth. Suppose the motion of one gear to be given while the motion of the other is governed by its dynamics. In the ideal case, the driving wheel is supposed to undergo a sinusoidal motion with given constant amplitude and frequency. In this paper, we consider the motion to be a function of the system response and a limited energy source is adopted. Thus an extra degree of freedom is introduced in the problem. The equations of motion are obtained via a Lagrangian approach with some assumed characteristic torque curves. Next, extensive numerical integration is used to detect some interesting geometrical aspects of regular and irregular motions of the system response.

Key factors in transforming university internationalization into commercial activity in Finland. Case of University of Turku

Globalization, developments in ICT, emergence of knowledge society and other changes have reformed the environment for international higher education during the past few decades. Consequently, higher education sector has moved towards more marketing-oriented system, and universities have started to undertake commercial activities as part of their internationalization. This development has emerged to Finland as well, which forms the basis for this study. The purpose is to examine commercialization in Finnish university landscape and to investigate the ways Finnish university could capitalize its international activities and educational knowledge for export. The research question of the study is: What are the key factors in transforming university internationalization into commercial activity in the Finnish university landscape? The main problem is further divided into three sub-questions: 1) How can a university internationalize; 2) what are the motivational factors behind university internationalization and commercialization; and 3) how can higher education be developed into export services and products? The research was conducted as a qualitative case study of University of Turku. Methods used for gathering and examining data were interviewing and document analysis. Primary data was collected through four individual semi-structured interviews, which were conducted face-to-face. Secondary data that included reports, articles and electronic materials such as university web pages, was used to complement the primary data. The results were analyzed by theming the data into three broader categories of internationalization activities; drivers and motivations and; education export activities. After the data was organized in themes, analysis continued by comparing different parts of data and finding patterns that would explain the phenomenon in Finnish universities. According to the empirical data, University of Turku is currently on the growth state of internationalization with strategies such as internationalization of curriculum, establishment of international research groups, mobility of students and academics, international networking and support services. Commercialization phenomenon is still rather new to the case university, but it has already developed educational products and services for export. The study concludes that university internationalization cannot be directly transformed into commercial activities in the Finnish context, but the universities need to be active in actually creating educational products. The key factors found in this study include: 1) the Finnish government policies behind the current hype of export education; 2) the potential and knowledge capacity of universities for exports; 3) need for additional profits; 4) further internationalization through commercial activities; 5) recognizing and exploiting the specific areas of strength and 6) establishing of cooperative partnerships for better products.

Adaptation of TRIZ Method for Problem Solving in Process Engineering

TRIZ is one of the well-known tools, based on analytical methods for creative problem solving. This thesis suggests adapted version of contradiction matrix, a powerful tool of TRIZ and few principles based on concept of original TRIZ. It is believed that the proposed version would aid in problem solving, especially those encountered in chemical process industries with unit operations. In addition, this thesis would help fresh process engineers to recognize importance of various available methods for creative problem solving and learn TRIZ method of creative problem solving. This thesis work mainly provides idea on how to modify TRIZ based method according to ones requirements to fit in particular niche area and solve problems efficiently in creative way. Here in this case, the contradiction matrix developed is based on review of common problems encountered in chemical process industry, particularly in unit operations and resolutions are based on approaches used in past to handle those issues.

Consistency of UML based designs using ontology reasoners

Software plays an important role in our society and economy. Software development is an intricate process, and it comprises many different tasks: gathering requirements, designing new solutions that fulfill these requirements, as well as implementing these designs using a programming language into a working system. As a consequence, the development of high quality software is a core problem in software engineering. This thesis focuses on the validation of software designs. The issue of the analysis of designs is of great importance, since errors originating from designs may appear in the final system. It is considered economical to rectify the problems as early in the software development process as possible. Practitioners often create and visualize designs using modeling languages, one of the more popular being the Uni ed Modeling Language (UML). The analysis of the designs can be done manually, but in case of large systems, the need of mechanisms that automatically analyze these designs arises. In this thesis, we propose an automatic approach to analyze UML based designs using logic reasoners. This approach firstly proposes the translations of the UML based designs into a language understandable by reasoners in the form of logic facts, and secondly shows how to use the logic reasoners to infer the logical consequences of these logic facts. We have implemented the proposed translations in the form of a tool that can be used with any standard compliant UML modeling tool. Moreover, we authenticate the proposed approach by automatically validating hundreds of UML based designs that consist of thousands of model elements available in an online model repository. The proposed approach is limited in scope, but is fully automatic and does not require any expertise of logic languages from the user. We exemplify the proposed approach with two applications, which include the validation of domain specific languages and the validation of web service interfaces.

Digitization Project of Finno-Ugric Languages

Jussi-Pekka Hakkaraisen esitys Ala-Saksin Valtiollisessa ja Yliopistollisessa kirjastossa Göttingenissä 28.5.2013

Digitization Project of KIndred Languages

Jussi-Pekka Hakkaraisen esitys Viron kielen instituutissa (Eesti keele instituut) Tallinnassa 23.10.2013.

Some reformulations for the quadratic assignment problem

Kombinatorisk optimering handlar om att hitta en bra eller rent av den bästa möjliga lösningen från ett känt antal lösningar eller kombinationer. Ofta är antalet lösningar så enormt att en genomgång av alla olika lösningar inte är möjlig. En av huvudorsakerna till att det forskas inom kombinatorisk optimering är att liknande frågeställningar eller problem uppkommer inom så många olika områden. Påståendet stämmer speciellt bra för kvadratiska tilldelningsproblem(eng. Quadratic Assignment Problem). Sådana problem uppstår då man försöker beskriva en stor mängd tillämpade frågeställningar. Vilken gate skall väljas för flygen på större flygplatser för att minimera den totala väg människorna behöver gå och bagaget förflyttas? Var skall olika avdelningar på en fabrik placeras för att minimera materialförflyttningar mellan avdelningarna? Hur ser ett optimalt tangentbord ut för olika språk? Var skall komponenterna placeras på ett kretskort? De här är alla frågor som kan besvaras genom att lösa kvadratiska tilldelningsproblem. Kvadratiska tilldelningsproblem är dock mycket svåra att lösa. Det beror på att problemet i den standardform det matematiskt formuleras i huvudsak består av produkter av binära variabler. I denna avhandling har problemet omformulerats till en linjär diskret form som innehåller färre variabler. Med omformuleringen har bland annat flera tidigare olösta kvadratiska tilldelningsproblem kunnat lösas till globalt optimum, den bästa möjliga lösningen, för första gången någonsin.

Mannen som objekt och problem : Heikki Waris och betydelsen av kön i vetenskaplig socialpolitik, ca 1930-1970

I avhandlingen analyseras betydelsen av kön i den vetenskapliga socialpolitiken vid 1900-talets mitt, i synnerhet med fokus på Heikki Waris (1901–1989) produktion. Waris var Finlands första professor i socialpolitik, som efter andra världskriget etablerades som ett akademiskt ämne vid de finländska universiteten, och Waris blev känd som en av tidens främsta auktoriteter på den finländska socialpolitiken. Vid en tid då välfärdsstaten etablerades och samhället genomgick en snabb moderniseringsprocess, fokuserade den socialpolitiska forskningen på problem och frågor som främst ansågs beröra den manliga delen av befolkningen, såsom alkoholkonsumtion och relationer inom det industriella arbetet. Detta trots att de nordiska staterna senare skulle bli kända som så kallade kvinnovänliga välfärdsstater, där frågor om kvinnors position och jämställdhet beaktades. I avhandlingen belyses hur de texter Waris skrev, samt den forskning som han initierade, skapade ideal baserade på sundhet, ekonomiskt ansvarstagande, aktivitet och medvetenhet samt hur dessa ideal var kopplade till män och manlighet. Förutom att visa hur ideal konstruerades, studeras även de olika formerna och funktionerna av kön i den socialpolitiska litteraturen. Behandlades kön endast som demografisk kategori eller fanns det ett djupare intresse för mäns och kvinnors positioner och roller? Vilka förhållanden ville Waris och de andra socialpolitikerna belysa med att lyfta fram frågor om kön i sina texter? Waris var även en auktoritet på den snabba moderniseringsprocess som Finland hade genomgått sedan industrialiseringen vid 1800-talets slut. I avhandlingen argumenteras för att män och kvinnor på varierande sätt blev symboler för samhällelig förändring. ------------------------ Väitöskirjassa tutkitaan sukupuolen merkitystä sosiaalipolitiikan tutkimuksessa 1900-luvun puolivälissä. Lähtökohtana on Heikki Wariksen (1901–1989) tieteellinen tuotanto. Waris toimi Suomen ensimmäisenä sosiaalipolitiikan professorina ja kehitti sosiaalipolitiikkaa akateemisena aiheena Suomessa toisen maailmansodan jälkeen. Waris tunnettiin yhtenä aikansa merkittävimpänä suomalaisen sosiaalipolitiikan asiantuntijana. Hyvinvointivaltion rakentumisaikana sosiaalipolitiikan tutkimus keskittyi miehiin liittyviin ongelmiin ja kysymyksiin, kuten alkoholin kulutukseen. Väitöskirjassa osoitetaan miten Wariksen teksteissä, ja Wariksen ohjaamissa väitöskirjoissa rakennettiin terveellisyydelle, elättäjyydelle, aktiivisuudelle sekä tietoisuudelle pohjautuva ihanne, joka oli kytketty miehiin ja miehuuteen. Lisäksi tutkitaan sukupuolen muotoja ja funktioita sosiaalipoliittisessa kirjallisuudessa. Oliko sukupuoli pelkkä väestöllinen kategoria vai osoittivatko sosiaalipolitiikan tutkijat syvällisempää mielenkiintoa miesten ja naisten asemaa sekä rooleja kohtaan? Mitkä asiat huomioitiin sukupuolen avulla? Waris oli myös industrialismin aiheuttaman yhteiskuntamuutoksen asiantuntija. Väitöskirjassa osoitetaan miten miehiä ja naisia käsiteltiin eri tavalla muutoksen symboleina.