Wyniki wyszukiwania - BazTech

1

Logic-based Verification of the Distributed Dining Philosophers Protocol

Delzanno G.

Fundamenta Informaticae

|

2018

|

Vol. 161, nr 1/2

113--133

EN

We present a logic-based framework for the specification and validation of distributed protocols. Our specification language is a logic-based presentation of update rules for arbitrary graphs. Update rules are specified via conditional rewriting rules defined over a relational language. We focus our attention on unary and binary relations as a way to specify predicates over nodes and edges of a graph. For the considered language, we define assertions that can be applied to specify correctness properties for arbitrary configurations. We apply the language to model the distributed version of the Dining Philosopher Protocol. The protocol is defined for asynchronous processes distributed over a graph with arbitrary topology. We propose then validation methods based on source to source transformations and deductive reasoning. We apply the resulting method to provide a succint correctness proof of the considered case-study.

2

From Constructivism to Logic Programming : an Homage to Mario Ornaghi

Ferrari M., Fiorentini C., Momigliano A.

Fundamenta Informaticae

|

2018

|

Vol. 161, nr 1/2

1--7

EN

In this brief note, we outline Mario Ornaghi’s contributions to the field of computational logic to celebrate his 70th birthday.

3

In memoriam : Czesław Ryll-Nardzewski's contributions to probability theory

Rolski T., Woyczyński W. A.

Probability and Mathematical Statistics

|

2017

|

Vol. 37, Fasc. 1

1--20

EN

In this paper we review contributions of late Czesław Ryll-Nardzewski to probability theory. In particular, we discuss his papers on point processes, random power series, random series in infinite-dimensional spaces, ergodic theory, de Finetti’s exchangeable sequences, conditional distributions and applications of the Kuratowski-Ryll-Nardzewski theorem on selectors.

4

Probabilistyczne studium zatarcia łożysk ślizgowych i tocznych

Wierzcholski K.

Tribologia

|

2015

|

nr 4

199--206

PL

Dobór, montaż i smarowanie łożyska są podstawowymi warunkami wpływającymi na jego prawidłową i długotrwałą pracę bez zatarcia. Temperatura prawidłowo zamontowanych i smarowanych łożysk nie powinna przekraczać 70°C, a w czasie eksploatacji powinna ustalić się na niższym poziomie. Zatarcie wraz z uszkodzeniem łożyska może nastąpić między innymi na skutek zbyt dużego obciążenia, nieskutecznych uszczelnień lub za ciasnego pasowania powodującego zbyt mały luz łożyska. Badając i prowadząc szczegółowe oględziny zatartego i uszkodzonego łożyska, można wyciągnąć wnioski co do wartości prawdopodobieństwa zatarcia. Wartości te są bardzo istotne dla eksploatacji maszyny. Literatura techniczna opisująca powyższy problem bardzo obszernie wskazuje przyczyny i skutki zatarcia łożyska, natomiast bardzo sporadycznie przyporządkowuje prawdopodobieństwa zatarcia dla badanych uszkodzeń. Prawie nie znajdujemy w literaturze analizy prawdopodobieństwa zatarcia przyporządkowanego ilościom uruchomień łożyska i ilościom występującego zatarcia. Niniejsza praca na podstawie badań doświadczalnych najpierw przyporządkowuje odpowiednie prawdopodobieństwa zatarcia poszczególnym przyczynom uszkodzeń. Następnie w pracy na drodze analizy probabilistycznej podano prognozę prawdopodobieństwa zajścia jednego i kilku przypadków zatarcia. Ponadto wyznacza się najbardziej niekorzystne przypadki, przy których dla danej ilości uruchomień i ilości zatarcia prawdopodobieństwo ich występowania przyjmuje wartości największe. Praca podaje konkretne przykłady obliczeniowe.

EN

Selection, montage, and lubrication are the fundamental conditions, which have an influence on the correct and long-lasting work of bearing without seizure. The temperature of a correctly assembled and lubricated bearing cannot exceed 70°C, and lower temperatures are recommended during extended operation. The seizure can be caused by excessive load from poor seals or insufficient bearing clearance. After considerations about the seized and damaged bearings, we can estimate the probabilistic values of seizing. Technical literature describes this problem very widely and indicates the reasons for seizures. However, this literature rarely indicates the probabilities for seizures and the related damage, and no probabilities are related to the number of starts of the engine. In this paper, the probabilities of seizing are attributed to the causes of damage using experimental results. The paper also presents a probability analysis of the prognosis of the chance of seizing. Moreover, the highest number of starts of the machine that produced the most expensive losses due to seizing was determined by probability, and numerical examples are given.

