Temat: probabilistic - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Modeling and control of an unstable system using probabilistic fuzzy inference system
Autorzy:: Sozhamadevi, N.
Sathiyamoorthy, S.
Tematy:: inverted pendulum and cart system
probabilistic fuzzy set
probabilistic fuzzy relation
probabilistic fuzzy inference system
probabilistic fuzzy logic controller; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Powiązania:: https://bibliotekanauki.pl/articles/229309.pdf Link otwiera się w nowym oknie
Opis:: A new type Fuzzy Inference System is proposed, a Probabilistic Fuzzy Inference system which model and minimizes the effects of statistical uncertainties. The blend of two different concepts, degree of truth and probability of truth in a unique framework leads to this new concept. This combination is carried out both in Fuzzy sets and Fuzzy rules, which gives rise to Probabilistic Fuzzy Sets and Probabilistic Fuzzy Rules. Introducing these probabilistic elements, a distinctive probabilistic fuzzy inference system is developed and this involves fuzzification, inference and output processing. This integrated approach accounts for all of the uncertainty like rule uncertainties and measurement uncertainties present in the systems and has led to the design which performs optimally after training. In this paper a Probabilistic Fuzzy Inference System is applied for modeling and control of a highly nonlinear, unstable system and also proved its effectiveness.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 2.

Tytuł:: Determining transition probabilities in probabilistic algotithms
Wyznaczanie prawdopodobieństw przejść w algorytmach probabilistycznych
Autorzy:: Borowska, A.
Tematy:: algorytm probabilistyczny
program probabilistyczny
probabilistic algorithm
probabilistic programme; Pokaż więcej
Wydawca:: Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Powiązania:: https://bibliotekanauki.pl/articles/341029.pdf Link otwiera się w nowym oknie
Opis:: The main problem of the paper is related to the algebraic method for determining transition probabilities in probabilistic algorithms interpreted in finite structures. The correctness of this method is based on a lemma stating that the determinant of a matrix (being of a special form) is different from zero. The paper contains two proofs of this lemma, formulated without a proof in [3].
Poniższa praca zawiera dwa dowody lematu opublikowanego w pracy [3] bez dowodu. Algebraiczny fakt rozważany w lemacie jest punktem wyjściowym dla metody wyznaczania prawdopodobieństw przejść w iteracyjnych algorytmach probabilistycznych interpretowanych w skończonych dziedzinach. Dotyczy on niezerowości wyznacznika macierzy o pewnej specyficznej postaci.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 3.

Tytuł:: A Typology of Polish Farms Using Probabilistic D-Clustering
Autorzy:: Młodak, Andrzej
Kubacki, Jan
Tematy:: probabilistic dclustering; Pokaż więcej
Wydawca:: Główny Urząd Statystyczny
Powiązania:: https://bibliotekanauki.pl/articles/465786.pdf Link otwiera się w nowym oknie
Opis:: The Agricultural Census conducted in Poland in 2010 was partially based on administrative sources. These data collection will be supplemented by sample survey of agricultural farm. This research is aimed at creation of an effective typology of Polish farms, which is necessary for proper sampling and reflection of many special types of agricultural activity, such as combining it with non. agricultural work. We propose some universal form of such typology constructed using data collected from administrative sources during the preliminary agricultural census conducted in autumn 2009. It is based on the especially prepared method of fuzzy clustering, i.e. probabilistic d-clustering adopted for interval data. For this reason, and because of an ambiguous impact of some key variables on classification, relevant criterions are presented as intervals. They are arbitrarily established, but also - as an alternative way - are generated endogenically, using an original optimization algorithm. For a better comparison, relevant classification for data collected “from nature” is provided.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 4.

