Relevant bibliographies by topics / Verifikace a analýza software / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Verifikace a analýza software.

Dissertations / Theses on the topic 'Verifikace a analýza software'

Author: Grafiati
Published: 28 June 2021
Last updated: 17 February 2022

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 'Verifikace a analýza software.'

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

Letko, Zdeněk. "Analýza a testování vícevláknových programů." Doctoral thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2012. http://www.nusl.cz/ntk/nusl-261265.

Full text
Abstract:
V disertační práci je nejprve uvedena taxonomie chyb v souběžném zpracování dat a přehled technik pro jejich dynamickou detekci. Následně jsou navrženy nové metriky pro měření synchronizace a souběžného chování programů společně s metodologií jejich odvozování. Tyto techniky se zejména uplatní v testování využívajícím techniky prohledávání prostoru a v saturačním testování. Práce dále představuje novou heuristiku vkládání šumu, jejímž cílem je maximalizace proložení instrukcí pozorovaných během testování. Tato heuristika je porovnána s již existujícími heuristikami na několika testech. Výsledk
APA, Harvard, Vancouver, ISO, and other styles
2

Vašíček, Ondřej. "Adaptér OSLC pro analýzu softwaru." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445498.

Full text
Abstract:
Cílem této práce je poskytnout snadný způsob, jak rozšířit analyzační nástroj o rozhraní splňující standard OSLC. Takové rozhraní umožňuje jednoduchou integraci nástrojů s jinými nástroji nebo systémy, umožňuje jejich vzdálené použití skrze webové služby a umožňuje je jednoduše propojit s databází pro databázové dotazy a pro perzistentní uložení dat. Toto je dosaženo návrhem a implementací OSLC adaptéru pomocí sady nástrojů Eclipse Lyo. Adaptér používá jako rozhraní doménu OSLC Automation a je dostatečně univerzální na to, aby skrze toto rozhraní pokryl funkcionalitu většiny analyzačních nástr
APA, Harvard, Vancouver, ISO, and other styles
3

Vyvial, Pavel. "Statická detekce častých chyb JBoss aplikačního serveru." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2010. http://www.nusl.cz/ntk/nusl-237160.

Full text
Abstract:
First, a few bugs from a list of common bug were chosen and patterns describing these bugs were inferred. Then, detectors searching for such patterns were implemented as plug-ins to FindBugs static analyzer. Finally, detectors were used to detect bugs in development version of JBoss AS. Results are presented at the end of this paper.
APA, Harvard, Vancouver, ISO, and other styles
4

Žárský, Jan. "Instrumentace Java programů, kontrakty pro paralelismus." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445489.

Full text
Abstract:
Contracts for concurrency describe required atomicity of method sequences in concurrent programs. This work proposes a dynamic analyzer to verify programs written in Java against contracts for concurrency. The analyzer was designed to detect violations of parametric contracts with spoilers. The proposed analyzer was implemented as an extension to the RoadRunner framework. Support for accessing the method arguments and return values was added to RoadRunner as a part of the solution. The analyzer was fully implemented and verified on a set of testing programs.
APA, Harvard, Vancouver, ISO, and other styles
5

Letko, Zdeněk. "Dynamická detekce a léčení časově závislých chyb nad daty v prostředí Java." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2008. http://www.nusl.cz/ntk/nusl-235989.

Full text
Abstract:
Finding concurrency bugs in complex software is difficult. As a contribution to coping with this problem the thesis proposes an architecture for a fully automated dynamic detection and healing of data races and atomicity violations in Java. Two distinct algorithms for detecting of data races are presented. One of them is a novel algorithm called AtomRace which detects data races as a special case of atomicity violations. The healing is based on suppressing a recurrence of the detected problem and can be performed by introducing an additional synchronization or by legally influencing the Java s
APA, Harvard, Vancouver, ISO, and other styles
6

Beránek, Jan. "Verifikace rukopisu a podpisu." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2010. http://www.nusl.cz/ntk/nusl-237258.

Full text
Abstract:
This paper concerns methods of verification of person's signature and handwriting. Some of commonly used techniques are resumed and described with related literature being referred. Next aim of this work is design and implementation of a simple handwriting verification application. Application is based on edge detection and comparison of a set of structural and statistical features. As a support classification tool a SVM classifier of the LIBSVM software is employed. The Application is written in C language using OpenCV graphics library. Testing and training set was extracted from samples foun
APA, Harvard, Vancouver, ISO, and other styles
7

