формації, що міститься в базах даних, будується модель у вигляді мережі, де безліч вершин описує події, а ребра інтерпретуються як причинні зв'язки між подіями. [6]
В основі байєсівських мереж лежить теорема Байєса теорії ймовірностей для визначення апостеріорних ймовірностей попарно несумісних подій Yi по їх апріорним ймовірностям:
В
Всяке безліч ребер, що представляє собою всі шляхи між деякими двома вершинами, відповідає умовної залежності між цими вершинами. Якщо задати деякий розподіл ймовірностей на множині змінних, відповідних вершин цього графа, то отримана мережа буде називатися байєсовською мережею. На такій мережі можна використовувати, так званий байєсовський висновок для обчислення ймовірностей наслідків подій. p> Критерій відбору прецедентів полягає в наступному. Якщо ні повністю збігається прецеденту, обчислюється розподіл ймовірностей за тими ознаками, які не збігаються з ознаками поточного випадку. Вибирається той прецедент, для якого ця ймовірність найбільша. p> Приклад моделювання байєсівського мережами процесу перевірки реєстрації гравця.
В
Рис.4 Моделювання байєсівського мережами процесу перевірки реєстрації гравця
1.2 Розширення Мереж Петрі
Розфарбовані (кольорові) мережі Петрі
Поява мереж цього класу пов'язано з концепцією використання різних тегів. Раніше всі мітки передбачалися однаковими. Механізм функціонування мереж був пов'язаний лише з кількостями міток у вхідних позиціях переходів і визначався загальними для всіх міток умовами збудження переходів і правилами зміни різних позицій при виконанні мережі. У кольорових мережах кожна мітка отримує свій колір. Умови збудження і правила спрацьовування переходів для міток кожного кольору задаються незалежно. [3] Безліч використовуваних при реалізації кольорових мереж фарб вибирається кінцевим або нескінченним (наприклад, рахунковим). При моделюванні систем кольорові мережі найчастіше використовуються для побудови компактних формальних і графічних уявлень, у складі яких є однотипні за структурою і характером функціонування групи об'єктів. Приклад моделювання розфарбованими СП процесу перевірки реєстрації (мал. 5). <В
Рис.5 Моделювання розфарбованими СП процесу обробки параметрів.
Тимчасові Мережі Петрі
Ті системи, які працюють в режимі реального часу, добре підходить моделювання тимчасовими СП. Поняття часу в моделі мереж Петрі вводяться різними способами. Час може бути порівнянне з різним мережевими елементами: переходами, фішками, дугами, кроками (множинами паралельних переходів). При цьому розрізняють тимчасові обмеження, зіставлені деякого елементу тимчасової мережі Петрі, і тимчасові лічильники, введені в модель для контролю локального або глобального часу. Тимчасова інформація може бути представлена ​​як одним числом (що відповідає дискретному поданням часу), так і інтервалом (що від...
