No description available.

Smart building's benefits range from improving comfort of occupant, increased productivity, reduction in energy consumption and operating costs, lower CO2 emission, to improved life cycle of utilities, efficient operation of building systems, etc. [65]. Hence, modern building owners are turning towards smart buildings. However, the current smart buildings mostly are not capable of achieving the objectives they are designed for and they can improve a lot better [22]. Therefore, a new technology called, Internet of Things, or IoT, is combined with the smart buildings to improve their performance [23]. IoT is the inter-networking of things embedded with electronics, software, sensors, actuators, and network connectivity to collect and exchange data, and things in this definition is anything and everything around us and even ourselves. Using this technology, e.g. a door can be a thing and can sense how many people have passed it's sensor to enter a space and let the lighting system know to prepare appropriate amount of light, or the HVAC (Heating Ventilation Air Conditioning) system to provide desirable temperature. IoT will provide a lot of useful information that before that accessibility to it was impossible, e.g., condition of water pipes in winter, which helps avoiding damages like frozen or broken pipes. However, despite all the benefits, IoT suffers from being vulnerable to cyber attacks. Examples have been provided later in Chapter 1. In this project among building systems, HVAC system is chosen to be automated with a new control method called MPC (Model Predictive Control). This method is fast, very energy efficient and has a lower than 0.001 rate of error for regulating the space temperature to any temperature that the occupants desire according to the results of this project. Furthermore, a PID (Proportional–Integral–Derivative) controller has been designed for the HVAC system that in the exact same cases MPC shows a much better performance. To design controllers for HVAC system and set the temperature to the desired value a method to automate balancing the heat flow should be found, therefore a thermal model of building should be available that using this model, the amount of heat, flowing in and out of a space in the building disregarding the external weather would be known to estimate. To automate the HVAC system using the programming languages like MATLAB, there is a need to convert the thermal model of the building to a mathematical model. This mathematical model is unique for each building depending on how many floors it has, how wide it is, and what materials have been used to construct the building. This process is needs a lot of effort and time even for buildings with 2 floors and 2 rooms on each floor and at the end the engineer might have done it with error. In this project you will see a software that will do the conversion of thermal model of buildings in any size to their mathematical model automatically, which helps improving the HVAC controllers to set temperature to the value occupants desire and avoid errors and time loss which is put both into calculations and troubleshooting. In addition, a test environment has been designed and constructed as a cyber physical system that allows us to test the IoT- enabled control systems before implementing them on real buildings, observe the performance, and decide if the system is satisfying or not. Also, all cyber threats can be explored and the solutions to those attacks can be evaluated. Even for the systems that are already out there, there is an opportunity to be assessed on this testbed and if there is any vulnerability in case of cyber security, solutions would be evaluated and help the existing systems improve. / Master of Science / Buildings function as shelters more than any thing else, and this has allowed humans to use it as a space to store important things like private and important information. Therefore, this space should be safe and secure from any vulnerabilities for occupants and their information. Smart buildings, have made a great difference in increasing the comfort level of occupants, but they haven’t been greatly successful achieving their objectives [50]. Therefore, a new technology called, Internet of Things, or IoT, is combined with the smart buildings to improve their performance [23]. IoT is the inter-networking of things embedded with electronics, software, sensors, actuators, and network connectivity to collect and exchange data, and things in this definition is anything and everything around us and even ourselves. Internet of Things (IoT) has helped improving the smart buildings and getting a considerable amount of energy efficiency [27]. But adding Internet of Things has added a network of things connected to internet, which gives the cyber hackers an opportunity to hack the buildings, and get access to the information stored inside the building or put even occupants lives in danger. Therefore, in this thesis the following items have been contributed: • Designing and programming a novel control system for HVAC system of the buildings (Model Predictive Control): This is a new method to control HVAC system of buildings and in comparison with the methods available in the market, it is the most energy efficient, it is faster, and it has a lower error rate in following the desired temperature of the occupants. • Design and construction of IoT- enabled smart building testbed: Since cyber attacks make buildings vulnerable, the author believes it is better to build a test environment to simulate the buildings and the control methods that are used inside the buildings, and try to evaluate performance of the control methods before implementing them on real buildings. Also, by installing IoT sensors inside the test environment, the engineers can perform some cyber attack tests, and also evaluate the solutions for each attack on the testbed. • Design and program a software to convert thermal model of buildings to mathematical model : In designing a new control method for HVAC system of buildings, the first required information is the thermal model of the buildings. Eventually, there is a need to program. Thus, the thermal model should be converted to a mathematical model. However, there is a heavy manual calculation behind it that is really overwhelming, tiring, with a high possibility of error, and time-consuming even for a very small sized building. Therefore, automating this process in terms of a software that takes the information of thermal model of buildings as an input and giving the output of the mathematical model of building is a considerable achievement.

