Global ETD Search

1	Designing Massive 3-Dimensional Neural Networks with Chromosomal-Based Simulated Development Schinazi, Robert Glen 26 May 1998 (has links) A technique for designing and optimizing the next generation of smart process controllers has been developed in this dissertation. The literature review indicated that neural networks held the most promise for this application, yet fundamental limitations have prevented their introduction to commercial settings thus far. This fundamental limitation has been overcome through the enhancement of neural network theory. The approach taken in this research was to produce highly intelligent process control systems by accurately modeling the nervous structures of higher biological organisms. The mammalian cerebral cortex was selected as the primary model since it is the only computational element capable of interpreting and complex patterns that develop over time. However the choice of the mammalian cerebral cortex as the model introduced two new levels of network complexity. First, the cerebral cortex is a three dimensional structure with extremely complicated patterns of interconnectivity. Second, the structure of the cerebral cortex can only be realized when thousands or millions of neurons are integrated into a massive scale neural network. The neural networks developed in this research were designed around the Hebbian adaptation, the only training technique proven by the literature review to be applicable to massive scale networks. These design difficulties were resolved by not only modeling the cerebral cortex, but the process by which it develops and evolves in biological systems. To complete this model, an advanced genetic algorithm was produced, and a technique was developed to encode all functional and structural parameters that define the cerebral cortex into the artificial chromosome. The neural networks were designed by a cell growth simulation program that decoded the structural and functional information on the chromosome. The cell growth simulation program is capable of producing patterns of differentiation unique for any slight variations in the genetic parameters. These growth patterns are similar to patterns of cellular differentiation seen in biological systems. While the computational resources needed to implement a massive scale neural network are beyond that available in existing computer systems, the technique has produced output lists which fully define the interconnections and functional characteristic of the neurons, thereby laying the foundation for their future use in process control. / Ph. D. Neural Network Cerebral cortex Neocortex automata simulation cell growth simulation cell growth modeling
2	Simulations and Antichains for Efficient Handling of Finite Automata / Simulace a protiřetězce pro efektivní práci s konečnými automaty Holík, Lukáš January 2011 (has links) Cílem této práce je vývoj technik umožňujících praktické využití nedeterministických konečných automatů, zejména nedeterministických stromových automatů. Jde zvláště o techniky pro redukci velikosti a testování jazykové inkluze, jež hrají zásadní roli v mnoha oblastech aplikace konečných automatů. V oblasti redukce velikosti vycházíme z dobře známých metod pro slovní automaty které jsou založeny na relacích simulace. Navrhli jsme efektivní algoritmy pro výpočet stromových variant simulačních relací a identifikovali jsme nový typ relace založený na kombinaci takzvaných horních a dolních simulací nad stromovými automaty. Tyto kombinované relace jsou zvláště vhodné pro redukci velikosti automatů slučováním stavů. Navržený princip kombinace relací simulace je relevantní i pro slovní automaty. Náš přínos v oblasti testování jazykové inkluze je dvojí. Nejprve jsme zobecnili na stromové automaty takzvané protiřetězcové algoritmy, které byly původně navrženy pro slovními automaty. Dále se nám podařilo použitím simulačních relací výrazně zefektivnit protiřetězcové algoritmy pro testování jazykové inkluze jak pro slovní, tak pro stromové automaty. Relevanci našich technik pro praxi jsme demonstrovali jejich nasazením v rámci regulárního stromového model checkingu, což je verifikační metoda založená na stromových automatech. Použití našich algoritmů zde vedlo k výraznému zrychlení a zvětšení škálovatelnosti celé metody. Základní myšlenky našich algoritmů pro redukci velikosti automatů a testování jazykové inkluze jsou aplikovatelné i na jiné typy automatů. Příkladem jsou naše redukční techniky pro alternující Büchiho automaty prezentované v poslední části práce.
3	Computational aspects of infinite automata simulation and closure system related issues / Aspects de complexité du problème de composition des services web Ennaoui, Karima 28 September 2017 (has links) La thèse est consacrée à des problématiques d’algorithmique et de complexité sur deux sujets. Le premier sujet s’intéresse à la composition comportementale des services web. Ce problème a été réduit à la simulation d’un automate par le produit fermé d’un ensemble d’automates. La thèse étudie dans sa première partie la complexité de ce problème en considérant deux paramètres : le nombre des instances considéré de chaque service et la présence des états hybrides : état à la fois intermédiaire et final dans un automate. Le second sujet porte sur les systèmes de fermeture et s’intéresse au calcul de l’extension maximale d’un système de fermeture ainsi qu’à l’énumération des clefs candidates d’une base implicative. On donne un algorithme incrémental polynomial qui génère l’extension maximale d’un treillis codé par une relation binaire. Puis, la notion de key-ideal est définie, en prouvant que leur énumération est équivalente à l’énumération des clefs candidates. Ensuite, on donne un algorithme qui permet de générer les key-ideal minimaux en temps incrémental polynomial et les key-ideal non minimaux en délai polynomial. / This thesis investigates complexity and computational issues in two parts. The first concerns an issue related to web services composition problem: Deciding whether the behaviour of a web service can be composed out of an existing repository of web services. This question has been reduced to simulating a finite automata to the product closure of an automata set. We study the complexity of this problem considering two parameters; the number of considered instances in the composition and the presence of the so-called hybrid states (states that are both intermediate and final). The second part concerns closure systems and two related issues; Maximal extension of a closure system : we give an incremental polynomial algorithm that computes a lattice's maximal extension when the input is a binary relation. Candidate keys enumeration : we introduce the notion of key-ideal sets and prove that their enumeration is equivalent to candidate keys enumeration. We then give an efficient algorithm that generates all non-minimal key-ideal sets in a polynomial delay and all minimal ones in incremental polynomial time. Service web Comportement de service web Composition de service web Simulation des automates Complexité Exptime-complet Théorie d’ordre Système de fermeture Treillis Extension maximale Bases de données Base d’implications Relation binaire Clé candidate Énumération Délai polynomial Délai incrémental Web service Web service behaviour Web service composition Automata simulation Complexity Product closure of automata Asynchronous product Exptime-complete Order theory Closure system Lattice Maximal extension Database Implicational base Candidate key Binary relation Enumeration Polynomial delay Incremental delay

1

Page generated in 0.1042 seconds