Programa d'anàlisi d'imatges de provetes metal·logràfiques

L’objectiu del present TFM és explorar les possibilitats del programa matemàtic MATLAB i la seva eina Entorn de Disseny d’Interfícies Gràfiques d’Usuari (GUIDE), desenvolupant un programa d’anàlisi d’imatges de provetes metal·logràfiques que es pugui utilitzar per a realitzar pràctiques de laboratori de l’assignatura Tecnologia de Materials de la titulació de Grau en Enginyeria Mecatrònica que s’imparteix a la Universitat de Vic. Les àrees d’interès del treball són la Instrumentació Virtual, la programació MATLAB i les tècniques d’anàlisi d’imatges metal·logràfiques. En la memòria es posa un èmfasi especial en el disseny de la interfície i dels procediments per a efectuar les mesures. El resultat final és un programa que satisfà tots els requeriments que s’havien imposat en la proposta inicial. La interfície del programa és clara i neta, destinant molt espai a la imatge que s’analitza. L’estructura i disposició dels menús i dels comandaments ajuda a que la utilització del programa sigui fàcil i intuïtiva. El programa s’ha estructurat de manera que sigui fàcilment ampliable amb altres rutines de mesura, o amb l’automatització de les rutines existents. Al tractar-se d’un programa que funciona com un instrument de mesura, es dedica un capítol sencer de la memòria a mostrar el procediment de càlcul dels errors que s’ocasionen durant la seva utilització, amb la finalitat de conèixer el seu ordre de magnitud, i de saber-los calcular de nou en cas que variïn les condicions d’utilització. Pel que fa referència a la programació, malgrat que MATLAB no sigui un entorn de programació clàssic, sí que incorpora eines que permeten fer aplicacions no massa complexes, i orientades bàsicament a gràfics o a imatges. L’eina GUIDE simplifica la realització de la interfície d’usuari, malgrat que presenta problemes per tractar dissenys una mica complexos. Per altra banda, el codi generat per GUIDE no és accessible, cosa que no permet modificar manualment la interfície en aquells casos en els que GUIDE té problemes. Malgrat aquests petits problemes, la potència de càlcul de MATLAB compensa sobradament aquestes deficiències.

Matemáticas y juego = Mathematics and games

In this article we try to look at the learning of mathematics through games in the first years of schooling. The use of game resources in the class should not be carried out in a uniquely intuitive way but rather in a manner that contains some preliminary reflections such as, what do we understand by games? Why use games as a resource in the Mathematics classroom? And what does its use imply?

Un método para enseñar el porqué suceden las reacciones químicas

A methodology is proposed for explaining one of the central questions in the teaching of general chemistry courses to freshman students: why do chemical transformations occur? The answer to this question is based on thermodynamics but we propose arriving at an answer in a more intuitive way by using computational tools in a bid to increase the motivation of students for learning chemistry.

Uuden robottisolun ohjelmointitavan mahdollisuudet pienille ja keskisuurille yrityksille

Robotin ohjelmointi on aikaa vievää ja tarvitsee robotin ohjelmoinnin tuntevan operaattorin toimimaan robotin opettajana. Saadakseen robottisolun kustannustehokkaaksi operaattorilla olisi hyvä olla useampi solu hoidettavanaan samaan aikaan. Tämä ei ole suuri ongelma suurille yrityksille, joissa voi olla kymmeniä robottisoluja. Jos kyseessä on pieni tai keskisuuri yritys, automatisointi-investointi voi jäädä tekemättä ohjelmoinnin vaikeuden aiheuttaman ongelman vuoksi. Diplomityössä keskityttiin tutkimaan robotisointia pienten ja keskisuurten yritysten kannalta. Teoriaosassa on keskitytty robottisolun suunnittelun kannalta tarvittaviin perustietoihin robotin rakenteesta, ohjausjärjestelmästä, ohjelmoinnista sekä turvallisuudesta. Näiden perustietojen lisäksi on huomioitu hitsauksen automatisointia sekä taluttamalla ohjelmoitavan robottisolun tekninen konsepti. Taluttamalla ohjelmoitavan robottisolun konseptin käsittelyosassa on myös perehdytty taluttamalla ohjelmoinnin vaatimiin komponentteihin kuten voima/vääntö-anturi. Robottisolun suunnittelu on tehtävä koneasetuksen vaatimusten mukaan. Turvallisuus osiossa on käsitelty koneasetuksen vaatimuksia koneensuunnittelulle ja käytännön osassa on käsitelty Winnovan taluttamalla ohjelmoitavan robottisolun suunnittelua koneasetuksen ohjeiden mukaan. Käytännön osassa on tutkittu taluttamalla ohjelmoinnin tuomia etuja muihin ohjelmointimenetelmiin nähden sekä suoritettu investointilaskelmat taluttamalla ohjelmoitavasta ja opettamalla ohjelmoitavasta robottisolusta. Koetuloksista nähdään taluttamalla ohjelmoinnin olevan nopeampi ja yksinkertaisempi tapa ohjelmoida robottia kuin opettamalla ohjelmointi. Investointilaskelmien vertailusta nähdään taluttamalla ohjelmoinnin tulevan opettamalla ohjelmointia edullisemmaksi vaihtoehdoksi käyttökustannusten edullisuuden ansiosta.

