1. Education for future? Investigating the role of education in explaining active green engagement : a multilevel moderated mediation analysisMatthias Penker, Andrej Kirbiš, 2025, izvirni znanstveni članek Opis: Despite extensive literature emphasizing the role of education in promoting engagement in environmental movements, international comparative research has yet to fully elucidate the mechanisms underlying this relationship. Using data from 44,100 respondents across 28 countries in the ISSP's fourth environmental module, we demonstrate that individuals' willingness to pay for environmental protection (WTP) partially mediates the relationship between education and environmental public sphere behavior (PSB). Furthermore, drawing on the Quality of Government literature, we show that the link between education and WTP is significantly stronger in countries with low corruption levels, a pattern that extends to the indirect effect of education on PSB. Although the magnitude of this effect is reduced, the direct positive association between education and PSB persists even in high-corruption contexts. These findings underscore the transnational importance of education in shaping environmentally significant attitudes and behaviors, as well as the crucial role of corruption in moderating how education translates into both WTP and PSB.
Ključne besede: politic sphere behaviour, environmental activism, education, moderated mediation analyses, multilevel model
Objavljeno v DKUM: 16.04.2025; Ogledov: 0; Prenosov: 1
 Celotno besedilo (1,60 MB)
Gradivo ima več datotek! Več... |
2. Assessing the effects of a hydropower plant basin on fish spawning in an upstream river tributaryGorazd Hren, Andrej Predin, Matej Fike, Marko Pezdevšek, 2024, izvirni znanstveni članek Opis: This paper presents a combined modeling approach to evaluate the ecological effects on the habitat of an upstream tributary of a river with a series of hydropower plants. The influence is investigated of the last planned hydropower plant to be built, which has a large impact on the river ecosystem. The new hydropower plant basin will affect the tributary with hydropeaking in the upstream basin. A simulation was conducted of spawning conditions for two protected fish species. The analysis combined a hydro-morphological model with a fish module that considers the water depth and velocity necessary for fish reproduction. The different river discharge scenarios were simulated, incorporating the hydropeaking effects of the new hydropower plant basin on the upstream tributary. With the new hydropower plant, sustainable measures are planned to prevent the damaging negative impacts that could lead to the degradation of the river ecosystem and the destruction of the existing ecosystem at the river’s confluence. The results indicate that, after the hydropower plant begins operation, the habitat`s suitability will decrease, and the planned sustainable measures will not provide a fully satisfactory solution.
Ključne besede: environmental impact, habitat sustainability, hydro-dynamic model
Objavljeno v DKUM: 11.04.2025; Ogledov: 0; Prenosov: 6
Celotno besedilo (2,40 MB)
Gradivo ima več datotek! Več... |
3. |
4. Metoda za napoved zmogljivosti stohastičnih algoritmov na osnovi statističnih porazdelitev števila ovrednotenj in časa : doktorska disertacijaJana Herzog, 2024, doktorska disertacija Opis: V doktorski disertaciji predstavimo metodo, namenjeno analizi in primerjavi stohastičnih algoritmov. Predlagana metoda se imenuje AS^3D (angl.~Analysis of the Stochastic Solvers based on Statistical Distributions). Ta temelji na statističnih porazdelitvah opazovanih spremenljivk, natančneje številu funkcijskih ovrednotenj in času. Pri tem uporablja pristop s ciljno vrednostjo. Ciljno vrednost določa kakovost rešitve, katero želimo, da jo algoritem doseže. Opazovani spremenljivki in njuni statistični porazdelitvi analizira na nizkodimenzionalnih in napoveduje za visokodimenzionalne različice optimizacijskega problema. Vzpostavljeni napovedni model na podlagi parametrov statističnih porazdelitev omogoča napovedovanje zaustavitvenih pogojev, torej časa in števila funkcijskih ovrednotenj za določeno verjetnost doseganja ciljne vrednost. Prav tako omogoča oceno verjetnosti, da bo zagon uspešen glede na dani zaustavitveni pogoj in kakovosti rešitve za višjedimenzionalne različice problema. Da pokažemo uporabnost predlagane metode, smo vzpostavljene napovedne modele empirično validirali za izbrane optimizacijske algoritme in probleme. Razlike med napovedanimi in empiričnimi vrednostmi so znašale manj kot 15 \% za problem LABS, testne funkcije CEC in problem potenciala Lennard-Jones. To nakazuje na to, da lahko metodo AS^3D uspešno uporabljamo za analizo in primerjavo stohastičnih algoritmov na različnih optimizacijskih problemih. S pomočjo metode smo pokazali tudi uporabnost stohastičnih algoritmov. Ti morajo, da dosežejo optimalno rešitev z visoko verjetnostjo, preiskati le majhen delež iskalnega prostora.
Ključne besede: analiza stohastičnih algoritmov, statistična porazdelitev, napovedni model, pristop s ciljno vrednostjo
Objavljeno v DKUM: 08.04.2025; Ogledov: 0; Prenosov: 11
Celotno besedilo (3,56 MB) |
5. Evolution of domain-specific modeling language: an example of an industrial case study on an RT-sequencerTomaž Kos, Marjan Mernik, Tomaž Kosar, 2022, izvirni znanstveni članek Opis: Model-driven engineering is a well-established software development methodology that
uses models to develop applications where the end-users with visual elements model abstractions
from a specific domain. These models are based on domain-specific modeling language (DSML),
which is particular to the problem domain. During DSML use, new ideas emerge and DSMLs evolve.
However, reports on DSML evolution are rare. This study presents a new DSML called RT-Sequencer
that evolved from our DSML Sequencer to support, in addition to the Data Acquisition domain,
also a new domain—Real-Time Control (RTC) systems. The process of defining models with a new
language RT-Sequencer has changed in a way that new end-users were introduced—advanced endusers, which use general-purpose language (GPL) and advanced programming concepts to define
modeling environments for the RT-Sequencer end-users. More specifically, an industrial experience
with the RT-Sequencer is presented, where DSML was opened for extension so that a GPL code
could be inserted into the model to create new visual blocks for the end-user, and the possibility to
adapt and optimize the execution code for a particular task. Our experience shows the specific case
of DSML evolution supporting another problem domain, and the implementation effort needed to
extend domain-specific modeling language with GPL support.
Ključne besede: model-driven engineering, domain-specific modeling languages, measurement systems, Real-Time Control systems, data acquisition, language evolution, experience report
Objavljeno v DKUM: 27.03.2025; Ogledov: 0; Prenosov: 2
Celotno besedilo (1,70 MB)
Gradivo ima več datotek! Več... |
6. Opazovalnik temperature spoja močnostnega modula : magistrsko deloRadoslav Pantić, 2025, magistrsko delo Opis: Namen magistrskega dela je zagotoviti bolj natančno oceno temperature spoja MOSFET-tranzistorja v primerjavi z obstoječim pristopom, kar bo omogočilo izboljšanje zmogljivosti motorskega krmilnika. Ta temperatura predstavlja ključno, vendar nedostopno stanje, ki ga ni mogoče neposredno izmeriti. Zato smo razvili predikcijski algoritem, imenovan opazovalnik, ki na podlagi meritev vhodov oziroma faznega toka in temperature na dostopni točki sistema ocenjuje temperaturo spoja MOSFET-tranzistorja. V ta namen smo načrtali termalni model krmilnika, predstavljen kot ekvivalentno električno vezje, in ga nato validirali z uporabo termalnih simulacij v časovni domeni in meritvami.
Ključne besede: predikcijski algoritem, MOSFET, termalni model, motorni krmilnik, prostor stanj
Objavljeno v DKUM: 27.03.2025; Ogledov: 0; Prenosov: 11
Celotno besedilo (4,24 MB) |
7. Discrete time model for process meta language with fictitious-clockBoštjan Vlaovič, Aleksander Vreže, 2022, izvirni znanstveni članek Opis: Industries like telecommunications, medical, automotive, military, avionics, and aerospace
use complex real-time systems. Specification and Description Language (SDL) is one of the leading
domain specific languages that is formally defined by international standards and well established in
describing such systems. To check system properties abstracted model of the system is prepared in
selected modeling language. We use Spin (Simple Promela Interpreter) model checker that is one of
the leading tools for verification of complex concurrent and reactive systems. This paper focuses on
modeling the SDL timer construct. It is one of the SDL constructs that is not easily modeled with
Promela, but is present in many SDL systems. After an overview of the related work we propose
a new Discrete Time Model for Promela (DTMP) that is seamlessly integrated in our framework
for modeling SDL systems and can be used with the mainstream version of the Spin tool. To the
best of our knowledge, this is not possible with the existing solutions. We describe how DTMP can
be used to model SDL systems that use timers. Experimental results demonstrate its applicability
to non-SDL systems with Fischer’s mutual exclusion protocol and the Parallel Acknowledgment
with Retransmission that were used in prior studies. We compare state-space requirements with
one of the existing solutions DT Promela and DT Spin. With that, virtues and shortcomings of this
high-level solution are exposed. We have shown that DTMP is effective when an extensive range of
timer expiration values are used, which is usually the case in real-life SDL systems.
Ključne besede: formal specifications, formal languages, discrete time, model checking, automated extraction, SDL, Promela, SpinRCP, Sdl2pml
Objavljeno v DKUM: 27.03.2025; Ogledov: 0; Prenosov: 2
Celotno besedilo (660,17 KB)
Gradivo ima več datotek! Več... |
8. A novel radial basis function description of a smooth implicit surface for musculoskeletal modellingMartin Cervenka, Josef Kohout, Bogdan Lipuš, 2024, izvirni znanstveni članek Opis: As musculoskeletal illnesses continue to increase, practical computerised muscle modelling is crucial. This paper addresses this concern by proposing a mathematical model for a dynamic 3D geometrical surface representation of muscles using a Radial Basis Function (RBF) approximation technique. The objective is to obtain a smoother surface while minimising data use, contrasting it from classical polygonal (e.g. triangular) surface mesh models or volumetric (e.g. tetrahedral) mesh models. The paper uses RBF implicit surface description to describe static surface generation and dynamic surface deformations based on its spatial curvature preservation during the deformation. The novel method is tested on multiple data sets, and the experiments show promising results according to the introduced metrics.
Ključne besede: radial basis function, muscle model, gradient decsent, curvature, mean curvature, Gaussian RBF
Objavljeno v DKUM: 26.03.2025; Ogledov: 0; Prenosov: 2
Celotno besedilo (1,94 MB) |
9. Settling of mesoplastics in an open-channel flowLuka Kevorkijan, Elvis Žic, Luka Lešnik, Ignacijo Biluš, 2022, izvirni znanstveni članek Opis: Pollution of water by plastic contaminants has received increasing attention, owing to
its negative effects on ecosystems. Small plastic particles propagate in water and can travel long
distances from the source of pollution. In order to research the settling motion of particles in
water flow, a small-scale experiment was conducted, whereby spherical plastic particles of varying
diameters were released in an open-channel flow. Three approaches were investigated to numerically
simulate the motion of particles. The numerical simulation results were compared and validated
with experimental data. The presented methods allow for deeper insight into particle motion in
fluid flow and could be extended to a larger scale to predict the propagation of mesoplastics in
natural environments.
Ključne besede: dense discrete phase model, discrete element method, diameter, discrete phase model, mesoplastics, particles, settling
Objavljeno v DKUM: 20.03.2025; Ogledov: 0; Prenosov: 2
Celotno besedilo (3,51 MB)
Gradivo ima več datotek! Več... |
10. Ekonomija delitve in poslovni modeli: Sodobna interpretacija Porterjevih petih silBrina Zgubič, 2024, magistrsko delo Opis: To magistrsko delo raziskuje odnos med ekonomijo delitve in sodobnimi poslovnimi modeli s prilagoditvijo Porterjevega okvira petih sil in vključitvijo dodatnega elementa: vladne intervencije. Ker se industrije odzivajo na moteče inovacije, zlasti v transportnem sektorju, ima delitvena ekonomija ključno vlogo pri preoblikovanju tržne dinamike. Študija preučuje, kako se podjetja, kot je Uber, ki uporablja platformno usmerjen model, in tradicionalne taksi službe spopadajo s spreminjajočo se konkurenco, pogajalsko močjo potrošnikov in regulativnim okoljem. Dodatek o vladnih posegih poudarja vse večji pomen okoljskih predpisov, varnostnih vprašanj in političnih okvirov pri vplivanju na konkurenčne prednosti in ovire za vstop na trg. Magistrska naloga prav tako analizira strateške posledice delitvene ekonomije na tržno konkurenco, ki jo razlikuje od običajnih panog, hkrati pa spodbuja nove modele ustvarjanja vrednosti in sodelovanja. Celovita preučitev vedenja potrošnikov razkriva zapletenost zvestobe uporabnikov in vedenja pri zamenjavi dobavitelja, ki je nadalje raziskana s primerjalno analizo tradicionalnih poslovnih modelov in poslovnih modelov, ki temeljijo na souporabi. Ključne ugotovitve zagotavljajo dragocen vpogled v razvijajočo se naravo konkurenčnosti v panogi, podprte s podatkovno podprtimi trendi in vizualnimi predstavitvami preferenc vozil in dostopnosti javnega prevoza.
S povezovanjem teoretičnih okvirov z empiričnimi podatki, , raziskava ponuja podrobno in poglobljeno analizo Porterjevih petih sil, posebej prilagojeno kompleksnostim ekonomije delitve, kar vodi do oblikovanja praktičnih strategij za podjetja za uspešno delovanje v dinamičnem in reguliranem okolju.
Ključne besede: Ekonomija delitve, poslovni model, Uber, taksi, Porterjevih pet sil
Objavljeno v DKUM: 19.03.2025; Ogledov: 0; Prenosov: 15
Celotno besedilo (1,27 MB) |
