Lidé na fakultě
doc. Ing. Vít Fábera, Ph.D.

2023, New Technology and Logistics on the Railway, Prague, ACTA Polytechnica CTU), p. 1-5), ISBN 978-80-01-07257-8, ISSN 2336-5382

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.

Stať ve sborníku z prestižní konf. (Scopus)

2022, ISBN 978-80-01-07105-2, ISSN 2336-5382

Sborník z mezinár. konf. cizojazyčně

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

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.

Stať ve sborníku z prestižní konf. (Scopus)

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

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.

Kapitola v knize s nadnárodní působností

2021, Neural Network World, 31 (3), p. 173-189), ISSN 1210-0552

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.

Článek v periodiku excerpovaném SCI Expanded

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

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.

Kapitola v jiné knize

2020, Proceedings of the SOFSEM 2020 Doctoral Student Research Forum, Aachen, CEUR Workshop Proceedings), p. 25-36), ISSN 1613-0073

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.

Stať ve sborníku z prestižní konf. (Scopus)

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

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.

Kapitola v jiné knize

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

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.

Stať ve sborníku z prestižní konf. (Scopus)

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

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.

Stať ve sborníku z prestižní konf. (Scopus)

2019, 2019 Konference - 25 let Fakulty dopravní, Praha, České vysoké učení technické v Praze), ISBN 978-80-01-06545-7

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.

Stať ve sborníku z fakultní konference česky

2018, 2018 Smart City Symposium Prague, New York, IEEE Press), p. 140-143), ISBN 978-1-5386-5017-2

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.

Stať ve sborníku z prestižní konf.

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

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.

Stať ve sborníku z mezinár. konf. cizojazyčně

2017, Modernization of Railway- IRICoN 2017, Praha, Česká technika - nakladatelství ČVUT), p. 6-7), ISBN 978-80-01-06140-4, ISSN 2336-5382

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.

Abstrakt ve sborníku z fakultní konference cizojazyčně

2017, Proceedings of AC 2017, Praha, MAC Prague consulting, s.r.o.), p. 347-355), ISBN 978-80-88085-15-7

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.

Stať ve sborníku z mezinár. konf. cizojazyčně

2017, Modernization of Railway- IRICoN 2017, Praha, Česká technika - nakladatelství ČVUT), p. 8-9), ISBN 978-80-01-06140-4, ISSN 2336-5382

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).

Abstrakt ve sborníku z fakultní konference cizojazyčně

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

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.

Stať ve sborníku z mezinár. konf. cizojazyčně

2017, Neural Network World, 27 (6), p. 541-555), ISSN 1210-0552

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.

Článek v periodiku excerpovaném SCI Expanded