Построение продукционной модели заданной предметной области

Ф9: (ВК, МП)

Ф10: ПК (включен)

Ф11: СЗ (загружается)

     Применяем правило П3:

РБД (t=3)

Ф3:  (не горит)

Ф4: ВК (рабочая)

Ф5: ВКбезПОВ (ВК, ПОВ)

Ф7: (К, ВК)

Ф8: (К, БП)

Ф9: (ВК, МП)

Ф10: ПК (включен)

Ф11: СЗ (загружается)

Ф12: (КиМ (К, М))

     Применяем правило П4:

РБД (t=4)

Ф3:  (не горит)

Ф4: ВК (рабочая)

Ф5: ВКбезПОВ (ВК, ПОВ)

Ф8: (К, БП)

Ф9: (ВК, МП)

Ф10: ПК (включен)

Ф11: СЗ (загружается)

Ф12: КиМ (К, М)

Ф13: КиВК (К, ВК)

     Применяем правило П5:

РБД (t=5)

Ф3:  (не горит)

Ф4: ВК (рабочая)

Ф5: ВКбезПОВ (ВК, ПОВ)

Ф9: (ВК, МП)

Ф10: ПК (включен)

Ф11: СЗ (загружается)

Ф12: КиМ (К, М)

Ф13: КиВК (К, ВК)

Ф14: КиБП (К,БП)

     Применяем правило П6:

Ф3:  (не горит)

Ф4: ВК (рабочая)

Ф5: ВКбезПОВ (ВК, ПОВ)

Ф10: ПК (включен)

Ф11: СЗ (загружается)

Ф12: КиМ (К, М)

Ф13: КиВК (К, ВК)

Ф14: КиБП (К,БП)

Ф15: ВКиМП (ВК, МП))

     Применяем правило П7:

РБД (t=7)

Ф3:  (не горит)

Ф4: ВК (рабочая)

Ф10: ПК (включен)

Ф11: СЗ (загружается)

Ф12: КиМ (К, М)

Ф13: КиВК (К, ВК)

Ф14: КиБП (К,БП)

Ф15: ВКиМП (ВК, МП)

Ф16: (ВК, ПОВ)

     Применяем правило П8:

РБД (t=8)

Ф3:  (не горит)

Ф4: ВК (рабочая)

Ф10: ПК (включен)

Ф11: СЗ (загружается)

Ф12: КиМ (К, М)

Ф13: КиВК (К, ВК)

Ф14: КиБП (К,БП)

Ф15: ВКиМП (ВК, МП)

Ф17: ВКбезПОВ (ВК, ПОВ)) 

     Применяем правило П9:

РБД (t=9)

Ф3:  (не горит)

Ф10: ПК (включен)

Ф11: СЗ (загружается)

Ф12: КиМ (К, М)

Ф13: КиВК (К, ВК)

Ф14: КиБП (К,БП)

Ф15: ВКиМП (ВК, МП)

Ф17: ВКбезПОВ (ВК, ПОВ)

Ф18: (сгорела)

     Применяем правило П10:

РБД (t=10)

Ф3:  (не горит)

Ф10: ПК (включен)

Ф11: СЗ (загружается)

Ф12: КиМ (К, М)

Ф13: КиВК (К, ВК)

Ф14: КиБП (К,БП)

Ф15: ВКиМП (ВК, МП)

Ф17: ВКбезПОВ (ВК, ПОВ)

Ф19: ВК (рабочая)

     Применяем правило П11:

РБД (t=11)

Ф3:  (не горит)

Ф10: ПК (включен)

Ф11: СЗ (загружается)

Ф12: КиМ (К, М)

Ф13: КиВК (К, ВК)

Ф14: КиБП (К,БП)

Ф15: ВКиМП (ВК, МП)

Ф17: ВКбезПОВ (ВК, ПОВ)

Ф19: ВК (рабочая) 

     Применяем правило П12:

Финальная РБД (t=12)

Ф10: ПК (включен)

Ф11: СЗ (загружается)

Ф12: КиМ (К, М)

Ф13: КиВК (К, ВК)

Ф14: КиБП (К,БП)

Ф15: ВКиМП (ВК, МП)

Ф17: ВКбезПОВ (ВК, ПОВ)

Ф19: ВК (рабочая)

Ф20: (М (горит)) 
 

Часть 2

Концептуальная  модель диагностики  неисправностей CD-привода.

   Начальное состояние – компьютер выключен, CD-привод выключен. Отметим, что допускаем исправность системы и всех комплектующих, исключая CD-привод.

Множество объектов ПО, Х:

          П – пользователь,

          К – компьютер,

          ПР – CD-привод,

          Ш – шнур питания  привода,

          Л – лоток диска,

          М – моторчик привода,

          КН – кнопка открытия/закрытия лотка,

          З – звук из привода  с диском,

          Д – диск,

          ПО – программа  для чтения/записи диска.

Множество свойств объектов, С:

          К (вкл.) – компьютер  включен,

           (выкл.) – компьютер выключен,

          Л (откр.) – лоток  открыт,

           (закр.) – лоток закрыт,

          М (раб.) – моторчик работает,

           (не  раб.) – моторчик  не работает,

          З (хар.) – характерный  звук,

           (не  хар.) – звука нет  или он нехарактерный,

          ПО (зап.) – программа  запущена,

           (не  зап.) – программа  не запущена.

Множество отношений между  объектами, R:

          Ш (К, ПР) – питания  привода подключено,

           (К,  ПР) – питания  привода не подключено,

          О (К, ПР) – привод определен системой,

           (К,  ПР) – привод не  определен системой,

          В (Д, ПР) – диск в  приводе,

           (Д,  ПР) – диск не  в приводе,

          ЧЗ (Д, ПР) – возможны чтение/запись на диск,

           (Д,  ПР) – не возможны  чтение/запись на  диск. 

П1:

ЕСЛИ (выкл.) И (К, ПР) И (не раб.) И (К, ПР) И (закр.) И (Д, ПР) И (не хар.) И (не зап.) И (Д, ПР)

ТО УДАЛИТЬ ((выкл.) И ДОБАВИТЬ (К(вкл.)) 

П2:

ЕСЛИ К(вкл.) И (К, ПР) И (не раб.) И (К, ПР) И (закр.) И (Д, ПР) И (не хар.) И (не зап.) И (Д, ПР)

ТО УДАЛИТЬ ( (К, ПР)) И ДОБАВИТЬ (Ш (К, ПР)) 

П3:

ЕСЛИ К(вкл.) И Ш (К, ПР) И (не раб.) И (К, ПР) И (закр.) И (Д, ПР) И (не хар.) И (не зап.) И (Д, ПР)

ТО УДАЛИТЬ (не раб.)) И ДОБАВИТЬ (М (раб.)) 

П4:

ЕСЛИ К(вкл.) И Ш (К, ПР) И М (раб.) И (К, ПР) И (закр.) И (Д, ПР) И (не хар.) И (не зап.) И (Д, ПР)

ТО УДАЛИТЬ (К, ПР))  И ДОБАВИТЬ (О (К, ПР)) 

П5:

ЕСЛИ К(вкл.) И Ш (К, ПР) И М (раб.) И О (К, ПР) И (закр.) И (Д, ПР) И (не хар.) И (не зап.) И (Д, ПР)

ТО УДАЛИТЬ (закр.)) И ДОБАВИТЬ (откр.)) 

П6:

ЕСЛИ К(вкл.) И Ш (К, ПР) И М (раб.) И О (К, ПР) И (откр.) И (Д, ПР) И (не хар.) И (не зап.) И (Д, ПР)

ТО УДАЛИТЬ ( (Д, ПР)) И ДОБАВИТЬ ( (Д, ПР))