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.

Beyond the obvious : three acts in educational drama

Researching research is not a common theme in educational drama. Nor is the educational drama process from a participant perspective a typical focus of research, at least not if the participants are disabled. Yet this is the theme of this thesis, a drama in three acts. The aim of this thesis is to describe, analyse, and discuss both the ways in which research within educational drama can be carried out and represented, and the experiences of the participants of the educational drama process. The theoretical framework that steers the research process is built up of two pairs of frames, each of them, like Russian nesting dolls, containing further frames. The first frame, relating to the outcomes of conducting research in educational drama, comprises philosophical, representational, and personal theories. As the second question asks what educational drama is, the subject related frame is built up of pedagogical, drama educational, and aesthetic theories. The study in its entirety follows the structure of the researcher’s hermeneutical learning process and takes the form of a journey starting from what is familiar, stretching towards what is new and different, and finally returning back to the beginning with a new view on what was there at the start. The thesis consists of two separate but related studies. The first, a familiar study conducted earlier, Alpha in Act I, was carried out among upper secondary school pupils. In the second, the new and therefore unfamiliar study, Omega in Act III, the participants are adult individuals who are physically and communicatively disabled. In between these two Acts an element of “Verfremdung” where the Alpha study is systematically scrutinized as the purpose is to teach and to manage the reader to think. Meta-discussions on the philosophical issues of the study are conducted throughout the text, parallel to the empirical parts. The outcomes of the first research question show that philosophical, methodical, and representational consistency is crucial for research. While this may sound like stating the obvious, this has nevertheless not always been considered fact, especially not within qualitative research. The outcomes further stress that representational issues are also to be recognized when presenting non-rational aspects of educational drama. By wording the world, through the use of visualising language, the surplus of meanings of educational drama can be, as they are within this study, made visible, sensible, and almost tangible, not only cognitively understandable. The outcomes of the second question point to the different foci of the studies, with Alpha focusing on the rationally retold experiences and Omega focusing on nonrational experiences. The outcomes expose educational drama as a learning process comprising doing, reflecting, and being. The doing aspect communicates the concrete efforts in creating a piece of theatre, while the being aspect relates experiences of being as situated, embodied and sensuous, reciprocal, empowering, aesthetic and artistic, and existential. Reflection is the twine that runs throughout the process and connects both doing and being. In summary, the outcomes could be formulated as “learning from learning how to make theatre”.

Remarks on an algebraic semantics for paraconsistent Nelson's logic

In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic. In the present paper we show that NPc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of NPc-lattices and some subvarieties of NPc-lattices.

THE LOGICAL SYSTEM OF FREGE'S GRUNDGESTZE: A RATIONAL RECONSTRUCTION

This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze . We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us to emphasise the differences and similarities between this system and a modern system of classical second-order logic.

Lapsen sosiaalisen kompetenssin tukeminen – vanhempien epäsuorat ja suorat vaikutustavat

