Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Кибернетика и системный анализ, 2017, № 5 за темою "Кібернетика"

Репозиторій DSpace/Manakin

Перегляд Кибернетика и системный анализ, 2017, № 5 за темою "Кібернетика"

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

  • Автоматы на абстрактных конечных квазигруппах 
    Скобелев, В.В.; Скобелев, В.Г. (Кибернетика и системный анализ, 2017)
    Исследована структура семейств автоматов без выхода, заданных рекуррентными соотношениями на абстрактных конечных квазигруппах. Обоснована целесообразность их использования для построения семейств итерированных хэш-функций ...
  • Доверительные вычисления с использованием складывающей машины. I 
    Анисимов, А.В.; Новокшонов, А.К. (Кибернетика и системный анализ, 2017)
    Предложено решение проблемы целостности арифметических программ, выполняемых на удаленном вычислительном ресурсе. Подход к решению состоит в замене арифметических операций, таких как умножение и деление, процедурами ...
  • Определение языков XML/RDF Semantic Web в метаязыке нормальных форм знаний 
    Кургаев, А.Ф.; Григорьев, С.Н. (Кибернетика и системный анализ, 2017)
    Даны формальные текстовые описания проблемно-ориентированных языков XML/RDF — базовых языков Semantic Web. Наличие таких описаний гарантирует реализуемость языков XML/RDF с использованием интерпретатора метаязыка нормальных ...
  • Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка 
    Чеботарев, А.Н. (Кибернетика и системный анализ, 2017)
    Для двух фрагментов, LP и LF, логики первого порядка с ограниченными кванторами сформулированы и доказаны соответствующие варианты теоремы о спецификации, позволяющие свести процедуру синтеза ∑-автоматов, специфицированных ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис