НАУЧНО-ОРГАНИЗАЦИОННАЯ ДЕЯТЕЛЬНОСТЬ

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

Структура Института

В текущем году структура научных подразделений института имела следующий вид:

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

Деятельность Ученого совета института

За отчетный период проведено 12 заседаний Ученого совета, на которых обсуждались различные вопросы деятельности института.

Наиболее важным для института в 1998 г. стало избрание нового директора института и обновление состава Ученого совета. По рекомендации Ученого совета и при поддержке конференции научных сотрудников на Общем собрании Сибирского отделения РАН директором института был избран д.ф.-м.н. А.Г.Марчук. В сентябре 1998 г. на конференции научных сотрудников был избран новый состав Ученого совета.

Из фонда Ученого совета осуществлялась поддержка участия в российских и международных конференциях и издательская деятельность. Продолжался выпуск сборника научных трудов серии "Системная информатика", а также выпускаемого совместно с ИВМиМГ бюллетеня Joint Bulletin of NCC and IIS, ser. Computer Science.

В связи с 40-летием Отдела программирования в институте была проведена юбилейная сессия, на которой заслушаны как научные доклады по перспективам развития информатики, так и воспоминания об истории отдела.

Кадровая политика

Среднесписочная численность института в 1998 г. – 125 человек. Численность научных сотрудников – 63 человека, из них – 8 докторов и 29 кандидатов наук. Количество штатных молодых научных сотрудников – 20 человек. В аспирантуре института обучается 29 человек, из них 5 – заочно.

Защита диссертаций

В 1998 г. защищены 3 диссертации на соискание ученой степени кандидата физико-математических наук:

Кадач А.В. "Эффективные алгоритмы неискажающего сжатия текстовой информации", Новосибирск, 1998.

Ушаков Д.М. "Объектно-ориентированная среда для недоопределенных вычислений", Новосибирск, 1998.

Ануреев И.С. "Системы переписывания формул и их применение в автоматической верификации программ", Новосибирск, 1998.

Почетные звания, премии, стипендии

В 1998 г. сотрудники института получили 4 государственные научные стипендии для выдающихся ученых России: профессор И.В.Поттосин, профессор В.Н.Касьянов, профессор В.А.Евстигнеев, д.ф.-м.н. А.В.Замулин.

Международные научные связи

В 1998 г. Институт систем информатики имени А.П.Ершова СО РАН осуществлял сотрудничество с зарубежными организациями по трем международным проектам:

  1. "Приближенное удовлетворение ограничениям, моделирование параллельных систем и приложения" (Франко-русский институт информатики и прикладной математики имени А.М.Ляпунова, 1998-2000).

  2. "Методы и средства верификации и анализа распределенных систем" (Россия–Франция, проект ИНТАС-РФФИ, 1997-1999).

  3. "Продвижение системы обучения системному проектированию и создание соответствующих информационных центров в странах Восточной Европы и СНГ" (Россия–Германия, программа INCO Copernicus, 1997–1999).

Центр Компетенции СБИС-технологии является членом международной научно-технической организации EUROPRACTICE Европейского Сообщества.

С 1993 г. институт является коллективным членом Германского общества по информатике Gesellschaft fur Informatik.

В длительных командировках в настоящее время находятся:

Апанович З.В. (Франция, г.Гренобль) – чтение лекций, проведение совместных научных исследований;

.Шилов Н.В (Австралия, г.Сидней) -– чтение лекций, проведение совместных научных исследований;

Тарасюк И.В. (Германия, г. Ольденбург) – научная работа.

Календарь зарубежных командировок по странам

Австралия

Шилов Н.В (01.03.98 – 31.01.99) – научная и преподавательская работа, Технический университет, г. Сидней.

Германия

Замулин А.В. (26.04.98 – 02.05.98) – участие в семинаре "Родовое программирование" с докладом "Language-Independent Container Specification", г. Дагштул.

Замулин А.В. (13.09.98 – 25.09.98) – участие в семинаре по машинам абстрактных состояний с докладом "Object-Oriented Abstract State Machines", г. Магдебург.

Петров Е.С. (15.08.98–29.08.98) – участие в Европейской летней школе по логике, лингвистике и информатике, г. Саарбрюкен.

Окунишникова Е.В., и Покозий Е.А. (28.07.98 – 09.08.98) – участие в летней школе "Calculational system design",поддержанной научным комитетом НАТО, г. Марктобердорф.

Тарасюк И.В. (14.09.98 - 31.07.99) –- научная работа, стипендия им. Гумбольдта. Университет, г. Ольденбурга.

