Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения”
Рассмотрено обобщенное представление математической модели программной системы ИКОН, разработаны формальные модели ПС ИКОН, представленные в аналитическом виде UML-диаграмм. Описана трехуровневая архитектура ПС ИКОН в среде клиент-сервер, а также процесс разработки сложных программных систем. The gi...
Gespeichert in:
| Veröffentlicht in: | Проблеми програмування |
|---|---|
| Datum: | 2014 |
| Hauptverfasser: | Палагин, А.В., Петренко, Н.Г., Величко, В.Ю., Малахов, К.С. |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2014
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/113235 |
| 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: | Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения” / А.В. Палагин, Н.Г. Петренко, В.Ю. Величко, К.С. Малахов // Проблеми програмування. — 2014. — № 2-3. — С. 221-232. — Бібліогр.: 20 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
К вопросу разработки инструментального комплекса онтологического назначения
von: Палагин, А.В., et al.
Veröffentlicht: (2012)
von: Палагин, А.В., et al.
Veröffentlicht: (2012)
О некоторых формальных моделях разработки нейросетевых алгоритмов в системе Гомеопат
von: Катеринич, Л.А.
Veröffentlicht: (2010)
von: Катеринич, Л.А.
Veröffentlicht: (2010)
"Инструментальный" материал для атомной техники
von: Панов, В.С., et al.
Veröffentlicht: (2012)
von: Панов, В.С., et al.
Veröffentlicht: (2012)
Доказательное проектирование алгоритмов функционирования реактивных систем
von: Чеботарев, А.Н., et al.
Veröffentlicht: (2008)
von: Чеботарев, А.Н., et al.
Veröffentlicht: (2008)
Особенности разработки искусственной нейронной сети гибридной экспертной системы
von: Коновалов, С.Н., et al.
Veröffentlicht: (2018)
von: Коновалов, С.Н., et al.
Veröffentlicht: (2018)
Принципы построения архитектуры программной платформы для реализации алгоритмов метода группового учета аргументов
von: Орлов, А.А.
Veröffentlicht: (2013)
von: Орлов, А.А.
Veröffentlicht: (2013)
Обзор баз знаний онтологического типа
von: Никоненко, А.А.
Veröffentlicht: (2009)
von: Никоненко, А.А.
Veröffentlicht: (2009)
Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A
von: Тарасюк, О.М., et al.
Veröffentlicht: (2010)
von: Тарасюк, О.М., et al.
Veröffentlicht: (2010)
Некоторые аспекты формализации архитектурного этапа разработки алгоритмов
von: Акуловский, В.Г.
Veröffentlicht: (2009)
von: Акуловский, В.Г.
Veröffentlicht: (2009)
Концепция, архитектура и функциональность гибкой распределенной программной среды учебного назначения для средней школы. Рабочее место методиста
von: Львов, М.С.
Veröffentlicht: (2009)
von: Львов, М.С.
Veröffentlicht: (2009)
Экосистемы программной инженерии
von: Крывый, С.Л., et al.
Veröffentlicht: (2020)
von: Крывый, С.Л., et al.
Veröffentlicht: (2020)
Разработка алгоритмов функционирования процесса анализа решений по управлению предприятием
von: Дурняк, Б., et al.
Veröffentlicht: (2010)
von: Дурняк, Б., et al.
Veröffentlicht: (2010)
Асимптотические свойства формальных решений
von: Жукова, Г.С., et al.
Veröffentlicht: (1987)
von: Жукова, Г.С., et al.
Veröffentlicht: (1987)
О конечной определенности формальных отображений
von: Белицкий, Г.Р.
Veröffentlicht: (1986)
von: Белицкий, Г.Р.
Veröffentlicht: (1986)
МОДЕЛЬ СЕМАНТИЧЕСКОГО РЕПОЗИТОРИЯ ТЕКСТОВЫХ ДОКУМЕНТОВ ДЛЯ ОНТОЛОГИЧЕСКОГО ПОРТАЛА МОНУ
von: Рябова, Наталья Владимировна, et al.
Veröffentlicht: (2011)
von: Рябова, Наталья Владимировна, et al.
Veröffentlicht: (2011)
Модель семантического репозитория текстовых документов для онтологического портала МОНУ
von: Рябова, Н.В., et al.
Veröffentlicht: (2011)
von: Рябова, Н.В., et al.
Veröffentlicht: (2011)
Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2008)
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2008)
Инструментальный контур спектрографа солнечного телескопа АЦУ-5 Главной астрономической обсерватории НАН Украины
von: Осипов, С.Н.
Veröffentlicht: (2015)
von: Осипов, С.Н.
Veröffentlicht: (2015)
Стандартизація процедур управління
von: Горчакова, О.
Veröffentlicht: (2009)
von: Горчакова, О.
Veröffentlicht: (2009)
Использование онтологического описания предметной области для повышения релевантности информационного поиска
von: Рогушина, Ю.В.
Veröffentlicht: (2003)
von: Рогушина, Ю.В.
Veröffentlicht: (2003)
Комплекс средств разработки прикладных программ на реконфигурируемых вычислительных системах
von: Дордопуло, А.И., et al.
Veröffentlicht: (2009)
von: Дордопуло, А.И., et al.
Veröffentlicht: (2009)
Послідовність використання аналітичних процедур при аудиті оборотних активів акціонерних товариств
von: Сурніна, К.С.
Veröffentlicht: (2012)
von: Сурніна, К.С.
Veröffentlicht: (2012)
Комплекс моделей и алгоритмов оптимизации характеристик сетей с технологией MPLS
von: Зайченко, Е.Ю.
Veröffentlicht: (2007)
von: Зайченко, Е.Ю.
Veröffentlicht: (2007)
Автоматическое управление программной ориентацией твердого тела
von: Харламов, М.П.
Veröffentlicht: (2001)
von: Харламов, М.П.
Veröffentlicht: (2001)
К вопросу построения онтологических систем различного назначения
von: Палагин, А.В., et al.
Veröffentlicht: (2016)
von: Палагин, А.В., et al.
Veröffentlicht: (2016)
Методология введения количественного анализа в язык описаний и спецификаций требований к алгоритмам протоколов интеллектуальных сетей
von: Биляк, В.И.
Veröffentlicht: (2005)
von: Биляк, В.И.
Veröffentlicht: (2005)
Разработка инструментальных средств для проверки формальных моделей
von: Колчин, А.В.
Veröffentlicht: (2008)
von: Колчин, А.В.
Veröffentlicht: (2008)
Комплекс алгоритмов и программ для обработки РСДБ-наблюдений "Киев-GR1"
von: Яцкив, Я.С., et al.
Veröffentlicht: (1992)
von: Яцкив, Я.С., et al.
Veröffentlicht: (1992)
Программный комплекс MICEL высокоуровневого и логического синтеза параллельных алгоритмов логичекого управления
von: Бибило, П.Н., et al.
Veröffentlicht: (2009)
von: Бибило, П.Н., et al.
Veröffentlicht: (2009)
Интеграция инструментальных средств алгебры алгоритмов и переписывания термов для разработки эффективных параллельных программ
von: Яценко, Е.А.
Veröffentlicht: (2013)
von: Яценко, Е.А.
Veröffentlicht: (2013)
Применение технологии blockchain для повышения защищенности процесса проведения медицинского страхования
von: Чернега, К.С., et al.
Veröffentlicht: (2017)
von: Чернега, К.С., et al.
Veröffentlicht: (2017)
Об отслеживании программной траектории колесным транспортным роботом
von: Ларин, В.Б.
Veröffentlicht: (2013)
von: Ларин, В.Б.
Veröffentlicht: (2013)
Применение машинного обучения в программной инженерии: обзор
von: Мороз, О.Г., et al.
Veröffentlicht: (2019)
von: Мороз, О.Г., et al.
Veröffentlicht: (2019)
Парадигмы программирования сборочного типа в программной инженерии
von: Лаврищева, Е.М.
Veröffentlicht: (2014)
von: Лаврищева, Е.М.
Veröffentlicht: (2014)
Задачи повышения производительности запросов в программной системе
von: Федоров, И.В.
Veröffentlicht: (2008)
von: Федоров, И.В.
Veröffentlicht: (2008)
Подход к экспертному оцениванию в программной инженерии
von: Лаврищева, Е.М., et al.
Veröffentlicht: (2009)
von: Лаврищева, Е.М., et al.
Veröffentlicht: (2009)
Определение формальных языков в метаязыке нормальных форм знаний
von: Кургаев, А.Ф., et al.
Veröffentlicht: (2017)
von: Кургаев, А.Ф., et al.
Veröffentlicht: (2017)
Оптимизация проверки выполнимости переходов при верификации формальных моделей
von: Колчин, А.В.
Veröffentlicht: (2012)
von: Колчин, А.В.
Veröffentlicht: (2012)
Обзор современных систем и методов верификации формальных моделей
von: Колчин, А.В., et al.
Veröffentlicht: (2012)
von: Колчин, А.В., et al.
Veröffentlicht: (2012)
Механизмы терапевтических эффектов процедур дельфинотерапии
von: Лукина, Л.Н.
Veröffentlicht: (2012)
von: Лукина, Л.Н.
Veröffentlicht: (2012)
Ähnliche Einträge
-
К вопросу разработки инструментального комплекса онтологического назначения
von: Палагин, А.В., et al.
Veröffentlicht: (2012) -
О некоторых формальных моделях разработки нейросетевых алгоритмов в системе Гомеопат
von: Катеринич, Л.А.
Veröffentlicht: (2010) -
"Инструментальный" материал для атомной техники
von: Панов, В.С., et al.
Veröffentlicht: (2012) -
Доказательное проектирование алгоритмов функционирования реактивных систем
von: Чеботарев, А.Н., et al.
Veröffentlicht: (2008) -
Особенности разработки искусственной нейронной сети гибридной экспертной системы
von: Коновалов, С.Н., et al.
Veröffentlicht: (2018)