Tässä tutkimuksessa tarkastellaan vanhempien havaintoja ja käsityksiä lapsen sosiaalisesta kompetenssista. Lapsen sosiaalisesta kompetenssista tarkastelun kohteena ovat erityisesti vertaissuhteet, sosiaaliset taidot ja sosiaalinen käyttäytyminen. Tarkoituksena on selvittää vanhempien näkemyksiä lapsen sosiaalisesta verkostosta ja lapsesta sosiaalisena toimijana. Kiinnostuksen kohteena on myös, miten vanhemmat vaikuttamaan lapsen sosiaaliseen kompetenssiin. Vanhempien vaikutuksessa voidaan erottaa epäsuora ja suora vaikutus. Vanhempien epäsuoraan vaikutukseen kuuluvat perheen sosioekonomiset tekijät, vanhemmuuteen ja lastenkasvatukseen liittyvät käytännöt sekä lapsen ja vanhemman välinen vuorovaikutus. Suora vaikutus sisältää vanhempien eri roolit ja tehtävät sosiaalisen kompetenssin edistämiseksi. Vanhempien epäsuorilla ja suorilla vaikutustavoilla on havaittu olevan merkittävää vaikutusta lapsen sosiaalisen kompetenssiin muotoutumiseen ja sen laatuun. Tutkimuksessa selvitetään vertaissuhdeongelmaisten ja ei-ongelmaisten lasten vanhempien välisiä eroja näissä vaikutustavoissa. Tutkimuksessa hyödynnetään kyselylomake- ja haastatteluaineistoja. Kyselylomakeaineisto (N=156) kerättiin ”Origins of Exclusion in Early Childhood”-tutkimusprojektissa, jossa tutkittiin lasten vertaissuhteita, sosiaalisia taitoja sekä sosiaalista käyttäytymistä kolmen vuoden seurantatutkimuksena päiväkodista kouluun. Perhekysely toteutettiin lasten ollessa kuusivuotiaita. Vanhempien haastatteluaineisto (N=55) koostuu projektissa mukana olleiden lasten vanhempien teemahaastatteluista. Perhekyselyä analysoidaan tilastollisin analyysimenetelmin. Laadullisen aineiston analyysimenetelmänä käytetään sisällönanalyysia. Vanhempien käsityksissä lasten sosiaalinen verkosto rakentui kotiympäristössä, koulussa, päiväkodissa sekä suvun ja harrastusten parissa muodostuneista suhteista. Tutkimustulosten perusteella on havaittavissa, että vertaissuhdeongelmaisten ja ei-ongelmaisten lasten sosiaaliset verkostot ovat osin erilaiset. Vanhempien arviointien mukaan myös lasten sosiaalisissa taidoissa, käyttäytymisessä, asennoitumisessa sosiaaliseen kanssakäymiseen sekä ryhmään ja leikkeihin liittyvissä strategioissa on eroavaisuuksia. Tutkimuksen pohjalta voidaan todeta, että vanhemmat pystyvät arvioimaan hyvin yksityiskohtaisesti lapsensa sosiaalisia taitoja ja käyttäytymistä. Kaikilla vanhemmilla ei kuitenkaan ollut riittävästi tietoa lasten kaveripiiristä tai sen laadusta eikä lasten sosiaalisesta orientaatiosta. Vanhempien epäsuorissa vaikutustavoissa oli eroja, mutta myös yhtäläisyyksiä. Sosioekonomisia tekijöitä koskevan tarkastelun perusteella vertaissuhdeongelmaisten lasten perheiden taloudelliset ongelmat, isien työttömyys ja lapsen erityisen tuen tarve olivat yhteydessä lapsen sosiaalisten suhteiden ongelmiin. Lähes kaikki tutkimukseen osallistuneet vanhemmat kokivat vanhemmuuden ja kasvatustehtävän kuitenkin hyvin myönteisenä ja tyytyväisyyttä tuottavana asiana elämässä. Valtaosa vanhemmista piti lapsen ja aikuisen välistä vuorovaikutusta positiivisena, vaikka lapsen kanssa ei aina ollutkaan helppoa tulla toimeen. Tyytyväisyydestä huolimatta äidit näkivät itsessään enemmän kehittymisen tarpeita vanhempana kuin isät. Vanhemmuudessa korostuivat ohjaaminen ja kontrolli, mutta myös hoiva, lämpö ja vastavuoroisuus. Hoiva ja lämpö sekä rajojen asettaminen askarruttivat vanhempia suuresti. Vertaissuhdeongelmaisten lasten vanhemmat tarvitsisivat opastusta ohjaavan vanhemmuuden löytämiseksi. Vertaissuhdeongelmaisten lasten vanhemmat kuvasivat kasvatuksen kuormittavuutta, ajan puutetta sekä muuntuvaa isyyttä ja äitiyttä ei-ongelmaisten lasten vanhempia enemmän. Työn ja perheen yhteensovittamisen vaikeus tuli myös esille vanhempien kuvauksissa. Kyvykkään vanhemmuuden kannalta epävirallinen läheisistä muodostunut tukiverkosto on tärkeä vanhemman apu ja kasvatuksen turva. Ensisijaisena tukitahona on epävirallinen verkosto, joka koostuu ystävistä, tuttavista, työtovereista, puolisosta ja omista vanhemmista. Vertaissuhdeongelmaisten lasten vanhempien mukaan arjen tukea ei kuitenkaan ole aina saatavilla, eikä tukiverkosto tyydyttänyt vanhempia. Vanhempien käsityksissä perheen vuorovaikutus sujui hyvin ja vastuu kodista ja kasvatustehtävästä oli molemmilla vanhemmilla tasavertaisesti. Käytännön vastuu kasvatuksesta sekä erilaisten taitojen opettamisesta lapsille kuului äitien tehtäviin. Vanhempien näkemyksissä lapsen sosiaalinen maailma rakentui lähiympäristön tarjoamista mahdollisuuksista. Vanhempien suoriin vaikutustapoihin liittyvien tulosten mukaan vanhemmat pitävät harrastuksia merkittävänä sosiaalista kompetenssia edistävänä tekijänä. Ei-ongelmaisilla lapsilla oli enemmän ja monipuolisempia harrastuksia kuin ongelmaisilla lapsilla. Vaikka vanhemmat eivät mieltäneetkään omaa toimintaansa kaveripiiriin ohjaamiseksi, heillä useinkin oli runsaasti erilaisia rooleja ja tehtäviä sosiaalisten suhteiden ja sosiaalisten taitojen opettamisessa. Lapsen sosiaalisten suhteiden organisoinnissa, ohjaamisessa, valvonnassa ja neuvonnassa oli vanhempiryhmien välillä eroja. Vertaissuhdeongelmaisten lasten vanhemmat eivät olleet riittävän hyvin perillä lapsen taidoista ja kyvykkyydestä tuottaakseen oikea-aikaista ohjausta ja tukeakseen lasta riittävästi sopivilla tavoilla. Vanhempien toimintaa näyttää ohjaavan vakaasti se uskomus, että lapsen kaverisuhteet ovat pelkästään hänen oma asiansa. Vanhemmat arvostivat paljon sosiaalisia taitoja ja pyrkivät opettamaan niitä lapsilleen systemaattisesti. Ohjaamisen tavoissa vanhemmat poikkesivat toisistaan. Tutkimus antaa viitteitä, että eiongelmaisten lasten vanhemmat ovat sensitiivisempiä, vastavuoroisempia ja lapsen näkökulmaa ja tarpeita lähtökohtanaan pitäviä sekä tunnetaitoihin ja tunnetilan käsittelyyn keskittyvämpiä kuin ongelmaisten lasten vanhemmat. Vanhempien ja lasten vuorovaikutuksen vaikeudet, ylimalkainen ja epäjohdonmukainen sosiaalisten taitojen, käyttäytymisen sekä suhteiden ohjaus sekä monet perheen voimavarojen puutteet voivat haitata vakavasti lapsen sosiaalisen kompetenssin kehittymistä. Vanhemmilla on kuitenkin taitoa arvioida lapsensa sosiaalista kyvykkyyttä ja halua toimia hyvin kasvatustehtävässään. Vanhemmuuden tukemisessa olisivatkin tärkeitä epävirallisen tukiverkoston lisäksi lähiympäristön perheille ja lapsille suunnatut palvelut, monitahoinen yhteistyö perheiden, lasten ja heidän kanssaan työskentelevien ammattilaisten kesken sekä yhteiskunnan perheitä koskevat säädökset ja tukitoimet.