IDEAS for Strategic Technology Management: Design of an electronically mediated scenario method

The age-old adage goes that nothing in this world lasts but change, and this generation has indeed seen changes that are unprecedented. Business managers do not have the luxury of going with the flow: they have to plan ahead, to think strategies that will meet the changing conditions, however stormy the weather seems to be. This demand raises the question of whether there is something a manager or planner can do to circumvent the eye of the storm in the future? Intuitively, one can either run on the risk of something happening without preparing, or one can try to prepare oneself. Preparing by planning for each eventuality and contingency would be impractical and prohibitively expensive, so one needs to develop foreknowledge, or foresight past the horizon of the present and the immediate future. The research mission in this study is to support strategic technology management by designing an effective and efficient scenario method to induce foresight to practicing managers. The design science framework guides this study in developing and evaluating the IDEAS method. The IDEAS method is an electronically mediated scenario method that is specifically designed to be an effective and accessible. The design is based on the state-of-the-art in scenario planning, and the product is a technology-based artifact to solve the foresight problem. This study demonstrates the utility, quality and efficacy of the artifact through a multi-method empirical evaluation study, first by experimental testing and secondly through two case studies. The construction of the artifact is rigorously documented as justification knowledge as well as the principles of form and function on the general level, and later through the description and evaluation of instantiations. This design contributes both to practice and foundation of the design. The IDEAS method contributes to the state-of-the-art in scenario planning by offering a light-weight and intuitive scenario method for resource constrained applications. Additionally, the study contributes to the foundations and methods of design by forging a clear design science framework which is followed rigorously. To summarize, the IDEAS method is offered for strategic technology management, with a confident belief that it will enable gaining foresight and aid the users to choose trajectories past the gales of creative destruction and off to a brighter future.

Det pedagogiska övervägandet : en uppmärksamhetsriktande studie i och genom humanvetenskaplig handlingsteori

Det övergripande syftet med avhandlingen är att bidra till en handlingsinriktad diskurs. Ambitionen är att rikta uppmärksamheten mot den pedagogiska övervägande handlingen genom att pröva konkreta exempel från en pedagogisk praktik mot en begreppsapparat inspirerad av den humanvetenskapliga handlingsteorin. Forskningsfrågorna lyder: Vad är en övervägande handling? Hur byggs den upp och vad förutsätter den? Bakgrunden till intresset att belysa den övervägande handlingen är en önskan att överbrygga klyftan mellan teori och praktik och att hitta ett sätt att samtala om ”tyst kunskap” och den konkreta pedagogiska verkligheten så att denna kan utvecklas på ett meningsfullt sätt. Förhållandet mellan intentionalitet och instrumentella handlingar är av särskilt intresse. Den aristoteliska begreppsapparaten som avser att belysa den mänskliga handlingen används i studien som både utgångspunkt och analysredskap. Retoriken ses som den vetenskap som kan beskriva och förklara hur vi skapar mening med hjälp av språket. Fyra fokussamtal med sammanlagt fem studerande på musikanimatörutbildningen genomfördes under vårterminen 2006. Referaten från samtalen bearbetades till en berättelse. I konstruktionen av berättelsen användes dels en fenomenologisk analys, dels narrativ bearbetning. De aristoteliska begreppen poíesis, praxis och theoria tillämpades och prövades på berättelsen varefter en retorisk analys genomfördes. Berättelsen visar två konkurrerande praxis. Utbildningen framstår i berättelsen dels som en horisontell ”alla kan”-utbildning, dels som en vertikal och lärarstyrd verksamhet. Berättelsen ger inte så många exempel på pedagogiska överväganden men tydliggör ändå den övervägande handlingen. Det pedagogiska övervägandet innebär ett väljande utifrån teoretiskt tänkbara och med praxis förenliga handlingsalternativ. Reflektion ingår i övervägandet men är inte detsamma som övervägande. Övervägandet är inte enbart en rationellt kalkylerande aktivitet. Holistiska och intuitiva procedurer är en viktig del i processen. Övervägande förutsätter dessutom ansvar.

