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

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

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

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

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

  • Групповые структуры на фактор-множествах в задачах классификации 
    Машталир, В.П.; Шляхов, В.В.; Яковлев, С.В. (Кибернетика и системный анализ, 2014)
    Для задач факторизации информации проанализирована связь свойств дифункциональности и тернарных отношений. Найдены условия, при которых произвольные n-арные отношения индуцируют мультиалгебраические системы с единым носителем ...
  • Использование согласования логических спецификаций автоматов при решении игровых задач 
    Чеботарев, А.Н. (Кибернетика и системный анализ, 2014)
    Игровые модели широко используются при решении задач реализуемости, синтеза и верификации реактивных систем. Для решения таких задач в статье рассматривается автоматный подход, основанный на понятии согласованности автоматов ...
  • Комбинаторный метод решения систем линейных ограничений 
    Крывый, С.Л. (Кибернетика и системный анализ, 2014)
    Рассмотрены комбинаторный метод построения базиса множества решений систем линейных ограничений в области действительных чисел и улучшенный метод построения минимального порождающего множества решений в области натуральных ...
  • Кронекеровы (тензорные) модели нечетко-множественных гранул 
    Минаев, Ю.Н.; Филимонова, О.Ю.; Минаева, Ю.И. (Кибернетика и системный анализ, 2014)
    Рассмотрены вопросы, связанные с грануляцией информации и гранулярными вычислениями (гранулярный компьютинг) при представлении нечетко-множественной гранулы (НМ-гранулы) в виде кронекерова произведения. Показана универсальность ...
  • Новые доказательства важных теорем бестипового экстенсионального λ–исчисления 
    Лялецкий, А.А. (Кибернетика и системный анализ, 2014)
    Построены новые доказательства двух теорем бестипового экстенсионального λ-исчисления: теоремы Карри о том, что произвольный λ-терм имеет βŋ-нормальную форму тогда и только тогда, когда он имеет β-нормальную форму, и теоремы ...

Пошук


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

Перегляд

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