Publikace

informace pocházejí z univerzitní databáze V3S

Autoři:
doc. Dr. Ing. Tomáš Brandejský; doc. Ing. Vít Fábera, Ph.D.; doc. Ing. Martin Leso, Ph.D.
Publikováno:
2023, New Technology and Logistics on the Railway, Prague, ACTA Polytechnica CTU), p. 1-5), ISBN 978-80-01-07257-8, ISSN 2336-5382
Anotace:
This paper analyses the component of the Integrated Interlocking System which forms the central logical and functional unit implementing all logical and computational functions necessary for railway traffic control in the Railway 4.0 concept. The main principle is that this approach centralizes the technology of station interlocking system, track line interlocking systems, level crossing interlocking systems and the functions of train interlocking system - the line part of ETCS L2/3 radio block control panel (RBC). The operation control is centralised to the controlling dispatcher centres. The paper discusses the concept of integrated interlocking system including safety issues addressed from the perspective of the requirements of CENELEC standards EN 50126, EN 50128 and EN 50129. These requirements are addressed from the perspective of the authors of the paper, who also work as independent assessors of the safety of railway control and command systems.
DOI:
Typ:
Stať ve sborníku z prestižní konf. (Scopus)

Autoři:
Ing. Josef Mík, Ph.D.; Ing. Luboš Nouzovský, Ph.D.; Ing. Alina Mashko, Ph.D.; prof. Ing. Zdeněk Votruba, CSc.; Matoušek, V.; doc. Ing. Petr Bouchner, Ph.D.; doc. Ing. Vít Fábera, Ph.D.; doc. Ing. Zuzana Radová, Ph.D.; Smrčka, P.; doc. Ing. Tomáš Tichý, Ph.D., MBA; Ing. Milan Sliacky, Ph.D.
Publikováno:
2022, ISBN 978-80-01-07105-2, ISSN 2336-5382
Typ:
Sborník z mezinár. konf. cizojazyčně

Autoři:
Jetmar, M.; Kubát, J.; doc. Ing. Vít Fábera, Ph.D.; Ing. Mgr. Michal Jeřábek, Ph.D.
Publikováno:
2022, 5th EAI International Conference on Management of Manufacturing Systems, Springer Science and Business Media Deutschland GmbH), p. 129-141), ISBN 978-3-030-67240-9, ISSN 2522-8595
Anotace:
Public administration implements decisions of elected bodies, i.e., deals with the governance of public issues, ensures compliance of practice with law. Public administration creates sustainable economic prosperity, ensures social cohesion and human well-being. Public administration has very often been seen as a service to the population; its quality affects not only social confidence in the public sector but also in the whole political system. From the economic point of view, public administration represents a managerial structure ensuring mainly the supply of public goods; the allocation function of the public sector and its ability to efficiently provide public goods and public services are particularly important. The paper describes the context of territorial public administration in the Czech Republic, where all municipalities are obliged to provide basic administrative services and local public services. Public libraries and elementary schools represent traditional public services provided by communities and towns. Using the data envelopment analysis (DEA) method, the paper focuses on assessing the economic efficiency of providing these two traditional public services.
DOI:
Typ:
Stať ve sborníku z prestižní konf. (Scopus)

Autoři:
Jetmar, M.; Kubát, J.; doc. Ing. Vít Fábera, Ph.D.; Ing. Mgr. Michal Jeřábek, Ph.D.
Publikováno:
2022, Sustainable Management of Manufacturing Systems in Industry 4.0, Springer Science and Business Media Deutschland GmbH), p. 31-45), ISBN 978-3-030-90461-6, ISSN 2522-8609
Anotace:
The article deals with the issue of applying the Data Envelopment Analysis (DEA) method, when examining the efficiency of selected public services provided by municipalities. It focuses on typical services provided by most municipalities, such as the operation of local libraries and primary schools. It describes the methodological basis for calculating the efficiency of municipalities divided into smaller, more homogeneous groups. It then shows the practical results of the efficiency calculation – the mean values achieved in the categories examined and the selected groups of municipalities in the context of the whole set. The method of creation and operation of the software application created for the purpose of DEA calculation is then described.
DOI:
Typ:
Kapitola v knize s nadnárodní působností

Autoři:
Sajanraj, T.-D.; Mulerikkal, J.; Raghavendra, S.; Vinith, R.; doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2021, Neural Network World, 31 (3), p. 173-189), ISSN 1210-0552
Anotace:
Metro rail systems are increasingly becoming relevant and inevitable in the context of rising demand for sustainable transportation methods. Metros are therefore going to have a consistently expanding user-base and hence user satisfaction will require meticulous planning. Usage forecast is clearly an integral component of metro planning as it enables forward looking and efficient allocation of resources leading to greater commuter satisfaction. An observation from studying the usage of Kochi Metro Rail Ltd. is that there is a consistently occurring temporal pattern in usage for every station. But the patterns differ from station to station. This hinders the search for a global model representing all stations. We propose a way to overcome this by using station memorizing Long Short-Term Memory (LSTM) which takes in stations in encoded form as input along with usage sequence of stations. This is observed to significantly improve the performance of the model. The proposed architecture with station parameter is compared with algorithms like SVR (support vector regression) and neural network implementation with the best architecture to testify the claim. The proposed model can predict the future flow with an error rate of 0.00127 MSE (mean squared error), which is better than the other models tested.
DOI:
Typ:
Článek v periodiku excerpovaném SCI Expanded

Autoři:
Hamerníková, B.; doc. Ing. Vít Fábera, Ph.D.; Beneš, V.; Jetmar, M.; Ing. Mgr. Michal Jeřábek, Ph.D.; Kubát, J.; Pančík, J.; Plaček, M.
Publikováno:
2020, New Approaches in Management of Smart Manufacturing Systems, Basel, Springer Nature Switzerland AG), p. 55-69), ISBN 978-3-030-40175-7, ISSN 2522-8595
Anotace:
The presented contribution is a description of first output from a project and describes a software solution architecture of performance management tool for public sector economy. The contribution defines the functional and system requirements and their technological implementation, data integration procedures, and design and creation of a database consisting of available public sector databases. The project team uses a multidisciplinary approach—a mix of methods of economics, operational research, and information technology. The subject of goals in this research project is a description of the current state of research in the field of application of nonparametric statistical methods (DEA, FDH) for analysis, development of a software tool, and comparison of municipal efficiency with it. The project research outputs can be identified with the creation of the information system that consists of software application together with efficiency analysis methodology. The next aim is to create a web application as support of processes defined by the methodology of analysis which can serve as a support tool for easy use by potential users. The statistical algorithms DEA and FDH are the output of a team of economists and statisticians and are ported to the back-end of the web application by being delivered to a team responsible for developing a software application in the form of functions written in R along with a validation set of data.
DOI:
Typ:
Kapitola v jiné knize

Autoři:
Řada, J.; Ing. Tomáš Musil, Ph.D.; doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2020, Proceedings of the SOFSEM 2020 Doctoral Student Research Forum, Aachen, CEUR Workshop Proceedings), p. 25-36), ISSN 1613-0073
Anotace:
Multistream Compression has proven to be competitive in terms of compression ratio. It utilizes a binary tree structure which follows practically the same rules for its construction as the Huffman method. This tree structure is ideal in terms of compression ratio for creation of codewords by Huffman compression. Comparing to the Huffman method the Multistream Compression is based on different idea of how to compress data. This fact raises the question whether the same tree structure provides the best performance. The presented paper investigates possible improvements of the tree structure. A genetic algorithm application was created for this purpose. The design of this application is presented in the paper as well as the obtained results. The whole application is set to the context of the MSC trees.
Typ:
Stať ve sborníku z prestižní konf. (Scopus)

Autoři:
Ing. Mgr. Michal Jeřábek, Ph.D.; Kubat, J.; doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2020, New Approaches in Management of Smart Manufacturing Systems, Basel, Springer Nature Switzerland AG), p. 113-128), ISBN 978-3-030-40175-7, ISSN 2522-8595
Anotace:
The paper deals with the comparison of cities, which will allow to identify reserves in the management of public funds and in the provision of services to its residents. The first step in the comparison is to determine the parameters that can be used to compare a set of cities. An appropriate choice of parameters allows performance comparison across a wide range of areas. A very interesting method for comparison seems to be the DEA method, which allows a relative comparison of a set of cities. Relative comparisons are advantageous if the best values of the parameters that can be achieved are not known, but at the same time it is necessary to compare comparable cities. The paper describes the use of DEA method for comparing cities with each other. The DEA description includes an illustrative example showing the differences between VRS, CRS and FDH models. Paper also describes the software application that is developed for the purpose to compare the efficiency of municipalities. The paper describes the architecture of the application, its functions and print screens from the web interface.
DOI:
Typ:
Kapitola v jiné knize

Autoři:
Hamerníková, B.; doc. Ing. Vít Fábera, Ph.D.; Beneš, V.; Jetmar, M.; Ing. Mgr. Michal Jeřábek, Ph.D.; Kubát, J.; Pančík, J.; Plaček, M.
Publikováno:
2020, 4th EAI International Conference on Management of Manufacturing Systems, Cham, Springer International Publishing), p. 205-218), ISBN 978-3-030-34271-5, ISSN 2522-8595
Anotace:
The presented contribution is a description of the first output from a project and describes a software solution architecture of performance management tool for public sector economy. The contribution defines functional and system requirements and their technological implementation, data integration procedures, and design and creation of a database consisting of available public sector databases. The project team uses a multidisciplinary approach – a mix of methods of economics, operational research, and information technology (IT). The subject of goals in this research project is a description of the current state of research in the field of application of nonparametric statistical methods (DEA, FDH) for analysis, developing a software tool and comparison of municipal efficiency with it. The project research outputs can be identified with the creation of the information system (IS) which consists of software application together with efficiency analysis methodology. The next aim is to create a web application as support of processes is defined by the methodology of analysis which can serve as support tool for easy use by potential users. The statistical algorithms DEA and FDH are the output of a team of economists–statisticians and are ported to the back-end of the web application by being delivered to a team responsible for developing a software application in the form of functions written in R along with a validation set of data.
DOI:
Typ:
Stať ve sborníku z prestižní konf. (Scopus)

Autoři:
Ing. Mgr. Michal Jeřábek, Ph.D.; Kubát, J.; doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2020, 4th EAI International Conference on Management of Manufacturing Systems, Cham, Springer International Publishing), p. 33-41), ISBN 978-3-030-34271-5, ISSN 2522-8595
Anotace:
The paper describes the use of DEA method for comparing cities with each other. The DEA description includes an illustrative example showing the differences between VRS, CRS and FDH models. Paper also describes the software application that is developed for the purpose to compare the efficiency of municipalities.
DOI:
Typ:
Stať ve sborníku z prestižní konf. (Scopus)

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Ing. Tomáš Musil, Ph.D.; Řada, J.
Publikováno:
2019, 2019 Konference - 25 let Fakulty dopravní, Praha, České vysoké učení technické v Praze), ISBN 978-80-01-06545-7
Anotace:
Kompresní algoritmus MSC (MultiStream Compression) je nová bezeztrátová kompresní metoda českého vědce Jiřího Kochánka. Jiří Kochánek implementoval svůj algoritmus softwarově v programovacím jazyce C. Na Fakultě dopravní ČVUT byla vytvořena první hardwarová implementace - do hradlového pole (FPGA). Části algoritmu byly transformovány na množinu spolupracujících konečných automatů a zapsány v jazyce VHDL. Navíc bylo nutné navrhnout speciální reprezentaci kódovacího stromu (Left Tree Representation) s ohledem na potřeby algoritmu.
Typ:
Stať ve sborníku z fakultní konference česky

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Votruba, Z.
Publikováno:
2018, 2018 Smart City Symposium Prague, New York, IEEE Press), p. 140-143), ISBN 978-1-5386-5017-2
Anotace:
Communication of a system alliance with surroundings can be modelled as a translation of specific languages. Incoming messages into alliance create an input language LI, outgoing messages from alliance create an output language LA. Elements on the boundaries serve as conversion units between external input languages and internal languages, or they serve as plain acceptors of input sentences, telling only the input sentence is valid/non-valid. Very important case is man - machine communication. In this case, the respective languages have to be regular. The example of two alliance interfaces and/or respective correction processes is discussed in detail. The process of the acceptance of a new (unknown) word within the adaptive acceptor is carried-out in the following part. These analyses are of high value for both the control and design of complex uncertain wholes, as well as for increasing their functionality and reliability.
DOI:
Typ:
Stať ve sborníku z prestižní konf.

