Dissertations / Theses on the topic 'C++ Qt'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 34 dissertations / theses for your research on the topic 'C++ Qt.'
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.
Garcia, Mário Angel Praia. "Verificação de programas C++ baseados no framework crossplataforma Qt." Universidade Federal do Amazonas, 2016. http://tede.ufam.edu.br/handle/tede/5492.
Full textApproved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-02-07T17:47:47Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Mário A. P. Garcia.pdf: 1777955 bytes, checksum: bbc5f97c856505f518492e5c8ec65c28 (MD5)
Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-02-07T17:48:08Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Mário A. P. Garcia.pdf: 1777955 bytes, checksum: bbc5f97c856505f518492e5c8ec65c28 (MD5)
Made available in DSpace on 2017-02-07T17:48:08Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Mário A. P. Garcia.pdf: 1777955 bytes, checksum: bbc5f97c856505f518492e5c8ec65c28 (MD5) Previous issue date: 2016-09-13
CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
The software development for embedded systems is getting faster and faster, which generally incurs an increase in the associated complexity. As a consequence, consumer electronics companies usually invest a lot of resources in fast and automatic verification mechanisms, in order to create robust systems and reduce product recall rates. In addition, further development-time reduction and system robustness can be achieved through cross-platform frameworks, such as Qt, which favor the reliable port of software stacks to different devices. Based on that, the present work proposes a simplified version of the Qt framework, which is integrated into a checker based on satisfiability modulo theories (SMT), name as the efficient SMT-based bounded model checker (ESBMC++), for verifying actual Qt-based applications, and presents a success rate of 89%, for the developed benchmark suite. We also evaluate our simplified version of the Qt framework using other state-of-the-art verifiers for C++ programs and an evaluation about their level of compliance. It is worth mentioning that the proposed methodology is the first one to formally verify Qt-based applications, which has the potential to devise new directions for software verification of portable code.
O desenvolvimento de software para sistemas embarcados tem crescido rapidamente, o que na maioria das vezes acarreta em um aumento da complexidade associada a esse tipo de projeto. Como consequência, as empresas de eletrônica de consumo costumam investir recursos em mecanismos de verificação rápida e automática, com o intuito de desenvolver sistemas robustos e assim reduzir as taxas de recall de produtos. Além disso, a redução no tempo de desenvolvimento e na robustez dos sistemas desenvolvidos podem ser alcançados através de frameworks multi-plataformas, tais como Qt, que oferece um conjunto de bibliotecas (gráficas) confiáveis para vários dispositivos embarcados. Desta forma, este trabalho propõe uma versão simplificada do framework Qt que integrado a um verificador baseado nas teorias do módulo da satisfatibilidade, denominado Efficient SMT-Based Bounded Model Checker (ESBMC++), verifica aplicações reais que ultilizam o Qt, apresentando uma taxa de sucesso de 89%, para os benchmarks desenvolvidos. Com a versão simplificada do framework Qt proposto, também foi feita uma avaliação ultilizando outros verificadores que se encontram no estado da arte para verificação de programas em C++ e uma avalição a cerca de seu nível de conformidade. Dessa maneira, a metodologia proposta se afirma como a primeira a verificar formalmente aplicações baseadas no framework Qt, além de possuir um potencial para desenvolver novas frentes para a verificação de código portátil.
Adborn, Mats. "Visualisering av datastrukturer : Utveckling av ett tolkningsverktyg." Thesis, Mittuniversitetet, Institutionen för informationsteknologi och medier, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-19429.
Full textInterpretation and assimilation of data structures, organized information andsource code files are frequently occuring during software development. This kindof information is stored in text-based form and its understanding requires greatthoroughness and investment in time from the developer's part. This thesisdescribes the development of a utility program prototype, which automates theparsing of XML data and source code files from the programming languages Cand C++, in purpose of trying to simplify the interpretation process. The programcreates and presents a visual graph of the structure found, using an algorithmwhich can present arbitrary large XML files as well as a limited number ofconcurrent source code files. The effects on the interpretation time and itsreliablity has been evaluated in a survey among software development students.The result showed a certain increase in the number of correct conclusions fromthe participants' side after studying the visual representation compared to itsorignial text-based form. The amount of time used was not measured other thansubjectively by the users themselves, of which a predominant proportionconsidered a reduction in needed time when using the graphical representation.The thesis shows that the use of this or an equivalent utility can enhance theassimilation of data structures by increasing the rate of reliabilty whilesimultaneously decreasing the needed amount of time. Still, the quantifyable gainsof these results remains statistically largely uncertain.
Ohno, Seiko. "N- and C-terminal KCNE1 mutations cause distinct phenotypes of long QT syndrome." Kyoto University, 2007. http://hdl.handle.net/2433/135692.
Full textSchumacher, Bernd. "Entwicklung eines neuen LVP-Systems mit MySql-Datenbank Anbindung in C++ und Trolltech's GUI-Toolkit Qt." [S.l. : s.n.], 2003. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB10952970.
Full textNiu, Bingyu. "Visualization of machine learning data for radio networks : A case study at Ericsson." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-167335.
Full textKaluža, Jan. "Pokročilý simulátor mikrokontrolérů rodiny MSP430." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2014. http://www.nusl.cz/ntk/nusl-236101.
Full textBergstedt, Martin, and Tobias Gillström. "Observator för frontlinjen på surfplatta." Thesis, Örebro universitet, Institutionen för naturvetenskap och teknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-58130.
Full textThis project has been carried out at Saab Dynamics. The project's purpose was to develop an application, TBFO, for reporting information containing how the missile GLSDB would strike a target. TBFO is intended to be used in the proximity of the target and information is sent to the planning system GLSDB MPS. The application was built around the 3D engine from Vricon and is developed to fit for use of touch devices. The main part of the work concerns the development of user interface for touch input and the system’s application protocol. This report describes the processes of developing the system, including what tools and methods that have been used during development. The report also provides an in-depth look at processes used when developing applications for touch devices. The conclusion from the results of this project is that the idea of the described system is useful for the process of planning an assault with GLSDB MPS.
Macura, Jáchym. "Termální kamera pro biologické aplikace." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2020. http://www.nusl.cz/ntk/nusl-413014.
Full textKolařík, Jan. "Aplikace pro vzdálenou editaci DEVS modelů a řízení simulace na simulačním serveru." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2013. http://www.nusl.cz/ntk/nusl-236388.
Full textŠimek, Petr. "Designer pro QDevKit." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2012. http://www.nusl.cz/ntk/nusl-236568.
Full textBelica, Martin. "Vývoj univerzálního softwarového rozhraní pro detekční jednotky v optické spektroskopii." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2020. http://www.nusl.cz/ntk/nusl-413006.
Full textTóth, Michal. "Stínové techniky na dnešním hardware a jejich porovnání." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2014. http://www.nusl.cz/ntk/nusl-236117.
Full textZapletal, Pavel. "Čtečka Braillova písma." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2012. http://www.nusl.cz/ntk/nusl-236479.
Full textKováč, Jakub. "Systém sběru dat z bezdrátových snímačů." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2015. http://www.nusl.cz/ntk/nusl-221135.
Full textToresson, Gabriel. "Documenting and Improving the Design of a Large-scale System." Thesis, Linköpings universitet, Programvara och system, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-157733.
Full textKuchta, Michal. "Aplikace pro podporu geocachingu." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2012. http://www.nusl.cz/ntk/nusl-236502.
Full textNavrátilová, Eva. "Program pro interaktivní sestavování rodokmenů." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2019. http://www.nusl.cz/ntk/nusl-403131.
Full textAndersson, Tobias, and Erik Johansson. "A closer look and comparison of cross-platform development environment for smartphones." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-25304.
Full textBaáš, Filip. "Stanovení pozice objektu." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2019. http://www.nusl.cz/ntk/nusl-400661.
Full textKalawoun, Rawan. "Motion planning of multi-robot system for airplane stripping." Thesis, Université Clermont Auvergne (2017-2020), 2019. http://www.theses.fr/2019CLFAC008/document.
Full textThis PHD is a part of a French project named AEROSTRIP, (a partnership between Pascal Institute,Sigma, SAPPI, and Air-France industries), it is funded by the French Government through the FUIProgram (20th call). The AEROSTRIP project aims at developing the first automated system thatecologically cleans the airplanes surfaces using a process of soft projection of ecological media onthe surface (corn). My PHD aims at optimizing the trajectory of the whole robotic systems in orderto optimally strip the airplane. Since a large surface can not be totally covered by a single robot base placement, repositioning of the robots is necessary to ensure a complete stripping of the surface. The goal in this work is to find the optimal number of robots with their optimal positions required to totally strip the air-plane. Once found, we search for the trajectories of the robots of the multi-robot system between those poses. Hence, we define a general framework to solve this problem having four main steps: the pre-processing step, the optimization algorithm step, the generation of the end-effector trajectories step and the robot scheduling, assignment and control step.In my thesis, I present two contributions in two different steps of the general framework: the pre-processing step, the optimization algorithm step. The computation of the robot workspace is required in the pre-processing step: we proposed Interval Analysis to find this workspace since it guarantees finding solutions in a reasonable computation time. Though, our first contribution is a new inclusion function that reduces the pessimism, the overestimation of the solution, which is the main disadvantage of Interval Analysis. The proposed inclusion function is assessed on some Constraints Satisfaction Problems and Constraints Optimization problems. Furthermore, we propose an hybrid optimization algorithm in order to find the optimal number of robots with their optimal poses: it is our second contribution in the optimization algorithm step. To assess our hybrid optimization algorithm, we test the algorithm on regular surfaces, such as a cylinder and a hemisphere, and on a complex surface: a car
Eriksson, Rickard, and Sajjadali Hemani. "A Cross-Platform Health Care Application." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-186884.
Full textDen här rapporten beskriver utvecklingsprocessen för en mobilapplikation vid namn Healthy- Way. Applikationen är utvecklad som ett kandidatexamensarbete tillsammans med KTH. Applikationens huvudsakliga uppgift är att vara ett gränssnitt till medicinskt relaterad utrustning såsom plaster och pilleraskar. Kommunikationen mellan dessa sker via Bluetooth Low Energy. Applikationen skrevs huvudsakligen i 3 olika språk, QML, C++ och Java. Den viktigaste punkten genom projektets gång var att applikationen skulle vara oberoende av plattform. Flexibiliteten var tvungen att göras på både en skalbar och modulär nivå. Med detta i åtanke valdes QT för att behandla skalbarheten. Modulariteten uppnåddes genom en välplanerad struktur på programmet tillsammans med instruktioner på hur ny utrustning kan introduceras. Syftet med programmet är att öka livskvaliteten för användaren. Detta syfte kunde däremot inte slutföras på grund av bristande testning hos användare. I dagens läge är applikationen inte redo för att släppas kommersiellt, men tjänar som ett bra ramverk för framtida utveckling.
Kouřil, Jan. "Paralelní korpusový manažer." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2011. http://www.nusl.cz/ntk/nusl-236928.
Full textHromádko, Michal. "Jednoduchý diktovací systém." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2011. http://www.nusl.cz/ntk/nusl-237008.
Full textPalomeque, Carlos. "Real-Time Visualization of Construction Equipment Performance." Thesis, Linköpings universitet, Medie- och Informationsteknik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-110903.
Full textLjung, Marcus, and Per Turner. "CAN Tool for Atlas Copco’s Rig Control System." Thesis, Örebro universitet, Institutionen för naturvetenskap och teknik, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-29978.
Full textMålet med detta 15 hp examensarbete inom datateknik var att utveckla ett verktyg för att övervaka och analysera dataflödet på ett Controller Area Network (CAN) kallat Rig Control System (RCS) som används av Atlas Copco. Atlas Copco utvecklar och tillverkar maskiner för gruvdrift och bergbrytning. Rocktec-divisionen är ansvarig för Rig Control System-plattformen som används i maskiner från alla avdelningar inom affärsområdet Mining and Rock Excavation Technique (MR). Verktygets primära uppgift är att övervaka och analysera data från RCS-nätverket och presentera den analyserade datan på ett lättöverskådligt sätt för att vara till hjälp vid utveckling och underhåll av RCS och maskiner som använder RCS. Fördelar, hur data skickas över CAN-bussen och även CANopen-protokollet, som är ett högnivåprotokoll baserat på CAN, presenteras. Två olika sätt att samla in data från RCS presenteras, en simulerad miljö och riktig hårdvara. Olika typer av interprocesskommunikation och deras respektive fördelar och nackdelar presenteras. Skapandet av verktyget krävde ett grafiskt användargränssnitt så olika ramverk för denna uppgift presenteras och diskuteras i detalj. Resultatet av projektet är ett verktyg som med vidare utveckling kan vara till stor användning för utvecklare och servicetekniker som arbetar med RCS.
Krajíček, Michal. "Systém pro podporu komunikace agilního řízení projektů." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2013. http://www.nusl.cz/ntk/nusl-412884.
Full textMaric, Danilo. "Firmware development of a User Interface on medical devices of DIMA ITALIA Srl." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2018.
Find full textKantor, Roman. "Detekce zubů na 3D počítačovém polygonálním modelu čelisti." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2012. http://www.nusl.cz/ntk/nusl-236461.
Full textKnispel, Lukáš. "Pokročilé plánování cesty robotu (RRT)." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2012. http://www.nusl.cz/ntk/nusl-230248.
Full textHřib, Dalibor. "Vizualizace rizik v managementu projektů." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2012. http://www.nusl.cz/ntk/nusl-236490.
Full textPiovarči, Rastislav. "Escape Motions: Rozšíření editoru Flame Painter." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2013. http://www.nusl.cz/ntk/nusl-236339.
Full textMarchi, Brian Ezequiel. "Control de plataforma de degradación acelerada de transistores de potencia." Bachelor's thesis, 2020. http://hdl.handle.net/11086/15868.
Full textEl objetivo del presente trabajo es desarrollar una plataforma para acelerar, automatizar y emular el proceso de degradación al que se somete un transistor de efecto de campo metal-óxido-semiconductor (MOSFET) de potencia en un aparato de Resonancia Magnética Nuclear por ciclado rápido de campo (RMN-FFC). Este sistema debe ser capaz de controlar la degradación del transistor; analizar las condiciones de destrucción y reaccionar a ellas; observar los parámetros de funcionamiento durante los ensayos mediante gráficos y almacenar toda la información en una base de datos local.
The objective of the present work is to develop a platform to accelerate, automate and emulate the degradation process to which a power metal-oxide-semiconductor field effect transistor (MOSFET) is subjected in a fast field-cycling Nuclear Magnetic Resonance equipment (FFC-NMR). The system should be able to control degradation of the transistor; analyze destruction conditions and react to them; observe the operating parameters during the trials using graphics and saving all information in a local database.
Fil: Marchi, Brian Ezequiel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Παπαπαύλου, Χρήστος. "Ανάπτυξη εκπαιδευτικού συστήματος (Η/W, S/W) για δικτυακές εφαρμογές, βασισμένου σε μικροελεγκτή AVR." Thesis, 2013. http://hdl.handle.net/10889/7281.
Full textAt this diploma thesis a real-time network protocol was designed and implemented in order to interconnect a group of microcontrollers. Based at this protocol, a network bootloader was developed for AVR microcontrollers and a desktop application for the interface of the user with the network was developed. Ultimate goal of this work is to be used from students of microcomputer courses and specifically to facilitate the development of network applications with microcontrollers.
Kunze, Michael. "Entwicklung und Implementierung eines Software-tools zur Einzelzellverfolgung: Programm „CellTracker“." 2011. https://ul.qucosa.de/id/qucosa%3A17162.
Full text