Wyniki wyszukiwania - BazTech

1

Markowski model procesu eksploatacji samochodów z oczekiwaniem

Kruk Zygmunt

Journal of KONBiN

|

2021

|

Vol. 51, iss. 1

213--223

PL

Artykuł dotyczy modelowania eksploatacji samochodów z oczekiwaniem na użytkowanie. Taką specyficzną własnością charakteryzuje się proces eksploatacji samochodów systemie wojskowym. Przedstawiony model procesu eksploatacji samochodów z oczekiwaniem, przy zastosowaniu teorii łańcuchów Markowa zawiera istotne dla specyfiki eksploatacji pojazdów z oczekiwaniem wskaźniki i mierniki, tj. wadliwość napraw, intensywność napraw, intensywność użytkowania oraz intensywność uszkodzeń. Model ten pozwala na kwantyfikację wpływu wprowadzonych zmian w praktyce eksploatacyjnej lub wpływu zmian planowanych jako prognoza, co przedstawiono na przykładach.

EN

The article is dedicated to the modelling of operations & maintenance of vehicles scheduled to be operated. This specific feature is illustrative of the vehicle operation process in the military system. The presented model of the operation process of vehicles scheduled to be operated, using the Markov chain theory, contains indicators and measures essential for the vehicle operation, i.e. repair defectiveness, repair intensity, usage intensity and failure intensity. This model enables to quantify the impact of the introduced changes in operational practice or changes planned as a forecast, which is shown in the examples.

2

A Theory of Distributed Markov Chains

Thiagarajan P. S., Yang Shaofa

Fundamenta Informaticae

|

2020

|

Vol. 175, nr 1-4

301--325

EN

We present the theory of distributed Markov chains (DMCs). A DMC consists of a collection of communicating probabilistic agents in which the synchronizations determine the probability distribution for the next moves of the participating agents. The key feature of a DMC is that the synchronizations are deterministic, in the sense that any two simultaneously enabled synchronizations involve disjoint sets of agents. Using our theory of DMCs we show how one can analyze the behavior using the interleaved semantics of the model. A key point is, the transition system which defines the interleaved semantics is — except in degenerate cases — not a Markov chain. Hence one must develop new techniques to analyze these behaviors exhibiting both concurrency and stochasticity. After establishing the core theory we develop a statistical model checking procedure which verifies the dynamical properties of the trajectories generated by the the model. The specifications consist of Boolean combinations of component-wise bounded linear time temporal logic formulas. We also provide a probabilistic Petri net representation of DMCs and use it to derive a probabilistic event structure semantics.

3

Dynamic Clustering Personalization for Recommending Long Tail Items

Vinícius de Sousa Silva Diogo, Araújo Durão Frederico

Annals of Computer Science and Information Systems

|

2020

|

Vol. 21

417--425

EN

Recommendation strategies are used in several contexts in order to bring potential users closer to products with a strong probability of interest. When recomendations focus on niche items, they are called recommendations in the long tail. In these cases, they also look for less popular items and try to find your target custumer, niche market. This paper proposes a long tail recommendation approach that prioritizes relevance, diversity and popularity of recommended items. For that, a hybrid approach based on two techniques are used. The first is clustering with dynamic parameters that adapt from according to the dataset used and the second is a type of Markov chains for to calculate the distance of interest of a user to an item of relevance for this user. The results show that the techniques used have a better relevance indexes at the same time more diverse and less popular recommendations.

4

Technologie informatyczne jako metoda poprawy funkcjonalności towarowych przewozów kolejowych

Lewiński Andrzej, Perzyński Tomasz, Piwko Magdalena

Prace Naukowe Politechniki Warszawskiej. Transport

|

2019

|

z. 125

75--82

PL

W artykule pokazano, jak wyposażenie wagonów oraz samego pociągu w nowe technologie informatyczne pozwala zredukować kolejki i znacznie skrócić czas przeładunku. Wskazano, iż nowe rozwiązania techniczne obniżają prawdopodobieństwo przebywania w stanie oczekiwania (kolejce) na rozładunek zwłaszcza w przypadku wystąpienia zakłóceń spowodowanych przez zdarzenia losowe, w tym warunki środowiskowe, pogodowe czy awarie.

