12
1 Институт систем Институт систем информатики информатики им. А.П.Ершова СО РАН им. А.П.Ершова СО РАН (ИСИ СО РАН) (ИСИ СО РАН) Создан 1 апреля 1990 г. 630090, г. Новосибирск, Пр. Академика Лаврентьева , 6 Тел.: (383) 330-86-52 Факс: (383) 332-34-94 E-mail:[email protected]

Институт систем информатики им. А.П.Ершова СО РАН (ИСИ СО РАН)

  • Upload
    shelley

  • View
    67

  • Download
    6

Embed Size (px)

DESCRIPTION

Создан 1 апреля 1990 г. 630090, г. Новосибирск, Пр. Академика Лаврентьева , 6 Тел. : (383) 330-86-52 Факс : (383) 332-34-94 E - mail : iis @ iis . nsk . su. Институт систем информатики им. А.П.Ершова СО РАН (ИСИ СО РАН). - PowerPoint PPT Presentation

Citation preview

Page 1: Институт систем информатики  им.  А.П.Ершова  СО РАН (ИСИ СО РАН)

1

Институт систем информатики Институт систем информатики им. А.П.Ершова СО РАНим. А.П.Ершова СО РАН

(ИСИ СО РАН)(ИСИ СО РАН)

Создан 1 апреля 1990 г. 630090, г. Новосибирск, Пр. Академика Лаврентьева , 6

Тел.: (383) 330-86-52Факс: (383) 332-34-94E-mail:[email protected]

Page 2: Институт систем информатики  им.  А.П.Ершова  СО РАН (ИСИ СО РАН)

2

Основные научные направленияОсновные научные направления

Исследования в области теоретических и методологических основ информатики, включая:

теоретические основания информатики; методы и инструменты построения программ

повышенной надежности и эффективности; методы и системы искусственного интеллекта; системное и прикладное программное обеспечение

перспективных вычислительных машин, систем, сетей и комплексов.

Page 3: Институт систем информатики  им.  А.П.Ершова  СО РАН (ИСИ СО РАН)

3

Прикладная деятельность Прикладная деятельность Более двадцати лет сотрудничества связывает Институт систем информатики

им. А.П.Ершова СО РАН  и ОАО Информационные спутниковые системы имени академика М.Ф. Решетнёва (НПО ПМ), г.Железногорск. С 1989 года по настоящее время реализован целый ряд уникальных проектов в сфере информационных технологий — от внедрения современных инструментальных средств создания бортового программного обеспечения космических аппаратов (БПО КА) до систем долговременного поддержания жизненного цикла БПО КА.

История сотрудничества1989 — Договор о научно-техническом сотрудничестве ВЦ СОАН СССР и п/я Г-4805;1989–1991 — Проект «Создание рабочего места программиста на базе ПЭВМ Кронос 2.6»;1992–1997 — Проект «Базовые средства разработки программ БКУ для БЦВМ С-4 и С-21»;1995–1997 — Базовые средства разработки программ БКУ. Создана Кросс-система

программирования на Ассемблере для БЦВМ С-4, что позволило перейти на ПЭВМ и отказаться от ЕС ЭВМ;

2000–2003 — Создание Кросс-системы программирования на языке Модула-2 для OBC-1750 (в двуязычном варианте);

2005–2011 — Договор о выполнении научно-исследовательских, опытно-конструкторских и технологических работ по теме «Архив сопровождения программных проектов и документов (АСПИД)»

Page 4: Институт систем информатики  им.  А.П.Ершова  СО РАН (ИСИ СО РАН)

4Информационная система АСПИД для Информационная система АСПИД для

разработки и долговременного разработки и долговременного сопровождения бортового программного сопровождения бортового программного

обеспечения спутников обеспечения спутников

Page 5: Институт систем информатики  им.  А.П.Ершова  СО РАН (ИСИ СО РАН)

5Алгоритмы и программный комплекс для обработки Алгоритмы и программный комплекс для обработки

данных, получаемых в процессе данных, получаемых в процессе радиоактиврадиоактивного каротажа ного каротажа нефтяных скважиннефтяных скважин

Исследования, связанные с интерпретацией данных, получаемых различными методами радиоактивного каротажа нефтяных скважин, и созданию соответствующего программного обеспечения продолжаются с 2003 года по настоящее время.

