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

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

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

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

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

  • Сборочное программирование. Теория и практика 
    Лаврищева, Е.М. (Кибернетика и системный анализ, 2009)
    Викладено методи, засоби й інструменти збірного програмування. Розглянуто фундаментальні основи збірки різномовних об’єктів у мовах четвертого покоління в ряді систем у середовищі ОС ЄС. Показано нові підходи до формального ...
  • Свойства реляционного каркаса на множестве семантически атомарных предикатов 
    Панченко, Б.Е.; Писанко, И.Н. (Кибернетика и системный анализ, 2009)
    Проаналізовано властивості реляційного каркасу, що синтезується на множині семантично атомарних предикатів. Показано, що реляційний каркас стійкий відносно модифікації базової множини предикатів. Стійкість щодо модифікацій, ...
  • Система управления комплексными проектами 
    Крижановский, В.В.; Попов, С.Н. (Кибернетика и системный анализ, 2009)
    Описано побудову системи керування комплексними проектами на прикладі побудови такої системи для будівельної галузі. Наведено принципи організації електронного документообігу, ранжування повноважень для отримання прав ...
  • Стандартизация инженерии систем и программных средств в Украине 
    Андон, Ф.И.; Бабко, Л.Д. (Кибернетика и системный анализ, 2009)
    Наведено основні результати стандартизації інженерії систем і програмних засобів в Україні та обґрунтовано напрямки національної стандартизації у цій сфері. Розглянуто всі чинні національні стандарти з програмної інженерії.
  • Суперкомпьютерная технология моделирования жизненного цикла особо сложных технических объектов 
    Слободян, Я.Е. (Кибернетика и системный анализ, 2009)
    Створено ефективну методологію чисельного аналізу унікальних споруд на суперкомп’ютері Інпарком із застосуванням ПК ЛІРА-cluster. Результати досліджень застосовані при розробці ПК ЛІРА-cluster, Інпарком, що використовуються ...
  • Теоретико-категорная формализация при проектировании нечетких интеллектуальных систем 
    Парасюк, И.Н.; Ершов, С.В. (Кибернетика и системный анализ, 2009)
    Розглянуто комплекс проблем, пов’язаних з теоретико-категорною формалізацією нечітких діаграм UML, нечітких графів та систем трансформації нечітких графів. Досліджено основні обмеження, яким мають задовольняти діаграми ...

Пошук


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

Перегляд

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