Tytuł:: Probabilistyczne metody podziału zbioru dóbr niepodzielnych
Autorzy:: Bożykowski, Marek
Tematy:: fair distribution
indivisible goods
probabilistic procedures
random priority
probabilistic serial; Pokaż więcej
Wydawca:: Akademia Leona Koźmińskiego w Warszawie
Powiązania:: https://bibliotekanauki.pl/articles/1198703.pdf Link otwiera się w nowym oknie
Opis:: Podział zbioru dóbr niepodzielnych w sytuacji, gdy rozdzielane dobra różnią się wartością, stwarza wyzwanie zapewnienia równości pomiędzy uczestnikami podziału. Jednym z najpopularniejszych sposobów na rozwiązanie tego problemu jest użycie loterii. W niniejszym artykule zaprezentowanych jest siedem wybranych procedur probabilistycznych: losowanie z rozkładu równomiernego, leksykografi czna procedura równych szans satysfakcji, procedura równych szans wyboru, core from random endowments, probabilistic serial, top trading cycles from equal division oraz procedura równych szans wyboru z nieskończenie dużym czynnikiem k. Niektóre z tych procedur zawsze prowadzą do tych samych rezultatów, co pewna inna procedura, są zatem wzajemnie równoważne. Ponadto artykuł przedstawia własności formalne tych procedur: porządkową optymalność, optymalność ex post oraz mocne i słabe wersje wolności od zazdrości, proporcjonalności, słuszności i odporności na indywidualne zachowania strategiczne.
In fair distribution of a set of indivisible goods it is problematic to provide basic equality if the goods differ in value. One of the most popular solutions to the problems are lotteries. The paper presents seven selected probabilistic procedures: random distribution, lexicographic procedure of equal chances of satisfaction, random serial dictatorship, core from random endowments, probabilistic serial, top trading cycles from equal division and random priority with infinite k factor. Some of these procedures always lead to the same result as some other procedure, therefore these procedures are equivalent. The formal features of the procedures are also analysed in the paper: ordinal efficiency, ex post efficiency, and both strong and week version of: envy-freeness, proportionality, equitability, and individual strategy-proofness.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 5.

Tytuł:: Improving modified policy iteration for probabilistic model checking
Autorzy:: Mohagheghi, Mohammadsadegh
Karimpour, Jaber
Isazadeh, Ayaz
Tematy:: probabilistic model checking
Markov decision processes
modified policy iteration
probabilistic reachability; Pokaż więcej
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Powiązania:: https://bibliotekanauki.pl/articles/27312850.pdf Link otwiera się w nowym oknie
Opis:: Along with their modified versions, value iteration and policy iteration are well-known algorithms for the probabilistic model checking of Markov decision processes. One challenge with these methods is that they are time-consuming in most cases. Several techniques have been proposed to improve the performance of iterative methods for probabilistic model checking; however, the running times of these techniques depend on the graphical structure of the utilized model. In some cases, their performance can be worse than the performance of standard methods. In this paper, we propose two new heuristics for accelerating the modified policy iteration method. We first define a criterion for the usefulness of the computations of each iteration of this method. The first contribution of our work is to develop and use a criterion to reduce the number of iterations in modified policy iteration. As the second contribution, we propose a new approach for identifying useless updates in each iteration. This method reduces the running time of the computations by avoiding the useless updates of states. The proposed heuristics have been implemented in the PRISM model checker and applied on several standard case studies. We compare the running time of our heuristics with the running times of previous standard and improved methods. Our experimental results show that our techniques yields a significant speed-up.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 6.

Tytuł:: On -independence in graphs
Autorzy:: Göring, Frank
Harant, Jochen
Rautenbach, Dieter
Schiermeyer, Ingo
Tematy:: independence
complexity
probabilistic method; Pokaż więcej
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Powiązania:: https://bibliotekanauki.pl/articles/744400.pdf Link otwiera się w nowym oknie
Opis:: Let be a set of graphs and for a graph G let $α_{}(G)$ and $α*_{}(G)$ denote the maximum order of an induced subgraph of G which does not contain a graph in as a subgraph and which does not contain a graph in as an induced subgraph, respectively. Lower bounds on $α_{}(G)$ and $α*_{}(G)$ are presented.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 7.

Tytuł:: Modeling and analysis of probabilistic real-time systems through integrating event-b and probabilistic model checking
Autorzy:: Debbi, Hichem
Tematy:: event-B
probabilistic event-B
real-time probabilistic model checking
PTA
PRISM; Pokaż więcej
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Powiązania:: https://bibliotekanauki.pl/articles/27312896.pdf Link otwiera się w nowym oknie
Opis:: Event-B is a formal method that is used in the development of safety-critical systems; however, these systems may introduce uncertainty and also need to meet real-time requirements, which make the modeling and analysis of such systems a challenging task. While some works exist that try to extend Event-B with probability and over time, they fail to address both in a single framework. Besides, these works mainly addressed extending the language itself, not integrating extended Event-B with verification. In this paper, we aim to represent both probability and time in the Event-B language, and we will show how such a representation can be automatically translated into the probabilistic timed automata (PTA) that are described in the language of the PRISM probabilistic model checker. This transformation approach would allow us to analyze the probabilistic and time-bounded probabilistic reachability properties of probabilistic real-time systems through probabilistic timed CTL (PTCTL) logic.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 8.

