Learn More
This case study compares the usefulness and applicability of eight computer tools with respect to the validation of logic control programs for continuous processes. Six simulation packages (Taylor's MATLAB-based simulator, SIMULINK/STATEFLOW, GPROMS, SHIFT, DYMOLA, and BASIP) and two verification tools (SMV and HYTECH) were applied to a single process(More)
Strong interaction of innovative actors within a local network is commonly said to increase the region-specific knowledge-stock, leading to a comparative advantage. However, it might also lead to a lock-in situation, if local trajectories are directed towards inferior solutions. Accordingly, it is argued that successful clusters are characterised by the(More)
We apply social network analysis methods to describe the evolution of the innovator network of Jena, Germany in the period from 1995 to 2001. We find this evolution to be directed towards an increasing focus on core competencies of the local innovation system. Further we analyze the network resulting from R&D co-operations and explain-by means of network(More)
Skeleton extraction and visualization of 3D reconstructed target objects from multiple views continues to be a major challenge in terms of providing intuitive and uncluttered images that allow the users to understand their data. This paper presents a three-dimensional skeleton extraction technique of deformable objects based on a normalized gradient vector(More)
Since most of the design of chemical plants today is still carried out manually and is based on time consuming experts' discussions, there is a considerable incentive to develop model-based techniques. This contribution focuses on supporting the investigation of safety-related issues by discrete event models. We describe how the plant's physical behaviour(More)