ИВМ СО РАН Поиск 
Семинары Института
институт
структура
сотрудники
аспирантура
конференции
семинары
ученый совет
совет молодых ученых
профсоюз
техническая база
история
фотогалерея

исследования
разработки
экспедиции
эл. архив
годовые отчеты

ссылки
библиотека
конкурсы
документы
адреса и телефоны

метеостанция
 

Семинар отдела Прикладной информатики

2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 Все ]

Заседание по материалам кандидатской диссертации

четверг, 28 октября 2010 г., к. 434

Парамонов Вячеслав Владимирович
Информационная система «популяционный раковый регистр»

Диссертационное исследование посвящено автоматизации популяционного ракового регистра (ПРР). Определены структурные и функциональные требования к информационной системе, автоматизирующей деятельность ПРР, особенности её эксплуатации. Рассмотрены модель деятельности и информационная модель ПРР. Предложена оригинальная технология разработки информационной системы ПРР, базирующаяся на генерирующем программировании. Использование информационной системы, созданной в рамках диссертационного исследования, позволяет повысить оперативность обработки данных и качество лечения больных злокачественными новообразованиями, а также позволяет обеспечить единое информационное пространство для онкологической службы региона.
Результаты работы могут быть использованы для разработки информационных систем с динамически меняющейся структурой информационных процессов и требований к их реализации.

Заседание по материалам кандидатской диссертации

пятница, 24 сентября 2010 г., к. 434

Коломеец Антон Владимирович
Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов

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

Заседание

среда, 30 июня 2010 г., к. 434

Городилов Александр Андреевич
Региональная система сбора и обработки простых и комплексных показателей с использованием динамических структур данных

В работе рассматриваются проблемы динамического формирования форм доку-ментов для сбора показателей и динамического создания сводных отчётов с комплексными показателями. Также рассматриваются задачи: 1) описание информации в динамических структурах данных в графовом представлении; 2) хранение динамических структур данных в реляционной СУБД; 3) подходы построения SQL запросов к динамическим структурам данных

2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 Все ]