The paper presents a systematic study of stochastic mathematical models and simulation methods applied to evaluating the performance of computing machines. Three queuing models have been formalized and verified — M/M/1, M/M/c (c = 4) and M/G/1 — with verification based on the results of discrete event simulation (DSI). A Markov model of CPU process planning with four states (Ready, Running, Waiting, Completed) is constructed and its stationary distribution is analytically obtained.
| Mualliflar | Sobirov, Muslimjon |
|---|---|
| Jurnal | Al-Farg'oniy avlodlari |
| Nashr sanasi | 2026-06-29 |
| Son | 3 |
| Betlar | 3-10 |
| Til | Rus |
stochastic modeling, queuing theory, M/M/1, M/G/1, Markov chains, Monte Carlo method, discrete event modeling, стохастическое моделирование, теория массового обслуживания, M/M/1, M/G/1, цепи Маркова, метод Монте-Карло, дискретно-событийное моделирование
This paper investigates the mathematical framework for managing VM migration in cloud environments. Pre-copy, post-copy and hybrid approaches are formalized, an automatic migration model is developed using a MDP. The…
This article provides a scientific and technical overview of the emerging cyber threats to information systems used in the healthcare sector, as well as the functional capabilities of artificial intelligence…
This article uses the finite difference method to study the stress-strain state of a rectangular plate with a central horizontal crack under plane stress conditions. An equivalent isotropic linear elastic model of…
The rapid development of digital technologies in the medical education system is expanding the possibilities of individualizing and increasing the usefulness of educational processes. The purpose of this study is to…
Uzbek phraseological units are figurative and structurally fixed, so machine-translation and NLP systems often mishandle them. On 150 idioms sampled from a 4,408-unit corpus, each was annotated for structural type, a…
This article investigates the issues of improving the verification accuracy by improving the quality of digital signature images in offline signature verification systems. During the study, the impact of factors such as…
This study investigates the problem of modeling the deformation of square thin plates under the influence of their own weight. The main objective is to conduct a comparative analysis of the accuracy and efficiency of…
An adaptive area contrast enhancement algorithm is proposed to solve the problem of low contrast in agricultural images. The algorithm automatically detects low contrast regions using local standard deviation and Sobel…
This paper investigates the effectiveness of quantization techniques for speaker verification models on resource-constrained Android devices. Tiny-SV-CNN and EdgeSpeakerCNN-AAM were trained on VoxCeleb1, evaluated using…
This paper proposes a neuro-fuzzy model based on Sugeno-type ANFIS for adaptive control of urban intersections. The model accounts for the state of not only the central intersection but also four adjacent intersections…