Two Cultures of Arts Education, Finland and Canada? An integrated View

Taidekasvatuksen kaksi kulttuuria, Suomi ja Kanada? Integroitu näkemys Tutkimuksessa kuvataan kanadalaisen Learning Through The Arts –pedagogiikan mukainen suomalainen kokeiluhanke, jonka aikana taiteilija–opettaja-parit opettivat yhdessä eri oppiaineita koululuokille: esim. matematiikkaa tanssien, biologiaa maalaten tai yhdistäen eri taiteenlajeja projektimuotoiseen oppimiseen. Hanketta arvioitaessa nousee esille, ei niinkään yksittäisten taiteilijoiden ja opettajien toiminta, vaan pikemminkin Kanadan ja Suomen rakenteelliset sekä kulttuuriset eroavuudet. Tutkimus sivuaa myös Suomessa käytävää keskustelua taiteen hyödyllisyydestä ja pohtii samalla taito- ja taideaineiden asemaa koulussa. Työn teoreettisessa osassa integroidaan opetussuunnitelmateoriaa, kasvatuksen historiaa ja filosofiaa, tähdentäen taidekasvatuksen merkitystä osana koko ihmisen kasvatusta. Opetussuunnitelmateorian osalta tarkastellaan romanttista ja klassista opetussuunnitelmaa, jotka eroavat toisistaan menetelmiensä, sisältöjensä, tavoitteidensa sekä arvioinnin osalta. Ns. kovat ja pehmeät aineet tai matemaattis-luonnontieteelliset aineet vastakohtanaan humanismi, voidaan ymmärtää sekä historiallisia että epistemologisia taustojaan vasten. Pepperin maailmanhypoteesien mukaisesti on kasvatuksen ongelmien ratkaisemiseksi hahmotettavissa neljä selvästi toisistaan eroavaa lähestymistapaa: formismi; organisismi; mekanisismi; sekä kontekstualismi. Kantin filosofiaan viitaten tutkimus puolustaa käsitystä taiteesta rationaalisena ja propositionaalisena kokonaisuutena, joka ei ole vain kommunikaation väline, vaan yksi todellisuuden kohtaamisen lajeista, tiedon ja etiikan rinnalla. Näin ajateltuna taito- ja taidekasvatuksen tulisi olla luonteeltaan aina myös kulttuurikasvatusta. Tutkimuksen tulosten perusteella voidaan väittää, että moniammatillinen yhteistyö monipuolistaa koulun opetusta. Mikäli huolehditaan siitä, että taiteilijat saavat riittävästi koulutusta opettamiseen liittyvissä asioissa, on mahdollista käyttää taiteilijoita opettajien rinnalla koulutyössä.

The effects of potentiallydisruptive technology on business model - a case study of new technologies in ICT industry

This study examines how firms interpret new, potentially disruptive technologies in their own strategic context. The work presents a cross-case analysis of four potentially disruptive technologies or technical operating models: Bluetooth, WLAN, Grid computing and Mobile Peer-to-peer paradigm. The technologies were investigated from the perspective of three mobile operators, a device manufacturer and a software company in the ICT industry. The theoretical background for the study consists of the resource-based view of the firm with dynamic perspective, the theories on the nature of technology and innovations, and the concept of business model. The literature review builds up a propositional framework for estimating the amount of radical change in the companies' business model with two middle variables, the disruptiveness potential of a new technology, and the strategic importance of a new technology to a firm. The data was gathered in group discussion sessions in each company. The results of each case analysis were brought together to evaluate, how firms interpret the potential disruptiveness in terms of changes in product characteristics and added value, technology and market uncertainty, changes in product-market positions, possible competence disruption and changes in value network positions. The results indicate that the perceived disruptiveness in terms ofproduct characteristics does not necessarily translate into strategic importance. In addition, firms did not see the new technologies as a threat in terms of potential competence disruption.

A mathematical study of fuzzy logic; an algebraic approach

