Требуется: найти для каждого вида технического состояния упорядоченное подмножество проверок Π, такое что каждое подмножество Π(i) содержит такие проверки, на которых все виды технического состояния наблюдаемы, т.е. изображения попарно различимы между собой (подмножество допустимых проверок). Кроме того необходимо, чтобы это подмножество содержало наиболее эффективные в определенном смысле проверки. Упорядоченность каждого подмножества Π(i) понимается в том смысле, что порядок расположения проверок в нем не произвольный, а соответствует очередности их выполнения в процессе диагностирования.
Генерируется отчет с вычислениями в формате LaTeX.
http://www.grindeq.com/ Плагин для word конвертит из LaTeXa в word. Вывод из программы вставить в документ word и воспользоваться этим плагином. После установки плагина он появляется отдельной вкладкой в окне word'a.