Autoři:
doc. Dr. Ing. Tomáš Brandejský; doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2017, Student Scientific Conference Modernization of Railway IRICoN 2017, Praha, Czech Technical University in Prague), p. 1-5), ISBN 978-80-01-06297-5, ISSN 2336-5382
Anotace:
Presented contribution is dedicated to discussion of two different approaches into increase of programming language safety. They are language subset and extension of original safety mechanisms. As examples we used MISRA C/C++ subset and SPARK language build on the base of ADA language. In the last chapters we discuss novel approaches based on application of programmable hardware which is described in VHDL language, which is also modification of ADA language. Especially SPARK and VHDL languages represents novel approaches to safe system development which are now discussed in relation to new Railway SW projects.
Typ:
Stať ve sborníku z mezinár. konf. cizojazyčně

Autoři:
doc. Dr. Ing. Tomáš Brandejský; doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2017, Modernization of Railway- IRICoN 2017, Praha, Česká technika - nakladatelství ČVUT), p. 6-7), ISBN 978-80-01-06140-4, ISSN 2336-5382
Anotace:
Nowadays we can observe two opposite approaches to modification of programming languages to be more suitable to safe system development. The first is the reduction of chosen programming language expressions to safe subset, like MISRA C/C++ and this approach is also supported by today standards of safe software development like ISO61508 or EN50128. In the last few years, novel and partially opposite development is expanded. It is based on extension of original language by additional explanations containing description of such aspects of software, that are not described enough by original language. Typical example is SPARK language precisiating original ADA one even though it was originally designed as language specialized to safe control system development.
Typ:
Abstrakt ve sborníku z fakultní konference cizojazyčně

Autoři:
Syrová, N.; doc. PhDr. Mária Jánešová, CSc.; doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2017, Proceedings of AC 2017, Praha, MAC Prague consulting, s.r.o.), p. 347-355), ISBN 978-80-88085-15-7
Anotace:
The article is dedicated to the theory of H.R.Elliot and N.F.Helge von Koch. The first part further specifies the designation of fractal and fractal geometry, and then focuses on joining fractal geometry and financial market behavior using the Koch curve. The last chapter describes financial time series using the theory of Elliott waves, which are specified by H.R. Elliot's behavior on individual financial exchanges.
Typ:
Stať ve sborníku z mezinár. konf. cizojazyčně

Autoři:
doc. Ing. Vít Fábera, Ph.D.; doc. Dr. Ing. Tomáš Brandejský; Ing. Bc. Dušan Kamenický, Ph.D.; Gopak, V.
Publikováno:
2017, Modernization of Railway- IRICoN 2017, Praha, Česká technika - nakladatelství ČVUT), p. 8-9), ISBN 978-80-01-06140-4, ISSN 2336-5382
Anotace:
Increasing demands to railway capacity require to build new railway lines and to apply new approaches like information technologies. There are several new trends in rail traffic control. Firstly, the control is shifted from distributed system spread over stations to centralized one in all Europe. The most railway lines in the Czech Republic should be controlled from two offices in Přerov and Prague. The centralization of the operation control gives spread view of the situation but information quantity to evaluate by operators increases. Secondly, next modern trend (especially in Switzerland, Belgium and Germany) is a separation of strategy control (route planning from daily to annual interval) from operative control (conflicts solution caused by deviations from regular time-table due to infrastructure or vehicle faults) and from direct control (safety device operation, shunting). Each level of operation control process specific functions. Operative control IT support should react to deviation from planed daily time table; it monitors actual trains routes and solves potential conflicts with others trains in advance (from minutes to hours). The output is modified conflict-free time table – specific route plan transmitted to direct control level (realized by human operator or automatic system).
Typ:
Abstrakt ve sborníku z fakultní konference cizojazyčně

Autoři:
doc. Dr. Ing. Tomáš Brandejský; doc. Ing. Vít Fábera, Ph.D.; Ing. Bc. Dušan Kamenický, Ph.D.; Gopak, V.
Publikováno:
2017, Student Scientific Conference Modernization of Railway IRICoN 2017, Praha, Czech Technical University in Prague), p. 31-34), ISBN 978-80-01-06297-5, ISSN 2336-5382
Anotace:
The article focuses on analysis of possibilities of operatic control of railway traffic and its automatization and its support by information systems. Conditions, necessary pieces of input information like infrastructure description are discussed. RailML format is mentioned as suitable format for description in railway area. Optimization criterion and use of evolutionary techniques are suggested. The system is modeled in Railway Laboratory of the Faculty of Transportation Sciences, CTU in Prague.
Typ:
Stať ve sborníku z mezinár. konf. cizojazyčně

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Ing. Tomáš Musil, Ph.D.; Řada, J.
Publikováno:
2017, Neural Network World, 27 (6), p. 541-555), ISSN 1210-0552
Anotace:
This paper describes the first attempt of hardware implementation of Multistream Compression (MSC) algorithm. The algorithm is transformed to series of Finite State Machines with Datapath using Register-Transfer methodology. Those state machines are then implemented in VHDL to selected FPGA platform. The algorithm utilizes a special tree data structure, called MSC tree. For storage purpose of the MSC tree a Left Tree Representation is introduced. Due to parallelism, the algorithm uses multiple port access to SDRAM memory.
DOI:
Typ:
Článek v periodiku excerpovaném SCI Expanded

