Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
СисАнализ МК.doc
Скачиваний:
3
Добавлен:
14.11.2018
Размер:
183.81 Кб
Скачать

9. Еквівалентність, гомоморфізм і ізоморфізм автоматів. Приклади.

Якщо є графи Г1 і Г2, то вони гомоморфні (ізоморфні), якщо існує φ:Г1→Г2, яке являється однозначним (взаємооднозначним) і при якому зберігається орієнтація дуг. Якщо графи ізоморфні, то вони однакові. Якщо між вершинами одного і того ж графа вдається встановити ізоморфне відображення, то його можна скоротити за рахунок того, що ці лінійні зв’язки можуть бути замінені однією дугою (замість сукупності двох), які будуть мати навантаження (для відображення лінійних дуг). Вважається, що вершина графа ізольована, якщо вона не має зв’язків з іншими вершинами, але може мати зв’язок сама з собою. При підрахунку рангу цей зв’язок враховується. Важливим в аналізі є: зв’язність, ізольованість, max ранг вершини. Два автомати А1 і А2 називаються еквівалентними, якщо між графами, що відповідають цим автоматам Г1 і Г2 існує гомоморфне відображення. А1 і А2 сильно еквівалентні, якщо графи Г1 і Г2 – ізоморфні.

  1. Поняття системи. Проблеми визначення системи. Що вивчає теорія систем..

Визначення можна дати тільки кінцевій системі. Система характеризується об’єктами, але не абстрактними, а конкретними, природа яких відома. Для системи важливим є признак. Система має признак множини, але об’єкти мають змістовність. Признак р – признак отбору об’єктів. Так як система взаємодіє з навколишнім середовищем, то S є зовнішньому світу.

Якщо розглядаємо систему S, то треба виділити її і вказати окремо вплив навколишнього середовища:

Якщо зв’язки детерміновані, то вони називаються детермінованими факторами; випадковими – випадковими факторами … тощо.

Інформація – це відображення реального світу.

Системи можуть бути простими(небагато елементів) і складними(багато). Одразу виникає питання – скільки це «багато»?

Опис систем. Якщо система велика: виділяють по якому-небудь критерію на класи (отримаємо кількість класів набагато меншу кількості елементів).

В теорії систем є два підходи в розгляді систем: Підхід чорного ящика – розглядаємо взаємодію системи з навколишнім середовищем (тобто , як впливає на систему з навколишнє середовище і як система впливає на навколишнє середовище); підхід білого ящика - розглядаємо взаємодію елементів системи між собою.

У системному аналізі вивчають:

1)властивості систем

2)процеси моделювання систем

3)процеси аналізу систем.

  1. Основні характеристики систем. Два підходи до погляду на систему. Системний підхід.

Система характеризується об’єктами, але не абстрактними, а конкретними, природа яких відома. Для системи важливим є признак. Система має признак множини, але об’єкти мають сенс. Признак р – признак отбору об’єктів. Так як система взаємодіє з навколишнім середовищем, то S є зовнішньому світу.

Якщо розглядаємо систему S, то треба виділити її і вказати окремо вплив навколишнього середовища:

Якщо зв’язки детерміновані, то вони називаються детермінованими факторами; випадковими – випадковими факторами … тощо.

Інформація – це відображення реального світу.

Системи можуть бути простими(небагато елементів) і складними(багато). Одразу виникає питання – скільки це «багато»?

Опис систем. Якщо система велика: виділяють по якому-небудь критерію на класи (отримаємо кількість класів набагато меншу кількості елементів).

В теорії систем є два підходи в розгляді систем: Підхід чорного ящика – розглядаємо взаємодію системи з навколишнім середовищем (тобто , як впливає на систему з навколишнє середовище і як система впливає на навколишнє середовище); підхід білого ящика - розглядаємо взаємодію елементів системи між собою.

Поняття системного підходу:

На проблему дивляться з позиції теорії систем, тобто проблема розглядається як система, яка містить частини білого ящика і частини чорного. Вказують: із чого складається система; які існують зв’язки і відтворюють ці зв’язки. По признаку еквівалентності із нескінченної системи можна зробити кінцеву.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]