Fuzzy set theory and Fuzzy logic is studied from a mathematical point of view. The main goal is to investigatecommon mathematical structures in various fuzzy logical inference systems and to establish a general mathematical basis for fuzzy logic when considered as multi-valued logic. The study is composed of six distinct publications. The first paper deals with Mattila'sLPC+Ch Calculus. THis fuzzy inference system is an attempt to introduce linguistic objects to mathematical logic without defining these objects mathematically.LPC+Ch Calculus is analyzed from algebraic point of view and it is demonstratedthat suitable factorization of the set of well formed formulae (in fact, Lindenbaum algebra) leads to a structure called ET-algebra and introduced in the beginning of the paper. On its basis, all the theorems presented by Mattila and many others can be proved in a simple way which is demonstrated in the Lemmas 1 and 2and Propositions 1-3. The conclusion critically discusses some other issues of LPC+Ch Calculus, specially that no formal semantics for it is given.In the second paper the characterization of solvability of the relational equation RoX=T, where R, X, T are fuzzy relations, X the unknown one, and o the minimum-induced composition by Sanchez, is extended to compositions induced by more general products in the general value lattice. Moreover, the procedure also applies to systemsof equations. In the third publication common features in various fuzzy logicalsystems are investigated. It turns out that adjoint couples and residuated lattices are very often present, though not always explicitly expressed. Some minor new results are also proved.The fourth study concerns Novak's paper, in which Novak introduced first-order fuzzy logic and proved, among other things, the semantico-syntactical completeness of this logic. He also demonstrated that the algebra of his logic is a generalized residuated lattice. In proving that the examination of Novak's logic can be reduced to the examination of locally finite MV-algebras.In the fifth paper a multi-valued sentential logic with values of truth in an injective MV-algebra is introduced and the axiomatizability of this logic is proved. The paper developes some ideas of Goguen and generalizes the results of Pavelka on the unit interval. Our proof for the completeness is purely algebraic. A corollary of the Completeness Theorem is that fuzzy logic on the unit interval is semantically complete if, and only if the algebra of the valuesof truth is a complete MV-algebra. The Compactness Theorem holds in our well-defined fuzzy sentential logic, while the Deduction Theorem and the Finiteness Theorem do not. Because of its generality and good-behaviour, MV-valued logic can be regarded as a mathematical basis of fuzzy reasoning. The last paper is a continuation of the fifth study. The semantics and syntax of fuzzy predicate logic with values of truth in ana injective MV-algerba are introduced, and a list of universally valid sentences is established. The system is proved to be semanticallycomplete. This proof is based on an idea utilizing some elementary properties of injective MV-algebras and MV-homomorphisms, and is purely algebraic.

Risk assessment tool for radical technologies – Case Technology A and Technology B

Työssä testataan radikaalien teknologioiden liiketoimintariskien evaluointityökalua. Työn teoreettinen tausta koostuu teknologia- ja innovaatioteorioista hyödyntäen myös resurssipohjaista yritysteoriaa täydennettynä evolutionäärisellä teorialla. Teoreettisessa osuudessa rakennetaan viitekehys, jolla liiketoimintariskejä voidaan arvioida ja muodostaa riskiprofiili. Liiketoimintariskien muuttujina ovat markkina-, teknologia- ja organisaatioriskit. Primäärisenä tietolähteenä käytettiin teema- ja strukturoituja haastatteluita. Ensimmäinen haastattelu käsitti evaluointityökalun käytettävyyttä ja riskienhallintaa yleensä. Loput haastattelut liittyivät teknologian A ja teknologian B liiketoimintariskien arvioimiseen. Tulokset osoittavat molemmat teknologiat sisältävän radikaaleille teknologioille ominaisia epävarmuustekijöitä. Riskiprofiilin hyödyllisyys liittyy liiketoimintariskien samanaikaiseen havaitsemiseen auttaen näin päätöksenteossa. Tärkeää evaluoinnissa on kiinnittää huomiota näkökulmaan, josta riskejä tarkastellaan riskiprofiilin validiteetin parantamiseksi.

Periodontal Diseases in Tanzania

