Проанализировано интеллектуальное управление многомерным дискретным нелинейным объектом в условиях неполной и нечеткой информации. Значительное внимание уделено эффективной организации внутренних представлений в реализации языка Verilog HDL, аппаратной реализации некоторых функций ядра операционных систем, выбору стратегии пространственного планирования в параллельных вычислительных системах, а также оценке стилистических характеристик текстовой информации.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Запропоновано один з підходів підвищення ефективності роботи Web-програм шляхом перетворення інформації у формат мови XML.

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

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

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

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