The main topic of this diploma thesis is the collaboration software. This thesis is mainly focused on their description followed by their implementation into the international company. All important terms for this topic are explained and defined in the theoretical part of this thesis. It is the base for the next parts where author explains the criteria for choosing the most suited collaboration tool for the particular company. After describing and comparing products the most suitable tool is implemented into the companys environment. At the end the key functionality of this collaboration tool is explained and shown on few practical examples. The goal of this thesis is to provide the theoretical fundamentals about the software collaboration tools, compare the products available and finally implement the most suited one into the environment of the international company.

In a typical workflow process, exceptions are the norm. Exceptions are defined as deviations from the normal sequence of activities and events. Exceptions can be divided into two broad categories: known exceptions (i.e., expected and predefined deviations) and unknown exceptions (i.e., unexpected and undefined deviations). Business Process Execution Language (BPEL) has become the de facto standard for executing business workflows with the use of web services. BPEL includes exception handling methods that are sufficient for known exception scenarios. Depending on the exception and the specifics of the exception handling tools, processes may either halt or move to completion. Instances of processes that are halted or left incomplete due to unhandled exceptions affect the performance of the workflow process, as they increase resource utilization and process completion time. However, designing efficient process handlers to avoid the issue of unhandled exceptions is not a simple task. This thesis provides a tool that handles unknown exceptions using provisions for exception handling with the involvement of human activities by using the BPEL4PEOPLE specification. BPEL4PEOPLE, an extension of BPEL, offers the ability to specify human activities within BPEL processes. The approach considered in this thesis involves humans in exception handling tools by providing an alternate sub process within a given business process. A prototype application has been developed implementing the tool that handles unknown exceptions. The prototype application monitors the progress of an automated workflow process and permits human involvement to reroute the course of a workflow process when an unknown exception occurs. The utility of the prototype and the tool using the Scenario Walkthrough and Inspection Methods (SWIMs) are demonstrated. We demonstrate the utility of the tool through loan application process scenarios, and offer a walkthrough of the system by using examples of instances with examples of known and unknown exceptions, as well as a claims analysis of process instances results.

Orientador: Mauricio Ferreira Magalhães / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-08T01:16:08Z (GMT). No. of bitstreams: 1 Nader_MarcosVaninePortilhode_M.pdf: 1214383 bytes, checksum: 40e83a8be1c7e86e788d810a8799f6b8 (MD5) Previous issue date: 2006 / Resumo: Duas áreas importantes estão em desenvolvimento: Gerência de Processos de Negócios (Business Process Management) e Orquestração de Web Services (Web Services Orchestration). Ambas têm um objetivo que é integrar aplicações ou outros processos que tenham interfaces web services, usando o paradigma de processos de negócios. Uma linguagem que vem sendo difundida para essas aplicações é a BPEL (Business Process Execution Language). Este trabalho apresenta um framework aplicável à análise e verificação de processos de negócios escritos em BPEL através do uso de Pi-Calculus. Pi-Calculus é uma álgebra de processos que possui mecanismos formais para criação e ativação de processos que se comunicam através da troca de mensagens em canais, usando o modelo de rendezvous síncrono. Nesse framework, o processo BPEL é traduzido para um programa Pi-Calculus. Uma Máquina Virtual Pi-Calculus (MVP) recebe o programa Pi-Calculus e produz todas as reações possíveis, ou seja, gera todos os caminhos de execução que o programa pode seguir. A partir desse resultado, efetua-se a verificação de propriedades como: atendimento às especificações de mais alto nível, ordenação de eventos e ocorrência ou não de deadlocks. Em termos práticos, uma ferramenta desse tipo pode ser incorporada aos Sistemas de Gerência de Processos de Negócios (Business Process Management Systems - BPMS) para ampliar a cobertura de testes durante as fases de análise e implementação de um processo dentro do seu ciclo de vida. Nesses tipos de sistemas, a reparação de um erro durante a fase de execução é muito mais custosa que nos sistemas tradicionais / Abstract: Two important areas have been in development lately: Business Process Management and Web Service Orchestration. In both of them, the objective is to integrate applications with web services interface through business process paradigm. A number of languages have been proposed with consensus being formed around BPEL (Business Process Execution Language). This dissertation presents a framework for BPEL processes analysis and verification through Pi-Calculus. Pi-Calculus is a process algebra with formal mechanisms for processes creation and activation; these processes communicate sending and receiving messages through channels using the synchronous rendezvous model. In this framework, the BPEL process is translated to a Pi-Calculus program, A Pi-Calculus Virtual Machine (MVP) receives a Pi-calculus program and executes all possible reactions, that is, it generates all execution paths possible to be taken. With this result, the properties such as high-level specification accomplishment, events ordering and deadlock freedom are verified. In practical terms, a tool of this sort can be part of a Business Process Management System (BPMS) to broaden test coverage during the analysis and implementation phases within a process life cycle. In these kinds of systems, a repairing mistake during the execution phase is more complex than in traditional systems / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica

Under de senaste 10-20 åren har användandet av BIM-modellering i byggbranschen ökat. En BIMmodellbyggs upp med hjälp av BIM-objekt. Dessa BIM-objekt kan skapas av projektören men dekan också skapas av leverantören av den produkt som BIM-objektet representerar. En samling avBIM-objekt med liknande egenskaper eller utseende kallas för en objektfamilj. En objektfamilj kant.ex. vara en dörr eller ett fönster. En fördel med objektfamiljer generellt är att de endast behövermodelleras en gång, men kan sedan användas i många olika projekt.Syftet med denna studie är att underlätta leverantörens arbete med utvecklingen av deras BIMfamiljer.Studien är utförd i Autodesks BIM-plattform Revit.Arbetet inleddes med en litteraturstudie som utgjorde grunden för arbetet. Att undersöka ochutforska befintliga objektfamiljer var även det en stor del av förarbetet. Detta gjorde att vi skaffadeoss goda kunskaper om objektfamiljer som vi sedan utvecklade genom att vi själva modelleradeobjektfamiljer. Modelleringen gjorde att vi fick en bättre förståelse om det vi tidigare endast lästom.Resultatet blev en generell arbetsgång som kan användas vid skapandet av många olika typer avBIM-objekt. Arbetsgången förutsätter att man förstår de olika delarna som en familj är uppbyggdav, vilket beskrivs i rapporten.En slutsats är att modellering av objektfamiljer kan göras på flera olika sätt och att det är viktigt attfortlöpande testa sin modell. Vidare bör inte objektfamiljerna innehålla mer information ännödvändigt, eftersom det kan göra familjerna onödigt komplicerade och mindre användarvänliga.Objektfamiljer med mindre mängd information föredras därför framför stora och detaljrikaobjektfamiljer. Därmed undviks också onödig belastning på den programvara som används.Studien genomfördes i samarbete med Preconal som har för avsikt att ta fram Revitfamiljer försina produkter. Vi använde oss av deras produkter som underlag till modelleringen / Within the last 10-20 years, the usage of BIM-modeling in the construction sector has increased.BIM-modeling is used daily in different stages of the design process in Sweden. During the designprocess BIM-objects is used which is created by either the manufacturers or the planner. Theseobjects are created by a real product and is made to represent that in the program. The increase ofBIM usage has led to more disciplines that didn’t work with BIM has to adapt and start with that.The purpose of this study is to increase the understanding about the creation of object families formanufacturers. Besides the literature study about the subject we also describe the whole modellingprocess in Revit step by step. This because to give an example how it could be made.The result became a general workflow that is usable for most kinds of objects. The workflowrequires the reader to understand the different parts of an object family which we describe in thethesis.A conclusion is that a family could be built in different ways and it’s important to regularly testyour model. Furthermore, it should not contain more information than what is necessary. BIMobjectswith less information is often preferred over heavy and detailed BIM-objects. This will alsoprevent unnecessary load on the software.

Generating ideas and creating prototypes of physical products is a highly non-linear and iterative process. Current tools divide this process into multiple discrete steps with different tools to support each of these steps such as CAD modelling, simulation and fabrication. We believe, design interfaces that combine different steps of the process and create different layers of abstraction depending on the type of the user and where they are in the process can support users in generating more creative ideas and creating better functioning prototypes more efficiently. In order to validate this, we developed three interfaces- a sketch-based ideation tool, a live programming interface to create IoT devices and a design tool to support design and fabrication of hand wearables. The foundation of these design interfaces is the layer of abstraction that allows users to focus on idea generation and converting it into a tangible prototype with little or no technical knowledge, and a continuous visual feedback that guides the user to make necessary changes to improve their design. The three tools were evaluated through user testing for supporting creation of different ideas and converting them into functional prototypes.

The purpose of this master’s thesis is a design of the robotic cell for spot welding followed by manipulation with parts assigned for automotive industry. The cell should consist of a rotary table operated by a process operator and set of six-axis robots for spot welding and manipulation with parts. The thesis also describes the design of the end effectors of all robots, the design of rotary table with regard to welding technology and configuration of the cell to obtain maximal efficiency. The output of the thesis is 3D model, workflow simulation, evaluation of the production times and operator work conditions.

The thesis deals with workflow design and its implementation in a construction company. The current state of document management is becoming obsolete and insufficient. Thus the company´s board has approved the realization of workflow system. The aim of this thesis is therefore analysis of company´s related processes and design of a workflow model. In addition, the new model is required to be linked with present financial and managerial accounting systems and allow for future adjustments and modifications. Final output of this thesis consists of workflow process maps, risk assessment, budget and time plan of realization.

