Preview

Труды Института системного программирования РАН

Расширенный поиск
Том 31, № 1 (2019)
Скачать выпуск PDF
7-24 123
Аннотация
Рассматривается подход к созданию сложных (информационных и прикладных) систем из готовых ресурсов (модулей, компонентов, КПИ, сервисов, reuses и др.). В основе подхода создания систем, веб–систем лежит компонентная модель (КМ), включающая функциональные, системные, сервисные и интерфейсные готовые ресурсы (ГОР), и алгебра компонентов для выполнения разных операций над ГОР. Прикладные функции компонентов, КПИ описываются в языках программирования (ЯП), интерфейсы в языках IDL и WSDL, а сервисные компоненты создаются в SOA, SCA IBMSphere или выбираются из Интернет библиотек, как готовые. Исходные компоненты верифицируются и сохранятся в репозитории ГОР и интефейсов. Представлен метод сборки ГОР: Link в среде IBM, MS.VS; make в BSD, config в JavaEE; стандарт IEEE 828–96–2012 (Configuration), как итог всех сборок. ГОР тестируются на множестве тестовых данных, проверяется их правильность и надежность работы. На готовый сконфигурированный продукт формируется сертификат качества на основе стандартов ISO/IEC 9000 (1–4) quality. Даны перспективы развития средств обеспечения безопасности и качества веб–систем.
25-48 225
Аннотация
Требования являются неотъемлемой частью любого процесса разработки программных и аппаратных систем. Особенно тщательно относятся к требованиям при работе над ответственными системами, использование которых связано с риском для человеческой жизни. Разработка таких систем, как правило, контролируется сертифицирующими органами, требующими применения лучших практик с целью обеспечения безопасности разрабатываемого продукта. В статье рассматривается один из подходов к организации работы с требованиями, который сформировался на основе опыта разработки бортового оборудования гражданских воздушных судов и получил распространение в других отраслях. Приводится набор типовых задач, возникающих при таком подходе. Отталкиваясь от выделенного набора типовых задач формируется методика рассмотрения и оценки инструментов управления требованиями. Предложенная методика применяется для анализа ряда коммерческих и свободно распространяемых инструментов и в заключении формулируются выводы относительно их применения для управления требованиями в проектах по разработке ответственных систем.
49-58 209
Аннотация

Разработчики программного обеспечения часто прибегают к заимствованию кода – как внутри одного проекта, так и из других проектов. Ввиду возможного содержания ошибки в исходном фрагменте это может привести к её дальнейшему распространению по коду ПО. Используемые библиотеки без исходного кода также могут содержать потенциальные ошибки. Целью данной работы является разработка методов анализа характера изменений между версиями компонентов ПО, для которых отсутствует исходный код. А для изменений потенциально относящихся к исправлению дефектов поиск подобных, но не исправленных дефектов при помощи методов поиска клонов кода. Внедрение предлагаемого подхода к анализу используемых компонентов при разработке ПО позволит обеспечить оценку качества предлагаемых программных «заплаток». Поскольку реализованный метод независим от архитектуры операционной системы, а также работает с исполняемым кодом ПО это позволяет применять его как для анализа сторонних компонентов, так и для анализа бинарных сборок собственного программного обеспечения. Средний процент истинных срабатываний на тестовом наборе CoreBench составляет ~73%.

59-68 183
Аннотация

В этой статье рассматриваются разные виды миграции виртуальных машин между вычислительными ресурсами, их логические и физические ограничения в системе OpenStack. Для живой миграции рассмотрены такие методы миграции памяти как pre-copy и post-copy, их временные различия. В разд. 2 для метода post-copy описан алгоритм работы на уровне гипервизора. Проведено сравнение временных показателей для методов pre-copy и post-copy. В разд. 3 описаны физические ограничения для виртуальных сред; эти ограничения учитываются при составлении соглашения об уровне предоставления услуг. Логические ограничения на миграцию виртуальных машин описаны в разд. 5; эти ограничения должны учитываться при построении стратегии распределения ресурсов в облаке. В разд. 6 кратко проанализированы родственные работы. В заключении отмечено, что ограничения необходимо учитывать при разработке стратегий распределения ресурсов.

69-82 815
Аннотация

Походка – важный биометрический показатель, позволяющий идентифицировать человека на большом расстоянии и без непосредственного контакта. Благодаря этим качествам, отсутствующим у других популярных идентификаторов, таких как отпечатки пальцев и радужная оболочка глаза, распознавание человека по походке в наши дни стало очень распространено и востребовано в различных сферах, где возможно использование систем видеонаблюдения. С развитием методов компьютерного зрения появляется множество подходов к идентификации человека по движениям в видео, использующих как естественные биометрические характеристики (скелет человека, его силуэт, их изменение во время ходьбы), так и абстрактные признаки. Современные методы объединяют в себе классические алгоритмы анализа видео и изображений и новые подходы, показывающие высокие результаты в смежных задачах компьютерного зрения, таких как идентификация человека по лицу или распознавание действий. Однако из-за большого количества условий, влияющих на саму манеру движения человека и ее представление в видео, задача идентификации человека по походке до сих пор не имеет достаточно точного решения. Многие методы заточены исключительно под условия, присутствующие в базах данных, на которых они обучаются, что ограничивает их применимость в реальной жизни. В данной работе проводится обзор современных методов распознавания человека по походке, их анализ и сравнение на нескольких популярных видео коллекциях и для разных формулировок задачи распознавания, а также выявляются проблемы, препятствующие окончательному решению задачи идентификации по походке.

