Институт систем информатики им. A.П. Ершова (ИСИ)
Ershov Institute of Informatics Systems

Cоздан 21 ноября 1989 г.
Адрес: 630090, Новосибирск, просп. ак. Лаврентьева, 6
Тел. (393 2) 34-36-52
Факс (393 2) 32-34-94
Е-mail: mag@iis.nsk.su

Директор – д.ф.-м.н. Марчук Александр Гурьевич
Заместитель директора по науке – д.ф.-м.н. Яхно Татьяна Михайловна

Общая численность института 148 чел.; н.с. – 70, д.н. – 6, к.н. – 33.

Научные подразделения:
Лаборатории:
Теоретического программирования (к.ф.-м.н. В.А. Непомнящий)
Автоматизации проектирования и архитектуры СБИС (д.ф.-м.н. А.Г. Марчук)
Искусственного интеллекта (к.ф.-м.н. Ю.А. Загорулько)
Системного программирования (д.ф.-м.н. И.В. Поттосин)
Конструирования и оптимизации программ (д.ф.-м.н. В.Н. Касьянов)
Смешанных вычислений (к.ф.-м.н. М.А. Бульонков)

Научно-исследовательские группы:
Переносимых систем программирования (к.ф.-м.н. А.Е. Недоря)
Моделирования сложных систем (к.т.н. И.Е. Швецов)

Стандартные языки выполнимых спецификаций Estelle и SDL широко используют ся при разработке коммуникационных протоколов. Для них предложены методы трансляции в сети Петри высокого уровня – варианты раскрашенных сетей Йенсена. Выделен класс квазибезопасных сетей, допускающих эффективную симуляцию и анализ. Реализован экспериментальный программный комплекс ESPV (Estelle/SDL Protocol Verifier), предназначенный для верификации коммуникационных протоколов посредством их трансляции в сети Петри высокого уровня.

Проведены успешные эксперименты по симуляции и поиску семантических ошибок реально используемых протоколов.

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

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

Разработана методика организации и обеспечения учебного процесса, базирующегося на постановке интересных для преподавателей и учащихся проектов – мастерских и студий, объединяющих усилия школьников, студентов, профессионалов и научных работников, одновременно с традиционными формами учебной работы, дискуссиями, конференцией и конкурсами по программированию.

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

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

В 2001 г. институтом опубликовано: статей в рецензируемых журналах – 39, монографий – 2.

Конструкторско-технологический институт вычислительной техники (КТИ ВТ)
Design Technological Institute of Digital Techniques

Создан 6 октября 1981 г.
Адрес: 630090, Новосибирск, ул. Институтская, 6
Тел. (383 2) 34-43-61, 34-43-43
Факс (383 2) 34-43-61
E-mail: beht@kti.nsc.ru

Директор – к.т.н. Собстель Геннадий Михайлович
Заместители директора по науке:
к.т.н. Зензин Александр Степанович
к.т.н. Золотухин Евгений Павлович

Общая численность института 152 чел.; н.с. – 34; к.н. – 15.

Лаборатории:
Автоматизированных систем (к.т.н. Э.Г. Михальцов)
Вычислительных систем и сетей (В.Н. Окунишников)
Измерительных систем и приборостроения (В.В. Гаркуша)
Биоинформатики (Ф.А. Колпаков)
Информационных систем (к.т.н. Б.Н. Пищик)
Индустриальной информатики (к.т.н. Г.П. Чейдо)
Систем автоматизации для научных исследований и промышленных применений (И.В. Меркулов)
Биомедицинской информатики (к.б.н. А.С. Ратушняк)

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

Рис. 4. Графическое отображение феноменологической модели информационного входа нейропроцессора.
А – актиновые нити, М – микротрубочки, G – белки, R – рецепторы, Na и К – натриевые и калиевые каналы.
Fig. 4. Graphic display of phenomenological model of an information input neuroprocessor is indicated.
A – aсtin filaments, M – microtubules, G – proteins, R – receptors, Na and K – sodium and potassium channels.

В 2001 г. институтом опубликовано 5 статей в рецензируемых журналах.

В оглавление

Далее

Ваши комментарии Обратная связь

[СО РАН] [ИВТ СО РАН]

© 1996-2014, Сибирское отделение Российской академии наук, Новосибирск
© 1996-2014, Институт вычислительных технологий СО РАН, Новосибирск
    Дата последней модификации: Friday, 05-Jul-2002 14:42:47 NOVST