Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу
Розглянуто процес моделе-орієнтованої побудови інструментальних засобів комп’ютерної алгебри. Запропоновані нові, модифіковані інструментальні засоби, що мають покращений інтерфейс користувача та можливості автоматизованої генерації коду мовою Maude. Такі інструментальні засоби реалізовані і протест...
Saved in:
| Published in: | Компьютерная математика |
|---|---|
| Date: | 2015 |
| Main Author: | Давидов, О.П. |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2015
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/168384 |
| 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: | Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделеорієнтованого підходу / О.П. Давидов // Компьютерная математика. — 2015. — № 2. — С. 86-95. — Бібліогр.: 6 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Моделе-ориентированная архитектура нечетких мультиагентных систем
by: Парасюк, И.Н., et al.
Published: (2010)
by: Парасюк, И.Н., et al.
Published: (2010)
Математичні методи рентгенівської комп’ютерної томографії
by: Тулякова, Н.О., et al.
Published: (2019)
by: Тулякова, Н.О., et al.
Published: (2019)
Відкрита книга комп’ютерної графіки
by: Федорук, О.
Published: (2006)
by: Федорук, О.
Published: (2006)
Сучасний стан української комп’ютерної лінгвістики
by: Балог, В.
Published: (2005)
by: Балог, В.
Published: (2005)
Дослідження та створення інструментальних засобів автоматизованої трансформації схем алгоритмів
by: Погорілий, С.Д., et al.
Published: (2004)
by: Погорілий, С.Д., et al.
Published: (2004)
Деякі аспекти градієнтно-голономного алгоритму в теорії інтегрованості нелінійних динамічних систем та проблеми комп'ютерної алгебри
by: Митропольський, Ю.О., et al.
Published: (1991)
by: Митропольський, Ю.О., et al.
Published: (1991)
Від наукового результату до комп’ютерної технології
by: Задірака, В.К., et al.
Published: (2008)
by: Задірака, В.К., et al.
Published: (2008)
Від наукового результату до комп’ютерної технології
by: Zadiraka, V. K., et al.
Published: (2017)
by: Zadiraka, V. K., et al.
Published: (2017)
З історії відділу лексикології та комп’ютерної лексикографії
by: Самойлова, І.
Published: (2004)
by: Самойлова, І.
Published: (2004)
Проблеми комп’ютерної лексикографії у галузі інформаційної діяльності
by: Шульгіна, В.
Published: (2006)
by: Шульгіна, В.
Published: (2006)
Розробка моделі проектування компонентної бази програмних засобів дослідження комп'ютерної мережі на основі інтероперабельного середовища
by: Точилін, В.В.
Published: (2013)
by: Точилін, В.В.
Published: (2013)
Внесок ІПРІ НАН України в розвиток комп’ютерної томографії
by: Горбулін, В.П., et al.
Published: (2010)
by: Горбулін, В.П., et al.
Published: (2010)
СТВОРЕННЯ КОМП'ЮТЕРНОЇ МОДЕЛІ ДЛЯ СИСТЕМИ ДІАГНОСТУВАННЯ ДИЗЕЛЬ-ГЕНЕРАТОРА
by: Fedorchuk, Vladimir Anatolievich, et al.
Published: (2013)
by: Fedorchuk, Vladimir Anatolievich, et al.
Published: (2013)
Програмна система для моделювання ієрархічної комп'ютерної пам'яті
by: Михайлова, Т.В.
Published: (2010)
by: Михайлова, Т.В.
Published: (2010)
Методи побудови регресійних моделей на основі нечітких даних
by: Єршов, С.В., et al.
Published: (2015)
by: Єршов, С.В., et al.
Published: (2015)
Роль комплексної мультидетекторної комп’ютерної томографії у стадіюванні раку гортані
by: Дикан, І.М., et al.
Published: (2013)
by: Дикан, І.М., et al.
Published: (2013)
Емпірична подоба дійсності та комп'ютерної реальності (комп'ютерне відмежовування від "мирського" життя)
by: Початко, С., et al.
Published: (2011)
by: Початко, С., et al.
Published: (2011)
Емпірична подоба дійсності та комп’ютерної реальності (комп’ютерне відмежовування від “мирського” життя)
by: Початко, С., et al.
Published: (2012)
by: Початко, С., et al.
Published: (2012)
ПРОГРАМИ ДЛЯ КОМП'ЮТЕРНОЇ РЕАЛІЗАЦІЇ МОРФОЛОГІЧНОЇ І СИНТАКСИЧНОЇ МОДЕЛІ ГРУЗИНСЬКИХ ТЕКСТІВ
by: Antidze, J., et al.
Published: (2013)
by: Antidze, J., et al.
Published: (2013)
Модульні операції над гіперкомплексними числами в системі комп’ютерної математики MAPLE
by: Синьков, М.В., et al.
Published: (2005)
by: Синьков, М.В., et al.
Published: (2005)
Огляд методу перфузійної комп’ютерної томографії та його застосування в онкології
by: Алхімова, С.М., et al.
Published: (2011)
by: Алхімова, С.М., et al.
Published: (2011)
Особливості лімфогенного метастазування раку глотки за даними мультидетекторної комп’ютерної томографії
by: Козаренко, Т.М., et al.
Published: (2015)
by: Козаренко, Т.М., et al.
Published: (2015)
Огляд методу перфузійної комп’ютерної томографії та його застосування в онкології
by: Alkhimova, S. M., et al.
Published: (2017)
by: Alkhimova, S. M., et al.
Published: (2017)
Лексична модель „стандарт – субстандарт – нонстандарт” у системі сучасної комп’ютерної субмови
by: Бондарчук, Л.
Published: (2007)
by: Бондарчук, Л.
Published: (2007)
Концепція інтелектуальної комп’ютерної навчальної системи для підготовки українських школярів до НМТ
by: Kulik, Anatoliy, et al.
Published: (2025)
by: Kulik, Anatoliy, et al.
Published: (2025)
Розв'язання тривимірної задачі комп'ютерної томографії з використанням невеликої кількості томограм
by: Литвин, О.М., et al.
Published: (2011)
by: Литвин, О.М., et al.
Published: (2011)
УДОСКОНАЛЕННЯ КОМП'ЮТЕРНОЇ ІМІТАЦІЙНОЇ МОДЕЛІ ЧАСТОТНО-РЕГУЛОВАНОГО АСИНХРОННОГО ДВИГУНА В ПАКЕТІ ПРОГРАМ MATLAB
by: Волков, В.О.
Published: (2026)
by: Волков, В.О.
Published: (2026)
Проектування та розробка комп’ютерної системи прогнозу техногенних навантажень на приземний шар атмосфери
by: Яцишин, А.В., et al.
Published: (2010)
by: Яцишин, А.В., et al.
Published: (2010)
Конструювання комплексу інструментальних засобів індуктивного моделювання з використанням онтологій
by: Піднебесна, Г.A.
Published: (2020)
by: Піднебесна, Г.A.
Published: (2020)
Моделювання процесів і систем комп'ютерної інтерпретації експериментальних залежностей з використанням методу модельних експериментів
by: Мосенцова, Людмила Вікторівна
Published: (2014)
by: Мосенцова, Людмила Вікторівна
Published: (2014)
Побудова апроксимаційних поліномів та ізоліній дисперсії прогнозованих значень із використанням систем комп’ютерної математики
by: Hadzaman, I. V., et al.
Published: (2013)
by: Hadzaman, I. V., et al.
Published: (2013)
Розробка архітектури та основних інструментів комп’ютерної анімації для побудови системи синтезу жестової мови
by: Крак, Ю.В., et al.
Published: (2013)
by: Крак, Ю.В., et al.
Published: (2013)
Побудова апроксимаційних поліномів та ізоліній дисперсії прогнозованих значень із використанням систем комп’ютерної математики
by: Гадзаман, І.В., et al.
Published: (2013)
by: Гадзаман, І.В., et al.
Published: (2013)
Алгоритмічно-програмний інструментарій аналітичних обчислень над гіперкомплексними числами в системі комп’ютерної математики MAPLE
by: Синьков, М.В., et al.
Published: (2005)
by: Синьков, М.В., et al.
Published: (2005)
Диференційні математичні моделі для дослідження комп’ютерної архітектури всережимної системи керування дистанцією електропостачання залізниць
by: Стасюк, О.І., et al.
Published: (2017)
by: Стасюк, О.І., et al.
Published: (2017)
Розробка та застосування комп’ютерної програми для оцінки якості обробки зображень на основі дослідження згорток
by: Царенко, М.О., et al.
Published: (2025)
by: Царенко, М.О., et al.
Published: (2025)
Роль комплексної мультидетекторної комп'ютерної томографії у діагностиці локальних рецидивів раку гортані після радикального лікування
by: Козаренко, Т.М., et al.
Published: (2016)
by: Козаренко, Т.М., et al.
Published: (2016)
Розв’язання 3D задачі комп’ютерної томографії за відомими томограмами на системі довільних площин
by: Першина, Ю.І., et al.
Published: (2015)
by: Першина, Ю.І., et al.
Published: (2015)
Нейронні мережі в економічному моделюванні
by: Галкін, О.В.
Published: (2013)
by: Галкін, О.В.
Published: (2013)
Частинні випадки задачі граціозності графів
by: Семенюта, М.Ф.
Published: (2015)
by: Семенюта, М.Ф.
Published: (2015)
Similar Items
-
Моделе-ориентированная архитектура нечетких мультиагентных систем
by: Парасюк, И.Н., et al.
Published: (2010) -
Математичні методи рентгенівської комп’ютерної томографії
by: Тулякова, Н.О., et al.
Published: (2019) -
Відкрита книга комп’ютерної графіки
by: Федорук, О.
Published: (2006) -
Сучасний стан української комп’ютерної лінгвістики
by: Балог, В.
Published: (2005) -
Дослідження та створення інструментальних засобів автоматизованої трансформації схем алгоритмів
by: Погорілий, С.Д., et al.
Published: (2004)