83-104 106
Аннотация

Описано открытое программное обеспечение, специализированное для решения задач реконструкции CAD-моделей из дискретного представления. Кратко изложены принципы построения системы, ее архитектура и указаны пути дальнейшего развития. Продемонстрировано использование ПО для автоматической реконструкции лопатки турбины из структурированного облака точек. Продемонстрирован интерактивный метод реконструкции лопатки из триангуляции. В обоих примерах использован метод скиннинга NURBS-поверхности с привлечением оператора сглаживания промежуточных кривых. На примере показано, что модифицированный оператор скиннинга не минимизирует общую энергию деформации модели, но позволяет получить гладкую поверхность, компенсируя погрешность в исходных данных. Результат реконструкции есть параметрическая модель лопатки, переменными проектирования в которой являются координаты контрольных точек профильных кривых. Представленная архитектура открытого ПО может быть использована для произвольного способа как частичной, так и полной параметризации реконструированных CAD-моделей с целью их дальнейшей оптимизации.

105-114 161
Аннотация

Заболевания органов дыхания в настоящее время достаточно распространены, поэтому разработка новых эффективных способов их диагностики является актуальной. В данной работе мы описываем разработанную нами математическую модель взаимодействия потоков воздуха с подвижными частями прибора для недавно созданного турбинного спирометра нового типа. Он обладает рядом технических особенностей, которые должны быть учтены при моделировании. Среди прочих это достаточно существенная инерция турбины и слабое трение. Модель основана на уравнении моментов и содержит несколько эмпирических параметров. Поскольку трение в системе мало, то основные соотношения рассматриваются в линейном приближении. Экспериментальная проверка модели проведена в двух режимах работы спирометра. Во-первых, исследовано движение турбины по инерции после выключения внешнего источника воздуха. Во-вторых, проанализирована зависимость угловой скорости вращения турбины от скорости внешнего постоянного потока воздуха. Расчеты показали, что в указанных двух режимах разработанная математическая модель достаточно хорошо описывает результаты экспериментов. Также в настоящей работе указан простой способ определения эмпирических параметров на этапе калибровки прибора. Он основан на применении метода наименьших квадратов и не требует привлечения больших вычислительных мощностей. Это является важным обстоятельством, поскольку исследуемый спирометр предназначен для использования не только в специализированных медицинских учреждениях, но также и в бытовых условиях. На базе соотношений разработанной математической модели, предложен численный метод нахождения скорости входного потока воздуха. Это позволяет, опираясь на показания прибора, получать клинически значимую информацию о состоянии органов дыхания.

115-132 78
Аннотация

Рассматривается новый метод контроля комбинационных логических схем на основе дополнения рабочих функций объекта диагностирования до кодовых слов равновесных кодов с параллельным преобразованием функций их разрядов к виду самодвойственных функций и последующим контролем по данному признаку. Такой подход к организации систем функционального контроля позволяет повысить обнаруживающую способность по сравнению с традиционным контролем по равновесным кодам. При этом не обнаруживаемой может быть только такая ошибка, которая приведет к сохранению веса кодового слова, формируемого на выходах блока логического дополнения, при совпадении искажений всех функций разрядов на противоположных входных наборах. Данное условие более жесткое, чем контроль принадлежности вектора заранее выбранному коду, что дает большую вероятность обнаружения возникающего при неисправностях искажения. Представленный метод позволяет осуществлять контроль комбинационных схем на основе равновесных кодов с одинаковым числом единичных и нулевых разрядов. Приоритет в таком случае оказывается у широко используемого кода «2 из 4», структура тестера которого является наиболее простой из всех тестеров равновесных кодов. Приведено подробное описание новой структуры системы контроля, даны алгоритмы доопределения значений контрольных функций, обеспечивающие контролепригодность технических средств диагностирования.

133-142 82
Аннотация
В работе рассмотрена задача упаковки прямоугольников в полосы единичной ширины Multiple Strip Packing. Рассмотрен аналог ранее предложенного алгоритма, алгоритм упаковки в области ограниченной высоты Limited Hash Packing и произведён его вероятностный анализ. Алгоритм онлайновый и работает в режиме closed-end, когда число прямоугольников, которые нужно упаковать известно алгоритму до начала работы.


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)