Запишемо для кожної логічної функції ваги обов'язкових і заборонених станів відповідно:
. fv: Обов'язкові стану 277 70273 66
Заборонені стану 21 281 265 297 296 298 266 330 322 454 198 74 10 42 40 41 9 25 17
Функція після мінімізації прийме наступний вигляд (рис 4)
рис. 4 Результат мінімізації в програмі MINWIN
. fz: Обов'язкові стану 330 25322 17
Заборонені стану 21 277 273 281 265 297 296 298 266 454 198 70 66 74 10 42 40 41 9
Функція після мінімізації прийме наступний вигляд (рис 5)
рис.5 Результат мінімізації в програмі MINWIN
. fx: Обов'язкові стану 74 10 41 9
Заборонені 21 277 273 281 265 297 296 298 266 330 322 454 198 70 66 42 40 25
Функція після мінімізації прийме наступний вигляд (рис 6)
рис.6 Результат мінімізації в програмі MINWIN
fy: Обов'язкові стану 281265298266
Заборонені стану 21 277 273 297 296 330 322 454 198 70 66 74 10 42 40 41 9 25 17
Функція після мінімізації прийме наступний вигляд: (рис 7)
рис.7 Результат мінімізації в програмі MINWIN
: Обов'язкові стану 198
Заборонені стану 21 277 273 281 265 297 296 298 266 330 322 454 70 66 74 10 42 40 41 9 25 17
Функція після мінімізації прийме наступний вигляд: (рис 8)
рис.8 Результат мінімізації в програмі MINWIN
. fl: Обов'язкові стану 273 281 265 297 296 298 266 330 322 454 198 70 66 74 10 42 40 41
Заборонені стану 21277 9 25 17
Функція після мінімізації прийме наступний вигляд рис 9
рис.9 Результат мінімізації в програмі MINWIN
fm1: Обов'язкові стану 21 277 273 281 265 297 296 298 266 330 322
Заборонені стану стану 454 198 70 66 74 10 42 40 41 9 25 17
Функція після мінімізації прийме наступний вигляд (рис 10)
рис.10 Результат мінімізації в програмі MINWIN
5. fa: Обов'язкові стану: 42 40
Заборонені стану: 21 277 273 281 265 296 297 298 266 330 322 454 198 70 66 74 10 41 9 25 17
Функція після мінімізації прийме наступний вигляд рис 11
рис.11 Результат мінімізації в програмі MINWIN
6. fb: Обов'язкові стану 297296
Заборонені 21 277 273 281 265 298 266 330 322 454 198 70 66 74 10 42 40 41 9 25 17
Функція після мінімізації прийме наступний вигляд рис 12
рис.12 Результат мінімізації в програмі MINWIN
Перевірка системи на змагання ланцюгів
Там, де функція вимикається, а будь-яка з змінних входять в цю функцію змінює свій стан, виникає змагання ланцюгів.
Якщо в результаті змагання чи не порушується функціонування дискретного автомата (немає непередбачених включень або виключень вихідних елементів і елементів пам'яті), то такі змагання називаються допустимими (некритичними), в іншому випадку змагання будуть неприпустимими (критичними). ??
Перевіримо почерговості кожну функцію: - немає критичних состязаній- немає критичних состязаній- немає критичних змагань
- gt;
- gt; ,
- gt;
- gt;
Реалізація системи управління в ISaGRAF
Реалізуємо розроблену нами систему в програмі ISaGRAF.
Відкриємо заздалегідь встановлений на комп'ютер програмне забезпечення ISaGRAF. Після процесу установки ПЗ на комп'ютер, файл запуску розташовується в меню «Пуск» (За умови, що оператор не вказав інше місце розташування файлу на комп'ютері) (рис.13)
рис.13 Запуск програми ISaGRAF
Створимо новий проект, в якому нам належить реалізувати вище розроблену систему (File-New), якщо проект був створений раніше виберемо його зі списку запропонованих (рис.14)
ріс14. Створення проекту в ISaGRAF
Після створення проекту перед нами спливе вікно вибору програм, якщо програм не виявилося, створимо нову (У вікні вибору про...
