Buchumschlag

Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу

Розглянуто процес моделе-орієнтованої побудови інструментальних засобів комп’ютерної алгебри. Запропоновані нові, модифіковані інструментальні засоби, що мають покращений інтерфейс користувача та можливості автоматизованої генерації коду мовою Maude. Такі інструментальні засоби реалізовані і протест...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Компьютерная математика
Datum:	2015
1. Verfasser:	Давидов, О.П.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2015
Schlagworte:	Инструментальные средства информационных технологий
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/168384
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:	Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделеорієнтованого підходу / О.П. Давидов // Компьютерная математика. — 2015. — № 2. — С. 86-95. — Бібліогр.: 6 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Моделе-ориентированная архитектура нечетких мультиагентных систем
von: Парасюк, И.Н., et al.
Veröffentlicht: (2010)

Математичні методи рентгенівської комп’ютерної томографії
von: Тулякова, Н.О., et al.
Veröffentlicht: (2019)

Відкрита книга комп’ютерної графіки
von: Федорук, О.
Veröffentlicht: (2006)

Сучасний стан української комп’ютерної лінгвістики
von: Балог, В.
Veröffentlicht: (2005)

Дослідження та створення інструментальних засобів автоматизованої трансформації схем алгоритмів
von: Погорілий, С.Д., et al.
Veröffentlicht: (2004)

Деякі аспекти градієнтно-голономного алгоритму в теорії інтегрованості нелінійних динамічних систем та проблеми комп'ютерної алгебри
von: Митропольський, Ю.О., et al.
Veröffentlicht: (1991)

Від наукового результату до комп’ютерної технології
von: Задірака, В.К., et al.
Veröffentlicht: (2008)

Від наукового результату до комп’ютерної технології
von: Zadiraka, V. K., et al.
Veröffentlicht: (2017)

З історії відділу лексикології та комп’ютерної лексикографії
von: Самойлова, І.
Veröffentlicht: (2004)

Проблеми комп’ютерної лексикографії у галузі інформаційної діяльності
von: Шульгіна, В.
Veröffentlicht: (2006)

Розробка моделі проектування компонентної бази програмних засобів дослідження комп'ютерної мережі на основі інтероперабельного середовища
von: Точилін, В.В.
Veröffentlicht: (2013)

Внесок ІПРІ НАН України в розвиток комп’ютерної томографії
von: Горбулін, В.П., et al.
Veröffentlicht: (2010)

СТВОРЕННЯ КОМП'ЮТЕРНОЇ МОДЕЛІ ДЛЯ СИСТЕМИ ДІАГНОСТУВАННЯ ДИЗЕЛЬ-ГЕНЕРАТОРА
von: Fedorchuk, Vladimir Anatolievich, et al.
Veröffentlicht: (2013)

Програмна система для моделювання ієрархічної комп'ютерної пам'яті
von: Михайлова, Т.В.
Veröffentlicht: (2010)

Методи побудови регресійних моделей на основі нечітких даних
von: Єршов, С.В., et al.
Veröffentlicht: (2015)

Роль комплексної мультидетекторної комп’ютерної томографії у стадіюванні раку гортані
von: Дикан, І.М., et al.
Veröffentlicht: (2013)

Емпірична подоба дійсності та комп'ютерної реальності (комп'ютерне відмежовування від "мирського" життя)
von: Початко, С., et al.
Veröffentlicht: (2011)

Емпірична подоба дійсності та комп’ютерної реальності (комп’ютерне відмежовування від “мирського” життя)
von: Початко, С., et al.
Veröffentlicht: (2012)

ПРОГРАМИ ДЛЯ КОМП'ЮТЕРНОЇ РЕАЛІЗАЦІЇ МОРФОЛОГІЧНОЇ І СИНТАКСИЧНОЇ МОДЕЛІ ГРУЗИНСЬКИХ ТЕКСТІВ
von: Antidze, J., et al.
Veröffentlicht: (2013)