Устименко А.П. (27.09.98 – 01.10.98) – участие в международном семинаре по параллелизму, спецификациям и программированию с докладом "Coloured cause-effect structures". Университет им. Гумбольдта, г. Берлин.

Касьянов В.Н. (18.09.98 – 28.09.98) – участие в Международном конгрессе математиков (ICM-98), с докладом "Hierardical graphs and visual processing", г. Берлин.

Греция

Касьянов В.Н. (23.11.98 – 30.11.98) – участие в 2-й Международной конференции IMACS по схемам, системам и компьютерам (IMACS-CSC'98), c докладом "Iterative Switching Networks" и руководил секцией "Network Theory", г. Пирей.

Италия

Покозий Е.А. (27.08.98 – 31.08.98) – участие в международном семинаре по дискретным событийным структурам (WODES'98) с докладом "A partial order algorithm for verifying time Petri nets" (with Virbitskaite I.B.).

Польша

Замулин А.В. (13.09.98 – 25.09.98) – участие в конференции по системным наукам с докладом "Specification of DynamicSystems byTyped Gurevich Machines", г. Вроцлав.

Непомнящий В.А. (31.08.98 – 11.09.98) – участие в международной конференции PARELEC'98 (Parallel Computing in Electrical Engineering) с докладом Nepomniaschy V.A., Alekseev G.I., Bystrov A.V., Churina T.G., Mylnikov S.P., Okunishnikova E.V.. Towards verification of Estelle specified communication protocols: coloured Petri net approach, г. Бялисток.; научная работа в институте основ информатики Польской Академии наук, доклад на семинаре этого института "Обзор исследований лаборатории теоретического программирования ИСИ СО РАН", г. Варшава.

Устименко А.П. (01.10.98 – 11.10.98) – научная работа в институте информатики Варшавского университета, участие в семинаре "Basic relations between Petri nets and cause-effect structures", г. Варшава.

Словакия

Петров Е.С. (8.09.98-12.09.98 – участие в 3-й Международной конференции по разработке систем, основанных на знаниях ("Third Joint Conference on Knowledge-Based Software Engineering"), г. Смоленице.

Марчук А.Г. (24.11.98 – 11.12.98) – участие в семинаре по проекту ИНКО Коперникус, г. Братислава.

Турция

Яхно Т.М. (10.09.98-30.12.98) – научная работа в Университете им. 9 сентября и разработка совместных курсов по искусственному интеллекту, г. Измир

Украина

Поттосин И.В. (05.10.98 – 10.10.98) – участие в Международном семинаре "Компьютеры в Европе. Прошлое, настоящее и будущее". Сделано два доклада об истории отечественного программирования, г. Киев.

Узбекистан

Поттосин И.В. (26.04.98 – 11.05.98) – чтение лекций и проведение консультаций в Ташкентском, Самаркандском и Бухарском университетах.

Франция

Быстров А.В. (01.11.98 – 07.11.98) – участие в первом международном семинаре по языку спецификаций Estelle с докладом: Nepomniaschy V.A., Alekseev G.I., Bystrov A.V., Churina T.G., Mylnikov S.P., Okunishnikova E.V. EPV - Petri net based Estelle protocol verifier", г. Иври. Участие в международной конференции FORTE\PSTV'98 по языкам выполнимых спецификаций и спецификации, тестированию и верификации протоколов, г. Париж.

Замулин А.В. (03.03.98 – 06.04.98) – научная работа в университете Пари-Сюд, г. Париж.

Замулин А.В. (14.06.98 – 24.06.98) – научная работа в университете Пари-Сюд, г. Париж, участие в международном семинаре по машинам абстрактных состояний с докладом "Dynamic System Specification by Typed Gurevich Machines", г. Канны.

Замулин А.В. (28.10.98 – 20.12.98) – научная работа в университете Пари-Сюд, г. Париж.

Швецов И.Е. (01.03.98 – 06.03.98) – участие в семинаре, ознакомление с работами в области искусственного интеллекта, которые выполняются в Высшей инженерной школе и в университете, выступление с докладом на семинаре, г. Безансон.

Чехия

Коровина М.В. (21.08.98 – 31.08.98) – участие в международной конференции по компьютерной логике CSL'98, с докладом "Characteristic properties of majorant-computability" (вместе с Кудиновым O.В.), г. Брно

Вирбицкайте И.Б.(24.08.98 – 29.08.98) – участие в международном семинаре по теории параллелизма (MFCS'98 Workshop on Concurrency) с докладом "On the Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics", г. Брно.

Работа в специализированных советах
по защитам диссертаций

Совет по защитам кандидатских диссертаций по специальностям 05.13.11, 05.13.13 в Институте систем информатики им. А.П.Ершова СО РАН:

  д.ф.-м.н. Поттосин И.В.
  д.ф.-м.н Касьянов В.Н.
  к.ф.-м.н Бульонков М.А.
  к.т.н. Вишневский Ю.Л.
  д.ф.-м.н. Марчук А.Г.
  к.ф.-м.н. Непомнящий В.А.
  д.ф.-м.н. Евстигнеев В.А.

Совет по защитам докторских диссертаций по специальностям 05.13.11, 05.13.16 в ИВМиМГ СО РАН:

  д.ф.-м.н. Поттосин И.В.
  д.ф.-м.н. Касьянов В.Н.
  д.ф.-м.н. Евстигнеев В.А.

Членство в национальных и международных
научных организациях

Международная ассоциация логического программирования – к.т.н. И.Е.Швецов.

Европейская ассоциация искусственного интеллекта – к.т.н. . Ю.А.Загорулько.

Российская ассоциация искусственного интеллекта – к.т.н. Ю.А Загорулько.

Ассоциация по вычислительной технике (ACM) – проф. И.В.Поттосин.

Институт инженеров по электронике и электротехнике (IEEE) – проф. И.В.Поттосин.

Российская академия естественных наук – член-корр. В.Н.Касьянов.

Американское математическое общество (AMS) – проф. В.Н.Касьянов, к.ф.-м.н. Ф.А.Мурзин, проф. В.Л.Селиванов.

Европейская ассоциация по теоретической информатике (EATCS) – проф. И.В.Поттосин, проф. В.Н.Касьянов, к.ф.-м.н. В.А.Непомнящий.

Общество по индустриальной и прикладной математике (SIAM) – проф. В.Н.Касьянов.

Европейская ассоциация по компьютерной логике (EACSL). – к.ф.-м.н. В.А.Непомнящий.

Международная академия информатизации – действительные члены А.А.Берс, И.В.Поттосин.

Членство в редколлегиях научных изданий

Серия сборников статей "Системная информатика", изд-во "Наука" – проф. И.В.Поттосин, проф. В.Н.Касьянов, д.ф.-м.н. А.В.Замулин, к.ф.-м..н. А.С.Нариньяни, к.ф.-м.н. В.А.Непомнящий.

Журнал "Информационные технологии" – к.ф.-м..н. А.С. Нариньяни.

Совместный бюллетень ИВМ и МГ и ИСИ СО РАН (Joint Bulletin of NCC&IIS) – проф. И.В.Поттосин, член-корр. В.Н.Касьянов, д.ф.-м.н Марчук А.Г., д.ф.-м.н. Т.М.Яхно, к.ф.-м.н. В.А.Непомнящий.

Журнал ОИВТА РАН "Информационные технологии и вычислительные системы" – проф. И.В.Поттосин.

Журнал РАН "Программирование" – проф. И.В.Поттосин, д.ф.-м.н. А.В.Замулин.

Сведения о проведенных в 1998 году
конференциях, совещаниях и школах

В 1998 г. институт был одним из организаторов Третьего сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-98, Новосибирск: июнь 1998 г.) и в рамках Конгресса организовал и провел секцию "Теория и методология создания систем информатики". На секцию было принято 41 доклад, из них 3 зарубежных, 18 иногородних и 20 из новосибирских организаций. Тексты лучших докладов в переводе на английский язык публикуются в совместном бюллетене ИСИ СО РАН и ИВМиМГ СО РАН.

30 октября 1998 г. в Институте прошла юбилейная сессия, посвященная сорокалетию Отдела программирования - коллектива, с которого и начинался ИСИ.

1 ноября 1958 г. в составе Института математики Сибирского отделения Академии наук СССР был образован Отдел программирования, который тогда возглавил И.В.Поттосин, а затем, после переезда из Москвы, руководителем стал Андрей Петрович Ершов. В 1964 году, когда Вычислительный центр стал самостоятельным институтом, Отдел программирования был переведен в ВЦ. Первым крупным проектом Отдела стало создание Альфа-транслятора, широко использовавшегося в Сибирском отделении и во всей стране. Отдел рос, расширялась тематика исследований, создавались новые лаборатории в рамках Отделения информатики ВЦ СОАН.

Следующим этапом явилась организация, в основном, на его базе, ВНТК "Старт", который возглавил В.Е.Котов. Успешная работа коллектива доказала целесообразность создания, на его основе, нового института. Так в 1990 г. появился Институт систем информатики, которому вскоре было присвоено имя академика А.П.Ершова.

В юбилейной сессии приняли участие сотрудники ИСИ, коллеги из институтов СО РАН, НГУ, ВКИ НГУ и гости - ветераны Отдела программирования.

Многие бывшие сотрудники и зарубежные коллеги прислали теплые поздравления.

На научной сессии были представлены следующие доклады:

  1. Бульонков М.А., Терехов А.И. "Проблема 2000 года".
  2. Левин Д.Я. "Информационное общество и прогресс человечества (проект ASIS)"
  3. Марчук А.Г. "Глухой охотник с собакой или ТРИЗ как научная проблема".
  4. Недоря А.Е. "Опыт трех лет поиска западных партнеров".
  5. Берс А.А. "Лирическая прогулка по времени и пространству программирования (от ЯВА через Jawa до конца)"
С воспоминаниями выступили:

– Поттосин И.В. "Отдел программирования. Люди и дела".

– Ильин В.П. "Вычислительно-информационные технологии – от a до 2000".

– Марчук А.Г. "Боевые 80-е – МАРС, СТАРТ, Кронос и др."

НАУЧНО-ОРГАНИЗАЦИОННАЯ ДЕЯТЕЛЬНОСТЬ

Конструкторско-технологический институт вычислительной техники СО РАН

Реорганизация структуры института

В 1998г. в процессе реструктуризации института были ликвидированы подразделения: конструкторский отдел №7 "Программное обеспечение АСУ ТП"; лаборатория №9 "Устройства ввода-вывода изображений для ЭВМ"; цех №3 опытного производства "Производство печатных плат"; отдел главного механика; производственно-технологический отдел. Новое штатное расписание утверждено на заседании Ученого совета института. На конец 1998г. в составе института 7 лабораторий и 5 конструкторских отделов, опытное производство, вспомогательные подразделения.

Кадровая политика

Среднесписочная численность сотрудников Института в 1998 году составила 224 человека. Количество штатных научных работников - 27.

Сведения о финансировании

* - процентное отношение к общему объему финансирования 1998г.

Деятельность Ученого совета института

В течение года в Институте проведено 8 заседаний Ученого совета, на которых были рассмотрены следующие наиболее важные вопросы:

  • о финансовой стабилизации института;
  • об упорядочении структуры и численности института;
  • о выполнении бюджетных НИР;
  • обсуждение планов публикаций;
  • обсуждение планов работ лабораторий на 1999 год;
  • обсуждение отчетов о работе лабораторий за год и другие вопросы.

Защита диссертаций

В 1998 году защищена диссертация на соискание ученой степени кандидата технических наук:

Зензин А.С. "Многоуровневые распределенные системы автоматизации наблюдательных пунктов в радиоастрономии", Новосибирск, 1998г.

Государственные награды, почетные звания, премии

Медалью ордена "За заслуги перед Отечеством" II степени награжден заместитель директора Зензин А.С.

Почетное звание "Заслуженный ветеран Сибирского отделения РАН" присвоено:
Абрамовской Н.С., Антоновой А.П., Булатовой В.М., Габовой З.Е., Запаре Т.А., Ивановой Л.Г., Иванову Е.К., Ковешниковой Т.И., Кривенко С.И., Нескородеву В.Д., Окунишниковой З.М., Троян Н.Ф.Чикишевой Н.Л.

Участие в выставках

В 1998г. институт представил свои экспозиции на Постоянно действующей выставке разработок СО РАН в Выставочном центре СО РАН и на "Сибирской ярмарке" в рамках выставки "Сибполитех-98".

Сведения о проведенных совещаниях, семинарах

КТИ ВТ СО РАН совместно с Выставочным центром СО РАН организовали и провели 30 июня - 1июля 1998г. семинар-презентацию "Автоматизация технологических процессов на топливно-энергетических и трубопроводно-транспортных предприятиях России". В семинаре приняли участие 47 человек, в том числе представители "Нижневартовскнефтегаз", Сибирской энергетической корпорации, Сургутской ГРЭС-1, Урайского управления магистральных нефтепроводов, ОАО "Нефтегазпроект" (г.Тюмень), ВИНАПа и ряда других организаций.

На семинаре были сделаны сообщения о созданных в КТИ ВТ СО РАН приборах и системах автоматизации и продемонстрированы два готовых к поставке заказчику программно-технических комплекса: АСУ ТП магистральных нефтепроводов Урайского управления АО "Сибнефтепровод" и АСУ ТП энергоблока №15 Сургутской ГРЭС-1.

  В оглавление  

Webmaster
Обратная связь

© 1999 Institute of Computational Technologies SB RAS, Novosibirsk
    Last update: Friday, 25-Jun-1999 15:01:00 NOVST