Dans le cadre du projet européen SESAR, la nécessité d'accroître la capacité du trafic aérien a motivé la planification de trajectoires avions 4D (espace + temps). Afin de mettre en place une planification pré-tactique (évitement de zones avec une mauvaise météo ou congestionnées pour un avion) et de mettre en place une planification tactique (générer des ensembles de trajectoires 4D sans conflit), nous introduisons un nouvel algorithme : l'algorithme de propagation de la lumière (APL). Cet algorithme est basé sur une méthode de propagation de front d'onde qui s'inspire de l'analogie avec la propagation de la lumière et qui est adapté au problème de planification de trajectoires. L'APL donne des résultats satisfaisant pour une journée de trafic réel sur la France tout en satisfaisant les contraintes spécifiques à la gestion du trafic aérien. L'APL a ensuite été adapté pour prendre en compte les incertitudes qui concernent la vitesse réelle des avions. Ainsi adapté aux incertitude, l'APL a été testé sur la même journée de trafic avec mise en place de points RTA (Real Time Arrival). Les points RTA permettent de réduire l'incertitude dans le cas où l'APL n'arrive pas à résoudre les conflits. Les résultats obtenus sont très encourageants.

Cette thèse contribue au contrôle de la myopie dans les systèmes flexibles de production (SFP). La myopie apparaît lorsque des entités décisionnelles prennent des décisions locales à partir d'une quantité d'information limitée. Cette prise de décision permet de réagir rapidement aux aléas mais induit une performance globale non optimale. Ainsi, ce phénomène doit être contrôlé afin d'obtenir des architectures de pilotage plus performantes. Après une étude du phénomène de myopie dans d'autres domaines, nous définissons la myopie dans les SFP. Un état de l'art sur les différents types d'architectures permet de retenir les architectures de pilotage hybride mixant hiérarchie et hétérarchie pour contrôler la myopie. Une typologie des architectures de pilotage hybride est ensuite réalisée avant qu'une nouvelle architecture ne soit proposée : ORCA. Après avoir été présentée, ORCA est déclinée au pilotage des SFP (ORCA-FMS). ORCA-FMS combine deux approches: un modèle linéaire (ILP) et une approche par champs de potentiel. ORCA-FMS est ensuite appliquée au cas d'étude de la cellule flexible de l'AIP PRIMECA de Valenciennes. Premièrement un modèle de simulation, le plus proche possible du cas d'étude réel est présenté. Il permet d'éprouver l'architecture dans l'environnement de simulation NetLogo. Deuxièmement, afin de valider la pertinence des comportements observés en simulation, l'architecture est mise en œuvre sur la cellule réelle à l'aide du concept de produit actif. Les équipements industriels utilisés pour cette mise en œuvre, le protocole expérimental, ainsi que les résultats obtenus sont détaillés et discutés.

Made available in DSpace on 2016-06-02T19:05:53Z (GMT). No. of bitstreams: 1 3978.pdf: 2293519 bytes, checksum: bebf48e9b57957fa077811d04a5d672e (MD5) Previous issue date: 2010-06-29 / Financiadora de Estudos e Projetos / A Flexible Manufacturing System is a production system where more than one event can occur simultaneously in parallel, asynchronously or concurrently. These are designed to meet the needs of the market, demand for improved product quality, lower costs and shorter delivery times. Due to the complexity and flexibility of these systems, conflicts can occur when more than one process requests the same resource, such as machines or AGVs, or when a product can be produced in more than one production routing. Thus, a conflict resolution policy is needed in this type of environment. This study uses Fuzzy Coloured Petri Nets for modeling a manufacturing system. The manufacturing system is modeled considering the resources, buffers, production routings, AGV routes and identifying conflict points. The conflict resolution is performed considering both information on the shop floor and production management. Fuzzy rules are constructed to prioritize conflicting processes and a fuzzy rule-based system is modeled on Fuzzy Coloured Petri Nets in the same network as the manufacturing system, making the model of the system independent of other systems of support for the resolution of conflicts. In this work we considered the conflicts that can occur when loading and unloading station and the input and output buffer. According to the source of conflict, a rule base is shaped to assign priorities to processes. From this model it is possible to make the control system and ensure that identified conflicts are resolved. / Um Sistema Flexível de Manufatura é um sistema de produção onde mais de um evento pode ocorrer ao mesmo tempo de forma paralela, assíncrona ou de forma concorrente. Estes foram projetados para atender às necessidades do mercado, que demanda por melhor qualidade dos produtos, redução de custos e prazos de entrega menores. Devido à complexidade e à flexibilidade destes sistemas, conflitos podem ocorrer quando mais de um processo requisita o mesmo recurso, como máquinas ou AGVs, ou quando um produto pode ser produzido em roteiros distintos. Assim, uma política de solução de conflito é necessária neste tipo de ambiente. Este trabalho usa Redes de Petri Coloridas Fuzzy para modelar um sistema de manufatura. O sistema de manufatura é modelado considerando os recursos, buffers, roteiros de produção, rotas dos AGV e identificando os pontos de conflitos. A resolução dos conflitos é realizada considerando tanto informações do chão de fábrica quanto da gestão da produção. Regras fuzzy são construídas para atribuir prioridades aos processos conflitantes e um sistema baseado em regras fuzzy é modelado em Redes de Petri Coloridas Fuzzy na mesma rede do sistema de manufatura, tornado o modelo do sistema independente de outros sistemas de apoio para a solução dos conflitos. Neste trabalho foram considerados os conflitos que podem ocorrer na estação de carga e descarga e nos buffer de entrada e saída. De acordo com o ponto de conflito, uma base de regras é modelada para atribuir prioridades aos processos. A partir desta modelagem é possível realizar o controle do sistema e garantir que os conflitos identificados sejam resolvidos.

Tato práce se zabývá analyzováním IEEE 802.1Q standardu TSN skupiny a návrhem testovacího modulu. Testovací modul je napsán v jazyku VHDL a je možné jej implementovat do Intel Stratix® V GX FPGA (5SGXEA7N2F45C2) vývojové desky. Standard IEEE 802.1Q (TSN) definuje deterministickou komunikace přes Ethernet sít, v reálném čase, požíváním globálního času a správným rozvrhem vysíláním a příjmem zpráv. Hlavní funkce tohoto standardu jsou: časová synchronizace, plánování provozu a konfigurace sítě. Každá z těchto funkcí je definovaná pomocí více různých podskupin tohoto standardu. Podle definice IEEE 802.1Q standardu je možno tyto podskupiny vzájemně libovolně kombinovat. Některé podskupiny standardu nemohou fungovat nezávisle, musí využívat funkce jiných podskupin standardu. Realizace funkce podskupin standardu je možná softwarově, hardwarově, nebo jejich kombinací. Na základě výše uvedených fakt, implementace podskupin standardu, které jsou softwarově související, byly vyloučené. Taky byly vyloučené podskupiny standardů, které jsou závislé na jiných podskupinách. IEEE 802.1Qbu byl vybrán jako vhodná část pro realizaci hardwarového testu. Různé způsoby testování byly vysvětleny jako DFT, BIST, ATPG a další jiné techniky. Pro hardwarové testování byla vybrána „Protocol Aware (PA)“technika, protože tato technika zrychluje testování, dovoluje opakovanou použitelnost a taky zkracuje dobu uvedení na trh. Testovací modul se skládá ze dvou objektů (generátor a monitor), které mají implementovanou IEEE 802.1Qbu podskupinu standardu. Funkce generátoru je vygenerovat náhodné nebo nenáhodné impulzy a potom je poslat do testovaného zařízeni ve správném definovaném protokolu. Funkce monitoru je přijat ethernet rámce a ověřit jejich správnost. Objekty jsou navrhnuty stejným způsobem na „TOP“úrovni a skládají se ze čtyř modulů: Avalon MM rozhraní, dvou šablon a jednoho portu. Avalon MM rozhraní bylo vytvořeno pro komunikaci softwaru s hardwarem. Tento modul přijme pakety ze softwaru a potom je dekóduje podle definovaného protokolu a „pod-protokolu “. „Pod-protokol“se skládá z příkazu a hodnoty daného příkazu. Podle dekódovaného příkazu a hodnot daných příkazem je kontrolovaný celý objekt. Šablona se používá na generování nebo ověřování náhodných nebo nenáhodných dat. Dvě šablony byly implementovány pro expresní ověřování nebo preempční transakce, definované IEEE 802.1Qbu. Porty byly vytvořené pro komunikaci mezi testovaným zařízením a šablonou podle daného standardu. Port „generátor“má za úkol vybrat a vyslat rámce podle priority a času vysílaní. Port „monitor“přijme rámce do „content-addressable memory”, která ověřuje priority rámce a podle toho je posílá do správné šablony. Výsledky prokázaly, že tato testovací technika dosahuje vysoké rychlosti a rychlé implementace.

Master thesis focuses on wireless network security. The thesis is divided in two parts. First part describes today’s used standards and their components, topology and security methods as stealth SSID, MAC addresses filtration, WEP, WPA and WPA2. The last three methods are described in detail. In second part there are realized attacks on above described methods of security. There are described attacks on WEP as KoreK chopchop attack, fragment attack, attack FMS, KoreK and attack PTW. Then is described the dictionary attack on passphrase by WPA/WPA2 with PreShared Key authentication obtaining, precomputed hash tables for faster passphrase finding and for using more core procesors during dictionary browsing. The last attack describes obtaining of keystream used for encrypting of frames by WPATKIP and then sending custom data to client. It is described how to carry out each attack and how to protect against them.

