Перегляд за автором "Кургаев, А.Ф."

Сортувати за: Порядок: Результатів:

  • Анализ доминирующих моделей представления и использования знаний 
    Кургаев, А.Ф.; Григорьев, С.Н. (Управляющие системы и машины, 2014)
    Выполнен анализ специфики, достоинств и недостатков эвристических моделей представления знаний (продукционных, сетевых, фреймовых), а также использования различных вариантов метаязыкового представления. Показано, что ни ...
  • Интерпретатор универсальной машины Тьюринга 
    Кургаев, А.Ф.; Григорьев, С.Н. (Доповіді НАН України, 2016)
    На примере интерпретатора универсальной машины Тьюринга доказана достаточность выразительных возможностей метаязыка нормальных форм знаний (НФЗ) для постановки и решения произвольной задачи, для которой есть решение, и, ...
  • Метаязык нормальных форм знаний 
    Кургаев, А.Ф.; Григорьев, С.Н. (Кибернетика и системный анализ, 2016)
    Представлен метаязык нормальных форм знаний, даны его текстовое и графическое описания. В текстовой и графической формах даны формальные описания множества лингвистических примеров, в том числе синтаксиса подмножества ...
  • Модельное проектирование процессора 
    Кургаев, А.Ф.; Григорьев, С.Н. (Доповіді НАН України, 2017)
    Предложена новая последовательностная структура распределенного сетевого устройства управления и методология модельного проектирования процессора, состоящая в последовательном наращивании структуры процессора в контексте ...
  • Модификация метаязыка нормальных форм знаний 
    Кургаев, А.Ф. (Проблеми програмування, 2019)
    Набор базовых отношений метаязыка нормальных форм знаний (альтернатива, конкатенация, отрицание и итерация) расширен двумя новыми отношениями: обязательности (не нулевым числом повторений), необязательности некоторой ...
  • Новое определение SPARQL — языка запросов Semantic Web 
    Кургаев, А.Ф. (Доповіді НАН України, 2018)
    Дано в метаязыке нормальных форм знаний (НФЗ) текстовое и часть графического описания синтаксиса языка SPARQL структурированных запросов Semantic Web. Наличие таких описаний гарантирует реализуемость языка SPARQL с ...
  • Новое определение языка веб-онтологий OWL2 
    Кургаев, А.Ф. (Доповіді НАН України, 2018)
    Даны в метаязыке нормальных форм знаний (НФЗ) описания манчестерского синтаксиса и синтаксиса функционального стиля языка веб-онтологий OWL 2 — центрального языка семантического стека Тима Бернерс-Ли. Наличие таких ...
  • Нормальные формы знаний 
    Кургаев, А.Ф.; Григорьев, С.Н. (Доповіді НАН України, 2015)
    В новом способе представления и использования знаний знания предельно отделены от данных. В описании и в представлении знания и данные разделены физически: знания сконцентрированы в информационной структуре, представление ...
  • Описание списков и множеств в метаязыке нормальных форм знаний 
    Кургаев, А.Ф. (Проблеми програмування, 2020)
    Предложена формализация списков, предикатов на списках и множествах в метаязыке нормальных форм знаний, базируясь на известных Пролог-формализациях этих понятий, использующих списковый домен. Среди предикатов на списках ...
  • Определение формальных языков в метаязыке нормальных форм знаний 
    Кургаев, А.Ф.; Григорьев, С.Н. (Проблеми програмування, 2017)
    Исследованы выразительные возможности метаязыка нормальных форм знаний по отношению к формальным языкам разного уровня. Даны формальные описания множества лингвистических примеров. Разработано графическое метаописание ...
  • Определение языков XML/RDF Semantic Web в метаязыке нормальных форм знаний 
    Кургаев, А.Ф.; Григорьев, С.Н. (Кибернетика и системный анализ, 2017)
    Даны формальные текстовые описания проблемно-ориентированных языков XML/RDF — базовых языков Semantic Web. Наличие таких описаний гарантирует реализуемость языков XML/RDF с использованием интерпретатора метаязыка нормальных ...
  • О проектировании специализированного процессора в системе автоматизированного проектирования 
    Кургаев, А.Ф.; Савченко, И.В. (Управляющие системы и машины, 2012)
    Решена задача проектирования специализированного процессора, предполагающая: расширение и выявление набора команд, их планирование, выделение аппаратных ресурсов, связывание команд, декомпозиция устройства управления, ...
  • Расширение метаязыка нормальных форм знаний 
    Кургаев, А.Ф. (Кибернетика и системный анализ, 2020)
    Рассмотрены два варианта текстового и графического описания метаязыка нормальных форм знаний, расширенного стилистическими отношениями описания информационных структур. Набор отношений нормальных форм знаний (альтернатива, ...
  • Синтез-обоснование идеала структуры языка научной теории 
    Кургаев, А.Ф. (Математичні машини і системи, 2006)
    Синтезировано некоторое приближение к семантической модели идеала структуры языка научной теории, непротиворечиво сочетающей содержательность с формальностью, и согласовано с известными результатами, разделяемыми ...
  • Формализация списков в метаязыке нормальных форм знаний 
    Кургаев, А.Ф. (Доповіді НАН України, 2017)
    Впервые предложена формализация предикатов на списках в метаязыке нормальных форм знаний, базируясь на известных описаниях этих понятий на Прологе, использующих списковый домен. Среди описанных предикатов: добавление ...
  • Эволюция структуры объекта науки 
    Кургаев, А.Ф. (Кибернетика и системный анализ, 2016)
    Рассмотрены дисциплинарная структура, структура организационного управления наукой, иерархия структуры действительности, вопросы эволюции Природы и ее составляющих. Показано, что суть логики процесса эволюции Природы состоит ...