Le texte généré automatiquement a été utilisé dans de nombreuses occasions à des buts différents. Il peut simplement passer des commentaires générés dans une discussion en ligne à une tâche beaucoup plus malveillante, comme manipuler des informations bibliographiques. Ainsi, cette thèse introduit d'abord différentes méthodes pour générer des textes libres ayant trait à un certain sujet et comment ces textes peuvent être utilisés. Par conséquent, nous essayons d'aborder plusieurs questions de recherche. La première question est comment et quelle est la meilleure méthode pour détecter un document entièrement généré.Ensuite, nous irons un peu plus loin et montrer la possibilité de détecter quelques phrases ou un petit paragraphe de texte généré automatiquement en proposant une nouvelle méthode pour calculer la similarité des phrases en utilisant leur structure grammaticale. La dernière question est comment détecter un document généré automatiquement sans aucun échantillon, ceci est utilisé pour illustrer le cas d'un nouveau générateur ou d'un générateur dont il est impossible de collecter des échantillons dessus.Cette thèse étudie également l'aspect industriel du développement. Un aperçu simple d'un flux de travail de publication d'un éditeur de premier plan est présenté. À partir de là, une analyse est effectuée afin de pouvoir intégrer au mieux notre méthode de détection dans le flux de production.En conclusion, cette thèse a fait la lumière sur de multiples questions de recherche importantes concernant la possibilité de détecter des textes générés automatiquement dans différents contextes. En plus de l'aspect de la recherche, des travaux d'ingénierie importants dans un environnement industriel réel sont également réalisés pour démontrer qu'il est important d'avoir une application réelle pour accompagner une recherche hypothétique. / Automatically generated text has been used in numerous occasions with distinct intentions. It can simply go from generated comments in an online discussion to a much more mischievous task, such as manipulating bibliography information. So, this thesis first introduces different methods of generating free texts that resemble a certain topic and how those texts can be used. Therefore, we try to tackle with multiple research questions. The first question is how and what is the best method to detect a fully generated document.Then, we take it one step further to address the possibility of detecting a couple of sentences or a small paragraph of automatically generated text by proposing a new method to calculate sentences similarity using their grammatical structure. The last question is how to detect an automatically generated document without any samples, this is used to address the case of a new generator or a generator that it is impossible to collect samples from.This thesis also deals with the industrial aspect of development. A simple overview of a publishing workflow from a high-profile publisher is presented. From there, an analysis is carried out to be able to best incorporate our method of detection into the production workflow.In conclusion, this thesis has shed light on multiple important research questions about the possibility of detecting automatically generated texts in different setting. Besides the researching aspect, important engineering work in a real life industrial environment is also carried out to demonstrate that it is important to have real application along with hypothetical research.

With the development of the society, people are more willing to focus on their leisure activities. A growing number of new equipment are created nowadays. For example, automatic mahjong machine in China. Inspired by the automatic mahjong machine, we propose to add some devices on the billiard table to achieve sorting balls automatically. It includes recognition system, ball-separating system, and sorting system. We use Autodesk Inventor 2012 to model the billiards table. Some complex calculations and nonlinear analysis are completed by Matlab. Through our method, we can achieve the purpose of sorting balls automatically. / Med utvecklingen av samhället, människor är mer villiga att fokusera på sina fritidsaktiviteter. Ett växande antal av ny utrustning skapas nuförtiden. Till exempel, automatisk mahjong maskin i Kina. Inspirerad av den automatiska mahjong maskin, föreslår vi att lägga till några enheter på biljardbordet för att uppnå sorterings bollar automatiskt. Den innehåller igenkänningssystem, boll-separerar systemet, och sorteringssystem. Vi använder Autodesk Inventor 2012 för att modellera tabellen biljard. Vissa komplexa beräkningar och olinjär analys är klara med Matlab. Genom vår metod kan vi uppnå syftet att sortera bollar automatiskt.

Magister Legum - LLM

Cette thèse vise à proposer un modèle théorique et une méthodologie permettant d’effectuer des analyses linguistiques fines des textes, permettant de rendre compte des éléments utiles des courriers à savoir : le motif/objet du courrier, l’émetteur et le destinataire du courrier. L’approche doit permettre un traitement efficace des verrous technologiques du TAL, et spécialement le problème du figement et plus particulièrement des séquences verbales figées. Il s’agit d’un phénomène extrêmement fréquent dans toutes les langues, présenté comme une des sources de difficultés majeures pour la recherche d’information et la veille dans les documents dits non structurés. La thèse comprendra une partie applicative démontrant l’efficacité de la théorie proposee, et aboutissant à un système de traitement automatique des courriers. Par ailleurs, la démarche méthodologique aboutissant aux ressources linguistiques doit permettre de définir un outil d’apprentissage automatique de ces ressources qui pourra ainsi être appliqué à de nouveaux types de documents. / The aim of this thesis is to propose a theoretic model and a methodology to make fine linguistic text analysis. That can represent elements useful in mails like: message purposes, message addressee or sender. This approach must permit an efficient processing of NLP technology issues, especially in the fixity problematic and mainly on fixed verbal sequences. This phenomenon is extremely recurrent in all languages. It is introduced as a main issue for information retrieval in unstructured documents. This thesis will include an applicative part showing the relevance of the proposed theory and to make a system to automatically process mails. Moreover, the methodology which creating linguistically resources must permit to define an automatic learning resources tool which can be applied on new kind of documents.

