Applying Co-Simulation for an Industrial Conveyor System

This paper describes an industrial application of a new research technology enabling the co-simulation of models in continuous time and discrete event respectively. The application concerns modeling of a conveyor system with trolleys that has tilting capabilities that can be used to compensate for high speeds in curves in order to avoid parcels falling of the trolleys. The main challenge for this kind of physical system is that a system solution here requires both insight into the mechanical physics behavior as well as ways in which the system can be controlled discretely by a software based solution. This paper demonstrates how it is possible to bridge the gap between these two different disciplines in co-simulated models

Co-simulation of Continuous Systems: A Tutorial

Co-simulation consists of the theory and techniques to enable global simulation of a coupled system via the composition of simulators. Despite the large number of applications and growing interest in the challenges, the field remains fragmented into multiple application domains, with limited sharing of knowledge. This tutorial aims at introducing co-simulation of continuous systems, targeted at researchers new to the field

Subjektivitet i fortællinger

Udsigelsens fortolkninger Subjectivity in Narratives: Interpretations of EnunciationAn ongoing discussion in literary theory is about whether the narrative text generally, has narrator or not. The respectively positive and negative interpretations illustrate two paradigms in the narrative theory. Gorm Larsen shows that the two positions are connected by the concept of enunciation: Käte Hamburger and Émile Benveniste introduced the concept of enunciation and argued at the same time that only I-narratives have a structure of enunciation. In the view of poststructural theory this has been radicalised into a complete denial of the narrator. Gorm Larsen argues however that the different interpretations of enunciation are not in conflict with each other, but – from a narratological and structural point of view – a matter of different levels on which subjectivity in narrative can be understood; this shows that subjectivity in narrative is a complex state of affairs

The 14th Overture Workshop: Towards Analytical Tool Chains

This report contains the proceedings from the 14th Overture workshop organized in connection with the Formal Methods 2016 symposium. This includes nine papers describing different technological progress in relation to the Overture/VDM tool support and its connection with other tools such as Crescendo, Symphony, INTO-CPS, TASTE and ViennaTalk

Semantics of the VDM Real-Time Dialect

All formally defined languages need to be given an unambiguous semantics such that the meaning of all models expressed using the language is clear. In this technical report a semantic model is provided for the Real-Time dialect of the Vienna Development Method (VDM). This builds upon both the formal semantics provided for the ISO standard VDM Specification Language, and on other work on the core of the VDM-RT notation. Although none of the VDM dialects are executable in general, the primary focus of the work presentedhere is on the executable subset. This focus is result of parallel work on an interpreter implementation for VDM-RT that chooses one of the pos-sible interpretations of a given model that is expressed in VDM-RT, based on the semantics presented here

Æstetik og æstetisering

In this issue of Academic Quarter we present a number of different perspectives on the subject of Aestheticization. Our aim is that the present introduction may serve as a suitable frame of reference to the contributions. In order to obtain this, we have chosen a historical structure that takes its point of departure in the rise of philosophical aesthetics during early modernity, from Baumgarten, Kant to Hegel. The contributions of these philosophers on cognitive processes, the beauty of art and nature reflect the development of the modern individualistic subject and the rise of a modern bourgeois culture of education and good manners. In a further perspective, it seems that an emerging late modern culture is developing that breaks away from positions within classic philosophical aesthetics. Resent works of current philosophers and sociologists, among them Wolfgang Welsch, Gernot Böhme and Andreas Reckwitz point to the rise of an aesthetic economy that has given rise to a culture of singularity. I.e. a culture, where an academic middle-class, well-educated within new digital media, has adopted a life style where professional and personal success depends on your ability to stage yourself and your life successfully with unique objects and features. This has led to a general pursuit for culturally authentic objects, and therefore an increasing aestheticization of the world outside the world of art