Automation Concept for Electrically Excited LV Synchronous Motor: Implementation into AC500 Programmable Logic Environment

This bachelor’s thesis is a part of the research project realized in the summer 2011 in Lappeenranta University of Technology. The goal of the project was to develop an automation concept for controlling the electrically excited synchronous motor. Thesis concentrates on the implementation of the automation concept into the ABB’s AC500 programmable logic enviroment. The automation program was developed as a state machine with the ABB’s PS501 Control Builder software. For controlling the automation program is developed a fieldbus control and with CodeSys Visualization Tool a local control with control panel. The fieldbus control is done to correspond the ABB drives communication profile and the local control is implemented with a function block which feeds right control words into the statemachine. A field current control of the synchronous motor is realized as a method presented in doctoral thesis of Olli Pyrhönen (Pyrhönen 1998). The Method combines stator flux and torque based openloop control and power factor based feedback control.

Application of fuzzy logic for the evaluation of livestock slaughtering

The fuzzy logic admits infinite intermediate logical values between false and true. With this principle, it developed in this study a system based on fuzzy rules, which indicates the body mass index of ruminant animals in order to obtain the best time to slaughter. The controller developed has as input the variables weight and height, and as output a new body mass index, called Fuzzy Body Mass Index (Fuzzy BMI), which may serve as a detection system at the time of livestock slaughtering, comparing one another by the linguistic variables "Very Low", "Low", "Average ", "High" and "Very High". For demonstrating the use application of this fuzzy system, an analysis was made with 147 Nellore beeves to determine Fuzzy BMI values for each animal and indicate the location of body mass of any herd. The performance validation of the system was based on a statistical analysis using the Pearson correlation coefficient of 0.923, representing a high positive correlation, indicating that the proposed method is appropriate. Thus, this method allows the evaluation of the herd comparing each animal within the group, thus providing a quantitative method of farmer decision. It was concluded that this study established a computational method based on fuzzy logic that mimics part of human reasoning and interprets the body mass index of any bovine species and in any region of the country.

