To see the other types of publications on this topic, follow the link: Control and verification activity.

Dissertations / Theses on the topic 'Control and verification activity'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Control and verification activity.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Rozes, Arnaud. "Construction et premières caractérisations d'un détecteur dédié à la mesure de l'activité β + induite lors des traitements d'hadronthérapie, en vue de leur contrôle balistique". Thesis, Clermont-Ferrand 2, 2016. http://www.theses.fr/2016CLF22725/document.

Full text
Abstract:
L’hadronthérapie est une technique de traitement des cancers basée sur l’utilisation de faisceaux d’ions (principalement des protons et des ions 12 C). L’intérêt des ions repose sur deux propriétés fondamentales. La première est d’ordre balistique. Le mode d’interaction des ions avec la matière, caractérisé par le phénomène de pic de Bragg, se traduit par une faible dispersion spatiale de l’énergie déposée dans les tissus. Ceci permet un très bon niveau de conformation au volume tumoral. La seconde est d’ordre biologique, notamment pour les ions 12 C qui présentent une cytotoxicité élevée, uti
APA, Harvard, Vancouver, ISO, and other styles
2

Bongrand, Arthur. "Etudes des performances d'un détecteur dédié au contrôle balistique lors des traitements d'hadronthérapie par simulation Monte-Carlo." Thesis, Université Clermont Auvergne‎ (2017-2020), 2019. http://www.theses.fr/2019CLFAC094.

Full text
Abstract:
L'utilisation de faisceaux d’ions (protons ou ions légers) permet d'obtenir, lors du traitement, un dépôt d'énergie localisé en fin de parcours dans une zone réduite de l'espace. Les cibles privilégiées pour cette thérapie sont les tumeurs « radiorésistantes » ou les traitements nécessitant une balistique très précise, du fait de la présence d'organes à risques à proximité de la tumeur. Cependant, comme la détermination du parcours des ions et donc de la dose délivrée est dépendante de grandeurs qui restent difficiles à mesurer précisément, d’importantes marges de sécurité doivent être prises
APA, Harvard, Vancouver, ISO, and other styles
3

Geshan, Susan Carol. "Signature verification for access control." Thesis, Monterey, California. Naval Postgraduate School, 1991. http://hdl.handle.net/10945/28533.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Jobredeaux, Romain J. "Formal verification of control software." Diss., Georgia Institute of Technology, 2015. http://hdl.handle.net/1853/53841.

Full text
Abstract:
In a context of heightened requirements for safety-critical embedded systems and ever-increasing costs of verification and validation, this research proposes to advance the state of formal analysis for control software. Formal methods are a field of computer science that uses mathematical techniques and formalisms to rigorously analyze the behavior of programs. This research develops a framework and tools to express and prove high level properties of control law implementations. One goal is to bridge the gap between control theory and computer science. An annotation language is extended with s
APA, Harvard, Vancouver, ISO, and other styles
5

Collins, Jane M. "Particle characterisation for arms control verification." Thesis, Imperial College London, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.506110.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Ha, Vida Uyen 1980. "Verification of an attitude control system." Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/87408.

Full text
Abstract:
Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2003.<br>Includes bibliographical references (p. 74).<br>by Vida Uyen Ha.<br>M.Eng.and S.B.
APA, Harvard, Vancouver, ISO, and other styles
7

Wang, Xuan. "Verification of digital controller implementations /." Diss., CLICK HERE for online access, 2005. http://contentdm.lib.byu.edu/ETD/image/etd1073.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Koivu, Timothy Grant. "Production activity control, the hierarchical production control policy." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp04/mq21093.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Troxler, Robert Ernest. "Magnetic control of superconducting phase-shifters with experimental verification." Diss., Georgia Institute of Technology, 1992. http://hdl.handle.net/1853/13443.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Beaumont, Paul James. "Model-based analysis of nuclear arms control verification processes." Thesis, Imperial College London, 2017. http://hdl.handle.net/10044/1/54653.

Full text
Abstract:
Reduction of nuclear arms in a verifiable manner that is trusted by two or more parties is a hard but important problem. Nations and organisations that wish to engage in such arms control verification activities need to be able to design procedures and control mechanisms that let them compute pertinent degrees of belief. Crucially, they also will need methods for reliably assessing their confidence in such beliefs, in situations with little or no contextual data to apply data-driven learning techniques on. This motivates the investigation of alternative methods of modelling beliefs. This thesi
APA, Harvard, Vancouver, ISO, and other styles
11