EN

The article presents how of wagons and the train equipped with new information technologies allows to reduce the queues and time of in/out charging. It has been indicated that this allows significantly decreasing the probability of being in the state connected with time of waiting for unloading (queue) especially after case of disturbance caused by random events, including environmental conditions, weather conditions or failures.

5

A method for rapid evaluation of k-out-of-n systems reliability

Młynarski Stanisław, Pilch Robert, Smolnik Maksymilian, Szybka Jan, Wiązania Grzegorz

Eksploatacja i Niezawodność

|

2019

|

Vol. 21, no. 1

170--176

EN

IEC 61508 standard could be used in the evaluation of safety of the k-out-of-n technical systems, including elements which may remain in one out of four different reliability states. Such a model leads to the huge complexity of analytical calculations and the limitations of its practical application possibilities. Therefore, a computerised method using Markov processes for estimating the reliability of k-out-of-n systems was developed. The algorithmization of the applied computational procedure was performed. It allowed one to analyse systems including a huge number of elements. An algorithm that may be applied for complex k-out-of-n systems was developed and used for exemplary calculations. The developed method was verified by comparing the obtained results with the ones obtained from analytical method as well as simulation method. The compatibility of results obtained in the two methods confirms the correctness of the developed procedure and proposed computer program which now offers the possibility of doing calculations for k-outof-n structures with more than three elements required for the system’s proper functioning and significantly accelerates calculations. Reliability and safety are priorities in the operation of technical systems. This decides of the applicability of the calculation methods described. The operational safety aspects are of particular significance in cases when the occurrence of a failure is a hazard to people’s health and life, ecological risk or considerable financial loss.

PL

Norma IEC 61508 może być stosowana do oceny poziomu bezpieczeństwa układów technicznych typu k z n, w których elementy mogą pozostawać w jednym z czterech różnych stanów. Przyjęcie takiego modelu prowadzi do ogromnej złożoności obliczeń analitycznych i ograniczeń w praktycznych możliwościach ich zastosowania. W związku z tym, do oceny niezawodności tego typu układów opracowano komputerową metodę wykorzystującą procesy Markowa. Następnie przeprowadzono algorytmizację opracowanej procedury obliczeniowej, co pozwoliło na analizę systemów obejmujących dużą liczbę elementów. Na podstawie opracowanego algorytmu przeprowadzono przykładowe obliczenia. Opracowaną metodę zweryfikowano porównując otrzymane wyniki z wynikami uzyskanymi metodą analityczną oraz metodą symulacyjną. Zgodność wyników uzyskanych w tych dwóch metodach potwierdza prawidłowość opracowanej procedury i proponowanego programu komputerowego, który oferuje obecnie możliwość wykonywania obliczeń dla struktur typu k z n z więcej niż trzema elementami wymaganymi do prawidłowego funkcjonowania całego systemu i znacząco przyspiesza obliczenia. Niezawodność i bezpieczeństwo są priorytetami w eksploatacji systemów technicznych i mają szczególne znaczenie w przypadkach, gdy wystąpienie awarii stanowi zagrożenie dla zdrowia i życia ludzi, powoduje ryzyko ekologiczne lub znaczne straty finansowe.

6

Markowski model procesu eksploatacji ciągników rolniczych

Dębała R., Sołtysiak A.

Postępy w Inżynierii Mechanicznej

|

2018

|

nr 11(6)

21--29

PL

Efektywna i racjonalna analiza złożonych procesów eksploatacji obiektów technicznych wymaga zastosowania różnego rodzaju metod modelowania, w tym modeli matematycznych i symulacyjnych. W badaniach do opisu rzeczywistego procesu eksploatacji ciągników rolniczych opracowano zdarzeniowy model procesu eksploatacji, a następnie zbudowano model matematyczny z zastosowaniem teorii procesów Markowa. Na podstawie otrzymanych wyników dokonano analizy rozpatrywanego procesu eksploatacji obiektów technicznych.

EN

An effective and rational analysis of complex processes of technical object operation and maintenance requires the use of various types of modeling methods, including mathematical and simulation models. In this paper, in order to describe the actual process of farm tractor operation and maintenance, an event model of the operation and maintenance process was developed, and then a mathematical model of this process was built using the theory of Markov processes. On the basis of the obtained results, the considered operation and maintenance process was analyzed.

7

The limit properties diffusion process in a semi-Markov environment

Chabanyuk Y., Rosa W.

Journal of Applied Mathematics and Computational Mechanics

|

2018

|

Vol. 17, nr 1

5--14

EN

In this paper we consider the stochastic diffusion process with semi-Markov switchings in an averaging scheme. We present results and conditions on convergence to the classic diffusion process, in case with semi-Markov process perturbation is uniformly ergodic. We used small parameter scheme to get the main result.

8

An estimation of koon systems availability using a simulation method

Wiązania G., Smolnik M., Pilch R.

Journal of Machine Construction and Maintenance - Problemy Eksploatacji

|

2017

|

no. 4

91--97

EN

The paper presents a developed simulation model for an availability estimation of renewable technical systems characterised by koon reliability structures. The proposed solution allows one to describe the availability of systems consisting of elements whose time-failure and renewal time probability distributions are, e.g., exponential, Weibull, or normal. This is the main advantage of the model. The results obtained from the use of the model, when exponential probability distribution applied, were verified by their comparison with the results of using typical, widely-known tools for a reliability and/or availability estimation of renewable systems (Markov processes). Additionally, the exemplary results of the simulations conducted for nonexponential probability distributions of time-failure and renewal time were presented. The useful feature of the developed model is the ability to estimate the availability of real systems and to verify whether they provide its required level. Such requirements are applied in many industries and services. Another important feature of the model is the possibility of searching for the most efficient method of increasing the availability of the system to its required level.

PL

W artykule przedstawiono opracowany model symulacyjny przeznaczony do oceny gotowości odnawialnych układów technicznych charakteryzujących się strukturami niezawodnościowymi typu kzn. Proponowane rozwiązanie pozwala charakteryzować gotowość układów składających się z elementów, których czasy pracy do uszkodzenia i czasy odnowy opisywane są różnymi rozkładami prawdopodobieństwa, np.: wykładniczym, Weibulla lub normalnym. Stanowi to główną zaletę prezentowanego modelu. Wyniki obliczeń uzyskane przy zastosowaniu opracowanego modelu, gdy wykorzystywany był rozkład wykładniczy, zweryfikowano poprzez ich porównanie z wynikami obliczeń za pomocą typowych, powszechnie znanych narzędzi do oceny niezawodności lub gotowości systemów odnawialnych (procesów Markowa). Dodatkowo, w artykule przedstawiono przykładowe wyniki symulacji przeprowadzonych dla rozkładów prawdopodobieństwa czasu pracy i czasu odnowy innych niż wykładniczy. Użyteczną cechą opracowanego modelu jest możliwość szacowania gotowości rzeczywistych systemów i sprawdzania, czy zapewniają one jej wymagany poziom. Tego rodzaju wymagania występują w wielu gałęziach przemysłu i obszarach usług. Kolejną ważną cechą modelu jest możliwość poszukiwania najbardziej efektywnej metody zwiększania gotowości systemu do wymaganego poziomu.

9

Application of an inhomogeneous CTMC model for a telephone call center

Burak M.

Studia Informatica

|

2016

|

Vol. 37, nr 2

15--27

EN

In this paper we consider modeling an inbound telephone call center, where the callers may balk or abandon, with an inhomogeneous continuous time Markov chain model. We further discuss the practical application of the uniformization method and compare it to traditional call center modeling methods based on stationary approximations.

PL

