Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу
Розглянуто процес моделе-орієнтованої побудови інструментальних засобів комп’ютерної алгебри. Запропоновані нові, модифіковані інструментальні засоби, що мають покращений інтерфейс користувача та можливості автоматизованої генерації коду мовою 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: (2018)
by: Токова, О.В.
Published: (2018)
Дослідження та створення інструментальних засобів автоматизованої трансформації схем алгоритмів
by: Погорілий, С.Д., et al.
Published: (2004)
by: Погорілий, С.Д., et al.
Published: (2004)
Відкрита книга комп’ютерної графіки
by: Федорук, О.
Published: (2006)
by: Федорук, О.
Published: (2006)
Сучасний стан української комп’ютерної лінгвістики
by: Балог, В.
Published: (2005)
by: Балог, В.
Published: (2005)
Технології масового розповсюдження комп’ютерної інформації
by: Кожешкурт, В.І., et al.
Published: (2010)
by: Кожешкурт, В.І., et al.
Published: (2010)
Лексико-семантична парадигматика комп’ютерної термінолексики
by: Махачашвілі, Р.К.
Published: (2006)
by: Махачашвілі, Р.К.
Published: (2006)
Деякі аспекти градієнтно-голономного алгоритму в теорії інтегрованості нелінійних динамічних систем та проблеми комп'ютерної алгебри
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: Єршов, С.В., et al.
Published: (2015)
by: Єршов, С.В., et al.
Published: (2015)
Проблеми комп’ютерної лексикографії у галузі інформаційної діяльності
by: Шульгіна, В.
Published: (2006)
by: Шульгіна, В.
Published: (2006)
З історії відділу лексикології та комп’ютерної лексикографії
by: Самойлова, І.
Published: (2004)
by: Самойлова, І.
Published: (2004)
Алгоритм класифікації інтегрованості нелінійних динамічних систем методами комп’ютерної алгебри: Fìz.-mat. model. ìnf. tehnol. 2021, 32:7-12
by: Fil, Bohdan, et al.
Published: (2021)
by: Fil, Bohdan, et al.
Published: (2021)
Розробка моделі проектування компонентної бази програмних засобів дослідження комп'ютерної мережі на основі інтероперабельного середовища
by: Точилін, В.В.
Published: (2013)
by: Точилін, В.В.
Published: (2013)
Програмна система для моделювання ієрархічної комп'ютерної пам'яті
by: Михайлова, Т.В.
Published: (2010)
by: Михайлова, Т.В.
Published: (2010)
Внесок ІПРІ НАН України в розвиток комп’ютерної томографії
by: Горбулін, В.П., et al.
Published: (2010)
by: Горбулін, В.П., et al.
Published: (2010)
Мінімізація дозового навантаження в алгоритмах рентгенівської комп’ютерної томографії
by: Bulavin, L. A., et al.
Published: (2019)
by: Bulavin, L. A., et al.
Published: (2019)
СТВОРЕННЯ КОМП'ЮТЕРНОЇ МОДЕЛІ ДЛЯ СИСТЕМИ ДІАГНОСТУВАННЯ ДИЗЕЛЬ-ГЕНЕРАТОРА
by: Fedorchuk, Vladimir Anatolievich, et al.
Published: (2013)
by: Fedorchuk, Vladimir Anatolievich, et al.
Published: (2013)
Роль комплексної мультидетекторної комп’ютерної томографії у стадіюванні раку гортані
by: Дикан, І.М., et al.
Published: (2013)
by: Дикан, І.М., et al.
Published: (2013)
Використання інформаційних технологій в розв’язанні задач комп’ютерної лінгвістики
by: Ходякова, Г.В.
Published: (2020)
by: Ходякова, Г.В.
Published: (2020)
Математична модель кібербезпеки комп’ютерної мережі керування електропостачанням тягових підстанцій
by: Стасюк, О.І., et al.
Published: (2017)
by: Стасюк, О.І., et al.
Published: (2017)
Аналіз можливості використання сучасних пакетів комп’ютерної алгебри під час синтезу криптопримітивів: Fìz.-mat. model. ìnf. tehnol. 2021, 33:128-132
by: Ponomar, Volodymyr, et al.
Published: (2021)
by: Ponomar, Volodymyr, et al.
Published: (2021)
Емпірична подоба дійсності та комп’ютерної реальності (комп’ютерне відмежовування від “мирського” життя)
by: Початко, С., et al.
Published: (2012)
by: Початко, С., et al.
Published: (2012)
Емпірична подоба дійсності та комп'ютерної реальності (комп'ютерне відмежовування від "мирського" життя)
by: Початко, С., et al.
Published: (2011)
by: Початко, С., et al.
Published: (2011)
ПРОГРАМИ ДЛЯ КОМП'ЮТЕРНОЇ РЕАЛІЗАЦІЇ МОРФОЛОГІЧНОЇ І СИНТАКСИЧНОЇ МОДЕЛІ ГРУЗИНСЬКИХ ТЕКСТІВ
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: (2015)
by: Козаренко, Т.М., et al.
Published: (2015)
Огляд методу перфузійної комп’ютерної томографії та його застосування в онкології
by: Алхімова, С.М., et al.
Published: (2011)
by: Алхімова, С.М., et al.
Published: (2011)
Лексична модель „стандарт – субстандарт – нонстандарт” у системі сучасної комп’ютерної субмови
by: Бондарчук, Л.
Published: (2007)
by: Бондарчук, Л.
Published: (2007)
Огляд методу перфузійної комп’ютерної томографії та його застосування в онкології
by: Alkhimova, S. M., et al.
Published: (2017)
by: Alkhimova, S. M., et al.
Published: (2017)
Конструювання комплексу інструментальних засобів індуктивного моделювання з використанням онтологій
by: Піднебесна, Г.A.
Published: (2020)
by: Піднебесна, Г.A.
Published: (2020)
Розв'язання тривимірної задачі комп'ютерної томографії з використанням невеликої кількості томограм
by: Литвин, О.М., et al.
Published: (2011)
by: Литвин, О.М., et al.
Published: (2011)
Математичні моделі комп’ютерної інтелектуалізації технологій синхронних векторних вимірювань параметрів електричних мереж
by: Стасюк, О.І., et al.
Published: (2016)
by: Стасюк, О.І., et al.
Published: (2016)
Концепція інтелектуальної комп’ютерної навчальної системи для підготовки українських школярів до НМТ
by: Kulik, Anatoliy, et al.
Published: (2025)
by: Kulik, Anatoliy, et al.
Published: (2025)
УДОСКОНАЛЕННЯ КОМП'ЮТЕРНОЇ ІМІТАЦІЙНОЇ МОДЕЛІ ЧАСТОТНО-РЕГУЛОВАНОГО АСИНХРОННОГО ДВИГУНА В ПАКЕТІ ПРОГРАМ MATLAB
by: Волков, В.О.
Published: (2026)
by: Волков, В.О.
Published: (2026)
Проектування та розробка комп’ютерної системи прогнозу техногенних навантажень на приземний шар атмосфери
by: Яцишин, А.В., et al.
Published: (2010)
by: Яцишин, А.В., et al.
Published: (2010)
Розробка основних компонентів інтелектуальної комп'ютерної системи для прогнозу формування внутрішньої дози опромінення
by: Яцишин, А.В.
Published: (2009)
by: Яцишин, А.В.
Published: (2009)
УДОСКОНАЛЕННЯ КОМП'ЮТЕРНОЇ ІМІТАЦІЙНОЇ МОДЕЛІ ЧАСТОТНО-РЕГУЛОВАНОГО АСИНХРОННОГО ДВИГУНА В ПАКЕТІ ПРОГРАМ MATLAB
by: Волков, В.О.
Published: (2026)
by: Волков, В.О.
Published: (2026)
Similar Items
-
Моделе-ориентированная архитектура нечетких мультиагентных систем
by: Парасюк, И.Н., et al.
Published: (2010) -
Математичні методи рентгенівської комп’ютерної томографії
by: Тулякова, Н.О., et al.
Published: (2019) -
Задача розроблення комп’ютерної технології моделювання термічних процесів ливарного виробництва
by: Токова, О.В.
Published: (2018) -
Дослідження та створення інструментальних засобів автоматизованої трансформації схем алгоритмів
by: Погорілий, С.Д., et al.
Published: (2004) -
Відкрита книга комп’ютерної графіки
by: Федорук, О.
Published: (2006)