Koleini, Masoud. "Verification of temporal-epistemic properties of access control systems." Thesis, University of Birmingham, 2012. http://etheses.bham.ac.uk//id/eprint/3706/.

Full text
Abstract:
Verification of access control systems against vulnerabilities has always been a challenging problem in the world of computer security. The complication of security policies in large- scale multi-agent systems increases the possible existence of vulnerabilities as a result of mistakes in policy definition. This thesis explores automated methods in order to verify temporal and epistemic properties of access control systems. While temporal property verification can reveal a considerable number of security holes, verification of epistemic properties in multi-agent systems enable us to infer about
APA, Harvard, Vancouver, ISO, and other styles
12

Stern, Warren Michael. "Nuclear weapons material control : verification of tritium production limitations." Thesis, Massachusetts Institute of Technology, 1988. http://hdl.handle.net/1721.1/14472.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Dantam, Neil Thomas. "A linguistic method for robot verification programming and control." Diss., Georgia Institute of Technology, 2014. http://hdl.handle.net/1853/54284.

Full text
Abstract:
There are many competing techniques for specifying robot policies, each having advantages in different circumstances. To unify these techniques in a single framework, we use formal language as an intermediate representation for robot behavior. This links previously disparate techniques such as temporal logics and learning from demonstration, and it links data driven approaches such as semantic mapping with formal discrete event and hybrid systems models. These formal models enable system verification -- a crucial point for physical robots. We introduce a set of rewrite rules for hybrid sys
APA, Harvard, Vancouver, ISO, and other styles
14

Cameron, Nancy G. "HIPAA, Infection Control and OSHA Safety Training and Verification." Digital Commons @ East Tennessee State University, 2012. https://dc.etsu.edu/etsu-works/7053.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

Lahijanian, Morteza M. "Formal verification and control of discrete-time stochastic systems." Thesis, Boston University, 2013. https://hdl.handle.net/2144/12804.

Full text
Abstract:
Thesis (Ph.D.)--Boston University PLEASE NOTE: Boston University Libraries did not receive an Authorization To Manage form for this thesis or dissertation. It is therefore not openly accessible, though it may be available by request. If you are the author or principal advisor of this work and would like to request open access for it, please contact us at open-help@bu.edu. Thank you.<br>This thesis establishes theoretical and computational frameworks for formal verification and control synthesis for discrete-time stochastic systems. Given a temporal logic specification, the system is analyzed
APA, Harvard, Vancouver, ISO, and other styles
16

de, Carvalho Gomes Pedro. "Sound Modular Extraction of Control Flow Graphs from Java Bytecode." Licentiate thesis, KTH, Teoretisk datalogi, TCS, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-105275.

Full text
Abstract:
Control flow graphs (CFGs) are abstract program models that preserve the control flow information. They have been widely utilized for many static analyses in the past decades. Unfortunately, previous studies about the CFG construction from modern languages, such as Java, have either neglected advanced features that influence the control flow, or do not provide a correctness argument. This is a bearable issue for some program analyses, but not for formal methods, where the soundness of CFGs is a mandatory condition for the verification of safety-critical properties. Moreover, when developing op
APA, Harvard, Vancouver, ISO, and other styles
17

Spurkland, Kristin. "Framing Physical Activity| Weight Control Frames and Physical Activity Motivation." Thesis, Portland State University, 2018. http://pqdtopen.proquest.com/#viewpdf?dispub=10824567.

Full text
Abstract:
<p> Public health institutions and popular media frequently frame weight loss and weight control as primary benefits of physical activity. This exploratory, descriptive study examined how respondents rated statements exemplifying three physical activity frames: a weight control frame, a medical frame, and an active embodiment frame. An anonymous, online survey was conducted in March 2018; respondents rated frame statements in terms of inspiring motivation to engage in physical activity, and in terms of perceived credibility. They also provided anthropometric data and physical activity data. Da
APA, Harvard, Vancouver, ISO, and other styles
18

de, Carvalho Gomes Pedro, and Attilio Picoco. "Sound Extraction of Control-Flow Graphs from open Java Bytecode Systems." KTH, Teoretisk datalogi, TCS, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-104076.

Full text
Abstract:
Formal verification techniques have been widely deployed as means to ensure the quality of software products. Unfortunately, they suffer with the combinatorial explosion of the state space. That is, programs have a large number of states, sometimes infinite. A common approach to alleviate the problem is to perform the verification over abstract models from the program. Control-flow graphs (CFG) are one of the most common models, and have been widely studied in the past decades. Unfortunately, previous works over modern programming languages, such as Java, have either neglected features that in
APA, Harvard, Vancouver, ISO, and other styles
19