Tytuł:: An efficient method for calculating system non-probabilistic reliability index
Autorzy:: Liu, Hui
Xiao, Ning-Cong
Tematy:: non-probabilistic model
non-probabilistic reliability index
system reliability
implicit function
Kriging model; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Powiązania:: https://bibliotekanauki.pl/articles/2038190.pdf Link otwiera się w nowym oknie
Opis:: Collecting enough samples is difficult in real applications. Several interval-based non-probabilistic reliability methods have been reported. The key of these methods is to estimate system non-probabilistic reliability index. In this paper, a new method is proposed to calculate system non-probabilistic reliability index. Kriging model is used to replace time-consuming simulations, and the efficient global optimization is used to determine the new training samples. A refinement learning function is proposed to determine the best component (or performance function) during the iterative process. The proposed refinement learning function has considered two important factors: (1) the contributions of components to system nonprobabilistic reliability index, and (2) the accuracy of the Kriging model at current iteration. Two stopping criteria are given to terminate the algorithm. The system non-probabilistic index is finally calculated based on the Kriging model and Monte Carlo simulation. Two numerical examples are given to show the applicability of the proposed method.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 9.

Tytuł:: Translation of probabilistic games in J2TADD
Translacja gier probabilistycznych w J2TADD
Autorzy:: Rataj, A.
Tematy:: model checking
Java
probabilistic game; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Powiązania:: https://bibliotekanauki.pl/articles/375653.pdf Link otwiera się w nowym oknie
Opis:: A new version of J2TADD - a translator from Java to automatons- is described, which adds support for a translation of Markov processes with non-dcterministic players, that can form coalitions, which in turn strive for different aims. In order to ease the definition of a probabilistic game using a plain Java application, several new constructs, and also a special library, are supported within the input language.Ranges on variables or on expressions can be defined, what helps in checking the self-consistency of a model, and can also make the solving of the model faster.
Artykuł prezentuje nową wersję translatora J2TADD. Dodane zostało tłumaczenie procesów markowowskich z niedelerministycznymi graczami, mogącymi formować koalicje mające różne cele. By ułatwić pisanie gier probabilistycznych dodane zostało kilka specyficznych dla gier konstrukcji, jak również specjalna biblioteka. Aktualnej wersja posiada również kilka innych usprawnień: ● wybory, które są zwykłymi wyrażeniami języka Java, jednak hc tłumaczy je na specyficzne dla automatów rozgałęzienia probabilistyczne lub niedeterministyczne; ● można definiować dopuszczalne wartości zmiennych, co pomaga w sprawdzaniu wewnętrznej spójności modelu, a także może przyspieszyć jego rozwiązanie; ● różne metody specyfikacji niezmienników i warunków zegarowych. Artykuł prezentuje jako przykład prostą grę probabilistyczną, modelującą rynek lokalnego dostawcy energii elektrycznej. W ramach przykładu omawiane są wersje automatów do rozwiązywania metodą analityczną i symulacyjną.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 10.

Tytuł:: Probabilistic analysis of the set packing problem
Raport Badawczy = Research Report ; RB/57/2004
Autorzy:: Szkatuła, Krzysztof
Wydawca:: Instytut Badań Systemowych. Polska Akademia Nauk
Systems Research Institute. Polish Academy of Sciences
Powiązania:: Raport Badawczy = Research Report
Opis:: The paper deals with the well known set packing problem. It is assumed that some of the problem coefficients are realizations of mutually independent random variables. Probabilistic properties of selected problem characteristics are investigated for the variety of possible instances of the problem. The main result of the paper states that, but trivial cases, there is no feasible solution, with probability approaching 1, for the considered class of the random set packing problems in the asymptotical case.
Bibliography p. 12
Bibliografia s. 12
12 stron ; 21 cm
12 pages ; 21 cm
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Informacja

Wyszukujesz frazę "probabilistic" wg kryterium: Temat