W artykule omawiane jest modelowanie telefonicznego call center za pomocą łańcuchów Markowa z czasem ciągłym. Model uwzględnia możliwość rozłączenia się klienta (opuszczenia kolejki), jeżeli nie może być on obsłużony natychmiast (balking) lub gdy okres oczekiwania przekracza jego cierpliwość (abandonment). Artykuł porównuje praktyczne zastosowanie metody uniformizacji oraz metod przybliżonych, zakładających (chwilową) stacjonarność systemu.

10

Comparative analysis of results of application of markov and semi-Markov processes to reliability models of multi-state technical objects

Rudnicki J.

Journal of Polish CIMEEAC

|

2016

|

Vol. 11, no 1

169--181

EN

During rational operation of technical objects and systems various operational decisions are made and decision-making process itself should be consisted in selecting that considered most favourable out of all possible to be taken. Choice of such decision is possible after taking into account many different information items but it never be completely correct without accounting for data and indices dealing with reliability. In the case when probabilistic principle of failure occurrence is determined , values of reliability indices can be estimated by using reliability mathematical models. During operation of many technical devices and systems ( e.g. ship main propulsion systems ) was observed many times the fact that their correct operation time is not a unique measure of their wear. Therefore for description of their serviceability and reliability can be used models of change of their reliability states in the form of semi-Markov processes based on the assumption of multi-state character of technical objects. This paper presents a comparative analysis of results of simulation reliability tests of a hypothetical technical object , obtained with the use of reliability models in the form of Markov processes and semi-Markov ones, corresponding to them, called also “half-Markov” processes.

11

Analysis of the military vehicles operating process by means of Markov processes

Żurek J., Borucka A., Ziółkowski J.

Journal of KONES

|

2016

|

Vol. 23, No. 2

443--453

EN

The article presents the method of analysing the operating process of Star military vehicles in their readiness aspect. The subject of research was the Military Economic Unit, recently created in the Polish Army. Markov processes were applied. A simple 5-state model was built, and the research was made in a discrete, as well as continuous time. The limit probabilities, both for the chain and the time, were estimated. Thanks to Chapman-Kołomogorov-Smoluchowski equations, the long-term projections could be estimated. To ensure of operating processes, correctly object’s permissible transitions from the previous state to the next one were chosen. It was defined based on technical documentation and owned operational knowledge on the considered operating process. The mathematical description of a set of permissible transitions includes a matrix of permissible Si → Sj transitions from the previous state Si (lines) to the next one. The five-state system has possible and forbidden transitions are presented. Graph of permissible transitions for the five-state operation model usage, standby, maintenance, repair, standstill in repair; correlogram for the average duration of the state; evolution of the probability of the Star cars’ staying in the state of usage, standby, maintenance, repair, standstill in repair are presented in the article.

12

Bisimulation Cuts For Structuring Markov Transition Systems

Doberkat E.-E.

Fundamenta Informaticae

|

2016

|

Vol. 149, nr 4

363--383

EN

In Universal Algebra the structure of congruences for algebraic systems is fairly well investigated, and the relationship to the structure of the underlying system proper is well known. We propose a first step into this direction for studying the structure of congruences for stochastic relations. A Galois connection to a certain class of Boolean σ-algebras is exploited, atoms and antiatoms are identified, and it is show that a σ-basis exists. These constructions are applied to the problem of finding bisimulation cuts of a congruence. It cuts the relation through a span of morphisms with a minimum of joint events.

13

Inhomogeneous CTMC model of a call center with balking and abandonment

Burak M. R.

Studia Informatica

|

2015

|

Vol. 36, nr 2

23--34

EN

This paper considers a nonstationary multiserver queuing model with abandonment and balking for inbound call centers. We present a continuous time Markov chain (CTMC) model which captures the important characteristics of an inbound call center and obtain a numerical solution for its transient state probabilities using uniformization method with steady-state detection.

PL

Artykuł opisuje zastosowanie CTMC do modelowania Call Center z klientami o ograniczonej cierpliwości.

14

Systemy sterowania ruchem wykorzystujące nowe technologie telematyczne

