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 , Vývoj metodiky pro stanovení délky únavové trhliny pomocí korelace digitálních obrazů(Vysoké učení technické v Brně. Fakulta strojního inženýrství) Ščerba, Bořek; Návrat, Tomáš; Pantělejev, Libor; Halama, RadimZastavování únavových zkoušek kvůli vizuálním odečtům je pracné a je v rozporu s nepřetržitým snímáním doporučovaným normami pro stanovení rychlosti růstu únavových trhlin. Měření délky únavové trhliny v průběhu zkoušky navíc snižuje zátěž obsluhy a umožňuje automatizaci. Tato práce rozvíjí metodiku založenou na korelaci digitálních obrazů (DIC), která nahrazuje vizuální inspekci pomocí posuvného mikroskopu (VIM) a validuje ji vůči datům VIM napříč materiály, velikostmi a typy vzorků i úrovněmi zatížení; současně ji porovnává s prahovým přístupem na DIC datech, metodou prahového přetvoření (STM). Je analyzována citlivost na vstupní parametry, jsou identifikována omezení a formulovány uživatelská doporučení. Jádrem metodiky je fyzikálně podložený odhad délky trhliny – metoda inflexního bodu (IPM) – a její rychlá implementace (fIPM) a filtrovaná varianta (fIPMf). Postup je následující. DIC poskytuje posuvy prostřednictvím softwarově definovaných „virtuálních extenzometrů“ rozmístěných podél očekávané trajektorie trhliny. Výsledná křivka představuje projekci otevření trhliny. Regrese pomocí gaussovských procesů tuto křivku prokládá a inflexní bod proložené křivky je považován za čelo trhliny (IPM). Rychlá implementace metody inflexního bodu (fIPM) mění procesní schéma, čímž zkracuje výpočetní čas o 55 %. Filtrovaná varianta (fIPMf) přidává adaptivní Kalmanův filtr s měkkým vynucením monotonicity pro stabilizaci časové řady, čímž snižuje šum přibližně o řád na submikrometrickou úroveň. Validace využila zkušební tělesa typu CT a M(T). Všechny metody (VIM, IPM a STM) byly aplikovány na stejné snímky pořízené ze stejné strany vzorku, čímž se eliminovalo zkreslení přes tloušťku způsobené nestejnými délkami trhlin. První validace porovnávala výsledky délky trhliny na snímcích pořízených při přerušeních zkoušky. V tomto uspořádání se výsledky IPM shodovaly s referencí VIM (RMSE 31 m), zatímco výsledky STM se od reference řádově lišily (RMSE 274 m). Nejdůležitějším zjištěním z analýzy citlivosti byla zanedbatelná závislost IPM na zatížení, na rozdíl od STM. Další validace porovnala výsledky rychlosti růstu trhliny z VIM a fIPMf na stejných vzorcích měřených sekvenčně, nejdříve pomocí VIM, pak s využitím fIPMf. Data získaná z VIM byla proložena rovnicí NASGRO a použita jako reference; výsledky fIPMf se odchylovaly přibližně o 20–30 %, což je srovnatelné s rozptylem mezi samotnými datovými sadami VIM. Pro použití v reálném čase nabízí fIPMf stejnou frekvenci zpracování dat jako STM, což je více než 10× vyšší než u full-field DIC. Navržená metodika umožňuje nepřerušované vyhodnocování délky a růstu trhliny během probíhajících zkoušek s přesností srovnatelnou s VIM a výrazně přesnějšími výsledky oproti STM. Nabízí rychlost zpracování okolo 20 snímků/s. Klíčové přínosy zahrnují bezprahový, fyzikálně podložený odhad; robustní adaptivní prokládání a filtrování, které se v průběhu zkoušky učí a reagují na měnící se podmínky; a zanedbatelnou citlivost na úroveň zatížení, jež umožňuje provádět zkoušky s klesajícím rozkmitem faktoru intenzity napětí (K) používané k určení prahové hodnoty součinitele intenzity napětí (K_th) — což je u STM velmi obtížné.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í.