Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Компьютерная математика
Datum:	2015
ISSN:	2616-938Х
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: (2018)

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

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

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

Технології масового розповсюдження комп’ютерної інформації
von: Кожешкурт, В.І., et al.
Veröffentlicht: (2010)

Лексико-семантична парадигматика комп’ютерної термінолексики
von: Махачашвілі, Р.К.
Veröffentlicht: (2006)

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

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

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

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

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

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

Алгоритм класифікації інтегрованості нелінійних динамічних систем методами комп’ютерної алгебри: Fìz.-mat. model. ìnf. tehnol. 2021, 32:7-12
von: Fil, Bohdan, et al.
Veröffentlicht: (2021)

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

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

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

Мінімізація дозового навантаження в алгоритмах рентгенівської комп’ютерної томографії
von: Bulavin, L. A., et al.
Veröffentlicht: (2019)

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

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

Використання інформаційних технологій в розв’язанні задач комп’ютерної лінгвістики
von: Ходякова, Г.В.
Veröffentlicht: (2020)

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

Аналіз можливості використання сучасних пакетів комп’ютерної алгебри під час синтезу криптопримітивів: Fìz.-mat. model. ìnf. tehnol. 2021, 33:128-132
von: Ponomar, Volodymyr, et al.
Veröffentlicht: (2021)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Розробка основних компонентів інтелектуальної комп'ютерної системи для прогнозу формування внутрішньої дози опромінення
von: Яцишин, А.В.
Veröffentlicht: (2009)

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