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

Перегляд Відділення інформатики за темою "Кібернетика"

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

Перегляд Відділення інформатики за темою "Кібернетика"

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

  • Evidence algorithm and SAD systems: Past and possible future 
    Lyaletski, A.V. (Кібернетика та системний аналіз, 2021)
    The paper is devoted to the Evidence Algorithm programme on automated reasoning initiated by Academician Glushkov in 1970 and found its expression in the form of the Russian-language and English-language SAD systems intended ...
  • Generating (2,3)-codes 
    Anisimov, A.V. (Кибернетика и системный анализ, 2020)
    The (2,3)-representation of integers utilizes the mixed numeration base of the radix-2 and the auxiliary radix-3. This representation yields a universal prefix-free binary encoding of all natural numbers with a variety of ...
  • Improving text generation through introducing coherence metrics 
    Marchenko, O.O.; Radyvonenko, O.S.; Ignatova, T.S.; Titarchuk, P.V.; Zhelezniakov, D.V. (Кибернетика и системный анализ, 2020)
    Text-based interaction using mobile devices is now ubiquitous, its main outlets being social networks, messengers, email conversations, virtual assistants, accessibility applications, etc. Its status implies the need to ...
  • Автоматы на абстрактных конечных квазигруппах 
    Скобелев, В.В.; Скобелев, В.Г. (Кибернетика и системный анализ, 2017)
    Исследована структура семейств автоматов без выхода, заданных рекуррентными соотношениями на абстрактных конечных квазигруппах. Обоснована целесообразность их использования для построения семейств итерированных хэш-функций ...
  • Автоматы на конечных Т-квазигруппах 
    Скобелев, В.В.; Скобелев, В.Г. (Кибернетика и системный анализ, 2018)
    Исследованы семейства автоматов без выхода, а также семейства обратимых автоматов Мили и Мура, заданные рекуррентными соотношениями над конечными T-квазигруппами. На основе разложения абелевой группы в прямую сумму примарных ...
  • Аксиомы неоднородной геометрии 
    Григорьян, Ю.Г. (Кибернетика и системный анализ, 2019)
    Работа основана на гипотезе Лобачевского, что пространство на различных участках удовлетворяет различным геометриям: евклидовой, неевклидовой, проективной. На базе теории арифметических графов построены три системы ...
  • Алгебраїчні властивості ядер узагальнених нейрофункцій 
    Гече, Ф.Е.; Мулеса, О.Ю. (Кибернетика и системный анализ, 2018)
    Рассмотрены обобщенные нейронные элементы, определены условия реализуемости функций алгебры логики на таких элементах. Введено понятие модифицированного ядра булевых функций относительно системы характеров группы, на которой ...
  • Алгоритмы вывода решений на основе унифицированных логических моделей управления 
    Литвиненко, А.Е. (Кибернетика и системный анализ, 2020)
    Предложены унифицированные формы моделей представления знаний в экспертных системах управления. Доказано, что при количественном измерении характеристик состояния объекта управления задача вывода управленческого решения ...
  • Анализ структуры атрибутных транзиционных систем без скрытых переходов 
    Скобелев, В.В. (Кибернетика и системный анализ, 2017)
    Проведен теоретико-множественный анализ структуры атрибутных транзиционных систем без скрытых переходов. Предложены частичные операции композиции историй и трасс. Показана возможность их применения для распараллеливания ...
  • Атрибутные транзиционные системы со скрытыми переходами 
    Скобелев, В.В. (Кибернетика и системный анализ, 2017)
    В работе содержится теоретико-множественный анализ структуры атрибутных транзиционных систем со скрытыми переходами в предположении, что множество доопределяемых состояний зафиксировано и не изменяет структуры системы. ...
  • Аффинные автоматы и классические фракталы 
    Рысцов, И.К. (Кибернетика и системный анализ, 2018)
    В работе выявлена связь между фрактальной геометрией и теорией автоматов. Показано, что по крайней мере классические фракталы являются аттракторами сжимающих аффинных автоматов, а также что символьное пространство сжимающего ...
  • Блочно-диагональный подход к неотрицательной факторизации разреженных лингвистических матриц и тензоров сверхбольшой размерности с использованием латентного распределения Дирихле 
    Анисимов, А.В.; Марченко, А.А.; Насиров, Э.М. (Кибернетика и системный анализ, 2018)
    Описаны алгоритмы неотрицательной факторизации разреженных матриц и тензоров. Рассмотрено использование латентного распределения Дирихле для приведения матриц и тензоров к блочно-диагональной форме для параллелизации ...
  • Быстрый рекурсивный алгоритм умножения матриц порядка n = 3q (q > 1) 
    Елфимова, Л.Д. (Кібернетика та системний аналіз, 2021)
    Предложен новый быстрый рекурсивный алгоритм умножения матриц порядка n = 3q (q > 1), построенный на основе гибридного алгоритма умножения матриц нечетного порядка n = 3μ (μ = 2q - 1, q > 1), который используется в качестве ...
  • Верхние оценки несбалансированности дискретных функций, реализуемых последовательностями конечных автоматов 
    Алексейчук, А.Н.; Конюшок, С.Н.; Поремский, М.В. (Кибернетика и системный анализ, 2019)
    Получены матричное представление и верхние оценки несбалансированности произвольной дискретной функции, реализуемой последовательностью конечных автоматов. Приведенные результаты, обобщающие ряд известных ранее утверждений ...
  • Верхняя граница для суммы корреляций трех индикаторов в отсутствие общего фактора 
    Балабанов, А.С. (Кибернетика и системный анализ, 2019)
    Показано, что в линейной модели с тремя индикаторными переменными, где каждая пара индикаторов имеет отдельный «парный» фактор, сумма трех корреляций ограничена сверху. Нарушение установленного неравенства свидетельствует ...
  • Вклад вероятностно-статистической школы Бориса Владимировича Гнеденко в развитие кибернетики и информатики 
    Коваленко, И.Н. (Кибернетика и системный анализ, 2017)
    Выдающийся ученый и педагог, академик АН УССР (ныне НАН Украины) Борис Владимирович Гнеденко из 84 лет своей жизни (1.01.1912–25.12.1995) жил и работал в Украине 15 лет (1945–1960), создав всемирно известную вероятностно ...
  • Графовий підхід до розв’язання задач комбінаторного розпізнавання 
    Донець, Г.П. (Кибернетика и системный анализ, 2017)
    Розглянуто проблему комбінаторного розпізнавання за допомогою серії тестових перевірок. До неї зводиться задача пошуку двох радіоактивних куль поміж множини заданих. Для розв’язання задачі запропоновано використати теорію ...
  • Доверительные вычисления с использованием складывающей машины. I 
    Анисимов, А.В.; Новокшонов, А.К. (Кибернетика и системный анализ, 2017)
    Предложено решение проблемы целостности арифметических программ, выполняемых на удаленном вычислительном ресурсе. Подход к решению состоит в замене арифметических операций, таких как умножение и деление, процедурами ...
  • Доверительные вычисления с использованием складывающей машины. II 
    Анисимов, А.В.; Новокшонов, А.К. (Кибернетика и системный анализ, 2018)
    Предложено решение проблемы проверки целостности арифметических программ c ветвлениями и циклами, выполняемых на удаленном вычислительном ресурсе. Подход к решению состоит в замене арифметических операций, таких как умножение ...
  • Доказательство теорем в нечеткой логике на основе структурной резолюции 
    Самохвалов, Ю.Я. (Кибернетика и системный анализ, 2019)
    Рассмотрен подход к доказательству теорем с нечеткой и не вполне истинной аргументаяцией. В качестве правила доказательного рассуждения используется композиционное правило вывода Л. Заде, а его процедурная реализация ...

Пошук


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

Перегляд

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