Welcome to the BUT Digital Library - an institutional repository operated by the Central Library on the DSpace system.
Do you want to deposit your article or preceedings into Digital Library? It is very simple. You can find all the information in the manual published online on BUT Portal of libraries.
Central Library supports open access to scientific publishing - Open Access.
You can also request for grant for open publishing from Open Access Fund You can find more information OA fund web page.
Into the Digital Library is integrated citation manager Citace PRO. It will allow you to easily create a bibliographic citation or save a record in the manager.
Communities in DSpace
Select a community to browse its collections.
Recent Submissions
Item type:Item, Access status: Open Access , Closed-Form Design Quantiles Under Skewness and Kurtosis: A Hermite Approach to Structural Reliability(MDPI, 2025-12-24) Kala, ZdeněkA Hermite-based framework for reliability assessment within the limit state method is developed in this paper. Closed-form design quantiles under a four-moment Hermite density are derived by inserting the Gaussian design quantile into a calibrated cubic translation. Admissibility and implementation criteria are established, including a monotonicity bound, a positivity condition for the platykurtic branch, and a balanced Jacobian condition for the leptokurtic branch. Material data for the yield strength and ductility of structural steel are fitted using moment-matched Hermite models and validated through goodness-of-fit tests. A truss structure is subsequently analysed to quantify how non-Gaussian input geometry influences structural resistance and its associated design value. Variance-based Sobol sensitivity analysis shows that departures of the radius distribution toward negative skewness and higher kurtosis increase the first-order contribution of geometric variables and thicken the lower tail of the resistance distribution. The closed-form Hermite design resistances agree closely with numerical integration results and reveal systematic deviations from FORM estimates, which depend solely on the mean and standard deviation. Monte Carlo simulations confirm these trends and highlight the slow convergence of tail quantiles and higher-order moments. The proposed approach remains fully compatible in the Gaussian limit and offers a practical complement to EN 1990 verification procedures when skewness and kurtosis have a significant influence on design quantiles.Item type:Item, Access status: Open Access , On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming(EPTCS, 2025-12-31) Vašíček, Ondřej; Arias, Joaquin; Fiedor, Jan; Gupta, Gopal; Hall, Brendan; Křena, Bohuslav; Larson, Brian; Vojnar, TomášIt has been argued that Event Calculus (EC) is suitable for modeling high-level specifications of safety-critical cyber-physical systems. The primary advantage lies in the rather small semantic gap between EC models and requirements expressed in a semi-formal natural language. Moreover, its use of continuous time and variables avoids imprecision that stems from discretization. In the past, we have shown that a goal-directed ASP system can be used for implementing these EC models. However, precise representation of time as an infinitesimally divisible continuous quantity leads to Zeno-like behaviors and to non-termination in such a system. In this work, we model a number of well-known example problems from the literature to systematically study various natural EC modeling patterns that yield these Zeno-like behaviors, and propose ways to deal with them. Moreover, weal so propose a technique to automatically detect all such cases.Item type:Item, Access status: Open Access , Kontribuce a spolupráce s investory: Klíč k udržitelnému rozvoji měst v České republice(Czech Journal of Civil Engineering, 2025-12-31) Ježková, TerezaDeveloperská výstavba je stále silnějším tématem veřejné debaty. Efektivní spolupráce mezi veřejným a soukromým sektorem je klíčem k udržitelnému rozvoji měst. Přestože existují pokusy o zlepšení legislativního rámce a transparentnosti procesů, stále přetrvávají výzvy v oblasti financování, regulace a koordinace zájmů. Další rozvoj této spolupráce bude záviset na schopnosti měst vytvářet jasná pravidla a motivovat investory k dlouhodobě udržitelným projektům, do kterých jsou aplikována různá adaptační opatření reagující na změny klimatu, je dbáno na ochranu zelených ploch, podporu obnovitelných zdrojů a energetickou soběstačnost. Za tímto účelem si města schvalují Zásady o spolupráci s investory – dokument, schválený radou nebo zastupitelstvem města, který stanovuje pravidla pro realizaci developerských projektů. Zároveň se v něm město zavazuje k dodržení dohodnutých lhůt a podmínek spolupráce. Developeři se výměnou za součinnost města i možnost zhodnocení lokality, v které realizují výstavbu, podílejí na financování rozvoje veřejné a technické infrastruktury, což snižuje tlak na veřejné rozpočty.Item type:Item, Access status: Open Access , Modelování a simulace celkového a statického tlaku v oblasti nadzvukového proudění v nízkých tlacích(Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií) Bílek, Michal; Maxa, Jiří; Uruba, Václav; Horák, VladimírTato práce se zabývá problematikou nadzvukového proudění plynů při nízkých tlacích v diferenciálně čerpaných komorách, které jsou využívány v oblasti environmentální rastrovací elektronové mikroskopie. Výzkum navazuje na aktivity Ústavu přístrojové techniky AV ČR a Ústavu elektrotechnologie VUT FEKT Brno a zaměřuje se na experimentální a CFD analýzu proudění v prostředí na pomezí mechaniky kontinua. Cílem práce je aplikace metody mapování osy proudění pomocí pitotových trubic pro snímání statického a celkového tlaku a vytvoření základů pro další rozvoj této metodiky. K dosažení cílů byly využity CFD analýzy v systému Ansys Fluent, které popisují charakter nadzvukového, podexpandovaného proudění s rázovými vlnami při různých tlakových škálách. Na základě těchto analýz byly stanoveny vhodné polohy pro experimentální měření. Součástí práce je také návrh, vývoj a realizace snímání statického a celkového tlaku v experimentální komoře pro optimalizované měření pro malé rozměry a minimalizaci ovlivnění proudění. Výsledky práce přispívají k lepšímu pochopení proudových jevů v diferenciálně čerpaných systémech environmentální elektronové mikroskopie a k rozvoji experimentálních metod jejich měření.Item type:Item, Access status: Open Access , Uhlíková vlákna s nanostrukturami TiO pro fotokatalytické aplikace(Vysoké učení technické v Brně. CEITEC VUT) Chennam, Pavan Kumar; Macák, Jan; Kočí, Kamila; Hubálek, JaromírNanostrukturované vrstvy kovových oxidů se staly výrazným funkčním materiálem v řadě aplikací spojených s pokročilými materiály, včetně přeměny energie, detekce různých látek a environmentální sanace. Fotokatalytický rozklad různých znečišťujících látek (např. těkavých organických sloučenin, barviv a bakterií) je jednou z hlavních aplikací těchto pokročilých materiálů. Konkrétně fotokatalýza poskytuje udržitelný, efektivní a účinný způsob degradace různých organických kontaminantů z odpadních vod. Cílem této práce je připravit nanostrukturované vrstvy oxidu titaničitého (TiO2) na uhlíkových vláknech (CF), s cílem fotokatalyticky rozložit methylenovou modř (MB) - modelové barvivo, použité jako kontaminant. Pro dosažení účinné fotokatalytické účinnosti byly použity dvě doplňující se syntetické metody, a to metoda mokré chemické syntézy a infiltrace parní fáze (vapour phase infiltration, VPI). Mokrá chemická syntéza využívá reakce v roztoku, které vedou k tvorbě nanočástic oxidů kovů na povrchu vlákna. Tato syntetická metoda je relativně levná a jednoduchá cesta, jak vyrobit nanopartikulární povlaky s možností ovlivnit velikost krystalitů, které ovlivňují celkový měrný povrch vlákna. Navíc, tento postup nevyžaduje drahé specializované vybavení. Naopak, VPI se používá k nanášení konformních a atomárně deponovaných oxidů kovů pomocí infiltrace na povrch vlákna. VPI zajišťuje jednotnost povlaku a může být použita k přípravě různých hmotností a krystalinity TiO2. Tento proces však vyžaduje použití specializovaných nástrojů - specializovaných ALD reaktorů - ve kterých probíhá infiltrace. V této diplomové práci byly CFs@ TiO2 charakterizovány pomocí SEM, EDXRF, EDX, XRD, Ramanovy spektroskopie (RS) a UV-Vis DRS spektroskopie, které potvrdily přítomnost nebo zapojení (v závislosti na technice) nanostrukturované vrstvy TiO2 na CFs. Pomohly objasnit vztah mezi metodou syntézy, strukturálními a optickými vlastnostmi. Fotokatalytický výkon byl hodnocen prostřednictvím degradace MB za působení UV záření. Obecně měla zvolená metoda nanášení dramatický vliv na morfologii, pokrytí povrchu a aktivitu konečných fotokatalyzátorů. Kinetika degradace a stabilita materiálů byly systematicky hodnoceny. Tato studie demonstruje proveditelnost kombinace škálovatelné přípravy vláken s multivalentními syntézními cestami pro environmentální odstranění znečišťujících látek. Mokrá chemická syntéza a VPI poskytují srovnávací rámec pro benchmarkování a hledání optimálních cest pro návrh materiálů, které mohou sloužit jako udržitelné fotokatalyzátory. Výsledky tohoto výzkumu pomohou dále podporovat environmentální využití nanostrukturovaných oxidů kovů pro fotokatalytické aplikace.