Model-based objects recognition in man-made environments

We describe a model-based objects recognition system which is part of an image interpretation system intended to assist autonomous vehicles navigation. The system is intended to operate in man-made environments. Behavior-based navigation of autonomous vehicles involves the recognition of navigable areas and the potential obstacles. The recognition system integrates color, shape and texture information together with the location of the vanishing point. The recognition process starts from some prior scene knowledge, that is, a generic model of the expected scene and the potential objects. The recognition system constitutes an approach where different low-level vision techniques extract a multitude of image descriptors which are then analyzed using a rule-based reasoning system to interpret the image content. This system has been implemented using CEES, the C++ embedded expert system shell developed in the Systems Engineering and Automatic Control Laboratory (University of Girona) as a specific rule-based problem solving tool. It has been especially conceived for supporting cooperative expert systems, and uses the object oriented programming paradigm

The Transformation of Practical Teaching Focusing on Dialogic Learning

This study investigates the transformation of practical teaching in a Catalan school, connected to the design, implementation and development of project-based learning, and focusing on dialogic learning to investigate its limits and possibilities. Qualitative and design-based research (DBR) methods are applied. These methods are based on empirical educational research with the theory-driven of learning environments. DBR is proposed and applied using practical guidance for the teachers of the school. It can be associated with the current proposals for Embedding Social Sciences and Humanities in the Horizon 2020 Societal Challenges. This position statement defends the social sciences and the humanities as the most fundamental and important ideas to face all societal challenges. The results of this study show that before the training process, teachers apply dialogic learning in specific moments (for example, when they speak about the weekend); however, during the process and after the process, they work systematically with dialogic learning through the PEPT: they start and finish every activity with a individual and group reflection about their own processes, favouring motivation, reasoning and the implication of all the participants. These results prove that progressive transformations of teaching practice benefit cooperative work in class

Improved Privacy-Preserving P2P Multimedia Distribution Based on Recombined Fingerprints

Peer-reviewed

Parallella, dynamiska representationer i gymnasiefysiken : implementering av ett interaktivt datorverktyg i didaktiska situationer och uppfattning av effektivt lärande

The computer is a useful tool in the teaching of upper secondary school physics, and should not have a subordinate role in students' learning process. However, computers and computer-based tools are often not available when they could serve their purpose best in the ongoing teaching. Another problem is the fact that commercially available tools are not usable in the way the teacher wants. The aim of this thesis was to try out a novel teaching scenario in a complicated subject in physics, electrodynamics. The didactic engineering of the thesis consisted of developing a computer-based simulation and training material, implementing the tool in physics teaching and investigating its effectiveness in the learning process. The design-based research method, didactic engineering (Artigue, 1994), which is based on the theoryof didactical situations (Brousseau, 1997), was used as a frame of reference for the design of this type of teaching product. In designing the simulation tool a general spreadsheet program was used. The design was based on parallel, dynamic representations of the physics behind the function of an AC series circuit in both graphical and numerical form. The tool, which was furnished with possibilities to control the representations in an interactive way, was hypothesized to activate the students and promote the effectiveness of their learning. An effect variable was constructed in order to measure the students' and teachers' conceptions of learning effectiveness. The empirical study was twofold. Twelve physics students, who attended a course in electrodynamics in an upper secondary school, participated in a class experiment with the computer-based tool implemented in three modes of didactical situations: practice, concept introduction and assessment. The main goal of the didactical situations was to have students solve problems and study the function of AC series circuits, taking responsibility for theirown learning process. In the teacher study eighteen Swedish speaking physics teachers evaluated the didactic potential of the computer-based tool and the accompanying paper-based material without using them in their physics teaching. Quantitative and qualitative data were collected using questionnaires, observations and interviews. The result of the studies showed that both the group of students and the teachers had generally positive conceptions of learning effectiveness. The students' conceptions were more positive in the practice situation than in the concept introduction situation, a setting that was more explorative. However, it turned out that the students' conceptions were also positive in the more complex assessment situation. This had not been hypothesized. A deeper analysis of data from observations and interviews showed that one of the students in each pair was more active than the other, taking more initiative and more responsibilityfor the student-student and student-computer interaction. These active studentshad strong, positive conceptions of learning effectiveness in each of the threedidactical situations. The group of less active students had a weak but positive conception in the first iv two situations, but a negative conception in the assessment situation, thus corroborating the hypothesis ad hoc. The teacher study revealed that computers were seldom used in physics teaching and that computer programs were in short supply. The use of a computer was considered time-consuming. As long as physics teaching with computer-based tools has to take place in special computer rooms, the use of such tools will remain limited. The affordance is enhanced when the physical dimensions as well as the performance of the computer are optimised. As a consequence, the computer then becomes a real learning tool for each pair of students, smoothly integrated into the ongoing teaching in the same space where teaching normally takes place. With more interactive support from the teacher, the computer-based parallel, dynamic representations will be efficient in promoting the learning process of the students with focus on qualitative reasoning - an often neglected part of the learning process of the students in upper secondary school physics.

A bridge between engineering and language learning : automation and German in an online course

Artikkeli luettavissa osassa: Part 2. - ISBN 9789522163172(PDF). - Liitteenä työpaperi

Formal development and quantitative verification of dependable systems

-

Maintaining supply performance during an ERP system implementation phase : case Cloetta Suomi Oy