Tutkimuksen tavoitteena oli kuvata hampaiden kiinnityskudossairauksien esiintyvyyttä ja suuhygieniatottumuksia Tansaniassa. Viiden eri tutkimuksen avulla kartoitettiin suuhygieniatottumuksia, kiinnityskudosten tilaa, kiinnityskudossairauksien riskitekijöitä ja hoidon tarvetta (CPITN) sekä ienvetäymiä. Tutkimukset toteutettiin eri paikkakunnilla vuosien 1987 ja 2003 välillä. Tutkittavat valittiin satunnaisesti tai harkitusti; tutkittavien määrä vaihteli 201:stä 1764:ään. Aineistot kerättiin kysymyslomakkeilla ja kliinisten tutkimusten avulla. Kliinisesti mitattiin plakin, hammaskiven ja ienten verenvuodon määrä, ientaskujen syvyys, ienvetäymien laajuus ja puuttuvien hampaiden lukumäärä. Tutkimusvälineinä käytettiin peiliä, Williamsin ja WHO:n ientaskumittareita. Muoviharjaksista hammasharjaa ilmoitti käyttävänsä 51,5-97,8% tutkituista. Ns. harjaustikun käyttö vaihteli paljon: 0,9-32,0 %. Plakkia löydettiin 65-100 %:lla tutkituista. Hammaskiveä oli suurimmalla osalla tutkituista. Myös ienverenvuotoa löytyi valtaosalta (79-100%). Ienverenvuotoa oli enemmän miehillä kuin naisilla sekä alhaisemman koulutustason omaavilla. Neljäkymmentä vuotta täyttäneiltä löydettiin 4–5 mm:n syvyisiä ientaskuja 82,1 %:lta ja ≥ 6 mm:n taskuja 43,8 %:lta. Suun terveystottumusten ohjaamiseen oli tarvetta yli 90 %:lla, hammaskiven poistoon ja juurten pinnan tasoitukseen yli 80%:lla. Yleisimmät riskitekijät kiinnityskudossairauksille olivat ikä (≥ 35 vuotta), miessukupuoli, alhainen koulutustaso, plakin, hammaskiven ja ientulehduksen määrä sekä asuminen maaseudulla. Ienvetäymiä (≥ 4 mm) löytyi noin 54%:lla tutkituista. Ienvetäymiä oli useammin miehillä kuin naisilla ja ne olivat yhteydessä ikään sekä hammaskiven ja ienverenvuodon esiintymiseen. Suuhygieniataso tutkituilla henkilöillä oli huono ja ienvetäymien esiintyvyys korkea. Syviä ientaskuja löytyi kuitenkin harvoilta tutkituilta. Riskitekijät kiinnityskudossairauksille olivat ikä, miessukupuoli, alhainen koulutustaso, plakin, hammaskiven ja ientulehduksen määrä sekä asuminen maaseudulla. Ienvetäymien riskit olivat ikä, miessukupuoli, hammaskivi ja ienverenvuoto

Teaching mathematics and programming : new approaches with empirical evaluation

Programming and mathematics are core areas of computer science (CS) and consequently also important parts of CS education. Introductory instruction in these two topics is, however, not without problems. Studies show that CS students find programming difficult to learn and that teaching mathematical topics to CS novices is challenging. One reason for the latter is the disconnection between mathematics and programming found in many CS curricula, which results in students not seeing the relevance of the subject for their studies. In addition, reports indicate that students' mathematical capability and maturity levels are dropping. The challenges faced when teaching mathematics and programming at CS departments can also be traced back to gaps in students' prior education. In Finland the high school curriculum does not include CS as a subject; instead, focus is on learning to use the computer and its applications as tools. Similarly, many of the mathematics courses emphasize application of formulas, while logic, formalisms and proofs, which are important in CS, are avoided. Consequently, high school graduates are not well prepared for studies in CS. Motivated by these challenges, the goal of the present work is to describe new approaches to teaching mathematics and programming aimed at addressing these issues: Structured derivations is a logic-based approach to teaching mathematics, where formalisms and justifications are made explicit. The aim is to help students become better at communicating their reasoning using mathematical language and logical notation at the same time as they become more confident with formalisms. The Python programming language was originally designed with education in mind, and has a simple syntax compared to many other popular languages. The aim of using it in instruction is to address algorithms and their implementation in a way that allows focus to be put on learning algorithmic thinking and programming instead of on learning a complex syntax. Invariant based programming is a diagrammatic approach to developing programs that are correct by construction. The approach is based on elementary propositional and predicate logic, and makes explicit the underlying mathematical foundations of programming. The aim is also to show how mathematics in general, and logic in particular, can be used to create better programs.

Scheduling of guarded command based models