Первоначально выполнялись исследования и разработка программного

обеспечения для компании “Западно-Сибирская Корпорация Тюменьпромгеофизика” (ЗСК ТПГ).

Созданные алгоритмы и программы применяются Созданные алгоритмы и программы применяются непосредственно для обработки данных, получаемых непосредственно для обработки данных, получаемых на нефтепромыслах, и конкурентноспособны с на нефтепромыслах, и конкурентноспособны с мировыми аналогами.мировыми аналогами.

Далее в течение 3 лет были выполнены 3 хоздоговора для партнеров из Казахстана.

Page 6: Институт систем информатики  им.  А.П.Ершова  СО РАН (ИСИ СО РАН)

6 Алгоритмы и программный комплекс для обработки Алгоритмы и программный комплекс для обработки данных, получаемых в процессе данных, получаемых в процессе радиоактиврадиоактивного каротажа ного каротажа

нефтяных скважиннефтяных скважин

Page 7: Институт систем информатики  им.  А.П.Ершова  СО РАН (ИСИ СО РАН)

7

Анализ генетических данных Анализ генетических данных Одна из последних разработокОдна из последних разработок

На основе специально разработанного научно-исследовательского инструментария проведена обработка 1.5 терабайта данных секвенирования РНК нового поколения.

В 22 тканях и клеточных линиях человека и мыши найдено 5151 протяженных некодирующих участков в межгенном пространстве (vlincRNA), которые, как было установлено ранее, являются маркерами рака и плюрипотентности.

С привлечением дополнительных 2.5 терабайта данных секвенирования 833 тканей и клеточных линий человека методом корреляционного анализа установлены возможные механизмы регуляции vlincRNA транскрипционными факторами.

Page 8: Институт систем информатики  им.  А.П.Ершова  СО РАН (ИСИ СО РАН)

Разработка методов высокой точности для Разработка методов высокой точности для одночастотного навигационного одночастотного навигационного приемника ГЛОНАСС/приемника ГЛОНАСС/GPSGPS

8

Page 9: Институт систем информатики  им.  А.П.Ершова  СО РАН (ИСИ СО РАН)

9

Анализ генетических данныхАнализ генетических данных

Page 10: Институт систем информатики  им.  А.П.Ершова  СО РАН (ИСИ СО РАН)

10

Большие хранилища данных Большие хранилища данных

Целью работы является развитие системы анализа комплексных данных (data-mining) применительно интеллектуальным системам управления, основанным на применении бизнес-процессов.

Речь идет о хранилищах данных, в которых Речь идет о хранилищах данных, в которых могут быть сосредоточены тысячи серверов.могут быть сосредоточены тысячи серверов.

В одном из больших региональных банков Урала была разработана модель, в которой данные из программы операционного дня банка (ЦФТ IBSO) и программы обработки транзакций по картам VISA складываются в одну базу примерно 1 раз в час и в дальнейшем подвергаются анализу.

Page 11: Институт систем информатики  им.  А.П.Ершова  СО РАН (ИСИ СО РАН)

11

Многоагентная система управления Многоагентная система управления дорожным движением дорожным движением

Проект является логическим продолжением проекта 2012 года «Прикладные многоагентные системы для нужд городского управления» по направлению «Имитационная адаптивная модель «Имитационная адаптивная модель интеллектуального распределенного (без выделенного центра) интеллектуального распределенного (без выделенного центра) субоптимального управления городским дорожным трафиком по субоптимального управления городским дорожным трафиком по наиболее загруженным направлениям и перекресткам».наиболее загруженным направлениям и перекресткам».

При меняющихся выделенных загруженных направлениях движения удалось уменьшить общее среднее время ожидания на перекрестках в 3-4 раза по сравнению с обычными светофорными перекрестками с фиксированным временем переключения. Испытания проводились на модели.

Работа ведется при активном содействии Работа ведется при активном содействии специалистов управляющего центра городской специалистов управляющего центра городской АСУД. Осуществляется сборка оборудования АСУД. Осуществляется сборка оборудования для экспериментального интеллектуального для экспериментального интеллектуального перекрестка. перекрестка.

Page 12: Институт систем информатики  им.  А.П.Ершова  СО РАН (ИСИ СО РАН)

12

Спасибо!Спасибо!