5

Modelling Progressive Filtering

Armano G.

Fundamenta Informaticae

|

2015

|

Vol. 138, nr 3

285--320

EN

Progressive filtering is a simple way to perform hierarchical classification, inspired by the behavior that most humans put into practice while attempting to categorize an item according to an underlying taxonomy. Each node of the taxonomy being associated with a different category, one may visualize the categorization process by looking at the item going downwards through all the nodes that accept it as belonging to the corresponding category. This paper is aimed at modeling the progressive filtering technique from a probabilistic perspective. As a result, the designer of a system based on progressive filtering should be facilitated in the task of devising, training, and testing it.

6

Ocena czasu oczekiwania na przystankach dla losowych zgłoszeń pasażerów

Horbachov P., Chyghyk V.

Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne

|

2014

|

Nr 1(103)

87--98

PL

W artykule zdefiniowano problem i przedstawiono ujęcie analityczne modelowania obliczeń czasu oczekiwania na przystanku, gdy zgłoszenie pasażera na przystanek na charakter losowy. Rozważany jest szeroki zakres zmienności przebiegów tras linii – poczynając od przyjęcia pełnej zgodności interwałów kursowania linii w rozkładach jazdy do całkowicie losowych odjazdów pojazdów z przystanków pośrednich. Zostały również porównane doświadczalne i teoretyczne oszacowania czasów oczekiwania na przystankach dla podstawowych linii.

EN

The paper presents the problem definition and analytical modeling for waiting time calculation in urban transit system when passengers arrive at a transit stop randomly. The wide range of variants of the urban transit routes operation services is considered – from full implementation of the identical headways schedule to the completely random departure time of transport units from a terminal. Also, experimental and theoretical estimates of a passenger waiting time for a certain route are compared.

7

Non-standard tasks in mathematical education

Major J., Major M.

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

|

2014

|

Vol. 19

115--119

EN

Mathematical knowledge and skills have been playing a more and more important role in our daily lives. At the same time, solving tasks is the essence of mathematics understood as a field of human activity. The subject of this paper are selected issues concerning some atypical tasks which play important role in mathematical education. Presented task is related to the elementary knowledge of probability theory.

8

Fuzzified probability : from Kolmogorov to Zadeh and beyond

Frič R., Papčo M.

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

|

2014

|

Vol. 19

179--188

EN

We discuss the fuzzification of classical probability theory. In particular, we point out similarities and differences between the so-called fuzzy probability theory and the so-called operational probability theory.

9

Analiza porównawcza probabilistyczno-rozmytych systemów na przykładzie oceny efektywności realizacji usług logistycznych

Rudnik K.

Logistyka

|

2014

|

nr 6

9212--9222

PL

Celem pracy jest przedstawienie analizy porównawczej zastosowania systemów uwzględniających teorię zbiorów rozmytych i teorię prawdopodobieństwa do oceny efektywności realizacji usług logistycznych wybranego przedsiębiorstwa. W sposób treściwy przedstawiono trzy rodzaje systemów typu Mamdaniego: klasyczny system rozmyty, system probabilistyczno-rozmyty uwzględniający rozkład warunkowy prawdopodobieństwa zdarzeń rozmytych w następniku reguł oraz system probabilistyczno-rozmyty uwzględniający zarówno rozkład warunkowy prawdopodobieństwa zdarzeń rozmytych w konkluzji, jak i rozkład brzegowy prawdopodobieństwa zdarzeń rozmytych w poprzedniku reguł. Omówiono modele prezentowanych podejść oraz schematycznie przedstawiono sposoby wnioskowania rozmytego na podstawie prezentowanych modeli. Z uwzględnieniem danych empirycznych pochodzących ze średniego przedsiębiorstwa sektora transport-spedycja-logistyka, dokonano budowy przedstawionych modeli oraz porównano ich złożoności. Wykorzystując wnioskowanie rozmyte dokonano analizy skuteczności odwzorowania oceny efektywności usług logistycznych z wykorzystaniem omawianych systemów.

EN