Mačišák, Lukáš. "Problematika testování a verifikace softwaru pro leteckou techniku." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2011. http://www.nusl.cz/ntk/nusl-236942.

Full text
Abstract:
This Master's Thesis describes methods of software certification and development of airborne systems, focusing on software testing and verification during project's life cycle. Thesis includes also designed software verification plan for concrete application according to RTCA/DO-178B. Another part of thesis illustrates the exemplary realization of tests according to designed verification plan. At the close we describe the options of applying the designed verification plan and evaluation of its results.
APA, Harvard, Vancouver, ISO, and other styles
8

Hruška, Martin. "Verifikace ukazatelových programů pomocí lesních automatů." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2015. http://www.nusl.cz/ntk/nusl-234895.

Full text
Abstract:
In this work, we focus on improving the forest automata based shape analysis implemented in the Forester tool. This approach represents shapes of the heap using forest automata. Forest automata are based on tree automata and Forester currently has only a simple implementation of tree automata. Our first contribution is replacing this implementation by the general purpose tree automata library VATA, which contains the highly optimized implementations of automata operations. The version of Forester using the VATA library participated in the competition SV-COMP 2015. We further extended the fores
APA, Harvard, Vancouver, ISO, and other styles
9

Konečný, Filip. "Relační verifikace programů s celočíselnými daty." Doctoral thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2012. http://www.nusl.cz/ntk/nusl-261262.

Full text
Abstract:
Tato práce představuje nové metody pro verifikaci programů pracujících s neomezenými celočíslenými proměnnými, konkrétně metody pro analýzu dosažitelnosti a~konečnosti. Většina těchto metod je založena na akceleračních technikách, které počítají tranzitivní uzávěry cyklů programu. V práci je nejprve představen algoritmus pro akceleraci několika tříd celočíselných relací. Tento algoritmus je až o čtyři řády rychlejší než existující techniky. Z teoretického hlediska práce dokazuje, že uvažované třídy relací jsou periodické a~poskytuje tudíž jednotné řešení prolému akcelerace. Práce dále představ
APA, Harvard, Vancouver, ISO, and other styles
10

Ťulák, Jan. "Refaktoring a verifikace kódu mkfs xfs." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2017. http://www.nusl.cz/ntk/nusl-363735.

Full text
Abstract:
Tato práce popisuje průběh refaktoringu programu mkfs.xfs za účelem zpřehlednění jeho kódu a vyčištění technického dluhu naakumulovaného za dvacet let existence tohoto programu, a následně jeho statickou analýzu. Použité nástroje (CppCheck, Coverity, Codacy, GCC, Clang) jsou srovnány z hlediska počtu i typu nalezených chyb.
APA, Harvard, Vancouver, ISO, and other styles
11

Fiedor, Jan. "Praktické metody automatizované verifikace paralelních programů." Doctoral thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2017. http://www.nusl.cz/ntk/nusl-412575.

Full text
Abstract:
V dnešní době jsou vícevláknové programy běžné a s nimi i chyby v souběžnosti. Během posledních let bylo vytvořeno mnoho technik pro detekci takovýchto chyb, a i přesto mají vývojáři softwaru problém nalézt správné nástroje pro analýzu svých programů. Důvod je jednoduchý, fungující neznamená vždy praktický. Hodně nástrojů implementujících detekční techniky je obtížně použitelných, přizpůsobených pro konkrétní typy programů nebo synchronizace, nebo špatně škálují, aby zvládly analyzovat rozsáhlý software. Pro některé typy chyb v souběžnosti dokonce ani neexistují nástroje pro jejich detekci, i
APA, Harvard, Vancouver, ISO, and other styles
12

Ševčík, Václav. "Fundamentální analýza měnového kurzu EUR/USD." Master's thesis, Vysoká škola ekonomická v Praze, 2009. http://www.nusl.cz/ntk/nusl-76583.