Electrically driven fertilizer applicator controlled by fuzzy logic

The present study shows the development, simulation and actual implementation of a closed-loop controller based on fuzzy logic that is able to regulate and standardize the mass flow of a helical fertilizer applicator. The control algorithm was developed using MATLAB's Fuzzy Logic Toolbox. Both open and closed-loop simulations of the controller were performed in MATLAB's Simulink environment. The instantaneous deviation of the mass flow from the set point (SP), its derivative, the equipment´s translation velocity and acceleration were all used as input signals for the controller, whereas the voltage of the applicator's DC electric motor (DCEM) was driven by the controller as output signal. Calibration and validation of the rules and membership functions of the fuzzy logic were accomplished in the computer simulation phase, taking into account the system's response to SP changes. The mass flow variation coefficient, measured in experimental tests, ranged from 6.32 to 13.18%. The steady state error fell between -0.72 and 0.13g s-1 and the recorded average rise time of the system was 0.38 s. The implemented controller was able to both damp the oscillations in mass flow that are characteristic of helical fertilizer applicators, and to effectively respond to SP variations.

Speed Control of an Autonomous Mobile Robot: Comparison between a PID Control and a Control Using Fuzzy Logic

An Autonomous Mobile Robot battery driven, with two traction wheels and a steering wheel is being developed. This Robot central control is regulated by an IPC, which controls every function of security, steering, positioning localization and driving. Each traction wheel is operated by a DC motor with independent control system. This system is made up of a chopper, an encoder and a microcomputer. The IPC transmits the velocity values and acceleration ramp references to the PIC microcontrollers. As each traction wheel control is independent, it's possible to obtain different speed values for each wheel. This process facilities the direction and drive changes. Two different strategies for speed velocity control were implemented; one works with PID, and the other with fuzzy logic. There were no changes in circuits and feedback control, except for the PIC microcontroller software. Comparing the two different speed control strategies the results were equivalent. However, in relation to the development and implementation of these strategies, the difficulties were bigger to implement the PID control.

Five Baltic Ports Togehter: Forecasts, Trends and Recommendations