One reason, several logics

Humans have used arguments for defending or refuting statements long before the creation of logic as a specialized discipline. This can be interpreted as the fact that an intuitive notion of "logical consequence" or a psychic disposition to articulate reasoning according to this pattern is present in common sense, and logic simply aims at describing and codifying the features of this spontaneous capacity of human reason. It is well known, however, that several arguments easily accepted by common sense are actually "logical fallacies", and this indicates that logic is not just a descriptive, but also a prescriptive or normative enterprise, in which the notion of logical consequence is defined in a precise way and then certain rules are established in order to maintain the discourse in keeping with this notion. Yet in the justification of the correctness and adequacy of these rules commonsense reasoning must necessarily be used, and in such a way its foundational role is recognized. Moreover, it remains also true that several branches and forms of logic have been elaborated precisely in order to reflect the structural features of correct argument used in different fields of human reasoning and yet insufficiently mirrored by the most familiar logical formalisms.

The relation between the general maxim of causality and the principle of uniformity in hume's theory of knowledge

ABSTRACT When Hume, in the Treatise on Human Nature, began his examination of the relation of cause and effect, in particular, of the idea of necessary connection which is its essential constituent, he identified two preliminary questions that should guide his research: (1) For what reason we pronounce it necessary that every thing whose existence has a beginning should also have a cause and (2) Why we conclude that such particular causes must necessarily have such particular effects? (1.3.2, 14-15) Hume observes that our belief in these principles can result neither from an intuitive grasp of their truth nor from a reasoning that could establish them by demonstrative means. In particular, with respect to the first, Hume examines and rejects some arguments with which Locke, Hobbes and Clarke tried to demonstrate it, and suggests, by exclusion, that the belief that we place on it can only come from experience. Somewhat surprisingly, however, Hume does not proceed to show how that derivation of experience could be made, but proposes instead to move directly to an examination of the second principle, saying that, "perhaps, be found in the end, that the same answer will serve for both questions" (1.3.3, 9). Hume's answer to the second question is well known, but the first question is never answered in the rest of the Treatise, and it is even doubtful that it could be, which would explain why Hume has simply chosen to remove any mention of it when he recompiled his theses on causation in the Enquiry concerning Human Understanding. Given this situation, an interesting question that naturally arises is to investigate the relations of logical or conceptual implication between these two principles. Hume seems to have thought that an answer to (2) would also be sufficient to provide an answer to (1). Henry Allison, in his turn, argued (in Custom and Reason in Hume, p. 94-97) that the two questions are logically independent. My proposal here is to try to show that there is indeed a logical dependency between them, but the implication is, rather, from (1) to (2). If accepted, this result may be particularly interesting for an interpretation of the scope of the so-called "Kant's reply to Hume" in the Second Analogy of Experience, which is structured as a proof of the a priori character of (1), but whose implications for (2) remain controversial.

General terms and rigidity: another solution to the trivialization problem

In this paper I am concerned with the problem of applying the notion of rigidity to general terms. In Naming and Necessity, Kripke has clearly suggested that we should include some general terms among the rigid ones, namely, those common nouns semantically correlated with natural substances, species and phenomena, in general, natural kinds -'water', 'tiger', 'heat'- and some adjectives -'red', 'hot', 'loud'. However, the notion of rigidity has been defined for singular terms; after all, the notion that Kripke has provided us with is the notion of a rigid designator. But general terms do not designate single individuals: rather, they apply to many of them. In sum, the original concept of rigidity cannot be straightforwardly applied to general terms: it has to be somehow redefined in order to make it cover them. As is known, two main positions have been put forward to accomplish that task: the identity of designation conception, according to which a rigid general term is one that designates the same property or kind in all possible worlds, and the essentialist conception, which conceives of a rigid general term as an essentialist one, namely, a term that expresses an essential property of an object. My purpose in the present paper is to defend a particular version of the identity of designation conception: on the proposed approach, a rigid general term will be one that expresses the same property in all possible worlds and names the property it expresses. In my opinion, the position can be established on the basis of an inference to the best explanation of our intuitive interpretation and evaluation, relative to counterfactual circumstances, of statements containing different kinds of general terms, which is strictly analogous to our intuitive interpretation and evaluation, relative to such circumstances, of statements containing different kinds of singular ones. I will argue that it is possible to offer a new solution to the trivialization problem that is thought to threaten all versions of the identity of designation conception of rigidity. Finally, I will also sketch a solution to the so-called 'over-generalization and under-generalization problems', both closely related to the above-mentioned one.

TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY

Abstract In this paper we present a philosophical motivation for the logics of formal inconsistency , a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC , a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence.

Configuration management process improvement : a case study of a Pan-Nordic insurance company

Configuration management is often seen as an enabler for the main IT Service Management (ITSM) processes such as Incident and Problem management. A decent level of quality of IT configuration data is required in order to carry out routines of these processes. This case study examines the state of configuration management in a multinational organization and aims at identification of methods for its improvement. The author has stayed five months with this company in order to collect different sources of evidence and to make observations. The main source of data for this study is interviews with some of the key employees of the assigned organization who are involved into the ITSM processes. This study concludes the maturity level of the existing configuration management process to be repeatable but intuitive, and outlines the principal requirements for its improvement. A match between the requirements identified in the organization and the requirements stated in the ISO/IEC 20000 standard indicates the possibility of adopting ITIL guidelines as a method for configuration management process improvement. The outcome of the study presents a set of recommendations for improvement that considers the process, the information model and the information system for configuration management in the case organization.

Det planlagda och det som visar sig : klasslärarstuderandes syn på undervisning i teknisk slöjd

Sloyd as an activity concretizes man’s ability to, with the help of mind and body, reshape materials into objects and change her conditions for survival. The sloyd actor outside school works when the spirit moves her, while the pupil in school is expected to sloyd regardless of motivation. Subject teachers become experts on sloyd in educational settings, while the qualification requirements may set the class teachers’ voluntariness within parenthesis. All class teachers qualify to teach all core subjects of the national curriculum in Finland from preschool to grade six. The aim of the current thesis is to deepen the knowledge on how the science of sloyd education can support class teacher students’ future teaching in sloyd. In the empirical part of the study, Swedish-speaking Finnish class teacher students’ views on technical sloyd as one of their future subjects for teaching are examined. The class teacher’s qualifying skills in teaching technical sloyd are expected to take shape during only a few ECTS study points. The teacher students’ experience of the subject from the pupil’s perspective is supposed to move into a budding teacher subject. In a research-based teacher education, self-reflection and reflection as a dialogue are extended aided by research results. Intuitive thinking interplays with rational thinking during this time. The teacher student’s approach to make use of the autonomous free space in teaching is, in the current thesis, as considerations where the individual weighs the pros and cons in relation to various phenomena in sloyd and the school overall. The basis for an individual autonomy is shaped and is expected to interplay on the common arena of autonomy. In the exercise of their profession, the class teacher teaching sloyd is expected to oscillate between the sloyd educational practice and theory. The first step in this movement within the teacher education is the coverage of a selection of theories during the studies. The empirical part of the study is carried out at two separate occasions with directed open-ended interviews with fifteen class teacher students in the beginning and end of their first year of study. The data was analysed with a hermeneutic approach and a qualitatively oriented approach to content analysis. The results are mirrored against theory within the science of sloyd education. The results show that class teacher students have a versatile view of educational sloyd. The overall results overthrow parts of the researcher’s pre-understanding. The viewpoint of the students seems to broaden from a merely manual activity to seeing sloyd as an educational activity. In order for the results to gain significance in the teacher education of the future, a line of reasoning is conducted in order to recommend an extended dialogue and thirteen possible themes for enriching discussions are put forth as a result of the present study. The extended dialogue focuses on that teacher education should make conscious ventures to create opportunities for the students to take part in effective discussions on the subject of sloyd, complementing the existing dialogue between the teacher educator and the students. This thesis lends support to reflections on the following aspects of educational sloyd in these dialogues: the reasons for why the sloyd subject exists, the ambitions of the subject, the content and organization of the subject for students as well as for the teacher educators.

