Хаханов В. И. Модели цифровых и микропроцессорных структур и мтеоды их анализа в системе диагностического обслуживания

Объект исследования: Цифровые и микропроцессорные устройства пассивного типа с произвольной структурно-функциональной организацией и их модели автоматного уровня описания. Цель исследования: Решение научно-технической проблемы создания методов тестового диагностирования цифровых и МП-структур на основе разработанного аппарата двухтактного кубического исчисления для повышения надежности устройств вычислительной техники. Методы исследования и аппаратура: Булева алгебра, теории множеств и переключательных схем, кубическое исчисление, теории автоматов и графов, методы технической диагностики. Теоретические результаты и новизна: Двухтактное кубическое исчисление для компактного описания моделей цифровых и микропроцессорных структур автоматного уровня и основанные на нем методы моделирования исправного повыдения и неисправностей, генерации тестов, диагностирования. Практические результаты и новизна: Операционные программные средства системы диагностического обслуживания, выполняющие функции: проектирования моделей примитивов и устройств, моделирования неисправностей, генерации тестов, создания алгоритмов поиска дефектов. Предмет и степень внедрения: Программные средства диагностического обслуживания внедрены на предприятиях и в учебном процессе. Эффективность внедрения: На 40% уменьшается время проектирования компонентов диагностического обслуживания, на 50% уменьшается время проектирования компонентов диагностического обслуживания, на 50% - время диагностирования неисправностей. Сфера (область) использования: Вычислительная техника.