Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Управляющие системы и машины
Datum:	2013
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: Кокряцкая, Н.И.
Veröffentlicht: (2014)

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

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

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

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

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

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

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

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

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

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

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

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

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

Оценивание релевантности результатов в индуктивных процедурах системно-аналитических исследований
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)

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

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

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

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

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

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

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

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

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

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

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

Про існування розв’язків рівняння Ляпунова на конусі
von: Бичков, О.С., et al.
Veröffentlicht: (2010)

Метод непосредственного умножения элементов конечного поля GF(2m) с использованием логических функций
von: Кубицкий, В.И., et al.
Veröffentlicht: (2014)

Метод главных компонент: алгоритм анализа магнитокардиосигналов
von: Недайвода, И.В., et al.
Veröffentlicht: (2011)

Основы рекуррентно-параллельных вычислений в комбинаторном алгоритме CОМВІ МГУА
von: Ефименко, С.Н., et al.
Veröffentlicht: (2014)