|
Combining temporal logic and behavior protocols
Mandys, Petr ; Kofroň, Jan (oponent) ; Adámek, Jiří (vedoucí práce)
V této diplomové práci se zabýváme jednou ze slabin temporální logiky - obtížnou čitelností temporálních formulí popisujících komplexní vlastnosti. Představíme novou temporální logiku "BP-CTL", která vychází z Computational Tree Logic (CTL) a rozšiřuje ji o operátory zčásti převzaté z behaviorálních protokol (BP) a zčásti nově definované. Text práce je rozdělen do několika částí. Nejprve seznámíme čtenáře s širším kontextem problému, kterým se zabýváme. Dále popíšeme nové operátory a ukážeme jejich použítí na malých příkladech. Poté formálně zadefinujeme výsledný jazyk (BP-CTL). V další části dokážeme použitelnost BP-CTL v praxi a představíme nástroj, nazvaný bpctl, pro ověřování vlastností zapsaných pomocí BP-CTL. Na závěr zhodnotíme a shrneme naši práci. Text je dále doplněn o dodatky obsahující detailní popis použitých formalizmů, mapovací tabulky paternů shromážděných v rámci projektu Property Specification Patterns pro BP-CTL a uživatelský manuál bpctl.
|
|
Domov pro seniory
Knapčíková, Šárka ; Bartolšicová, Eva (oponent) ; Matějka, Libor (vedoucí práce)
Předmětem diplomové práce je vypracování projektové dokumentace k provedení novostavby domova pro seniory. Objekt je samostatně stojící a je zasazen do svažitého terénu v katastrálním území Smíchov v městské části Praha 5. Tato novostavba je určená k trvalému bydlení pro osoby v důchodovém věku s dobrou úrovní jejich schopnosti plnit běžné denní úkony a postarat se o sebe, ale také pro osoby bez schopnosti tyto běžné denní úkony plnit. Domov pro seniory nabízí celkem 40 lůžek v jednolůžkových až dvoulůžkových pokojích. Budova má tři nadzemní a jedno podzemní podlaží. V celé budově se předpokládá pohyb osob s omezenou schopností pohybu a orientace. Vstup do první funkční části je situovaný na severní straně domova. Tvoří ji recepce a jednotlivé podlaží s pokoji. V domově pro seniory se nachází 30 pokojů s vlastním sociálním zařízením. Druhá funkční část pro provoz domova se nachází v suterénním podlaží, vstup do ní je možný z jihu a nebo schodištěm či výtahy z prvního nadzemního podlaží. Všechy podlaží jsou propojeny 2 schodišti a 3 výtahy. Objekt je navržen ze systému Porotherm. Konstrukci střech tvoří jednoplášťová plochá střecha s klasickým pořadím vrstev, kombinovaná DUO a zelená extenzivní. Objekt je zateplen minerální vatou. Výkresová dokumentace potřebná pro realizaci domova pro seniory je zpracována včetně osmi konstrukčních detailů v počítačovém programu AutoCAD.
|
|
Indikace zemních spojení na venkovních vedeních
Pospíšil, Zdeněk ; Topolánek, David (oponent) ; Toman, Petr (vedoucí práce)
Tato diplomová práce se zabývá indikací a lokalizací zemních spojení na venkovních vedeních. Zemní spojení je nejčastěji se vyskytující typ poruchy na venkovních vedeních vysokého napětí – tvoří zhruba 95% všech poruch a je problematické jej současnými metodami správně a včas indikovat, lokalizovat. Proto je velmi důležité se zemnímu spojení a jeho indikaci, lokalizaci věnovat. Práce se skládá z teoretické a praktické části. Teoretická část se zabývá poruchami na venkovních sítích s různým typem uzlu, zejména pak spojením jedné fáze se zemí u soustavy kompenzované, izolované, účinně uzemněné a uzemněné přes uzlový odpor. Největší prostor je věnován spojení jedné fáze se zemí u soustav izolovaných a kompenzovaných, u kterých se tento typ poruchy nazývá zemním spojení. U kompenzované i izolované sítě je detailně popsáno chování – napěťové a proudové poměry během jak ustáleného, tak přechodného stavu zemního spojení. Teoretická část se dále věnuje metodám zjištění místa zemního spojení a předpokladům k jejich použití. Je zde detailně popsán celý proces zjištění místa zemního spojení, který se skládá z indikace, určení postiženého vývodu a lokalizace přesného místa nebo úseku vedení. Konec teoretické části je věnován stanovení požadavků na přesnost měření základních veličin a získávání dalších parametrů. Praktická část se zabývá prací s modelem části distribuční sítě vysokého napětí spočívající v seznámení se s modelem, detailním ověřením jeho funkčnosti a chování během zemního spojení, získání poruchových záznamů a algoritmizaci metod – metody qu - diagramu a metody první půlperiody ke zjištění postiženého vývodu. Tato část práce byla zpracovaná na základě požadavku firmy Mega, a.s., která chtěla ověřit funkčnost obou výše zmíněných a jimi doposud nevyzkoušených metod.
|
|
Intermitence factor evaluation by bypass boundary layer transition in flows on rough surface on flat plate
Skála, Vladislav ; Antoš, Pavel
Bypass boundary layer transition in flows on rough surface on flat plate was investigated experimentally. It was measuered cases with combination of roughness of surface by different free stream turbulence intenzity. Hot wire anemometry technique was used. Measuerement were made on flat plate in closed wind tunnel. Flat plate was covered by different roughness foils (sandpapers). Adverse pressure gradient was set by diffuser in tested section of wind tunnel. Grid turbulence of free stream was controlled by grid. Hot wire anemometry technique was used, intermitency factor was evaluated.
|
| |
|
Flow Parameters Simulation Technique in Annular Turbine Cascade INLET
Jelínek, T. ; Němec, M. ; Uruba, Václav
This article summarizes the concept of equipment which produces the required flow parameters at the inlet of annular turbine cascade. The investigation of inlet flow parameters - the boundary layer on hub and tip inlet channel end-walls and the inlet flow turbulence are part of a project intent on a flow in multistage steam turbine arrangement. This variable inlet can produce the laminar or turbulent boundary layer, respectively the laminar or fully turbulent velocity profile in the inlet channel. The change of inlet turbulence level is controlled by the grid. The detailed measurement of inlet flow: the turbulence and the total pressure distribution across the height of inlet channel were performed by HWA (hot wire anemometry) probe and by total pressure probe, respectively. The measurement results characterize the inlet flow for several inlet channel arrangements and are used for the experimental investigation of the flow field inside the stage and as the inlet parameters for CFD simulations.
|
|
Some results of simulations of flows with internal permeable walls
Louda, Petr
The work deals with the numerical modelling of compressible flow in a domain containing permeable walls in its interior, i.e. submerged in the fluid. The aim is to exclude direct simulation and find a model approximating the flow through a permeable plate driven by the static pressure difference between the sides of the wall. The numerical experiments so far enable to understand better forming of parasitic wave structures in the measuring section of the wind tunnel. The model of permeable wall needs further verification.
|
|
Development of Boundary Layer on a Heated Flat Plate
Antoš, Pavel ; Kuznetsov, Sergeii
An experimental study of boundary layer on a flat plate with heat transfer was done. Temperature and velocity boundary layer development was studied on a uniformly heated flat plate with zero pressure gradient by means of hot-wire anemometry. Several levels of heat flux at the wall were used. The difference between the wall temperature and free-stream temperature was set up to 180 K. Measurements were performed in the closed-circuit wind tunnel with zero pressure gradient at free-stream velocity of 3-5 m/s and turbulence intensity of 0.8 percent. The velocity and the temperature profiles of mean values and fluctuations are presented.
|
|
Kvalitativní a kvantitativní analýza jílových zemin
Šašek, Petr ; Viani, Alberto ; Mácová, Petra
Fázový přechod mezi ilitem a smektitem je důležitou mineralogickou reakcí, která se vyskytuje během diageneze půdních sedimentů. Jílové minerály ilit – smektit jsou všudypřítomné v sedimentárních pánvích a jsou spojeny se zráním, migrací a zachytáváním hydrogenuhličitanů, rozvojem chemismu pórovité vody a cementací hornin během diageneze a rozvoji pórovitých tlaků. I přes důležitost těchto minerálů je jejich struktura diskutabilní. Spojením vrstev oktaedrů a tetraedrů mohou vznikat různé typy vrstevnatých struktur, kdy v přírodě mohou takto vznikat různé typy jílových minerálů. Jílové minerály se dělí do třech hlavních skupin: skupina kaolinitu, smektitu a illitu. Cílem výzkumu bylo kvalifikovat a kvantifikovat jílové minerály ve vzorcích zemin a identifikovat neznámý minerál, který byl nalezen při průzkumných pracích. K analýzám bylo využito XRD, Ramanova spektrometrie a elektronový mikroskop.
|
|
Vapor–Liquid Equilibrium in Diluted Polymer + Toluene Systems
Bogdanić, Grozdana ; Wichterle, Ivan
Vapor–liquid equilibrium data were determined for five polymer plus toluene systems at isothermal conditions between 60 and 100 oC. Polymers comprise copolymers and terpolymers of octadecyl acrylate, acrylic acid, styrene, and 1-vinyl-2-pyrrolidone because of their practical importance as flow improvers for crude oil and/or derivatives. All-glass micro-ebulliometer with circulation of liquid phase was used for measurement of total pressure over polymer + toluene mixtures. Two predictive group contribution models (the Entropic–Free Volume and the Group Contribution–Flory) were applied to estimate phase behavior of two polymer solutions; good agreement with experimental data was achieved.
Plný text:  PDF
|
host ::
