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

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

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

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

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

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

Предложен метод уменьшения аппаратурных затрат в схеме КМУУ с разделением кодов, ориентированный на технологию FPGA. Метод основан на использовании двух источников кодов классов псевдоэквивалентных ОЛЦ и мультиплексора, позволяющего выбрать один из этих источников. Такой подход позволит уменьшить число LUT элементов в схеме адресации КМУУ. Приведен пример применения предложенного метода.

Впервые предложен метод реализации композиционного микропрограммного устройства управления в базисе заказных интегральных схем (ASIC). Приведены теоретические сведения и практические аспекты синтеза; показан пример применения метода.

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

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

ChronosServer працює на комп'ютерному кластері, який побудовано на обладнанні широкого спожитку та має властивості масштабованості, високої доступності та відмовостійкості. Він створює на основі вже існуючих великих об'ємів даних діяльний інтелектуальний продукт, не змінюючи вхідні файли. ChronosServer виявляє файли на вузлах кластера, аналізує їх структуру та надає незалежну від формату SQL-подібну модель запитів для доступу до їх вмісту. Він здатен напряму читати стислі дані з різних форматів, включаючи NetCDF, GeoTIFF, GRIB, HDF та багатьох інших. Це повністю зберігає метадані, які знаходяться у файлі у оригінальному вигляді, що необхідно для їх коректної інтерпретації та обробки іншим програмним забезпеченням. Нові дані додаються у систему за допомогою прозорого plug-and-play методу у вигляді простого копіювання їх на вузол кластера, що зменшує затрати на адміністрування. Це дозволяє існуючому програмному забезпеченню, наприклад, ГІС системам або статистичним пакетам напряму оперувати з файлами, які використовуються ChronosServer, а також не модифікувати старі коди генерації даних. ChronosServer зберігає діючу на даний момент інфраструктуру незмінною, запобігаючи трудомісткі та піддані помилкам процедури конвертації файлів даних, надаючи у той самий час додаткові можливості для їх аналізу.

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

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

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

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

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

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

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

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

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