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

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

Детально розглянуто мову VHDL, яка може описати цифрову систему на різних рівнях - поведінковому, потоковому та структурному. Наведено основні характеристики VHDL і визначено можливості описання простих комбінаційних та послідовнісних схем з використанням VHDL. Обговорено шляхи застосування сервісних програм систем автоматизованого проектування для автоматичного синтезу VHDL-описів.

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

Висвітлено сучасний стан, напрями, принципи та проблеми створення автоматизованої системи управління в органах внутрішніх справ (ОВС). Наведено інформацію про корпоративну інформаційну мережу, рівні та склад загальновідомчих і галузевих підсистем інформаційних фондів, нормативно-правове й організаційно-кадрове забезпечення системи ОВС України. Розкрито порядок заповнення та подання документів первинного обліку злочинів, осіб, які їх вчинили, руху кримінальних справ. Охарактеризовано інформаційні підсистеми "Особа", "Розшук", "Антикваріат", "Кримінальна зброя", "Втрачені паспорти".

Освещены современное состояние, направления, принципы и проблемы создания автоматизированной системы управления в органах внутренних дел (ОВД). Приведена информация о корпоративной информационной сети, уровнях и составе общеведомственных и отраслевых подсистем информационных фондов, нормативно-правовом и организационно-кадровом обеспечении системы ОВД Украины. Раскрыт порядок заполнения и подачи документов первичного учета преступлений, совершивших их лиц, движения криминальных дел. Охарактеризованы информационные подсистемы "Личность", "Розыск", "Антиквариат", "Криминальное оружие", "Утраченные паспорта".

Висвітлено проблеми та напрями розвитку інформатизації органів внутрішніх справ (ОВС). Охарактеризовано корпоративну інформаційну мережу, рівні та склад загальновідомчих і галузевих підсистем інформаційних фондів, нормативно-правове й організаційно-кадрове забезпечення ОВС. Наведено інформацію про такі інформаційні підсистеми, як "Особа", "Розшук", "Пізнання", "Номерні речі", "Антикваріат", "Втрачені паспорти", "Арсенал". Розкрито порядок формування документів у справи, експертизи цінності документів, оформлення справ для передачі їх на архівне зберігання.

Освещены проблемы и направления развития информатизации органов внутренних дел (ОВД). Охарактеризованы корпоративная информационная сеть, уровни и состав общеведомственных и отраслевых подсистем информационных фондов, нормативно-правовое и организационно-кадровое обеспечение ОВД. Приведена информация о таких информационных подсистемах, как "Личность", "Розыск", "Опознание", "Номерные вещи", "Антиквариат", "Утерянные паспорта", "Арсенал". Раскрыт порядок формирования документов в дела, экспертизы ценности документов, оформления дел для передачи их на архивное хранение.

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

Описано кубічну технологію аналізу цифрових схем для генерації тестів та оцінювання їх якості. Запропоновано кубічний метод обробки несправностей моделі примітива та метод генерації тестів для константних несправностей, який використовує кубічні покриття списків несправностей для створення шляхів активізації.

Запропоновано швидкодійний дедуктивно-паралельний метод зворотнього моделювання несправностей, що використовує процедуру суперпозиції розв'язків, орієнтований на обробку надвеликих цифрових проектів вентильного та реєстрового рівнів опису. Наведено структури даних і програмно-орієнтовані алгоритми для реалізації методу в складі автоматичної системи генерації тестів.

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

Предложены методы аппаратного моделирования неисправностей и исправного поведения, основанные на методологии HES и PRUS фирмы Aldec, USA. Предложена структурно-функциональная многозначная аппаратная модель цифрового устройства с шинной организацией линий для многократного повышения быстродействия анализа переходных процессов; представлена аппаратурная реализация троичного метода моделирования исправного поведения HES-MV - Hardware Embedded Simulation based on Multi-Valued alphabet для цифровых проектов вентильного и регистрового уровней описания.

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

Предложен подход к использованию IEEE стандартов тестирования для диагностирования сложных иерархических программно-технических комплексов (ПТК), относящихся к критическим технологиям. Использованы различные ad-hoc решения тестирования систем на кристаллах. Предложен алгоритм тестирования ПТК на различных уровнях иерархии.

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

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

Предложена программно-аппаратная реализация дедуктивно-параллельного топологического метода моделирования неисправностей HEDEFS - Hardware Embedded DEductive Fault Simulation, который использует ad hoc технологии анализа сходящихся разветвлений, обратного моделирования дефектов, тестопригодного преобразования схем, ориентированного на обработку цифровых проектов большой размерности вентильного и регистрового уровней описания. Представлены структурные аппаратные решения для реализации метода при оценке качества генерируемых тестов.

Рассмотрена проблема адаптации технологий тестирования цифровых систем для нового конструктивного поколения - System-in-Package (SiP), которое постепенно осваивает рынок электронных технологий. Пакет кристаллов формирует спектр новых задач сервисного обслуживания SiP-функциональностей в реальном масштабе времени, который существенно отличается от процессов встроенного диагностирования компонентов SoC (System on Chip).

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

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

Сформированы требования относительно процессов кодирования тестовой информации в системах цифровой диагностики. Разработана методика для построения методов кодирования и восстановление данных в системах цифровой диагностики. Выявлены недостатки одномерного структурного плавающего кодирования относительно обработки двоичной диагностической информации, состоящие в наличии избыточности кода, в отсутствии учета свойств одномерных плавающих структурных чисел (ОПСЧ) в процессе их восстановления. Обоснованы направления для совершенствования систем обработки двоичных данных, а именно: осуществить анализ параметров в процессе формирования плавающих структурных чисел; учесть изменение в значениях кодов-номеров ОПСЧ; снизить количество операций при восстановлении двоичных тестовых последовательностей за счет учета свойств кодовых конструкций ОПСЧ.