Beltran, Gutierrez Javier, and Song Yujiao. "Methods for Verification of Post-Impact Control including Driver Interaction." Thesis, KTH, Fordonsdynamik, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-78765.

Full text
Abstract:
This thesis project focuses on the verification method of a safety function called PICthat stands for Post-Impact Control which controls the vehicle motion of passengercars after being exposed to external disturbances produced by a 1st impact, aiming atavoiding or mitigating secondary events.The main objective was to select a promising method, among several candidates, todevelop further for testing the function and the interaction with the driver. To do thisis was first necessary to map the real destabilized states of motion that are targeted bythe function. These states are referred as Post-I
APA, Harvard, Vancouver, ISO, and other styles
20

Huang, Weiyuan. "ESTELLE verification of ATM available bit rate (ABR) control protocol." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ59326.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

Ushioda, Setsuko. "Satellite-based multilateral arms control verification schemes and international law." Thesis, McGill University, 1992. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=41194.

Full text
Abstract:
Verification of compliance has been and will continue to be an essential component of arms control and disarmament agreements. Following a brief historical survey of verification, this study examines in detail verification provisions in all major multilateral and bilateral disarmament agreements, in force and in the drafting stage, from the perspective of monitoring compliance by satellites. The feasibility of verification from space is examined from technical and legal points of view. Important differences are noted between bilateral and multilateral agreements in terms of verification requir
APA, Harvard, Vancouver, ISO, and other styles
22

Hailey, Jeffrey A. "Experimental verification attitude control techniques for flexible spacecraft slew maneuvers." Thesis, Monterey, California. Naval Postgraduate School, 1992. http://hdl.handle.net/10945/23670.

Full text
Abstract:
Approved for public release; distribution is unliminted<br>The experimental verification of attitude control designs for flexible spacecraft is essential for reliable operation in space. The Flexible Spacecraft Simulator (FSS) at the Naval Postgraduate School is designed to test a variety of control designs. The experimental setup simulates pitch axis motion of a flexible spacecraft consisting of a rigid central body and a flexible appendage connecting a reflector. The primary actuators are a reaction wheel and thrusters. Angular position information is obtained with a rotary variable di
APA, Harvard, Vancouver, ISO, and other styles
23

Danielsson, Fredrik K. J. "Off-line programming, verification and optimisation of industrial control systems." Thesis, De Montfort University, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.269247.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Ahn, Heejin. "Safety verification and control for collision avoidance at road intersections." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/119339.

Full text
Abstract:
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Mechanical Engineering, 2018.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 145-149).<br>Car crashes cause a large number of fatalities and injuries, with about 33,000 people killed and 2.3 million injured in the United States every year. To prevent car crashes, the government and automotive companies have taken initiatives to develop and deploy communications among vehicles and between vehicles and infrastructure. By using such communications, we design centralized coordinators at roa
APA, Harvard, Vancouver, ISO, and other styles
25

Park, Taeshin 1966. "Formal verification and dynamic validation of logic-based control systems." Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/50358.

Full text
APA, Harvard, Vancouver, ISO, and other styles
26

Qiang, Huang, and Yang Fan. "Study on Telemetry Data Authentication Protocol in Arms Control Verification." International Foundation for Telemetering, 1999. http://hdl.handle.net/10150/608729.

Full text
Abstract:
International Telemetering Conference Proceedings / October 25-28, 1999 / Riviera Hotel and Convention Center, Las Vegas, Nevada<br>The arms control verification activity is executed between countries, so various telemetry data will be remote-transmitted in the public signal channel and can be easily tampered. In order to secure this data’s authenticity and integrality, the paper has established a Multi-layer Data Authentication Protocol (MDAP) in which the key cryptographic technologies are digital signature and authentication. Meanwhile, overall evaluations of MDAP have been presented. We pr
APA, Harvard, Vancouver, ISO, and other styles
27

Zoubek, Bohumir. "Automatic verification of temporal and timed properties of control programs." Thesis, University of Birmingham, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.419737.