Full text
Abstract:
The aim of this thesis is empirical verification of the fundamental theory of exchange rate determination in the case of the currency pair EUR/USD. The theoretical part is devoted to the issue of exchange rate theory, with emphasis on the importance of the currency pair EUR/USD, and major characteristics of the fundamental theory of exchange rate determination. Attention is also paid to methods of analysis of time series, which will be used in the analytical part. The analytical part is devoted to an empirical verification of the underlying theories. On the basis of these theories are develope
APA, Harvard, Vancouver, ISO, and other styles
13

Kučerová, Petra. "Analýza vybraných platebních protokolů." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2010. http://www.nusl.cz/ntk/nusl-237207.

Full text
Abstract:
The aim of the master's thesis "Analysis of Selected Payment Protocols" is overview of used payment. The first part is concentrated on data security, the second is dedicated to payment protocols, their characteristics, used technology and security elements. The third part is dedicated to verification and simulation tools. Comparison of particular payment protocols and of particular verification tools is part of this work too. Experimental part of the thesis is focused on formalization and verification of the payment protocol Visa 3-D Secure, of the protocol NetBill and on formalization of two
APA, Harvard, Vancouver, ISO, and other styles
14

Doležal, Ladislav. "Analýza trhu bezpečnostního softwaru." Master's thesis, Vysoká škola ekonomická v Praze, 2013. http://www.nusl.cz/ntk/nusl-199249.

Full text
Abstract:
In this thesis, I analyze the global supply of security software (for operating system Win-dows) with a focus on anti-virus programs, which currently mostly implicitly include vari-ous modules of security software. In the first part of my thesis, I will focus on the clarification of issues related to IS / IT se-curity and cybercrime. I describe here the security IS / IT in general, describes the basic concepts and information safety, so that readers gain a basic understanding of this issue. I explain the concept of cybercrime and characterize its main crime. The second part will focus on the c
APA, Harvard, Vancouver, ISO, and other styles
15

Mohyla, Jan. "Analýza aplikačního software pro testování klimatizací." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2018. http://www.nusl.cz/ntk/nusl-376987.

Full text
Abstract:
This thesis deals with the analysis of application software for testing airconditioning units. The main objective of the work is to analyze the application software and create its documentation. On the basis of the documentation, the software problems are analyzed and the possible solutions are proposed. Within the thesis the technology of airconditioning units, the programmable logic controller FA-M3 and its programming tool Widefield are described.
APA, Harvard, Vancouver, ISO, and other styles
16

Návrat, Filip. "Analýza projektu vývoje software na zakázku." Master's thesis, Vysoká škola ekonomická v Praze, 2007. http://www.nusl.cz/ntk/nusl-1507.

Full text
Abstract:
Tato práce se zabývá aplikací a využitím metodologií a metodik projektového řízení a vícekriteriálního rozhodování v prostředí reálného projektu vývoje software na zakázku. V práci jsou formulována doporučení a vhodné přístupy pro využití takovýchto metodologií a metodik v jednotlivých fázích projektu s důrazem na individuální přístup ze strany manažera projektu.
APA, Harvard, Vancouver, ISO, and other styles
17

Papírníková, Helena. "Analýza pracovních míst společnosti Memos Software, s.r.o." Master's thesis, Vysoká škola ekonomická v Praze, 2008. http://www.nusl.cz/ntk/nusl-2761.

Full text
Abstract:
Diplomová práce pojednává o analýze pracovních míst v malé softwarové společnosti Memos Software, s.r.o. První část práce se zabývá teorií, přičemž se zaměřuje zejména na důležitost analýzy pracovních míst a na její metody. Druhá praktická část provádí a vyhodnocuje dotazníkové šetření ve zkoumané firmě. Výsledkem výzkumného šetření je sestavení nových aktuálních popisů a specifikací pracovních míst pro Memos Software, s.r.o. Tyto nové profily by měly zefektivnit výběrová řízení firmy.
APA, Harvard, Vancouver, ISO, and other styles
18

Pikartová, Ivana. "Analýza komunikačního mixu společnosti Memos Software s.r.o." Master's thesis, Vysoká škola ekonomická v Praze, 2007. http://www.nusl.cz/ntk/nusl-5278.

Full text
Abstract:
The thesis is focused on the analysis of the communication mix of Memos Software s.r.o. company which develops the custom software. Before the main analysis the theoretical part takes place in which the traditional components of the communication mix are explained. After that the attention is oriented on the communication mix which is done through the internet. In the practical part the analyzed company is introduced and after that the contemporary status of its communication mix is being described. Based on the analysis in the end of this thesis the recommendations are given with the aim to r
APA, Harvard, Vancouver, ISO, and other styles
19

