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

Прикладная математическая задача как объект компьютерной алгебры

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2003
Автори:	Клименко, В.П., Ляхов, А.Л.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2003
Теми:	Програмно-технічні комплекси
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/736
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Прикладная математическая задача как объект компьютерной алгебры / Клименко В.П., Ляхов А.Л. // Математические машины и системы. – 2003. – № 3, 4. – С. 103 – 123.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

Розвиток суперкомп’ютерів серії СКІТ, розроблених в Інституті кібернетики ім. В.М. Глушкова НАН України у період з 2002 по 2017 роки
за авторством: Головинський, А.Л., та інші
Опубліковано: (2017)

Математичне моделювання процесів ферментативного гідролізу
за авторством: Алєксєєва, І.В., та інші
Опубліковано: (2003)

Моделі оцінки ефективності систем управління регіонального рівня
за авторством: Казимир, В.В., та інші
Опубліковано: (2003)

Ефективні способи організації паралельної роботи оптимізаційних алгоритмів
за авторством: Шило, В.П., та інші
Опубліковано: (2019)

Оцінка характеру і наслідків надзвичайної події на хімічно небезпечних об’єктах стаціонарного типу
за авторством: Беспалов, В.П., та інші
Опубліковано: (2003)

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

Целочисленное косинусное преобразование высокого порядка: метод построения и быстрые алгоритмы для кодирования изображений и видео с высоким разрешением
за авторством: Гнатив, Л.А.
Опубліковано: (2017)

Простое целочисленное косинусное преобразование высокого порядка для видеокодирования с высоким разрешением
за авторством: Гнатив, Л.А.
Опубліковано: (2018)

Представлення, аналіз та видобування знань з неструктурованих природномовних текстів
за авторством: Гогерчак, Г.І., та інші
Опубліковано: (2021)

Экосистемы программной инженерии
за авторством: Крывый, С.Л., та інші
Опубліковано: (2020)

Секвенціальні системи виведення для багатозначних логік
за авторством: Пинько, О.П.
Опубліковано: (2003)

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

Цілочислові модифіковані синусні перетворення. Метод побудови і роздільні направлені адаптивні перетворення для intra-прогнозування в кодуванні зображень/відео
за авторством: Гнатів, Л.О.
Опубліковано: (2020)

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

Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования
за авторством: Крывый, С.Л., та інші
Опубліковано: (2017)

До моделі фізичної економіки
за авторством: Алєксєєв, А.А.
Опубліковано: (2004)

Математическое моделирование токовых состояний водных объектов
за авторством: Каленчук-Порханова, А.А.
Опубліковано: (2019)

Гибридные алгоритмы решения алгебраической проблемы собственных значений с разреженными матрицами
за авторством: Химич, А.Н., та інші
Опубліковано: (2017)

Проектирование ИТ-инфраструктуры
за авторством: Крывый, С.Л., та інші
Опубліковано: (2018)

Об одном подходе к анализу и синтезу обнаружителей реального времени – многоуровневых схемах принятия решения
за авторством: Зуев, С.А., та інші
Опубліковано: (2004)

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

Новый подход к работе с неориентированными деревьями
за авторством: Иванешкин, А.И.
Опубліковано: (2021)

Когнітивна візуалізація базових процедур процесу прийняття рішення в системі управління активним об’єктом
за авторством: Косс, В.А.
Опубліковано: (2004)

Формальна модель синтезованого екранного образу динамічної обстановки в районах моніторингу рухомих об’єктів та її імплементація у веб-орієнтовану геоінформаційну систему
за авторством: Касім, А.М.
Опубліковано: (2017)

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

Достоверность решений линейных математических моделей с приближенно заданными исходными данными
за авторством: Химич, А.Н., та інші
Опубліковано: (2004)

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

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

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

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

Побудова системи автоматизації для впровадження моделі поліцейської діяльності, керованої аналітикою, в органах Національної поліції України
за авторством: Мовчан, А.В., та інші
Опубліковано: (2018)

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

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

Численные методы определения жесткостных характеристик сечения стержня
за авторством: Городецкий, А.С., та інші
Опубліковано: (2019)

Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками
за авторством: Гломозда, Д.К., та інші
Опубліковано: (2018)

Подход к классификации состояния сети на основе статистических параметров для обнаружения аномалий в информационной структуре вычислительной системы
за авторством: Рубан, И.В., та інші
Опубліковано: (2018)

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

Математический метод корректировки плана полетов в нештатных режимах работы аэропорта
за авторством: Нелин, О.В.
Опубліковано: (2003)