No description available.

Von Beginn der flexiblen Automatisierung mit numerisch gesteuerten Werkzeugmaschinen und der zugehörigen Programmier-Software bis zum gegenwärtigen Entwicklungsstand (Industrie 4.0) wird die historische Entwicklung von 1960 bis 2020 aus der Position eines aktiven Mitgestalters dargestellt. Interessanterweise vollzogen sich die wesentlichen Entwicklungsetappen für die ersten dreißig Jahre parallel in beiden deutschen Staaten. Aus den Lehren des Zweiten Weltkrieges wurden im Rahmen der UNESCO zum friedlichen Informationsaustausch geeignete wissenschaftliche Organisationen gegründet: • IFIP (Internationale Föderation für Informationsprozesse, speziell Arbeitsgrupp CAM • CIRP (Internationale Akademie der Fertigungstechniker) Mit der Berufung und aktiven Mitarbeit in diesen Organisationen war eine Plattform für die deutsch-deutsche und darüber hinaus internationale Kooperation gegeben. Ein besonderer Schwerpunkt für den geordneten Informationsaustausch im Rahmen der gesamten dynamischen Entwicklung im Gebiet der Produktionsautomatisierung war dabei die im 3-Jahres-Rhythmus durchgeführte Konferenzserie PROLAMAT (Programming Languages for Machine Tools), gestartet 1969 in Rom. Im weiteren Verlauf wurde dieser Begriff viel breiter für das gesamte Gebiet der automatisierten Informationsverarbeitung und Fertigung erweitert. Ein besonderer Höhepunkt war dabei die erfolgreichste PROLAMAT-Konferenz 1988 in Dresden. Parallel dazu erfolgten an der TU Dresden Entwicklungen in Richtung CAD/CAM-Labor und später CIM-TT (CIM-Technologietransferzentrum). Damit war an der TU Dresden 1989/90 ein Entwicklungsstand gegeben, der unmittelbar zu gemeinsamen deutsch-deutschen und internationalen EU-Projekten genutzt werden konnte. Dieses hohe Entwicklungsniveau wurde zur offiziellen Eröffnung des CIM-TT-Zentrums in den Eröffnungsreferaten durch den damaligen Wissenschaftsminister Dr. Riesenhuber und Ministerpräsident Prof. Biedenkopf gewürdigt. Durch die zum gleichen Zeitpunkt verfügte veränderte Nutzung des für das CIM-TT im Aufbau befindliche Gebäude durch die neugegründete Juristische Fakultät wurde der erfolgreich vorbereitete Weg verhindert. Unabhängig davon blieb meine fachliche Orientierung mit den gravierenden Weiterentwicklungen eng verbunden. Dazu trug das Sabbatical-Jahr in Norwegen und den USA 1992 maßgeblich bei. Mit dem Forschungsaufenthalt war die Entscheidungsvorbereitung für die vorgesehene Groß-Investition für das neueste generative Verfahren verbunden. Gleichzeitig mit dem fundierten Nachweis der bestgeeigneten sog. Rapid-Prototyping-Anlage vom deutschen Anbieter EOS München war die TU Dresden auf diesem neuen High-Tech-Gebiet 1992 in einer anerkannten Spitzenposition. Mit meiner Publikation eines der ersten Fachbücher im Gebiet Advanced Prototyping (jetzt Additiv Manufacturing) war darüber hinaus eine gute Basis für weitere innovative Aktivitäten gegeben Dazu gehört die Gründung einer High-Tech-Firma (SFM - Schnelle Fertigung von Modellen) mit bemerkenswerten beispielgebenden Ergebnissen. Hervorgehoben soll die zwanzigjährige aktive Kooperation mit der Universität Stellenbosch (RSA - Republik Südafrika), die unter anderem mit meiner Berufung zum Extraordinary Professor im Jahr 2003 verbunden ist. Mit der Eröffnung eines Technologie-Zentrums nach dem Vorbild des ursprünglichen CIM TT -Zentrums der TU Dresden konnte für Südafrika ein wertvoller Beitrag geleistet werden. Das gesamte Lebenswerk ist gekennzeichnet durch die Entwicklungsschritte von der Mathematisierung über die Algorithmierung bis hin zur Programmierung vielfältiger technologischer Sachverhalte. Die Ergebnisse sind in einer Anzahl von persönlichen Fachbüchern (z.T. übersetzt in das Russische und Ungarische) wie auch Konferenzberichten und mehr als 200 Veröffentlichungen (deutsch und englisch) dokumentiert.