Full text
Abstract:
Control system programs are usually validated by testing prior to their deployment. Unfortunately, testing is not exhaustive and therefore it is possible that a program which passed all the required tests still contains errors. We propose to use automatic verification, which can establish whether given properties are true or not through exhaustive exploration of the model, in addition to validation through testing. This thesis defines a framework for modelling and verification of control programs. A subset of ladder diagram program elements, given by the IEC 61131-3 standard, is supported. The
APA, Harvard, Vancouver, ISO, and other styles
28

Shuja, Sana. "Formal Verification Techniques for Safety Critical Medical Device Software Control." Diss., North Dakota State University, 2016. http://hdl.handle.net/10365/25736.

Full text
Abstract:
Safety-critical medical devices play an important role in improving patients health and lifestyle. Faulty behaviors of such devices can cause harm or even death. Often these faulty behaviors are caused due to bugs in software programs used for digital control of the device. We present a formal veri cation methodology that can be used to check the correctness of object code programs that implement the safety-critical control functions of these medical devices. Our methodology is based on the theory of Well-Founded Equivalence Bisimulation (WEB) re nement, where both formal speci cations and imp
APA, Harvard, Vancouver, ISO, and other styles
29

Silva, Douglas Simões. "Formal verification and access control approach of an IoT protocol." reponame:Repositório Institucional da UFSC, 2017. https://repositorio.ufsc.br/xmlui/handle/123456789/181251.

Full text
Abstract:
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2017.<br>Made available in DSpace on 2017-11-21T03:21:45Z (GMT). No. of bitstreams: 1 348588.pdf: 768167 bytes, checksum: 63943b853c6e5069f7f7d2a95f11f8e8 (MD5) Previous issue date: 2017<br>Protocolos de Segurança estão na nossa rotina diária e exemplos distosão compras utilizando o cartão de crédito, eleição eletrônica, redes sem fio e etc. O primeiro objetivo deste trabalho é a verificação formal dos aspectos de segurança de um protocolo vo
APA, Harvard, Vancouver, ISO, and other styles
30

Estmer, Nilsson Camilla. "Viral Control of SR Protein Activity." Doctoral thesis, Uppsala : Acta Universatis Upsaliensis : Univ.-bibl. [distributör], 2001. http://publications.uu.se/theses/91-554-5124-1/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
31

Drachuk, Irina. "Cytocompatible coatings to control cell activity." Diss., Georgia Institute of Technology, 2014. http://hdl.handle.net/1853/52220.

Full text
Abstract:
Cell-surface engineering has been attracting increased interest in the field of biotechnology, tissue engineering, cell therapy, or biosensors/bioelectronics. Thin nanocoatings or sometimes referred as nanoshells allow for modifying and controlling variety of cell properties, specifically retardation of cell division or growth, masking immunological properties, providing chemical and mechanical resistance to external stressors, and ability to further functionalize shells in order to guide cells attachment, their proliferation and function in artificial environment. Bottom-up approach, utiliz
APA, Harvard, Vancouver, ISO, and other styles
32

Newman, Jonathan P. "Optogenetic feedback control of neural activity." Diss., Georgia Institute of Technology, 2013. http://hdl.handle.net/1853/52973.

Full text
Abstract:
Optogenetics is a set of technologies that enable optically triggered gain or loss of function in genetically specified populations of cells. Optogenetic methods have revolutionized experimental neuroscience by allowing precise excitation or inhibition of firing in specified neuronal populations embedded within complex, heterogeneous tissue. Although optogenetic tools have greatly improved our ability manipulate neural activity, they do not offer control of neural firing in the face of ongoing changes in network activity, plasticity, or sensory input. In this thesis, I develop a feedback contr
APA, Harvard, Vancouver, ISO, and other styles
33

Blackburn, Douglas L. "The Chemical Weapons Convention verification regime a model for a new NPT? /." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1993. http://handle.dtic.mil/100.2/ADA277976.

Full text
APA, Harvard, Vancouver, ISO, and other styles
34

Graves, Jamie Robert. "Forensic verification of operating system activity via novel data, acquisition and analysis techniques." Thesis, Edinburgh Napier University, 2009. http://researchrepository.napier.ac.uk/Output/6699.

Full text
Abstract:
Digital Forensics is a nascent field that faces a number of technical, procedural and cultural difficulties that must be overcome if it is to be recognised as a scientific discipline, and not just an art. Technical problems involve the need to develop standardised tools and techniques for the collection and analysis of digital evidence. This thesis is mainly concerned with the technical difficulties faced by the domain. In particular, the exploration of techniques that could form the basis of trusted standards to scientifically verify data. This study presents a set of techniques, and methodol
APA, Harvard, Vancouver, ISO, and other styles
35

