В оглавление
НАУЧНО-ОРГАНИЗАЦИОННАЯ ДЕЯТЕЛЬНОСТЬ
Институт систем информатики им. А.П. Ершова СО РАН
Структура института
В текущем году структура научных подразделений института имела следующий вид:
В 1999 году изменений в структуре Института не было.
Деятельность Ученого совета института
За отчетный период проведено 16 заседаний Ученого совета, на которых обсуждались различные вопросы деятельности Института. Важнейшие из них: о финансовом положении Института; о планах редподготовки на 2000 год; о планах проведения конференций; об итогах годичного Общего собрания СО РАН и РАН; о подготовке основных заданий к плану НИР на 2000 год; о важнейших результатах Института по итогам научной деятельности в 1999 году; о работе аспирантуры Института. Кроме того, рассматривались различные кадровые вопросы.
С 6 по 9 июля 1999г. Институт провел 3-ю Международную конференцию "Перспективы систем информатики", посвященную памяти академика А.П.Ершова. В конференции приняли участие 106 человек, из них 38 участников из зарубежных стран. На конференции было заслушано 7 приглашенных докладов, 27 регулярных и 17 коротких докладов.
В 1999 году Институтом подготовлено два выпуска бюллетеня Joint Bulletin of NCC and IIS, ser. Computer Science, 1 сборник статей, 11 препринтов. В Мемориальной библиотеке А.П.Ершова ежемесячно проводятся выставки новой литературы.
Из фонда Ученого совета осуществлялась поддержка участия в российских и международных конференциях, а также издательской деятельности.
Кадровая политика
Среднесписочная численность института в 1999 г. – 122 человека. Численность научных сотрудников – 67 человек, из них – 8 докторов и 33 кандидата наук. Количество штатных молодых научных сотрудников – 34. В аспирантуре института обучается 31 человек, из них 4 – заочно.
Защита диссертаций
В 1999 г. защищены 2 диссертации на соискание ученой степени кандидата физико-математических наук:
Покозий Е.А. "Методы спецификации и верификации параллельных моделей с непрерывным временем",
Петров Е. С. "Методы интеграции логического программирования и программирования в ограничениях".
Почетные звания, премии, стипендии
В 1999 г. сотрудники института получили 4 государственные научные стипендии для выдающихся ученых России: профессор И.В.Поттосин, профессор В.Н.Касьянов, профессор В.А.Евстигнеев, д.ф.–м.н. А.В.Замулин.
Премию для молодых ученых СО РАН им. А.П.Ершова получил Е.С.Петров.
Почетное звание "Заслуженный деятель науки РФ" присвоено И.В.Поттосину.
Международные научные связи
В 1999 г. институт осуществлял сотрудничество с зарубежными организациями по трем международным проектам.
Центр Компетенции СБИС-технологии является членом международной научно-технической организации EUROPRACTICE Европейского Сообщества.
С 1993 г. институт стал коллективным членом Германского общества по информатике Gesellschaft fur Informatik.
В длительных командировках в настоящее время находятся
З.В.Апанович (Франция) – чтение лекций, проведение совместных научных исследований, г. Гренобль.
Н.В.Шилов (Республика Корея) – чтение лекций, проведение совместных научных исследований, г. Сеул.
Е.А.Покозий (Израиль) – научная работа в Техническом университете г. Хайфа.
Календарь зарубежных командировок по странам
Франция
Петров Е.С. (27.05.99–30.06.99) – совместное с французскими коллегами выполнение работ в рамках проекта 98-06 Института прикладной математики и информатики им. А. М. Ляпунова “Приближенное удовлетворение ограничениям, моделирование параллельных систем и приложения”, Институт информатики при университете, г. Нант.
Непомнящий В.А. (13.03.99–20.03.99) – научная работа по проекту ИНТАС-РФФИ 95-0378 в лаборатории спецификации и верификации Университета ENS, г. Кашан.
Непомнящий В.А. (28.03.99–03.04.99) – научная работа в Университете им. Анри Пуанкаре, г. Нанси, доклад на семинаре на тему "A new language Basic-REAL for specification and verification of distributed system models" (совместно с Шиловым Н.В. и Бодиным Е.В.), г. Нанси.
Замулин А.В. (01.02.99–24.03.99) – научная работа в университете Пари-Сюд, г. Париж.
Замулин А.В. (10.09.99–20.09.99) – участие в работе международного симпозиума по алгебраическим методам в программировании, г. Шато де Бонас.
Япония
Марчук А.Г. (10.01.99–18.01.99) – оппонирование.
Коровина М.В. (01.04.99–30.04.99) – научная работа в университетах гг. Чиба, Киото, Нара, Фокуоки, доклады по теме "Логический подход к семантике и спецификации гибридных систем".
Соединеннные Штаты Америки
Кочетов Д.В. (07.04.99–21.04.99) – исследовательско-технологическая работа в фирме Relativity Technologies Inc., г. Кэри.
Бабурин Д.Е, Филаткина Н.Н. (06.09.99–10.11.99) – исследовательско-технологическая работа в фирме Relativity Technologies Inc., г. Кэри.
Австралия
Шилов Н.В (01.03.98–31.01.99) – научная и преподавательская работа, Технический университет, г. Сидней.
Германия
Вотинцева А.В. (26.07.99–9.08.99) – участие в летней школе, организованной Мюнхенским техническим университетом и поддержанной Научным комитетом НАТО, г. Марктобердорф.
Тарасюк И.В. (14.09.98–31.07.99) –научная работа по стипендии им. Гумбольдта, университет г. Ольденбурга.
Касьянов В.Н. (21.08.99–28.08.99) – участие в 8-й Международной конференции по человеко-машинному взаимодействию (HCI International'99) с докладом "Support tools for hierarchical information visualization", г. Мюнхен.
Дания
Тарасюк И.В. (03.05.99–07.05.99) – участие в летней школе "Semantics of Computation", организованной центром BRICS при университете г. Орхуса.
Италия
Тарасюк И.В. (21.06.99–27.06.99) – участие в 5-ой международной летней школе "Distributed Computationals", университет г. Сиена.
Новая Зеландия
Шилов Н.В. (21.01.99–23.01.99) – участие в 5-ом Новозеландском коллоквиуме по формальным методам с докладом "Experiments with model checking for m -calculus in specification and verification project REAL" (совместно с Бодиным Е.В. и Козюрой В.Е.), Университет Массей, г. Окленд.
Польша
Боженкова Е.Н. (27.09.99–30.09.99) – участие в международном семинаре по параллелизму, спецификациям и программированию (CSP'99) с докладом "Analysis of timed concurrent models based on testing equivalence" (совместно с Андреевой М.В. и Вирбицкайте И.Б.), Институт информатики Варшавского университета, г. Варшава.
Мурзин Ф.А. (10.01.99–17.01.99) – проведение научных исследований и практических работ в польском отделении фирмы MillionZillion Software, Inc., г. Гданьск.
Мурзин Ф.А. (08.08.99–18.08.99) – проведение научных исследований и практических работ в польском отделении фирмы MillionZillion Software, Inc., г. Гданьск.
Румыния
Вирбицкайте И.Б. (13.09.99–15.09.99) – участие в 12-ом международном симпозиуме "Fundamentals of Computation Theory" с докладом "A partial order method for the verification of time Petri nets" (совместно с Покозий Е.А.), г. Яссы.
Республика Корея
Шилов Н.В. (14.10.99–25.10.99) – научная работа в Корейском институте науки и технологии, г. Сеул.
Великобритания
Замулин А.В. (11.07.99–25.07.99) – участие в работе редколлегии "The Computer Journal", г. Эдинбург.
Поттосин И.В. (09.09.99–22.09.99) – участие в работе международного симпозиума, посвященного юбилею Хоора, г. Оксфорд, чтение лекций и обсуждение перспектив сотрудничества в университете Сюррея, г. Гилдфорд.
Нидерланды
Непомнящий В.А. (21.03.99–27.03.99) – участие в Объединенных европейских конференциях по теории и практике софтвера (ETAPS'99) с докладом "Verification of definite iteration over hierarchical data structures", г. Амстердам.
Замулин А.В. (25.03.99–31.03.99) – участие в работе международной конференции по фундаментальным основам технологии программирования, г. Амстердам.
Турция
Яхно Т.М. (10.09.98–30.12.98) – научная работа в Университете им. 9 сентября и разработка совместных курсов по искусственному интеллекту, г. Измир.
Работа в специализированных советах
по защитам диссертаций
Совет по защитам кандидатских диссертаций по специальностям 05.13.11, 05.13.13 в Институте систем информатики им. А.П.Ершова СО РАН:
д.ф.–м.н. Поттосин И.В., д.ф.–м.н. Касьянов В.Н., к.ф.–м.н Бульонков М.А., к.т.н. Вишневский Ю.Л., д.ф.–м.н. Марчук А.Г., к.ф.–м.н. Непомнящий В.А., д.ф.–м.н. Евстигнеев В.А.
Членство в национальных и международных
научных организациях
Международная ассоциация логического программирования – к.т.н. И.Е. Швецов.
Европейская ассоциация искусственного интеллекта – к.т.н. Ю.А. Загорулько.
Российская ассоциация искусственного интеллекта – к.т.н. Ю.А Загорулько.
Ассоциация по вычислительной технике (ACM) – проф. И.В.Поттосин, М.А. Бульонков.
Институт инженеров по электронике и электротехнике (IEEE) – проф. И.В. Поттосин, М.А.Бульонков.
Российская академия естественных наук – член-корр. В.Н.Касьянов.
Американское математическое общество (AMS) – проф. В.Н. Касьянов, к.ф.–м.н. Ф.А. Мурзин, проф. В.Л.Селиванов.
Европейская ассоциация по теоретической информатике (EATCS) – проф. И.В. Поттосин, проф. В.Н. Касьянов, к.ф.–м.н. В.А. Непомнящий.
Общество по индустриальной и прикладной математике (SIAM) – проф. В.Н. Касьянов.
Европейская ассоциация по компьютерной логике (EACSL) – к.ф.–м.н. В.А. Непомнящий.
Международная академия информатизации – действительные члены А.А. Берс,
И.В. Поттосин.
Членство в редколлегиях научных изданий
Серия сборников статей "Системная информатика", изд-во "Наука" – проф. И.В. Поттосин, проф. В.Н. Касьянов, д.ф.–м.н. А.В. Замулин, к.ф.–м.н. В.А. Непомнящий.
Совместный бюллетень ИВМ и МГ и ИСИ СО РАН (Joint Bulletin of NCC&IIS) – проф. И.В. Поттосин, проф. В.Н. Касьянов, д.ф.–м.н. А.Г. Марчук, д.ф.–м.н. Т.М. Яхно, к.ф.–м.н. В.А. Непомнящий.
Международный эсперантский журнал "Monato", Бельгия – к.ф.–м.н. С.Б. Покровский.
Журнал ОИВТА РАН "Информационные технологии и вычислительные системы" – проф. И.В. Поттосин.
Журнал РАН "Программирование" – проф. И.В. Поттосин, д.ф.–м.н. А.В. Замулин.
Журнал "Information Systems" – д.ф.–м.н. А.В. Замулин.
Журнал "The Computer Journal" – д.ф.–м.н. А.В. Замулин.
Журнал "Journal of Universal Computer Science" – д.ф.–м.н. А.В. Замулин.
Сведения о проведенных в 1999 г.
конференциях, совещаниях и школах
В 1999 году с 6 по 9 июля Институт провел 3-ю Международную конференцию "Перспективы систем информатики", посвященную памяти академика А.П. Ершова. В конференции приняли участие 106 человек, из них 38 участников из зарубежных стран. На конференции было заслушано 7 приглашенных докладов, 27 регулярных и 17 коротких докладов.
В октябре 1999 г. был проведен трехдневный семинар совместно с Санкт-Петербургским университетом. Тематика семинара – технология и системы программирования.
НАУЧНО-ПЕДАГОГИЧЕСКАЯ ДЕЯТЕЛЬНОСТЬ
Институт систем информатики им. А.П. Ершова СО РАН
Сотрудники института ведут активную педагогическую деятельность в Новосибирском государственном университете, Высшем колледже информатики НГУ и Новосибирском государственном педагогическом университете. Институт является базовым для кафедры программирования ММФ НГУ (зав. кафедрой – проф. И.В. Поттосин) и кафедры систем информатики Техфака НГУ (зав. кафедрой – проф. А.В. Замулин). Ежегодно в Институте проходит практику около 80 студентов ММФ и Техфака НГУ. Кроме того, Институт участвует в реализации ФЦП "Интеграция", проектах "Создание учебно-научных центров" и "Серия учебных изданий "Интеграция фундаментальных исследований по информатике с обучением современным методам информатики и программирования".
Новосибирский государственный университет
Основные курсы
Специальные курсы
Специальные семинары
Высший колледж информатики при НГУ
Основные курсы
Спецкурсы
Спецсеминары
Новосибирский государственный
педагогический университет
Основные курсы
Спецкурсы
Новосибирский Государственный Технический Унивеситет
Основные курсы
Новосибирский институт повышения квалификации
и переподготовки работников образования
Общеобразовательные учреждения
Курсы
Факультет повышения квалификации НГУ
Спецсеминары
Издание учебно-методических пособий
Евстигнеев В.А. Основы параллельной обработки. Векторизация программ. – Новосибирск: НГУ, 1999. – 116 с.
Цикоза В.А., Чурина Т.Г. Методическое пособие по курсу "Методы программирования". – Новосибирск: НГУ, 1999. –Ч. 1. – 80 с.
Касьянов В.Н. Вводный курс программирования на Паскале в заданиях и упражнениях. – Новосибирск: НГУ, 1999. – Ч. 1. – 160 с.
Касьянов В.Н. Вводный курс программирования на Паскале в заданиях и упражнениях. – Новосибирск: НГУ, 1999. – Ч. 2. – 170 с.
Замулин А. В. Формальные методы спецификациии программ. – Новосибирск: НГУ, 1999.
ОЛИМПИАДЫ ПО ИНФОРМАТИКЕ И ПРОГРАММИРОВАНИЮ
Успех студенческой команды НГУ в полуфинале самой престижной Международной олимпиады АСМ по программированию, состоявшейся в ноябре 1999 года, показал результативность системы мероприятий, развернутых на кафедрах НГУ силами сотрудников ИСИ СО РАН. В этом направлении ведется долговременная работа по подготовке и проведению олимпиад всех уровней по информатике и программированию. В их числе:
Результативность олимпиадного механизма как фактора повышения интереса молодежи к научным исследованиям обеспечивается широким спектром деятельности сотрудников института, а именно:
Конкретная работа по обучению участников, подготовке и проведению олимпиад включает в себя следующие формы:
НАУЧНО-ОРГАНИЗАЦИОННАЯ ДЕЯТЕЛЬНОСТЬ
Конструкторско-технологический институт вычислительной техники СО РАН
Структура института
В 1999 году с целью оптимизации структуры Института был ликвидирован конструкторский отдел N11 автоматизации научных исследований и на конец года структура Института имеет следующий вид:
научные лаборатории:
конструкторские отделы:
вспомогательные подразделения;
опытное производство.
Деятельность Ученого совета Института
В течение года в Институте проводились заседания Ученого совета, на которых были рассмотрены следующие наиболее важные вопросы:
Кроме того рассматривались различные кадровые вопросы:
Кадровая политика
Среднесписочная численность сотрудников Института в 1999 году составила 208 человек, в том числе молодых сотрудников (до 33 лет) – 27 человек. Количество научных работников – 26 человек, в том числе 13 кандидатов наук.
Контрактная система
С 1992 года в Институте используется контрактная система найма и оплаты труда. В 1999г. по контрактам работали 46 человек.
Сведения о финансировании
Общий объем финансирования – 9194,7тыс.руб.
В том числе:
Государственные награды, почетные звания, премии
Медалью ордена "За заслуги перед отечеством" II степени награжден заведующий лабораторией Михальцов Э.Г.
Почетными грамотами РАН и Профсоюза работников РАН награждены 17 человек.
Малой золотой медалью "Сибирской ярмарки" награждена разработанная в Институте "Система коммерческого учета природного газа".
Участие в выставках
Институт в 1999г. представил свои разработки на следующих выставках:
На выставках были представлены:
Членство в координационных комиссиях и группах
Рабочая группа при Департаменте стратегии развития и научно-технической политики РАО "ЕЭС" для координации совместных работ СО РАН и РАО "ЕЭС" (к.т.н. Г.М.Собстель).
НАУЧНО-ПЕДАГОГИЧЕСКАЯ ДЕЯТЕЛЬНОСТЬ
Конструкторско-технологический институт вычислительной техники СО РАН
Сотрудники КТИ ВТ ведут педагогическую деятельность в Новосибирском государственном университете на механико-математическом, физическом и техническом факультетах и в Новосибирском государственном техническом университете на физико-техническом факультете.
НОВОСИБИРСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
Механико-математический факультет, основные курсы
Физический факультет, основные курсы
Технический факультет, основные курсы
НОВОСИБИРСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ
Физико-технический факультет, основной курс
Архитектура автоматизированных систем для научных исследований
(доцент Зензин А.С.)
| В оглавление
|