Usage simulation methods for education

The paper deals with usage of computer simulation methods for education at Department of Electrical and Electronic Engineering and Signaling in Transport, Jan Perner Transport Faculty, University of Pardubice. Current situation of railway technics is very complicated and sophisticated both from viewpoint of railway infrastructure and from viewpoint of transport means. The particular parts of system are necessary to be analyzed from viewpoint of their behaviour and from viewpoint of influence to surrounding parts of the whole system. Therefore students as future railway experts must be trained for ability of problem identification and suitable design of problem solution. This readiness of experts for real operation of these devices is one of the main goals of lecturers from the mentioned department

Utilisation of recycling machines in complex approach to waste treatment

Tato práce má za úkol popsat a zhodnotit současný stav odpadového hospodářství, jak v ČR, tak komplexně v porovnání s EU. Jedním z jejich cílů je také poukázat na stále se zvyšující množství odpadů, které lidé neustále produkují. Analyzuje též podstatu v oblasti plánování, budoucího zpracování a využití odpadových surovin. Dále se zabývá konkrétními případy v systému nakládání s odpady u námi zvoleného podnikatelského subjektu a přehledem techniky včetně technických parametrů, kterou tento subjekt v současné době disponuje.The purpose of the thesis is to describe and evaluate a contemporary state of waste management in the Czech Republic in comparison with European Union. One of its goals is to point out permanently increasing amount of waste, which is produced by people. It also analyzes the principle in the area of planning, future processing and utilization of waste material. Then it deals with the specific cases in the waste management system of entrepreneurial entity that was chosen by us, and with the machines including their technical parameters, which this entity disposes at present period with.

The algorithm by Ferson et al. is surprisingly fast: An NP-hard optimization problem solvable in almost linear time with high probability

We start with the algorithm of Ferson et al. (\emph{Reliable computing} {\bf 11}(3), p.~207--233, 2005), designed for solving a certain NP-hard problem motivated by robust statistics. First, we propose an efficient implementation of the algorithm and improve its complexity bound to $O(n \log n+n\cdot 2^\omega)$, where $\omega$ is the clique number in a certain intersection graph. Then we treat input data as random variables (as it is usual in statistics) and introduce a natural probabilistic data generating model. On average, we get $2^\omega = O(n^{1/\log\log n})$ and $\omega = O(\log n / \log\log n)$. This results in average computing time $O(n^{1+\epsilon})$ for $\epsilon > 0$ arbitrarily small, which may be considered as ``surprisingly good'' average time complexity for solving an NP-hard problem. Moreover, we prove the following tail bound on the distribution of computation time: ``hard'' instances, forcing the algorithm to compute in time $2^{\Omega(n)}$, occur rarely, with probability tending to zero faster than exponentially with $n \rightarrow \infty$

Incumbents' Strategies in Media Coverage: A Case of the Czech Coal Policy

Transitioning to a decarbonized economy is a crucial part of climate change mitigation, with the phasing-out of coal, as the most significant source of carbon dioxide emissions, being the centerpiece of this effort. In the European context, the increasing pressures exerted especially on the basis of the European Union’s energy and climate policy, coupled with the inherent uncertainty of the transition process, encourage various struggles among the involved policy actors over the setting of specific transition pathways. One site of such contestation is media discourse, which may facilitate or limit policy change through agenda-setting, framing, and other processes. Importantly, discursive struggles also include industry incumbents, who have a vested interest in preserving the existing sociotechnical regime. This article focuses on the position of incumbents in terms of their relationship with governing political parties and the discursive strategies they employ. It explores the policy debate on coal mining expansion which took place in 2015 in the Czech Republic, a post-communist country with a coal-dependent economy, a skeptical position on energy transition, and a powerful energy industry. The research employs discourse network analysis to examine a corpus compiled from daily newspapers and applies block modeling techniques to analyze patterns of relationships within and between actor groups. The results show that incumbents successfully prevented policy change in the direction of rapid coal phase-out by exploiting discourse alignment with governing parties and efficiently employing discursive strategies based primarily on securitization of socioeconomic issues

State Space Symmetry Reduction for TBP Analysis