Autoři:
doc. Ing. Vít Fábera, Ph.D.; doc. Ing. Jitka Jírová, CSc.; Ing. Jitka Řezníčková, CSc.
Publikováno:
2016, ISBN 978-80-01-05939-5
Typ:
Sborník z lokální konf. cizojazyčně

Autoři:
doc. Dr. Ing. Tomáš Brandejský; doc. Ing. Vít Fábera, Ph.D.; doc. Ing. Martin Leso, Ph.D.
Publikováno:
2015, Sborník přednášek z 11. technické konference ARaP 2015, Praha, MM Publishing), p. 41-44), ISBN 978-80-906310-0-7
Anotace:
Příspěvek nejprve popisuje národní a Evropský systém hodnocení bezpečnosti a spolehlivosti železničních systémů, zvláště pak zabezpečovacích a řídících systémů. Poté popisuje obvyklé problémy praktické implementace těchto procesů a zkušenosti z tuzemska, jakož i notifikovanou osobu ČVUT v Praze.
Typ:
Stať ve sborníku z mezinár. konf. česky

Autoři:
Ing. Bc. Dušan Kamenický, Ph.D.; Ing. Jindřich Sadil, Ph.D.; doc. Ing. Martin Leso, Ph.D.; doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2015
Anotace:
Metodika měření a testování prvku interoperabilty Balisa podle Subsetu 085 a Subsetu 035
Typ:
Výzkumná zpráva v češtině

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Novák, M.; prof. Dr. Ing. Miroslav Svítek, dr. h. c.; prof. Ing. Zdeněk Votruba, CSc.
Publikováno:
2015, Smart Cities Symposium Prague 2015 Proceedings - Czech Technical University in Prague, Praha, České vysoké učení technické v Praze, Fakulta dopravní), p. 1-6), ISBN 978-80-01-05742-1
Anotace:
Basic information on Smart City modeling approach based on the concept of the System alliance is presented. An advantage of this approach inter alia is that System alliances are naturally able to model the synergic effects on interfaces and to minimize various negative impacts. Two ways of interfaces modeling within the alliance are discussed: (i.) Quantum-like models and (ii.) the utilization of the duality: automaton-language. In the first case the superposition of states or even the entanglement concepts are suitable tools for recording non-orthogonal interface parameters and resulting phase sensitivity of the respective interface. In the second approach processes on interfaces are modeled as mutual translations of specific languages. Due to significant uncertainties the methodology of genetic algorithms and grammatical evolution are tested.
DOI:
Typ:
Stať ve sborníku z prestižní konf.

Autoři:
doc. Ing. Martin Leso, Ph.D.; Ing. Jindřich Sadil, Ph.D.; doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2014
Anotace:
Měření technických parametrů systému kolejových obvodů KOA1M pro pražské metro podle technické specifikace ZTP
Typ:
Výzkumná zpráva v češtině

Autoři:
Ing. Bc. Dušan Kamenický, Ph.D.; Ing. Jindřich Sadil, Ph.D.; doc. Ing. Vít Fábera, Ph.D.; doc. Ing. Martin Leso, Ph.D.
Publikováno:
2014
Anotace:
Definování postupů pro ověření funkce systému Eurobalise v souladu s požadavky Subset 036 a Subset 085.
Typ:
Výzkumná zpráva v češtině

Autoři:
prof. Ing. Pavel Přibyl, CSc.; doc. Ing. Vít Fábera, Ph.D.; Ing. Bc. Vladimír Faltus, Ph.D.; doc. Ing. Lukáš Týfa, Ph.D.
Publikováno:
2013, Communications - Scientific Letters of the University of Žilina, 15 (2A), p. 89-95), ISSN 1335-4205
Anotace:
This paper describes a way to better navigate in an ever increasing number of standards in the field of ITS. Short overview about fundamental ITS models is presented, the principles of related knowledge system is described. Ontology approach is used, especially as domain-oriented ITS ontology, where a new hybrid method is explained.
DOI:
Typ:
Článek v periodiku excerpovaném databází Scopus

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Stambolidis, M.
Publikováno:
2013, Proceedings of MAC - TLIT 2013, Praha, Mag Consulting), ISBN 978-80-905442-0-8
Anotace:
A modern way of solving logistics problems is using some evolutionary techniques such as genetic algorithm. The best known logistic problems are TSP (Traveler Salesman Problem) and VRP (Vehicle Routing Problem). There are many experiments and approaches when genetic algorithms are applied to solve these problems. Genetic algorithms use two basic operators: crossover and mutation. Number of variations of crossover operators are known in genetic algorithm and a special ERX (Edge Recombination Crossover) was developed for this problem [1][2][4]. Classical TSP and VRP try to find an optimal solution by minimization of the length of travelling distances. In this paper, the fitness function contains time constrain as a criterion except of travelling distance. The fitness function is multidimensional and the lexicographical order is defined. Experiments showed that it is very useful to change the priorities of parts of fitness, especially when time constrain is not performable. This paper is based on the BS thesis [3] submitted to the Department of Informatics and Telecommunications, Faculty of Transportation Sciences, Czech Technical University in Prague.
Typ:
Stať ve sborníku z mezinár. konf. cizojazyčně

Autoři:
doc. Ing. Martin Leso, Ph.D.; doc. Ing. Vít Fábera, Ph.D.; Ing. Jindřich Sadil, Ph.D.
Publikováno:
2013
Anotace:
Testování a měřeni elektronických kolejových obvodů KOA1 pro účely bezpečnostního posouzení v akreditované laboratoři
Typ:
Výzkumná zpráva v češtině