Sundell, Johanna. "Colour proof quality verification." Thesis, Linköping University, Department of Science and Technology, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-2358.

Full text
Abstract:
<p>BACKGROUND </p><p>When a customer delivers a colour proof to a printer, they expect the final print to look similar to that proof. Today it is impossible to control if a match between proof and print is technically possible to reach at all. This is mainly due to the fact that no information regarding the production circumstances of the proof is provided, for instance the printer does not know which proofer, RIP or ICC-profile that was used. Situations where similarity between proof and print cannot be reached and the press has to be stopped are both costly and time consuming and are therefo
APA, Harvard, Vancouver, ISO, and other styles
36

Veselinov, Roman Nikolov. "Formalization and verification of rewriting-based security polices." Worcester, Mass. : Worcester Polytechnic Institute, 2008. http://www.wpi.edu/Pubs/ETD/Available/etd-043008-165615/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
37

Ward, David. "Exploiting high-level design control and data structures for hardware verification." Connect to online resource, 2007. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3256475.

Full text
APA, Harvard, Vancouver, ISO, and other styles
38

Semenov, Alexei. "Verification and synthesis of asynchronous control circuits using Petri net unfoldings." Thesis, University of Newcastle Upon Tyne, 1997. http://hdl.handle.net/10443/2004.

Full text
Abstract:
Design of asynchronous control circuits has traditionally been associated with application of formal methods. Event-based models, such as Petri nets, provide a compact and easy to understand way of specifying asynchronous behaviour. However, analysis of their behavioural properties is often hindered by the problem of exponential growth of reachable state space. This work proposes a new method for analysis of asynchronous circuit models based on Petri nets. The new approach is called PN-unfolding segment. It extends and improves existing Petri nets unfolding approaches. In addition, this thesis
APA, Harvard, Vancouver, ISO, and other styles
39

Policella, Joseph, Mitchell Kleen, and Joey White. "VERIFICATION AND VALIDATION OF CONTROL CENTER OPERATIONS USING A TELEMETRY SIMULATION." International Foundation for Telemetering, 1994. http://hdl.handle.net/10150/608594.

Full text
Abstract:
International Telemetering Conference Proceedings / October 17-20, 1994 / Town & Country Hotel and Conference Center, San Diego, California<br>In space applications, telemetry systems are traditionally used to provide a front end for processing Control Center data. Control Center operations dictate the content and processing requirements of the telemetry data to enable the control center personnel to make proper decisions concerning the operation of their space vehicle. Unfortunately many anomalous operational scenarios do not arise during control center checkout procedures which are desi
APA, Harvard, Vancouver, ISO, and other styles
40

Chaves, Lennon Corrêa, and 92-99155-6510. "Formal verification applied to attitude control software of unmanned aerial vehicles." Universidade Federal do Amazonas, 2018. https://tede.ufam.edu.br/handle/tede/6368.

Full text
Abstract:
Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-05-10T17:55:53Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) dissertacao_lennon_chaves.pdf: 2813829 bytes, checksum: 48c3fbefe451491c81bbf9ddb680a318 (MD5)<br>Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-05-10T17:56:13Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) dissertacao_lennon_chaves.pdf: 2813829 bytes, checksum: 48c3fbefe451491c81bbf9ddb
APA, Harvard, Vancouver, ISO, and other styles
41

Robert, Vincent. "Hypothalamic control of hippocampal area CA2 activity." Thesis, Sorbonne Paris Cité, 2018. https://wo.app.u-paris.fr/cgi-bin/WebObjects/TheseWeb.woa/wa/show?t=2539&f=17446.

Full text
Abstract:
L’hippocampe est une structure cérébrale cruciale pour la mémoire et l’apprentissage. Ces fonctions sont assurées par l’activité coordonnée des neurones hippocampiques au cours d’oscillations au sein du réseau neuronal. Différents profils d’activité rythmique sont rencontrés dans l’hippocampe, notamment les oscillations theta et gamma ainsi que les « sharp wave ripples ». Toutefois, les mécanismes sous-jacents ne sont pas intégralement élucidés. En effet, plusieurs structures cérébrales connectées à l’hippocampe participent à la genèse de ces oscillations, cependant leurs contributions respect
APA, Harvard, Vancouver, ISO, and other styles
42

Bockenek, Joshua A. "USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow." Thesis, Virginia Tech, 2017. http://hdl.handle.net/10919/81710.