The aim of the paper is to present a comparative analysis of the application of systems which using the fuzzy sets theory and probability theory to assessment the effectiveness of the logistics service in selected company. The three Mamdani systems are presented briefly: fuzzy system, probabilistic fuzzy system with conditional distribution of probability of fuzzy events in consequents, probabilistic fuzzy system with conditional distribution of probability of fuzzy events in consequents and marginal distribution of probability of fuzzy events in the antecedents. The knowledge models of discussed approaches are shown and results of fuzzy inference using analyzed models are presented. To analysis are used empirical data from medium size enterprise which has realized specific logistics services. The data are used to create the models of three systems. Exemplary models rules are presented and the complexities of the models are compared. On the basis of the fuzzy inference, the accuracy analysis of the evaluation of the logistics services effectiveness is presented.

10

Probabilistic Constructions of Computable Objects and a Computable Version of Lovász Local Lemma

Rumyantsev A., Shen A.

Fundamenta Informaticae

|

2014

|

Vol. 132, nr 1

1--14

EN

A nonconstructive proof can be used to prove the existence of an object with some properties without providing an explicit example of such an object. A special case is a probabilistic proof where we show that an object with required properties appears with some positive probability in some random process. Can we use such arguments to prove the existence of a computable infinite object? Sometimes yes: following [8], we show how the notion of a layerwise computable mapping can be used to prove a computable version of Lovász local lemma.

11

An Analysis of Probabilistic Approximations for Rule Induction from Incomplete Data Sets

Clark P. G., Grzymala-Busse J. W., Hippe Z. S.

Fundamenta Informaticae

|

2014

|

Vol. 132, nr 3

365--379

EN

The main objective of our research was to test whether the probabilistic approximations should be used in rule induction from incomplete data. For our research we designed experiments using six standard data sets. Four of the data sets were incomplete to begin with and two of the data sets had missing attribute values that were randomly inserted. In the six data sets, we used two interpretations of missing attribute values: lost values and “do not care” conditions. In addition we used three definitions of approximations: singleton, subset and concept. Among 36 combinations of a data set, type of missing attribute values and type of approximation, for five combinations the error rate (the result of ten-fold cross validation) was smaller than for ordinary (lower and upper) approximations; for other four combinations, the error rate was larger than for ordinary approximations. For the remaining 27 combinations, the difference between these error rates was not statistically significant.

12

Stochastic Cellular Automata: Correlations : Decidability and Simulations

Arrighi P., Schabanel N., Theyssier G.

Fundamenta Informaticae

|

2013

|

Vol. 126, nr 2-3

121--156

EN

This paper introduces a simple formalism for dealing with deterministic, non-deterministic and stochastic cellular automata in an unified and composable manner. This formalism allows for local probabilistic correlations, a feature which is not present in usual definitions. We show that this feature allows for strictly more behaviors (for instance, number conserving stochastic cellular automata require these local probabilistic correlations). We also show that several problems which are deceptively simple in the usual definitions, become undecidable when we allow for local probabilistic correlations, even in dimension one. Armed with this formalism, we extend the notion of intrinsic simulation between deterministic cellular automata, to the non-deterministic and stochastic settings. Although the intrinsic simulation relation is shown to become undecidable in dimension two and higher, we provide explicit tools to prove or disprove the existence of such a simulation between any two given stochastic cellular automata. Those tools rely upon a characterization of equality of stochastic global maps, shown to be equivalent to the existence of a stochastic coupling between the random sources. We apply them to prove that there is no universal stochastic cellular automaton. Yet we provide stochastic cellular automata achieving optimal partial universality, as well as a universal non-deterministic cellular automaton.

13

Should we use a uniform prior in probabilistic decision making?

Piegat A., Landowsky M.

Foundations of Computing and Decision Sciences

|

2010

|

Vol. 35, No. 1

43--61

EN

In probabilistic decision-making and diagnostics problems solved with the use of Bayes' theorem and in Bayes' networks if a priori distribution of probability density is not known the uniform distribution is assumed to determine the working, approximate solution of the problem. However, in many practical problems experts possess some qualitative knowledge about a priori distribution, e.g. the distribution is unimodal (one maximum) or it is unimodal right-asymmetric one, etc. It was explained in the paper that in such cases we need not unconditionally use the uniform distribution but we may use other types of distributions which better correspond to our qualitative knowledge and to the reality. However, to determine a priori distribution compatible with our qualitative knowledge we have to calculate the approximate, average, limit distribution the AAL- distribution of an infinitely large number of all possible distributions that possess the given qualitative feature, e.g., which are unimodal and right-asymmetrical ones. Is it possible at all? In the paper it was shown that it is possible if a special method conceived by one of the authors, the method of event-granulation diminution (GD-method) is applied. With this method the Readers themselves can determine their own limit distribution of all possible distributions which possess required qualitative features. The paper gives 3 such distributions determined by one of the authors that can directly be used in problems. It was also shown that the uniform distribution itself is the average, limit distribution of an infinite number of all possible distributions. According to the authors' knowledge the presented concept of the average, safe distribution is new in the scientific literature.