Threaded Behavior Protocols (TBP) je specifikační jazyk pro modelování chování softwarových komponent. Tato práce se zaměřuje na analýzu TBP specifikací v rámci prostředí, která obsahují neomezené množšví replikovaných vláken. Takové specifikace spolu s modely možných prostředí způsobí nekonečnost stavového prostoru analýzy, který obsahuje velké množství symetrií, způsobených replikací vláken. V práci je navžena technika analýzy takových modelů, která redukuje symetrie s použitím abstrakce zvané Symbolic Counter Abstraction. Pro její použití je však nutné převést vlastnosti modelu na problém dosažitelnosti stavů vláken. Navrhovaná technika je bezpečná ve smyslu odhalení všech chyb v modelu. Na druhou stranu může způsobovat tzv. spurious erros, tj. chyby které neodpovídají skutečným chybám v modelu. Tyto chyby jsou v práci dobře identifikovány a dále jsou nastíněny způsoby jejich redukce. Práce navíc může představovat malý krok směrem k podpoře dynamického vytváření vláken v TBP specifikacích.Threaded Behavioral Protocols (TBP) is a specification language for modelling the behavior of software components. This thesis aims at an analysis of TBP specifications within environments which involve an unbounded replication of threads. Such a TBP specification - together with a model of the possible environments - induces infinite state space which contains a vast amount of symmetries caused by thread replication. A model checking technique addressing such a state space and reducing the symmetries by using symbolic counter abstraction is proposed. In order to utilize the symbolic counter abstraction, the properties of the TBP specifications (called provisions) are converted into thread state reachability properties. The proposed analysis is safe in the sense that it discovers all errors in the model. On the other hand, it may yield spurious errors, i.e., errors that do not correspond to any real error in the model. The spurious errors are well identified and further possibilities to reduce them are outlined. Beyond the scope of the specific specifications, this work may also present a small step towards supporting dynamic thread creation in TBP.Department of Software EngineeringKatedra softwarového inženýrstvíFaculty of Mathematics and PhysicsMatematicko-fyzikální fakult

Cascade Effect Spread Caused by Failures of the Critical Information Infrastructure

Cíl práce: Cílem diplomové práce je vytvoření strukturální mapy vazeb a intenzity šíření kaskádního efektu způsobeného výpadkem vybraného prvku informačních a komunikačních technologií v systému kritické infrastruktury. Charakteristika práce: Práce je zaměřena na výzkum šíření kaskádního efektu způsobeného výpadkem vybraných prvků informačních a komunikačních technologií v systému kritické infrastruktury. V práci bude provedena deskripce národního systému kritické infrastruktury a prvků národní informační kritické infrastruktury. Následně bude provedena analýza dopadů selhání vybraného prvku informačních a komunikačních technologií na závislé prvky kritické infrastruktury. Tato analýza bude zaměřena na určení vazeb a intenzity šíření. V závěru bude vytvořena strukturální mapa šíření kaskádního efektu způsobeného výpadkem vybraného prvku informačních a komunikačních technologií v systému kritické infrastrukturyThe aim of the work: The aim of the thesis is to create a structural map of the bonds and the intensity of the cascade effect propagation due to the failure of a selected element of information and communication technologies in a critical system infrastructure. Characteristics of work: The work is focused on the research of cascade effect propagation caused by failure of selected elements information and communication technologies in a critical infrastructure system. The work will be done the description of the national critical infrastructure system and the elements of the national information critical infrastructure. Subsequently, the impact analysis of the failure of the selected information and communication element will be analyzed technologies to dependent elements of critical infrastructure. This analysis will focus on identifying links and dissemination intensity. At the end, a structural map of cascade effect propagation will be created failure of a selected element of information and communication technologies in a critical infrastructure system050 - Katedra ochrany obyvatelstvadobř

The Impact of Money Supply on Development of the US Stock Market

Tato bakalářská práce se zabývá zjištěním vlivu změn peněžní nabídky na růst akciového trhu ve Spojených státech amerických v období od roku 2000 do roku 2022. Konkrétně se zaměřuje na změny peněžních agregátů M1, M2 a M1CD a akciové indexy Dow Jones Industrial Average, NASDAQ Composite a NASDAQ 100. Tato bakalářská práce je rozdělena do tří kapitol. První kapitole je teoretická a zabývá se definicí peněz, peněžních agregátů, akciového trhu a vybraných akciových indexů. Součástí první kapitoly je taktéž shrnutí dosavadních empirických výzkumů na toto téma. Druhá kapitola se věnuje vývoji zkoumaných proměnných. Ve třetí kapitole se nachází shrnutí výsledků vzájemných korelací zkoumaných proměnných. A to za využití Pearsonova korelačního koeficientu a lineárního regresního modelu. Všechna tato měření byla provedena pro období od roku 2000 až do roku 2022. Z výsledků vyplývá, že ačkoliv mezi sebou zkoumané proměnné korelují, tak se jedná pouze o slabé korelace. Odhady koeficientů determinace dokazují, že tento model má slabou vysvětlující schopnost.This bachelor thesis investigates the impact of changes in the money supply on the growth of the stock market in the United States from 2000 to 2022. Specifically, it focuses on changes in monetary aggregates M1, M2, and M1CD and stock indices Dow Jones Industrial Average, NASDAQ Composite, and NASDAQ 100. The thesis is divided into three chapters. The first chapter is theoretical and deals with the definition of money, monetary aggregates, the stock market, and selected stock indices. The first chapter also includes a summary of previous empirical research on this topic. The second chapter is devoted to the development of the studied variables. The third chapter contains a summary of the results of mutual correlations of the studied variables, using Pearson's correlation coefficient and a linear regression model. All these measurements were carried out for the period from 2000 to 2022. The results show that although the studied variables correlate with each other, these are only weak correlations. Estimates of the coefficients of determination prove that this model has weak explanatory power.114 - Katedra ekonomievýborn

Signalizační působení adenylát-cyklázového toxinu na fagocyty

Adenylát-cyklázový toxin (CyaA) je klíčovým faktorem virulence bakterie Bordetella pertussis. CyaA se váže na fagocyty produkující komplementový receptor 3 (CR3) a následně katalyzuje přeměnu vnitrobuněčného ATP na významného "druhého posla" cAMP. Tímto paralyzuje schopnost neutrofilů a makrofágů zabíjet bakterie pomocí oxidativního vzplanutí a mechanismů závislých na fagocytóze. V této práci analyzujeme mechanismus, kterým CyaA blokuje produkci baktericidních reaktivních kyslíkových a dusíkových radikálů neutrofily a makrofágy. CyaA potlačuje produkci reaktivních kyslíkových radikálů (ROS, z angl. "reactive oxygen species") jednak prostřednictvím inhibice PLC přes PKA a dále nejspíše ovlivněním skládání komplexu NADPH oxidázy prostřednictvím aktivace proteinu Epac. Selektivní aktivace PKA nebo Epac blokovala produkci ROS indukovanou fMLP. Inhibice PKA pomocí specifických inhibitorů navíc vedla jen k částečnému obnovení produkce ROS u neutrofilů vystavených CyaA. Signalizace CyaA/cAMP následně omezila tvorbu DAG, zatímco tvorba PIP3 zůstala neovlivněna. Tyto výsledky naznačují, že působení CyaA může ovlivnit lipidické složení membrány fagocytů. Dále jsme ukázali, že aktivace PKA pomocí cAMP vyvolává aktivaci tyrozínové fosfatázy SHP-1. To v makrofázích způsobí potlačení produkce reaktivních...The adenylate cyclase toxin (CyaA) plays a key role in the virulence of Bordetella pertussis. CyaA penetrates CR3-expressing phagocytes and catalyzes the uncontrolled conversion of cytosolic ATP to the key second messenger molecule cAMP. This paralyzes the capacity of neutrophils and macrophages to kill bacteria by oxidative burst and opsonophagocytic mechanisms. Here we show that CyaA suppresses the production of bactericidal reactive oxygen and nitrogen species in neutrophils and macrophages, respectively. The inhibition of reactive oxygen species (ROS) production is most-likely achieved by the combined PKA-dependent inhibition of PLC and Epac-dependent dysregulation of NADPH oxidase assembly. Activation of PKA or Epac interfered with fMLP-induced ROS production and the inhibition of PKA partially reversed the CyaA-mediated inhibition of ROS production. CyaA/cAMP signaling then inhibited DAG formation, while the PIP3 formation was not influenced. These results suggest that cAMP produced by CyaA influences the composition of target membranes. We further show here that cAMP signaling through the PKA pathway activates the tyrosine phosphatase SHP-1 and suppresses the production of reactive nitrogen species (RNS) in macrophages. Selective activation of PKA interfered with LPS- induced iNOS expression...Katedra genetiky a mikrobiologieDepartment of Genetics and MicrobiologyFaculty of SciencePřírodovědecká fakult

Information System Assessment and Proposal for ICT Modification

Tato práce je zaměřena na posouzení informačního systému společnosti a jeho řízení. Toto posouzení je zpracováno na základě analýz efektivnosti a vyladěnosti jednotlivých částí informačního systému. Výsledky těchto analýz slouží jako podklad pro návrhovou část práce, která je zaměřena na potlačení identifikovaných slabých míst v informačním systému a prosazení těchto změn ve společnostiThe thesis is focused on an information system and management assessment of a company. This review is written up on the basis of analysis of the efficiency and the equitability of an individual information system's dimensions. Results of these analysis were later determined as a foundations for a practical part of the thesis which is focused on a suppression of identified issues of the information system and its management and on an enforcement of these improvements in the company.

Analysis and Design an Information System for Elegis s.r.o.

Tato práce obsahuje analýzu procesů společnosti, jimi kladené nároky na funkční podporu informačním systémem a analýzu současného stavu informačního systému. Na základě těchto analýz jsou zde navrhovány změny v procesech a jednotlivých subsystémech informačního systému pro zefektivnění činnosti společnosti.This work includes analysis of company processes, their demands on operational support by information system and analysis of current condition of information system. Based on this analysis, there are also several adjustments in processes and information system designed to make company work more efficient.