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

  • Thumbnail Image
    Item type:Item, Access status: Open Access ,
    Toward Cartilage-Mimicking Biomaterials: Biotribological, Biochemical and Structural Evaluation of pHEMA and PVA-Based Hydrogels
    (American Chemical Society, 2025-12-08) Nečas, David; Němeček, Daniel; Gregora, Jan; Rebenda, David; Kadlecová, Zuzana; Chamradová, Ivana; Trudičová, Monika; Čípek, Pavel; Čípek, Petr; Šnajdárek, Ladislav; Vojtová, Lucy; Vrbka, Martin; Křupka, Ivan; Hartl, Martin
    This study compares the biotribological and structural behavior of PVA and pHEMA hydrogels under conditions simulating the cartilage environment to understand the lubrication mechanisms. PVA samples exhibited very low apparent friction coefficients and high-water uptake due to their hydrophilic, hydroxyl-rich network. In contrast, pHEMA hydrogels showed higher friction but substantially enhanced wear resistance, particularly under extended sliding against rough counterfaces. While PVA offers excellent lubrication performance, its wear stability remains limited. On the other hand, the low wear observed in pHEMA-despite its higher friction-suggests strong structural resilience, making it a promising platform for further tailoring toward cartilage-mimicking applications. The results highlight the importance of balancing interfacial lubrication and mechanical durability when designing hydrogel-based cartilage replacements.
  • Thumbnail Image
    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ěk
    A 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.
  • Thumbnail Image
    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.
  • Thumbnail Image
    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á, Tereza
    Developerská 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.
  • Thumbnail Image
    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ír
    Tato 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í.