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

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

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

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

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

  • Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering 
    Bjorner, D. (Кибернетика и системный анализ, 2010)
    Висловлено побажання, щоб факультети комп’ютерих наук викладали програмування і програмну інженерію на основі формальних методів і більше уваги приділяли дослідженню формальних методів для надійної розробки програмного ...
  • Автоматический метод динамического построения абстракций состояний формальной модели 
    Колчин, А.В. (Кибернетика и системный анализ, 2010)
    Описано метод побудови абстракцій для підвищення ефективності перевірки формальних моделей. Послаблення відношення еквівалентності станів досягається за рахунок ігнорування незначущих значень атрибутів. Результати експериментів ...
  • Авторы номера 4 за 2010 г. 
    Автор відсутній (Кибернетика и системный анализ, 2010)
  • Быстрые гибридные алгоритмы умножения матриц 
    Елфимова, Л.Д. (Кибернетика и системный анализ, 2010)
    Запропоновано новi гiбриднi алгоритми множення матриць, якi вiдрiзняються вiд вiдомих найменшою операцiйною cкладнiстю. Наведено оцiнки обчислювальної складностi представлених алгоритмiв.
  • Вхождения в моноидах треков 
    Шахбазян, К.В.; Шукурян, Ю.Г. (Кибернетика и системный анализ, 2010)
    Запропоновано ефективні алгоритми для розв’язання декількох задач входження трека-зразка в трек-об’єкт. Розглянуто задачі пошуку зразка в треку, пов’язані з задачею пошуку частих зразків в структурованих даних, та задачі ...
  • Международный симпозиум «Автоматы, алгоритмы и информационные технологии» 
    Мороховец, М.К. (Кибернетика и системный анализ, 2010)
    С 19 по 21 мая в Киеве (Украина) проходил Международный симпозиум «Автоматы, алгоритмы и информационные технологии», приуроченный к 75-летнему юбилею академика НАНУ Александра Адольфовича Летичевского.
  • О сложности анализа автоматов над конечным кольцом 
    Скобелев, В.В.; Скобелев, В.Г. (Кибернетика и системный анализ, 2010)
    Досліджено загальну схему, призначену для обчислювання оцінок, що базуються на потужності підмножини заданої множини автоматів над скінченним комутативно-асоціативним кільцем з одиницею. Запропоновано схему розв’язку систем ...
  • Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования 
    Летичевский, А.А.; Герман, В.Н.; Мороховец, М.К.; Щеголева, Н.Н. (Кибернетика и системный анализ, 2010)
    Описано програмні засоби паралельного пошуку логічного виводу у пропозиційному численні та подано результати експериментів з ними. Програмні засоби розроблено на базі системи алгебричного програмування АПС та кластерного ...
  • Полиномиальные инварианты линейных циклов 
    Львов, М.С. (Кибернетика и системный анализ, 2010)
    Розглянуто задачу генерації поліноміальних інваріантів спеціального типу ітераційних циклів з лінійним відображенням у тілі циклу. Запропоновано нову техніку побудови таких інваріантів, основану на аналізі характеристичних ...
  • Предикатные преобразователи в контексте символьного моделирования транзиционных систем 
    Годлевский, А.Б. (Кибернетика и системный анализ, 2010)
    При моделюванні атрибутних транзиційних систем класи їх станів описуються за допомогою формул логіки в заданій сигнатурі функціональних та предикатних символів. Побудовано процедуру перетворення таких формул під дією ...
  • Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L 
    Чеботарев, А.Н. (Кибернетика и системный анализ, 2010)
    Запропоновано метод переходу від специфікації автомата мовою L* до специфікації у мові L. Спочатку завдяки введенню додаткових предикатних символів специфікація перетворюється у специфікацію автомата зі скінченною пам’яттю, ...
  • Проверка эквивалентности программ с помощью двухленточных автоматов 
    Захаров, В.А. (Кибернетика и системный анализ, 2010)
    Семантика послідовних програм визначається на основі моделей динамічної логіки. Якщо динамічна шкала ациклічна, її можна описати двострічковим детермінованим автоматом. У такому разі перевірки еквівалентності програм, ...
  • Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с использованием эвристических средств 
    Дорошенко, А.Е.; Котюк, Н.В.; Николаев, С.С.; Цейтлин, Г.Е.; Яценко, Е.А. (Кибернетика и системный анализ, 2010)
    Розглянуто розвиток алгеброалгоритмічного інструментарію для конструювання паралельних алгоритмів на основі спільного використання алгеброалгоритмічної методології специфікації і розробки програм та неалгоритмічних ...
  • Расширение языка Scala средствами параллелизма и распределенности с помощью координационной системы Linda 
    Глибовец, Н.Н.; Гороховский, С.С.; Стукало, М.С. (Кибернетика и системный анализ, 2010)
    Описано реалізовану бібліотеку, спрямовану на імплементацію Linda для мови Scala (мовної підтримки компонентного програмного забезпечення). Бібліотека використовує клієнт-серверну архітектуру, базу даних для подання простору ...
  • Рецензия на монографию 
    Коваленко, И.Н. (Кибернетика и системный анализ, 2010)
    Рецензия на: Меликов А.З., Пономаренко Л.А., Паладюк В.В. «Телетрафик: модели, методы, оптимизация». — К.: ИПК «Политехника», 2007. — 256 с.; Меликов А.З., Пономаренко Л.А., Фаттахова М.И. «Управление мультиресурсными ...
  • Решение линейных ограничений над полем вещественных и рациональных чисел 
    Герман, В.Н. (Кибернетика и системный анализ, 2010)
    Запропоновано набір практичних методів розв’язання лінійних обмежень над дійсними та раціональними числами в формулах з кванторами. Розглянуто спектр другорядних проблем, що виникають під час вирішення основної проблеми, ...
  • Свойства предикатного трансформера системы VRS 
    Летичевский, А.А.; Годлевский, А.Б.; Летичевский, А.А. (мл.); Потиенко, С.В.; Песчаненко, В.С. (Кибернетика и системный анализ, 2010)
    Розглянуто моделі, записані в мові базових протоколів. Вони є атрибутними транзиційними системами, а їх стани задаються формулами багатосортного числення предикатів першого порядку над атрибутами системи. Допускаються ...
  • Формальные основы интероперабельности компонентов в программировании 
    Лаврищева, Е.М. (Кибернетика и системный анализ, 2010)
    Досліджено проблему взаємодії різнорідних компонентів і систем — з теоретичної, семантичної і реалізаційної точок зору. Представлено теорію структурної організації типів даних, семантику перетворення нерелевантних типів ...

Пошук


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

Перегляд

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