Toward a-state-of-the-art IR copyright management system: a needs assessment

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Service oriented archive based on Fedora Commons

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Scheduling dynamic dataflow graphs with model checking

With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel architectures is considered difficult as the current popular programming languages are inherently sequential and introducing parallelism is typically up to the programmer. Dataflow, however, is inherently parallel, describing an application as a directed graph, where nodes represent calculations and edges represent a data dependency in form of a queue. These queues are the only allowed communication between the nodes, making the dependencies between the nodes explicit and thereby also the parallelism. Once a node have the su cient inputs available, the node can, independently of any other node, perform calculations, consume inputs, and produce outputs. Data ow models have existed for several decades and have become popular for describing signal processing applications as the graph representation is a very natural representation within this eld. Digital lters are typically described with boxes and arrows also in textbooks. Data ow is also becoming more interesting in other domains, and in principle, any application working on an information stream ts the dataflow paradigm. Such applications are, among others, network protocols, cryptography, and multimedia applications. As an example, the MPEG group standardized a dataflow language called RVC-CAL to be use within reconfigurable video coding. Describing a video coder as a data ow network instead of with conventional programming languages, makes the coder more readable as it describes how the video dataflows through the different coding tools. While dataflow provides an intuitive representation for many applications, it also introduces some new problems that need to be solved in order for data ow to be more widely used. The explicit parallelism of a dataflow program is descriptive and enables an improved utilization of available processing units, however, the independent nodes also implies that some kind of scheduling is required. The need for efficient scheduling becomes even more evident when the number of nodes is larger than the number of processing units and several nodes are running concurrently on one processor core. There exist several data ow models of computation, with different trade-offs between expressiveness and analyzability. These vary from rather restricted but statically schedulable, with minimal scheduling overhead, to dynamic where each ring requires a ring rule to evaluated. The model used in this work, namely RVC-CAL, is a very expressive language, and in the general case it requires dynamic scheduling, however, the strong encapsulation of dataflow nodes enables analysis and the scheduling overhead can be reduced by using quasi-static, or piecewise static, scheduling techniques. The scheduling problem is concerned with nding the few scheduling decisions that must be run-time, while most decisions are pre-calculated. The result is then an, as small as possible, set of static schedules that are dynamically scheduled. To identify these dynamic decisions and to find the concrete schedules, this thesis shows how quasi-static scheduling can be represented as a model checking problem. This involves identifying the relevant information to generate a minimal but complete model to be used for model checking. The model must describe everything that may affect scheduling of the application while omitting everything else in order to avoid state space explosion. This kind of simplification is necessary to make the state space analysis feasible. For the model checker to nd the actual schedules, a set of scheduling strategies are de ned which are able to produce quasi-static schedulers for a wide range of applications. The results of this work show that actor composition with quasi-static scheduling can be used to transform data ow programs to t many different computer architecture with different type and number of cores. This in turn, enables dataflow to provide a more platform independent representation as one application can be fitted to a specific processor architecture without changing the actual program representation. Instead, the program representation is in the context of design space exploration optimized by the development tools to fit the target platform. This work focuses on representing the dataflow scheduling problem as a model checking problem and is implemented as part of a compiler infrastructure. The thesis also presents experimental results as evidence of the usefulness of the approach.