Модульні операції над гіперкомплексними числами в системі комп’ютерної математики MAPLE
von: Синьков, М.В., et al.
Veröffentlicht: (2005)

Огляд методу перфузійної комп’ютерної томографії та його застосування в онкології
von: Алхімова, С.М., et al.
Veröffentlicht: (2011)

Особливості лімфогенного метастазування раку глотки за даними мультидетекторної комп’ютерної томографії
von: Козаренко, Т.М., et al.
Veröffentlicht: (2015)

Огляд методу перфузійної комп’ютерної томографії та його застосування в онкології
von: Alkhimova, S. M., et al.
Veröffentlicht: (2017)

Лексична модель „стандарт – субстандарт – нонстандарт” у системі сучасної комп’ютерної субмови
von: Бондарчук, Л.
Veröffentlicht: (2007)

Концепція інтелектуальної комп’ютерної навчальної системи для підготовки українських школярів до НМТ
von: Kulik, Anatoliy, et al.
Veröffentlicht: (2025)

Розв'язання тривимірної задачі комп'ютерної томографії з використанням невеликої кількості томограм
von: Литвин, О.М., et al.
Veröffentlicht: (2011)

УДОСКОНАЛЕННЯ КОМП'ЮТЕРНОЇ ІМІТАЦІЙНОЇ МОДЕЛІ ЧАСТОТНО-РЕГУЛОВАНОГО АСИНХРОННОГО ДВИГУНА В ПАКЕТІ ПРОГРАМ MATLAB
von: Волков, В.О.
Veröffentlicht: (2026)

Проектування та розробка комп’ютерної системи прогнозу техногенних навантажень на приземний шар атмосфери
von: Яцишин, А.В., et al.
Veröffentlicht: (2010)

Конструювання комплексу інструментальних засобів індуктивного моделювання з використанням онтологій
von: Піднебесна, Г.A.
Veröffentlicht: (2020)

Моделювання процесів і систем комп'ютерної інтерпретації експериментальних залежностей з використанням методу модельних експериментів
von: Мосенцова, Людмила Вікторівна
Veröffentlicht: (2014)

Побудова апроксимаційних поліномів та ізоліній дисперсії прогнозованих значень із використанням систем комп’ютерної математики
von: Hadzaman, I. V., et al.
Veröffentlicht: (2013)

Розробка архітектури та основних інструментів комп’ютерної анімації для побудови системи синтезу жестової мови
von: Крак, Ю.В., et al.
Veröffentlicht: (2013)

Побудова апроксимаційних поліномів та ізоліній дисперсії прогнозованих значень із використанням систем комп’ютерної математики
von: Гадзаман, І.В., et al.
Veröffentlicht: (2013)

Алгоритмічно-програмний інструментарій аналітичних обчислень над гіперкомплексними числами в системі комп’ютерної математики MAPLE
von: Синьков, М.В., et al.
Veröffentlicht: (2005)

Диференційні математичні моделі для дослідження комп’ютерної архітектури всережимної системи керування дистанцією електропостачання залізниць
von: Стасюк, О.І., et al.
Veröffentlicht: (2017)

Розробка та застосування комп’ютерної програми для оцінки якості обробки зображень на основі дослідження згорток
von: Царенко, М.О., et al.
Veröffentlicht: (2025)

Роль комплексної мультидетекторної комп'ютерної томографії у діагностиці локальних рецидивів раку гортані після радикального лікування
von: Козаренко, Т.М., et al.
Veröffentlicht: (2016)

Розв’язання 3D задачі комп’ютерної томографії за відомими томограмами на системі довільних площин
von: Першина, Ю.І., et al.
Veröffentlicht: (2015)

Нейронні мережі в економічному моделюванні
von: Галкін, О.В.
Veröffentlicht: (2013)

Частинні випадки задачі граціозності графів
von: Семенюта, М.Ф.
Veröffentlicht: (2015)