1. Quadratic time elements for time-dependent fundamental solution in the BEM for heat transfer modelingIvan Dominik Horvat, Jurij Iljaž, 2024, izvirni znanstveni članek Opis: In this paper, a quadratic time interpolation for temperature and a linear time interpolation for fluxes are implemented for the parabolic (time-dependent) fundamental solution-based scheme for solving transient heat transfer problems with sources using the subdomain BEM (boundary element method), which is the main innovation of this paper. The approach described in this work to incorporate the quadratic time variation does not require doubling the number of equations, which is otherwise required in the BEM literature, for the discretized problem to be well-conditioned. Moreover, the numerical accuracy, compared over an unprecedented range of the Fourier number (Fo) and source strength values, can help in selecting the appropriate scheme for a given application, depending on the rate of the heat transfer process and the included source term. The newly implemented scheme based on the parabolic fundamental solution is compared with the well-established elliptic (Laplace) scheme, where the time derivative of the temperature is approximated with the second-order finite difference scheme, on two examples. Ključne besede: quadratic time elements, time-dependent fundamental solution, heat transfer modeling, boundary element method Objavljeno v DKUM: 07.05.2025; Ogledov: 0; Prenosov: 2
Celotno besedilo (8,22 MB) Gradivo ima več datotek! Več... |
2. EEG-based finger movement classification with intrinsic time-scale decompositionMurside Degirmenci, Yilmaz Kemal Yuce, Matjaž Perc, Yalcin Isler, 2024, izvirni znanstveni članek Ključne besede: brain-computer interfaces, electroencephalogram, feature reduction, machine learning, finger movements classification, time series analysis Objavljeno v DKUM: 16.04.2025; Ogledov: 0; Prenosov: 0
Celotno besedilo (1,44 MB) Gradivo ima več datotek! Več... |
3. 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č... |
4. Designing efficient algorithms for logistics management : optimizing timeconstrained vehicle routingKarlo Bala, Martin Fale, Nebojša Gvozdenović, Tomaž Kramberger, Dejan Brcanov, 2025, izvirni znanstveni članek Opis: Background: City logistics is a critical component of urban economic development, as it optimizes supply chains, enhances customer satisfaction through reliable deliveries, and minimizes environmental impacts in densely populated areas. This field addresses various challenges, including traffic congestion, environmental concerns, noise pollution, and the crucial need for timely deliveries. Routing and scheduling are central to logistics operations, with modern software integrating time windows to meet precise scheduling demands driven by detailed customer requirements and operational efficiencies. Furthermore, advanced vehicle routing models now effectively simulate real-world factors such as traffic congestion, stochastic travel times, and dynamic product demands. Purpose: This paper aims to develop an algorithm that addresses the routing decisions. Our approach extends to the time dimension, considering travel times and customer service times within predefined time windows. Study design/methodology/approach: The proposed algorithm is structured to execute in iterative phases, aiming to optimize key logistical objectives. In order to generate competitive solutions, we seek to minimize the number of vehicles utilized and overall travel costs. The evaluation of solution space was conducted via Simulated Annealing. Findings/conclusions: The performance of the proposed algorithm, evaluated using the Gehring and Homberger benchmark instances for 200 customers, demonstrates its effectiveness. The algorithm successfully meets the target number of vehicles required, and the associated travel costs are on average within 1% of the best solutions reported in the relevant literature. Limitations/future research: Given the ongoing need for timely solutions from decision-makers, future research endeavors will focus on enhancing the computational efficiency of the algorithm. Additionally, incorporating more time-related features, such as stochastic travel times, could further improve the algorithm's real-time applicability. Ključne besede: city logistics, vehicle routing, simulated annealing, time windows, scheduling Objavljeno v DKUM: 27.03.2025; Ogledov: 0; Prenosov: 1
Celotno besedilo (407,50 KB) Gradivo ima več datotek! Več... |
5. 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č... |
6. Effect of gonadotropin administration on reproductive performance in relation to the age at first conception, time of application, and body condition of weaned sowMarija Vogrin Bračič, Maja Prevolnik Povše, Janko Skok, Dejan Škorjanc, 2025, izvirni znanstveni članek Ključne besede: sow, gonadotropin administration, application time, body condition, age at conception, reproductive performance Objavljeno v DKUM: 26.03.2025; Ogledov: 0; Prenosov: 3
Povezava na datoteko |
7. An eye-tracking study on the effect of different signalized intersection typologies on pedestrian performanceChiara Gruden, Irena Ištoka Otković, Matjaž Šraml, 2022, izvirni znanstveni članek Opis: Pedestrian safety is a well-known issue, such that many road safety associations emphasize
measures to improve this aspect. One of the main conflict points is pedestrian crossings, where
motorized and non-motorized traffic flows directly interact and where pedestrian attention and
reaction are two elements that can strongly influence their safety. Nowadays, these aspects are often
deviated by the use of smartphones to surf the Internet or social media. The aim of the present study
is to find out (1) whether and how intersection typology affects pedestrian behavior, both in terms of
attention and crossing performance, and (2) whether and how gaze and behavioral characteristics are
affected by smartphone use and social media browsing. To achieve this goal, eye-tracking technology
was used to obtain qualitative and quantitative information on the number of fixations, their duration,
and reaction times of pedestrians. Additionally, from the eye-tracking videos, it was possible to derive
pedestrian waiting times, crossing times, and speeds. Statistical tests were conducted to determine if
there is a significant difference in pedestrian behavior at the three different types of intersections and
in their behavior when using or not using their device. Results confirm the initial hypotheses and
quantify the difference in pedestrian gaze behavior and crossing performance when walking across
three different types of signalized crosswalks. Ključne besede: pedestrian, eye-tracking, gaze behavior, reaction time, signalized intersection, crossing behavior Objavljeno v DKUM: 13.03.2025; Ogledov: 0; Prenosov: 5
Celotno besedilo (2,86 MB) Gradivo ima več datotek! Več... |
8. High resolution short response time fiber-optic temperature sensorNermin Sinanović, Simon Pevec, Matej Njegovec, Vedran Budinski, Denis Đonlagić, 2025, izvirni znanstveni članek Opis: This article presents an all-silica microwire optical sensor designed for both fast response time and high-resolution temperature detection. The sensor consists of a thin optical microwire created at the tip of an optical fiber, configured as a temperature sensitive Fabry–Perot interferometer (FPI). For the purposes of achieving rapid response times, the sensing section of the sensor has a diameter of 11 µm. Experimental bench tests were set up to evaluate the sensor’s static and dynamic performance. The results indicate a sensor system resolution of about 5 mK and demonstrate a bandwidth of 38 Hz that corresponds to a response time of 4 ms in still air. The sensor’s functionality is shown through a basic periodic gas compression method detecting small temperature fluctuations. In addition, the sensor was demonstrated for operation up to 600 ◦C. Ključne besede: Fabry-Perot, high-resolution temperature sensor, micromachining, microwire optic sensor, optical fibers, short response time Objavljeno v DKUM: 12.02.2025; Ogledov: 0; Prenosov: 6
Celotno besedilo (8,03 MB) |
9. Wearable online freezing of gait detection and cueing systemJan Slemenšek, Jelka Geršak, Božidar Bratina, Vesna M. Van Midden, Zvezdan Pirtošek, Riko Šafarič, 2024, izvirni znanstveni članek Opis: This paper presents a real-time wearable system designed to assist Parkinson’s disease patients experiencing freezing of gait episodes. The system utilizes advanced machine learning models, including convolutional and recurrent neural networks, enhanced with past sample data preprocessing to achieve high accuracy, efficiency, and robustness. By continuously monitoring gait patterns, the system provides timely interventions, improving mobility and reducing the impact of freezing episodes. This paper explores the implementation of a CNN+RNN+PS machine learning model on a microcontroller-based device. The device operates at a real-time processing rate of 40 Hz and is deployed in practical settings to provide ‘on demand’ vibratory stimulation to patients. This paper examines the system’s ability to operate with minimal latency, achieving an average detection delay of just 261 milliseconds and a freezing of gait detection accuracy of 95.1%. While patients received on-demand stimulation, the system’s effectiveness was assessed by decreasing the average duration of freezing of gait episodes by 45%. These preliminarily results underscore the potential of personalized, real-time feedback systems in enhancing the quality of life and rehabilitation outcomes for patients with movement disorders. Ključne besede: Parkinson’s disease, freezing of gait, machine learning, real-time systems, wearable devices, on-demand stimulation Objavljeno v DKUM: 31.01.2025; Ogledov: 0; Prenosov: 4
Celotno besedilo (6,29 MB) |
10. |