Autoři:
doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2013, International Journal of Computers and Communications, 7 (1), p. 13-17), ISSN 2074-1294
Anotace:
The paper presents theory of two FSMs that share internal states or input symbols. Modified definitions of FSMs are presented and two reciprocal meaningful transformations between the pair of FSMs sharing input symbols and the pair sharing internal states are constructed. Transformations are based on Mealy to Moore FSM and Moore to Mealy FSM transformations. Conditions of transformations are discussed and minimization of FSMs is shown. Practical aspects are discussed.
Typ:
Článek v odborném recenzovaném periodiku

Autoři:
prof. Ing. Pavel Přibyl, CSc.; doc. Ing. Vít Fábera, Ph.D.; Ing. Bc. Vladimír Faltus, Ph.D.; doc. Ing. Lukáš Týfa, Ph.D.
Publikováno:
2012, Proceedings of 9th International Conference Elektro 2012, Žilina, Žilinská universita, Elektrotechnická fakulta), p. 364-368), ISBN 978-1-4673-1179-3
Anotace:
This paper describes a way to better navigate in an ever increasing number of standards in the field of ITS. Short overview about fundamental ITS models is presented, the principle of related knowledge system is described. Ontology approach is used, especially as domain oriented ITS ontology, where a new hybrid method is explained.
DOI:
Typ:
Stať ve sborníku z mezinár. konf.

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Zelenka, J.; Jáneš, V.; doc. PhDr. Mária Jánešová, CSc.
Publikováno:
2012, Mendel 2012, Brno, VUT v Brně, Fakulta strojního inženýrství), p. 94-99), ISBN 978-80-214-4540-6, ISSN 1803-3814
Anotace:
Our FSM construction using genetic algorithm was presented in previous years. The algorithm was tested on several tasks. Some of them were very difficult for GA - tasks where FSMs recognize given subsequences in the serial bit sequences. Transition graphs of these FSMs contain trees as their sub-graphs. The last improvement of the algorithm uses a language representation of the FSM and the grammatical evolution. The FSM is described by switch command like in the C language. The syntax of the language is defined by context-free grammar. The FSM is coded by linear codon. A new criterion computing the count of loops was added to the fitness function. The improvement was verified on difficult problems by experiments.
Typ:
Stať ve sborníku z mezinár. konf. cizojazyčně

Autoři:
doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2012, LATEST TRENDS in INFORMATION TECHNOLOGY, Athens, WSEAS), p. 403-408), ISBN 978-1-61804-134-0, ISSN 1790-5109
Anotace:
The paper presents a concept of two FSMs sharing elements. Transformation of a pair of independent Mealy FSMs sharing input symbols to other pair of FSM with separated inputs and sharing internal states and back transformation are constructed. The concept of pairs of FSM that share some of their component was introduced in "Dynamics of System Alliances" project [6]. The transformation of FSMs sharing input symbols was already discussed in [6] but the back transformation has not been published yet. So, two types of reciprocal meaningful transformations are presented which are based on Mealy to Moore FSM and Moore to Mealy FSM transformations. Practical aspects are discussed.
Typ:
Stať ve sborníku z mezinár. konf.

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Zelenka, J.
Publikováno:
2011, Proceedings of 17th International Conference on Soft Computing (MENDEL 2011), Brno, VUT v Brně), p. 62-66), ISBN 978-80-214-4302-0, ISSN 1803-3814
Anotace:
Our approach to the FSM construction using genetic algorithm was presented in a several contributions. The FSM was represented by matrices. The one-point crossover operator mixed two matrices and the mutation changed one transition or output. Very difficult tasks were these ones where FSMs recognize given subsequences in the serial bit sequences. Transition graphs of these FSMs contained trees as their sub-graphs. The algorithm achieved certain fitness and then it stagnated on. We modified the mutation operator. We defined and computed the distance between two FSMs and we add the distance measurement into the mutation operator. Now the mutation changes the FSM so that the distance between the original FSM and mutated one is greater than predefined threshold.
Typ:
Stať ve sborníku z mezinár. konf. cizojazyčně

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Jáneš, V.; doc. PhDr. Mária Jánešová, CSc.; Pastor, O.
Publikováno:
2011, Proceedings of the Work in Progress Session - DSD 2011, Oulu, University of Oulu), p. 3-4), ISBN 978-3-902457-30-1
Anotace:
The paper describes the implementation of the MSC Decompression algorithm in the Microblaze Processor on FPGA.
Typ:
Stať ve sborníku z mezinár. konf.

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Zelenka, J.; Jáneš, V.; doc. PhDr. Mária Jánešová, CSc.
Publikováno:
2011, Neural Network World, 21 (4), p. 299-309), ISSN 1210-0552
Anotace:
This paper introduces a method how to transform one regular grammar to the second one. The transformation is based on regular grammar distance computation. Regular grammars are equivalent to finite states machines and they are represented by oriented graphs or by transition matrices, respectively. Thus, the regular grammar distance is defined analogously to the distance between two graphs. The distance is measured as the minimal count of elementary operations over the grammar which transform the first grammar to the second one. The distance is computed by searching an optimal mapping of non-terminal symbols of both grammars. The computation itself is done by the genetic algorithm because the exhaustive evaluation of mapping leads to combinatorial explosion. Transformation steps are derived from differences in matrices. Differences are identified during the computation of the distance.
Typ:
Článek v periodiku excerpovaném SCI Expanded

