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

Перегляд Управляющие системы и машины, 2013 за темою "Информационные технологии и системы"

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

Перегляд Управляющие системы и машины, 2013 за темою "Информационные технологии и системы"

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

  • Satisfiability For Symbolic Verification in VRS 
    Letichevsky, A.; Letichevskyi, A.; Weigert, T.; Peschanenko, V. (Управляющие системы и машины, 2013)
    Рассмотрены использование логики первого порядка в символьной верификации спецификаций требований программного обеспечения, символьные модели систем, которые есть транзиционными системами с символьными состояниями ...
  • The Non-Deterministic Strategy of Rewriting 
    Letichevsky, A.A.; Letichevskyi, O.A.; Peschanenko, V.S. (Управляющие системы и машины, 2013)
    Описана система алгебраического программирования – первая система переписывания термов, разделившая системы переписывающих правил и стратегии, а также система моделирования – базовая для системы верификации формальных ...
  • Информационная технология определения состояния здоровья населения региона 
    Рогозинская, Н.С.; Козак, Л.М. (Управляющие системы и машины, 2013)
    Представлена открытая информационная технология исследования состояния здоровья населения, обеспечивающая информационную поддержку для оценивания эффективности здравоохранения, позволяющая проводить анализ с использованием ...
  • Информационная технология улучшения качества самоконтроля сахарного диабета 
    Ефимов, А.С.; Кифоренко, С.И.; Лавренюк, Н.В.; Ефимов, Д.А.; Котова, А.Б. (Управляющие системы и машины, 2013)
    Решена задача улучшения качества самоконтроля сахарного диабета, базирующаяся на использовании интеллектуальной информационной технологии в цифровом формате. Разработано программное обеспечение для поддержки принятия решений ...
  • Корпоративные системы хранения данных. Построение 
    Лисецкий, Ю.М. (Управляющие системы и машины, 2013)
    Рассмотрено построение корпоративных систем хранения данных, основные проблемы, решаемые посредством этих систем и современные требования к ним. Описаны пример построения такой системы для Государственного экспортно-импортного ...
  • Моделирование инверсионно-хронопотенциометрического процесса совместного измерения массовой концентрации двух тяжелых металлов 
    Татаринов, А.Э.; Суровцев, И.В.; Бабак, О.В. (Управляющие системы и машины, 2013)
    Рассмотрено моделирование процесса совместного измерения концентрации двух тяжелых металлов методом инверсионной хронопотенциометрии. Предложен алгоритм моделирования кривой интенсивности инверсии для двух тяжелых металлов ...

Пошук


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

Перегляд

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