Метод упорядочения процедур разбиения состояний процедурами с двумя и тремя исходами с учетом их стоимости и весов состояний.

• Main Authors: Dmitry Viktorovich Efanov, Valerii Vyacheslavovich Khoroshev
• Format: Article
• Language: English
• Published: St.Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences 2020-02-01
• Series: Труды СПИИРАН
• Subjects: техническое диагностирование; поиск неисправности; вопросник; бинарно-тернарный вопросник; оптимизация; отношения сравнения между вопросами; сравнимые вопросы
• Online Access: http://proceedings.spiiras.nw.ru/index.php/sp/article/view/4543
• ISSN: 2078-9181; 2078-9599

Описывается метод упорядочения процедур разбиения состояний процедурами с двумя и тремя исходами. При этом использованы терминология и методы теории вопросников, а сама последовательность процедур разбиения определена как неоднородный вопросник с вопросами, имеющими два и три варианта ответа. Этот класс вопросников является особенным и выделен авторами в класс бинарно-тернарных и интересен тем, что это наиболее простой класс неоднородных вопросников. Кроме того, увеличение числа ответов какого-либо вопроса на практике также может дать выигрыш в параметрах вопросников, в том числе в показателе его эффективности – средней цене обхода. Отмечается, что использование бинарно-тернарных вопросников на практике позволяет уменьшить среднее время идентификации событий по вопроснику, что крайне важно в тех приложениях вопросников, в которых имеется ограничение на время идентификации событий, например в системах критического применения. Приводится метод оптимизации бинарно-тернарных вопросников, основанный на поиске наиболее предпочтительных вопросов для каждого подмножества идентифицируемых событий. Выбор предпочтительных вопросов основан на установлении отношений сравнения между ними. Описаны все возможные виды сравнимости двух вопросов с двумя ответами, двух вопросов с тремя ответами, а также вопроса с двумя ответами и вопроса с тремя ответами. Приведен пример получения математического выражения для функции, характеризующей предпочтительность вопросов друг перед другом, а также обобщенная формула выбора наиболее предпочтительного вопроса для любых неоднородных вопросников. Сформирован алгоритм метода упорядочения вопросов, который позволяет за полиномиальное время построить бинарно-тернарный вопросник с наименьшей ценой обхода. Приведен пример оптимизации бинарно-тернарного вопросника по представленному методу.