Autoři:
Ing. Vít Malinovský, Ph.D.; doc. Ing. Vít Fábera, Ph.D.; Malý, K.; Krušina, K.
Publikováno:
2011, ISBN 978-80-01-04745-3
Anotace:
Vysokoškolské skriptum určené zejména pro potřeby výuky stejnojmenného předmětu zařazeného do bakalářského studijního programu na FD ČVUT. Zabývá se problematikou informačního systému FD ČVUT, základy informatiky, číselnými soustavami, základy počítačového HW, algoritmizací úloh, programovacím jazykem Karel, tabulkovými procesory a specializovaným matematickým solverem SCILAB.
Typ:
Vysokoškolské skriptum v češtině

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Zelenka, J.
Publikováno:
2010, Mendel 2010, Brno, VUT v Brně), p. 86-90), ISBN 978-80-214-4120-0, ISSN 1803-3814
Anotace:
This article introduce the method how to compute regular grammars distances. Grammars are equivalent to finite states machines and they are represented by oriented graphs. Then the grammar distance is defined as graph distance between two graphs (finite state machines). The computation itself is done by the genetic algorithm because the exhaustive graph comparison leads to combinatorial explosion. The grammar transformation is based on optimal mapping nonterminal symbols which is a product of the distance computation. Transformation steps are given by differences identified during the distance computation.
Typ:
Stať ve sborníku z mezinár. konf. cizojazyčně

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Jáneš, V.; doc. PhDr. Mária Jánešová, CSc.
Publikováno:
2010, Proceedings of the Work in Progress Session SEAA 2010 and DSD 2010, Linz, Johannes Kepler University), p. 16-17), ISBN 978-3-902457-27-1
Anotace:
The structural distance between FSMs was defined and two GA algorithms were tested. The GA algorithm was tested on own benchmark consisting of 10 FSMs. The set of tasks contained both Mealy and Moore machines. The fitness function evaluates passing the training set.
Typ:
Stať ve sborníku z mezinár. konf.

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Jáneš, V.; doc. PhDr. Mária Jánešová, CSc.
Publikováno:
2010, Proceedings of CSE 2010 International Scientific Conference on Computer Science and Engineering, Košice, Technická Univerzita), p. 295-301), ISBN 978-80-8086-164-3
Anotace:
The paper defines distance between FSMs which were applied in the genetic algorithm testing its ability to create the specific transition graph. The distance computing by the genetic algorithm is introduced.
Typ:
Stať ve sborníku z mezinár. konf.

Autoři:
doc. Dr. Ing. Tomáš Brandejský; doc. Ing. Martin Leso, Ph.D.; doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2009, 17. medzinárodné sympózium "Zvyšovanie konkurencieschopnosti európského železničného systému" EURO - Žel 2009. Zborník prednášok, Žilina, Žilinská univerzita), p. 179-184), ISBN 978-80-554-0024-2
Anotace:
Příspěvek diskutuje možnosti a rizika aplikace nastupujících multi-core a multi-procesorových systémů nejen v oblasti extrémně výkonných systémů, ale již i v oblastech průmyslových řídících systémů a dokonce i v oblasti železniční zabezpečovací techniky. Jsou i představeny typické techniky, architektury, systémy a nástroje. Příspěvek se rovněž zamýšlí nad otázkou, zda můžeme tyto přístupy považovat za dostatečně ověřené pro použití v oblastech bezpečnostně kritických aplikací a systémů.
Typ:
Stať ve sborníku z lokální konf. česky

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Krušina, K.; Ing. Vít Malinovský, Ph.D.
Publikováno:
2009, ISBN 978-80-01-04451-3
Anotace:
Učebnice přináší množství řešených úloh z programování v jazyce C na zároveň také vývojové diagramy a teoretický výklad v přiměřeném rozsahu. Součástí publikace je i referenční příručka programovacího jazyka C.
Typ:
Vysokoškolská učebnice v češtině, aspoň 100 výtisků

Autoři:
prof. Ing. Zdeněk Votruba, CSc.; Novák, M.; doc. Dr. Ing. Tomáš Brandejský; doc. Ing. Vít Fábera, Ph.D.; doc. Ing. Petr Bouchner, Ph.D.; Zelenka, J.; Vysoký, P.; Ing. Zuzana Bělinová, Ph.D.; Ing. Jindřich Sadil, Ph.D.
Publikováno:
2009, ISBN 978-80-87136-08-9
Anotace:
The book summarizes the knowledge reached during 7 years of research in the area of system alliances, which originally has been spread in several research reports, conference presentations up to now. The field of system alliances is quite wide and to reach compact form of the text, the coordinators made necessary modifications of the individual contributions, which concern the following topics: Transformation of pair of FSMs sharing input symbols Sensitivity of Alliances Alliance approach to the driver-car simulator synthesis Hybrid intelligent vehicle architecture - Systems alliance approach Alliance and Information Power Time dynamics of system alliances Functional properties of system alliances Reliability aspects Prediction diagnostics in system alliances Models of mental alliances Problems of alliances in railway traction systems Identification of self-organizing alliances in car stream Multilingual approach to system alliances Alliances identification
Typ:
Jjiná kniha cizojazyčně

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Jáneš, V.; doc. PhDr. Mária Jánešová, CSc.
Publikováno:
2009, Proceedings of the Work in Progress Session SEAA 2009 and DSD 2009, Linz, J. Kepler University - FAW), p. 25-26), ISBN 978-3-902457-25-7
Anotace:
The transformation of a pair of FSMs with common inputs to the pair of FSMs having separated inputs and sharing internal state is presented. The effect is the coupling between FSMs wich is shifted from the outside of FSMs into inside. The disadvantage of the transformation is the growth of internal state number.
Typ:
Stať ve sborníku z mezinár. konf.

Autoři:
doc. Dr. Ing. Tomáš Brandejský; doc. Ing. Martin Leso, Ph.D.; doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2008, EURNEX Žel 2008, Žilina, Žilinská univerzita), p. 204-211), ISBN 978-80-8070-853-5
Anotace:
Příspěvek se zabývá.problémem nových HW a SW platforem a aplikací. Tyto nové platformy přinášejí neočekávané podobnosti návrhu HW a SW systémů. Řeší také staré problémy nedostatečného výkonu a spolehlivosti, na druhé straně přinášejí nová rizika a požadavky na životní cyklus, návrhový proces a nástroje.
Typ:
Stať ve sborníku z lokální konf. česky

