Dissertations / Theses on the topic 'Simulation of proof'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 24 dissertations / theses for your research on the topic 'Simulation of proof.'
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.
Kotráš, Jan. "Security and Performance Testbed for Simulation of Proof-of-Stake Protocols." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2020. http://www.nusl.cz/ntk/nusl-432907.
Full textBorčík, Filip. "Testování bezpečnosti a výkonu Proof-of-Stake Protokolů pomocí simulace." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445485.
Full textGüldogus, Melih. "Proof of Concept of Closed Loop Re-Simulation (CLR) Methods in Verification of Autonomous Vehicles." Thesis, KTH, Reglerteknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-223978.
Full textI detta examensarbete, som utförs på Volvo Cars, undersöks hurvida ett closedloopre-simuleringsverktyg kan användas för att bevisa att en självkörande(AD) funktionalitet är säker baserat på tidigare insamlad kördata. Dennastudie involverar användandet av ett Model-in-the-loop baserat simuleringsverktygkallat Simulation Platform for Active Safety (SPAS) och en mjukvara förAktiv Säkerhet (AS).Förutsättningarna för att säkra en closed-loop re-simuleringsmiljö är att mjukvaransexekvering och fordonsmodellen i simuleringsmiljön valideras genomopen-loop tester. Den valididerade fordonsmodellen jämförs med data frånfysiska prover för att säkra hög konfidens i simuleringarna.Detta examensarbete fokuserar på att förbereda fordonsmodellen i SPAS medtryck på prestandan av auto-broms systemet. Fordonsmodellen i SPAS beredesgenom att ställa in bromsmodellen med fokus på EuNCAP lastfall där CLRmiljön skulle tillämpas. I processen att säkra CLR metoden var det viktigt attdesigna testfall i den virtuella miljön som så bra som möjligt matcha fältprovsfall för att kunna göra en trovärdig jämförelse, därav användes EuNCAP bromstestfall vid torrt underlag, ego hastighet upp mot 80km/h och målbilshasdeccelerationmellan 2 m/s2 och 6 m/s2Som ett resultat av dessa virtuella test har det empiriskt verifierat att CLRmetoden kan användas för att förutspå broms prestanda av fordonet i specifikatrafikscenarion för självkörande funktionalitet.
Стасюкевич, Анатолій Тимурович. "Аналіз параметрів рекурсивних протоколів SNARK-доведень та способи симуляції доведення у цих протоколах." Bachelor's thesis, КПІ ім. Ігоря Сікорського, 2020. https://ela.kpi.ua/handle/123456789/34528.
Full textThe goal of this qualification work is to analyze the parameters of SNARK-proofs and substantiate the properties of triplets in recursive SNARK-proofs. During the work, two proof simulation algorithms were built for the zk-SNARK protocol, depending on when the parameters for the simulation were received: during configuration or after. For the first time, the properties of triplets for recursive SNARKs were formulated and proved. The obtained results can be used for further development of the SNARK-proof protocol and the Coda protocol.
Owen, Justin. "Simulation of electron beam dyanmics in the 22 MeV accelerator for a coherent electron cooling proof of principle experiment." Thesis, State University of New York at Stony Brook, 2014. http://pqdtopen.proquest.com/#viewpdf?dispub=1553316.
Full textCoherent electron cooling (CeC) offers a potential new method of cooling hadron beams in colliders such as the Relativistic Heavy Ion Collider (RHIC) or the future electron ion collider eRHIC. A 22 MeV linear accelerator is currently being built as part of a proof of principle experiment for CeC at Brookhaven National Laboratory (BNL). In this thesis we present a simulation of electron beam dynamics including space charge in the 22 MeV CeC proof of principle experiment using the program ASTRA (A Space charge TRacking Algorithm).
Besada, Joona. "A Virtual Heart Valve Implant System : Navigating the idea space and developing a proof of concept for virtual transcatheter aortic valve replacement." Thesis, KTH, Maskinkonstruktion (Inst.), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-168740.
Full textAortastenos är en sjukdom som orsakar förträngning av aortaklafföppningen. Det är en sjukdom som återfinns hos mer än 2% av den äldre befolkningen. Tidigare har den enda effektiva behandlingen inneburit hjärtklaffersättning med öppen hjärtkirurgi, men under det senaste decenniet har det blivit möjligt att också behandla aortastenos med en perkutär procedur i form av kateterburen implantation av aortaklaff. En kateter som bär på en aortaklaffprotes förs fram till patientens hjärta där protesen sedan utplaceras. Dimensionering, positionering och orientering av protesen är viktiga överväganden i kateterburen implantation av aortaklaff. Syfte: Syftet är att undersöka genomförbarheten och potentiella funktioner hos ett virtuellt implanteringssystem för hjärtklaffproteser och hur tillgångarna hos Medical Devices Center och deras samarbetspartners kan skapa ett användbart verktyg för virtuell dimensionering, positionering samt orientering av kateterburna hjärtklaffproteser. Implementering: Utmaningar med kateterburen hjärtklaffimplantering bland kliniker och ingenjörer identifierades. Ett virtuellt implanteringssystem för hjärtklaffproteser föreslogs som en lösning. Idérymden utforskades och strukturerades systematiskt med en ny metod kallad för idésambandsträd-metoden. En konceptprototyp med 3D modeller på en aorta och en protes i tre olika storlekar skapades för att uppskatta om det finns användarvärde i ett virtuellt implanteringssystem för hjärtklaffproteser. Resultat & Slutsats: För den föreslagna lösningen av ett virtuellt implanteringssystem för hjärtklaffproteser genererades 43 unika idéer. Tre huvudsakliga grenar av idéer identifierades: Konstruering, simulering och en databasgren. Det uppskattades att simuleringsgrenen skulle kunna förse den största mängden användarvärde för en förhållandevis låg arbetsinsats. Konceptprototypen visade att det var möjligt att visuellt utvärdera interferensen av olika protesstorlekar inuti en 3D model av en aorta med hjälp av ett virtual reality system.
SILVA, FILHO Walter Belarmino da. "WALTER BELARMINO DA SILVA FILHO." Universidade Federal de Campina Grande, 2017. http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1491.
Full textMade available in DSpace on 2018-08-17T19:19:40Z (GMT). No. of bitstreams: 1 WALTER BELARMINO DA SILVA FILHO – DISSERTAÇÃO (PPGEM) 2017.pdf: 7502952 bytes, checksum: ae7fd33b1f96a68780e718b129b40e97 (MD5) Previous issue date: 2017-11-30
O presente estudo documentado neste trabalho buscou o desenvolvimento, a partir das soluções apresentadas na literatura, de um dispositivo para a realização de ensaio de tração biaxial. Inicialmente realizado um estudo que foi condensado em um quadro de informações e posteriormente extraído os dados que serviram como base para o projeto. Aplicando a metodologia de projeto e analisado os dados iniciais, foi escolhido um dispositivo a ser acoplado em uma máquina de tração convencional, devido à facilidade na aplicação. Seguindo a metodologia, teve a etapa de projeto informacional, projeto conceitual, projet o preliminar, projeto detalhado, fabricação e teste. O teste do protótipo foi realizado com corpo de prova em formato de cruz segundo a norma ISO 16842:2014. Sendo possível o desenvolvimento de um dispositivo de ensaio biaxial baseado no mecanismo apresentado por Rohr, Harwick e Nahme para ser acoplado em uma máquina de ensaio de tração universal e utilizando um corpo de prova cruciforme.
The present study, which was documented in this paper, sought to develop a device for conducting a biaxial traction test using the solutions presented in the literature. Initially conducted a study that was condensed into an information frame and subsequently extracted the data that served as the basis for the project. Applying the design methodology and analyzing the initial data, a device to be coupled to a conventional traction machine was chosen due to its ease of application. Following the methodology, had the stage of informational design, conceptual design, preliminary design, detailed design, fabrication and testing. The prototype test was performed with a cross-shaped test piece according to ISO 16842: 2014. It is possible to develop a biaxial test device based on the mechanism presented by Rohr, Harwick and Nahme to be coupled to a universal traction test machine and using a cruciform test body.
Shi, Xiaomu. "Certification of an Instruction Set Simulator." Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00937524.
Full textMathuriya, Amrita. "Prediction of secondary structures for large RNA molecules." Thesis, Atlanta, Ga. : Georgia Institute of Technology, 2009. http://hdl.handle.net/1853/28195.
Full textCommittee Chair: Bader, David; Committee Co-Chair: Heitsch, Christine; Committee Member: Harvey, Stephen; Committee Member: Vuduc, Richard.
Knirck, Stefan Paul Nikolas [Verfasser], Béla [Akademischer Betreuer] Majorovits, Peter [Gutachter] Fierlinger, and Béla [Gutachter] Majorovits. "How To Search for Axion Dark Matter with MADMAX (MAgnetized Disk and Mirror Axion eXperiment) : A Survey of Systematic Uncertainties and Design Opportunities in Dielectric Haloscopes: Theory, Simulation and Proof of Principle Setup / Stefan Paul Nikolas Knirck ; Gutachter: Peter Fierlinger, Béla Majorovits ; Betreuer: Béla Majorovits." München : Universitätsbibliothek der TU München, 2020. http://d-nb.info/1214808603/34.
Full textPopov, Andrei Vladimir. "Proof-of-match technique for Bell 427 helicopter level D simulator." Thèse, Montréal : École de technologie supérieure, 2005. http://wwwlib.umi.com/cr/etsmtl/fullcit?pMR11532.
Full text"Master thesis submitted to École de technologie supérieure in partial fulfilment of the requirements for the degree of master of science in engineering." Bibliogr.: f. [146]-147. Également disponible en version électronique.
Teran, Villegas Oswaldo Ramon. "Emergent tendencies in multi-agent-based simulations using constraint-based methods to effect practical proofs over finite subsets of simulation outcomes." Thesis, Manchester Metropolitan University, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.343494.
Full textPlotkowski, Jerome A. "Narcissistic personality disorder and simulation against Bonum fidei different grounds, similar proofs /." Theological Research Exchange Network (TREN), 1998. http://www.tren.com.
Full textHaber, Tobias [Verfasser], Prof Dr med habil Eva-Maria [Akademischer Betreuer] Bitzer, Prof Dr rer nat habil Bruno [Akademischer Betreuer] Ismer, Prof Dr med habil Eva-Maria [Gutachter] Bitzer, and Prof Dr rer nat habil Bruno [Gutachter] Ismer. "Ingenieurtechnische Lösungen für didaktische Simulationen zur Elektrotherapie des Herzens / Tobias Haber ; Gutachter: Prof. Dr. med. habil. Eva-Maria Bitzer, Prof. Dr. rer. nat. habil. Bruno Ismer ; Prof. Dr. med. habil. Eva-Maria Bitzer, Prof. Dr. rer. nat. habil. Bruno Ismer." Freiburg : Pädagogische Hochschule Freiburg, 2021. http://d-nb.info/1241326789/34.
Full textLIAO, GUO-HUA, and 廖國樺. "Simulation and analyze on high efficient dust-proof louver." Thesis, 2016. http://ndltd.ncl.edu.tw/handle/43151522965926385285.
Full text國立雲林科技大學
機械工程系
104
Internal ventilation of the building are rely on the outside air, there will also lead the rain and moist into the building, and affecting the indoor components. Taiwan is an Island climate type's country, because of the subtropical region location, Typhoon is very common on summer. With massive water and dust. There is a solution to resolve the ventilation problems by installing shutter. Functionally design of shutter include limited stream, protection and ventilation, it can block the rain and dust by retard effect on shutter, and guided to the drainage ditch. The design and angle are reveal on the shutter's function. This research article is about computer simulation analysis on shutter by using ANSYS15.0 Fluent. Using indoor environment value as background, with steady stream, particles and wind. The shutter uninstalled stream took as standard, to compare between standard and special designed shutters, then study the effect by compare with different louver area. As the well-designed shutter, the optimized condition is L1=60mm, θ1=120°. When θ2=60°, it's blocking effectiveness are increase 22.7% then the traditional shutter, with only 4.9% of the intake air loss.
Jenq, Chiang-Tung, and 鄭江東. "System Identification and Simulation of a Proof Mass Actuator." Thesis, 2005. http://ndltd.ncl.edu.tw/handle/71609586527386486093.
Full text清雲科技大學
機械工程研究所
93
Two Proof Mass Actuators with and without permenant magnetic material have been manufactured for electric impedane, mechanical dynamic flexbility and mechatronic responses mesaurements. Based on the magnetic-solid theory, a generalized nonlinear sytem model and the multi-stage least squrare error method have been applied to the paramter estimation procedures. The system responses have also been simulated with a given input conditions and regressed parameters. Comparison of the numerical simulations by Runge-Kutta method with experimental simulation results is surveied and the close agreement .
Nishida, Naoki, Masahiko Sakai, and Toshiki Sakabe. "Narrowing-based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof." 2003. http://hdl.handle.net/2237/9247.
Full textYungk, George Lee. "The development of an intelligent graphics interface for the RESA wargaming simulation terminals: a Proof of Concept." Thesis, 1988. http://hdl.handle.net/10945/23018.
Full textYUAN-LEE, CHIN, and 李清源. "A Proof Research on Numerical Simulating and Experiment of Small Scale Building Model Using sliding BearingA Proof Research on Numerucal Simulating and Experiment of Small Scale Building Model Using Silding Bearing." Thesis, 2006. http://ndltd.ncl.edu.tw/handle/73450328199882779515.
Full text國立高雄應用科技大學
土木工程與防災科技研究所
94
In the present study , mainly investigates the earthquake behavior of building structure model with friction sliding base earthquake resistance system to compound application . on building in terms of reductions of earthquake responses has been investigated numerically. Experiment using the small axial shaking table with sliding base to Application sap2000 simulate earthquake behavior of the Lower- Scaled structure model and attain to damping result.This to confer indicates the influence on the sliding bearing type base earthquake resistance system to the building structure. Also , due to the changes of accelerations of ground , this research make a comparison of the different dynamic response in the upper structure between bearing type base isolation structure and fixed base structure. The specimens used for test are the scolded downs one、two、three Lower - scaled structures on base fittings sliding base isolated bearings with axial shaking table to combine , and then sap2000 simulate into the dynamic behavior of the specimen form simulating different ground accelerations by shaking Table, and discuss the dynamic response of the building with/without bearing type Base Isolation and the accelerations reducing condition of each different story on each specimen. The result of this research shows that Sliding Bearing type Base Isolation could reduce the accelerations response for each story and could be excellent seismic response reducing equipment. Can largely reduce the relative displacement of the superstructure and the base shear of the pier. and to promote structure model earthquake ability.
Sousa, José Manuel Ribeiro de. "Modelling and simulation of dense polymeric catalytic membrane reactors : orient. Prof. Doutor Adélio Miguel Magalhães Mendes." Tese, 2005. http://hdl.handle.net/10216/11890.
Full textSousa, José Manuel Ribeiro de. "Modelling and simulation of dense polymeric catalytic membrane reactors : orient. Prof. Doutor Adélio Miguel Magalhães Mendes." Doctoral thesis, 2005. http://hdl.handle.net/10216/11890.
Full textSitnicki, Ignacy. "Metafilozofia wspólnej przyszłości. Teleologiczne implikacje dogmatycznego kosmizmu i transhumanistycznego ekstropizmu." Doctoral thesis, 2017. https://depotuw.ceon.pl/handle/item/2070.
Full textAusten, Gerrit [Verfasser]. "On the treatment of the geodetic boundary value problem by means of regular gravity space formulations : proof of concept based on numerical closed loop simulations / by Gerrit Austen." 2009. http://d-nb.info/993648460/34.
Full textKumar, Vikas. "Construction of Secure and Efficient Private Set Intersection Protocol." Thesis, 2013. http://hdl.handle.net/2005/3277.
Full text