|
|
TTP protocol for managing hierarchy trees of RTCP feedback channel
Müller, Jakub ; Komosný, Dan (referee) ; Burget, Radim (advisor)
TTP protocol for managing hierarchy trees of the RTCP feedback channel represents the mechanism for transferring the big amount of data from end users via the “narrow” feedback channel. We are not speaking about thousands of users but about millions of users, which are using services like IPTV. The method of a data summarization is used for this purpose in selected network nodes. The summarized message is transferred and summarized again in higher levels of the hierarchical tree. Both methods allow reducing the amount of data and help to increase information content transferred via the feedback channel. Finding of the correct end user position in a network is also very important aspect. The user must be able to find the closest summarization node with this information and starts sending out the messages to this node for processing. There are several methods for constructing and managing the asynchronous feedback channel that are introduced in this work.
|
|
|
Data acquisition from a great number of computers using hierarchical summarization
Jelínek, Mojmír ; Novotný, Vít (referee) ; Komosný, Dan (advisor)
This paper deals with IPTV (Internet Protocol Television) transmission of feedback and is showing options and ways of construction, problems and optimalization of signalization protocol. In the beginning are described IPTV and technology terms that this technology uses. Here can be found information about classical TV (Television) transmitting and comparing with IPTV technology, the advantages and disadvantaged of IPTV and answers why this solution has future. Next parts are about history of IPTV and real use over ADSL (Asymmetric Digital Subscriber Line) in present. Here are explained all the necessary units like Head-End, feedback target, root feedback target, ADSL, DSLAM (Digital Subscriber Line Access Multiplexer) and methods of data stream transmission. Also here are described the techniques of video stream compression (MPEG-2 and MPEG-4) and all options of data transmission as broadcast, unicast and multicast. Important part is about transmission speed and needs. The realization also contains applications, written in the C++ language, for transmitting and receiving packets by UDP (User Datagram Protocol) protocol. The task of these applications is to load the main server, where the measurement of packet loss and CPU (Central Processing Unit) load takes place. The result is a table of measured values for specified packet sizes and for specified time intervals between them. The meaning of this measuring is to find the maximal number of computer nodes, which the feedback target is able to proceed. Last part is about realization of 2 applications in JAVA language, which get the information about end-nodes. Both algorithms are using 2 threads to increase speed of getting the information. The client has few random generators within one thread, which will be later replaced by special algorithms for getting real values.
|
|
|
Verification of Programs with Pointers Based on Pattern Detection
Kubíček, Jan ; Erlebach, Pavel (referee) ; Vojnar, Tomáš (advisor)
This paper presents our results in study of verifiaction of infinite state space systems. We deal more concretely with abstract model checking. As main part of study we learned about pattern-based verification. This method is supposed to verify programs with dynamic memory structures like lists. Those structures are presented as directed graph. Pattern-based verifiaction abstracts any number of nodes by replacing them with summarized node. This way we achieve bounded presentation of unbounded memory structure. Afterwards, verification is very effective due to low number of possible memory configurations. In our own work we deal with making model of a program for a tool that implements pattern-based verification. This model isconstructed from a subset of the C language. The main contribution of work is making the verification of simple programs written in C language completely self-acting by automation of constructing input model. In this paper wepresent the grammar of created subset of the C language and implementation details of translation.
|
|
|
Synchronized data transfer of signalling in IPTV
Figurny, Roman ; Karásek, Jan (referee) ; Müller, Jakub (advisor)
The task of Bachelor's thesis has been to develop synchronizing mechanism for signaling servers, called Feedback Targets, in hierarchical structure of the feedback tree. Then verify the function of this designed synchronizing mechanism in simulation developed in Java. Using this synchronizing mechanism to shorten the time needed to travel the signaling packets trough the feedback tree and using this to obtain better reaction to possible network junction or significant packet loss while distributing multimedia data while using IPTV. In theoretic part of the thesis there are described basic protocols like RTCP, RTP and TTP. Then are described methods for packet sending in network (multicast, unicast and broadcast). The basic piece of knowledge about IPTV, its distribution and differences between IPTV and classic internet media streaming are described. Also basic terms like Feedback Target, Feedback Target Manager and FTI, FTS and FTD packets are described as well.
|
|
|
High Level Analysis of the Psychotherapy Sessions
Polok, Alexander ; Karafiát, Martin (referee) ; Matějka, Pavel (advisor)
This work focuses on analyzing psychotherapy sessions within the DeePsy research project. This work aims to design and develop features that model the session dynamics, which can reveal seemingly subtle nuances. The mentioned features are automatically extracted from the source recording using neural networks. They are further processed, compared across sessions, and displayed graphically, creating a document that acts as a feedback document about the session for the therapist. Furthermore, this assistive tool can help therapists to professionally grow and to provide better psychotherapy in the future. A relative improvement in voice activity detection of 37.82% was achieved. The VBx diarization system was generalized to converge to two speakers with a minimum relative error rate degradation of 0.66%. An automatic speech recognition system has been trained with a 17.06% relative improvement over the best available hybrid model. Models for sentiment classification, type of therapeutic interventions, and overlapping speech detection were also trained.
|
|
|
Multi-source Text Summarization for Czech
Brus, Tomáš ; Bojar, Ondřej (advisor) ; Mareček, David (referee)
This work focuses on the summarization task for a set of articles on the same topic. It discusses several possible ways of summarizations and ways to assess their final quality. The implementation of the described algorithms and their application to selected texts constitutes a part of this work. The input texts come from several Czech news servers and they are represented as deep syntactic trees (the so called tectogrammatical layer).
|
|
|
Analýza textových používateľských hodnotení vybranej skupiny produktov
Valovič, Roman
This work focuses on the design of a system that identifies frequently discussed product features in product reviews, summarizes them, and displays them to the user in terms of sentiment. The work deals with the issue of natural language processing, with a specific focus on Czech languague. The reader will be introduced the methods of preprocessing the text and their impact on the quality of the analysis results. The identification of the mainly discussed products features is carried out by cluster analysis using the K-Means algorithm, where we assume that sufficiently internally homogeneous clusters will represent the individual features of the products. A new area that will be explored in this work is the representation of documents using the Word embeddings technique, and its potential of using vector space as input for machine learning algorithms.
|
|
|
Multi-source Text Summarization for Czech
Brus, Tomáš ; Bojar, Ondřej (advisor) ; Mareček, David (referee)
This work focuses on the summarization task for a set of articles on the same topic. It discusses several possible ways of summarizations and ways to assess their final quality. The implementation of the described algorithms and their application to selected texts constitutes a part of this work. The input texts come from several Czech news servers and they are represented as deep syntactic trees (the so called tectogrammatical layer).
|
|
|
Verification of Programs with Pointers Based on Pattern Detection
Kubíček, Jan ; Erlebach, Pavel (referee) ; Vojnar, Tomáš (advisor)
This paper presents our results in study of verifiaction of infinite state space systems. We deal more concretely with abstract model checking. As main part of study we learned about pattern-based verification. This method is supposed to verify programs with dynamic memory structures like lists. Those structures are presented as directed graph. Pattern-based verifiaction abstracts any number of nodes by replacing them with summarized node. This way we achieve bounded presentation of unbounded memory structure. Afterwards, verification is very effective due to low number of possible memory configurations. In our own work we deal with making model of a program for a tool that implements pattern-based verification. This model isconstructed from a subset of the C language. The main contribution of work is making the verification of simple programs written in C language completely self-acting by automation of constructing input model. In this paper wepresent the grammar of created subset of the C language and implementation details of translation.
|
|
|
Synchronized data transfer of signalling in IPTV
Figurny, Roman ; Karásek, Jan (referee) ; Müller, Jakub (advisor)
The task of Bachelor's thesis has been to develop synchronizing mechanism for signaling servers, called Feedback Targets, in hierarchical structure of the feedback tree. Then verify the function of this designed synchronizing mechanism in simulation developed in Java. Using this synchronizing mechanism to shorten the time needed to travel the signaling packets trough the feedback tree and using this to obtain better reaction to possible network junction or significant packet loss while distributing multimedia data while using IPTV. In theoretic part of the thesis there are described basic protocols like RTCP, RTP and TTP. Then are described methods for packet sending in network (multicast, unicast and broadcast). The basic piece of knowledge about IPTV, its distribution and differences between IPTV and classic internet media streaming are described. Also basic terms like Feedback Target, Feedback Target Manager and FTI, FTS and FTD packets are described as well.
|
guest ::