Autoři:
doc. Ing. Vít Fábera, Ph.D.; doc. Ing. Petr Bouchner, Ph.D.
Publikováno:
2008, Driver Car Interaction & Interface 2008, Praha, AV ČR, Ústav informatiky), p. 42-48), ISBN 978-80-87136-04-1
Anotace:
The placement of elements on car dash-board, their size, color and etc. can affect the attention of drivers and the safety of traffic indirectly. Our paper presents an experiment to optimize the car cockpit with genetic algorithm. Several parameters as the distance between elements, angle of driver's view, time to touch of elements are coded as real-value chromosomes. Three types of fitness function are tested and the best one is selected by the human expert analysis.
Typ:
Stať ve sborníku z mezinár. konf. cizojazyčně

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Jáneš, V.; doc. PhDr. Mária Jánešová, CSc.
Publikováno:
2008, Computer Science and Engineering, Košice, Technická Univerzita), p. 77-82), ISBN 978-80-8086-092-9
Anotace:
The paper describes an extension of the traditional regular expressions to translation regular regular expressions to present Mealy FSMs (Finite State Machines)
Typ:
Stať ve sborníku z mezinár. konf.

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Jáneš, V.; doc. PhDr. Mária Jánešová, CSc.
Publikováno:
2008, Computer Science and Engineering, Košice, Technická Univerzita), p. 77-82), ISBN 978-80-8086-092-9
Anotace:
The paper describes an extension of the traditional regular expressions to the translation regular expressions to represent realy FS Ms (Finite State Mechines)
Typ:
Stať ve sborníku z mezinár. konf.

Autoři:
doc. Dr. Ing. Tomáš Brandejský; doc. Ing. Martin Leso, Ph.D.; doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2008, EURNEX Žel 2008, Žilina, Žilinská univerzita), p. 251-257), ISBN 978-80-8070-853-5
Anotace:
Příspěvek informuje o projektu klasifikace bezpečnostně kritických funkcí. Ve článku jsou diskutovány možné metody a metodologie klasifikace bezpečnostně kritických funkcí stejně jako potřeba a možné aplikace takové znalostní báze.
Typ:
Stať ve sborníku z lokální konf. česky

Autoři:
prof. MUDr. Josef Faber, DrSc.; Novák, M.; prof. Ing. Zdeněk Votruba, CSc.; prof. Dr. Ing. Miroslav Svítek, dr. h. c.; Kolda, T.; Sýkora, O.; doc. Ing. Tomáš Tichý, Ph.D., MBA; Svoboda, P.; Faber, V.; Ing. Jindřich Sadil, Ph.D.; Ing. Zuzana Bělinová, Ph.D.; doc. Ing. Vít Fábera, Ph.D.; doc. Ing. Martin Leso, Ph.D.
Publikováno:
2008, ISBN 978-80-7387-194-9
Anotace:
We present a certain explanatory, as yet non-systematic, vocabulary of "equivalent" notions taken fom neurosciences and cybernetics. Mutual stimulation is understood to mean not only modelling but also interdisciplinary stimulation and inspiration.
Typ:
Jjiná kniha cizojazyčně

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Jáneš, V.; doc. PhDr. Mária Jánešová, CSc.
Publikováno:
2008, Recognizing of Language by an Acceptor or a Petri Net, Linz, J. Kepler University - FAW), p. 23-24), ISBN 978-3-902457-20-3
Anotace:
The article describes translation regular expressions and their transformation to Finite State Machines CFSMs.
Typ:
Stať ve sborníku z mezinár. konf.

Autoři:
doc. Ing. Vít Fábera, Ph.D.; doc. PhDr. Mária Jánešová, CSc.
Publikováno:
2008, ISBN 978-3-902457-20-3
Typ:
Sborník z mezinár. konf.

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Jáneš, V.; doc. PhDr. Mária Jánešová, CSc.
Publikováno:
2007, Proceedings of the Work in Progress Session held in connection with the EUROMICRO Conferences SEAA and DSD 2007, Linz, Johannes Kepler University), p. 19-20), ISBN 978-3-902457-16-5
Anotace:
The FSM construct with standard genetic algorithm was presented. Genetic operators and a definition of a fitness function were introduced and primaty result were presented. The algorithm was tested on more examples
Typ:
Stať ve sborníku z prestižní konf.

Autoři:
prof. MUDr. Josef Faber, DrSc.; Novák, M.; doc. Ing. Tomáš Tichý, Ph.D., MBA; prof. Ing. Zdeněk Votruba, CSc.; Pilařová, L.; doc. Ing. Martin Leso, Ph.D.; Faber, V.; doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2007, 54. společný sjezd České a Slovenské společnosti klinické neurofyziologie, Praha, Česká společnost klinické neurofyziologie), p. 24-24), ISBN 978-80-254-0420-1
Anotace:
Transcranial Direct Current Stimulation (TDCS) Controlled by EEG Analysis and Psychotests
Typ:
Stať ve sborníku z mezinár. konf. cizojazyčně

Autoři:
doc. Ing. Vít Fábera, Ph.D.; doc. PhDr. Mária Jánešová, CSc.; Jáneš, V.
Publikováno:
2006, 9th Euromicro Conference on Digital System Design, Los Alamitos, IEEE Computer Society), p. 460-463), ISBN 0-7695-2609-8
Anotace:
The contribution describes experiments with a standard genetic algorithm on more general finite state machines. It compares simple GA eith those, where the mutation affected by the probability.
Typ:
Stať ve sborníku z mezinár. konf.

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Jáneš, V.; doc. PhDr. Mária Jánešová, CSc.
Publikováno:
2006, 9th Euromicro Conference on Digital System Design, Los Alamitos, IEEE Computer Society), p. 460-463), ISBN 0-7695-2609-8
Anotace:
The contribution describes experiments with a standard genetic algorithm on more general finite state machines. It compares simple GA with those, where the muta-tion affected by the probability.
Typ:
Stať ve sborníku z mezinár. konf.

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Jáneš, V.
Publikováno:
2006, Proceedings of Conference Electronic Computers and Informatics ECI 2006, Košice, Technická univerzita Košice, FEI TU, Katedra počítačov), p. 239-242), ISBN 80-8073-598-0
Anotace:
The possibility of use of genetic algoritm in optimal internal states encoding pro-blem was presented. FPGAs were considered as the target platform.The natural quality criterion is the number of occupied LUTs(Look-Up Table).
Typ:
Stať ve sborníku z mezinár. konf.

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Jáneš, V.
Publikováno:
2006, ISBN 80-8073-598-0
Typ:
Sborník z mezinár. konf.

