Пошук академічних текстів

Інформація × Реєстраційний номер 0596U001005, Докторська дисертація На здобуття д.т.н. Дата захисту 03-07-1996 Статус Запланована Назва роботи Модели цифровых и микропроцессорных структур и мтеоды их анализа в системе диагностического обслуживания Здобувач Хаханов Владимир Иванович, Керівник Кривуля Г.Ф. Опонент Евдокимов А.Г. Опонент Загарий Г.И. Опонент Дербунович Л.В. Опис Объект исследования: Цифровые и микропроцессорные устройства пассивного типа с произвольной структурно-функциональной организацией и их модели автоматного уровня описания. Цель исследования: Решение научно-технической проблемы создания методов тестового диагностирования цифровых и МП-структур на основе разработанного аппарата двухтактного кубического исчисления для повышения надежности устройств вычислительной техники. Методы исследования и аппаратура: Булева алгебра, теории множеств и переключательных схем, кубическое исчисление, теории автоматов и графов, методы технической диагностики. Теоретические результаты и новизна: Двухтактное кубическое исчисление для компактного описания моделей цифровых и микропроцессорных структур автоматного уровня и основанные на нем методы моделирования исправного повыдения и неисправностей, генерации тестов, диагностирования. Практические результаты и новизна: Операционные программные средства системы диагностического обслуживания, выполняющие функции: проектирования моделей примитивов и устройств, моделирования неисправностей, генерации тестов, создания алгоритмов поиска дефектов. Предмет и степень внедрения: Программные средства диагностического обслуживания внедрены на предприятиях и в учебном процессе. Эффективность внедрения: На 40% уменьшается время проектирования компонентов диагностического обслуживания, на 50% уменьшается время проектирования компонентов диагностического обслуживания, на 50% - время диагностирования неисправностей. Сфера (область) использования: Вычислительная техника. Дата реєстрації 1996-07-03 Додано в НРАТ 2020-05-17 Закрити