14

Surmounting Information Gaps Using Average Probability Density Function

Piegat A., Landowski M.

Pomiary Automatyka Kontrola

|

2009

|

R. 55, nr 10

793-795

EN

In many problems we come across the lack of complete data. The information gap causes that the task seems to be unsolvable. In many cases where the Bayes' networks or Bayes' rule are used, we come across the information gap which is the lack of a priori distribution. The article presents the methods of identifying the average probability density distribution when we know the range of variable and we have some quality knowledge on the distribution. The obtained average probability density distribution minimizes medium squared error. According to the authors' knowledge the average probability density distribution is the novelty in the word literature.

PL

W wielu rzeczywistych problemach często spotykamy się z brakiem danych koniecznych do ich rozwiązania. Dotyczy to zwłaszcza zadań projektowania nowych systemów technicznych, ale i też ekonomicznych, medycznych, agrarnych i innych. Istnienie luk w problemie powoduje, że zadanie wydaje się nierozwiązywalne. W takiej sytuacji, aby w ogóle rozwiązać postawiony problem konieczne jest zaangażowanie ekspertów, którzy są często w stanie podać przybliżone oszacowanie danej brakującej do rozwiązania problemu. Niestety, oszacowania eksperckie zwykle nie są precyzyjnymi liczbami, lecz przedziałami możliwych wartości zmiennej lub też probabilistycznymi rozkładami możliwej wartości brakującej zmiennej. Zatem, aby rozwiązać dany problem konieczne jest wykonywanie operacji na rozkładach gęstości prawdopodobieństwa. Jednym z narzędzi służących do tego celu jest reguła Bayesa. Jest ona np. podstawą do przetwarzania informacji w sieciach wnioskowania probabilistycznego zwanych skrótowo sieciami Bayesa. Zwykle luką informacyjną w tych sieciach jest brak rozkładu a priori zmiennej koniecznego do obliczenia rozkładu a posteriori. W takiej sytuacji, jako rozkład a priori stosowany jest zwykle rozkład równomierny reprezentujący kompletną niewiedzę dotyczącą jakościowych cech rozkładu. Jednak taką wiedzę często posiada ekspert problemu. Artykuł prezentuje metodę identyfikacji przeciętnego rozkładu gęstości prawdopodobieństwa zmiennej dla przypadku, gdy ekspert zna nie tylko zakres możliwych wartości zmiennej, ale także posiada pewną wiedzę o jakościowych cechach rozkładu. Otrzymany z użyciem wiedzy eksperta przeciętny rozkład gęstości prawdopodobieństwa zmniejsza znacznie ryzyko popełnienia katastrofalnie dużych błędów w rozwiązywaniu problemów z lukami informacyjnymi. Według wiedzy autorów koncepcja przeciętnego rozkładu gęstości prawdopodobieństwa jest nowością w literaturze światowej.

15

Average individual classification probability function

Landowski M., Piegat A.

Elektronika : konstrukcje, technologie, zastosowania

|

2009

|

Vol. 50, nr 11

12-15

EN

One of the main tasks of artificial intelligence is the creation of artificial computer brain able to realize artificial thinking based on linguistic concept. The basis of the realization of this task is the working out of models of human perception expressed in the form of linguistic quantifiers. The article presents the method of finding average individual classification probability function. The function is to present classification function of the average person in the group (population). According to the authors' knowledge average individual classification probability function are the novelty in the word literature.

PL

Jednym z głównych zadań sztucznej inteligencji jest stworzenie sztucznego komputerowego mózgu realizującego sztuczne myślenie bazujące na konceptach lingwistycznych. Podstawą realizacji tego zadania jest opracowanie modelu ludzkich percepcji wyrażonego w formie kwantyfikatorów lingwistycznych. Artykuł prezentuje metodę tworzenia przeciętnej indywidualnej funkcji prawdopodobieństwa klasyfikacji. Funkcja ta przedstawia funkcję klasyfikacji przeciętnej indywidualnej osoby w grupie (populacji). Według wiedzy autorów przeciętna indywidualna funkcja prawdopodobieństwa klasyfikacji jest nowością w literaturze światowej.