No description available.

Nowadays, people have a boat of themselves become more and more popular. People use their boat for fishing trip and taking holiday. However, most of them do not want to take care of their boat by themselves. One of the reasons might be the place of a boat occupied. Recently, a method has been used is to store boat on the Boat Hotel. They pay for the rent of a boat garage and also hire someone to take care of their boat. Place the boat on the boat shelf with several layers is the most common method. They use forklift to take in/out the boat when boat owner need use their boat. On the conditional of this situation, if we want to take a boat which is inside of boat shelf, then we need take all outside boat out.  It’s really an inefficiency way, so we need improve it. In this study, we aim to design a Boat Storage System based on the existing shelf and meet all requirement of existing boat. This system should be reliable, efficient, economic, operable and flexible. The main function of the Boat Storage System is to take in/off the boat more quickly and automatically and efficiently. The system is similar with the stereo parking garage. Which have a paternoster controlled by PLC program. Consider of the boat is heavier than the car. Our storage structure should be more stable. Our design only need one person to operate it. The whole process will cost few seconds. This building will be established in the water. Therefore, the owner only need to push the button and then the boat will be prepared in the water automatically. The modelling and assembly was designed in Autodesk Inventor 2017. This hardware circuit of PLC was drawn in AutoCAD. The software to design the PLC is GX Works 2. And we used ANSYS Workbench 17.2 to analysis the structure. The analysis will prove the structure is safety and strong enough. And the simulation will prove the system is possible. Our conclusion is that this system has a good future and general application in the market.

Les événements indésirables (EIs) sont devenus une vraie préoccupation du monde médical, leur réduction étant recherchée pour assurer la meilleure sécurité possible pour les patients. Les EIs sont, selon la HAS, ‘‘ des situations qui s'écartent de procédures ou de résultats escomptés dans une situation habituelle et qui sont ou qui seraient potentiellement sources de dommages’’. Alors que les EIs postopératoires sont étudiés depuis de nombreuses années, ceux ayant lieu au cours des opérations ne le sont que depuis récemment, comme le montre la récente classification des EIs intraopératoires par Kaafarani et al. publié en 2014. Cependant, la classification d'EIs intraopératoires n'est que la première étape pour comprendre les comportements chirurgicaux qui les entraînent.Dans cette thèse, nous présenterons des méthodes pour détecter l'apparition de déviations dues à l'apparition d'EIs intraopératoires et pour identifier des comportements chirurgicaux à partir de modèle de processus chirurgicaux.Ce travail a nécessité de concevoir et développer une modélisation formelle de la rectopexie et des événements indésirables qui sont associés à cette procédure chirurgicale grâceà la mise en place d'ontologies. Cette modélisation formelle nous a permis de bien appréhender le principe de cette opération et de fournir un vocabulaire permettant une annotation détaillé de vidéos endoscopiques de rectopexies, afin de créer des modèles de processus chirurgicaux en jeu.Grâce à l'annotation des vidéos chirurgicales basée sur cette modélisation, nous avons développé une une méthode de détection automatique des déviations dues à l'apparition d'événements indésirables Cette méthode est basée sur un alignement temporel non-linéaire multi-dimensionnel, que nous avons développé, suivi d'un modèle semi-Markovien caché que nous avons entraîné pour déterminer s'il existe des déviations par rapport à une chirurgie de référence et si celles-ci sont dues à des événements indésirables.Cette détection de déviations dues aux événements indésirables est la première étape afin de comprendre les raisons de leurs apparitions. Nous émettons l'hypothèse que leurs apparitions peuvent être expliquées par une succession d’activités, c'est-à-dire un pattern. Pour répondre à cette hypothèse, nous avons mis en place une méthode de découverte de patterns permettant d'identifier les comportements chirurgicaux spécifiques à différents critères. Cette identification de comportements chirurgicaux est réalisée par une classification ascendante hiérarchique avec la mise en place d'une nouvelle métrique basée sur les patterns partagés entre les chirurgies. Afin de valider notre méthode, nous l'avons comparé à deux études mettant en évidence des différences de comportements chirurgicaux, comme par exemple entre différents sites chirurgicaux ou entre deux types de procédure de la même opération. Une fois la méthode validée, nous avons utilisé notre méthode afin de montrer s'il existait des comportements chirurgicaux spécifiques à des données préopératoires et à l'apparition d'événements indésirables.Pour finir, nous revenons sur les contributions les plus importantes de ces travaux à travers une discussion générale et nous proposons différentes pistes pour améliorer nos résultats / L'auteur n'a pas fourni de résumé en anglais

Topic of the thesis is to design universal tool magazine for tool exchange SK50 for horisontal drilling machine WFT 13 with industry robot. Thesis is tasked by company Fermat CZ s.r.o. In the first part of the thesis there are shown various executions of automatically tool exchange. In second part there is an analysis of solved magazine and posibility of its construction. In third part there is structural design of the magazine and calculation report of selected parts. Supplement of the thesis are also drawing documentation and 3D model of the magazine.