Домашня сторінка
→
Перегляд за автором

Перегляд за автором "Акуловский, В.Г."

Результати 1-20 з 22

Наступна сторінка

Алгебра алгоритмов, базирующаяся на данных

Акуловский, В.Г. (Кибернетика и системный анализ, 2012)

На основі модифікованої моделі ЕОМ Глушкова побудовано систему алгоритмічних алгебр. Дані формалізовані й специфіковані на вході й виході Д-операторів і, таким чином, побудований формальний апарат базується на даних. ...
Алгебра алгоритмов с данными и прогнозирование вычислительного процесса

Дорошенко, А.Е.; Акуловский, В.Г. (2011)

Развивается алгебраический аппарат, ориентированный на описание алгоритмов с данными, за счет использования k-значных логических условий и прогнозирования вычислительного процесса
Алгебра для описания данных в композиционных схемах алгоритмов

Акуловский, В.Г. (Проблеми програмування, 2012)

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

Дорошенко, А.Е.; Акуловский, В.Г. (Управляющие системы и машины, 2012)

Алгебра алгоритмов с данными дополнена средствами описания операций ввода-вывода в результате модификации абстрактной модели ЭВМ Глушкова. Возможность описания операций ввода-вывода актуальна для широкого класса систем, ...
К-значная логика в расширенной алгебре алгоритмов

Акуловский, В.Г. (2008)

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

Акуловский, В.Г. (Кибернетика и системный анализ, 2009)

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

Акуловский, В.Г. (2009)

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

Акуловский, В.Г. (2009)

В рамках расширенной алгебры алгоритмов предложен подход к формализации данных. Рассмотрены свойства формализованных данных и некоторые аспекты декомпозиции Д-операторов.
Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных

Акуловский, В.Г. (2008)

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

Дорошенко, А.Е.; Акуловский, В.Г. (Математичні машини і системи, 2012)

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

Акуловский, В.Г.; Дорошенко, А.Е. (Проблеми програмування, 2013)

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

Акуловский, В.Г. (2010)

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

Акуловский, В.Г.; Дорошенко, А.Е.; Яценко, Е.А. (Проблеми програмування, 2016)

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

Дорошенко, А.Е.; Акуловский, В.Г. (2011)

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

Акуловский, В.Г.; Дорошенко, А.Е. (Кибернетика и системный анализ, 2014)

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

Акуловский, В.Г. (2007)

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

Акуловский, В.Г.; Дорошенко, А.Е. (Управляющие системы и машины, 2013)

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

Акуловский, В.Г.; Дорошенко, А.Е.; Яценко, Е.А. (Проблеми програмування, 2015)

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

Акуловский, В.Г. (2008)

На прикладі продемонстрована можливість формалізованого переходу від алгоритму до програми за рахунок розвитку і використання засобів розширеної системи алгоритмічних ал-гебр. Показано можливості перетворення отриманої ...
Согласованное описание алгоритмов в рамках алгебраического аппарата

Акуловский, В.Г.; Дорошенко, А.Е. (Проблеми програмування, 2014)

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

Результати 1-20 з 22

Наступна сторінка

Пошук

Розширений пошук

Перегляд

Вся бібліотека

Перегляд за автором "Акуловский, В.Г."

Репозиторій DSpace/Manakin

Пошук

Перегляд

Вся бібліотека

Мій обліковий запис