Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "probabilistic model" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 47
Tytuł:
Analysis of real underkeel clearance for Świnoujście–Szczecin waterway in years 2009-2011
Autorzy:
Schoeneich, M.
Sokołowska, S.
Powiązania:
https://bibliotekanauki.pl/articles/360553.pdf
Data publikacji:
2012
Wydawca:
Akademia Morska w Szczecinie. Wydawnictwo AMSz
Tematy:
real data
probabilistic model
underkeel clearance
Opis:
The paper presents the practical using of model for underkeel clearance evaluation. Real data from Maritime Office concerning ships which enter ports was used to analysis of results first probabilistic model of underkeel clearance and next integrated system. During analysis mean probability that underkeel clearance will be less than zero was determined for ports in Świnoujście, Szczecin and Police. Results of this analysis can be used for further research connected with integrated system for underkeel clearance calculation.
Źródło:
Zeszyty Naukowe Akademii Morskiej w Szczecinie; 2012, 32 (104) z. 2; 162-166
1733-8670
2392-0378
Pojawia się w:
Zeszyty Naukowe Akademii Morskiej w Szczecinie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Models of Probability for Random Variables of Bernoulli Distribution
Modele prawdopodobieństwa dla zmiennych losowych o rozkładzie Bemoulli’ego
Autorzy:
Mantaj, Andrzej
Wagner, Wiesław
Powiązania:
https://bibliotekanauki.pl/articles/906306.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Bernoulli distribution
probabilistic model
probit model
logit model
Opis:
W pracy przedstawiono metodę szacowania parametrów strukturalnych modelach prawdopodobieństwa wybranych zmiennych losowych. W metodzie wykorzystuje się ich dystrybuanty odwrotne, które przy zadanych wartościach empirycznych parametru p zmiennej losowej o rozkładzie Bemoulli’ego pozwalają wyznaczyć wartości zmiennej zależnej. Prowadzi to w konsekwencji do odpowiednich modeli liniowych, które umożliwiają uogólnioną metodą najmniejszych kwadratów wyznaczyć poszukiwane parametry strukturalne. Modele takie zostały zbudowane dla rozkładów: jednostajnego, normalnego, logistycznego i wykładniczego, przy czym w przypadku rozkładów jednostajnego i wykładniczego uwzględniono także ich parametry. Postępowanie to pozwoliło na sformułowanie ogólnej procedury estymacji parametrów rozważnych modeli.
In the paper, on the selected distributions o f probability there were given models allowing for estimation of structural parameters by the generalized least squares method, by applying various types of function of the independent variable in models. It allowed a uniform perspective of the method of estimation of structural parameters and forecasting the value of parameter p, presented in the final part of the article.
Źródło:
Acta Universitatis Lodziensis. Folia Oeconomica; 2009, 228
0208-6018
2353-7663
Pojawia się w:
Acta Universitatis Lodziensis. Folia Oeconomica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Model of ferry captain’s manoeuvres decision
Autorzy:
Kowalski, A.
Powiązania:
https://bibliotekanauki.pl/articles/359020.pdf
Data publikacji:
2012
Wydawca:
Akademia Morska w Szczecinie. Wydawnictwo AMSz
Tematy:
ferry manoeuvres
Bayesian networks
probabilistic model
decision model
Opis:
The paper introduces the results of research concerning modelling of ferry captain’s manoeuvres decision. The author’s probabilistic model has been validated with real time manoeuvres of the ferry m/f “Polonia” at the Ystad harbour by using Bayesian belief networks. Variables, quality factors, network example, model’s suggested settings of propellers and rudder for selected real manoeuvres have also been presented. Comparison to existing methods and models has also been presented. Finally, there are some conclusions concerning the described model. Are also included some proposed practical applications.
Źródło:
Zeszyty Naukowe Akademii Morskiej w Szczecinie; 2012, 32 (104) z. 2; 98-102
1733-8670
2392-0378
Pojawia się w:
Zeszyty Naukowe Akademii Morskiej w Szczecinie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Methods of development network analysis as a tool improving efficient organization management
Autorzy:
Wołowiec, Tomasz
Szybowski, Daniel
Prokopowicz, Dariusz
Powiązania:
https://bibliotekanauki.pl/articles/1375502.pdf
Data publikacji:
2019
Wydawca:
Międzynarodowy Instytut Innowacji Nauka – Edukacja – Rozwój w Warszawie
Tematy:
dependence networks
organization management
efficiency
the probabilistic model
Opis:
The analysis of the dependence network consists in the calculation of dates and time reserves of subsequent events, and then on the calculation of the time stocks during the execution of particular activities. In the dependency network, it is possible to calculate the earliest and the latest possible date of occurrence of each event and the possible reserve of time. Thanks to this, we will learn the stock of time related to individual activities. Those activities that do not have a stock of time (that is, the reserve is equal to zero) are called critical activities. All critical activities in the dependence network create a critical path. We will not have any stock of time on the entire critical path (from the event of the initial linking network to the final event). What's the conclusion? Activities that are on the critical path must be made at the scheduled time, because it will decide on keeping the deadline for the entire undertaking.
Źródło:
International Journal of New Economics and Social Sciences; 2019, 9(1); 229-249
2450-2146
2451-1064
Pojawia się w:
International Journal of New Economics and Social Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analysis of the ships’ UKC by probabilistic model based on chosen real data in period 2005 till 2009
Autorzy:
Schoeneich, M.
Powiązania:
https://bibliotekanauki.pl/articles/2069658.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
under-keel clearance
UKC
probabilistic model
real data
Opis:
The paper is concerned with the analysis of under-keel clearance of ships based on real data from Szczecin Maritime Office. Using probabilistic method for UKC assessment give it possibility to create the distribution of under-keel clearance in several ship’s passages and in further step to determine the probability of ship’s grounding accident during the port approach. The results of using this type of model could be used in risk assessment of ships entering to the ports, therefore it is possible to used probabilistic model in Maritime Office employees’ everyday decision making practice. Research results present verification of probabilistic model, based on data from Vessel Traffic Service database and probability of touching the bottom during ships’ passages on Swinoujscie - Szczecin waterway. Moreover there are presented examples of these situations when entering to the port for analysed ships is not allowed according to the model.
Źródło:
Journal of Polish Safety and Reliability Association; 2010, 1, 1; 215--220
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Improving modified policy iteration for probabilistic model checking
Autorzy:
Mohagheghi, Mohammadsadegh
Karimpour, Jaber
Isazadeh, Ayaz
Powiązania:
https://bibliotekanauki.pl/articles/27312850.pdf
Data publikacji:
2022
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
probabilistic model checking
Markov decision processes
modified policy iteration
probabilistic reachability
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.
Źródło:
Computer Science; 2022, 23 (1); 63--80
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An efficient method for calculating system non-probabilistic reliability index
Autorzy:
Liu, Hui
Xiao, Ning-Cong
Powiązania:
https://bibliotekanauki.pl/articles/2038190.pdf
Data publikacji:
2021
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
non-probabilistic model
non-probabilistic reliability index
system reliability
implicit function
Kriging model
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.
Źródło:
Eksploatacja i Niezawodność; 2021, 23, 3; 498-504
1507-2711
Pojawia się w:
Eksploatacja i Niezawodność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of delta function to probabilistic modeling of communication delays in wireless networks – introduction and mathematical basis
Autorzy:
Jakubiec, J.
Krupanek, B.
Powiązania:
https://bibliotekanauki.pl/articles/114683.pdf
Data publikacji:
2015
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
delta function
wireless networks
probabilistic model of communication delays
Opis:
The paper presents the mathematical basis of a new method for building probabilistic models of communication delays in wireless networks in the case if the sent data are not correct and have to be retransmitted. The method is based on using a delta function sequence to describe delays in retransmissions between a transmitter and a receiver [1, 2] under assumption that the access time of the transmitter is taken as random and described by a probability density function. The retransmissions are caused by passive or active external disturbances influencing the communication channel established in the wireless medium [3, 4, 5]. Theoretical considerations are illustrated by examples using both measured and simulated data.
Źródło:
Measurement Automation Monitoring; 2015, 61, 9; 426-429
2450-2855
Pojawia się w:
Measurement Automation Monitoring
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling and analysis of probabilistic real-time systems through integrating event-b and probabilistic model checking
Autorzy:
Debbi, Hichem
Powiązania:
https://bibliotekanauki.pl/articles/27312896.pdf
Data publikacji:
2022
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
event-B
probabilistic event-B
real-time probabilistic model checking
PTA
PRISM
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.
Źródło:
Computer Science; 2022, 23 (4); 545--570
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Model systemu ekspertowego rozmyto-probabilistycznego oceny zdatności obiektu technicznego w zarządzaniu linią produkcyjną
Autorzy:
Topolska, K.
Powiązania:
https://bibliotekanauki.pl/articles/314544.pdf
Data publikacji:
2016
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
obiekt techniczny
model rozmyty
model probabilistyczny
technical object
fuzzy model
probabilistic model
Opis:
Ocena zarządzania obiektami technicznymi wymaga bardzo często specjalistycznego podejścia. Bardzo złożone nieliniowe przestrzenie cech wymagają szukanie rozwiązań stosując różnych łączonych teorii. Autorka przedstawia w artykule teorie łączącą model rozmyty z modelem probabilistycznym. Zasadność takiego modelu jest uzasadniona w przypadkach kiedy cechy obiekty da się opisać modelem Bayesa lecz ze względu na dużą złożoność i nieprecyzyjność danych konieczne staje się zastosowanie metod opisujących takie dane.
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2016, 17, 6; 1796-1801
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Probabilistyczny model wyniku pomiaru wartości chwilowej wielkości zmiennej w czasie
Probabilistic model of instantaneous value measurement result of varying in time quantity
Autorzy:
Jakubiec, J.
Powiązania:
https://bibliotekanauki.pl/articles/156154.pdf
Data publikacji:
2005
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sampling
quantizing
probabilistic error model
uncertainty
Opis:
W artykule rozpatrywane jest zagadnienie pomiaru wartości chwilowej wielkości zmieniającej się w czasie za pomocą toru pomiarowego składającego się z układu próbkująco/pamietającego oraz przetwornika A/C. Opisano sposób modelowania właściwości metrologicznych elementów toru oraz probabilistyczny model wyniku pomiaru uzyskiwanego na jego wyjściu. Przedstawiono metodę weryfikacji tego rodzaju modelu dla przypadku, gdy obejmuje on wiele źródeł błędu.
The paper characterizes the problem of instantaneous value measurement of a quantity varying in time by using a measuring chain consists of a Sample/Hold circuit and an AD converter. A method of metrological properties modeling of the chain elements and a model of measurement result obtained at the output of the chain has been presented. A verification method of such a kind model, for the situation when it contains many error sources, has been described.
Źródło:
Pomiary Automatyka Kontrola; 2005, R. 51, nr 2, 2; 28-31
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of delta function in probabilistic modeling of communication delays in wireless networks – measurement identification and application of the delay model
Autorzy:
Jakubiec, J.
Krupanek, B.
Powiązania:
https://bibliotekanauki.pl/articles/114559.pdf
Data publikacji:
2015
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
delta function
wireless networks
probabilistic model of delays
identification of model parameters
Opis:
The paper is the second part of the publication [1] which presents the mathematical fundamentals of a new probabilistic model of communication delays in wireless networks. This model is based on a delta function sequence used to describe retransmissions between a transmitter and a receiver [2], [3] which occur when external disturbances influence a wireless transmission. In the paper, there are described a method of identification of the proposed model parameters on the basis of measurements results of delays and verification of the identified values. The model application for describing delays in multi-node wireless networks is presented and illustrated by examples.
Źródło:
Measurement Automation Monitoring; 2015, 61, 11; 498-502
2450-2855
Pojawia się w:
Measurement Automation Monitoring
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wyznaczanie miar jakości testu z zastosowaniem probabilistycznego modelu pomiaru
Estimation of test metrics using a probabilistic model for measurement processes
Autorzy:
Toczek, W.
Powiązania:
https://bibliotekanauki.pl/articles/155359.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
miary jakości testu
probabilistyczny model pomiaru
test metrics
probabilistic model of measurement process
Opis:
Zaproponowano szybką analityczną metodę wyznaczania miar jakości testu na etapie jego projektowania. Metoda bazuje na dwóch modelach probabilistycznych - modelu pomiaru oraz modelu odpowiedzi układu testowanego na pobudzenie sygnałem testującym. Podano przykład wyznaczenia straty uzysku spowodowanej niepewnością progu komparatora w układzie testującym wyrób elektroniczny.
In the paper a rapid model-based method of estimating indicators of test quality at the test design stage is considered. The test metrics such as yield coverage (1), yield loss (2), defect level (3) etc. are calculated with a precision of ppm (parts per million). The novelty of the approach is use for calculations a probabilistic model of the test (9), adapted from a general probabilistic model of the measurement process proposed by Rossi [2], together with a probabilistic model of the circuit under test (CUT) performances (10). It is assumed that the CUT performances follow a generalized Rayleigh distribution (Fig. 1), derived by the author [3]. An example is included to illustrate the calculation of yield loss as a function of the comparator threshold (Fig. 2) in the tester of the electronic CUT. The results are positively verified by the Monte Carlo method. A large population of instances is rapidly generated (Tab. 1) from the probabilistic model of the CUT. These data are used to compute test metrics.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 1, 1; 15-17
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Probability Model of Ties in Multistage Decision Process
Probabilistyczny model wiązań w wieloetapowym procesie decyzyjnym
Autorzy:
Pasewicz, Wiesław
Wagner, Wiesław
Powiązania:
https://bibliotekanauki.pl/articles/904916.pdf
Data publikacji:
2004
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Multistage decision process
importance of ties
probability
graphs
probabilistic model
decision proces
Opis:
Probability model on multistage decision process is discussed with particular emphasis on special case using the rule R(4, 2). An idea of importance graph ties is presented. Possibility recording probability of success in multistage decision process as linear combination others probabilities of the decision process is presented as well.
W artykule rozważany jest model probabilistyczny wielostopniowego procesu decyzyjnego ze specjalnym uwzględnieniem przypadku użycia reguły R(4, 2). Zaprezentowano ideę wiązań w grafach oraz możliwość przedstawienia prawdopodobieństwa sukcesu w wielostopniowym procesie decyzyjnym jako liniową kombinację innych prawdopodobieństw w procesie decyzyjnym.
Źródło:
Acta Universitatis Lodziensis. Folia Oeconomica; 2004, 175
0208-6018
2353-7663
Pojawia się w:
Acta Universitatis Lodziensis. Folia Oeconomica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Identyfikacja losowych rozkładów parametrów cieplnych złoża, będących konsekwencją probabilistycznego charakteru procesu ładowania kamiennego akumulatora ciepła
Identification of rock-bed thermal parameters random distribution as a result of probabilistic character of the storage charging process
Autorzy:
Mueller, W.
Powiązania:
https://bibliotekanauki.pl/articles/286359.pdf
Data publikacji:
2005
Wydawca:
Polskie Towarzystwo Inżynierii Rolniczej
Tematy:
akumulator energii cieplnej
złoże kamienne
model probabilistyczny
thermal energy storage
rock bed
probabilistic model
Opis:
Akumulatory energii cieplnej stanowią ważny element w procesie dopasowywania charakterystyki źródła z zmiennym zapotrzebowaniem na energię. Problem ten jest szczególnie istotny w przypadku źródeł niekonwencjonalnych. Dodatkowym czynnikiem wpływającym na kształtowanie się tego zjawiska jest probabilistyczny charakter źródła energii jej pozyskiwania jak i przechowywania. W fazie ładownia kamiennego akumulatora energii cieplnej losowy charakter posiada średnica równoważna elementów złoża jak i temperatura otoczenia i powietrza zasilającego, uzyskiwanego z kolektora słonecznego. Zostało to uwzględnione w modelu matematycznym, który stanowił podstawę do budowy systemu informatycznego. Wykorzystano go następnie do realizacji symulacji komputerowej, celem identyfikacji rozkładów losowych temperatury powietrza, kamieni w poszczególnych przekrojach złoża jak również ilości energii cieplnej w nim skumulowanej.
Thermal energy storage systems constitute an important element in the process of matching an energy source with a receiver of a variable energy demand. This is particularly important in cases of unconventional energy sources. Probabilistic character of the energy source as well as of the process of gathering & storing the energy influence the form of the phenomenon. In the phase of charging a rock-bed storage, both equivalent diameter of bed parts, ambient temperature & the temperature of the outlet air of a solar energy collector are of random character. This was considered in the mathematical model - a base to create a computer program to simulate the process of energy storage. The aim was to identify random distribution of ambient air temperature, rock temperature at various bed levels & the amount of energy stored.
Źródło:
Inżynieria Rolnicza; 2005, R. 9, nr 2, 2; 101-110
1429-7264
Pojawia się w:
Inżynieria Rolnicza
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 47

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies