Wyszukiwarka
Filtry
wszystkich: 4037
wybranych: 2668
-
Katalog
- Publikacje 2668 wyników po odfiltrowaniu
- Osoby 704 wyników po odfiltrowaniu
- Wynalazki 30 wyników po odfiltrowaniu
- Projekty 41 wyników po odfiltrowaniu
- Laboratoria 2 wyników po odfiltrowaniu
- Zespoły Badawcze 17 wyników po odfiltrowaniu
- Aparatura Badawcza 4 wyników po odfiltrowaniu
- Kursy Online 466 wyników po odfiltrowaniu
- Wydarzenia 30 wyników po odfiltrowaniu
- Dane Badawcze 75 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: PROFESOR JERZY KOŁODZIEJSKI
-
Fake VIP Attacks and Their Mitigation via Double-Blind Reputation
PublikacjaIn a generic setting subsuming communication networks, resource sharing systems, and multi-agent communities, a client generates objects of various classes carrying class-dependent signatures, to which a server assigns class-dependent service quality. A Fake VIP attack consists in false declaration of a high class, with an awareness that detection of object signature at the server side is costly and so invoked reluctantly. We show...
-
Reliability and types of diagnosis in the process of diesel engine operation
PublikacjaThe article presents complexity of the problem concerning development of diagnosis with defined reliability by a diagnosing system (SDG) on technical condition of marine combustion engines, especially main engines. It was shown that development of the final diagnosis, the so-called initial operation diagnosis, on the operational usability (fDG on PEx) of a main engine in particular, is not possible without prior development of...
-
Energetyczne ujęcie działania komór spalania okrętowych silników spalinowych tłokowych i turbinowych
PublikacjaPrzedstawiono propozycję wartościowania (ilościowego określenia) działania komór spalania tłokowych i turbinowych silników spalinowych z uwzględnieniem zachodzących w nich takich rodzajów przemiany energii jakimi są ciepło i praca. Przedstawione rozważania bazują na fakcie, że w komorach spalania tego rodzaju silników spalinowych zachodzi przekształcanie energii chemicznej zawartej w dostarczonym do niej paliwie (ściślej – energii...
-
Threshold Attendance under Soft-Crash Model: TAG Protocol and Markovian Analysis
PublikacjaA realistic and systematic network evaluation should subsume an availability model and a failure model. We combine a "hard availability" model we call threshold attendance, whereby a certain minimum number of network elements must be present at any time, with a soft-crash failure model, whereby after experiencing a failure, a network element is still able to function correctly for a while in an emergency mode at a risk of a major...
-
Double-Blind Reputation vs. Intelligent Fake VIP Attacks in Cloud-Assisted Interactions
PublikacjaWe consider a generic model of Client-Server interactions in the presence of Sender and Relay, conceptual agents acting on behalf of Client and Server, respectively, and modeling cloud service providers in the envisaged "QoS as a Service paradigm". Client generates objects which Sender tags with demanded QoS level, whereas Relay assigns the QoS level to be provided at Server. To verify an object's right to a QoS level, Relay detects...
-
Model korekty błędem i jego funkcja trendu przełącznikowego - symulacja i interpretacja
PublikacjaStreszczenie W części teoretycznej artykułu zdefiniowano funkcję trendu przełącznikowego przyporządkowanego jednoznacznie dynamicznemu modelowi korekty błędem (ECM). Przełącznikami w zdefiniowanym trendzie są zmienne egzogeniczne modelu dynamicznego. Prowadząc rozważania dotyczące obu postaci przyczynowo-skutkowego modelu autoregresyjnego: • zdefiniowano krótko i długookresowe efekty mnożnikowe oddziaływania zmiennych egzogenicznych...
-
MEMS Gyro in the Context of Inertial Positionning
PublikacjaThe article undertake some vital aspect in geodesy, namely an inertial positioning problem using MEMS. Although MEMS inertial sensors offer affordable, appropriately scaled units, and though their inherent measurement noise can be relatively easily mitigated, there are still parameters due to they are not currently capable of meeting all requirements for the accurate and precise inertial positioning. The article presents crucial...
-
METODOLOGICZNE PROBLEMY REALIZACJI BADAŃ EMPIRYCZNYCH URZĄDZEŃ ENERGETYCZNYCH OKRĘTOWYCH SIŁOWNI SPALINOWYCH
PublikacjaW referacie scharakteryzowano w ujęciu ogólnym wymagania obowiązujące a badaniach naukowych, zwłaszcza empirycznych, w zakresie metodologicznym i na przykładzie badań urządzeń energetycznych siłowni okrętowych, ze szczególnym uwzględnieniem okrętowych silników spalinowych o zapłonie samoczynnym. Scharakteryzowano problemy pojawiające się przy formułowaniu i weryfikacji hipotez naukowych oraz przedstawianiu tez i ich udowadnianiu....
-
Autonomous Vehicle Navigation in Dense Urban Area in Global Positioning Context
PublikacjaAutonoumous vehicle services are likely to be adopted in dense urban area. Some research prove that autonomous transport might be capable of improving the transport needs of few times and as a consequence sustainability, congestion and safety may be improved. The world, hopefully is close to a transport revolution age. These studies are perhaps exaggerated, over-optimistic and far fro fully operational. The paper takes into account...
-
MEMS Technology Evaluation for Submerged Vehicle Navigation
PublikacjaAnalysis of some vital aspects of inertial navigation using MEMS. The paper presents a few aspects of MEMS gyro errors, and their estimation process in the context of INS processing flow. These errors have a serious impact on overall inertial system performance. The results of undertaken researches in that area, and pointing out the main difficulties behind the INS when using a few top MEMS technologies, including sophisticated...
-
Własności kwantowe przemian energetycznych zachodzących w silnikach o zapłonie samoczynnym = Quantum properties of energy transformation in diesel engines
PublikacjaW pracy uzasadniono, że w badaniach własności energetycznych silników spalinowych o zapłonie samoczynnym należy uwzględnić istniejącą w ich eksploatacji przypadkowość i nieprzewidywalność zdarzeń. Nawiązano do osiągnięć mechaniki kwantowej wskazując na wynikający z nich postulat, że wielkości nazywane komplementarnymi, mają istotną własność, która polega na tym, że niemożliwy jest jednoczesny i zarazem dokładny pomiar ich wartości....
-
A model of fuel combustion process in the marine reciprocating engine work space taking into account load and wear of crankshaft-piston assembly and the theory of semi-Markov processes
PublikacjaThe ar ticle analyses the operation of reciprocal internal combu stion engines, with mar ine engines u sed a s an example. The analysis takes into account types of energy conversion in the work spaces (cylinders) of these engines, loads of their crankshaft-piston assemblies, and types of fuel combustion which can take place in these spaces during engine operation. It is highlighted that the analysed time-dependent loads of marine...
-
Zastosowanie trendów przełącznikowych w analizie płac realnych w Polsce
PublikacjaStreszczenie W początkowej części artykułu zostały przedstawione i omówione informacje o poziomie miesięcznych nominalnych płac (WN) oraz indeksie cen dóbr konsumpcyjnych (ICK) w gospodarce polskiej w latach 1995-2015. Następnie opisano poziomy realnych płac (W) wyrażone w cenach roku 2015. Na bazie tych informacji przedstawiono i przedyskutowano zagadnienia dotyczące rocznych przyrostów płac realnych oraz ich rocznych stóp wzrostu....
-
Application of semi-Markov processes for evaluation of diesel engines reliability with regards to diagnostics
PublikacjaThe paper presents semi-Markov models of technical state transitions for diesel engines, useful for determination of their reliability, as a result of the conducted statistical empirical studies. Interpretation of technical states provided for this sort of engines refers to ship main engines, i.e. engines employed in propulsion systems of sea-going ships. The considerations recognize diesel engine as a diagnosed system (SDN), of...
-
Wzrost gospodarczy a zapotrzebowanie na prace - teoria i rzeczywistość gospodarcza Polski w latach 1995-2014
PublikacjaW części teoretycznej artykułu w pierwszej kolejności przedstawiono makroekonomiczne podstawy zapotrzebowania na pracę w warunkach postępu technicznego oraz zmian kapitału rzeczowego. W następnej kolejności sformułowano założenia dla modelu opisującego zależności pomiędzy stopami wzrostu produktu krajowego i zatrudnienia. W części empirycznej artykułu rozważano wybrane wersje oszacowanego modelu opisujące gospodarkę Polski. Do...
-
Dynamika miar zaufania w teleinformatycznym systemie wieloagentowym
PublikacjaSformułowano model interakcji agentów (elementów systemu teleinformatycznego) oraz dynamiki ich miar zaufania w sytuacji wirtualnej anonimowości agentów, przypadkowego wyboru partnerów oraz typowego algorytmu agregacji danych reputacyjnych. Determini-styczne przybliżenie dynamiki markowowskiej pozwala obserwować istotne charakterystyki stanu ustalonego.
-
Reputacja i zaufanie w systemach teleinformatycznych z podmiotami anonimowymi podejście dynamiczne
PublikacjaAbstrakcją współczesnego systemu teleinformatycznego jest system wieloagentowy z autonomicznymi, racjonalnymi i wirtualnie anonimowymi agentami wchodzącymi we wzajemne interakcje dla wymiany usług. W referacie uzasadniono konieczność projektowania dla niego podsystemu budowy reputacji i zaufania oraz odpowiednich analiz w ujęciu dynamicznym. Dokonano przeglądu motywacyjnie zgodnych mechanizmów uczciwego raportowania usług oraz...
-
Trust Dynamics Analysis of CTR Scheme Subversion under Virtual Anonymity and Trust-Unaware Partner Selection
PublikacjaWe propose a framework to study Markovian trust value dynamics in a centralized Computational Trust and Reputation (CTR) scheme under trust-unaware partner selection using a mean-value approximation. Analytically founded answers are sought to questions like: Can dishonest agents subvert the CTR scheme (i.e., acquire higher trust values than honest agents)? Is indirect reciprocity incentivized? Is there a qualitative impact of a...
-
IDENTIFICATION OF DAMAGES OF TRIBOLOGICAL ASSOCIATIONS IN CRANKSHAFT AND PISTON SYSTEMS OF TWO-STROKE INTERNAL COMBUSTION ENGINES USED AS MAIN PROPULSION IN SEA-GOING VESSELS AND PROPOSAL OF PROBABILISTIC DESCRIPTION OF LOADS AS CAUSES OF THESE DAMAGES
PublikacjaThe article discusses damages of essential tribological associations in crankshaft and piston systems of large power two-stroke engines used as main engines, which take place during transport tasks performed by those ships. Difficulties are named which make preventing those damages impossible, despite the fact that the technical state of engines of this type is identified with the aid of complex diagnostic systems making use of...
-
Feature Reduction Using Similarity Measure in Object Detector Learning with Haar-like Features
PublikacjaThis paper presents two methods of training complexity reduction by additional selection of features to check in object detector training task by AdaBoost training algorithm. In the first method, the features with weak performance at first weak classifier building process are reduced based on a list of features sorted by minimum weighted error. In the second method the feature similarity measures are used to throw away that features...
-
A Special Section on Intelligent User Interfaces in Healthcare (IUIH)
PublikacjaA concept of interface has evolved from the first appearance in the form of a command line interface to the established use of direct manipulation or WIMP (windows, icons, menus and pointing) interfaces in nearly all applications. Intelligent user interfaces (IUI) form a subfield of Human-Computer Interaction research. Optimal human-computer interactions are defined as ones where users are able to perform complex tasks more quickly...
-
Czy Krajowe Ramy Kwalifikacji są elementem podnoszącym jakość kształcenia na studiach wyższych?
PublikacjaW artykule przedstawiono znaczenie Krajowych Ram Kształcenia (KRK) w aspekcie Europejskich Ram Kształcenia. Zanalizowano wpływ KRK na jakość kształcenia na studiach wyższych. Szczególną uwagę zwrócono na zalety programu wdrażania KRK na poszczególnych uczelniach z punktu widzenia działalności administracji oraz na niebezpieczeństwa dla jakości kształcenia wynikające ze zmniejszeniem elastyczności modyfikacji programów studiów,...
-
Multiscaled Hybrid Features Generation for AdaBoost Object Detection
PublikacjaThis work presents the multiscaled version of modified census features in graphical objects detection with AdaBoost cascade training algorithm. Several experiments with face detector training process demonstrate better performance of such features over ordinal census and Haar-like approaches. The possibilities to join multiscaled census and Haar features in single hybrid cascade of strong classifiers are also elaborated and tested....
-
Application of acoustic emission for detection of fatigue microdemage in main and crank bearings for diesel engines
PublikacjaThe article presents reasons for applying the acoustic emission (AE) to detect fatigue microdamage in main bearings and crank bearings of ship main engines. Problem of determination of the fatigue life for slide bearing bushes was characterized in general. There were demonstrated properties of the objects of research, which were bushings made of the MB58 alloy, as well as an overall description of the research. It was shown that...
-
AUTOMATED NEGOTIATIONS OVER COLLABORATION PROTOCOL AGREEMENTS
PublikacjaThe dissertation focuses on the augmentation of proactive document - agents with built-in intelligence to recognize execution context provided by devices visited during a business process, and to reach collaboration agreement despite conflicting requirements. The proposed solution, based on intelligent bargaining using neural networks to improve simple multi-issue negotiation between the document and thedevice, requires practically...
-
Automatyczna negocjacja protokołu uzgodnień miedzy agentami
PublikacjaAutomatyczna negocjacja protokołu uzgodnień między agentami programowymi a urządzeniami wykonawczymi. Rozdział koncentruje się na rozszerzeniu funkcjonalności proaktywnych dokumentów(agentów) z wbudowana inteligencją o możliwości negocjacyjne.Ich celem jest umożliwienie rozpoznawania kontekstu wykonawczego urządzenia odwiedzanego przez dokument, by osiągnąć ugodę mimo skonfliktowanych wymagań urządzenia i dokumentu. Proponowane...
-
Wzrost gospodarczy Polski po wstąpieniu do Unii Europejskiej - analiza porównawcza
PublikacjaW początkowej części artykułu zostały opisane warunki funkcjonowania gospodarki polskiej w okresie poprzedzającym przystąpienie Polski do Unii Europejskiej. W pierwszej części empirycznej artykułu dokonano porównania wzrostu gospodarczego Polski ze wzrostem gospodarczym pozostałych dziewięciu krajów, z którymi Polska 1 maja 2004 roku została przyjęta do Unii Europejskiej. Wstępna analiza pozwoliła stwierdzić, że w okresie 2003-2014...
-
Submerged objects modeling and storing in a global reference context using multiresolution spline technique,
PublikacjaContemporary records from multibeam sonars or even elevations from 3D shuttle radar topography missions feature high resolution. On the other hand, bathymetric models of a different resolution from different sensors are available as well, beginning from very high resolution MBS records and low resolution records coming from regular scattered measurements. Approximating and eventually visualizing the high volume scattered 3D raster...
-
Możliwość oszacowania niezawodności silników o zapłonie samoczynnym z zastosowaniem teorii procesów semi-Markowa oraz podejmowania decyzji eksploatacyjnych z uwzględnieniem wiarygodności diagnozy o stanie technicznym tego rodzaju silników spalinowych = Possibility of estimating the reliability of diesel engines by applying the theory of semi-Markov processes and making operational decisions by considering reliability of diagnosis on technical state of this sort of combustion engines/
PublikacjaThe paper presents semi-Markov models of technical state transitions for diesel engines, useful for determining reliability of the engines. A possibility of application of a three-state model with a simplified matrix function, or even a two-state model, to determine reliability of the engines, has been described herein on examples of known from literature semi-Markov models, for the case when appropriate diagnosing systems (SDG)...
-
System kształtowania powiązań klientów z przedsiębiorstwem.
PublikacjaCelem artykułu jest próba zaprezentowania systemu kształtowania związków klienta z przedsiębiorstwem. Wzrost konkurencji powoduje, iż coraz częściej mam do czynienia z rynkami nasyconymi. Na takich rynkach istotne są umiejętności organizowania długookresowych związków z klientami. Nowe podejście do koncepcji relacji z klientami oraz nowa technologia, stwarzają możliwości w skutecznym kreowaniu związków z klientami opartymi na...
-
Rozwiązania kooperacyjne jako kryterium klasyfikacji produktów przemysłowych
PublikacjaW pracy omówiono pojęcie i cechy charakterystyczne produktu i rynku przemysłowego, scharakteryzowano klasyfikacje produktów przemysłowych, wskazano różnice między komponentami kooperacyjnymi i komponentami standardowymi, jak też różnice powiązań rynkowych wytwarzających je przedsiębiorstw. Przedstawiono korzyści klasyfikacji produktów przemysłowych oraz wnioski.
-
W dziesiątą rocznicę śmierci profesora Władysława Boguckiego
PublikacjaPrzypomniano najważniejsze fakty życiorysu oraz działalności naukowej, inżynierskiej, publikacyjnej, organizacyjnej i społecznej zmarłego przed 10 laty profesora Władysława Boguckiego.
-
Zabezpieczenia środowiska naturalnego przed skażeniem wywołanym eksploatacją zbiorników i rurociągów naftowych. Cz. I.
PublikacjaScharakteryzowano najnowsze rozwiązania chroniące środowisko naturalne przed niekontrolowanymi wyciekami ropy naftowej przez dno i płaszcz zbiornika stalowego.
-
Zabezpieczenia środowiska naturalnego przed skażeniem wywołanym eksploatacją zbiorników i rurociągów naftowych. Cz. II.
PublikacjaOmówiono systemy kontroli uszkodzeń korozyjnych i mechanicznych podziemnych rurociągów do transportowania ropy naftowej na duże odległości. Scharakteryzowano urządzenia kontrolne oraz ich dokładność.
-
Ergonomiczne czynniki oceny ryzyka w transporcie morskim. W: Ergonomiatransportu. Red. T. Marek, H. Ogińska, J. Pokorski. Kraków: [B.w.]**2002 s. 201-210, 2 rys. bibliogr. 10 poz.
PublikacjaBezpieczeństwo jest właściwością obiektów będących systemami antropocent-rycznymi.Mówiąc, że określony system jest bezpieczny rozumieć będziemy, iż jest on bezpieczny dla siebie samego oraz względem elementów otoczenia, w którym się znajduje. Przedstawiona została struktura bezpieczeństwa procesów transportu morskiego, które są zależne od stanu systemu ''statek-człowiek-otoczenie''.Dalej, opisano zagadnienie czynników ergonomicznych...
-
Wspomnienie o inż. Eugeniuszu Śledziewskim w 100-lecie urodzin
PublikacjaPrzypomniano drogę życia wybitnego specjalisty z zakresu konstrukcji stalowych inż. Eugeniusza Śledziewskiego. Przedstawiono najistotniejsze jego osiągnięcia zawodowe i najważniejsze publikacje.
-
Zastosowanie konstrukcji stalowych w remontach budynków murowych
PublikacjaOmówiono zastosowanie konstrukcji stalowych przy nadbudowywaniu o dodatkowekondygnacje budynków murowanych w przypadku niedostatecznej wytrzymałości fundamentów aby nadbudowę prowadzić w konstrukcji murowanej.
-
Telepraca a organizacja wirtualna
PublikacjaTelepraca staje się w dzisiejszych czasach jednym z bardziej racjonalnychrozwiązań wykonywania pracy dla takich grup pracowniczych jak osoby niepeł-nosprawne, matki wychowujące dzieci, czy ludzi, którzy wybrali życie z dala od dużych aglomeracji miejskich. telepraca stwarza z jednej strony określone korzyści, a z drugiej strony zagrożenia, i to zarówno dla pracownika jak i dla pracodawcy.
-
Warunki rozwoju telekooperacji w organizacji pracy
PublikacjaW artukule omówiono zagadnienie doskonalenia organizacji pracy z zastosowaniem telekooperacji. Przedstawiono klasyfikację form koordynacji pracy z uwzględnieniem współczesnych wymogów funkcjonowania przedsiębiorstw na rynku. Zaprezentowano uwarunkowania oraz perspektywy rozwoju telekoopracji.
-
Budynki o konstrukcji stalowej
PublikacjaOmówiono zastosowanie konstrukcji stalowych przy nadbudowywaniu o dodatkowekondygnacje budynków murowanych w przypadku niedostatecznej wytrzymałości fundamentów aby nadbudowę prowadzić w konstrukcji murowanej.
-
Symulacja hałasu związanego z ruchem drogowym
PublikacjaPrzedstawiono założenia modelu opisującego generowanie i propagację hałasu przez źródła komunikacyjne w ruchu drogowym i kolejowym.
-
A study HIPERLAN-type noncooperative medium access control setting in a wireless LAN
PublikacjaDla dostępu MAC przeanalizowano strategię określania długości transmisji w fazie eliminacji zakładając indywidualną optymalizację uzyskanego pasma komunikacyjnego. Zaproponowano różne warianty polityki wyłaniania zwycięzcy eliminacji, mające na celu wyrównanie szans stacji kooperacyjnych i niekooperacyjnych.
-
Zastosowanie wiarygodności diagnozy do podejmowania decyzji w procesie eksploatacji urządzeń
PublikacjaUzasadniono potrzebę rozróżniania pojęć wiarygodność diagnozy i trafność diagnozy. Wyprowadzono wzór na prawdopodobieństwo sformułowania prawidłowej diagnozy jako miarę wiarygodności diagnozy. Do wyprowadzenia tego wzoru zastosowano teorię procesów semimarkowskich oraz postulat T. Bayesa dotyczący prawdopodobieństwa warunkowego. Przedstawiona została także możliwość zastosowania wiarygodności diagnozy w procesie podejmowania racjonalnych...
-
Marketingowe aspekty kształtowania centrum logistycznego
PublikacjaScharakteryzowano centrum logistyczne i proces jego kształtowania. Omówiono marketingowe aspekty projektowania centrum logistycznego, w tym określenie partnerów, ich potrzeb oraz decyzji dotyczących profilu i zakresu działalności. Wymieniono marketingowe aspekty budowy centrum logistycznego, w tym kształtowanie personelu, pozyskanie poparcia jego budowy, przygotowanie i wdrożenie zintegrowanych instrumentów marketingowych, budowanie...
-
Operation of diesel engines as the index of their reliability and safety
PublikacjaPrzedstawiono propozycję ilościowej interpretacji działania systemów technicznych która jest rozpatrywana jako wielkość fizyczna z jednostką miary zwaną dżulosekundą [dżulxsekunda]. Wykazane zostanie też, że taka interpretacja działania może być uznana za wskaźnik niezawodności, a w szczególnych przypadkach - wskaźnik bezpieczeństwa funkcjonowania takiego sytemu. Do uzasadnienia takiej przydatności wspomnianego działania silnika...
-
Aspekty tworzenia modeli do prognozowania niezawodności systemów technicznych
PublikacjaPrzedstawiono zagadnienie modelowania systemów technicznych. Opisano przykładowe modele informacyjne i strukturalne (syntaktyczne, semantyczne i operacyjne). Zasygnalizowano możliwości modelowania systemów technicznych, podając przykłady modelu zmian stanów technicznych dowolnego systemu technicznego z zastosowaniem modelowania systemowego oraz modelu zmian niezawodności tego systemu z zastosowaniem modelowania matematycznego.
-
Trójwymiarowe obrazowanie danych batymetrycznych na mapach cyfrowych.
PublikacjaOpisano podstawy teoretyczne generowania obrazów trójwymiarowych w oparciu o batymetryczne informacje zawarte w morskich mapach elektronicznych. Przedstawiono efekt wizualizacji 3d batymetrii dla Zatoki Fińskiej w oparciu o Elektroniczną Mapę Nawigacyjną CM-93.
-
Semi-Markow Processes as Models of Devices´ Operating Process of Ship Pro-pulsion System
PublikacjaReferat zawiera formalny opis procesu eksploatacji urządzeń.
-
Operation of technical systems as the index of reliability and safety ofthem
PublikacjaPrzedstawiono propozycję ilościowej interpretacji działania systemów technicznych, która jest rozpatrywana jako wielkość fizyczna z jednostką miary zwaną dżulosekundą [dżulxsekunda]. Wykazane zostanie też, że taka interpretacja działania może być uznana za wskaźnik niezawodności, a w szczególnych przypadkach - wskaźnik bezpieczeństwa funkcjonowania takiego sytemu. Do uzasadnienia takiej przydatności wspomnianego działania silnika...
-
Diagnosis´ likelihood and diagnosis rightness about the technical state of diesel engine
PublikacjaW referacie uzasadniono potrzebę rozróżniania pojęć "wiarygodność diagnozy" i "trafność diagnozy" przy podejmowaniu decyzji eksploatacyjnych. Wyprowadzono wzór na prawdopodobieństwo sformułowania diagnozy jako miary wiarygodności diagnozy. Do wyprowadzenia tego wzoru zastosowano teorię procesów semimarkowskich oraz wzór Bayesa na prawdopodobieństwo warunkowe.