БУЛЕВЫ МОДЕЛИ САМОДИАГНОСТИРОВАНИЯ ДИСКРЕТНЫХ СИСТЕМ
ЗАКЛЮЧЕНИЕ
Подчеркнем возможности предложенных
моделей логическим путем идентифицировать
неустойчивые неисправности, в то время как
основные модели и методы технической
диагностики для дискретных устройств
ориентированы на устойчивые неисправности.
Рассмотренные примеры указывают на
необходимость компьютерного логического
вывода при обработке большого объема
результатов взаимных проверок в системе
самодиагностирования при наличии
неустойчивых неисправностей и для этой
цели реализован на Visual C++ программный
комплекс.
ПЕРЕЧЕНЬ ССЫЛОК
- Тейз А., Грибомон П., Луи Ж. и др. Логический подход к искусственному
интеллекту: от классической логики к логическому программированию: - Пер. с франц. // М.: Мир, 1990. - 432 с.
- Хинтикка Я. Логико-эпистемологические
исследования. - М.: Прогресс, 1980.-446 с.
- Изерман Р. Перспективные методы контроля,
обнаружения и диагностики неисправностей и
их применение // Приборы и системы управления, 1998, N 4,-c.56-71.
- Поспелов Д.А., Пушкин В.Н. Мышление и автоматы. - М.: 1972 г.- 280 с.
- Андрюхин А.И. Модельные представления антиномии в булевых сетях // Искусственный
интеллект, 1998,N 1, с.35-41.
- Пухальский Г. И., Новосельцева Т. Я. Проектирование дискретных устройств на
интегральных микросхемах: Справочник // М.: Радио и связь, 1990. - 304 с.
- Малявин В.В. Чжуан-цзы. // М.: Наука, Гл.ред.вост.лит., 1985 - 308 с.