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

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

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

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

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

  • Верификация программ: состояние, проблемы, результаты. II 
    Крывый, С.Л.; Максимец, А.Н. (Кибернетика и системный анализ, 2014)
    Рассмотрены современные методы верификации программного обеспечения последовательных, функциональных, параллельных и распределенных систем. Основное внимание уделяется методам верификации на основе свойств абстрактных ...
  • Метод моделирования структуры исходных данных и подклассы разрешимых задач комбинаторной оптимизации 
    Донец, Г.А.; Сергиенко, И.В. (Кибернетика и системный анализ, 2014)
    На примере задачи о коммивояжере рассмотрен класс труднорешаемых задач комбинаторной оптимизации, которые имеют полиномиальный алгоритм решения. Доказано, что этому классу принадлежат задачи, у которых специальным образом ...
  • О гомоморфизме компонентной сети Петри 
    Лукьянова, Е.А. (Кибернетика и системный анализ, 2014)
    В виде компонентной сети Петри (CN-сети) рассмотрена редуцированная модель Петри параллельной распределенной системы для установления степени адекватности двух моделей (детальной модели Петри N и компонентной модели Петри ...
  • Робастная нейроэволюционная идентификация нелинейных нестационарных объектов 
    Руденко, О.Г.; Бессонов, А.А. (Кибернетика и системный анализ, 2014)
    Предложено использование нейроэволюционного подхода к построению математических моделей нелинейных нестационарных объектов при наличии негауссовских помех измерений. Рассмотрена общая структура эволюционной нейросети прямого ...

Пошук


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

Перегляд

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