Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Компьютерная математика
Дата:	2015
Автор:	Давидов, О.П.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2015
Теми:	Инструментальные средства информационных технологий
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/168384
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделеорієнтованого підходу / О.П. Давидов // Компьютерная математика. — 2015. — № 2. — С. 86-95. — Бібліогр.: 6 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Моделе-ориентированная архитектура нечетких мультиагентных систем
за авторством: Парасюк, И.Н., та інші
Опубліковано: (2010)

Математичні методи рентгенівської комп’ютерної томографії
за авторством: Тулякова, Н.О., та інші
Опубліковано: (2019)

Відкрита книга комп’ютерної графіки
за авторством: Федорук, О.
Опубліковано: (2006)

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

Дослідження та створення інструментальних засобів автоматизованої трансформації схем алгоритмів
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2004)

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

Від наукового результату до комп’ютерної технології
за авторством: Задірака, В.К., та інші
Опубліковано: (2008)

Від наукового результату до комп’ютерної технології
за авторством: Zadiraka, V. K., та інші
Опубліковано: (2017)

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

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

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

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

СТВОРЕННЯ КОМП'ЮТЕРНОЇ МОДЕЛІ ДЛЯ СИСТЕМИ ДІАГНОСТУВАННЯ ДИЗЕЛЬ-ГЕНЕРАТОРА
за авторством: Fedorchuk, Vladimir Anatolievich, та інші
Опубліковано: (2013)

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

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

Роль комплексної мультидетекторної комп’ютерної томографії у стадіюванні раку гортані
за авторством: Дикан, І.М., та інші
Опубліковано: (2013)

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

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

ПРОГРАМИ ДЛЯ КОМП'ЮТЕРНОЇ РЕАЛІЗАЦІЇ МОРФОЛОГІЧНОЇ І СИНТАКСИЧНОЇ МОДЕЛІ ГРУЗИНСЬКИХ ТЕКСТІВ
за авторством: Antidze, J., та інші
Опубліковано: (2013)

Модульні операції над гіперкомплексними числами в системі комп’ютерної математики MAPLE
за авторством: Синьков, М.В., та інші
Опубліковано: (2005)

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

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

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

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

Концепція інтелектуальної комп’ютерної навчальної системи для підготовки українських школярів до НМТ
за авторством: Kulik, Anatoliy, та інші
Опубліковано: (2025)

Розв'язання тривимірної задачі комп'ютерної томографії з використанням невеликої кількості томограм
за авторством: Литвин, О.М., та інші
Опубліковано: (2011)

УДОСКОНАЛЕННЯ КОМП'ЮТЕРНОЇ ІМІТАЦІЙНОЇ МОДЕЛІ ЧАСТОТНО-РЕГУЛОВАНОГО АСИНХРОННОГО ДВИГУНА В ПАКЕТІ ПРОГРАМ MATLAB
за авторством: Волков, В.О.
Опубліковано: (2026)

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

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

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

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

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

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

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

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

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

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

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

Нейронні мережі в економічному моделюванні
за авторством: Галкін, О.В.
Опубліковано: (2013)

Частинні випадки задачі граціозності графів
за авторством: Семенюта, М.Ф.
Опубліковано: (2015)