Postler, Štěpán. "Statistická analýza ve webovém prostředí." Master's thesis, Vysoká škola ekonomická v Praze, 2013. http://www.nusl.cz/ntk/nusl-199226.

Full text
Abstract:
The aim of this thesis is creating a web application that allows dataset import and analyzing data with use of statistical methods. The application uses a user access that allows multiple number of persons manipulate with a single dataset, as well as interact with each other. Data is stored on a remote server and application is accessible from any computer that is connected to the Internet. The application is created in PHP programming language with use of MySQL database system, and user interface is built in HTML language with use of CSS styles. All parts of application are stored on an attac
APA, Harvard, Vancouver, ISO, and other styles
20

Theier, Radek. "Analýza požadavků na software v prostředí bankovní instituce." Master's thesis, Vysoká škola ekonomická v Praze, 2012. http://www.nusl.cz/ntk/nusl-162751.

Full text
Abstract:
This diploma thesis deals with the requirements engineering as one of the key areas of development of software applications. By requirements prospective users express their needs and goals which shall be achieved using the developed application. The correctness and completeness of the requirements is thus critical for the success of any software project. The main objective of this dissertation is determination of steps which must be made to improve quality of requirements on real software project in Czech financial institution. This is achieved by analysis of current requirements development p
APA, Harvard, Vancouver, ISO, and other styles
21

Kyjovská, Gabriela. "Podnikatelský plán společnosti Web Software Consulting [cs]." Master's thesis, Vysoká škola ekonomická v Praze, 2007. http://www.nusl.cz/ntk/nusl-1236.

Full text
Abstract:
Diplomová práce je zaměřena v oblasti teorie na charakteristiku malých a středních firem včetně jejich právních forem, na teorii sestavení podnikatelského plánu a na možné zdroje financování podnikatelského plánu. Praktická část se věnuje sestavení konkrétního plánu společnosti Web Software Consulting. Tato práce slouží pro posouzení reálnosti a životaschopnosti podnikatelského nápadu.[cs]
APA, Harvard, Vancouver, ISO, and other styles
22

Jurka, Pavel. "Analýza a návrh změn informačního systému firmy." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2008. http://www.nusl.cz/ntk/nusl-221935.

Full text
Abstract:
This Diploma thesis deals with the information system. It contains the analysis of the present state and particular parts of this matter including suggestion of information system for CTMOS company, economic cost evaluation and applicability in practice.
APA, Harvard, Vancouver, ISO, and other styles
23

Holý, Michal. "Analýza trendů IS z pohledu uplatnění nových technologií s orientací na open source." Master's thesis, Vysoká škola ekonomická v Praze, 2014. http://www.nusl.cz/ntk/nusl-194035.

Full text
Abstract:
The theme of this thesis is to analyze current technological trends with a focus on open source software in terms of relevance and importance for enterprises. The main objective is to evaluate the current status of open source software for Czech enterprises and characterize the progress based on data from 2010 and 2015. The thesis describes the basic forms of software used by companies which are further categorized based on the functionality and usability. The specifics of open source software and its licenses are defined. Subsequently the selection of specific open source licenses, generally
APA, Harvard, Vancouver, ISO, and other styles
24

Hlavsa, Ondřej. "Analýza počítačové simulace zvuku a jejích limitů." Master's thesis, Vysoká škola ekonomická v Praze, 2009. http://www.nusl.cz/ntk/nusl-17120.

Full text
Abstract:
This thesis is focused on the question whether it is possible to fully simulate the sound of real musical instruments on the personal computer. The opening chapters deal with basic characteristics of sound information, its perceiving and also its digital form. Futher there is an elaborate analysis of computer simulation in comparison with legitimate records. The output of this part are worded assumptions. The next parts offer a detailed look at programming approaches and methods of computer sound creation. The research leads to a hearing test in which author tries to confirm the hypotheses as
APA, Harvard, Vancouver, ISO, and other styles
25

Kopečná, Barbora. "Hodnocení výkonnosti podniku s využitím software Maple." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2020. http://www.nusl.cz/ntk/nusl-417355.