FPGAs are of interest in the signal processing domain as they provide the opportunity to run algorithms at very high speed. One possible use case is to sort incoming data in a measurement system, using e.g. a histogram method. Developing code for FPGA applications usually requires knowledge about special languages, which are not common knowledge in the signal processing domain. High-level synthesis is an approach where high-level languages, as MATLAB or C++, can be used together with a code generation tool, to directly generate an FPGA ready output. This thesis uses the development of a histogram as a test case to investigate the efficiency of three different tools, HDL Coder in MATLAB, HDL Coder in Simulink and System Generator for DSP in comparison to the direct development of the same histogram in Vivado using Verilog. How to write and structure code in these tools for proper functionality was also examined. It has been found that all tools deliver an operation frequency comparable to a direct implementation in Verilog, decreased resource usage, a development time which decreased by 27% (HDL Coder in MATLAB), 45% (System Generator) and 64% (HDL Coder in Simulink) but at the cost of increased power consumption. Instructions for how to use all three tools has been collected and summarised. / I ingångssteget på ett mätsystem är det av intresse att använda en FPGA för att uppnå höga hastigheter på de oundvikliga datafiltrering och sorterings algoritmer som körs. Ett problem med FPGAer är att utvecklingen ställer höga krav på specifik kunskap gällande utvecklingsspråk och miljöer vilket för en person specialiserad inom t.ex. signalbehandling kan saknas helt. HLS är en metodik där högnivåspråk kan användas för digital design genom att nyttja ett verktyg för automatgenerering av kod. I detta arbete har utveckling av ett histogram använts som testfall för att utvärdera effektivitet samt designmetodik av tre olika HLS verktyg, HDL Coder till MATLAB, HDL Coder till Simulink och System Generator for DSP. Utvecklingen i dessa verktyg har jämförts mot utvecklingen av samma histogram i Vivado, där språket Verilog använts. Arbetets slutsater är att samtliga verktyg som testats leverar en arbetsfrekvens som är jämförbar med att skriva histogrammet direkt i Verilog, en minskad resursanvändning, utvecklingstid som minskat med 27% (HDL Coder i MATLAB), 45% (System Generator) och 64% (HDL Coder i Simulink) men med en ökad strömförbrukning. En sammanställning av instruktioner för utveckling med hjälp av verktygen har även gjorts.

Die Dissertation beschäftigt sich mit der automatischen Erkennung chirurgischer Aktivitäten im Operationssaal, welche einen wichtigen Bestandteil im automatischen chirurgischen Assistenzprozess darstellt. Die automatische Assistenz ist eine der wichtigen Entwicklungen bei der fortschreitenden Technisierung in der Chirurgie. Es werden Anforderungen an ein Erkennungssystem definiert sowie ein entsprechendes Erkennungsmodell entworfen und untersucht. Die Evaluation bedient sich simulierter chirurgischer Eingriffe mit hoher Realitätsnähe. Die Ergebnisse zeigen eine grundlegende Eignung des Modells für die automatische Aktivitätserkennung multipler Eingriffstypen. Mögliche Weiterentwicklungen könnten die vorgestellte Lösung weiter vorantreiben.

Die Technische Universität Chemnitz startete 1995 als eine der ersten Einrichtungen mit dem Aufbau eines Volltextarchives unter dem Namen "Multimedia Online Archiv Chemnitz" (MONARCH). Durch die enge Zusammenarbeit von Universitätsrechenzentrum und Universitätsbibliothek ist MONARCH seitdem kontinuierlich weiterentwickelt worden, so dass für die Archivierung immer bessere Voraussetzungen bestehen. Die Serviceleistungen wurden erweitert und die Verarbeitung der Daten verbessert. Die Präsentation gibt Einblick in die Verknüpfung zwischen MONARCH und Bibliothek. Während das Rechenzentrum auf edv-technische Angelegenheiten spezialisiert ist (Datenformate, Unversehrtheit der Dokumente, Verarbeitung der Daten, Automatisierung von Arbeitsgängen, z.B. Meldungen an die Deutsche Bibliothek und den Südwestdeutschen Bibliotheksverbund Baden-Württemberg...), bearbeitet die Bibliothek in der Arbeitsgruppe MONARCH die bibliothekarischen Aufgaben. So wurden z.B. FAQ's und Hilfetexte erstellt, Formulare entworfen, Layoutfragen und Urheberrechtsprobleme diskutiert usw. Die Auskunfts- und Informationstätigkeit zu Online-Hochschulschriften wird beschrieben sowie der Geschäftsgang innerhalb der Bibliothek bis zum Nachweis der elektronischen Hochschulschriften im Volltext im OPAC der Universitätsbibliothek Chemnitz. In Zukunft wollen wir uns vor allem um die Verbesserung der Nutzerbetreuung und der Autorenberatung bemühen, besonders hinsichtlich der Vorbereitung und Durchführung der Archivierung sowie bei der Recherche nach archivierten Publikationen. Dabei soll die Eigenständigkeit und Verantwortung der Autoren bei der Archivierung gefördert werden. Unsere Aktivitäten erweitern wir auf eine enge Zusammenarbeit mit den Promotionsausschüssen der Fakultäten. Erfahrungswerte werden an dieser Stelle vermittelt. Abschließend wird ein Einblick in die zukünftigen Aufgaben zur Entwicklung von MONARCH gegeben.