A NEW APPROACH TO RISK ASSESSMENT BASED ON THE SEMANTIC VALUE OF EXPRESSIONS

The framework takes into account non-quantifiable decision variables and dilemmas, and uncertainties related to input data. The RISKMAN model scheme consists of process description and a range of suggested evaluation criteria as well as guidelines on how is possible to perform the evaluation. In addition to guidelines on prioritizing and evaluating the different criteria, the interpretation and use of the numerical results is discussed. The framework also shows the follow-up management strategies based on the outcome of the evaluation. In short, it describes a possible way of following up the output of security risk assessments and the identified size of security risks. It involves different stakeholders and offers a transparent process for prioritizing, and finally, selecting security measures. In its simplest form, the whole evaluation should be conducted by security experts within the decision making procedures, making qualitative assessments according the offered criteria. This can be necessary as a first screening for choosing capacities for further decisions. The use of and the strengths and weaknesses of the framework should be pre-tested within the stage of planning process and simulation of predictable threats

Laboratory device focused on the switched capacitor circuits

Tato diplomová práce je zaměřena na důkladné seznámení se s principy funkce obvodů se spínanými kapacitory (SC-Switched Capacitor) a s možností jejich aplikace převážně v kmitočtových filtrech, popř. generátorech signálů. Úvodem práce je pojednáno o historii vzniku a prvních zmínkách obvodů se spínanými kapacitory. Jsou zde uvedeny odkazy na první vědecké práce a vědce, kteří se touto problematikou zaobírali. Blíže je rozebrána prvotní Maxwellova myšlenka nahrazení ztrátového prvku (rezistoru) v elektrickém obvodu bezeztrátovým prvkem (spínaným kapacitorem). V další kapitole této práce jsou uvedeny druhy spínání kondenzátorů a jejich využití v jednoduchých RC filtrech, v konstrukcích invertujících nebo neinvertujích integrátorů a jejich uplatnění v složitějších filtrech vyšších řádů. Zmíněny jsou i jejich výhody a nevýhody oproti obvodům složených výhradně z diskrétních součástek. Jako velmi elementární zapojení je zmíněna spínaná dolní propust realizovaná analogovým multiplexerem 4053. Dále pak pomocí integrovaného obvodu LTC1043, jehož struktura a vlastnosti jsou v práci detailně rozebrány a popsány, byly navrženy a následně odsimulovány v programu OrCAD PSpice v.10 jednoduché filtry 1. řádů: pasivní RC dolní, horní propust a zapojení invertujícího a neinvertujícího integrátoru. Další kapitola se zabývá IO filtry vyšších řádů a blíže je v ní rozebrána struktura a vlastnosti integrovaného filtru LTC1060. Kromě tohoto IO jsou zde uvedeny další méně komerčně dostupné integrované filtry od společností Linear Technology a MAXIM. Hlavním cílem diplomové práce bylo navrhnout laboratorní přípravek a sestavit laboratorní úlohu zaměřenou na obvody se spínanými kapacitory. Laboratorní přípravek byl navržen s integrovanými obvody LTC1043 a LTC1060, pomocí kterých jsou demonstrovány: pasivní a aktivní integrátor, pásmová propust 2. řádu a pásmová propust 4. řádu s Chebyshevovou aproximací.This Master`s thesis is focused on through acquaintance of principles of the function circuits with switched capaticors and posibility of their application mainly in frequency filters or signal generators. The origin of the switched capacitor circuits is mentioned at the beginning of the work. There are references to the first scientific work and scientists who have dealt with this issue. Maxwell`s idea: lossy element (resistor) replace with lossless element (switched capacitor) in electric circuit, is further described. In the next chapter of this work are listed types of switching capacitors and their use in simple RC filters and in structures of inverted or noninverted integrators and their application in more complex higher order filters. The advantages and disadvantages of SC circuits versus circuit composed of discrete components are shown. It is also listed a simple low-pass switched RC filter implemented with analogue multiplexer 4053. Using the LTC1043 integrated circuit, which structure and properties are described and analyzed in detail in the work, the 1st order aktive or pasive low and high pass filters were designed and subsequently simulated in the computer simulator OrCAD PSpice v.10. Another chapter deals with the integrated circuits higher order filters, structure and properties of the integrated filter LTC1060 are further analyzed here. Except this IC there are mentioned integrated filters commercially less available from the corporations Linear Technology and Maxim. The main objective of thesis was to propose and establish laboratory device and laboratory measurment focused on the switched capacitor circuits. The laboratory device has been designed with integrated circuits LTC1043 and LTC1060, which is demonstrated by using passive and active integrator, 2nd order band-pass and 4th order band-pass with Chebyshevovou approximation.

Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report)