Implementing an enterprise resource planning (ERP) system often means a major change to an organization and involves significant risks. It is typical that many of the ERP system implementations fail resulting in tremendous damage to the business. Moreover, running normal business operations during an ERP system implementation is far more complicated than normally. This thesis focuses on how an organization should manage the ERP system implementation process in order to maintain supply performance during the implementation phase. The theoretical framework in this thesis focuses on ERP system implementations with a critical success factor approach. Critical success factors can be divided into strategic and tactical level success factors. By considering these critical success factors, ERP system implementation project’s timeline and best practices of an ERP implementation, a critical success factor based ERP system implementation management framework is presented. The framework can be used as a theoretical framework when the goal is to avoid ERP system implementation phase issues that are driven by the ERP system implementation project and that may decrease organization’s supply performance. This thesis is a case study that was written on an assignment to a confectionary company Cloetta Suomi Oy. In order to collect data, interviews of the case company personnel were conducted. In addition, several other data collection methods were used throughout the research process. These data collection methods include examination of presentations and archival records as well as direct observations in case company meetings and in various work duties. The results of this thesis indicate that there are several factors that may decrease organization’s supply performance during the ERP system implementation. These issues are categorized under external and internal issues and further into six risk drivers that are suppliers, customers, products, staff, information systems and other projects. After the description and categorization of each issue, the thesis focuses on finding solutions on how to avoid or mitigate the impact of these issues on the organization’s supply performance. This examination leads to several operational activities that are also practical to business practitioners. It is also stated that a successful ERP system implementation that also causes minimal disturbance to organization’s supply performance during the ERP system implementation, is achieved by considering three levels of actions.

Model-Based Management

Tämä kandidaatintyö on kirjallisuustutkimus, joka selventää lukijalle mitä tarkoittaa käsite Model-Based Management (MBM). Työssä tarkastellaan keskeisiä suuntauksia, joihin MBM pohjautuu. Lisäksi tutkitaan miksi MBM on kehittynyt ja miten sitä voidaan hyödyntää yrityksissä. Nykyiset käytössä olevat johtamismallit ovat aikaansa jäljessä, eivätkä ne hyödynnä nykyteknologian luomia mahdollisuuksia. Teknologian kehityksen myötä tiedonsaanti on helpottunut ja monipuolistunut. Globalisaation seurauksena organisaatioiden toimintaympäristöt ovat monimutkaistuneet ja organisaatioiden rakenteet ovat muuttuneet. Tiedonsaannin helppous yhdistettynä yritysten monimutkaisiin rakenteisiin aiheuttaa ongelmia yrityksen johtamisen ja hallinnan kannalta. Johtajat eivät kykene ymmärtämään kokonaisuuksia, joiden kanssa he ovat tekemisissä. Kokonaisuuksien ymmärtämisessä hyödynnetään systeemiajattelua ja mallintamista. Malleja on käytetty yrityksissä jo pitkään johtamisen apuna. MBM pohjautuu siihen, että mallit ovat johtamisen lähtökohta. Mallit auttavat ymmärtämään kokonaisuuksia ja hahmottamaan eri tekijöiden yhteyksiä toisiinsa. MBM:n näkökulmasta organisaation rakenteiden mallintaminen on elintärkeää sen toimintakyvyn kannalta.

Rigorous development of safety-critical systems

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.

Control of Robot by Means of Human Thought

Brain computer interface (BCI) is a kind of human machine interface, which provides a new interaction method between human and computer or other equipment. The most significant characteristic of BCI system is that its control input is brain electrical activities acquired from the brain instead of traditional input such as hands or eyes. BCI technique has rapidly developed during last two decades and it has mainly worked as an auxiliary technique to help the disable people improve their life qualities. With the appearance of low cost novel electrical devices such as EMOTIV, BCI technique has been applied to the general public through many useful applications including video gaming, virtual reality and virtual keyboard. The purpose of this research is to be familiar with EMOTIV EPOC system and make use of it to build an EEG based BCI system for controlling an industrial manipulator by means of human thought. To build a BCI system, an acquisition program based on EMOTIV EPOC system is designed and a MFC based dialog that works as an operation panel is presented. Furthermore, the inverse kinematics of RV-3SB industrial robot was solved. In the last part of this research, the designed BCI system with human thought input is examined and the results indicate that the system is running smoothly and displays clearly the motion type and the incremental displacement of the motion.

Successful scale-up of human embryonic stem cell production in a stirred microcarrier culture system

Future clinical applications of human embryonic stem (hES) cells will require high-yield culture protocols. Currently, hES cells are mainly cultured in static tissue plates, which offer a limited surface and require repeated sub-culturing. Here we describe a stirred system with commercial dextran-based microcarriers coated with denatured collagen to scale-up hES cell production. Maintenance of pluripotency in the microcarrier-based stirred system was shown by immunocytochemical and flow cytometry analyses for pluripotency-associated markers. The formation of cavitated embryoid bodies expressing markers of endoderm, ectoderm and mesoderm was further evidence of maintenance of differentiation capability. Cell yield per volume of medium spent was more than 2-fold higher than in static plates, resulting in a significant decrease in cultivation costs. A total of 10(8) karyotypically stable hES cells were obtained from a unitary small vessel that needed virtually no manipulation during cell proliferation, decreasing risks of contamination. Spinner flasks are available up to working volumes in the range of several liters. If desired, samples from the homogenous suspension can be withdrawn to allow process validation needed in the last expansion steps prior to transplantation. Especially when thinking about clinical trials involving from dozens to hundreds of patients, the use of a small number of larger spinners instead of hundreds of plates or flasks will be beneficial. To our knowledge, this is the first description of successful scale-up of feeder- and Matrigel™-free production of undifferentiated hES cells under continuous agitation, which makes this system a promising alternative for both therapy and research needs.