Full text
Abstract:
The diploma thesis focuses on the evaluation of the performance of a selected company operating in the food industry in the period 2013-2018. The thesis uses PEST analysis, regression analysis and time series analysis in Maple software and benchmarking. Using these tools and the results of analyses, proposals are made to improve the company's performance and also future potential development of the company is descripted.
APA, Harvard, Vancouver, ISO, and other styles
26

Veselý, Jakub. "Analýza a návrh Open Source řešení pro Městský úřad Blansko." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2010. http://www.nusl.cz/ntk/nusl-264870.

Full text
Abstract:
The object of this mater’s thesis is to analyze current situation of information system at municipal office of Blansko and to review it. Subsequently to suggest other possible solutions and improvements. Formulation of economic and other advantages and possible disadvantages and problems that can occur in case of implementation of other OpenSource components.
APA, Harvard, Vancouver, ISO, and other styles
27

Pavlů, Pavel. "Analýza potenciálu SaaS v malých a středních podnicích." Master's thesis, Vysoká škola ekonomická v Praze, 2008. http://www.nusl.cz/ntk/nusl-10488.

Full text
Abstract:
This paper analyses potential of Software as a Service (SaaS) model in small and medium enterprises (SME). SaaS model is rapidly expanding trend between software delivery models. The first chapter describes evolution of software delivery models, which peaks in the most recent "Software as a Service" model. It analyses key features of SaaS in qualitative, technological and legal dimensions. The first chapter also mentions assesment methods for IT investments. This chapter introduces basic theoretical framework for next chapters. Next chapter focuses on category of small and medium enterprises.
APA, Harvard, Vancouver, ISO, and other styles
28

Malec, Tomáš. "Analýza a zlepšování hodnotového toku." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2012. http://www.nusl.cz/ntk/nusl-219804.

Full text
Abstract:
This thesis deals with the general analysis and value stream improvement. The theoretical part describes the difference between functional and procedural model of company management, mutual benefits and disadvantages of these systems. The thesis deals with the mapping process, subdivision maps and methodology of process maps creation. The work also includes software analysis for process mapping. Next section contains search of selected optimization tools and methods to improve production flow and description of the principles of controlled documentation. In the practical part is realized mappi
APA, Harvard, Vancouver, ISO, and other styles
29

Svata, Bohuslav. "Analýza využití aplikačního software v maloobchodě v prostředí Microsoft Dynamics AX 2009." Master's thesis, Vysoká škola ekonomická v Praze, 2010. http://www.nusl.cz/ntk/nusl-114050.

Full text
Abstract:
Theme of this thesis is utilization of ERP system MS Dynamics AX 2009 in retail environment. Its main goal is to create analysis that will evaluate suitability of MS Dynamics AX implementation in retail business. This goal is realized by achieving three steps. First step is introduction and analysis of retail business processes. This includes introduction of general process in theory followed by description of typical needs and requirements of retail enterprise. Second step is analysis of functionality offered by MS Dynamics AX and identification of its deficiencies in terms of usability in re
APA, Harvard, Vancouver, ISO, and other styles
30

Šrubař, Michal. "Analýza síťové komunikace Ransomware." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2017. http://www.nusl.cz/ntk/nusl-363782.

Full text
Abstract:
The focus of this work is crypto-ransomware; a variant of malware, an analysis of this malware’s network communication, and the identification of means by which it may be detected in the network. The thesis describes the methodology and environment in which the malware’s network communications were studied. The first part of the thesis provides a network traffic analysis of this type of malware with a focus on HTTP and DNS communication, including anomalies that can be observed in the network during this malware’s activity. The thesis also includes a discussion of the user be
APA, Harvard, Vancouver, ISO, and other styles
31

Pásztor, Bálint. "Analýza přežití v R." Master's thesis, Vysoká škola ekonomická v Praze, 2015. http://www.nusl.cz/ntk/nusl-202126.

Full text
Abstract:
Survival analysis is a statistical discipline that analyzes the time to occurrence of certain events. The aim of this thesis is to describe the possibilities of survival analysis in the environment of statistical software R. Theoretical knowledge is applied to real data, parametric and nonparametric estimates of survival functions are evaluated by different methods and compared with each other. In the section focusing on nonparametric models Kaplan-Meier and Nelson-Aalen functions are described. Among the parametric estimates there were included well-known probability distributions, survival f
APA, Harvard, Vancouver, ISO, and other styles
32