Full text
Abstract:
Writing bug-free code is fraught with difficulty, and existing tools for the formal verification of programs do not scale well to large, complicated codebases such as that of systems software. This thesis presents USIMPL, a component of the Orca project for formal verification that builds on Foster’s Isabelle/UTP with features of Schirmer’s Simpl in order to achieve a modular, scalable framework for deductive proofs of program correctness utilizing Hoare logic and Hoare-style algebraic laws of programming.<br>Master of Science<br>Writing bug-free code is fraught with difficulty, and existing t
APA, Harvard, Vancouver, ISO, and other styles
43

Ardeishar, Raghu. "Automatic verification of VHDL models." Thesis, This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-03032009-040338/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
44

Luco, Nicolas, and Keren Zhu. "Energy efficient cornering : Simulation and verification." Thesis, KTH, Fordonsdynamik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-234837.

Full text
Abstract:
The purpose of this master thesis is to study the energy efficiency of a vehicle when it is cornering. To achieve this, a Simulink model was built from a simple basic bicycle model and theoretically validated. This model was then analysed and successively improved by adding velocity and yaw moment control. A study of the vehicle model behaviour by changing parameters such as cornering stiffness and centre of gravity position was the nconducted. The traction force needed for a constant radius was calculated and methods such as torque vectoring have been tested using the model to obtain the lowe
APA, Harvard, Vancouver, ISO, and other styles
45

Roston, Barbara Helen. "Verification of radiation exposures in a case-control study of thyroid cancer." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp01/MQ28752.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
46

Aoyama, Tadayoshi, Kosuke Sekiyama, Yasuhisa Hasegawa, and Toshio Fukuda. "Experimental verification of 3D bipedal walking based on Passive Dynamic Autonomous Control." IEEE, 2009. http://hdl.handle.net/2237/13931.

Full text
APA, Harvard, Vancouver, ISO, and other styles
47

Cugati, Sharath A. "Dynamic modeling, control, and verification for citrus variable-rate technology (VRT) fertilization." [Gainesville, Fla.] : University of Florida, 2006. http://purl.fcla.edu/fcla/etd/UFE0013489.

Full text
APA, Harvard, Vancouver, ISO, and other styles
48

Herbert, Eric W. "NPSAT1 magnetic attitude control system algorithm verification, validation, and air-bearing tests." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2004. http://library.nps.navy.mil/uhtbin/hyperion/04Sep%5FHerbert.pdf.

Full text
Abstract:
Thesis (M.S. in Electrical Engineering)--Naval Postgraduate School, Sept. 2004.<br>Thesis advisor(s): Barry Leonard, Xiaoping Yun. Includes bibliographical references (p. 185-186). Also available online.
APA, Harvard, Vancouver, ISO, and other styles
49

Cohen, Raphaël P. "Formal Verification and Validation of Convex Optimization Algorithms For model Predictive Control." Thesis, Toulouse, ISAE, 2018. http://www.theses.fr/2018ESAE0030/document.

Full text
Abstract:
L’efficacité des méthodes d’optimisation modernes, associée à l’augmentation des ressources informatiques, a conduit à la possibilité d’utiliser ces algorithmes d’optimisation en temps réel agissant dans des rôles critiques. Cependant, cela ne peut se produire sans porter une certaine attention à la validité de ces algorithmes. Ce doctorat traite de la vérification formelle des algorithmes d'optimisation convexe lors qu'ils sont utilisés pour la guidance de systèmes dynamiques. En outre, nous démontrons comment les preuves théoriques des algorithmes d'optimisation en temps réel peuvent être ut
APA, Harvard, Vancouver, ISO, and other styles
50

Yang, Chien-Kao, and 楊建國. "Shake Table Verification of LQG Control of a Full-Scale Actively Braced Building Considering Control-Structure Interaction." Thesis, 1999. http://ndltd.ncl.edu.tw/handle/09967643412121460578.

Full text
Abstract:
碩士<br>淡江大學<br>土木工程學系<br>87<br>Recently, the application of active structural control to seismic-excited civil structures has been broadly investigated worldwide. To justify the applicability of active control to actual structures, a full-scale three-story building equipped with an active bracing device on the first floor was built on the shake table of National Center for Research on Earthquake Engineering (NCREE) of Taiwan. To investigate the controversial issue of time delay due to active devices such as actuators, this paper takes into account the effect of Control-Structure-Interaction (
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!