Запропоновано метод побудови комбінаційних приладів, для яких задача виявлення всіх одиночних несправностей вирішується шляхом часткового дублювання їх внутрішніх елементів. Проведено експериментальні дослідження для контрольних прикладів МСNС.

Запропоновано новий метод побудови двійкових лічильників одиниць у кодовому векторі (тесторів кодових векторів) для здійснення підрахунків за довільним модулем. Основний блок лічильника одиниць - стандартна схема реалізації множини простих симетричних функцій.

Розглянуто принципи побудови багатоактних логічних схем, що працюють у часовій парафазній (самодвоїстій) логиці. Досліджено засоби реалізації самодвоїстих тригерів.

Запропоновано новий метод контролю комбінаційних схем, що базується на логічному доповненні функцій виходів схеми. Розглянуто спосіб контролю із застосуванням коду "1 з 4". Наведено результати експериментальних досліджень для стандартних прикладів систем MCNC.

Доведено повну групу теорем аналізу скороченої еквівалентної нормальної форми у разі виявлення несправностей типу "часова затримка".

Описано нові структури двійкового лічильника одиниць у кодовому векторі (тестера кодових векторів) для рахування за довільним модулем. Основними елементами структур є суматори і напівсуматори.

Запропоновано новий метод побудови блочної структури двоїчного лічильника одиниць у кодовому векторі (тестера кодових векторів) для здійснення лічби за довільним модулем. Для реалізації лічильника використано два типи логічних блоків.

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

Рассмотрен новый класс кодов с суммированием взвешенных информационных разрядов. Определено простое соотношение весов информационных разрядов, позволяющее построить код для обнаружения ошибок в информационных векторах, более эффективный, чем известный классический код с суммированием (код Бергера). Новый код обладает всеми свойствами классического. Выполнено сравнение возможностей кодов обнаруживать ошибки в схемах функционального контроля.

Приведены результаты исследований кодов с суммированием взвешенных информационных разрядов при сохранении числа контрольных разрядов таким же, как у классических кодов Бергера. Определены классы кодов, которые обладают основными свойствами кодов Бергера и имеют наименьшее среди известных кодов число необнаруживаемых ошибок в информационных разрядах.

Рассмотрен новый класс кодов с суммированием, имеющий улучшенные характеристики обнаружения ошибок в информационных разрядах по сравнению с известными кодами с суммированием. Определены свойства полученного класса кодов, позволяющие выбрать наилучший способ кодирования при организации системы функционального контроля. Описаны метод синтеза генераторов для новых кодов и способы упрощения схем генераторов.

Рассмотрены способы выплавки рельсовых сталей до- и заэвтектоидного состава в отечественном и зарубежном производстве. Представлен анализ качества слитков и заготовок непрерывной разливки рельсовых сталей. Обобщен опыт по применению различных способов термоупрочнения рельсов в странах СНГ и дальнего зарубежья. Показано влияние химического состава и свойств металла на эксплуатационную стойкость рельсов и образование контактно-усталостных дефектов. Даны рекомендации по оборудованию и технологическим параметрам закалки головки рельсов ТВЧ и подкладок электроннолучевой обработкой. Разработаны и опробованы новые методики оценки качества термоупрочненных рельсов.

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

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

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

Описаны способы организации систем функционального контроля. Исследовано влияние значения модуля при построении кода с суммированием на показатель структурной избыточности системы функционального контроля. Предложена классификация модульных кодов с суммированием.

Предложен новый подход к организации систем функционального контроля с обеспечением свойства полной самопроверяемости их структур на основе метода логического дополнения по равновесному коду "1 из 3". Подход основан на выделении групп выходов контролируемых устройств (по три выхода в каждой группе), удовлетворяющих требованию монотонной независимости, с последующим контролем их на основе равновесного кода "1 из 3" и объединением выходов отдельных тестеров на входах самопроверяемого компаратора. Приведены формулы для расчета контрольных функций дополнения, позволяющие формировать множества тестовых комбинаций не только для тестера кода "1 из 3", но и для всех сумматоров по модулю два в структуре блока логического дополнения. Сформулированы условия обеспечения полной самопроверяемости структуры.

Предложен способ, позволяющий формализовать правила вычисления значений функций логического дополнения (ФЛД) в системе функционального контроля (СФК) по равновесному коду "1 из 4". При этом исключается процедура подбора значений ФЛД и обеспечивается свойство полной самопроверяемости структуры, т.е. гарантированно тестируются все элементы сложения по модулю два в блоке логического дополнения и тестер. Установлено число способов доопределения ФЛД в СФК по коду "1 из 4" при дополнении только трех рабочих функций, а также минимально необходимое для обеспечения свойства полной самопроверяемости множество рабочих векторов.

Рассмотрены особенности ошибок, возникающих в информационных векторах разделимых кодов. Сформирована классификация кодов, ориентированных на 100 %-ное обнаружение ошибок определенного вида. Проанализированы разделимые коды, обнаруживающие любые симметричные ошибки в информационных векторах. Определены условия построения кодов, обнаруживающих любые симметричные ошибки, и приведены их примеры.

Рассмотрены 2 способа построения кодов с суммированием с наименьшим общим числом необнаруживаемых ошибок в информационных векторах, имеющих такое же число контрольных разрядов, как классические коды Бергера. Способы основаны на взвешивании разрядов и переходов между разрядами, занимающими соседние позиции в информационных векторах, с помощью последовательности весовых коэффициентов, образующей натуральный ряд чисел. Проанализированы некоторые ключевые особенности обнаружения ошибок в информационных векторах предложенных кодов, отличающие данные коды от кодов Бергера и их известных модификаций. На основании экспериментов с контрольными комбинационными схемами показана эффективность разработанных кодов при организации контроля ошибок, возникающих на выходах схем.