СПРАВКА
об Институте информатики
Академии наук Республики Татарстан
Институт информатики АН РТ образован в 2009 году.
Основные направления деятельности:
1. Перспективные исследования и разработки в области квантовой информатики высокопроизводительных вычислений, защиты информации и криптографии;
2. Разработка прикладных проектов, имеющих коммерческую и социальную значимость для Республики Татарстан.
Договор с Санкт-Петербургским государственным университетом информационных технологий, механики и оптики о совместной работе по созданию опытного образца квантовой памяти на основе фотонного эха в резонаторе (Софинансирование – 30000 тыс. руб.).
Научно-исследовательские проекты, финансируемые РФФИ (Российский Фонд Фундаментальных Исследований) – 1720 тыс. руб.:
o Проект (№ 09-01-97004-р_поволжье_а, 300 тыс. руб.) «Вычислительные возможности классических и квантовых моделей вычислений с ограничениями». Проект предусматривает исследование сложности реализации дискретных функций в классических и квантовых моделях вычислений. В частности, будут исследоваться классические детерминированные, вероятностные, а также квантовые модели коммуникационных вычислений, ветвящихся программ, схем и автоматов, их сравнительные характеристики. В рамках этих моделей будут развиты методы построения эффективных алгоритмов реализации дискретных функций и доказательства нижних оценок сложности их представления.
o Проект (№ 11-07-00465-а, 300 тыс. руб.) «Квантовые алгоритмы на основе метода отпечатков и их реализация на мезоскопических многоатомных ансамблях в резонаторе». В ходе работ по данному проекту будут исследованы новые возможности в области построения высокоэффективных квантовых вычислений. Планируется расширить класс эффективно решаемых задач в модели квантовых ветвящихся программ, демонстрирующих превосходство над классическими аналогами при использовании небольшого числа кубитов (порядка 20). В связи с этим становится практически значимым построение квантового компьютера, работающего уже с таким числом кубитов. Конструирование алгоритмов будет проводиться с учетом возможностей разрабатываемой нами физической реализации квантового компьютера, основанного на использовании многоатомных мезоскопических ансамблей, помещенных в квантово-электродинамический резонатор. Будет разработана архитектура квантовой цепи компьютера, содержащего многокубитовую квантовую память с внешним и внутренним интерфейсом, операционные узлы из многоатомных резонансных систем, и средства внешнего управления. Также планируется проведение теоретических исследований по реализации одно- и двух-кубитовых операций. Предполагается проведение сравнительного анализа с целью нахождения наиболее оптимальной физической реализации разрабатываемых алгоритмов относительно различных базисных наборов гейтов. На основе полученных результатов планируется проведение эмуляции базовых алгоритмов на основе метода отпечатков в предлагаемой модели квантового компьютера.
o Проект (№11-01-06077-г, 100 тыс. руб) «Организация и проведение одиннадцатой международной конференции "Параллельные компьютерные технологии" (Parallel Computing Technologies, PaCT-2011)». Тематика международной конференции PaCT-2011 соответствует приоритетному для российской науки направлению «информационно-телекоммуникационные системы» и сосредоточена на теории и практике параллельных вычислений, без которых нельзя представить численное моделирование, массовую обработку данных, автоматические системы управления, а соответственно развитие фундаментальных знаний во многих областях и технологий.
o Проект (№11-01-06082-г, 100 тыс. руб) «Организация и проведение ассоциированного семинара "Перспективные технологии и модели вычислений" (PTCM 2011)». Работа семинара организована в двух секциях: по квантовым вычислениям, и по параллельному программированию.
o Проект (№11-07-06042-г, 70 тыс. руб.) «Организация и проведение научного семинара по защите информации». Семинар призван объединять: ученых, занимающихся разработкой новых алгоритмов, методов, технических средств по защите информации, практиков, внедряющих разработанные средства на различных уровнях, сотрудников высших учебных заведений, занимающихся подготовкой специалистов в области защиты информации, а также руководителей различных предприятий.
o Проект (№09-07-97007-р_поволжье_а, 400 тыс. руб.) «Модель извлечения информации из текстов на основе онтологии энциклопедических знаний». Целью проекта является разработка и исследование модели извлечения фактографической информации из текста с помощью онтологий. В качестве источников для извлечения информации выбраны текстовые энциклопедические описания. При удачном завершении проекта будет создана модель извлечения информации, реализация которой позволит эффективно наполнять онтологические ресурсы фактами, извлекаемыми из массива текстов. В дальнейшем такие хранилища фактов могут быть использованы при решении задач автоматической обработки текста, документального поиска и интеграции данных, а также для получения новых фактов с помощью логического вывода.
o Проект (№10-07-00445-а, 300 тыс. руб.) «Средства поддержки многоязычного доступа к метаданным электронных коллекций на основе онтологий». В данном проекте предлагается разработать методы автоматического представления текстового содержимого метаданных электронных коллекций на различных естественных языках с помощью специализированных многоязычных словарей (тезаурусов) и онтологий. Отличительной особенностью проекта является возможность использовать вместо дорогостоящих и неточных средств машинного перевода средства прямого сопоставления лексических единиц по словарю. Среди научных результатов проекта будут алгоритмы, позволяющие по заданным метаданным на входном языке, онтологии предметной области и многоязычному тезаурусу получать метаданные на выходном языке. Будут проведены эксперименты по оценке качества работы предлагаемых методов на реальных многоязычных электронных коллекциях. Актуальность решаемой в проекте задачи обоснована необходимостью эффективного расширения функций многоязычного доступа к существующим электронным коллекциям и библиотекам.
o Проект (№11-07-05040-б, 350 тыс.рублей) «Развитие МТБ для проведения исследований».
Проект по разработке имитационного приложения для Агропромбанка.
Выполнен первый этап проекта «Модель логистики Агропромбанка (первая версия) и проведение первоначального этапа исследования – обоснование объема дополнительного накопителя (стоянки)». В результате работ была выполнена задача количественной оценки введения дополнительной парковки, расчета требуемого числа парковочных мест и определения площади парковки (накопителя).
Проект по созданию Комплекса имитационных моделей оценки автобусных маршрутов Универсиады 2013.
Комплекс предназначен для разработки и оценки выполнимости и качества маршрутов и расписания передвижения спортсменов, судей и сотрудников ФИСУ. Позволит в оперативном режиме принимать управляющие решения при возникновении тех или иных сложных ситуаций.
Разрабатываемые и обсуждаемые прикладные коммерческие проекты:
Комплекс предназначен для разработки системы управления работой аэропорта по приему, сопровождения и отправки воздушных судов. По оптимальному обеспечению работы наземных служб аэропорта.
Проект по созданию Имитационной модели завода массовых шин УК "Татнефть-Нефтехим".
Проект направлен на оптимизацию управления производством завода.
Проект для судебного департамента РТ (по Советскому районному суду).
Проект разработки программного комплекса для взаимодействия граждан со структурами районных судов (Электронная судейская система).
Разработка нового многопроцессорного криптографического ядра.
Предлагаемое криптографическое ядро должно заменить существующие криптографические процессоры для шифрования и может быть использовано в областях, где использование длинных ключей невозможны из-за больших ресурсов, требуемых для их реализации. Отметим, что получить в готовом виде что-то подобное из-за «рубежа» никоим образом не получится. Придется копировать старые образцы десятилетней давности.
Высокозащищенные квантовые системы передачи и обработки информации (для Сколково).