Человеческий фактор. Том 3. Часть 1 - Сальвенди Г.
ISBN 5-03-001815-8
Скачать (прямая ссылка):
Эксплуатация и техническое обслуживание систем
463
Другой пример — экспертная система фирмы Lockheed, которая в настоящее время испытывается на большой коммутируемой сети, содержащей 3 тыс. печатных плат и 1 тыс. кабельных соединений. Система LES охватывает существенную часть этой сети и определяет точки, в которых наблюдается данный поток сигналов; для тех случаев, когда относительно простой тест на наличие сигнала не срабатывает из-за недостаточного количества контрольных точек, человек формирует совокупность правил, по которым ЭС сможет выявлять неисправности без его участия [34]. Однако ни в системе LES, ни в системе DELTA не предусмотрены тщательно разработанные принципы взаимодействия с человеком.
Возможно, наиболее увлекательной областью для исследователя ремонтопригодности покажется вновь возникший интерес к моделям «глубинной структуры» физических систем. Вместо сотен эмпирических правил, присутствующих, например, в системах MYCIN или DELTA, оказывается возможным запрограммировать относительно немногочисленные, но более глубокие взаимосвязи. Поскольку рассматриваемые электронные устройства являются физическими системами и хорошо изучены и в физическом, и в функциональном аспектах, иногда удается закодировать знания о такой системе весьма компактно. Де Клир [16] утверждает, что очень сложный регулируемый источник энергии с более чем 30 компонентами можно представить примерно 25 «причинными» связями, в то время как эмпирические зависимости типа «если—то» потребовали бы 100 и более правил для получения тех же выводов; 16 таких «глубинных» зависимостей представлены в работе [16]; для неподготовленного человека они могут оказаться довольно трудными для понимания.
Дэвис [13] построил иерархию наборов «предположение — правило», благодаря которой его многоуровневая модель разбивается основной программой на «слои»; последняя работает затем в каждом слое до тех пор, пока в процедуре логических выводов не возникнет какое-либо противоречие. Такое противоречие имеет место, например, тогда, когда по одной ветви моделирующей программы делается вывод, что неисправность должна быть в узле R6 либо С17, в то время как другая ее ветвь «утверждает», что ни R6, ни С17 не могут быть неисправны. Следовательно, одно из предложений на данном уровне рассуждений — ошибочно; поэтому в следующем шаге пробуется модель с менее жесткими ограничениями. Для некоторых действительно трудно распознаваемых неисправностей, таких, как короткое замыкание в модуле цифровой вычислительной машины (т. е. появление перемычки между электрическими цепями, возможно, вызванной разбрызгиванием припоя), подход
464 Глава 8
.Дэвиса при обнаружении неисправностей дает положительный эффект, в то время как обычная матрица «симптомы — неисправности» или автоматическое тестирование совершенно неэффективны в части неисправностей типа перемычек. Неожиданным побочным результатом развитой Дэвисом концепции «глубинной структуры» оказалось более глубокое проникновение в проблемы локализации физических представлений. Неисправности типа перемычек имеют локальный в физическом смысле характер, но могут проявляться через нарушение нормального функционирования того или иного устройства [13]. Так как многие результирующие схемные взаимодействия физически локализованы, интерпретация исходов поиска неисправностей может быть существенно упрощена при наличии информации об имеющих место физически значимых локальных эффектах неисправностей в схеме.
Сразу возникает вопрос: как же определить «глубинную структуру» схемы, оценить ее свойства и использовать эти сведения на практике? Рассмотрение правил, предложенных Де Клиром, показывает, что они довольно абстрактные, и, возможно, даже труднодоступные для понимания при первом чтении. Может ли рядовой специалист изучить их и затем порождать аналогичные правила самостоятельно? Будут ли такие правила общими для различных схем и устройств? Оптимисты могут, конечно, предсказывать соединение в будущем программ автоматического тестирования, методов когнитивной психологии и моделей глубинных структур физических устройств в грядущих автоматических системах. И по иронии судьбы может оказаться, что старая концепция «теория первична» в основном верна, но для этого нынешняя «теория» должна быть структурирована и изучена во всех ее аспектах, чтобы имелись все необходимые условия для применения поисковых алгоритмов, основанных на глубоких знаниях.
8.4.3. Удобство технического обслуживания систем программного обеспечения
Программное обеспечение (ПО) проекта «Аполлон» стоило 600 млн. долл.; его создавали одни из лучших программистов мира, работавшие в двух «командах», контролируя работу друг друга. И тем не менее большинство сбоев в осуществлении проекта «Аполлон» было обусловлено ошибками в ПО. По-прежнему, следовательно, остается серьезной известная проблема борьбы со сложностью; и хотя не следует проводить слишком глубоких аналогий, представляется все-таки, что те же логические подходы, которые используются для обеспечения необходимой надежности и ремонтопригодности тех или иных узлов обо-