The ports of Stockholm, Tallinn, Helsinki, Naantali and Turku play key roles in making the Central Baltic region accessible. Effective, competitive, eco-friendly and safe port procedures and solutions for the transportation of goods are of major importance for trade in the Baltic Sea region. This report presents the most essential results and recommendations of the PENTA project, which focused on how ports could better comprehend and face current and future challenges facing carriage of goods by sea. Each of the four work packages (WPs) of the PENTA project analysed the changes from a different perspective. WP2 focused on traffic flows between the PENTA ports. Its main emphasis was on the ports, shipowners, and logistics companies that are the key parties in freight transport and on the changes affecting the economy of those ports. In WP3 noise as an environmental challenge for ports was investigated and the analysis also shed light on the relationship between the port and the city. In WP4 procedures related to safety, security and administrative procedures were researched. The main emphasis was on identifying the requirements for the harmonisation of those procedures. Collaboration is highlighted throughout this report. In order to prepare for the future, it was found that ports need to respond to growing competition, increasing costs and shifts in customer demand by strengthening their existing partnerships with other actors in the maritime cluster. Cargo and passenger transport are the main sources of income for most ports. Cargo traffic between the PENTA ports is expected to grow steadily in the future and the outlook for passenger traffic is positive. However, to prepare for the future, ports should not only secure the core activities which generate revenue but also seek alternative ways to make profit. In order to gain more transit traffic, it is suggested that ports conduct a more thorough study of the future requirements for doing business with Russia. The investigation of noise at ports revealed two specific dilemmas that ports cannot solve alone. Firstly, the noise made by vessels and, secondly, the relationship between the port and the surrounding city. Vessels are the most important single noise source in the PENTA ports and also one of the hardest noise sources to handle. Nevertheless, port authorities in Finland and Sweden are held responsible for all noise in the port area, including noise produced by vessels, which is noise the port authority can only influence indirectly. Building housing by waterfront areas close to ports may also initiate disagreements because inhabitants may want quiet areas, whereas port activities always produce some noise from their traffic. The qualitative aspects of the noise question, cooperating with the stakeholders and the communicating of issues related to noise are just as important. We propose that ports should follow the logic of continuous improvement in their noise management. The administrative barriers discussed in this report are mainly caused by differences in international and national legislation, variations in the customs procedures of each country, the incompatibility of the IT systems used in maritime transport, noncompliance with regulations regarding dangerous goods, and difficulties in applying Schengen regulations to vessels from non-EU countries. Improving the situation is out of the hands of the ports to do alone and requires joint action on a variety of levels, including the EU, national authorities and across administrative borders.

Fuzzy ontology for knowledge mobilisation and decision support

A growing concern for organisations is how they should deal with increasing amounts of collected data. With fierce competition and smaller margins, organisations that are able to fully realize the potential in the data they collect can gain an advantage over the competitors. It is almost impossible to avoid imprecision when processing large amounts of data. Still, many of the available information systems are not capable of handling imprecise data, even though it can offer various advantages. Expert knowledge stored as linguistic expressions is a good example of imprecise but valuable data, i.e. data that is hard to exactly pinpoint to a definitive value. There is an obvious concern among organisations on how this problem should be handled; finding new methods for processing and storing imprecise data are therefore a key issue. Additionally, it is equally important to show that tacit knowledge and imprecise data can be used with success, which encourages organisations to analyse their imprecise data. The objective of the research conducted was therefore to explore how fuzzy ontologies could facilitate the exploitation and mobilisation of tacit knowledge and imprecise data in organisational and operational decision making processes. The thesis introduces both practical and theoretical advances on how fuzzy logic, ontologies (fuzzy ontologies) and OWA operators can be utilized for different decision making problems. It is demonstrated how a fuzzy ontology can model tacit knowledge which was collected from wine connoisseurs. The approach can be generalised and applied also to other practically important problems, such as intrusion detection. Additionally, a fuzzy ontology is applied in a novel consensus model for group decision making. By combining the fuzzy ontology with Semantic Web affiliated techniques novel applications have been designed. These applications show how the mobilisation of knowledge can successfully utilize also imprecise data. An important part of decision making processes is undeniably aggregation, which in combination with a fuzzy ontology provides a promising basis for demonstrating the benefits that one can retrieve from handling imprecise data. The new aggregation operators defined in the thesis often provide new possibilities to handle imprecision and expert opinions. This is demonstrated through both theoretical examples and practical implementations. This thesis shows the benefits of utilizing all the available data one possess, including imprecise data. By combining the concept of fuzzy ontology with the Semantic Web movement, it aspires to show the corporate world and industry the benefits of embracing fuzzy ontologies and imprecision.

