Прикладная математическая задача как объект компьютерной алгебры
Развиваются представления о сложной прикладной математической задаче как об объекте языка систем компьютерной алгебры. Предложены методологические принципы и сформулированы основные положения теоретико-множественной модели задачи. Установлено, что для представления данных...
Saved in:
| Date: | 2003 |
|---|---|
| Main Authors: | Клименко, В.П., Ляхов, А.Л. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем математичних машин і систем НАН України
2003
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/736 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Прикладная математическая задача как объект компьютерной алгебры / Клименко В.П., Ляхов А.Л. // Математические машины и системы. – 2003. – № 3, 4. – С. 103 – 123. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Метод синтеза услуг в задачах компьютерной телефонии
by: Палагин, А.В., et al.
Published: (2004)
by: Палагин, А.В., et al.
Published: (2004)
Системный анализ сетевых технологий создания региональных интеллектуальных сетей как базиса широкополосной первичной сети связи
by: Ластовченко, М.М., et al.
Published: (2004)
by: Ластовченко, М.М., et al.
Published: (2004)
Розвиток суперкомп’ютерів серії СКІТ, розроблених в Інституті кібернетики ім. В.М. Глушкова НАН України у період з 2002 по 2017 роки
by: Головинський, А.Л., et al.
Published: (2017)
by: Головинський, А.Л., et al.
Published: (2017)
Математичне моделювання процесів ферментативного гідролізу
by: Алєксєєва, І.В., et al.
Published: (2003)
by: Алєксєєва, І.В., et al.
Published: (2003)
Моделі оцінки ефективності систем управління регіонального рівня
by: Казимир, В.В., et al.
Published: (2003)
by: Казимир, В.В., et al.
Published: (2003)
Ефективні способи організації паралельної роботи оптимізаційних алгоритмів
by: Шило, В.П., et al.
Published: (2019)
by: Шило, В.П., et al.
Published: (2019)
Оцінка характеру і наслідків надзвичайної події на хімічно небезпечних об’єктах стаціонарного типу
by: Беспалов, В.П., et al.
Published: (2003)
by: Беспалов, В.П., et al.
Published: (2003)
Алгоритм наилучшей равномерной аппроксимации сплайнами со свободными узлами
by: Вакал, Л.П., et al.
Published: (2019)
by: Вакал, Л.П., et al.
Published: (2019)
Целочисленное косинусное преобразование высокого порядка: метод построения и быстрые алгоритмы для кодирования изображений и видео с высоким разрешением
by: Гнатив, Л.А.
Published: (2017)
by: Гнатив, Л.А.
Published: (2017)
Простое целочисленное косинусное преобразование высокого порядка для видеокодирования с высоким разрешением
by: Гнатив, Л.А.
Published: (2018)
by: Гнатив, Л.А.
Published: (2018)
Представлення, аналіз та видобування знань з неструктурованих природномовних текстів
by: Гогерчак, Г.І., et al.
Published: (2021)
by: Гогерчак, Г.І., et al.
Published: (2021)
Экосистемы программной инженерии
by: Крывый, С.Л., et al.
Published: (2020)
by: Крывый, С.Л., et al.
Published: (2020)
Секвенціальні системи виведення для багатозначних логік
by: Пинько, О.П.
Published: (2003)
by: Пинько, О.П.
Published: (2003)
Модель упреждающей подсказки в интеллектуализованном интерфейсе пользователя
by: Белоус, Л.В., et al.
Published: (2004)
by: Белоус, Л.В., et al.
Published: (2004)
Цілочислові модифіковані синусні перетворення. Метод побудови і роздільні направлені адаптивні перетворення для intra-прогнозування в кодуванні зображень/відео
by: Гнатів, Л.О.
Published: (2020)
by: Гнатів, Л.О.
Published: (2020)
Программный комплекс решения задачи многокритериальной оптимизации со стохастическими ограничениями
by: Богданова, Л.М., et al.
Published: (2018)
by: Богданова, Л.М., et al.
Published: (2018)
Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования
by: Крывый, С.Л., et al.
Published: (2017)
by: Крывый, С.Л., et al.
Published: (2017)
До моделі фізичної економіки
by: Алєксєєв, А.А.
Published: (2004)
by: Алєксєєв, А.А.
Published: (2004)
Математическое моделирование токовых состояний водных объектов
by: Каленчук-Порханова, А.А.
Published: (2019)
by: Каленчук-Порханова, А.А.
Published: (2019)
Гибридные алгоритмы решения алгебраической проблемы собственных значений с разреженными матрицами
by: Химич, А.Н., et al.
Published: (2017)
by: Химич, А.Н., et al.
Published: (2017)
Проектирование ИТ-инфраструктуры
by: Крывый, С.Л., et al.
Published: (2018)
by: Крывый, С.Л., et al.
Published: (2018)
Об одном подходе к анализу и синтезу обнаружителей реального времени – многоуровневых схемах принятия решения
by: Зуев, С.А., et al.
Published: (2004)
by: Зуев, С.А., et al.
Published: (2004)
Методология построения информационной системы управления проектами на основе интеграции приложений предприятия
by: Тулупов, М.А.
Published: (2020)
by: Тулупов, М.А.
Published: (2020)
Новый подход к работе с неориентированными деревьями
by: Иванешкин, А.И.
Published: (2021)
by: Иванешкин, А.И.
Published: (2021)
Когнітивна візуалізація базових процедур процесу прийняття рішення в системі управління активним об’єктом
by: Косс, В.А.
Published: (2004)
by: Косс, В.А.
Published: (2004)
Формальна модель синтезованого екранного образу динамічної обстановки в районах моніторингу рухомих об’єктів та її імплементація у веб-орієнтовану геоінформаційну систему
by: Касім, А.М.
Published: (2017)
by: Касім, А.М.
Published: (2017)
Онтологические и алгеброалгоритмические средства автоматизации проектирования параллельных программ для «облачных» платформ
by: Дорошенко, А.Е., et al.
Published: (2017)
by: Дорошенко, А.Е., et al.
Published: (2017)
Достоверность решений линейных математических моделей с приближенно заданными исходными данными
by: Химич, А.Н., et al.
Published: (2004)
by: Химич, А.Н., et al.
Published: (2004)
Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул
by: Львов, М.С., et al.
Published: (2018)
by: Львов, М.С., et al.
Published: (2018)
Предметно-ориентированный язык Strumok для описания акторных систем с общей памятью
by: Ларин, В.О., et al.
Published: (2018)
by: Ларин, В.О., et al.
Published: (2018)
Метод и алгоритм получения элементов тензора пространственных производных вектора магнитной индукции в задаче поиска магнитных аномалий
by: Примин, М.А., et al.
Published: (2019)
by: Примин, М.А., et al.
Published: (2019)
Обобщенные оценки факторов в задачах когнитивного моделирования
by: Таран, Т.А., et al.
Published: (2004)
by: Таран, Т.А., et al.
Published: (2004)
Побудова системи автоматизації для впровадження моделі поліцейської діяльності, керованої аналітикою, в органах Національної поліції України
by: Мовчан, А.В., et al.
Published: (2018)
by: Мовчан, А.В., et al.
Published: (2018)
Метод распознавания параметров помехоустойчивых блочных циклических кодов по образующему полиному
by: Николаев, С.Н., et al.
Published: (2021)
by: Николаев, С.Н., et al.
Published: (2021)
Бесконтактные исследования магнитных полей биологических объектов: алгоритмы регистрации и обработки данных
by: Примин, М.А., et al.
Published: (2020)
by: Примин, М.А., et al.
Published: (2020)
Численные методы определения жесткостных характеристик сечения стержня
by: Городецкий, А.С., et al.
Published: (2019)
by: Городецкий, А.С., et al.
Published: (2019)
Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками
by: Гломозда, Д.К., et al.
Published: (2018)
by: Гломозда, Д.К., et al.
Published: (2018)
Подход к классификации состояния сети на основе статистических параметров для обнаружения аномалий в информационной структуре вычислительной системы
by: Рубан, И.В., et al.
Published: (2018)
by: Рубан, И.В., et al.
Published: (2018)
Имитационное моделирование распределенной обработки информации в локальных вычислительных сетях
by: Быченко, О.В., et al.
Published: (2004)
by: Быченко, О.В., et al.
Published: (2004)
Математический метод корректировки плана полетов в нештатных режимах работы аэропорта
by: Нелин, О.В.
Published: (2003)
by: Нелин, О.В.
Published: (2003)
Similar Items
-
Метод синтеза услуг в задачах компьютерной телефонии
by: Палагин, А.В., et al.
Published: (2004) -
Системный анализ сетевых технологий создания региональных интеллектуальных сетей как базиса широкополосной первичной сети связи
by: Ластовченко, М.М., et al.
Published: (2004) -
Розвиток суперкомп’ютерів серії СКІТ, розроблених в Інституті кібернетики ім. В.М. Глушкова НАН України у період з 2002 по 2017 роки
by: Головинський, А.Л., et al.
Published: (2017) -
Математичне моделювання процесів ферментативного гідролізу
by: Алєксєєва, І.В., et al.
Published: (2003) -
Моделі оцінки ефективності систем управління регіонального рівня
by: Казимир, В.В., et al.
Published: (2003)