Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Управляющие системы и машины
Datum:	2013
ISSN:	0130-5395
Hauptverfasser:	Овсяк, А.В., Овсяк, В.К.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2013
Schlagworte:	Новые методы в информатике
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/83126
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов / А.В. Овсяк, В.К. Овсяк // Управляющие системы и машины. — 2013. — № 1. — С. 27-36. — Бібліогр.: 18 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Инструментальные средства автоматизации параллельного программирования на основе алгебры алгоритмов
von: Андон, Ф.И., et al.
Veröffentlicht: (2015)

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

Инструментальные средства трансформации схем алгоритмов и программ
von: Мохница, А.С.
Veröffentlicht: (2006)

Расширенная алгебра алгоритмов
von: Акуловский, В.Г.
Veröffentlicht: (2007)

Модели систолических массивов для обработки векторных данных по разностным срезам
von: Мартынюк, Т.Б., et al.
Veröffentlicht: (2009)

Инструментальные средства конструирования синтаксически правильных параллельных алгоритмов и программ
von: Яценко, Е.А., et al.
Veröffentlicht: (2004)

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

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

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

Выбор весовых функций в методе Петрова–Галеркина для интегрирования линейных одномерных уравнений конвекции–диффузии
von: Сирик, С.В., et al.
Veröffentlicht: (2014)

Моделирование переноса загрязнений в атмосфере с использованием параллельных вычислений
von: Гладкий, А.В., et al.
Veröffentlicht: (2014)

О сходимости обобщенного релаксационного итерационного алгоритма метода группового учета аргументов
von: Павлов, А.В., et al.
Veröffentlicht: (2012)

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

Аргумент цільової функції в задачі клінічної діагностики
von: Тимофієва, Н.К., et al.
Veröffentlicht: (2012)

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

Построение бизнес-правил для SQL-вложений и JCL-заданий
von: Гриценко, В.И., et al.
Veröffentlicht: (2009)

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

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

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

Моделирование дифференциальных хронопотенциограмм суммой нормальных распределений
von: Суровцев, И.В., et al.
Veröffentlicht: (2009)

Оценка качества моделирования скрытого фрагмента дифференциального графика хронопотенциограммы инверсии тяжелых металлов в жидкой пробе полярографа
von: Татаринов, А.Э., et al.
Veröffentlicht: (2014)

Полнота алгебры алгоритмов с данными
von: Акуловский, В.Г., et al.
Veröffentlicht: (2016)

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

Метод синтеза единой структурной составляющей реляционной модели данных
von: Левыкин, В.М., et al.
Veröffentlicht: (2011)

Структурный метод формирования двоичных псевдослучайных векторов заданного веса
von: Романкевич, В.А., et al.
Veröffentlicht: (2011)

Модель специализированной системы поддержки принятия решений для коррекции процесса выращивания монокристаллов
von: Левыкин, В.М., et al.
Veröffentlicht: (2014)

Метод решения проблемы расчета техногенных рисков
von: Бегун, В.В., et al.
Veröffentlicht: (2014)

Кодирование объекта полутонового изображения с использованием канонических сплайнов
von: Власова, Т.М., et al.
Veröffentlicht: (2012)

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

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

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

Кластерный анализ данных на основе модифицированной иммунной сети
von: Литвиненко, В.И.
Veröffentlicht: (2009)

Алгоритм оценивания пространственного распределения магнитного поля сердца человека в магнитокардиографии
von: Недайвода, И.В., et al.
Veröffentlicht: (2009)

О целенаправленности перебора вариантов моделей при моделировании физических процессов
von: Бабак, О.В., et al.
Veröffentlicht: (2012)

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

Инструментальные средства алгебры алгоритмики на платформе WEB 2.0.
von: Иовчев, В.А., et al.
Veröffentlicht: (2010)

Розв’язання задач з підвищеною точністю обчислень
von: Опанасенко, В.М., et al.
Veröffentlicht: (2011)

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

Оценивание положения точек схода на изображениях городских кварталов
von: Сдобников, В.Ю., et al.
Veröffentlicht: (2009)

О спектральном подходе к исследованию цепей Маркова
von: Вишенский, А.А., et al.
Veröffentlicht: (2009)