№ 4 УДК 519.688 РЕАЛИЗАЦИЯ НАДЕЖНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ЗАДАЧ ТЕХНИЧЕСКОЙ ДИАГНОСТИКИ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ 2011 г. А.Н. Гуда*, Т.С. Калинин**, А.В. Чернов** *Ростовский государственный университет путей сообщения **Ростовский государственный строительный университет *Rostov State Transport University **Rostov State Building University Описан комплекс программ реализации линейных двоичных разностных моделей технической диагностики информационно-управляющих систем. <...> Эти модели предназначены для нового класса быстрых вычислительных методов дифференциальной технической диагностики. <...> Введение Под надежным программным обеспечением будем понимать программные комплексы, построенные на основе предлагаемых в статье линейных двоичных разностных моделей. <...> Целью данной статьи является описание возможностей программного обеспечения, предназначенного для практической апробации и проверки ряда новых алгебраических моделей функциональной технической диагностики информационно-управляющих систем. <...> Часть из математических моделей, реализованных в комплексе программ, является развитием известного подхода к технической диагностике, основанного на применении булева дифференциального исчисления [1, 2]. <...> В остальных моделях использованы идеи двоичного анализа [3], основанного на диадической производной Гиббса [4], функциях и (спектральных) преобразованиях Уолша на конечных группах [5], но заметим, что такой подход к контролю технического состояния информационно-управляющих систем пока используется довольно редко. <...> В обоих подходах, различающихся по основным положениям и математическому аппарату, на взгляд авторов, есть, по крайней мере, два аспекта, позволяющих объединить их для целей моделирования в технической диагностике. <...> Во-первых, и булево дифференциальное исчисление, и диадическая производная Гиббса являются попытками перенесения континуального дифференциального исчисления на булевы функции. <...> Естественно <...>