|
Рассматривается способ анализа структуры многомерного четкого логического регулятора для выявления повторяющих, противоречащих и дополняющих друг друга продукционных правил. Описывается программное обеспечение, позволяющее осуществить анализ данным способом.
Читать дальше...
В статье рассматриваются вопросы накопления исторических данных в автоматизированной системе, а также их обработки и анализа для задач планирования развития и сопровождения системы. Представлен метод сбора исторических данных, обеспечивающий возможность накапливать детализированную информацию обо всех изменениях хранимой информации, описаны основные достоинства и недостатки данного метода. Авторы приводят некоторые способы обработки и анализа собираемых данных, применимые на разных стадиях создания системы, а также в процессе ее эксплуатациии сопровождения. Читать дальше...
В статье изложены основные принципы объединения отдельных тестовых проверок модулей, составляющих цифровое устройство, в единую тест-программу. Объединение проверок проводится при неполной информации относительно реакций неисправного устройства. Формулируются свойства оптимально упорядоченной последовательности проверок в тесте. Предлагаются эвристические алгоритмы упорядочения проверок.
Читать дальше...
В статье изложены основные принципы объединения отдельных тестовых проверок модулей, составляющих цифровое устройство, в единую тест-программу. Объединение проверок проводится при неполной информации относительно реакций неисправного устройства. Формулируются свойства оптимально упорядоченной последовательности проверок в тесте. Предлагаются эвристические алгоритмы упорядочения проверок.
Читать дальше...
Показатели достоверности функционирования характеризуют работоспособность системы «объект контроля – средство контроля» и существенно зависят от параметров надежности функционирования контролирующей аппаратуры. Следовательно, они могут служить критериями, по которым можно проводить выбор необходимых средств на этапе проектирования цифровых устройств и оценку их эффективности. В работе предлагаются количественные критерии оценки эффективности метода аппаратного контроля на основе предположения о том, что цифровое устройство выполняет некую обобщающую функцию, значения которой зависят от совокупности величин, отражающих отдельные режимы работы устройства, и могут классифицироваться как правильные только в случае отсутствия ошибок в работающем устройстве. Для количественной оценки достоверности функционирования аппаратуры предложено использовать значение вероятности того, что цифровое устройство в целом будет функционировать безошибочно при условии отсутствия обнаруживаемой неисправности. Рассчитанное значение оценки позволяет выбрать из нескольких возможных вариантов схемы контроля наилучший или синтезировать новый. Рассматриваются случаи организации процедур контроля на основе различных принципов и их сочетаний. Сформулирована оптимизационная задача размещения проверочных схем в контролируемом устройстве и предлагается методика ее решения в условиях наложения определенных ограничений. Отличительной особенностью предложенного подхода служит устранение необходимости применения значений условных вероятностей обнаруживаемых неисправностей, на использовании которых построены известные методы, хотя их практическое получение весьма трудоемко. Работа метода рационального размещения схем контроля иллюстрируется на примере блока управляющих сигналов. Читать дальше...
|
