Дисертації з теми "Discrete complexes"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 дисертацій для дослідження на тему "Discrete complexes".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.
LEWINER, THOMAS. "GEOMETRIC DISCRETE MORSE COMPLEXES." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2005. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=7353@1.
Повний текст джерелаA geometria diferencial descreve de maneira intuitiva os objetos suaves no espaço. Porém, com a evolução da modelagem geométrica por computador, essa ferramenta se tornou ao mesmo tempo necessária e difícil de se descrever no mundo discreto. A teoria de Morse ficou importante pela ligação que ela cria entre a topologia e a geometria diferenciais. Partindo de um ponto de vista mais combinatório, a teoria de Morse discreta de Forman liga de forma rigorosa os objetos discretos à topologia deles, abrindo essa teoria para estruturas discretas. Este trabalho propõe uma definição construtiva de funções de Morse geométricas no mundo discreto e do complexo de Morse-Smale correspondente, onde a geometria é definida como a amostragem de uma função suave nos vértices da estrutura discreta. Essa construção precisa de cálculos de homologia que se tornaram por si só uma melhoria significativa dos métodos existentes. A decomposição de Morse- Smale resultante pode ser eficientemente computada e usada para aplicações de cálculo da persistência, geração de grafos de Reeb, remoção de ruído e mais. . .
Differential geometry provides an intuitive way of understanding smooth objects in the space. However, with the evolution of geometric modeling by computer, this tool became both necessary and difficult to transpose to the discrete setting. The power of Morse theory relies on the link it created between differential topology and geometry. Starting from a combinatorial point of view, Forman´s discrete Morse theory relates rigorously discrete objects to their topology, opening Morse theory to discrete structures. This work proposes a constructive definition of geometric discrete Morse functions and their corresponding discrete Morse-Smale complexes, where the geometry is defined as a smooth function sampled on the vertices of the discrete structure. This construction required some homology computations that turned out to be a significant improvement over existing methods by itself. The resulting Morse-Smale decomposition can then be efficiently computed, and used for applications to persistence computation, Reeb graph generation, noise removal. . .
Kowalick, Ryan. "Discrete Systolic Inequalities." The Ohio State University, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=osu1384873457.
Повний текст джерелаUmutabazi, Vincent. "Smooth Schubert varieties and boolean complexes of involutions." Licentiate thesis, Linköpings universitet, Algebra, geometri och diskret matematik, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-179060.
Повний текст джерелаBrowning, Jonathan Darren. "Synthesis of discrete models for aluminophosphate-type molecular sieves." Thesis, University of Southampton, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.241907.
Повний текст джерелаHough, Wesley K. "On Independence, Matching, and Homomorphism Complexes." UKnowledge, 2017. http://uknowledge.uky.edu/math_etds/42.
Повний текст джерелаHytteballe, Sophie [Verfasser]. "Synthesis of ligands for self-assembly of discrete metallo-supramolecular complexes / Sophie Hytteballe." Bonn : Universitäts- und Landesbibliothek Bonn, 2016. http://d-nb.info/1096329891/34.
Повний текст джерелаArnold, Rachel Florence. "Complex Analysis on Planar Cell Complexes." Thesis, Virginia Tech, 2008. http://hdl.handle.net/10919/32230.
Повний текст джерелаMaster of Science
Bouchair, Nabil. "Diagnostic de systèmes complexes par comparaison de listes d’alarmes : application aux systèmes de contrôle du LHC." Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENT025/document.
Повний текст джерелаIn the context of the CERN Large Hadron Collider (LHC), a large number of control systems have been built based on industrial control and SCADA solutions. Beyond the complexity of these systems, a large number of sensors and actuators are controlled which make the monitoring and diagnostic of these equipment a continuous and real challenge for human operators. Even with the existing SCADA monitoring tools, critical situations prompt alarms avalanches in the supervision that makes diagnostic more difficult. This thesis proposes a decision support methodology based on the use of historical data. Past faults signatures represented by alarm lists are compared with the alarm list of the fault to diagnose using pattern matching methods. Two approaches are considered. In the first one, the order of appearance is not taken into account, the alarm lists are then represented by a binary vector and compared to each other thanks to an original weighted distance. Every alarm is weighted according to its ability to represent correctly every past faults. The second approach takes into account the alarms order and uses a symbolic sequence to represent the faults. The comparison between the sequences is then made by an adapted version of the Needleman and Wunsch algorithm widely used in Bio-Informatic. The two methods are tested on artificial data and on simulated data extracted from a very realistic simulator of one of the CERN system. Both methods show good results
Akintola, Oluseun [Verfasser], Winfried [Gutachter] Plass, Felix [Gutachter] Schacher, and Dirk [Gutachter] Volkmer. "Carboxylate-functionalized triphenylamine-based complexes : from discrete monomeric complexes to 2D and 3D extended frameworks / Oluseun Akintola ; Gutachter: Winfried Plass, Felix Schacher, Dirk Volkmer." Jena : Friedrich-Schiller-Universität Jena, 2018. http://d-nb.info/1172206899/34.
Повний текст джерелаJonsson, Jakob. "Simplicial Complexes of Graphs." Doctoral thesis, Stockholm, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-202.
Повний текст джерелаDedecker, Fabian. "Changements d'échelle dans les milieux granulaires à interactions complexes." Ecully, Ecole centrale de Lyon, 1999. http://bibli.ec-lyon.fr/exl-doc/TH_T1787_fdedecker.pdf.
Повний текст джерелаMany works concerning the behaviour of granular materials based on micromechanical approaches have been proposed during the last years. These approaches connect two very different scales : the first one concerns grain and contacts, and the second one concerns the representative volume of a granular material. In opposition to phenomenological models, micromechanical approaches try to describe the behaviour of granular materials based on simple concepts relevant of the local phenomena. The main objective of this study is the improvement of a model based on the micromechanical approach, focusing on some local phenomena, generally neglected in a classical approach. In order to do this, two kinds of approaches have been used : - a theoretical one using a statistical homogenization approach mainly based on orientation of a contact variable ; - a numerical one using a software (PFC2D) based on the Discrete Element Method. A constant comparison of the above two approaches is a key ingredient of this work. This work aims to analyse and improve three topics of micromechanical approach : - the granular materials kinematics : the goal is the study of relations between local kinematics (rolling, sliding and displacements of particles which are not in contact) and strain tensor ; - the influence of contact couples on the microscopic and macroscopic behaviour, as well as the interest of taking them into account in micromechanical approaches ; 0 the study of cemented granular materials rupture : the aim is the definition of macroscopic parameters for rupture from local microscopic characteristics
Brinks, Daan. "Nanoscale Coherent Control. Ultrafast dynamics of single molecules, individual light harvesting complexes and discrete nanoantennas at room temperature." Doctoral thesis, Universitat Politècnica de Catalunya, 2012. http://hdl.handle.net/10803/97001.
Повний текст джерелаZaourar, Lilia Koutchoukali. "Recherche opérationnelle et optimisation pour la conception testable de circuits intégrés complexes." Grenoble, 2010. http://www.theses.fr/2010GRENM055.
Повний текст джерелаThis thesis is a research contribution interfacing operations research and microelectronics. It considers the use of combinatorial optimization techniques for DFT (Design For Test) of Integrated Circuits (IC). With the growing complexity of current IC both quality and cost during manufacturing testing have become important parameters in the semiconductor industry. To ensure proper functioning of the IC, the testing step is more than ever a crucial and difficult step in the overall IC manufacturing process. To answer market requirements, chip testing should be fast and effective in uncovering defects. For this, it becomes essential to apprehend the test phase from the design steps of IC. In this context, DFT techniques and methodologies aim at improving the testability of IC. In previous research works, several problems of optimization and decision making were derived from the micro- electronics domain. Most of previous research contributions dealt with problems of combinatorial optimization for placement and routing during IC design. In this thesis, a higher design level is considered where the DFT problem is analyzed at the Register Transfer Level (RTL) before the logic synthesis process starts. This thesis is structured into three parts. In the first part, preliminaries and basic concepts of operations research, IC design and manufacturing are introduced. Next, both our approach and the solution tools which are used in the rest of this work are presented. In the second part, the problem of optimizing the insertion of scan chains is considered. Currently, " internal scan" is a widely adopted DFT technique for sequential digital designs where the design flip-flops are connected into a daisy chain manner with a full controllability and observability from primary inputs and outputs. In this part of the research work, different algorithms are developed to provide an automated and optimal solution during the generation of an RTL scan architecture where several parameters are considered: area, test time and power consumption in full compliance with functional performance. This problem has been modelled as the search for short chains in a weighted graph. The solution methods used are based on finding minimal length Hamiltonian chains. This work was accomplished in collaboration with DeFacTo Technologies, an EDA start-up close to Grenoble. The third part deals with the problem of sharing BIST (Built In Self Test) blocks for testing memories. The problem can be formulated as follows: given the memories with various types and sizes, and sharing rules for series and parallel wrappers, we have to identify solutions to the problem by associating a wrapper with each memory. The solution should minimize the surface, the power consumption and test time of IC. To solve this problem, we designed a prototype called Memory BIST Optimizer (MBO). It consists of two steps of resolution and a validation phase. The first step creates groups of compatibility in accordance with the rules of abstraction and sharing that depend on technologies. The second phase uses genetic algorithms for multi-objective optimization in order to obtain a set of non dominated solutions. Finally, the validation verifies that the solution provided is valid. In addition, it displays all solutions through a graphical or textual interface. This allows the user to choose the solution that fits best. The tool MBO is currently integrated into an industrial flow within ST-microelectronics
Boussif, Abderraouf. "Contributions to model-based diagnosis of discrete-event systems." Thesis, Lille 1, 2016. http://www.theses.fr/2016LIL10144/document.
Повний текст джерелаThis PhD thesis deals with fault diagnosis of discrete-event systems modeled as finite state automata with some extensions to bounded Petri net models. The developed contributions can be classified regarding two pioneering approaches from the literature: the diagnoser-based technique and the twin-plant based technique. Regarding the diagnoser-based technique, we propose a new diagnoser variant with some interesting features that allow us to reformulate a necessary and sufficient condition for diagnosability of permanent faults and propose a systematic procedure for checking such a condition without building any intermediate model. An on-the-fly algorithm, for simultaneously constructing the diagnoser and verifying diagnosability is then developed. The established diagnoser is then extended to deal with fault diagnosis of intermittent faults. A Hybrid version (in the sense of combining enumerative and symbolic representations) of our diagnoser is also established in order to deal with fault diagnosis of labeled bounded Petri nets. The developed approaches are implemented in dedicated tools and evaluated through benchmarks with respect to the reference approaches in the domain.Regarding twin-plant based technique, our contribution consists in elaborating a model-checking framework that extends the Cimatti’s work for the actual verification of various diagnosability concepts pertaining to permanent and intermittent failures based on the twin-plant structure. The main idea is to reformulate and express the diagnosability issues as temporal logics and then to tackle them using the model-checking engines
Goaoc, Xavier. "Nombres de Helly, théorèmes d'épinglement et projection de complexes simpliciaux." Habilitation à diriger des recherches, Université Henri Poincaré - Nancy I, 2011. http://tel.archives-ouvertes.fr/tel-00650204.
Повний текст джерелаChaussard, John. "Topological tools for discrete shape analysis." Phd thesis, Université Paris-Est, 2010. http://tel.archives-ouvertes.fr/tel-00587411.
Повний текст джерелаGalstyan, Anzhela [Verfasser], Bernhard [Akademischer Betreuer] Lippert, and Jens [Gutachter] Müller. "Discrete supramolecular metal complexes : Synthesis, structures, host-guest chemistry with anions, and DNA binding properties / Anzhela Galstyan. Betreuer: Bernhard Lippert. Gutachter: Jens Müller." Dortmund : Universitätsbibliothek Dortmund, 2011. http://d-nb.info/1103472453/34.
Повний текст джерелаMiguel, Baños Narcís. "Transport phenomena and anomalous diffusion in conservative systems of low dimension." Doctoral thesis, Universitat de Barcelona, 2016. http://hdl.handle.net/10803/400611.
Повний текст джерелаNdiaye, Moulaye Aidara. "Aide à la décision pour la conception et la gestion de systèmes de transport automatisés complexes." Thesis, Lyon, 2018. https://tel.archives-ouvertes.fr/tel-02877296.
Повний текст джерелаThe manufacturing of semiconductors is a long and very complex process with many constraints. The process of manufacturing a lot can last several months with several hundred operations. Several thousand lots must be transported and stored permanently. An efficient transportation system is therefore critical to ensure that the hundreds of machines in the factory are delivered on time.This thesis focuses on the modeling and optimization of a transport and automated storage (AMHS) system in a modern semiconductor manufacturing unit.Different issues have been studied. The first aimed to analyze the impact of key parameters of the AMHS system and to propose new approaches to determine these key parameters. A simulation model has allowed to validate the results obtained. The second issue focused on the management of crisis situations related to one or more failures on the network, with the aim of minimizing disruption to the operation of the AMHS system. The last issue concerns the design of a new AMHS system for the transportation of auxiliary resources in a specific workshop.These thesis work was carried out within the framework of a CIFRE agreement between the Ecole des Mines de Saint-Etienne and the Crolles site of STMicroelectronics. The proposed scientific approaches have led to several industrial applications in use
Toma, Samuel. "Méthodologie de détection et d'identification des défauts multiples dans les systèmes complexes à partir d'évènements discrets et de réseaux de neurones : applications aux aérogénérateurs." Thesis, Corte, 2014. http://www.theses.fr/2014CORT0006/document.
Повний текст джерелаThis thesis deals with the time-domain analysis of the electrical machines fault diagnosis due to early short-circuits detection in both stator and rotor windings. It also introduces to the Discrete EVent system Specification (DEVS) a generic solution to enable concurrent and comparative simulations (CCS). The DEVS-based CCS is an extension introduced using an aspect-oriented programming (AOP) to interact with the classic DEVS simulator. A new DEVS-based artificial neural network (ANN) is also introduced with a separation between learning and calculation models. The DEVS-based CCS is validated on the proposed ANN DEVS library inside the DEVSimPy environment. The concurrent ANN contributes in the time-domains analysis for the electrical machine fault diagnosis. This new method is based on data coming directly from the sensors without any computation but with a new dedicated preprocessing technique. Later, some enhancements are brought to the artificial neural network based on a new multistage architecture reducing the training time and errors compared to the single ANN. The new architecture and techniques has been validated on real data sixteen non-destructive windings faults analysis and localization
Li, Ben. "Diagnostic et Diagnosticabilité des Systèmes à Evénements Discrets Complexes Modélisés par des Réseaux de Petri Labellisés." Thesis, Ecole centrale de Lille, 2017. http://www.theses.fr/2017ECLI0004/document.
Повний текст джерелаThis thesis deals with fault diagnosis of discrete event systems modeled by labeled Petri nets (LPN). The monolithic diagnosability and modular diagnosability issues are addressed. The contributions are proposed to reduce the combinatorial explosion and the computational complexity problems. Regarding monolithic diagnosability analysis, some reduction rules are proposed as a complement for most diagnosability techniques, which simplify the LPN model and preserve the diagnosability property. For a safe and live LPN, a new sufficient condition for diagnosability is proposed. For a bounded LPN that does not deadlock after a fault, the on-the-fly diagnosability analysis is improved by using minimal explanations to compact the state space; and by using T-invariants, to find quickly an indeterminate cycle. An on-the-fly diagnosability analysis using Verifier Nets (VN) is proposed to analyze both bounded and unbounded LPN, which achieves a compromise between computation efficiency and combinatorial explosion limitation. Regarding modular diagnosability analysis, a new approach is proposed for decomposed LPNs model. Reduction rules, that preserve the modular diagnosability property, are applied to simplify the model. The local diagnosability is analyzed by building the VN and the Modified Reachability Graph (MRG) of the local model. The modular diagnosability is verified by building the parallel composition of the MRG and the reachability graphs of other modules of the system. We prove in this study that the computational complexity of our approach is lower than existing approaches of literature. The combinatorial explosion is also reduced by using the ε -reduction technique
Abarenkova, Nina. "Etudes de systèmes intégrables ou de complexes faibles, en physique du solide et systèmes dynamiques discrets." Université Joseph Fourier (Grenoble), 1999. http://www.theses.fr/1999GRE10068.
Повний текст джерелаRicciardi, Celsi Lorenzo. "Commande non linéaire multi-agents : applications aux systèmes en réseau." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLS017/document.
Повний текст джерелаThe objective of this PhD thesis is (i) to investigate and develop methods for the analysis and design of linear and nonlinear networked control systems and (ii) to show the potential of such approaches in relevant complex applications. In this respect, multi-agent systems theory, algebraic graph theory and consensus are the most interesting methodological tools, and specific attention is paid to the characterization of the relationships between, on the one hand, the topology of the communication graph that underlies the evolution of the considered multiagent system and, on the other hand, the spectral properties of the Laplacian matrix associated with the graph itself. The control of a group of autonomous agents is investigated from different perspectives. The main control objective is to make sure that the agents work together in a cooperative fashion, where cooperation accounts for the close relationship among all agents in the team, with information sharing playing an important role. In particular, various problems regarding consensus/agreement/synchronization/rendezvous are investigated with the specific aim of driving a group of agents to some common state. Consensus is investigated in a discrete-time setting due to the fact that the system dynamics is normally continuous while the measurements and control inputs might only be made in a sampled-data setting. Moreover, game theory is relied upon in order to cope with distributed multi-agent coordination problems, with application to Software Defined Networks. In this respect, it can be shown that, under properly designed protocols, the players converge to a unique Wardrop equilibrium. We focus on distributed control, since this approach shows obvious benefits over centralization, such as scalability and robustness. Yet, it also has its own drawbacks: among all, one drawback is that each agent cannot effectively predict the overall group behaviour based on only local information. Some attention is also devoted to the need for securing power grids against the danger of cyber-physical attacks through the development of distributed intelligence technologies accompanied by appropriate security enforcements. In this respect, based on realistic power network topologies, we briefly present the design of a protection scheme against closed-loop single-point and multi-point dynamic load altering attacks. This is done by formulating and solving a non-convex optimization problem subject to a Lyapunov stability constraint for the autonomous multiagent representation of a power system obtained after linearization and application of the attack and frequency control laws. Eventually, we show some other results achieved in terms of the exact steeering of finite sampled nonlinear dynamics with input delays, of sampled-data stabilization and quasi-halo orbit following around the L₂ translunar libration point, and of heuristic algorithms based on multi-agent reinforcement learning methods capable of performing optimal adaptive Quality of Service/Quality of Experience control in model-free scenarios
Silva, Ricardo Dutra da 1982. "Discrete Morse complex of images = algorithms, modeling and applications = Complexo discreto de Morse para imagens: algoritmos, modelagem e aplicações." [s.n.], 2013. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275606.
Повний текст джерелаTese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação
Made available in DSpace on 2018-08-24T00:14:20Z (GMT). No. of bitstreams: 1 Silva_RicardoDutrada_D.pdf: 13549105 bytes, checksum: 3d49e5116a70a72601ba4cc3b3c85762 (MD5) Previous issue date: 2013
Resumo: A Teoria de Morse é importante para o estudo da topologia em funções escalares como elevação de terrenos e dados provenientes de simulações físicas, a qual relaciona a topologia de uma função com seus pontos críticos. A teoria contínua foi adaptada para dados discretos através de construções como os complexos de Morse-Smale e o complexo discreto de Morse. Complexos de Morse têm sido aplicados em processamento de imagens, no entanto, ainda existem desafios envolvendo algoritmos e considerações práticas para a computação e modelagem dos complexos para imagens. Complexos de Morse podem ser usados como um meio de definir a conexão entre pontos de interesse em imagens. Normalmente, pontos de interesse são considerados como elementos independentes descritos por informação local. Tal abordagem apresenta limitações uma vez que informação local pode não ser suficiente para descrever certas regiões da imagem. Pontos de mínimo e máximo são comumente utilizados como pontos de interesse em imagens, os quais podem ser obtidos a partir dos complexos de Morse, bem como sua conectividade no espaço de imagem. Esta tese apresenta uma abordagem dirigida por algoritmos e estruturas de dados para computar o complexo de Morse discreto em imagens bidimensionais. A construção é ótima e permite fácil manipulação do complexo. Resultados teóricos e experimentais são apresentados para mostrar que o método é eficaz. Experimentos realizados incluem a computação de homologia persistente e hierarquias de complexos sobre dados de elevação de terrenos. Outra contribuição é a proposição de um operador topológico, chamado Contexto Local de Morse, computado sobre complexos de Morse, para extrair vizinhanças de pontos de interesse para explorar a informação estrutural de imagens. O contexto local de Morse é usado no desenvolvimento de um algoritmo que auxilia a redução do número de casamentos incorretos entre pontos de interesse e na obtenção de uma medida de confiança para tais correspondências. A abordagem proposta é testada em pares de imagens sintéticas e de imagens subaquáticas, para as quais métodos existentes podem obter muitas correspondências incorretas
Abstract: The Morse theory is important for studying the topology of scalar functions such as elevation of terrains and data from physical simulations, which relates the topology of a function to critical points. The smooth theory has been adapted to discrete data through constructions such as the Morse-Smale complexes and the discrete Morse complex. Morse complexes have been applied to image processing, however, there are still challenges involving algorithms and practical considerations for computation and modeling of the complexes. Morse complexes can be used as means of defining the connectedness of interest points in images. Usually, interest points are considered as independent elements described by local information. Such an approach has its limitations since local information may not suffice for describing certain image regions. Minimum and maximum points are widely used as interest points in images, which can be obtained from Morse complexes, as well as their connectivity in the image space. This thesis presents an algorithmic and data structure driven approach to computing the discrete Morse complex of 2-dimensional images. The construction is optimal and allows easy manipulation of the complex. Theoretical and applied results are presented to show the effectiveness of the method. Applied experiments include the computation of persistent homology and hierarchies of complexes over elevation terrain data. Another contribution is the proposition of a topological operator, called Local Morse Context (LMC), computed over Morse complexes, for extracting neighborhoods of interest points to explore the structural information in images. The LMC is used in the development of a matching algorithm, which helps reducing the number of incorrect matches between images and obtaining a confidence measure of whether a correspondence is correct or incorrect. The approach is tested in synthetic and challenging underwater stereo pairs of images, for which available methods may obtain many incorrect correspondences
Doutorado
Ciência da Computação
Doutor em Ciência da Computação
Gonzalez, Lorenzo Aldo. "Computational homology applied to discrete objects." Thesis, Aix-Marseille, 2016. http://www.theses.fr/2016AIXM4073/document.
Повний текст джерелаHomology theory formalizes the concept of hole in a space. For a given subspace of the Euclidean space, we define a sequence of homology groups, whose ranks are considered as the number of holes of each dimension. Hence, b0, the rank of the 0-dimensional homology group, is the number of connected components, b1 is the number of tunnels or handles and b2 is the number of cavities. These groups are computable when the space is described in a combinatorial way, as simplicial or cubical complexes are. Given a discrete object (a set of pixels, voxels or their analog in higher dimension) we can build a cubical complex and thus compute its homology groups.This thesis studies three approaches regarding the homology computation of discrete objects. First, we introduce the homological discrete vector field, a combinatorial structure which generalizes the discrete gradient vector field and allows to compute the homology groups. This notion allows to see the relation between different existing methods for computing homology. Next, we present a linear algorithm for computing the Betti numbers of a 3D cubical complex, which can be used for binary volumes. Finally, we introduce two measures (the thickness and the breadth) associated to the holes in a discrete object, which provide a topological and geometric signature more interesting than only the Betti numbers. This approach provides also some heuristics for localizing holes, obtaining minimal homology or cohomology generators, opening and closing holes
Nguyen, Minh-Duc. "Modélisation numérique discrète des matériaux bitumeux." Thesis, Lyon, 2017. http://www.theses.fr/2017LYSET003/document.
Повний текст джерелаBituminous mixtures have traditionally been used in road constructions and recently under railway ballast. Its high rigidity at relatively low ambient temperatures and high frequency explains its widespread application in northern Europe. This material has been studied at the global level by both empirical, experimental and analytical approaches. However, the asphalt has a heterogeneous internal structure and complex which may cause complex behavior. The analysis at the local level then make it possible to supplement the knowledge of its behaviors.Nowadays, the method of discrete elements is known as a numerical tool spread in the granular field. It can model its behavior through local models and provide information about its internal structure. On the one hand, this method considers that the particles are quasi-solid. Its displacement is governed by the laws of motion. On the other hand, the overlap at the particle contact level is allowed. The interpenetration of the particles is calculated by the associated local contact laws. This thesis constitutes a numerical model of bituminous mixes whose isolated particles interact through laws of interaction at a distance. This model takes into account the granulometry of the aggregates (> 1 mm) and its volume ratio with respect to the mastic constituted by grains (<1 mm), the binder and voids. The aggregates (> 1 mm) alone are modeled by numerical particles, while mastic is taken into account by laws of interaction.First, an elastic simulation is performed in order to reproduce the elastic asymptotic behaviors of a reference bituminous mix of GB3 type that appear during extreme conditions (frequency or temperature). Elastic interaction laws have applied to the created numerical model. In both normal and tangential directions, the stiffness of the spring and its ratio are constant.Then, the viscoelastic simulations are performed to reproduce the viscoelastic behavior of the same reference material. At first, a Kelvin-Voigt interaction law is used to qualitatively highlight the application of a viscoelastic law. Then, the global viscoelastic behavior is modeled at the level of the particles by some laws of interaction of type 1KV1R (a Kelvin-Voigt and a spring in series) leaving again to the network of interaction of the numerical model. The stiffness of the springs taking into account the geometry of the particle interface is constant for all models of 1KV1R. However, the viscosities of the dashpots are different. Some hypotheses are examined to distribute its viscosities in the interaction network. At the end of the studies, the analysis of the internal efforts are carried out
Ayadi, Ali. "Semantic approaches for the meta-optimization of complex biomolecular networks." Thesis, Strasbourg, 2018. http://www.theses.fr/2018STRAD035/document.
Повний текст джерелаSystems biology models aim to understand the behaviour of a cell trough a complex biomolecular network. In the literature, most research focuses on modelling isolated parts of this network, such as metabolic networks.However, to fully understand the cell’s behaviour we should analyze the biomolecular network as a whole. Avail-able approaches do not address these requirements sufficiently. In this context, we aim at developing a platform that enables biologists to simulate the state changes of biomolecular networks with the goal of steering their be-haviours. The platform employs rules, knowledge and experience, much like those that an expert biologist mightderive. This platform consists of four modules: a logic-based modelling module, a semantic modelling module,a qualitative discrete-event simulation module and an optimization module. For this purpose, we first present alogic-based approach for modelling complex biomolecular networks including the structural, functional and be-havioural aspects. Next, we propose a semantic approach based on four ontologies to provide a rich description of biomolecular networks and their state changes. Then, we present a method of qualitative discrete-event simulation to simulate the biomolecular network behaviour over time. Finally, we propose a multi-objective optimization method for optimizing the transittability of complex biomolecular networks in which we take into account various criteria such as minimizing the number of external stimuli, minimizing the cost of these stimuli, minimizing the number of target nodes and minimizing patient discomfort. Based on these four contributions, a prototype called the CBNSimulator was developed. We describe our approaches and show their applicability through real cases studies, the bacteriophage T4 gene 32, the phage lambda, and the p53 signaling network. Results demonstrate that these approaches provide the necessary elements to model, reason and analyse the dynamic behaviour and the transition states of complex biomolecular networks
Mercat, Christian. "Analyse Complexe Discrète." Habilitation à diriger des recherches, Université Montpellier II - Sciences et Techniques du Languedoc, 2009. http://tel.archives-ouvertes.fr/tel-00439782.
Повний текст джерелаDufresne, Yann. "Développement d’un solveur 3D massivement parallèle pour la prédiction d’écoulements granulaires réactifs en géométrie complexe DEM/CFD simulations of a pseudo-2D fluidized bed : comparison with experiments." Thesis, Normandie, 2019. http://www.theses.fr/2019NORMIR15.
Повний текст джерелаParticle-laden flows are ubiquitous in industry and feature multiple scales and physics. Their experimental study is made complex by the lack of visual access, thus limiting their understanding and predictability. The interest in numerical simulations to study such flows is growing, in particular in a context of computational power arising from parallel machines. Today, the most appropriate tools for their characterization are macro-scale models, where the solid phase is treated as a continuum, hence the need for ad hoc closures. The Discrete Element Method (DEM) is able to provide useful data to the design of such closures, as it necessitates lesser hypothesis, considering each particle individually. Coupled with a Large-Eddy Simulation (LES) framework, it enables to compute the momentum and energy balance on each particle, considering collisions and thermal exchanges, at the price of an increased computational time. In this context, the aim of this work is the development of a numerical tool allowing the study of realistic pilot scale systems involving complex geometries. Special care is given to the design of an algorithm for the treatment of spherical particles’ collisions with arbitrarily complex walls compatible with unstructured meshes. Parallel performances are at the heart of the subject as well. In a parallel paradigm of double domain decomposition, the design of an algorithm enabling non-blocking exchanges of unique messages between processors is carried out, also involving the possibility to achieve dynamic load balancing during simulations. The implemented solver was successfully applied to several configurations, among which an hourglass to recreate the Janssen effect, a full-loop circulating fluidized bed featuring a transported bed and a cyclone, and a non-isothermal pseudo-2D fluidized bed investigating the cooling of glass beads. Finally, it also reproduced experimental findings on a reactive fluidized bed performing natural gas combustion, gathering fifty million particles and running on two thousand cores
Battisti, Laurent. "Variétés toriques à éventail infini et construction de nouvelles variétés complexes compactes : quotients de groupes de Lie complexes et discrets." Thesis, Aix-Marseille, 2012. http://www.theses.fr/2012AIXM4714/document.
Повний текст джерелаIn this thesis we study certain classes of complex compact non-Kähler manifolds. We first look at the class of Kato surfaces. Given a minimal Kato surface S, D the divisor consisting of all rational curves of S and ϖ : Š ͢ S the universal covering of S, we show that Š \ϖ-1 (D) is a Stein manifold. LVMB manifolds are the second class of non-Kähler manifolds that we study here. These complex compact manifolds are obtained as quotient of an open subset U of Pn by a closed Lie subgroup G of (C*)n of dimension m. We reformulate this procedure by replacing U by the choice of a subfan of the fan of Pn and G by a suitable vector subspace of R^{n}. We then build new complex compact non Kähler manifolds by combining a method of Sankaran and the one giving LVMB manifolds. Sankaran considers an open subset U of a toric manifold whose quotient by a discrete group W is a compact manifold. Here, we endow some toric manifold Y with the action of a Lie subgroup G of (C^{*})^{n} such that the quotient X of Y by G is a manifold, and we take the quotient of an open subset of X by a discrete group W similar to Sankaran's one.Finally, we consider OT manifolds, another class of non-Kähler manifolds, and we show that their algebraic dimension is 0. These manifolds are obtained as quotient of an open subset of C^{m} by the semi-direct product of the lattice of integers of a finite field extension K over Q and a subgroup of units of K well-chosen
Faustino, Nelson José Rodrigues. "Discrete Clifford analysis." Doctoral thesis, Universidade de Aveiro, 2009. http://hdl.handle.net/10773/2942.
Повний текст джерелаEsta tese estuda os fundamentos de uma teoria discreta de funções em dimensões superiores usando a linguagem das Álgebras de Clifford. Esta abordagem combina as ideias do Cálculo Umbral e Formas Diferenciais. O potencial desta abordagem assenta essencialmente da osmose entre ambas as linguagens. Isto permitiu a construção de operadores de entrelaçamento entre estruturas contínuas e discretas, transferindo resultados conhecidos do contínuo para o discreto. Adicionalmente, isto resultou numa transcrição mimética de bases de polinómios, funções geradoras, Decomposição de Fischer, Lema de Poincaré, Teorema de Stokes, fórmula de Cauchy e fórmula de Borel-Pompeiu. Esta teoria também inclui a descrição dos homólogos discretos de formas diferenciais, campos vectores e integração discreta. De facto, a construção resultante de formas diferenciais, campos vectores e integração discreta em termos de coordenadas baricêntricas conduz à correspondência entre a teoria de Diferenças Finitas e a teoria de Elementos Finitos, dando um núcleo de aplicações desta abordagem promissora em análise numérica. Algumas ideias preliminares deste ponto de vista foram apresentadas nesta tese. Também foram apresentados resultados preliminares na teoria discreta de funções em complexos envolvendo simplexes. Algumas ligações com Combinatória e Mecânica Quântica foram também apresentadas ao longo desta tese.
This thesis studies the fundamentals of a higher dimensional discrete function theory using the Clifford Algebra setting. This approach combines the ideas of Umbral Calculus and Differential Forms. Its powerful rests mostly on the interplay between both languages. This allowed the construction of intertwining operators between continuous and discrete structures, lifting the well known results from continuum to discrete. Furthermore, this resulted in a mimetic transcription of basis polynomial, generating functions, Fischer Decomposition, Poincaré and dual-Poincaré lemmata, Stokes theorem and Cauchy’s formula. This theory also includes the description discrete counterparts of differential forms, vector-fields and discrete integration. Indeed the resulted construction of discrete differential forms, discrete vector-fields and discrete integration in terms of barycentric coordinates leads to the correspondence between the theory of Finite Differences and the theory of Finite Elements, which gives a core of promising applications of this approach in numerical analysis. Some preliminary ideas on this point of view were presented in this thesis. We also developed some preliminary results in the theory of discrete monogenic functions on simplicial complexes. Some connections with Combinatorics and Quantum Mechanics were also presented along this thesis.
Chebbi, Yassin. "Laplacien discret d'un 2-complexe simplicial." Thesis, Nantes, 2018. http://www.theses.fr/2018NANT4028/document.
Повний текст джерелаPacheco-Martínez, Ana María. "Extracting cell complexes from 4-dimensional digital images." Thesis, Poitiers, 2012. http://www.theses.fr/2012POIT2262/document.
Повний текст джерелаA digital image can be defined as a set of n-xels on a grid made up by n-cubes. Segmentation consists in computing a partition of an image into regions. The n-xels having similar characteristics (color, intensity, etc.) are regrouped. Schematically, each n-xel is assigned a label, and each region of the image is made up by n-xels with the same label. The methods "type" Marching cubes and Kenmochi et al. construct complexes representing the topology of the region of interest of a 3-dimensional binary digital image. In the first method, the algorithm constructs a simplicial complex, whose 0-cells are points of the edges of the dual grid. Inthe second one, the authors construct a cell complex on a dual grid, i.e. the 0-cells of the complex are vertices of the dual grid. In order to construct the complex, Kenmochi et al. compute (up to rotations) the different configurations of white and black vertices of a cube, and then, they construct the convex hulls of the black points of these configurations. These convex hulls define the cells of the complex, up to rotations. The work developed in this thesis extends Kenmochi et al. method todimension 4. The goal is to construct a cell complex from a binary digital image defined on a dual grid. First, we compute the different configurations of white and black vertices of a 4-cube, up to isometries, and then, we construct the convex hulls defined by these configurations. These convex hulls are constructed by deforming the original 4-cube, and we distinguishseveral basic construction operations (deformation, degeneracy of cells, etc.). Finally, we construct the cell complex corresponding to the dual image by assembling the cells so o
Una imagen digital puede ser definida como un conjunto de n–xeles en un mallado constituido de n–cubos. Los n–xeles pueden ser identificados con: (1) los n–cubos del mallado, o con (2) los puntos centrales de estos n–cubos. En el primer caso, trabajamos con un mallado primal, mientras que en el segundo, trabajamos con un mallado dual construido a partir del mallado primal. La segmentación consiste en calcular una partición de una imagen en regiones. Los n–xeles que tienen características similares (color, intensidad, etc.) son reagrupados. Esquemáticamente, a cada n–xel se le asocia una etiqueta, y cada región de la imagen está constituida de n–xeles con la misma etiqueta. En particular, si las únicas etiquetas permitidas para los n–xeles son “blanca” y “negra”, la segmentación se dice binaria: los n–xeles negros forman el primer plano (foreground) o región de interés en cuestión de análisis de la imagen, y los n–xeles blancos forman el fondo (background). Ciertos modelos, como los Grafos de Adyacencia de Regiones (RAGs), los Grafos Duales (DGs) y la carta topológica, han sido propuestos para representar las particiones en regiones, y en particular para representar la topología de estas regiones, es decir las relaciones de incidencia y/o adyacencia entre las diferentes regiones. El RAG [27] es un precursor de este tipo de modelos, y ha sido una fuente de inspiración de los DGs [18] y de la carta topológica [9, 10]. Un RAG representa una imagen primal etiquetada por un grafo: los vértices del grafo corresponden a regiones de la imagen, y las aristas del grafo representan las relaciones de adyacencia entre la regiones. Los DGs son un modelo que permite resolver ciertos inconvenientes de los RAGs para representar imágenes de dimensión 2. La carta topológica es una extensión de los modelos anteriores definida para manipular imágenes primales de dimensión 2 y 3, representando no solamente las relaciones topológicas, sino también las relaciones geométricas
Lahoud, Marcelo Galindo [UNESP]. "Síntese e investigação da potencialidade de aplicação como material molecular de espécies discretas e Metal Organic Frameworks (MOFs) baseados em íons terras raras." Universidade Estadual Paulista (UNESP), 2016. http://hdl.handle.net/11449/143479.
Повний текст джерелаApproved for entry into archive by Juliano Benedito Ferreira (julianoferreira@reitoria.unesp.br) on 2016-08-30T17:19:13Z (GMT) No. of bitstreams: 1 lahoud_mg_dr_araiq.pdf: 5422221 bytes, checksum: 5ec64c3a1cf3ba55c1ca566db0e47a8b (MD5)
Made available in DSpace on 2016-08-30T17:19:13Z (GMT). No. of bitstreams: 1 lahoud_mg_dr_araiq.pdf: 5422221 bytes, checksum: 5ec64c3a1cf3ba55c1ca566db0e47a8b (MD5) Previous issue date: 2016-08-11
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Este trabalho é dividido em duas partes, na primeira parte foi caracterizado o complexo [Ln(keto)3(H2O)] (Ln = Gd, Eu) por espectroscopia vibracional no infravermelho, analise elementar e otimização da geometria por método DFT. Mas o foco central foram os estudos das propriedades luminescente no intervalo de 12 – 300 K. O espectro de emissão do [Eu(keto)3(H2O)] revela uma forte dependência com a temperatura, bem ilustrada pelo não usual deslocamento amplo para o azul de (17 cm1) da transição 5D07F0 quando a temperatura é elevada de 12 a 300 K. A diferença aritmética entre os espectros de absorção do [Eu(keto)3(H2O)] com o do [Gd(keto)3(H2O)] indicou a presença de uma banda de transferência de carga do ligante para o metal (LMCT) (320-370 nm). A partir da fosforescência do [Gd(keto)3(H2O)] a energia dos estados de tripleto relacionada ao Keto foi determinada mostrando uma grande sobreposição com os níveis intra-4f6 e um forte acoplamento elétron-fônon. A alta ressonância entre o nível LMCT e estados tripletos e os níveis do Eu3+ leva a uma forte dependência do valor do tempo de vida da 5D0, típico da presença de processos de transferência de energia operativos. A segunda parte desse trabalho compreendeu na síntese, caracterização e estudos das propriedades luminescente e magnéticas de uma MOF inédito de formula [Eu2(Btec)1,5(H2O)]n. A MOF foi sintetizada por via hidrotermal e caracterizado por DRX de monocristal e pó, espectroscopia vibracional no infravermelho, reflectância difusa, analise elementar, analise térmica, microscopia eletrônica de varredura e fisissorção de N2. O composto apresentou boa estabilidade térmica no entanto mostrou-se ter baixa porosidade. A MOF apresentou emissão na região do vermelho com elevado rendimento quântico de emissão, mostrando que o ligante é um bom sensibilizador nesse sistema. As emissões dos íons Eu3+ mostraram-se ser uma sonda espectroscópica, contribuindo na elucidação da estrutura. Foi observado uma dependência térmica em relação à intensidade das transições originárias do nível 7F1, em especial a transição 7F15D1. Além disso, as transições intraconfiguracionais 4f-4f mostram ter uma boa fotoestabilidade. Resultados de susceptibilidade magnética mostram íons Eu3+ magneticamente afastados e portanto os torna uma fraca probe estrutural.
This work is divided into two parts, the first part was characterized the complex [Ln(keto)3(H2O)] (Ln = Gd, Eu) by infrared spectroscopy, elemental analysis and geometry optimization by DFT method. But the central focus was the study of luminescent properties in the 12-300 K interval. The emission spectra of [Eu(keto)3(H2O)] reveal a strong dependence with the temperature, well-illustrated by an unusual large blue-shift (17 cm1) of the 5D07F0 transition as the temperature is raised from 12 to 300 K. The arithmetic difference between the absorption spectrum of [Eu(keto)3(H2O)] with that of [Gd(keto)3(H2O)] pointed out the presence of a ligand-to-metal charge transfer (LMCT) band (320-370 nm). From the [Gd(keto)3(H2O)] phosphorescence the energy of the keto-related triplet states was determined showing a large overlap with the intra-4f 6 levels and a strong electron-phonon coupling. The high-resonance between the LMCT and triplet states and the Eu3+ levels leads to a strong dependence of the 5D0 lifetime value, typical of the presence of operative energy transfer processes. The second part of this work included in the synthesis, characterization and study of luminescence and magnetic properties of a novel MOF formula [Eu2(Btec)1,5(H2O)]n. The MOF was synthesized by way hydrothermal and characterized by XRD of single crystal and powder, infrared spectroscopy, diffuse reflectance, elemental analysis, thermal analysis, scanning electron microscopy and N2 physisorption. Compound demonstrated good thermal stability however proved to have low porosity. MOF showed emission in the red region with a high emission quantum yield, showing that the ligand is a good sensitizer in the system. The emission of Eu3+ ions proved to be a spectroscopic probe, contributing to the elucidation of the structure. A thermal dependence was observed in relation to the intensity of originating 7F1 level transitions, in particular the 7F15D1 transition. Furthermore, the 4f-4f transitions intraconfigurational shown to have a good photostability. Magnetic susceptibility results show Eu3+ ions separated magnetically and thus makes a weak probe structure.
BOUFAIED, Amine. "Contribution à la surveillance distribuée des systèmes à événements discrets complexes." Phd thesis, Université Paul Sabatier - Toulouse III, 2003. http://tel.archives-ouvertes.fr/tel-00010972.
Повний текст джерелаZAMAI, Eric. "Architecture de surveillance-commande pour les systèmes à événements discrets complexes." Phd thesis, Université Paul Sabatier - Toulouse III, 1997. http://tel.archives-ouvertes.fr/tel-00010078.
Повний текст джерелаZamaï, Eric. "Architecture de surveillance-commande pour les systèmes à événements discrets complexes." Toulouse 3, 1997. http://www.theses.fr/1997TOU30136.
Повний текст джерелаThe work presented deals with the supervision of flexible manufacturing systems. It presents the integration of real-time monitoring of process failures. The originality of this approach is to consider the control and the monitoring on the same level and not the monitoring as a palliative for the control. A structure of a monitoring-control module is proposed. This module is made up of two cooperating models based on the activity concept. The first one, the reference model for monitoring and control, gives all the functionalities of the monitoring system. The second one, the strategy model for monitoring and control, models the constraints imposed by the objectives of the firm and the users. The execution of a monitoring treatment is not limited to the strict sequence ¿ detection, diagnosis, decision and recovery ¿. Other elaborated sequences are allowed and can be executed by the module. Taking the executed activity into account, a supervisor integrated in each module of the hierarchy manages the information by directing each one to the suitable monitoring or control functions: detection, follow, control, diagnosis, decision, recovery or emergency. An example based on a manufacturing process illustrates the main benefits of the approach: monitoring flexibility, reactivity to the process evolutions, respect of the monitoring constraints imposed by the factory
Boufaied, Amine. "Contribution à la surveillance distribuée des systèmes à évènements discrets complexes." Toulouse 3, 2003. http://www.theses.fr/2003TOU30234.
Повний текст джерелаRoux, Anthony. "Modélisation par la Méthode des Eléments Discrets de la Déchirure du Complexe Musculo-Tendineux." Thesis, Paris, ENSAM, 2016. http://www.theses.fr/2016ENAM0023/document.
Повний текст джерелаTearing of the muscle-tendon complex is a common sport-related injury for athletes. Many studies reported description of this traumatism but mechanisms leading to such an injury are still unclear as are the site of mechanical failure and involved structures. The aim of the thesis is to describe the phenomenon of the muscle-tendon-complex’s tear using the discrete element method and validating the numerical model with experimental data. In the first part, a literature review explains the different properties of the muscle-tendon complex main components’ in order to model it at the macroscopic scale. In the second part, the muscle-tendon complex is modeled. Validation of the mechanical behavior in passive tensile test is proposed by comparison with experimental data from L.-L. Gras on human sternocleidomastodeus muscle. Then, the different influences of morphometric parameters on the mechanical behavior of the complex are investigated. The third part focuses on the rupture. A model of the complex set of {Achilles tendon/surae triceps} is built and a tensile test until rupture is applied. Model validity is assessed by comparison with in vitro experiments from human cadavers. The fourth part focuses on the muscular activation, implemented inside fibers’ behavior. Validity of its active behavior is investigated. This fifth and last presents the enrichment with destructive tensile test. This added test allows first to study the feasibility to model the tear with the discrete element method; and second to focus on damaged structures and rupture’s mechanisms. This offers possibilities for clinical applications of this model to understand and prevent injuries caused by a tear of the muscle-tendon complex
Paupert, Julien. "Configurations de lagrangiens, domaines fondamentaux et sous-groupes discrets de PU (2,1)." Phd thesis, Université Pierre et Marie Curie - Paris VI, 2005. http://tel.archives-ouvertes.fr/tel-00011502.
Повний текст джерела$PU(2,1)$, groupe des isométries holomorphes de l'espace hyperbolique complexe de dimension (complexe) 2. On s'intéresse en particulier aux groupes engendrés par des transformations elliptiques, i.e. ayant un point fixe dans cet espace.
Les deux fils conducteurs de ce travail sont d'une part l'utilisation des sous-espaces lagrangiens (ou plans réels) ainsi que des réflexions associées (des involutions antiholomorphes), et de l'autre
l'étude et la compréhension des exemples de réseaux de $PU(2,1)$
construits par Mostow en 1980.
Barnard, Kristen M. "Some Take-Away Games on Discrete Structures." UKnowledge, 2017. http://uknowledge.uky.edu/math_etds/44.
Повний текст джерелаTrevisan, Edson Felipe Capovilla. "Métodos de simulação-otimização e análise de decisão multi-critério aplicados ao dimensionamento de sistemas logísticos complexos." Universidade de São Paulo, 2013. http://www.teses.usp.br/teses/disponiveis/3/3148/tde-19092014-114307/.
Повний текст джерелаA logistic system study involves strategic and operational elements, commonly composing multi-faceted systems with antagonistic goals and large number of alternatives. In this context, this thesis discusses the use of multi-criteria decision analysis (MCDA), discrete event simulation (DES) and optimization for simulation. The MCDA methodology captures, measures and weighs the goals and values of decision makers. DES is useful for representing systems with high level of detail, allowing the evaluation of several system configurations. Finally, optimization for simulation procedures are useful for searching and comparing more efficient alternatives. These three methodologies are assessed and their advantages, disadvantages, and complementarities are identified for logistics systems applications. Through a case study of a transportation system, we conclude that: a) the SED incorporated important details for more precise evaluation of various performance indicators b) the MCDA methodology was useful to capture several goals and values, so that robust tradeoffs could be carried out c) an exhaustive search routine and variance reduction techniques allowed the comparison of several alternatives in feasible computational times. Finally, we conclude that the presented hybrid methodology expands the application of DES to complex logistics systems.
Nguyen, Dang-Trinh. "Diagnostic en ligne des systèmes à événements discrets complexes : approche mixte logique/probabiliste." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAT067/document.
Повний текст джерелаToday's manufacturing systems are challenged by increasing demand diversity and volume that result in short product life cycles with the emergence of high-mix low-volume production. Therefore, one of the main objectives in the manufacturing domain is to reduce cycle time (CT) while ensuring product quality at reduced cost. In such competitive environment, product quality is ensured by introducing more rigorous controls at each production step that results in extended cycle times and increased production costs. This can be reduced by introducing R2R (run to run) loops where control on the product quality is carried out after multiple consecutive production steps. However, product quality drift, detected by metrology at the end of run-to-run loop, results in stopping respective sequence of production equipment. The manufacturing systems are equipped with sensors that provide basis for real time monitoring and diagnosis; however, placement of these sensors is constrained by its structure and the functions they perform. Besides this, these sensors cannot be placed across the equipment due to associated big data analyses challenge. This also results in non-observable components that limit our ability to support effective real time monitoring and fault diagnosis initiatives. Consequently, production equipment in R2R loop are stopped upon product quality drift detection at the inspection step. It is because of the fact that we are unable to diagnose that which equipment or components are responsible for the product quality drift. As a result, production capacities are reduced not because of faulty equipment or components but due to our inability for efficient and effective diagnosis.In this scenario, the key challenge is to diagnose faulty equipment and localize failure(s) against these unscheduled equipment breakdowns. Moreover, the situation becomes more complex if the potential failure(s) is unknown and requires experts' intervention before corrective maintenance can be applied. In addition to this, new failures can emerge as a consequence of different failures and associated delay in its localization and detection. Therefore, success of the manufacturing domain, in such competitive environment, depends on quick and more accurate fault isolation, detection and diagnosis. This paper proposes a methodology that exploits historical data over unobserved equipment components to reduce search space of potential faulty components followed by more accurate diagnosis of failures and causes. The key focus is to improve the effectiveness and efficiency of real time monitoring of potential faulty components and causes diagnoses.This research focuses on potential diagnosis using Logical Diagnosis model (Deschamps et al., 2007) which that offers real time diagnosis in an automated production system. This reduces the search space for faulty equipment from a given production flow and optimizes the learning step for the subsequent BN. The BN model, based on the graphical structure, received from Logical Diagnosis model then computes joint and conditional probabilities for each node, to support corrective maintenance decisions upon scheduled and unscheduled equipment breakdowns. The proposed method enables real time diagnosis for corrective maintenance in fully or semi-automated manufacturing systems
Combacau, Michel. "Commande et surveillance des systèmes a évéments discrets complexes : application aux ateliers flexibles." Toulouse 3, 1991. http://www.theses.fr/1991TOU30220.
Повний текст джерелаDeschamps, Eric. "Diagnostic de services pour la reconfiguration dynamique de systèmes à évenements discrets complexes." Grenoble INPG, 2007. http://www.theses.fr/2007INPG0136.
Повний текст джерелаThis thesis takes place in the context of dynamic reconfiguration of production systems. It contributes to the diagnosis of services in the presence of failures of the operative part. The aim is to update, on line, a model representing the capacities offered by an operative part. Thus, based on such a model which uses the principles issued of automatic planning, we proposed, first, a mechanism of tracking allowin! the build and the organization of a history. Second, an algorithm of forward/backward search, based on a system of rules, was developed to locate under the occurrence of failures, not only the services being at the possible origin of the dysfunction observed but also services potentially affected. Finally, an update of the operating part model is done in order to present at the system reconfiguration an "honest" model of the operational capacities which are still available
Gaye, Masseye. "Sous-groupes discrets de PU(2,1) engendrés par n réflexions complexes et déformation." Paris 6, 2008. http://www.theses.fr/2008PA066596.
Повний текст джерелаSari, Huseyin. "Motion Estimation Using Complex Discrete Wavelet Transform." Master's thesis, METU, 2003. http://etd.lib.metu.edu.tr/upload/1223205/index.pdf.
Повний текст джерелаSchwartz, Samuel David. "Machine Learning Techniques as Applied to Discrete and Combinatorial Structures." DigitalCommons@USU, 2019. https://digitalcommons.usu.edu/etd/7542.
Повний текст джерелаArnold, Rachel Florence. "The Discrete Hodge Star Operator and Poincaré Duality." Diss., Virginia Tech, 2012. http://hdl.handle.net/10919/27485.
Повний текст джерелаPh. D.
Aiello, Antoine. "Environnement oriente objet de modelisation et de simulation a evenements discrets de systemes complexes." Corte, 1997. http://www.theses.fr/1997CORT3031.
Повний текст джерела