Зображення обкладинки

Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Управляющие системы и машины
Дата:	2013
Автори:	Овсяк, А.В., Овсяк, В.К.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2013
Теми:	Новые методы в информатике
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/83126
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов / А.В. Овсяк, В.К. Овсяк // Управляющие системы и машины. — 2013. — № 1. — С. 27-36. — Бібліогр.: 18 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Инструментальные средства автоматизации параллельного программирования на основе алгебры алгоритмов
за авторством: Андон, Ф.И., та інші
Опубліковано: (2015)

Оценки вычислительной сложности некоторых алгоритмов аппроксимации функций рядами Фурье с заданной точностью
за авторством: Коломыс, Е.Н., та інші
Опубліковано: (2013)

Инструментальные средства трансформации схем алгоритмов и программ
за авторством: Мохница, А.С.
Опубліковано: (2006)

Расширенная алгебра алгоритмов
за авторством: Акуловский, В.Г.
Опубліковано: (2007)

Модели систолических массивов для обработки векторных данных по разностным срезам
за авторством: Мартынюк, Т.Б., та інші
Опубліковано: (2009)

Инструментальные средства конструирования синтаксически правильных параллельных алгоритмов и программ
за авторством: Яценко, Е.А., та інші
Опубліковано: (2004)

Методологические аспекты формирования параллельно-иерархической сети для быстрой обработки динамических изображений
за авторством: Кокряцкая, Н.И.
Опубліковано: (2014)

Алгебра алгоритмов, базирующаяся на данных
за авторством: Акуловский, В.Г.
Опубліковано: (2012)

Средства параметрически управляемой генерации алгоритмов на основе алгебры гиперсхем
за авторством: Яценко, Е.А.
Опубліковано: (2012)

Выбор весовых функций в методе Петрова–Галеркина для интегрирования линейных одномерных уравнений конвекции–диффузии
за авторством: Сирик, С.В., та інші
Опубліковано: (2014)

Моделирование переноса загрязнений в атмосфере с использованием параллельных вычислений
за авторством: Гладкий, А.В., та інші
Опубліковано: (2014)

О сходимости обобщенного релаксационного итерационного алгоритма метода группового учета аргументов
за авторством: Павлов, А.В., та інші
Опубліковано: (2012)

Матрица взаимосвязи терминов во множестве информационных ресурсов для метода опорных векторов
за авторством: Духновская, К.К.
Опубліковано: (2014)

Аргумент цільової функції в задачі клінічної діагностики
за авторством: Тимофієва, Н.К., та інші
Опубліковано: (2012)

Розв’язання задачі планування з теорії розкладів методом структурно-алфавітного пошуку та гібридним алгоритмом
за авторством: Тимофієва, Н.К., та інші
Опубліковано: (2011)

Построение бизнес-правил для SQL-вложений и JCL-заданий
за авторством: Гриценко, В.И., та інші
Опубліковано: (2009)

Пошук інформативних магнітокардіографічних параметрів за наявності двох кардіологічних хвороб
за авторством: Закорчений, А.В., та інші
Опубліковано: (2009)

Полнота алгебры алгоритмов с данными
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2016)

Самоналагоджувальні алгоритми знаходження невизначених параметрів у задачах комбінаторної оптимізації
за авторством: Тимофієва, Н.К.
Опубліковано: (2009)

Лінійне цілочислове програмування та задачі комбінаторної оптимізації
за авторством: Тимофієва, Н.К.
Опубліковано: (2010)

Моделирование дифференциальных хронопотенциограмм суммой нормальных распределений
за авторством: Суровцев, И.В., та інші
Опубліковано: (2009)

Оценка качества моделирования скрытого фрагмента дифференциального графика хронопотенциограммы инверсии тяжелых металлов в жидкой пробе полярографа
за авторством: Татаринов, А.Э., та інші
Опубліковано: (2014)

Инструментальные средства алгебры алгоритмики на платформе WEB 2.0.
за авторством: Иовчев, В.А., та інші
Опубліковано: (2010)

Оценивание релевантности результатов в индуктивных процедурах системно-аналитических исследований
за авторством: Осипенко, В.В.
Опубліковано: (2012)

Метод синтеза единой структурной составляющей реляционной модели данных
за авторством: Левыкин, В.М., та інші
Опубліковано: (2011)

Структурный метод формирования двоичных псевдослучайных векторов заданного веса
за авторством: Романкевич, В.А., та інші
Опубліковано: (2011)

Модель специализированной системы поддержки принятия решений для коррекции процесса выращивания монокристаллов
за авторством: Левыкин, В.М., та інші
Опубліковано: (2014)

Метод решения проблемы расчета техногенных рисков
за авторством: Бегун, В.В., та інші
Опубліковано: (2014)

Кодирование объекта полутонового изображения с использованием канонических сплайнов
за авторством: Власова, Т.М., та інші
Опубліковано: (2012)

Об оптимизации вычислительного процесса математического моделирования сложных задач
за авторством: Богаенко, В.А.
Опубліковано: (2010)

Метод згладжування n-грамної моделі для розпізнавання мовлення, заснованої на класах, з використанням граматичної та лексичної інформації
за авторством: Тарануха, В.Ю.
Опубліковано: (2014)

Методика численного моделирования процесса электрокинетической очистки грунтов в неизотермических условиях
за авторством: Богаенко, В.А.
Опубліковано: (2013)

Кластерный анализ данных на основе модифицированной иммунной сети
за авторством: Литвиненко, В.И.
Опубліковано: (2009)

Алгоритм оценивания пространственного распределения магнитного поля сердца человека в магнитокардиографии
за авторством: Недайвода, И.В., та інші
Опубліковано: (2009)

О целенаправленности перебора вариантов моделей при моделировании физических процессов
за авторством: Бабак, О.В., та інші
Опубліковано: (2012)

Информационная технология ОСТАП и ее применение в административно-организационном управлении
за авторством: Гриценко, В.И., та інші
Опубліковано: (2010)

Розв’язання задач з підвищеною точністю обчислень
за авторством: Опанасенко, В.М., та інші
Опубліковано: (2011)

Численная реализация метода конечных элементов с оптимальным выбором параметров, базисных функций и координат узлов элементов
за авторством: Литвин, О.Н., та інші
Опубліковано: (2009)

Оценивание положения точек схода на изображениях городских кварталов
за авторством: Сдобников, В.Ю., та інші
Опубліковано: (2009)

О спектральном подходе к исследованию цепей Маркова
за авторством: Вишенский, А.А., та інші
Опубліковано: (2009)