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

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

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

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

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

  • Анализ линейно определенных итеративных циклов 
    Львов, M.C. (Кибернетика и системный анализ, 2016)
    Представлен новый метод доказательства инвариантности системы линейных неравенств, а также завершаемости линейно определенных итеративных циклов императивных программ. Тело цикла — линейный оператор, преобразующий вектор ...
  • Инженерия требований и семантический веб 
    Бабенко, Л.П. (Кибернетика и системный анализ, 2016)
    Рассмотрены современные методы ориентации процессов инженерии требований на понимание их смысла человеком и предложен подход для трансформации этих требований в их семантические аннотации, пригодные для манипуляций ими в ...
  • Классификация больших площадей земного покрова по ретроспективным спутниковым данным 
    Лавренюк, Н.С.; Скакун, С.В.; Шелестов, А.Ю.; Яйлимов, Б.Я.; Янчевский, С.Л.; Ящук, Д.Ю.; Костецкий, А.М. (Кибернетика и системный анализ, 2016)
    Задача картографирования больших территорий земного покрова представлена как задача автоматизированной обработки больших объемов геопространственных данных, которые могут содержать различные неопределенности. Для ее решения ...

Пошук


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

Перегляд

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