Дисертації з теми "Eavesdropping on the graph state"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 дисертацій для дослідження на тему "Eavesdropping on the graph state".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.
Lawrence, Alan Christopher. "Optimizing compilation with the value state dependence graph." Thesis, University of Cambridge, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.611873.
Повний текст джерелаLi, Wei. "An approach to graph-based modeling of network exploitations." Diss., Mississippi State : Mississippi State University, 2005. http://sun.library.msstate.edu/ETD-db/ETD-browse/browse.
Повний текст джерелаMeana, Richard William Piper. "Approximate Sub-Graph Isomorphism For Watermarking Finite State Machine Hardware." Scholar Commons, 2013. http://scholarcommons.usf.edu/etd/4728.
Повний текст джерелаSteenken, Dominik [Verfasser]. "Verification of infinite-state graph transformation systems via abstraction / Dominik Steenken." Paderborn : Universitätsbibliothek, 2015. http://d-nb.info/106989933X/34.
Повний текст джерелаStanier, James. "Removing and restoring control flow with the Value State Dependence Graph." Thesis, University of Sussex, 2012. http://sro.sussex.ac.uk/id/eprint/7576/.
Повний текст джерелаZhou, Rong. "Memory-efficient graph search applied to multiple sequence alignment." Diss., Mississippi State : Mississippi State University, 2005. http://library.msstate.edu/etd/show.asp?etd=etd-06282005-015428.
Повний текст джерелаLei, Jiansheng. "Using graph theory to resolve state estimator issues faced by deregulated power systems." [College Station, Tex. : Texas A&M University, 2007. http://hdl.handle.net/1969.1/ETD-TAMU-1292.
Повний текст джерелаEl, Musleh Mohammad. "Transformation of UML State Machine Diagram into Graph Database to Generate Test Cases." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-426060.
Повний текст джерелаBlack, Chelsea Lynn. "Resting-State Functional Brain Networks in Bipolar Spectrum Disorder: A Graph Theoretical Investigation." Diss., Temple University Libraries, 2016. http://cdm16002.contentdm.oclc.org/cdm/ref/collection/p245801coll10/id/393135.
Повний текст джерелаPh.D.
Neurobiological theories of bipolar spectrum disorder (BSD) propose that the emotional dysregulation characteristic of BSD stems from disrupted prefrontal control over subcortical limbic structures (Strakowski et al., 2012; Depue & Iacono, 1989). However, existing neuroimaging research on functional connectivity between frontal and limbic brain regions remains inconclusive, and is unable to adequately characterize global functional network dynamics. Graph theoretical analysis provides a framework for understanding the local and global connections of the brain and comparing these connections between groups (Sporns et al., 2004). The purpose of this study was to investigate resting state functional connectivity in individuals at low and high risk for BSD based on moderate versus high reward sensitivity, both with and without a BSD diagnosis, using graph theoretical network analysis. Results demonstrated decreased connectivity in a cognitive control region (dorsolateral prefrontal cortex), but increased connectivity of a brain region involved in the detection and processing of reward (bilateral orbitofrontal cortex), among participants at high risk for BSD. Participants with BSD showed increased inter-module connectivity of the dorsal anterior cingulate cortex (ACC). Reward sensitivity was associated with decreased global and local efficiency, and interacted with BSD risk group status to predict inter-module connectivity. Findings are discussed in relation to neurobiological theories of BSD.
Temple University--Theses
Schäfer, Alexander. "Identifying Changes of Functional Brain Networks using Graph Theory." Doctoral thesis, Universitätsbibliothek Leipzig, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-166041.
Повний текст джерелаLampka, Kai. "A symbolic approach to the state graph based analysis of high-level Markov reward models." [S.l.] : [s.n.], 2007. http://deposit.ddb.de/cgi-bin/dokserv?idn=985513926.
Повний текст джерелаThompson, Barrett Michael. "An analysis of the state space graph for integer permutation with application to local search." Thesis, Georgia Institute of Technology, 1988. http://hdl.handle.net/1853/25027.
Повний текст джерелаRossi, Magi Lorenzo. "Graph-based analysis of brain resting-state fMRI data in nocturnal frontal lobe epileptic patients." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2015. http://amslaurea.unibo.it/8332/.
Повний текст джерелаFRANCH, Daniel Kudlowiez. "Dynamical system modeling with probabilistic finite state automata." Universidade Federal de Pernambuco, 2017. https://repositorio.ufpe.br/handle/123456789/25448.
Повний текст джерелаApproved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-08-07T21:11:31Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Daniel Kudlowiez Franch.pdf: 1140156 bytes, checksum: c02b1b4ca33f8165be5960ba5a212730 (MD5)
Made available in DSpace on 2018-08-07T21:11:31Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Daniel Kudlowiez Franch.pdf: 1140156 bytes, checksum: c02b1b4ca33f8165be5960ba5a212730 (MD5) Previous issue date: 2017-03-10
FACEPE
Discrete dynamical systems are widely used in a variety of scientific and engineering applications, such as electrical circuits, machine learning, meteorology and neurobiology. Modeling these systems involves performing statistical analysis of the system output to estimate the parameters of a model so it can behave similarly to the original system. These models can be used for simulation, performance analysis, fault detection, among other applications. The current work presents two new algorithms to model discrete dynamical systems from two categories (synchronizable and non-synchronizable) using Probabilistic Finite State Automata (PFSA) by analyzing discrete symbolic sequences generated by the original system and applying statistical methods and inference, machine learning algorithms and graph minimization techniques to obtain compact, precise and efficient PFSA models. Their performance and time complexity are compared with other algorithms present in literature that aim to achieve the same goal by applying the algorithms to a series of common examples.
Sistemas dinâmicos discretos são amplamente usados em uma variedade de aplicações cientifícas e de engenharia, por exemplo, circuitos elétricos, aprendizado de máquina, meteorologia e neurobiologia. O modelamento destes sistemas envolve realizar uma análise estatística de sequências de saída do sistema para estimar parâmetros de um modelo para que este se comporte de maneira similar ao sistema original. Esses modelos podem ser usados para simulação, referência ou detecção de falhas. Este trabalho apresenta dois novos algoritmos para modelar sistemas dinâmicos discretos de duas categorias (sincronizáveis e não-sincronizáveis) por meio de Autômatos Finitos Probabilísticos (PFSA, Probabilistic Finite State Automata) analisando sequências geradas pelo sistema original e aplicando métodos estatísticos, algoritmos de aprendizado de máquina e técnicas de minimização de grafos para obter modelos PFSA compactos e eficientes. Sua performance e complexidade temporal são comparadas com algoritmos presentes na literatura que buscam atingir o mesmo objetivo aplicando os algoritmos a uma série de exemplos.
Soto, Manuel. "Unmanned aerial vehicle real-time guidance system via state space heuristic search." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2007. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.
Повний текст джерелаBalasubramanian, Suman. "On the Erdős-Sòs conjecture and the Cayley Isomorphism Problem." Diss., Mississippi State : Mississippi State University, 2009. http://library.msstate.edu/etd/show.asp?etd=etd-07102009-113145.
Повний текст джерелаBodily, Ty Alvin. "A Graph Theoretical Analysis of Functional Brain Networks Related to Memory and Healthy Aging." BYU ScholarsArchive, 2018. https://scholarsarchive.byu.edu/etd/7567.
Повний текст джерелаShankar, Anita. "Resting-state Graph Theory Metrics Predict Processing Speed and Correlate with Disease Burden in Relapsing-Remitting Multiple Sclerosis." The Ohio State University, 2021. http://rave.ohiolink.edu/etdc/view?acc_num=osu1618447775667055.
Повний текст джерелаVasudevan, Dilip Prasad. "Automatic test pattern generation for asynchronous circuits." Thesis, University of Edinburgh, 2012. http://hdl.handle.net/1842/7670.
Повний текст джерелаPitts, Christine Maria. "A Dynamic Network Study on How Consolidating State Governance Models Relates to Legislator Voting Patterns." Thesis, University of Oregon, 2018. http://hdl.handle.net/1794/23766.
Повний текст джерелаClad, François. "Disruption-free routing convergence : computing minimal link-state update sequences." Thesis, Strasbourg, 2014. http://www.theses.fr/2014STRAD012/document.
Повний текст джерелаThe use of real time media or mission critical applications over IP networks is making strong pressure on service providers to operate disruption free networks. However, after any topological change, link-state Interior Gateway Protocols (IGPs), such as IS-IS or OSPF, enter a convergence phase during which transient forwarding loops may occur. Such loops increase the network latency and cause packet losses for several seconds. In this thesis, we propose and evaluate innovative solutions to prevent these perturbations in case a planned modification on a link or a router. Our approach only relies on core functionalities of link-state routing protocols, thus being incrementally deployable in any network. Intuitively, it consists in implicitly controlling the routers update order through successive IGP weight reconfigurations on a subset of links. For example, progressively increasing the weight of a link forces farthest routers to update their routes first, before closest ones. Hence, finely tuning such changes may allow to spread the update of routers potentially implied in a loop across multiple steps. This operation can be repeated until the component to be removed is no longer used to forward traffic in the network, thus allowing its removal with no impact on the routing decisions
Hart, Michael Gavin. "Network approaches to understanding the functional effects of focal brain lesions." Thesis, University of Cambridge, 2018. https://www.repository.cam.ac.uk/handle/1810/274018.
Повний текст джерелаGarcía-García, Isabel, María Ángeles Jurado, Maite Garolera, Idoia Marqués-Iturria, Annette Horstmann, Bàrbara Segura, Roser Pueyo, et al. "Functional network centrality in obesity: a resting-state and task fMRI study." Psychiatry research (2015) 233, 3, S. 331-338, 2015. https://ul.qucosa.de/id/qucosa%3A14785.
Повний текст джерелаLu, Qifeng. "Bivariate Best First Searches to Process Category Based Queries in a Graph for Trip Planning Applications in Transportation." Diss., Virginia Tech, 2009. http://hdl.handle.net/10919/26444.
Повний текст джерелаPh. D.
Saksena, Mayank. "Verifying Absence of ∞ Loops in Parameterized Protocols." Doctoral thesis, Uppsala University, Department of Information Technology, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-8605.
Повний текст джерелаThe complex behavior of computer systems offers many challenges for formal verification. The analysis quickly becomes difficult as the number of participating processes increases.
A parameterized system is a family of systems parameterized on a number n, typically representing the number of participating processes. The uniform verification problem — to check whether a property holds for each instance — is an infinite-state problem. The automated analysis of parameterized and infinite-state systems has been the subject of research over the last 15–20 years. Much of the work has focused on safety properties. Progress in verification of liveness properties has been slow, as it is more difficult in general.
In this thesis, we consider verification of parameterized and infinite-state systems, with an emphasis on liveness, in the verification framework called regular model checking (RMC). In RMC, states are represented as words, sets of states as regular expressions, and the transition relation as a regular relation.
We extend the automata-theoretic approach to RMC. We define a specification logic sufficiently strong to specify systems representable using RMC, and linear temporal logic properties of such systems, and provide an automatic translation from a specification into an analyzable model.
We develop acceleration techniques for RMC which allow more uniform and automatic verification than before, with greater power. Using these techniques, we succeed to verify safety and liveness properties of parameterized protocols from the literature.
We present a novel reachability based verification method for verification of liveness, in a general setting. We implement the method for RMC, with promising results.
Finally, we develop a framework for the verification of dynamic networks based on graph transformation, which generalizes the systems representable in RMC. In this framework we verify the latest version of the DYMO routing protocol, currently being considered for standardization by the IETF.
Kebdani, Mohamed. "Modélisation dynamique basée sur l'approche bond graph d'une boucle fluide diphasique à pompage mécanique avec validation expérimentale." Thesis, Ecole centrale de Lille, 2016. http://www.theses.fr/2016ECLI0009/document.
Повний текст джерелаThis thesis is part of the collaborative project FUI THERMOFLUIDE-RT involving major groups (Zodiac DS, Safran Hispano, and MBDA), SMEs (Atmostat Alcen, ADR, AER, ControlSys) and five laboratories (CRIStAL Ecole Centrale de Lille, LML Arts et Métiers Paris Tech, LEGI Grenoble, LMT ENS Cachan, CEA-Liten Grenoble). The main purpose is to study a new electronic cooling system. The technology chosen consists of a two-phase fluid loop mechanically pumped (TPLMP). The thesis deals with the dynamic modeling and experimental validation of the cooling components. The developed dynamic model allows to predict the efficiency of the cooling loop, to conduct the study of transitional regimes, and provides an original tool dedicated to design the loop components. The bond graph methodology is adopted because of the multi physics character of the studied components. First, the basic issues and the industrial context are presented. This allows to introduce the chosen solution (TPLMP). The objectives of the thesis are described. Then, a description of the rig test is proposed. The following three chapters are devoted to a theoretical and experimental study of the loop equipment. Each chapter begins with a state of the art on modeling and correlations of the heat exchange coefficients and losses. A second part of the chapter describes phenomena and equations. A third part is dedicated to the experimental validation. A final chapter presents the coupling works of dynamic models validated separately. Finally, a summary of all contributions is made. Prospects for future developments in short and medium term are proposed
Ambrazas, Nerijus. "Pasiekiamų būsenų grafo sudarymo sudėtingumo tyrimas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2008. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2008~D_20080811_154652-52373.
Повний текст джерелаThe work deals with a verification task of real time system specified by aggregate method. While solving the task, a technique for creation a reachable state graph is used. The technique permits to evaluate intervals of time when the defined system events occur. Reachable state graph creation algorithms are analysed in the work. A data structure used in prototype software is presented in the work too. Assertions about a complexity of algorithm for reachable state graph creation are formulated and proved. These assertions concern maximum number of transitions from single state, dependency of number of graph verteles growth on a number of events, maximum number of events in a behaviour during time interval, and maximum number of vertexes during time interval. Analysis of automated creation of graphs for three test systems is presented. It is shown that Simplex optimisation procedure for comparison of time intervals can be used only in certain cases.
Aronsson, Peter. "Automatic Parallelization of Simulation Code from Equation Based Simulation Languages." Licentiate thesis, Linköping University, Linköping University, PELAB - Programming Environment Laboratory, 2002. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-5720.
Повний текст джерелаModern state-of-the-art equation based object oriented modeling languages such as Modelica have enabled easy modeling of large and complex physical systems. When such complex models are to be simulated, simulation tools typically perform a number of optimizations on the underlying set of equations in the modeled system, with the goal of gaining better simulation performance by decreasing the equation system size and complexity. The tools then typically generate efficient code to obtain fast execution of the simulations. However, with increasing complexity of modeled systems the number of equations and variables are increasing. Therefore, to be able to simulate these large complex systems in an efficient way parallel computing can be exploited.
This thesis presents the work of building an automatic parallelization tool that produces an efficient parallel version of the simulation code by building a data dependency graph (task graph) from the simulation code and applying efficient scheduling and clustering algorithms on the task graph. Various scheduling and clustering algorithms, adapted for the requirements from this type of simulation code, have been implemented and evaluated. The scheduling and clustering algorithms presented and evaluated can also be used for functional dataflow languages in general, since the algorithms work on a task graph with dataflow edges between nodes.
Results are given in form of speedup measurements and task graph statistics produced by the tool. The conclusion drawn is that some of the algorithms investigated and adapted in this work give reasonable measured speedup results for some specific Modelica models, e.g. a model of a thermofluid pipe gave a speedup of about 2.5 on 8 processors in a PC-cluster. However, future work lies in finding a good algorithm that works well in general.
Report code: LiU-Tek-Lic-2002:06.
Otčeskich, Olga. "Paskirstytųjų sistemų agregatinių specifikacijų validavimas analizuojant būsenų pasiekiamumą." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2005. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2005~D_20050517_183614-75526.
Повний текст джерелаAtchuthan, Dinesh. "Towards new sensing capabilities for legged locomotion using real-time state estimation with low-cost IMUs." Thesis, Toulouse 3, 2018. http://www.theses.fr/2018TOU30316/document.
Повний текст джерелаEstimation in robotics is an important subject affected by trade-offs between some major critera from which we can cite the computation time and the accuracy. The importance of these two criteria are application-dependent. If the computation time is not important for off-line methods, it becomes critical when the application has to run on real-time. Similarly, accuracy requirements are dependant on the applications. EKF estimators are widely used to satisfy real-time constraints while achieving acceptable accuracies. One sensor widely used in trajectory estimation problems remains the inertial measurement units (IMUs) providing data at a high rate. The main contribution of this thesis is a clear presentation of the preintegration theory yielding in a better use IMUs. We apply this method for estimation problems in both pedestrian and humanoid robots navigation to show that real-time estimation using a low- cost IMU is possible with smoothing methods while formulating the problems with a factor graph. We also investigate the calibration of the IMUs as it is a critical part of those sensors. All the development made during this thesis was thought with a visual-inertial SLAM background as a mid-term perspective. Firthermore, this work tries to rise another question when it comes to legged robots. In opposition to their usual architecture, could we use multiple low- cost IMUs on the robot to get valuable information about the motion being executed?
Решетицький, Олександр Вікторович. "Інтегрована система відображення стану мережевої інфраструктури в режимі реального часу". Master's thesis, КПІ ім. Ігоря Сікорського, 2019. https://ela.kpi.ua/handle/123456789/32398.
Повний текст джерелаObject of the research is a complex network infrastructure. Purpose of master's thesis is to develop software system for displaying state of network infrastructure. System uses Go as server-side programming language, graph database ArangoDB for storing network state graph, message queue RabbitMQ for communication between streaming services and nvt-composer service, relational database PostgreSQL for storing configuration, TypeScript as client-side programming language and WebSocket protocol to provide real-time client-server interaction. Developed system uses flexible configuration model for displaying graph elements and provides ease of integration with existing network monitoring systems.
Wibling, Oskar. "Creating Correct Network Protocols." Doctoral thesis, Uppsala universitet, Avdelningen för datorteknik, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-9361.
Повний текст джерелаKrivoūsas, Tomas. "Verifikavimo algoritmų panaudojimas analizuojant formalių PLA specifikacijų teisingumą." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2008. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2008~D_20080811_151721-05181.
Повний текст джерелаArguably the most important task in creation of software is user requirement specification. Accurate requirement specification allows avoidance of errors in late stages of software development. This is extremely important in critical systems, where even vague error can cause great financial losses or even human victims. One of the methods used for precise user requirement specification is use of formal specifications. Formal specification is a mathematical method for describing of software or hardware, which might be suitable for system realization. Nevertheless, the construction of formal specifications does not guarantee the correctness of specification. For this reason formal specification validation is necessary. In this paper methods of formal specification validation are discussed. Two most popular methods of formal specification validation are reachable state graph analysis and invariant checking. Reachable state graph analysis consists of graph generation and graph analysis. Graphs can be analyzed for dead-ends, closed loops, state reach ability checking, coordinate restriction checking or invariant checking. Traditional reachable graph generation algorithm uses unanalyzed states queue to produce reachable state graph. Each step single state is analyzed and depending on results new vertex or edge is added to state graph. An improvement to the algorithm to consider is usage of parallel programming to process multiple states simultaneously. This allows increasing the... [to full text]
Karlaftis, Vasileios Misak. "Structural and functional brain plasticity for statistical learning." Thesis, University of Cambridge, 2018. https://www.repository.cam.ac.uk/handle/1810/278790.
Повний текст джерелаМаслова, Зоя Іванівна, Зоя Ивановна Маслова, Zoia Ivanivna Maslova, Тетяна Володимирівна Лаврик, Татьяна Владимировна Лаврик, and Tetiana Volodymyrivna Lavryk. "Software implementation of calculating the value of a logical expression in compilers." Thesis, Sumy State University, 2016. http://essuir.sumdu.edu.ua/handle/123456789/46996.
Повний текст джерелаAngus, Simon Douglas Economics Australian School of Business UNSW. "Economic networks: communication, cooperation & complexity." Awarded by:University of New South Wales. Economics, 2007. http://handle.unsw.edu.au/1959.4/27005.
Повний текст джерелаTermenon, Conde Maite. "Analyse par graphes de la connectivité fonctionnelle de repos par IRM : vers de nouveaux biomarqueurs de la récupération fonctionnelle dans l'AVC." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAS023/document.
Повний текст джерелаNielsen, Jerel Bendt. "Robust Visual-Inertial Navigation and Control of Fixed-Wing and Multirotor Aircraft." BYU ScholarsArchive, 2019. https://scholarsarchive.byu.edu/etd/7584.
Повний текст джерелаMalagurski, Brigitta. "Signatures neurales de l'abolition et de la récupération de conscience à partir du coma." Thesis, Toulouse 3, 2018. http://www.theses.fr/2018TOU30039/document.
Повний текст джерелаThe aim of the present thesis was to characterize the functional and structural neural correlates of acute consciousness abolition induced by severe brain injury and identify early neural signatures of long-term neurological recovery. To do so, we studied brain-injured patients, recruited in the acute stage of coma, using resting-state functional and structural MRI. Our findings indicated a global topological brain reorganization in coma patients, reflected in dedifferentiated and less resilient high-order resting-state functional networks, paralleled with a loss of long-range fronto-parietal connections. On a regional level, we found a complex pattern of voxel-wise decrease and increase in functional connection density between the posteromedial cortex and the medial prefrontal cortex, regions previously described to have a critical role in conscious processing. These connection density patterns seemed to permit outcome prediction in patients, assessed three months post-coma. Furthermore, the multi-modal MRI analysis demonstrated a significant association between antero-posterior functional connectivity and structural integrity, providing further insights into the pathological underpinning of conscious processing
Self, Joel P. "On-the-Fly Dynamic Dead Variable Analysis." BYU ScholarsArchive, 2007. https://scholarsarchive.byu.edu/etd/886.
Повний текст джерелаYAMIN, MUHAMMAD ABUBAKAR. "Investigating Brain Functional Networks in a Riemannian Framework." Doctoral thesis, Università degli studi di Genova, 2021. http://hdl.handle.net/11567/1040663.
Повний текст джерелаGonzalez, Vieyra Joel Abraham. "Estimation et Contrôle des Systèmes Dynamiques à Entrées Inconnues et Energies Renouvelables." Thesis, Ecole centrale de Lille, 2019. http://www.theses.fr/2019ECLI0012/document.
Повний текст джерелаNowadays, industrial processes must be efficient, particularly at the production level and/or energy consumption.This research work aims at improving the process efficiency by analysing the influences of disturbances on their behaviour, from the conception phase to the synthesis of controller/observer, in an integrated approach.The disturbance rejection problem is first introduced as well as different control laws allowing attenuate/reject these disturbances. A control law based on the concept of derivative state variable is presented and validated while applied as disturbance rejection.In order to reject the disturbance, different physical variables must be estimated, such as state variables, derivative state variables as disturbance variables. An unknown input observer based on the bond graph representation is recalled and extended in the multivariable case. It is the first theoretical contribution of this work.We thus compare the efficiency of different so-called «modern control laws» for the disturbance rejection problems by simulation with the Torsion-Bar system example. We analyse the efficiency of our approach. One extension to the Input-Output decoupling problem allows us to extend the disturbance rejection problem to other control law type in an integrated approach. At least, these techniques are applied on the real Torsion-Bar system and compared. We validate our approach.Since this work aims at analysing and developing efficient control laws for industrial processes, a simplified model of a hydroelectric plant is developed, in order to apply our results. A simplified bond graph model is validated with simulations
Faivre, Anthony. "Etude de la réorganisation de la connectivité cérébrale au repos dans la sclérose en plaques." Thesis, Aix-Marseille, 2014. http://www.theses.fr/2014AIXM5022/document.
Повний текст джерелаResting-state fMRI (rs-fMRI) may provide important clue concerning disability in multiple sclerosis (MS) by exploring the spontaneous BOLD fluctuations at rest in the whole brain. The aim of this work is to depict the functional reorganization of resting-state networks in MS patients and to assess its potential relationships with disability.In the first part, we performed an fMRI protocol combining a rs-fMRI and task-associated fMRI during a motor task, in a group of early MS patients. This study evidenced a direct association between reorganization of connectivity at rest and during activation in the motor system of patients. In the second rs-fMRI study, we evidenced an increased of the global level of connectivity in most of the rs-networks, strongly associated with the level of disability of patients. In the third part, we evidenced in a 2-year longitudinal study using graph theoretical approach that MS patients exhibited a dynamical alteration of functional brain topology that significantly correlated with disability progression. In the last part, we evidenced that the transient clinical improvement following physical rehabilitation in MS patients is associated with reversible plasticity mechanisms located in the default mode network, the central executive network and in the left fronto-orbital cortex. These works evidence that MS patients exhibit a complex and dynamical functional reorganization of rs-networks, significantly associated with disability progression. This PhD thesis confirms that rs-fMRI is a relevant biomarker of pathophysiology leading to disability in MS and represents a promising tool for therapeutic assessment of MS patients in the future
Макаришкін, Денис Анатолійович, та Denys Makaryshkin. "Методи функціональної діагностики та технічного обслуговування промислових автоматизованих систем". Master's thesis, Тернопільський національний технічний університет ім. І. Пулюя, Факультет прикладних інформаційних технологій та електроінженерії, Кафедра автоматизації технологічних процесів і виробництв, 2021. http://elartu.tntu.edu.ua/handle/lib/36754.
Повний текст джерелаУ кваліфікаційній роботі на здобуття освітнього ступеня магістр розглянуто питання розробки методів підвищення функціональної надійності безпечності автоматизованих систем керування технологічним обладнанням. Запропоновано удосконалений метод підвищення функціональної надійності безпечності автоматизованих систем керування. В результаті дослідження запропоновано розробку системи АСУ ТП, яка застосовує теорію графів до управління обладнанням для шиття та склеювання килимових виробів. Визначення завдання підвищення надійності та безпеки обладнання, що потребує належного аналізу графу станів та переходів обладнання, та модернізації його відповідно до вимог надійності та безпеки. У виконанні цих двох завдань є протиріччя, оскільки для підвищення безпеки необхідно ввести додаткові вузли та модулі, що знизить надійність, і навпаки. Розроблено схемо-технічні рішення пристрою керування технологічним обладнанням пришивання і проклеювання бахроми до килимового виробу. Поєднуючи характеристики діаграми стану та діаграми переходу, з метою підвищення надійності та безпеки обладнання запропоновано пристрій керування АСУ ТП. Показано що середній час відновлення обладнання в разі аналізу непрацездатних умов і без аналізу становить 1,5 години та – 8,07 години вдповідно. Запропоновано вдосконалення стратегії функціональної діагностики, в якій рекомендується враховувати сучасні виробничі умови.
In the qualification work for the master's degree the question of development of methods of increase of functional reliability of safety of automated control systems of technological equipment is considered. An improved method for increasing the functional reliability of automated control systems is proposed. As a result of the research, the development of the ACS TP system is proposed, which applies graph theory to the control of equipment for sewing and gluing carpet products. Defining the task of improving the reliability and safety of equipment that requires proper analysis of the graph of states and transitions of equipment, and its modernization in accordance with the requirements of reliability and safety. There are contradictions in these two tasks, as additional nodes and modules need to be introduced to increase security, which will reduce reliability, and vice versa. Schematic and technical solutions of the control device for technological equipment for sewing and gluing fringe to carpet products have been developed. Combining the characteristics of the state diagram and the transition diagram, in order to increase the reliability and safety of the equipment, the control device of the ACS TP is proposed. It is shown that the average recovery time of equipment in the case of analysis of inoperable conditions and without analysis is 1.5 hours and - 8.07 hours, respectively. It is proposed to improve the strategy of functional diagnostics, which recommends taking into account modern production conditions.
РЕФЕРАТ 2 ЗМІСТ 8 ВСТУП 10 1 АНАЛІТИЧНА ЧАСТИНА 12 1.1 Аналіз стану питання за літературними та іншими джерелами 12 1.2 Актуальність виконання роботи 14 1.3 Методи вирішення поставленої задачі 15 1.4 Висновки та постановка задач на кваліфікаційну роботу магістра 16 2 ТЕХНОЛОГІЧНА ЧАСТИНА. 17 2.1 Характеристика виробу та його призначення 17 2.1.1 Аналіз умов роботи виробу, матеріалу та його властивостей 17 2.1.2 Аналіз конструктивних особливостей виробу та технологічних особливостей його роботи 18 2.1.3 Розробка та аналіз технічного завдання на розробку виробу 20 2.2 Розробка технологічного процесу подвійного пришивання та проклеювання бахроми до килимових виробів 23 2.3 Висновки до розділу 2 24 3 НАУКОВО-ДОСЛІДНА ЧАСТИНА 25 3.1 Характеристика об’єкту та предмету дослідження 25 3.2 Розробка графу системи автоматичного керування машини пришивання і проклеювання 27 3.3 Удосконалення графу системи автоматичного керування машини пришивання і проклеювання 30 3.5 Висновки по розділу 3 35 4 КОНСТРУКТОРСЬКА ЧАСТИНА 36 4.1 Розробка схеми електричної структурної 36 4.2 Схема електрична принципова 40 4.2.1 Вхід силової мережі змінного струму ~380В, 50Гц 40 4.2.2 Блок живлення 43 4.2.3 Реле безпеки 44 4.2.4 Промисловий контролер 46 4.2.5 Частотний перетворювач 50 4.2.6 Панель оператора 52 4.3 Висновки по розділу 4 54 5 СПЕЦІАЛЬНА ЧАСТИНА 55 5.1Розробка блок схеми алгоритму керування пристроєм 55 5.2 Аналіз надійності приладу 57 5.3 Стратегія функціональної діагностики 61 5.4 Висновки по розділу 5 63 6 ОХОРОНА ПРАЦІ ТА БЕЗПЕКА В НАДЗВИЧАЙНИХ СИТУАЦІЯХ 64 6.1 Вступ 64 6.2 Створення сприятливих санітарно-гігієнічних умов праці на об'єкті, що проектується 65 6.3 Планування і фінансування заходів щодо охорони праці 68 6.2 Розрахунок захисного заземлення 73 ПЕРЕЛІК ПОСИЛАНЬ 81
Wheeler, David Orton. "Relative Navigation of Micro Air Vehicles in GPS-Degraded Environments." BYU ScholarsArchive, 2017. https://scholarsarchive.byu.edu/etd/6609.
Повний текст джерелаCheng, Sibo. "Error covariance specification and localization in data assimilation with industrial application Background error covariance iterative updating with invariant observation measures for data assimilation A graph clustering approach to localization for adaptive covariance tuning in data assimilation based on state-observation mapping Error covariance tuning in variational data assimilation: application to an operating hydrological model." Thesis, université Paris-Saclay, 2020. http://www.theses.fr/2020UPAST067.
Повний текст джерелаData assimilation techniques are widely applied in industrial problems of field reconstruction or parameter identification. The error covariance matrices, especially the background matrix in data assimilation are often difficult to specify. In this thesis, we are interested in the specification and localization of covariance matrices in multivariate and multidimensional systems in an industrial context. We propose to improve the covariance specification by iterative processes. Hence, we developed two new iterative methods for background matrix recognition. The power of these methods is demonstrated numerically in twin experiments with independent errors or relative to true states. We then propose a new concept of localization and applied it for error covariance tuning. Instead of relying on spatial distance, this localization is established purely on links between state variables and observations. Finally, we apply these new approaches, together with other classical methods for comparison, to a multivariate hydrological model. Variational assimilation is implemented to correct the observed precipitation in order to obtain a better river flow forecast
Oujamaa, Lydia. "Evolution topologique des hubs dans l'état de conscience altérée post-traumatique : un marqueur de récupération fonctionnelle." Thesis, Université Grenoble Alpes, 2020. http://www.theses.fr/2020GRALS013.
Повний текст джерелаThis work takes part in the field of translational research. Our aim was to explore thepost-lesional brain plasticity necessary to recover consciousness after a traumatic coma.The study of resting state functional connectivity, meaning the temporal correlation ofBOLD signal (blood oxygenation level dependent) between remote cerebral areas, wasapplied to severe traumatic brain injured (sTBI) patients.Using graph method, we explored the diagnosis and prognosis value of resting statefunctional connectivity during recovery of consciousness after a traumatic coma.Thirty six sTBI patients were studied in a cross sectional and a longitudinal design.We recorded a resting state functional MRI sequence while sTBI patients were eitherconscious or in altered state of consciousness when discharged from intensive care unit(ICU). A second fMRI was recorded after one month spent in a post-ICU rehabilitationunit.Our analysis focused on a hub disruption index (HDI) which expresses the reallocationof functional connections inside the graph. In the brain network, the hubs, which are definedas highly connected to the brain network in healthy subjects, have been characterizedwith integration, segregation and centrality metrics for information transfer.Our results suggest that the topological disruption of functional hubs is an objectivemapping of the brain network changes that correlates with post-TBI neurological recovery.Indeed, in our group analysis, the hub disruption index of the post TBI brainnetwork was sensitive to the state of consciousness and to its recovery during a onemonth follow-up. This index was also relevant to predict the level of disability 6 monthsafter injury.The computation of connectivity data in a metadata, the hub disruption index ofthe brain network, enhances the classical approach describing the post-traumatic brainplasticity as a loss and recovery of connectivity in one or several cortical networks. Therecovery of the brain network ability to compute local information in the functionalhubs could be necessary to recover consciousness after a traumatic coma. This resultis original as the recent litterature, based on the information integration theory andthe global workspace theory of consciousness, is considering severe TBI as a long rangeconnectivity disruption inducing a functional integration impairment.This pilot study was necessary prior to the assessment of the HDI on a single-subjectlevel and to quantifie the response of brain injured patients with disorder of consciousnessto several therapeutic options (psychostimulant drugs, electrical stimulation..)
Jackson, James Scott. "Enabling Autonomous Operation of Micro Aerial Vehicles Through GPS to GPS-Denied Transitions." BYU ScholarsArchive, 2019. https://scholarsarchive.byu.edu/etd/8709.
Повний текст джерелаEllingson, Gary James. "Cooperative Navigation of Fixed-Wing Micro Air Vehicles in GPS-Denied Environments." BYU ScholarsArchive, 2019. https://scholarsarchive.byu.edu/etd/8706.
Повний текст джерелаGour, Natalina. "Réorganisation des systèmes anatomo-fonctionnels et de la topologie cérébrale entre les formes à début précoce et tardif de maladie d'Alzheimer. : Approche comportementale et en IRMf de repos." Thesis, Aix-Marseille, 2013. http://www.theses.fr/2013AIXM5069.
Повний текст джерелаCognitive functions rely on the dynamic interplay of connected brain regions. Previous studies suggest that in Alzheimer disease (AD), early pathological changes target one or several specific anatomo-functional networks. Dysfunction of the default mode network is a consistent finding. However, its relationship with clinical symptoms and interconnected medial temporal regions remains to be clarified. Resting state functional MRI (fMRI) is an emerging method aimed at characterizing in vivo brain connectivity in the Human.Using a neural system approach, the aim of this thesis was to characterize neuronal functional reorganization in AD, its clinical correlates, and to determine the influence of age at onset. Neuropsychological data, structural and fMRI were obtained in subjects with early memory impairment and mild “amnestic” AD. This work provides new insights into : i) the functional role of the anterior temporal network in context-free declarative memory and its changes throughout the course of AD; ii) the common and specific features in targeted anatomo-functional networks between early and late onset AD ; iii) the reorganization of whole brain topological properties in the two forms of the disease