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

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

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

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

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

  • Автоматический метод динамического построения абстракций состояний формальной модели 
    Колчин, А.В. (Кибернетика и системный анализ, 2010)
    Описано метод побудови абстракцій для підвищення ефективності перевірки формальних моделей. Послаблення відношення еквівалентності станів досягається за рахунок ігнорування незначущих значень атрибутів. Результати експериментів ...
  • Быстрые гибридные алгоритмы умножения матриц 
    Елфимова, Л.Д. (Кибернетика и системный анализ, 2010)
    Запропоновано новi гiбриднi алгоритми множення матриць, якi вiдрiзняються вiд вiдомих найменшою операцiйною cкладнiстю. Наведено оцiнки обчислювальної складностi представлених алгоритмiв.
  • Вхождения в моноидах треков 
    Шахбазян, К.В.; Шукурян, Ю.Г. (Кибернетика и системный анализ, 2010)
    Запропоновано ефективні алгоритми для розв’язання декількох задач входження трека-зразка в трек-об’єкт. Розглянуто задачі пошуку зразка в треку, пов’язані з задачею пошуку частих зразків в структурованих даних, та задачі ...
  • О сложности анализа автоматов над конечным кольцом 
    Скобелев, В.В.; Скобелев, В.Г. (Кибернетика и системный анализ, 2010)
    Досліджено загальну схему, призначену для обчислювання оцінок, що базуються на потужності підмножини заданої множини автоматів над скінченним комутативно-асоціативним кільцем з одиницею. Запропоновано схему розв’язку систем ...
  • Предикатные преобразователи в контексте символьного моделирования транзиционных систем 
    Годлевский, А.Б. (Кибернетика и системный анализ, 2010)
    При моделюванні атрибутних транзиційних систем класи їх станів описуються за допомогою формул логіки в заданій сигнатурі функціональних та предикатних символів. Побудовано процедуру перетворення таких формул під дією ...
  • Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L 
    Чеботарев, А.Н. (Кибернетика и системный анализ, 2010)
    Запропоновано метод переходу від специфікації автомата мовою L* до специфікації у мові L. Спочатку завдяки введенню додаткових предикатних символів специфікація перетворюється у специфікацію автомата зі скінченною пам’яттю, ...
  • Проверка эквивалентности программ с помощью двухленточных автоматов 
    Захаров, В.А. (Кибернетика и системный анализ, 2010)
    Семантика послідовних програм визначається на основі моделей динамічної логіки. Якщо динамічна шкала ациклічна, її можна описати двострічковим детермінованим автоматом. У такому разі перевірки еквівалентності програм, ...
  • Свойства предикатного трансформера системы VRS 
    Летичевский, А.А.; Годлевский, А.Б.; Летичевский, А.А. (мл.); Потиенко, С.В.; Песчаненко, В.С. (Кибернетика и системный анализ, 2010)
    Розглянуто моделі, записані в мові базових протоколів. Вони є атрибутними транзиційними системами, а їх стани задаються формулами багатосортного числення предикатів першого порядку над атрибутами системи. Допускаються ...

Пошук


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

Перегляд

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