We present a novel gray-box fuzzing algorithm monitoring executions of instructions converting numerical values to Boolean ones. An important class of such instructions evaluate predicates, e.g., *cmp in LLVM. That alone allows us to infer the input dependency (c.f. the taint analysis) during the fuzzing on-the-fly with reasonable accuracy, which in turn enables an effective use of the gradient descent on these instructions (to invert the result of their evaluation). Although the fuzzing attempts to maximize the coverage of the instructions, there is an interesting correlation with the standard branch coverage, which we are able to achieve indirectly. The evaluation on Test-Comp 2023 benchmarks shows that our approach, despite being a pure gray-box fuzzing, is able to compete with the leading tools in the competition, which combine fuzzing with other powerful techniques like model checking, symbolic execution, or abstract interpretation.Comment: 37 page

Use of Explosive Substances by the Fire and Rescue Service of the Czech Republic for Intervention in an Extraordinary Event

Import 03/08/2012Práce se zabývá použitím výbušnin u HZS ČR. První část práce je věnována základní teorii výbušnin a účinkům výbuchu. Následuje rozbor právních předpisů umožňujících používání výbušnin příslušníky HZS ČR a porovnání problematiky se zahraničím. Dále jsou uvedeny struktura a současný stav trhacích prací u HZS ČR a informace týkající se oprávnění střelmistra. Práce obsahuje základní informace o nakládání s výbušninami, možné použití výbušnin a používané prostředky HZS ČR pro trhací práce. Součástí práce je dotazníkový průzkum a informační materiál pro příslušníky HZS ČR ve formě Konspektu odborné přípravy.This diploma thesis deals with the Use of Explosive Substances by the Fire and Rescue Service of the Czech Republic. First part is interested in basic theory of explosives and explosive effects. The following is an analysis of legislation with allowing the use of explosives by Fire and Rescue Service and comparison with other countries issues. The structure and current status of blasting by the Fire and Rescue Service and permission blaster are discussed. The work includes basic information about the handling of explosives, the possible use of explosives and equipment used by Fire and Rescue Service for blasting. The questionnaire survey and information materials in the form of conspectus training for members of Fire and Rescue Service, is part of the work.Prezenční030 - Katedra požární ochranyvelmi dobř

Communication in the Environment of International Rescue Operations

Import 29/09/2010Práce se zabývá mechanismem mezinárodních záchranných operací se zaměřením na komunikaci a způsoby zapojení České republiky do těchto operací. Popisuje jednotlivé způsoby komunikace a možnosti jejich zajištění. Práce obsahuje principy komunikačních systémů, především satelitní komunikační systémy, GSM telefony, radiostanice a GPS. Práce charakterizuje požadavky a způsoby zajištění komunikace záchranného týmu se zaměřením na české USAR odřady.This thesis examines international rescue operations with a focus on communication and the aspect of Czech participation in these operations. It desribes particular ways of communication and possibilities of their application. The thesis also contains principles of communication systems, especially satellite communication systems, GSM phones, radio stations and GPS. The thesis describes the demands and the ways of covering rescue teams´ communication needs with a focus on the Czech USAR teams.Prezenční030 - Katedra požární ochrany a ochrany obyvatelstvavýborn