Formal methods provide a means of reasoning about computer programs in order to prove correctness criteria. One subtype of formal methods is based on the weakest precondition predicate transformer semantics and uses guarded commands as the basic modelling construct. Examples of such formalisms are Action Systems and Event-B. Guarded commands can intuitively be understood as actions that may be triggered when an associated guard condition holds. Guarded commands whose guards hold are nondeterministically chosen for execution, but no further control flow is present by default. Such a modelling approach is convenient for proving correctness, and the Refinement Calculus allows for a stepwise development method. It also has a parallel interpretation facilitating development of concurrent software, and it is suitable for describing event-driven scenarios. However, for many application areas, the execution paradigm traditionally used comprises more explicit control flow, which constitutes an obstacle for using the above mentioned formal methods. In this thesis, we study how guarded command based modelling approaches can be conveniently and efficiently scheduled in different scenarios. We first focus on the modelling of trust for transactions in a social networking setting. Due to the event-based nature of the scenario, the use of guarded commands turns out to be relatively straightforward. We continue by studying modelling of concurrent software, with particular focus on compute-intensive scenarios. We go from theoretical considerations to the feasibility of implementation by evaluating the performance and scalability of executing a case study model in parallel using automatic scheduling performed by a dedicated scheduler. Finally, we propose a more explicit and non-centralised approach in which the flow of each task is controlled by a schedule of its own. The schedules are expressed in a dedicated scheduling language, and patterns assist the developer in proving correctness of the scheduled model with respect to the original one.

Värispekrien eron laskenta

Olemassa olevat spektrieromittarit eivät vastaa riittävästi CIEDE2000-värieroa. Tämän työn tavoitteena oli toteuttaa menetelmä, joka laskee värispektrien eron siten, että tulos vastaa CIEDE2000-värieroa. Kehitystyön tuloksena syntyi menetelmä, joka perustuu ennalta laskettuihin eroihin tunnettujen spektrien välillä ja niiden perusteella johdettuihin laskentaparametreihin. menetelmällä pystyy laskemaan spektrieroja vain niiden spektrien välillä, jotka saadaan sekoittamalla tunnettuja spektrejä. Laskentaparametrien laskenta on työläs prosessi ja siksi menetelmään toteutettiin hajautus usealle tietokoneelle. Menetelmä saatiin vastaamaan hyvin CIEDE2000:ia suurimmalle osalle spektrejä harvoja poikkeuksia lukuunottamatta. Ongelmat johtuvat mallissa olevasta matemaattisesta ominaisuudesta. Spektrieromittari näyttää metameerisille spektreille nollasta poikkeavan arvon, vaikka CIEDE2000 näyttää nollaa. Tämä osoittaa spektrieromittarin oikeamman toiminnan CIEDE2000-värieroon verrattuna.

Korkeapainevesisumusuuttimen virtaustekninen laadunhallinta

Tämä työ vastaa tarpeeseen hallita korkeapainevesisumusuuttimen laatua virtausmekaniikan työkalujen avulla. Työssä tutkitaan suutinten testidatan lisäksi virtauksen käyttäytymistä suuttimen sisällä CFD-laskennan avulla. Virtausmallinnus tehdään Navier-Stokes –pohjaisella laskentamenetelmällä. Työn teoriaosassa käsitellään virtaustekniikkaa ja sen kehitystä yleisesti. Lisäksi esitetään suuttimen laskennassa käytettävää perusteoriaa sekä teknisiä ratkaisuja. Teoriaosassa käydään myös läpi laskennalliseen virtausmekaniikkaan (CFD-laskenta) liittyvää perusteoriaa. Tutkimusosiossa esitetään käsitellyt suutintestitulokset sekä mallinnetaan suutinvirtausta ajasta riippumattomaan virtauslaskentaan perustuvalla laskentamenetelmällä. Virtauslaskennassa käytetään OpenFOAM-laskentaohjelmiston SIMPLE-virtausratkaisijaa sekä k-omega SST –turbulenssimallia. Tehtiin virtausmallinnus kaikilla paineilla, joita suuttimen testauksessa myös todellisuudessa käytetään. Lisäksi selvitettiin mahdolliset kavitaatiokohdat suuttimessa ja suunniteltiin kavitaatiota ehkäisevä suutingeometria. Todettiin myös lämpötilan ja epäpuhtauksien vaikuttavan kavitaatioon sekä mallinnettiin lämpötilan vaikutusta. Luotiin malli, jolla suuttimen suunnitteluun liittyviin haasteisiin voidaan vastata numeerisella laskennalla.