5. Методики, які слід використати при виконанні проектного завдання

1. Методика введення структурно-автоматної моделі в програмний модуль ASNA-1 (див. інструкцію користувача).

2. Методика верифікації структурно-автоматних моделей.

Помилки, які може мати граф станів і переходів сформований програмним модулем ASNA-1, обумовлені помилками допущеними при розробці структурно-автоматної моделі. Перелік можливих помилок є наступним:

1. сформований граф станів і переходів має зайві стани;

2. сформований граф станів і переходів має зайві переходи;

3. у сформованому графі станів і переходів відсутні існуючі стани;

4. у сформованому графі станів і переходів відсутні існуючі переходи;

5. у сформованому графі станів і переходів невірно визначені інтенсивності переходів.

1. Методом логічного аналізу проведіть розробку моделі функціональної поведінки об’єкта дослідження у вигляді графа станів та переходів при заданих значеннях його параметрів (див. таблицю 2). Приклад розробки моделі представлено таблицею 3.

Таблиця 3. Приклад розробки моделі у вигляді графа станів і переходів методом логічного аналізу

крок №	Стан і базова подія, що розглядається	Поточні значення компонент вектора станів			Порядкові номера станів	Переходи із стану в стан	Інтенсивність базової події
		V1	V2	V3
1	-	0	1	0	1	-	-
2	1БП1	0	2	0	2	1 2	υ
3	1БП3	0	0	0	3	1 3	λ
4	2БП1	1	2	0	4	2 4	υ
5	2БП2	0	1	0	1	2 1	γ
6	2БП3	1	0	0	5	2 5	λ
7	3БП1	1	0	0	5	3 5	υ
8	3БП4	0	1	0	1	3 1	μ
9	4БП1	2	2	0	6	4 6	υ
10	4БП2	0	2	0	2	4 2	γ
11	4БП3	2	0	0	7	4 7	λ

2. Здійсніть звіряння графа станів та переходів, отриманого від програми ASNA-1 з графом станів та переходів, сформованого методом логічного аналізу. Звіряння графів доцільно проводити в два етапи. На першому етапі проводиться звіряння станів, а на другому – звіряння переходів.

Порядкові номера станів графа розробленого методом логічного аналізу та номера станів графа сформованого програмним модулем ASNA-1, як правило, не співпадають. Для встановлення відповідності станів доцільно сформувати таблицю 4. Відсутність номера стану в третій колонці таблиці означає, що програмою ASNA-1 сформовано зайвий стан. Не внесені в таблицю номера станів графа, сформованого методом логічного аналізу, вказують на стани, які не формує програма ASNA-1.

Для проведення звіряння переходів необхідно в таблиці переходів визначених програмою ASNA-1 замінити нумерацію станів згідно таблиці 4. Після цього викресліть переходи, які визначені в таблиці 3.

Результати порівняння представте переліком відсутніх та зайвих станів і переходів в списку станів і переходів, які формує програма ASNA-1. Невідповідності вказують на наявність помилок в розробленій структурно-автоматній моделі об’єкта дослідження.

3. Шляхом внесення змін у відповідні компоненти структурно-автоматної моделі треба усунути невідповідності між графами станів і переходів.

Таблиця 4. Встановлення відповідності номера станів графа розробленого методом логічного аналізу та номера станів графа сформованого програмним модулем ASNA-1

Порядкові номера станів, визначених програмою ASNA-1	Стани об’єкта дослідження, визначені програмою ASNA-1	Порядкові номера станів, визначених методом логічного аналізу
	0 1 0	1
	0 2 0	2
	0 0 0	3

3. Методика проведення досліджень з використанням програм ASNA-1 та EXCEL.