Wyniki wyszukiwania - BazTech

1

Computing discrete Poisson probabilities for uniformization algorithm

Burak M. R.

Studia Informatica

|

2017

|

Vol. 38, nr 1B

77--88

EN

This paper deals with the computation of discrete Poisson probabilities and their precise tail bounds for the use in solving of transient Markov models with the uniformization with steady-state detection algorithm. The algorithm calculates the weights corresponding to the probabilities, maintaining the beneficial properties for the use in uniformization algorithm of the popular Fox-Glynn method, while improving the estimation of truncation points with significant effect on the overall performance.

PL

W artykule przedstawiany jest algorytm wyliczający wartości prawdopodobieństw dyskretnego rozkładu Poissona dla algorytmu uniformizacji, wykorzystywanego dla modelowania stanów nieustalonych łańcuchów Markowa z czasem ciągłym. Algorytm jest rozwinięciem popularnej metody Foxa-Glynna i oblicza wagi odpowiadające ww. rozkładowi w sposób umożliwiający dokładniejsze ustalenie wartości granicznych dla zadanego błędu obliczeń, co przekłada się bezpośrednio na efektywność obliczeniową.

2

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.

3

Mieszkanie - przestrzeń prywatna? Praktyki uniformizacji wnętrz

Kowalewski M., Ostrowski M

Architecturae et Artibus

|

2010

|

Vol. 2, no. 1

39-45

PL

Przestrzenie mieszkań traktowane są zwykle jako przeciwstawność przestrzeni publicznej, tymczasem prywatność i intymność domostwa to zjawiska stosunkowo nowe. Mieszkanie jest nie tylko miejscem interakcji z innymi, to także przestrzeń reprezentacyjna, atrybut pozycji społecznej. Dlatego też mieszkania z magazynów wnętrzarskich chcą być „ładne”, wzorem zuniformizowanej estetyki stają się kompozycje globalnych sieci meblarskich. Zjawiska te zostały ukazane w pracy, w odwołaniu do autorskiego projektu Pocztówki z miejsc, w którym wykorzystano nadsyłane drogą elektroniczną amatorskie zdjęcia wnętrz mieszkań. Celem projektu było zebranie nieprofesjonalnych fotografii mieszkań - analizie z wykorzystaniem metod socjologii wizualnej poddano ponad 100 fotografii. Pierwotnym celem projektu był eksperyment artystyczny polegający na stawianiu pytań dotyczących „upubliczniania się” przestrzeni mieszkania, a zgromadzone dane stały się impulsem do poważniejszej refleksji, przedstawionej w artykule.

EN

Home spaces are usually treated as an opposition of public space, however privacy and intimacy of home, are a relatively new phenomenon. Home is not only a place of interaction with others, but also a space of representation, the attribute of social position. Therefore, homes of the interior design magazines want to be “nice” – global furniture brands style become the new aesthetic compositions. These practices of uniformization are described at the paper, in reference to the “Postcards from the places” project, where the amateur photos of interiors of houses were researched. The aim of the project was to collect photographs of home spaces and to analyze them using the methods of visual sociology. The primary objective of the project was the artistic experiment, consisting the questions of “publicizing” private space, then the data have become an impulse for scientific research, presented in the article.

4

Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains

Hahn E.M., Hermanns H., Wachter B., Zhang L.

Fundamenta Informaticae

|

2009

|

Vol. 95, nr 1

129-155

EN

The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are a widely used modeling formalism that captures such performance and dependability properties, and makes them analyzable by model checking. In this paper, we focus on time-bounded probabilistic properties of infinite-state CTMCs, expressible in a subset of continuous stochastic logic (CSL). This comprises important dependability measures, such as time-bounded probabilistic reachability, performability, survivability, and various availability measures like instantaneous, conditional instantaneous and interval availabilities. Conventional model checkers explore the given model exhaustively, which is often costly, due to state explosion, and sometimes impossible because the model is infinite. This paper presents a method that only explores the model up to a finite depth. The required depth is determined on the fly by an algorithm that is configurable in order to adapt to the characteristics of different classes of models. We provide experimental evidence showing that our method is effective.

5

On the fiber product of mappings into the unit interval

Krasinkiewicz J.

Bulletin of the Polish Academy of Sciences. Mathematics

|

2000

|

Vol. 48, no 4

369-378

EN

We prove that for every family of sujective mappings f[sub j] : X[sub j] --> I, j [belongs to] J, where X[sub j] are continua, there exist a continuum Y and surjective mappings g[sub j] : Y --> X[sub j] such that f[sub j] o g[sub j] = f[sub j'] o g[sub j'] for all j, j' [belongs to] J.