Applications 2023-12-08 - 2024-03-28
COURSE DESCRIPTION
ROS (Robot Operating System) is a common set of tools used in academia to do research within autonomous systems. It shortly provides a middleware for handling communication, as well as interfacing sensors and actuators, visualization, simulation and datalogging and infrastructure where it is easy to share your own methods and algorithms. The latter has allowed a large set of different of state-of-the-art research approaches to be readily available for downloading. Due to its popularity it is also getting more widespread in the industrial community, especially in R&D. This course will give you hands-on experience how to utilize these tools and apply them to a problem of your choice.
The aim of this course is to give students insight about certification and about what it means to certify/self-assess safety- critical systems with focus on software system and to create a safety case, including a multi-concern perspective when needed and reuse opportunities, when appropriate.
This course provides an understanding of the fundamental problems in software testing, as well as solid foundation in the practical methods and tools for a systematic state-of-the-art approach to testing of software.
Do you want to be efficient, effective and minimize waste by learning and implementing lean production tools? This course provides insight into the demands and challenges posed by competitive production in industrial production systems and develops your ability to participate in and to drive improvement work. The course focuses on efficient lean production. Through theory and project work, you will learn useful techniques, methods and strategies. You will obtain the necessary knowledge and training to carry out value stream mapping and other forms of improvement work. The course offers current and competitive knowledge through its close links with our successful research and partner companies. It provides basic knowledge and understanding of the modern view of lean production in industrial activity.
Would you like to know what Industry 4.0 is about? Then this course is for you! In the course, we look at enabling technologies of Industry 4.0 from a human and industrial perspective. The course covers many topics and you will learn the basic terminology related to Industry 4.0 as well as insight and understanding of the Fourth Industrial Revolution and how it is set to affect industry and individuals.
Answer Set Programming (ASP) is a declarative programming paradigm designed within the field of Artificial Intelligence (AI), and used to solve complex search-problems. The declarative nature of ASP allows one to encode a problem by means of logic. In this way, unlike in imperative programming approaches, there is no need to design an algorithm as a solution for the given problem. In this sense, ASP is comparable with SAT-based encoding or constraint satisfaction problems. However, due to its stable-model semantics, ASP provides a richer representation language useful to handle uncertain situations more effectively for real world scenarios. The advantages of declarative programming together with non-monotonic nature of ASP in handling uncertainties have recently made ASP more attractive both for academia and industry. This course focuses on formalizing and solving various search problems in planning, scheduling and system configuration in ASP.
Målet med kursen är att ge lärare fortbildning inom ämnet djurvälfärd och hållbarhet. Kursens mål är också att ge lärare inspiration att designa sin egen undervisning, att ge lärare möjlighet att ta till sig ny forskning och att dela med sig av läraktiviteter som kan användas av fler.