Esimies luottamuksen rakentajana muutoksessa

Tänä päivänä organisaatiot elävät lähestulkoon jatkuvan muutoksen aikaa. Jotta muutoksista selvitään menestyksekkäästi, tulisi työntekijöiden luottamus organisaatiota kohtaan säilyttää hyvänä myös muutosten keskellä. Muutosten läpivieminen on helpompaa, kun luottamus on vahvaa. Toisaalta muutokset haastavat luottamuksen. Tämän tutkielman tavoitteena on osallistua luottamuksen merkityksestä työyhteisössä käytävään tieteelliseen keskusteluun tuomalla esille lähiesimiehen roolia luottamuksen rakentajana sekä korostamalla muutostilanteiden tuomia erityispiirteitä luottamuksen rakentamiseen ja ylläpitämiseen. Tavoitteeseen pyrittiin analysoimalla Kelan Kymenlaakson vakuutuspiirin alueella työskentelevien 11 toimihenkilön ja 5 esimiehen teemahaastatteluista saatua laadullista aineistoa. Tutkimustulosten perusteella voidaan todeta, että luottamus työyhteisössä on tärkeää ja se korostuu entisestään muutostilanteissa. Lähiesimies on merkittävässä roolissa työyhteisön luottamuksen ylläpitäjänä ja rakentajana ja hän voi rakentaa työntekijän luottamusta paitsi itseään niin myös koko organisaatiota kohtaan. Muutostilanteissa esimies voi rakentaa luottamusta erityisesti oikea-aikaisella tiedottamisella ja viestinnällä, keskustelemalla, huomioimalla yksilön henkilökohtaiset tarpeet, avoimuudella sekä huolehtimalla työntekijän koulutuksesta ja osaamisen kehittämisestä. Avoin tiedottaminen ja keskusteluyhteys osapuolten välillä näyttävät siis olevan kaiken lähtökohta.

The Brazilian consumer's understanding and perceptions of organic vegetables: a Focus Group approach

Focus Group is a tool which generates, through interview sessions with a small number of participants, preliminary data to be used in subsequent quantitative stages. Many consumer studies use qualitative research with the aim of obtaining information and opinions on a specific product or situation. The objective of the present study was to obtain knowledge on the opinion, understanding and perception of the Brazilian consumer with respect to vegetables, focusing on organic products, using Focus Group Sessions. Four Focus Group Sessions were held with men and women in different environments, following a previously elaborated interview guide. In this study, it was observed that the consumers demonstrated being interested in having a healthy diet, based on fruit, vegetables and natural products. However, only a few declared consuming organic foods. Some participants did not know what the term organic meant, and most of them think that organic products are still very expensive, are not easily available in the supermarkets, do not have a good appearance, mainly in terms of size and packaging, and their certification is not always trustworthy. Almost all participants stated that they read package labels and among the items most observed were best-before date, nutritional information, production system and price. This study has identified important vegetable attributes perceived by the consumer, favouring the planning of a subsequent quantitative research. The results suggest that more information on the benefits of organic agriculture has to be passed on to consumers in order to contribute to a higher consumption of such products.