Autoři:
doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2005, ISBN 80-01-03196-9
Anotace:
Skriptum seznamuje čtenáře se základy návrhu logických obvodů a architekturou počítačů.
Typ:
Vysokoškolské skriptum v češtině vyd. 2005

Autoři:
doc. Ing. Denisa Mocková, Ph.D.; doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2004, Věda o dopravě 2004, Praha, Vydavatelství ČVUT), p. 241-245), ISBN 80-01-03047-4
Anotace:
Definice genetických algoritmů aplikovaných v alokačně-lokačních úlohách-reprezentace jedince, kritérium kvality, fitness funkce a použití genetických operátorů
Typ:
Stať ve sborníku z lokální konf. česky

Autoři:
doc. Ing. Vít Fábera, Ph.D.; doc. Ing. Denisa Mocková, Ph.D.
Publikováno:
2004, Věda o dopravě 2004, Praha, Vydavatelství ČVUT), p. 241-246), ISBN 80-01-03047-4
Anotace:
Příspěvek se zabývá aplikací genetického algoritmu při hledání optima lokační úlohy.
Typ:
Stať ve sborníku z lokální konf. česky

Autoři:
doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2004, Proceedings of the Sixth International Scientific Conference Electronic Computers and Informatics ECI 2004, Košice, Department of Computers and Informatics of FEI, Technical University Košice), p. 164-169), ISBN 80-8073-150-0
Anotace:
The contribution describes the first attempt to search internal state encoding with genetic algorithm.
Typ:
Stať ve sborníku z mezinár. konf.

Autoři:
doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2004, Informatika a informačné technológie 2004, Banská Bystrica, Univerzita Mateja Bela), p. 50-55), ISBN 80-8083-017-7
Anotace:
The contribution describes genetic algorithm for a solving of "criss-cross" crossword.
Typ:
Stať ve sborníku z lokální konf. česky

Autoři:
doc. Ing. Vít Fábera, Ph.D.; doc. Ing. Martin Leso, Ph.D.; Ing. Ivan Poláček
Publikováno:
2004, Věda o dopravě 2004, Praha, Vydavatelství ČVUT), p. 329-331), ISBN 80-01-03047-4
Anotace:
Laboratoř spolehlivosti systémů FD ČVUT se zabývá řešením problematiky spolehlivosti a bezpečnosti dopravních systémů, zejména železničních zabezpečovacích systémů.
Typ:
Stať ve sborníku z lokální konf. česky

Autoři:
doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2004, Věda o dopravě 2004, Praha, Vydavatelství ČVUT), p. 329-331), ISBN 80-01-03047-4
Anotace:
Příspěvek představuje Zkušební laboratoř Fakulty dopravní.
Typ:
Stať ve sborníku z lokální konf. česky

Autoři:
Vysoký, P.; Malý, K.; doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2003
Anotace:
Tento studijní text seznamuje studenty se základy elektrotechniky a elektroniky.
Typ:
Vysokoškolské skriptum v češtině

Autoři:
doc. Ing. Vít Fábera, Ph.D.; doc. Ing. Martin Leso, Ph.D.; prof. Ing. Zdeněk Votruba, CSc.
Publikováno:
2002, AUTOS 2002, Praha, České vysoké učení technické v Praze, Fakulta dopravní), p. 44-51), ISSN 1213-8134
Anotace:
V příspěvku se srovnávají základní vlastnosti obvyklého způsobu realizace prováděcí úrovně zabezpečovacích zařízení na základě mikroprocesorové techniky s alternativním způsobem vycházejícím z programovatelných hradlových polí FPGA.
Typ:
Stať ve sborníku z lokální konf. česky

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Jáneš, V.
Publikováno:
2002, Proceedings of the Fifth International Scientific Conference - Electronic Computers and Informatics 2002, Košice, Vienala), p. 116-120), ISBN 80-7099-879-2
Anotace:
Problematika SW JPAG Communicator
Typ:
Stať ve sborníku z mezinár. konf.

Autoři:
Jáneš, V.; doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2002, Proceedings of the Fifth International Scientific Conference - Electronic Computers and Informatics 2002, Košice, Vienala), p. 121-128), ISBN 80-7099-879-2
Anotace:
Problematika modelování mikroprogramovacího ovládacího prvku
Typ:
Stať ve sborníku z mezinár. konf.

Autoři:
Jáneš, V.; doc. Ing. Vít Fábera, Ph.D.
Publikováno:
2001, Proceedings of the Computer Science Education Workshop 2001, Košice, Department of Computers and Informatics of FEI, Technical University Košice), p. 157-161), ISBN 80-7099-705-2
Typ:
Stať ve sborníku z mezinár. konf. česky

Autoři:
doc. Ing. Vít Fábera, Ph.D.; Jáneš, V.
Publikováno:
2001, CSEW 2001, Košice, SCECI), p. 20-25)
Anotace:
Příspěvek se zabývá návrhem dalšího doplňkového modulu pro demonstrační desky s FPGA, a to modulu s D/A převodníkem. Modul bude sloužit ve výuce jako ukázková aplikace ve formě testeru pro ovládání VGA monitoru. Poslouží též jako základ při vývoji zobrazovací jednotky zabezpečovacích železničních systémů na FD ČVUT.
Typ:
Stať ve sborníku z mezinár. konf. česky

Autoři:
Jáneš, V.; doc. Ing. Vít Fábera, Ph.D.; Šlosárek, D.
Publikováno:
2001, Sdělovací technika, 49 (1), p. 12-15), ISSN 0036-9942
Typ:
Článek v odborném nerecenzovaném periodiku česky