16

Triangular structures and duality

Frič R., Papčo P.

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

|

2007

|

Vol. 12

23-28

EN

We introduce and study the category AFD the objects of which are generalized convergence D-posets (with more than just one greatest element) of maps into a triangle object T and the morphisms of which are sequentially continuous D-homomorphisms. The category AFD can serve as a base category for antagonistic fuzzy probability theory. AFD-measurable maps can be considered as generalized random variables and ADF-morphisms, as their dual maps, can be considered as generalized observables.

17

Applying the idea of fusionism in the probability theory

Major M.

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

|

2007

|

Vol. 12

69-76

EN

The solutions presented in this paper may serve as an illustration of the principle of internal integration, know as the idea of fusionism. In the paper we consider some problem. From an urn containing b white balls and c black ones are selected simultaneously some balls. If the balls are of the same colours one of the players wins, otherwise the other player is the winner. For which values of b and c is the game fair?

18

Structural reliability - fuzzy sets theory approach

Szeliga E.

Journal of Theoretical and Applied Mechanics

|

2004

|

Vol. 42 nr 3

651-666

EN

In the paper two kinds of uncertainty: randomness and imprecision are proposed to be considered in a structure description. Imprecise experts' opinions can be described using fuzzy numbers. As a results, the reliability analysis of a structure can be based on the limit state function with fuzzy parameters. As a consequence, the structural failure or survival can be treated as fuzzy events. The probabilities of these fuzzy events can be the upper and the lower estimations of the structural reliability. They can be achieved using well-known reliability methods (e.g. Hasofer-Lind index and Monte Carlo simulations). They can be used as a base for the calibration of partial safety factors in desing codes.

PL

W niniejszej pracy proponuje się uwzględnić w opisie konstrukcji dwa rodzaje niepewności: losowość i nieprecyzyjność. Nieprecyzyjne oceny ekspertów dotyczące konstrukcji proponuje się opisywać za pomocą liczb rozmytych. W rezultacie, niezawodność konstrukcji określać się będzie w oparciu o funkcję stanu granicznego z rozmytymi parametrami. W konsekwencji, awarię konstrukcji lub jej brak traktować się będzie jako rozmyte zdarzenia losowe. Prawdopodobieństwa tych zdarzeń stanowić będą dolne i górne oszacowanie niezawodności konstrukcji. Można je wyznaczać za pomocą metod stosowanych już w niezawodności (np. wskaźnik Hasofera-Linda lub metody Monte Carlo). Mogą one służyć jako podstawa kalibrowania częściowych współczynników bezpieczeństwa w normach projektowych.

19

Nonelementary Notes on Elementary Events

Frič R.

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

|

2003

|

Vol. 9

137--141

EN

Our goal is to present simple examples illustrating the nature and role of elementary events and random variables in probability theory, both classical and operational (fuzzy). As stated in Płocki [10], in teaching probability we should concentrate on the construction of probability spaces and their properties, and not on the calculation of probability of various strange events (like hitting a bear if we can shoot three times, etc.). On a rather advanced level, Łoś [8] analyzed the constructions of probability spaces in the classical probability. J. Loś explained the nature and underscored the role of elementary events. Roughly, the events form a Boolean algebra, but some probability properties of the algebra depend on its representation via subsets and this is done via the choice of some fundamental subset of events and the choice of elementary events. Remember, choice! There are situations in which the classical probability model is not quite suitable (quantum physics, fuzzy models, c.f. Dvurečenskij and Pulmannová [3], Frič [5]), and I would like to present simple examples and simple models of such situations. In order to understand the generalizations, let me start with a well-known example of throwing two dice.

20

The infinite divisibility and orthogonal polynomials with a constant recursion formula in free probability theory

Saitoh N., Yoshida H.

Probability and Mathematical Statistics

|

2001

|

Vol. 21, Fasc. 1

159--170

EN

We calculate Voiculescu’s R-transform of the compactly supported probability measure on Rinduced from the orthogonal polynomials with a constant recursion formula, and investigate its infinite divisibility with respect to the additive free convolution. In the case of infinite divisibility, we give the Lévy-Hinčin measure explicitly for the integral representation of the R-transform of the free analogue of the Lévy-Hinčin formula.