Štacha, Jan. "Analýza a návrh informačního systému elektronického vzdělávání." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2007. http://www.nusl.cz/ntk/nusl-236840.

Full text
Abstract:
This thesis is focused on IBM Rational Unified Process methodology, which represents complex and robust aproach to software development and software lifecycle. This methodology is well described and every step of software lifecycle is predictible. Thats the reason why is becoming used in many software development organizations. The main goal of this thesis is deep description of this methodology and creation common outputs of inception and elaboration phase of e-learning information system. IBM Rational Unified Process is called use-case driven aproach, thats the reason why is emphasized descr
APA, Harvard, Vancouver, ISO, and other styles
33

Drbušková, Magdaléna. "Numerická analýza smršťování vybraných silikátových kompozitů." Master's thesis, Vysoké učení technické v Brně. Fakulta stavební, 2014. http://www.nusl.cz/ntk/nusl-226798.

Full text
Abstract:
The thesis is divided into two main parts. In the first theoretical part is described the problems of shrinking including a comparison of Czech standard and Model Code 2010, Vol. 1. The second practical part of the master`s thesis is focused on the numerical analysis shrinkage primarily on the initial stage of this process. The experimentally obtained data are set approximations of the relative deformation using ShrCeC. Subsequently the numerical simulation of shrinkage of selected silicate specimens using a computer applications SpatiDist and FyDiK 2D. The real test specimens are modelled as
APA, Harvard, Vancouver, ISO, and other styles
34

Marková, Monika. "Finding groups of the similar variables with statistical software SAS and SPSS." Master's thesis, Vysoká škola ekonomická v Praze, 2007. http://www.nusl.cz/ntk/nusl-10417.

Full text
Abstract:
My diploma thesis focuses on the comparison of possibilities of the statistical software SAS and SPSS in the area of the factor and cluster analysis and the multidimensional scaling. They deal with the methods for identifying groups of the similar statistical values (variables). The ascertained relations among the variables can serve to decrease the proportion vectors of the variables, which describe the individual monitored objects (statistical units), which helps us to apply other various methods, for example the regression or discriminant analysis. By one of the ways for finding the similar
APA, Harvard, Vancouver, ISO, and other styles
35

Vacová, Dominika. "Analýza přesnosti laserového skenování." Master's thesis, Vysoké učení technické v Brně. Fakulta stavební, 2017. http://www.nusl.cz/ntk/nusl-390224.

Full text
Abstract:
The main goal of this master thesis is processing a point cloud with respect of possibilities of a registration clouds based on reference objects or on objects in general. This thesis studies transformations to the reference coordinate system S –JTSK. The first part of this thesis describes a theoretical background of the laser scanning and its use. A practical part shows the results and the evaluation of whole research.
APA, Harvard, Vancouver, ISO, and other styles
36

Koňařík, Josef. "Analýza aerodynamiky vozidla Formule Student." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2009. http://www.nusl.cz/ntk/nusl-228797.

Full text
Abstract:
The aim of thesis is to devise the body due to the current model in the 3D software ProEngineer and given by current Formula Student competition rules. Subsequently, the model will be created for the purposes of CFD software for numerical analysis of aerodynamics. Based on this analysis, the simulation will be obtained with the coefficient of air and axles load.
APA, Harvard, Vancouver, ISO, and other styles
37

Černý, Jan. "Analýza problémů agilních projektů firmy." Master's thesis, Vysoká škola ekonomická v Praze, 2013. http://www.nusl.cz/ntk/nusl-197478.

Full text
Abstract:
This diploma thesis aims at the development of agile software projects of an existing company. The main goal of this dissertation has been to identify and analyze the most frequent current problems of the company, then to summarize their impact and to propose the best possible way of dealing with them. As an integral part, the aim of the dissertation has also been the creation of an internal knowledge base which can help to prevent those problems from happening in future projects and to share mutual experiences. To fulfil this goal, it has been necessary to learn all the problems of the agile
APA, Harvard, Vancouver, ISO, and other styles
38

Vacek, Vladimír. "Analýza a strategie společnosti IceWarp na českém a zahraničním trhu." Master's thesis, Vysoká škola ekonomická v Praze, 2011. http://www.nusl.cz/ntk/nusl-142113.

Full text
Abstract:
The thesis aims to analyze the recent activity of the IceWarp company on the Czech and foreign market and then to propose new strategy for Great Britain. The introduction presents the groupware solution and the product IceWarp Server. The next part contains information about the Czech branch and describes the processes of customer acquisition, customer care department and technical support department. Then it is made the comparison with British branch which has the same structure. Based on the indentified shortage the new strategy is proposed in two version differing in financial cost.
APA, Harvard, Vancouver, ISO, and other styles
39

Kohout, Pavel. "Plánování a analýza nákladů na podnikovou informatiku." Master's thesis, Vysoká škola ekonomická v Praze, 2011. http://www.nusl.cz/ntk/nusl-72532.

Full text
Abstract:
This thesis is focused on ICT costs monitoring and controlling among enterprises, whose purpose is to maximize their market value and to achieve a profit by selling products or offering services and simultaneously these enterprises neither do operate in ICT industry nor banking and similar industries. Purpose of this thesis is to help responsible users with better understanding of causes where and why enterprise ICT cost origin. For this purpose there is formed a pattern for ICT costs monitoring and controlling. This pattern comes into use in enterprises in cases when it is necessary to discov
APA, Harvard, Vancouver, ISO, and other styles
40

Juřička, Milan. "Analýza a návrh reportingu reálných nákladů materiálu." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2021. http://www.nusl.cz/ntk/nusl-442929.

Full text
Abstract:
My thesis contains the analysis and following suggestion of a solution of the application for the reporting. The reporting application has a goal to display actual costing data for a selected material and be a part of the SAP applications. The description of the theoretical background that is used in the thesis is the first part of the thesis. In the following chapter is the description of the current situation and analysis of the selected company. The last chapter contains an analysis of the possible risks which are followed by the suggested solution. At the end of the thesis is an economic e
APA, Harvard, Vancouver, ISO, and other styles
41

Zimek, Tomáš. "Software pro identifikaci dynamických systémů." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2019. http://www.nusl.cz/ntk/nusl-399369.

Full text
Abstract:
The thesis deals with methods of identification of dynamic systems in time and frequency domain. Nonparametric and parametric methods of identification are analyzed. Selected methods are implemented in Matlab & Simulink sotware. Finally, the user guide for the created Python application is introduced.
APA, Harvard, Vancouver, ISO, and other styles
42

Slavětínský, Radek. "Analýza cloudových řešení Business Intelligence pro SME." Master's thesis, Vysoká škola ekonomická v Praze, 2017. http://www.nusl.cz/ntk/nusl-358847.

Full text
Abstract:
The thesis is focused on the analysis of presently offered products supporting Business Intelligence (BI) which are affordable for small and medium-sized enterprises (SMEs). Current BI solutions available to SMEs are mostly offered via Cloud computing, specifically in the form of Software as a Service (SaaS) as it requires low initial acquisition costs. The objectives of this thesis are to analyse the work in applications for BI in cloud that can be used by SMEs and to analyse in detail the comparison the worldwide extended reporting tools distributed as SaaS in the lower price category. The t
APA, Harvard, Vancouver, ISO, and other styles
43

Kafka, Jan. "Analýza trhu operačních systémů." Master's thesis, Vysoká škola ekonomická v Praze, 2012. http://www.nusl.cz/ntk/nusl-198871.

Full text
Abstract:
The reason of this work are operating systems, their significance, history, analysis of the current situation and attempt to predict the future. The first part introduces the basic concepts, the definition of operating system and brief history. The second part deals with the current situation on the market for operating systems, the main drivers of this sector and the business models used. The last part deals with the prediction of the situation on the market for operating systems, their future evolution, the probable evolution of their business model and estimate the near future from the busi
APA, Harvard, Vancouver, ISO, and other styles
44

Pololáník, Pavel. "Analýza současných statistických výkazů a SW možností pro hodnocení energetických soustav." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2021. http://www.nusl.cz/ntk/nusl-442544.

Full text
Abstract:
Diploma thesis deals with the issue of statistical reporting Energy regulátory office ČR. The introduction describes the contents regularly published reports on the operation of the electricity system in the Czech Republic. In the thsis deals with the analysis of statistical reports. Processing code in Python and describes its implementation in analytical platform KNIME.
APA, Harvard, Vancouver, ISO, and other styles
45

Krýcha, Josef. "Fraktální analýza ekonomických časových řad." Master's thesis, Vysoká škola ekonomická v Praze, 2009. http://www.nusl.cz/ntk/nusl-15558.

Full text
Abstract:
This thesis focuses on fractal analysis of economic time series. Chapter One introduces fractal analysis as a method of exploring time series and gathers information about progress and current state of understanding in this field. Chapter Two focuses on design and development of computer software, which will calculate selected fractal indices. Chapter Three is experimental and shows the results and discussion of economic time series (popular stock market indexes and currency exchange rate) analysis that have been obtained from the software developed in Chapter Two.
APA, Harvard, Vancouver, ISO, and other styles
46

Nigmatullin, Timur. "Analýza zavedení a použití podnikových IS formou SaaS na ruském trhu." Master's thesis, Vysoká škola ekonomická v Praze, 2012. http://www.nusl.cz/ntk/nusl-162509.

Full text
Abstract:
This paper deals with the implementation of SaaS in the Russian market, especially in the Ural region of the Russian Federation -- Republic of Bashkortostan. SaaS is usually considered as an alternative way for the dominant model of software installation at the customer office. SaaS has certain key differences related to the use of different types of outsourcing and switching from buying products for permanent use to the system with subscription fee, depending on the specific use of resources. The goal of the theoretical part of the paper is to construct the comprehensive picture of Cloud comp
APA, Harvard, Vancouver, ISO, and other styles
47

Svoboda, Jakub. "Analýza a návrh informačního systému pro plánování rozpočtu FCM-Jh." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2016. http://www.nusl.cz/ntk/nusl-241450.

Full text
Abstract:
This thesis deals with design for creating IS to support planning budget for Bosch Diesel s.r.o., used by department FCM-Jh. If it verifies functionality of IS, it should become a support for the company in this field. The IS should in particular unify existing planning costs FCM-Jh. Determine is there a firm structure and support of IS in two main areas. The first area deals with the planning process of investment and cost means in their budgets managed by the department FCM-Jh and subsequent ordering of works and services FCM-Jh and its records. The second area is for planning costs for buil
APA, Harvard, Vancouver, ISO, and other styles
48

Lucký, Jakub. "Analýza vybraného podnikatelského subjektu pomocí vybraných metod." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2017. http://www.nusl.cz/ntk/nusl-357009.

Full text
Abstract:
Cílem diplomové práce je analýza podnikatelského subjektu Moravia IT s.r.o., která se zabývá především lokalizací softwaru, testováním a příbuzné inženýrské činnosti. Pro zhodnocení společnosti jsou vybrány externí a interní analýzy podniku. V poslední části diplomové práce jsou uvedeny návrhy pro zlepšení současného stavu.
APA, Harvard, Vancouver, ISO, and other styles
49

Müller, Vlastimil. "Výukový software pro návrh a analýzu poplachových zabezpečovacích systémů." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2018. http://www.nusl.cz/ntk/nusl-376948.

Full text
Abstract:
Intrusion alarm systems (IAS) make inseparable part of our personal and work life which helps us with protection of important work data or personal property. This paper looks into the theory of IAS design and analysis which are two important factors influencing final system effectiveness. Furthermore, general procedure of IAS design, a number of analysis methods and IAS components are discussed. This theoretical knowledge is used to design and implement an aplication called IASPlanner, which allows users to draw a layout of IAS and subsequently analyse designed systems. The aplication can be u
APA, Harvard, Vancouver, ISO, and other styles
50

Navrátil, Karel. "Analýza možností a využití IT v týmové práci na školních projektech." Master's thesis, Vysoká škola ekonomická v Praze, 2011. http://www.nusl.cz/ntk/nusl-114146.

Full text
Abstract:
This thesis "The Analysis of IT possibilities and utilization in teamwork on the school projects" deals with a problem of teamwork cooperation of the students of the University of Economics in Prague. The students worked on school projects, using information technologies. The introduction of the thesis deals with the basic theoretical knowledge of formation, functioning and team communication. Then some specification of collaborative software is given. Fundamental subject matter of the practical part of this thesis shows the outcome of a survey by questionnaire which analyses students' general
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!

To the bibliography