Конструкционно-продукционная модель структур данных на логическом уровне
Разработана обобщенная конструктивно-продукционная структура, которая аккумулирует возможности различных грамматик и грамматико-подобных систем по формированию конструкций с элементов различной природы. Отличительная особенность формируемых конструкций заключается в применении аппарата атрибутов к э...
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2014 |
| Автори: | Шинкаренко, В.И., Ильман, В.М., Забула, Г.В. |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2014
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/113208 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Конструкционно-продукционная модель структур данных на логическом уровне / В.И. Шинкаренко, В.М. Ильман, Г.В. Забула // Проблеми програмування. — 2014. — № 2-3. — С. 10-16. — Бібліогр.: 20 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Конструктивно-продукционная модель графового представления текста
за авторством: Шинкаренко, В.И., та інші
Опубліковано: (2016)
за авторством: Шинкаренко, В.И., та інші
Опубліковано: (2016)
Конструктивное представление множественных объектов и их свойства
за авторством: Ильман, В.М., та інші
Опубліковано: (2014)
за авторством: Ильман, В.М., та інші
Опубліковано: (2014)
Временная оценка операций обработки структурированных данных с учетом конвейеризации и кэширования
за авторством: Шинкаренко, В.И.
Опубліковано: (2006)
за авторством: Шинкаренко, В.И.
Опубліковано: (2006)
Функциональная эффективность нечетко специфицированных алгоритмов
за авторством: Шинкаренко, В.И.
Опубліковано: (2006)
за авторством: Шинкаренко, В.И.
Опубліковано: (2006)
Основы алгебры алгоритмов, базирующейся на данных
за авторством: Акуловский, В.Г.
Опубліковано: (2010)
за авторством: Акуловский, В.Г.
Опубліковано: (2010)
Синтез многоуровневых структур со многими выходами
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2016)
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2016)
DS-теория. Исследование факторов форматирования Р-данных
за авторством: Колесник, В.Г.
Опубліковано: (2016)
за авторством: Колесник, В.Г.
Опубліковано: (2016)
Некоторые аспекты формализации данных и декомпозиция Д-операторов
за авторством: Акуловский, В.Г.
Опубліковано: (2009)
за авторством: Акуловский, В.Г.
Опубліковано: (2009)
Состав и свойства данных, специфицируемых в композиционных схемах алгоритмов
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2013)
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2013)
Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных
за авторством: Резниченко, В.А., та інші
Опубліковано: (2016)
за авторством: Резниченко, В.А., та інші
Опубліковано: (2016)
О методе проектирования абстрактного типа данных в алгебре алгоритмики
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2012)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2012)
Отображение дескриптивной логики ALC в бинарную реляционную структуру данных
за авторством: Резниченко, В.А., та інші
Опубліковано: (2015)
за авторством: Резниченко, В.А., та інші
Опубліковано: (2015)
Структурний підхід до проблеми відтворення граматик
за авторством: Ільман, В.М., та інші
Опубліковано: (2007)
за авторством: Ільман, В.М., та інші
Опубліковано: (2007)
Особливості практичного застосування показників обчислювальної складності алгоритмів
за авторством: Шинкаренко, В.І.
Опубліковано: (2008)
за авторством: Шинкаренко, В.І.
Опубліковано: (2008)
О выделении макроопераций из вычислительных процессов сортировки массивов данных
за авторством: Паулин, О.Н., та інші
Опубліковано: (2016)
за авторством: Паулин, О.Н., та інші
Опубліковано: (2016)
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 1
за авторством: Колесник, В.Г.
Опубліковано: (2015)
за авторством: Колесник, В.Г.
Опубліковано: (2015)
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 2
за авторством: Колесник, В.Г.
Опубліковано: (2015)
за авторством: Колесник, В.Г.
Опубліковано: (2015)
Двохкомпонентні алгоритми сортування
за авторством: Шинкаренко, В.І., та інші
Опубліковано: (2022)
за авторством: Шинкаренко, В.І., та інші
Опубліковано: (2022)
Темпоральні процедури та алгоритми
за авторством: Зубенко, В.В.
Опубліковано: (2006)
за авторством: Зубенко, В.В.
Опубліковано: (2006)
Дефинитологические основания сущностной платформы
за авторством: Редько, В.Н., та інші
Опубліковано: (2012)
за авторством: Редько, В.Н., та інші
Опубліковано: (2012)
Дескриптивные системы: концептуальный базис
за авторством: Редько, В.Н., та інші
Опубліковано: (2006)
за авторством: Редько, В.Н., та інші
Опубліковано: (2006)
Дескриптологические основания сущностной платформы
за авторством: Редько, В.Н., та інші
Опубліковано: (2010)
за авторством: Редько, В.Н., та інші
Опубліковано: (2010)
Программологические основания сущностной платформы
за авторством: Редько, В.Н., та інші
Опубліковано: (2008)
за авторством: Редько, В.Н., та інші
Опубліковано: (2008)
NP-трудность задач оптимизации коллективного преследования
за авторством: Пашко, С.В.
Опубліковано: (2014)
за авторством: Пашко, С.В.
Опубліковано: (2014)
К-значная логика в расширенной алгебре алгоритмов
за авторством: Акуловский, В.Г.
Опубліковано: (2008)
за авторством: Акуловский, В.Г.
Опубліковано: (2008)
Интенсиональные основания дескриптивных сред
за авторством: Редько, И.В.
Опубліковано: (2006)
за авторством: Редько, И.В.
Опубліковано: (2006)
Швидка або якісна розробка?
за авторством: Панченко, Т.В.
Опубліковано: (2014)
за авторством: Панченко, Т.В.
Опубліковано: (2014)
Программирование и интеллект
за авторством: Мейтус, В.Ю.
Опубліковано: (2009)
за авторством: Мейтус, В.Ю.
Опубліковано: (2009)
Экзистенциальный базис дескриптивных сред
за авторством: Редько, И.В.
Опубліковано: (2008)
за авторством: Редько, И.В.
Опубліковано: (2008)
DS-теория. Представление канонического алгоритма с помощью алгоритмического языка
за авторством: Колесник, В.Г.
Опубліковано: (2015)
за авторством: Колесник, В.Г.
Опубліковано: (2015)
DS-теория. Научные аспекты и перспективы развития
за авторством: Колесник, В.Г.
Опубліковано: (2017)
за авторством: Колесник, В.Г.
Опубліковано: (2017)
Виникнення та інтерпретація тризначних логік Кліні
за авторством: Шишацька, О.В.
Опубліковано: (2010)
за авторством: Шишацька, О.В.
Опубліковано: (2010)
Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами
за авторством: Потиенко, С.В.
Опубліковано: (2008)
за авторством: Потиенко, С.В.
Опубліковано: (2008)
Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
за авторством: Колчин, А.В.
Опубліковано: (2008)
за авторством: Колчин, А.В.
Опубліковано: (2008)
Некоторые аспекты формализации архитектурного этапа разработки алгоритмов
за авторством: Акуловский, В.Г.
Опубліковано: (2009)
за авторством: Акуловский, В.Г.
Опубліковано: (2009)
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
за авторством: Панченко, Т.В.
Опубліковано: (2008)
за авторством: Панченко, Т.В.
Опубліковано: (2008)
Расширенная алгебра алгоритмов
за авторством: Акуловский, В.Г.
Опубліковано: (2007)
за авторством: Акуловский, В.Г.
Опубліковано: (2007)
Метод извлечения логики поведения из промышленного программного кода на языке Кобол
за авторством: Губа, А.А., та інші
Опубліковано: (2016)
за авторством: Губа, А.А., та інші
Опубліковано: (2016)
Композиційно-номінативні логіки з непрямим іменуванням
за авторством: Россада, Т.В., та інші
Опубліковано: (2012)
за авторством: Россада, Т.В., та інші
Опубліковано: (2012)
Про нові методи опису невизначених величин
за авторством: Провотар, О.І., та інші
Опубліковано: (2012)
за авторством: Провотар, О.І., та інші
Опубліковано: (2012)
Схожі ресурси
-
Конструктивно-продукционная модель графового представления текста
за авторством: Шинкаренко, В.И., та інші
Опубліковано: (2016) -
Конструктивное представление множественных объектов и их свойства
за авторством: Ильман, В.М., та інші
Опубліковано: (2014) -
Временная оценка операций обработки структурированных данных с учетом конвейеризации и кэширования
за авторством: Шинкаренко, В.И.
Опубліковано: (2006) -
Функциональная эффективность нечетко специфицированных алгоритмов
за авторством: Шинкаренко, В.И.
Опубліковано: (2006) -
Основы алгебры алгоритмов, базирующейся на данных
за авторством: Акуловский, В.Г.
Опубліковано: (2010)