Lewiński A., Łukasik Z., Perzyński T., Ukleja P.

Problemy Kolejnictwa

|

2015

|

Z. 166

101--112

PL

W artykule opisano systemy nowej generacji do kontroli i zarządzania ruchem kolejowym zwłaszcza na liniach regionalnych. Obecna infrastruktura kolejowa takich linii daje możliwość stosowania nowych technologii telematycznych, w tym otwartych standardów transmisji radiowej do sterowania i monitorowania pojazdów szynowych. Przedstawioną w artykule analizę efektywności i bezpieczeństwa oparto na procesach stochastycznych, co jest zgodne z normami i zaleceniami UE.

EN

In the paper the new generations of control and management railway systems are presented, with particular emphasis on regional lines. The current rail infrastructure of regional lines enables the use of new telematic technologies, including open radio transmission to the control, management and monitoring of rail vehicle. The efficiency and safety analysis, presented in the paper, was based at stochastic processes. Such approach is consistent with railway standards and EU recommendations.

15

Aplikacja mobilna dla numeru „112”

Perzyński T., Chojnacki M.

Logistyka

|

2015

|

nr 4

8142--8147, CD 2

PL

Artykuł przedstawia aplikację przeznaczoną na urządzenia mobilne, która pozwala na wysłanie zgłoszenia do CPR na numer „112” wraz z podaniem lokalizacji w postaci współrzędnych geograficznych. Rozwiązanie takie pozwala na szybszą reakcję służb ratunkowych. Stworzona aplikacja stanowi zamienne narzędzie za instalowany w pojazdach system e-Call. Uniwersalność tego rozwiązania pozwala na stosowanie aplikacji w różnych sytuacjach, również do wysyłanie informacji o potrzebie pomocy pod dowolny numer telefonu.

EN

The paper presents the application dedicated to mobile devices. The application allows sending a message to CPR “112” (ang. Public Safety Answering Point) together with location data. Such solution allow for faster reaction of emergency services. Proposed application is similar to e-Call system, which is installed in new cars. The application is very universal and can be used to send information about the need the help to any telephone number.

16

Modelowanie niezawodności elektrowni fotowoltaicznych

Marchel P., Paska J.

Rynek Energii

|

2014

|

Nr 2

81--86

PL

W artykule przedstawiono podstawowe zagadnienia związane z modelowaniem dostępności energii pierwotnej dla elektrowni słonecznych oraz problemy związane z modelowaniem niezawodności elektrowni tego typu. Omówiono stałą słoneczną oraz opisano podstawowe zależności pozwalające na wyznaczenie ilości energii promieniowania słonecznego, która w określonej lokalizacji dociera do górnej warstwy atmosfery. Wykonano analizę charakteru ograniczania tego promieniowania przy przejściu przez atmosferę, na podstawie danych pomiarowych ze stacji meteorologicznej w Warszawie-Ursusie. Opisano sposób modelowania dostępności energii pierwotnej dla elektrowni słonecznych. Omówiono również sposób tworzenia modelu niezawodnościowego samej elektrowni fotowoltaicznej.

EN

The paper presents the basic issues of modeling the availability of primary energy for solar power plants and the problems associated with modeling this type of power plant reliability. The solar constant is described and the basic relationships allowing the determination of solar irradiation in the top layer of atmosphere is specified. The analysis of radiation limiting nature of atmosphere is made, using data from the meteorological station in Warsaw-Ursus. The way of modeling the availability of primary energy for solar power plants is described. It is also discussed how to create a reliability model of the photovoltaic power plant.

17

The Measurable Space of Stochastic Processes

Cardelli L., Mardare R.

Fundamenta Informaticae

|

2014

|

Vol. 131, nr 3-4

351--371

EN

We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a measurable space by the sigma-algebra generated by structural congruence. The structural operational semantics associates to each process a set of measures over the space of processes. The measures encode the rates of the transitions from a process (state of a system) to a measurable set of processes. We prove that the stochastic bisimilarity is a congruence, which extends the structural congruence. In addition to an elegant operational semantics, our calculus provides a canonic way to define metrics on processes that measure how similar two processes are in terms of behaviour.

18

Fock space realizations of some classical Markov processes

Bryc W., Ejsmont W.

Probability and Mathematical Statistics

|

2013

|

Vol. 33, Fasc. 2

301--313

EN

We define a pair of non-commutative processes on a perturbed Fock space. Both processes have the same univariate distributions and satisfy a weak form of the polynomial martingale property. The processes give two non-equivalent Fock-space realizations of the same classical Markov process: the two-parameter bi-Poisson processes introduced in [12], and constructed in [13].

19

Model procesu eksploatacji obiektu technicznego

Kierzkowski A.

Autobusy : technika, eksploatacja, systemy transportowe

|

2013

|

R. 14, nr 3

2193-2200

PL

Przedstawiony w pracy model może być wykorzystywany w procesie analizy różnego rodzaju zagadnień, obejmujących problem modelowania procesu eksploatacji obiektu technicznego. Opracowany model pozwala na: ocenę zgodności funkcjonującego procesu eksploatacji obiektu z założonym harmonogramem, ocenę wyników procesów eksploatacji obiektu technicznego poprzez analizę funkcji prawdopodobieństw stanów oraz funkcje gotowości obiektu technicznego, symulację procesu eksploatacji w fazie projektowania jego procesu użytkowania oraz obsługiwania. Przedstawiony w pracy model umożliwia analizę oraz symulowanie procesu eksploatacji obiektu technicznego, posiada jednak pewne ograniczenia: brak możliwości zmiany harmonogramu procesu eksploatacji obiektu technicznego w dowolnej chwili jego realizacji; brak własności dyspozytorskich modelu, mających na celu wskazanie możliwości zmian w procesie eksploatacji mających na celu osiągnięcie założonych kryteriów (minimalna wartość prawdopodobieństwa stanu, minimalny poziom funkcji gotowości procesu); brak implementacji zdarzeń losowych z innego systemu, w celu zamodelowania potencjalnie możliwych zdarzeń losowych, mających wpływ na proces eksploatacji obiektu technicznego.

EN

Aim of the study which was to develop a model of the operation of a technical process of timing, was executed by developing the following partial tasks: defining the basic relationship between the stages of the operation of a technical process, adopting theoretical assumptions, describing modeled the operation of a technical process, developing a model of the operation of a technical process, verify the operation of a process model based on a technical inquiry into the real system operation of low cost airlines aircrafts. Model presented in this work can be used in the analysis of various issues, including the problem of modeling the operation of a technical process. The model allows to: evaluate of assessment process, exploit the functioning of the schedule, evaluate the results of the operation of a technical process by analyzing the functions of probabilities of states of readiness of a technical object, simulating the operation process in the design phase of the process of use and handling. Presented model provides analyzing and simulating the operation of a technical process, but it also has some limitations: it is not possible to change the schedule of operation of a technical object at any time for its implementation, lack of ownership of dispatching model, designed to identify possible changes in the operation process to achieve established criteria (minimum probability of a minimum level of preparedness functions of the process), lack of implementation of the mishap from another system, in order to model a potentially possible random events that affect the operation of a technical process.

20

Graniczne własności procesów Markowa a symulacja

Rogowski A.

TTS Technika Transportu Szynowego

|

2012

|

R. 19, nr 9

1295--1308, CD

PL

W pracy przeanalizowano własności prostych jednorodnych stacjonarnych ergodycznych procesów Markowa o skończonej przestrzeni stanów dla granicznych wartości intensywności przejść. Zwrócono uwagę na pułapki interpretacyjne uzyskanych prawdopodobieństw granicznych i wyników symulacji takich systemów.

EN

This paper examines the properties of simple homogeneous stationary ergodic Markov processes with finite space of states to limit the intensity of transitions. Highlighted the pitfalls of interpretation obtained limit probabilities and simulation results of such systems.