OIVTA99

Объединенный институт информатики
Сибирского отделения Российской академии наук
(ОИИ СО РАН) в составе :
Института вычислительных технологий (ИВТ) СО РАН,
Института систем информатики им. А.П. Ершова (ИСИ) СО РАН,
Конструкторско-технологического института
вычислительной техники
(КТИ ВТ)СО РАН
"Важнейшие результаты научной
и научно-организационной деятельности
Объединенного института информатики Сибирского отделения РАН
за 1999 год"
И.о. генерального директора Института
д.ф.-м.н.
10 декабря 1999 г.
А.М. Федотов
I.
Основные итоги.
ДИНАМИЧЕСКАЯ СИСТЕМА ПУБЛИКАЦИЙ
Разработана технология создания распределенных электронных коллекций в среде Интернет,
базирующаяся на созданной концепции динамической системы электронных документов, в
основе которой лежит представление документа, содержащего информацию о конкретных
фактах, в виде набора объектов со своими характеристиками и атрибутами (аналогично
структурам в объектных языках программирования). (ИВТ СО РАН) (2.2.2)
ИССЛЕДОВАНИЯ ВЗАИМОДЕЙСТВИЯ ЛАЗЕРНЫХ ИМПУЛЬСОВ
С ПЛАЗМОЙ ДОКРИТИЧЕСКОЙ КОНЦЕНТРАЦИИ.
На основе созданного пакета прикладных программ, реализованного на мультипрoцессорном
комплексе CRAY Т3Е, исследованы новые особенности динамики взаимодействия сверхкоротких лазерных импульсов с плазмой докритической концентрации: обнаружена генерация
релятивистских электромагнитных солитонов, доказана возможность формирования вакуумного канала в плазме, генерация квазистатического магнитного поля и возбуждение сильных
продольных электрических полей, позволяющих ускорять как электроны, так и ионы до релятивистских энергий. (ИВТ СО РАН) (2.2.2.)
ИССЛЕДОВАНИЕ ФИЗИКО-ХИМИЧЕСКИХ ЭФФЕКТОВ
В ТОНКОПЛЕНОЧНЫХ МАТЕРИАЛАХ
На основе математического моделирования травления пленок в плазме тетрафторида углерода показано, что для различных кинетических моделей имеет место значительное расхождение в скорости травления, являющейся основной характеристикой технологического процесса. Предложена феноменологическая модель эффекта Шварца-Хоры в тонких диэлектрических пленках, позволяющая дать объяснение основных характеристик явления, наблюдающихся в эксперименте. (ИВТ СО РАН) (2.2.2.)
РАЗРАБОТКА НОВОГО ПОКОЛЕНИЯ АЛГОРИТМИЧЕСКОГО И ПРОГРАММНОГО
ОБЕСПЕЧЕНИЯ СИСТЕМЫ ПРЕДУПРЕЖДЕНИЯ О ЦУНАМИ.
СРЕДСТВА ПРОВЕДЕНИЯ СЦЕНАРНЫХ РАСЧЕТОВ ДИНАМИКИ
КАТАСТРОФИЧЕСКИХ ВОЛН ЦУНАМИ.
Выполнен анализ современных тенденций развития национальных и международных компонент Служб предупреждения о цунами. Сформулирована концепция развития отечественной
системы предупреждения о цунами. (ИВТ СО РАН) (2.2.2.)
МЕТОД ЭКВИПОТЕНЦИАЛЕЙ В ЗАДАЧАХ НЕЛИНЕЙНОЙ ДИФФУЗИИ
Разработан метод эквипотенциальных кривых для исследования геометрических свойств нелинейных параболических уравнений. (ИВТ СО РАН) (1.1.3.)

Цифры, указанные в скобках соответствуют рубрикам "Перечня приоритетных направлений фундаментальных исследований", утвержденному постановлением Президиума РАН № 7 от 13.01.98
2
ВНУТРЕННЕЕ ИНТЕРВАЛЬНОЕ ОЦЕНИВАНИЕ МНОЖЕСТВ РЕШЕНИЙ
НЕОТРИЦАТЕЛЬНЫХ ИНТЕРВАЛЬНЫХ ЛИНЕЙНЫХ СИСТЕМ
Для решения задачи внутреннего оценивания множеств решений интервальных линейных
систем с неотрицательными матрицами предложен полиномиально сложный алгоритм, основанный на геометрическом свойстве "монотонности конфигурации" множеств решений.
Предлагаемый подход позволяет получать максимальные по включению интервальные оценки и применим для внутреннего оценивания множеств решений интервальных линейных систем с прямоугольными (не обязательно квадратными) матрицами. (ИВТ СО РАН) (1.1.5.)
МНОГОЯЗЫКОВЫЙ КОМПЛЕКС СРЕДСТВ АНАЛИЗА ПРОГРАММ,
НАЦЕЛЕННЫХ НА РЕШЕНИЕ ПРОБЛЕМЫ 2000 ГОДА
Разработан многоязыковый комплекс средств анализа программ, нацеленных на решение
проблемы 2000 года (ИСИ СО РАН) (2.2.8.)
ТОЛКОВЫЙ СЛОВАРЬ ПО ТЕОРИИ ГРАФОВ В ПРОГРАММИРОВАНИИ И
ИНФОРМАТИКЕ
Разработан толковый словарь по теории графов в программировании и информатике (ИСИ
СО РАН) (2.2.1.)
СИМВОЛИЧЕСКИЙ МЕТОД ВЕРИФИКАЦИИ ФИНИТНОЙ ИТЕРАЦИИ
Разработан символический метод верификации финитной итерации над иерархическими
структурами данных, объединяющий преимущества аксиоматического и функционального
методов (ИСИ СО РАН) (2.2.1.)
МОДЕЛИ И МЕТОДЫ СТАТИЧЕСКОГО АНАЛИЗА ПРОГРАММ
И ОЦЕНКИ ИХ КАЧЕСТВА
Исследованы модели и методы статического анализа программ, оценки их качества и добротности. На основе этих методов разработан статический анализатор семантических ошибок и нарушений критериев добротности. (ИСИ СО РАН) (2.2.8.)
ВВОДНЫЙ КУРС ПО ПРОГРАММИРОВАНИЮ
Разработан вводный курс по программированию для университетов (ИСИ СО РАН) (2.2.1.)
СИСТЕМА КОММЕРЧЕСКОГО УЧЕТА ПРИРОДНОГО ГАЗА
Создана система по обслуживанию от одного до шести газопроводов одновременно для автоматизированного измерения расхода и количества природного газа и расчета его теплотворной способности по полному компонентному составу. (КТИ СО РАН) (2.2.3.)
3
ИССЛЕДОВАНИЕ ПРИНЦИПОВ ПОСТРОЕНИЯ И СОЗДАНИЕ
ЭКСПЕРИМЕНТАЛЬНОГО ОБРАЗЦА ВЫСОКОПРОИЗВОДИТЕЛЬНОГО УСТРОЙСТВА
ВВОДА ИЗОБРАЖЕНИЙ В ЭВМ ДЛЯ СИСТЕМ ИЗГОТОВЛЕНИЯ ЦИФРОВЫХ
ТОПОГРАФИЧЕСКИХ КАРТ
(шифр "Сканер")
Создан экспериментальный образец устройства, обеспечивающий ввод полутоновых изображений в ЭВМ с фотопленки размером 300х300мм. Скорость ввода – 1 Мбайт/сек. (КТИ СО
РАН) (1.3.7.)
РАЗРАБОТКА НАУЧНЫХ ОСНОВ ДИАГНОСТИЧЕСКИХ И ЛЕЧЕБНЫХ
МЕТОДИК ДЛЯ ПУЛЬМОНОЛОГИИ НА БАЗЕ АППАРАТНО-ПРОГРАММНОГО
КОМПЛЕКСА "БОС С02"
Разработаны новые алгоритмы обработки цикла дыхания, предложен комплект рекомендаций и методик по созданию компьютерных игр с учетом особенностей возрастных групп для
диагностики и лечения нарушений дыхания. Изготовлен программно-аппаратный комплекс
для диагностики и лечения заболевания системы дыхания у детей методом компьютерных
игр. (КТИ СО РАН) (2.2.5.)
4
II.
Важнейшие результаты исследований.
Институт вычислительных технологий (ИВТ) СО РАН
ДИНАМИЧЕСКАЯ СИСТЕМА ПУБЛИКАЦИЙ
1. Авторы научного результата:
Шокин Ю.И. - директор Института, академик;
Федотов А.М. - зам. директора, д.ф.-м.н.
Коропачинский И.Ю. - директор ЦСБС СО РАН, академик;
Ермаков Н.Б. - с.н.с. ЦСБС СО РАН, к.б.н.
Байков К. С. - с.н.с. ЦСБС СО РАН, к.б.н.
Шумный В.К. - директор ИЦиГ СО РАН, академик;
Колчанов Н.С. - зам. директора ИЦиГ СО РАН, д.б.н.
2. Ключевые слова: Word Wide Web, Internet, сетевые технологии, телекоммуникации, информационные системы, Сибирское отделение РАН, электронные библиотеки.
3. Основная позиция по рубрикатору ОИВТА РАН: 5.2.
4. Вторичные позиции по рубрикатору ОИВТА РАН: 5.3.
5. Характер результата: прикладной.
6. Краткое описание результата:
Разработана технология создания распределенных электронных коллекций в среде Интернет, базирующаяся на созданной концепции динамической системы электронных документов, в основе которой лежит представление документа, содержащего информацию
о конкретных фактах, в виде набора объектов со своими характеристиками и атрибутами
(аналогично структурам в объектных языках программирования). Технология реализована на основе трехуровненевой модели представления данных и метаданных, поддерживаемая стандартами CORBA и применена при создании и поддержки информационных ресурсов Отделения, в том числе при создании полнотекстовых баз данных, электронных
атласов и электронных коллекций Отделения в рамках программы "Электронная библиотека Сибирского отделения РАН".
7. Сравнение с мировым уровнем:
Работа соответствует текущим мировым тенденциям в развитии информационных систем.
8. Важнейшие публикации:
8.1. Шокин Ю.И., Федотов А.М. Электронная библиотека Сибирского отделения РАН //
Доклад на Российско-британском семинаре "Электронные библиотеки"
http://www.iis.ru/rbdlw99/ (Москва 18-20 июня 1999 года), http://wwwsbras.nsc.ru/win/elbib/dl99.htrnl
8.2. Шокин Ю.И., Федотов А.М. Информационные ресурсы Сибирского отделения РАН
//Информационные ресурсы России. - 1999.
8.3. Федотов А.М. и др. Базы данных электронного атласа "Биоразнообразие Сибири"
//http://www-sbras.nsc.ru/win/elbib/atlas/
8.4. Коропачинский И.Ю., Шокин Ю.И., Шумный В.К., Байков К. С., Ермаков Н.Б.,
Колчанов Н.А., Федотов А.М. Электронные публикации биологических данных //
Электронные библиотеки: перспективные методы и технологии, электронные коллекции.
- Труды конференции, РФФИ, СП6ГУ, РАН, 1999, -с 187-192.
8.5. Федотов А.М. Электронная библиотека Сибирского отделения РАН. //http://wwwsbras.nsc.ru/win/elbib/
5
ИССЛЕДОВАНИЯ ВЗАИМОДЕЙСТВИЯ ЛАЗЕРНЫХ ИМПУЛЬСОВ
С ПЛАЗМОЙ ДОКРИТИЧЕСКОЙ КОНЦЕНТРАЦИИ.
1. Авторы научного результата:
ДудниковаГ.И.. - зав.лабораторией, д.ф.-м.н.
Вшивков В.А. - в.н.с., д.ф.-м.н.
2. Ключевые слова: кинетическая модель, кильватерная волна, метод частиц.
3. Основная позиция по рубрикатору ОИВТА РАН:2.4.
4. Вторичные позиции по рубрикатору ОИВТА РАН: 1.3.
5. Характер результата: фундаментальный.
6. Краткое описание результата:
На основе созданного пакета прикладных программ, реализованного на мультипроцессорном комплексе CRAY ТЗЕ, исследованы новые особенности динамики взаимодействия сверхкоротких лазерных импульсов с плазмой докритической концентрации, когда
интенсивность излучения достигает значений порядка 10 Вт/см. Обнаружена генерация
релятивистских электромагнитных солитонов. Показано, что существенная часть энергии
лазерного излучения трансформируется в энергию солитонов. Доказана возможность
формирования вакуумного канала в плазме, генерация квазистатического магнитного поля и возбуждение сильных продольных электрических полей, позволяющих ускорять как
электроны, так и ионы до релятивистских энергий. Полученные результаты имеют важное значение для теории и практики новых методов ускорения заряженных частиц и концепции быстрого поджига в лазерном термоядерном синтезе.
7. Сравнение с мировым уровнем:
Уровень достигнутых результатов соответствует мировому.
8. Важнейшие публикации.
8.1. Буланов С.В., Вшивков В.А., Дудникова Г.И., Есиркепов Т.Ж., Калифано Ф., Каменец
Ф.Ф., Лисейкина Т.В., Наумова Н.М., Регораро Ф. Взаимодействие лазерных импульсов
петаваттной мощности с плазмой докритической концентрации // Физика плазмы.-1999. Т. 25.-№9.-С 764778.
8.2. Есиркепов Т.Ж., Сентоку И., Мима К., Нишихара К., Калифано Ф., Пегораро Ф., Наумова Н.М., Буланов С.В., Уешима И., Лисейкина Т.В., Вшивков В.А., Като И. Ускорение
ионов сверхмощным лазерным импульсом в плазме // Письма в ЖЭТФ.- 1999. - О. 70.- №
6. - С. 80-86.
8.3. Bulanov S.V., Esirkepov T.Zh., Naumova N.M., Pegoraro F., Vshivkov V.A. Solitonlike
electromagnetic waves behind a superintense laser pulse in a plasma // Physical Review
Letters.-1999. - Vol. 82. - N 17.- P. 3440-3443.
8.4. Bulanov S.V., Califano F., Dudnikova G.I., Lisseikina T.V., Naumova N.M., Pegoraro F.,
Vshivkov V.A., Sakai J.-L, Sakharov A.S. Laser acceleration of charged particles in
inhomogeneous plasmas. II: Particle injection into acceleration phase due to nonlinear wake
wave-breaking // Plasma Physics Reports.- 1999. -Vol. 25. -N6. -P. 468-481.
8.5. Bulanov S.V,, Califano F., Esirkepov T.Zh., Mima K., NaumovaN.M., Nishihara K., Pegoraro
F., Sentoku Y., Vshivkov V.A. Relativistic solitons generated by high intense laser pulses in
plasmas.// J. of Plasma and Fusion Research. - 1999. Vol. 75. -N5. -P. 75-104.
8.6. Liseikina Т.V., Califano F., Vshivkov V.A., Pegoraro F., Bulanov S.V. Smallscale electron
density and magnetic-field structures in the wake of an ultraintense laser pulse // Physical
Review E. - 1999. - Vol. 60.-N5.-P. 5991-5997.
8.7. Pegoraro F„ Bulanov S.V., Califano F., Dudnikova G.I., Esirkepov T.Zh., Liseikina T.V.,
Macchi A., Naumova N.M., Vshivkov V.A. Theory and computer simulations of the interaction
of a relativistic laser pulse with a plasma // Proc. of the International Conference on Lasers 98,
eds. V.J. Corcoran and T.A. Goidman, STS Press, Me Lean Va Abstracts, Tucson (USA), 1999.
6
ИССЛЕДОВАНИЕ ФИЗИКО-ХИМИЧЕСКИХ ЭФФЕКТОВ
В ТОНКОПЛЕНОЧНЫХ МАТЕРИАЛАХ
1. Авторы научного результата:
Шокин Ю.И. - директор ИВТ, академик
Григорьев Ю.Н. - зав. лабораторией, д.ф.-м.н., профессор
Мороков Ю.Н. - с.н.с., к.ф.-м.н.
ГоробчукА.Г. - м.н.с.
2. Ключевые слова: пленки, физико-химические модели, излучение.
3. Основная позиция по рубрикатору ОИВТА РАН: 2.1.
4. Вторичные позиции по рубрикатору ОИВТА РАН: 2.4.
5. Характер результата: фундаментальный.
6. Краткое описание результата.
Выполнено численное моделирование радиального плазмохимического реактора. Исследовался процесс травления пленки кремния в плазме тетрафторида углерода. Результаты расчетов показали, что для разных кинетических моделей имеют место значительные расхождения в значениях концентраций фтора и скорости травления образца.
Для рассмотрения основных эффектов, наблюдающихся при воздействии лазерного поля
на электронный пучок в тонкой диэлектрической пленке, предложена феноменологическая модель, позволившая объяснить наблюдающиеся в эксперименте и необъясненные
ранее эффекты, такие как относительно большую интенсивность излучения ШварцаХоры, линейную зависимость интенсивности излучения от электронного тока, начальную фазу и постоянство периода пространственных биений в интенсивности излучения.
7. Сравнение с мировым уровнем:
Уровень достигнутых результатов соответствует мировому.
8. Важнейшие публикации:
8.1. S.I.Shokin Yu.l., Grigoryev Yu.N., Gorobchuk A.G. Advanced optimization of etching
processes in plasma-chemical reactors // Book of abstracts of 8th International symposium on
computational fluid dynamics (September 5th-10th, 1999, Bremen, Germany) -1999. -PP. 106107.
8.2. Shokin Yu.l., Grigoryev Yu.N., Gorobchuk A.G. Advanced optimization of etching processes
in radial flow plasma-chemical reactor // Принята в Computational Fluid Dynamics Journal.
8.3. Grigoryev Yn.N., Gorobchuk A.G. Peculiarities of Si Films Etching in CF4 Parent Gas // Proceedings of 22 International conference on microelectronics. "MIEL-99". -Yugoslavia. -1999. Vol. 1. -PP.289-292.
8.4. Morokov Yu.N. Schwarz-Hora Effect: Present-Day Situation // Proceedings of SPIE. -1999. Vol.3734. -P.34-40; e-preprintquant-ph/9908057. -1999. -RevTex. -5P.
8.5. Morokov Yu.N. Long beating wavelenght in the Schwarz-Hora effect // Phys. Rev. A. -1997. V.56, -N6. -P.5162-5164, e-preprint quant-ph/9802002. -1998. -RevTex. -3P.
7
РАЗРАБОТКА НОВОГО ПОКОЛЕНИЯ АЛГОРИТМИЧЕСКОГО И ПРОГРАММНОГО
ОБЕСПЕЧЕНИЯ СИСТЕМЫ ПРЕДУПРЕЖДЕНИЯ О ЦУНАМИ.
СРЕДСТВА ПРОВЕДЕНИЯ СЦЕНАРНЫХ РАСЧЕТОВ ДИНАМИКИ
КАТАСТРОФИЧЕСКИХ ВОЛН ЦУНАМИ.
1. Авторы научного результата:
Федотова, З.И. - ., с.н.с., к.ф.-м.н.
Чубаров Л.Б. - зав. лабораторией, к.ф.-м.н., доцент,.
2. Ключевые слова: математическое моделирование, катастрофические волны цунами, системы предупреждения о цунами.
3. Основная позиция по рубрикатору ОИВТА РАН:2.1.
4. Вторичные позиции по рубрикатору ОИВТА РАН: 15.1.
5. Характер результата: прикладной.
6. Краткое описание результата:
Выполнен анализ современных тенденций развития национальных и международных
компонент Служб предупреждения о цунами, на основе которого сформулирована концепция развития отечественной системы предупреждения о цунами, предложена ее
иерархическая структура, указан перечень основных задач, решаемых на каждом уровне.
Показана роль средств математического моделирования при вычислении параметров
аномальных волновых режимов катастрофического характера
Для моделирования динамики наката волн цунами на берега сложных очертаний разработан конечно-разностный алгоритм на основе нелинейных уравнений мелкой воды, реализованный в виде комплекса программ.
Разработанные конечно-разностные алгоритмы решения задач о распространении и
трансформации длинных волн применены к численному моделированию весьма сложных задач о динамике волн цунами в акватории Окушири (Okushiri).
7. Сравнение с мировым уровнем:
Уровень достигнутых результатов соответствует мировому.
8. Важнейшие публикации.
8.1. Чубаров Л. Б. , Хакимзянов Г. С. , Федотова 3. И. , Симонов К. С. Отчет о научноисследовательской работе по хоздоговору 16Н-99.151 стр.
8.2. Федотова 3. И. , Чубаров Л. Б. , Шокин Ю. И. , Бо Эйнарссон. Сравнительный анализ нелинейно-дисперсионных приближенных моделей волновой гидродинамики.
//(Отправлено в International Journal of Computational Fluid Mechanics)
8.3. Шокин Ю.И., Чубаров Л.Б. Информационные технологии в решении актуальных проблем снижения ущерба от природных и антропогенных катастроф (принята к печати в
журнале ЭКО, 1999, № 12)
8.4. Федотова З.И. О расчетах динамики длинных волн при их выходе на неоднородный откос. // Современные методы математического моделирования природных и антропогенных катастроф, V научная конференция. Тезисы докладов. - Красноярск, ИВМ СО РАН,
1999.-С. 100-101.
8
МЕТОД ЭКВИПОТЕНЦИАЛЕЙ В ЗАДАЧАХ НЕЛИНЕЙНОЙ ДИФФУЗИИ
1. Автор научного результата:
Гребенев В.Н.-с.н.с., к.ф.-м.н.
2. Ключевые слова: вырождающиеся нелинейные параболичские уравнения, вогнутость
профиля решения, геометрические свойства решения, эквипотенциали.
3. 3 Основная позиция по рубрикатору ОИВТА РАН:3.2.
4. Вторичные позиции по рубрикатору ОИВТА РАН:3.1.
5. Характер результата: фундаментальный.
6. Краткое описание результата:
Проведено исследование геометрических свойств решений задачи Коши для вырождающихся нелинейных параболичских уравнений, частным случаем которых является уравнение фильтрации идеального изотропного газа. Изучена задача о сохранении формы
(вогнутого) профиля начального распределения функции давления и формирование вогнутого профиля за конечное время. В случае общих начальных условий показано, что за
конечный промежуток времени формируется вогнутый профиль функции давления. Этот
подход не требует a priori знание точных решений и использование метода сравнения по
пересечениям.
7. Сравнение с мировым уровнем:
Уровень полученных результатов соответствует мировому.
8. Важнейшие публикации:
8.1. Grebenev V.N. Equipotential line method in nonlinear difiUsion problems // R.J. Numerical
Anal. Math. Modelling. - 1999.- V. 14.- N.4.- P. 327-338.
8.2. Grebenev V.N. Sobre la convexidad de la fUncion de presion en el problema de la filtracion no
lineal.//Revista deMatem.: TeoriayAplicaciones. - 1998.-V.5.-N.I.-P. 1-10.
9
ВНУТРЕННЕЕ ИНТЕРВАЛЬНОЕ ОЦЕНИВАНИЕ МНОЖЕСТВ РЕШЕНИЙ
НЕОТРИЦАТЕЛЬНЫХ ИНТЕРВАЛЬНЫХ ЛИНЕЙНЫХ СИСТЕМ
1. Автор научного результата:
Шарый С.П. - с.н.с., к.ф.-м.н.
2. Ключевые слова: Интервальная линейная система, неотрицательные матрицы, обобщенные множества решений, внутреннее интервальное оценивание.
3. Основная позиция по рубрикатору ОИВТА РАН: 1.2.
4. Вторичные позиции по рубрикатору ОИВТА РАН: 3.6.
5. Характер результата: фундаментальный.
6. Краткое описание результата:
Для решения задачи внутреннего оценивания множеств решений интервальных линейных систем с неотрицательными матрицами предложен полиномиально сложный алгоритм, основанный на геометрическом свойстве "монотонности конфигурации" множеств
решений. Предлагаемый подход позволяет получать максимальные по включению интервальные оценки и применим для внутреннего оценивания множеств решений интервальных линейных систем с прямоугольными (не обязательно квадратными) матрицами.
7. Сравнение с мировым уровнем:
Результат находится на мировом уровне.
10
Института систем информатики им. А.П. Ершова (ИСИ) СО РАН
МНОГОЯЗЫКОВЫЙ КОМПЛЕКС СРЕДСТВ АНАЛИЗА ПРОГРАММ,
НАЦЕЛЕННЫХ НА РЕШЕНИЕ ПРОБЛЕМЫ 2000 ГОДА
1. Авторы научного результата:
Бульонков М.А., зав.лабораторией, к.ф.-м.н., доцент
Курляндчик В .Я., инженер-программист
2. Ключевые слова: анализ программ, визуализация программ, анимация выполнения программ, информационные зависимости, структурные зависимости
3. Основная позиция по рубрикатору ОИВТА РАН: 6.2.
4. Вторичная позиция по рубрикатору ОИВТА РАН: 6.1. 5.
5. Характер результата: фундаментальный.
6. Краткое описание результата:
Разработана архитектура системы визуализации программ HyperCode. Архитектура системы допускает расширение и адаптацию системы как к различным языкам программирования, так и к номенклатуре представляемой информации. Система предусматривает
средства подключения новых визуализирующих компонент, например, анимацию выполнения программ и представление программ в графическом виде с разной степенью
детализации. Система доведена до уровня программного продукта, позволяющего обрабатывать реальные программы большого размера и представлять результаты анализа в
среде Интернет.
Разработанные средства были использованы для построения инструментов диагностики
проблемы 2000 года. В частности, получила широкое распространение и была применена
на практике настраиваемая, языково-независимая система Scan2K, которая позволяет выявлять фрагменты программ, представляющие потенциальную опасность с точки зрения
манипулирования датами, и прослеживать информационные и структурные зависимости
от таких фрагментов.
7. Сравнение с мировым уровнем:
Уровень достигнутых результатов соответствует мировому.
8. Важнейшие публикации:
11
ТОЛКОВЫЙ СЛОВАРЬ ПО ТЕОРИИ ГРАФОВ В ПРОГРАММИРОВАНИИ И
ИНФОРМАТИКЕ
1. Авторы научного результата:
Касьянов В.Н. - г.н.с., зав.лабораторией, д.ф.-м.н., профессор,
Евстигнеев В.А. - г.н.с., д.ф.-м.н., профессор,
Казанцев В.Е. - программист, Гибадуллин А.З. - магистрант.
2. Ключевые слова: толковый словарь, теория графов, информатика, программирование,
базы данных, коммуникационные сети, Интернет, информационно-образовательные ресурсы
3. Основная позиция по рубрикатору ОИВТА РАН: 6.1.
4. Вторичная позиция по рубрикатору ОИВТА РАН: 16.1.
5. Характер результата: фундаментальный.
6. Краткое описание результата:
Современное состояние информатики и программирования нельзя представить себе без
применения теоретико-графовых методов. Впервые выпущен в свет толковый словарь по
теории графов. В нем собрано свыше 1700 наиболее употребительных терминов по теории графов и ее приложениям в информатике и программировании. Статьи словаря
снабжены иллюстрациями, перекрестными ссылками и ссылками на доступную литературу.
Наличие английских эквивалентов терминов позволяет использовать словарь при переводе с русского на английский и обратно.
Словарь предназначен для широкого круга специалистов, использующих методы теории
графов при решении своих задач, и в первую очередь для системных и прикладных программистов, а также для специалистов по САПР, конструкторов СБИС и просто для всех
тех, кто работает с современной технической литературой или готовится стать квалифицированным специалистом, проходя вузовский курс обучения. Подготовлена
начальная электронная версия словаря, ориентированная на работу в среде Интернет и
доступная по адресу <http://pco.iis.nsk.su/grapp>.
7. Сравнение с мировым уровнем:
Уровень достигнутых результатов соответствует мировому.
8. Важнейшие публикации:
8.1. Евстигнеев В.А., Касьянов В.Н. Толковый словарь по теории графов в информатике и
программировании. - Новосибирск: Наука, 1999. - 288 С.
8.2. Касьянов В.Н., Евстигнеев В.А., Казанцев В.Е., Гибадуллин А.З. Толковый словарь по
теории графов и его Web-версия // Новые информационные технологии в университетском образовании. - Новосибирск, 1999. -С. 41- 43.- (Материалы V Международной конференции).
8.3. Гибадуллин А.З., Казанцев В.Е. WEB-версия толкового словаря по теории графов // Материалы XXXVII Международной научной студенческой конференции "Студент и научно-технический прогресс": Информатика. - Новосибирск, 1999.
12
СИМВОЛИЧЕСКИЙ МЕТОД ВЕРИФИКАЦИИ ФИНИТНОЙ ИТЕРАЦИИ
1. Автор научного результата:
Непомнящий В.А., зав.лабораторией, к.ф.-м.н., доцент
2. Ключевые слова: верификация, финитная итерация, символический метод, сложные
структуры данных
3. Основная позиция по рубрикатору ОИВТА РАН: 6.1.
4. Вторичная позиция по рубрикатору ОИВТА РАН: 6.2.
5. Характер результата: фундаментальный.
6. Краткое описание результата:
С целью упрощения верификации программных модулей разработан символический метод верификации финитной итерации над иерархическими структурами данных, который
объединяет преимущества аксиоматического и функционального методов. Выделены
случаи нефинитных итераций, к которым применим символический метод. Метод базируется на операции замены, которая выражает действие итерации в символической форме. Метод включает правило вывода условий корректности для финитной итерации, не
использующее инвариантов циклов, а также принципы индукции для доказательства
условий корректности, содержащих операцию замены. Исследовано применение символического метода для верификации программ над сложными структурами данных: массивами и файлами.
7. Сравнение с мировым уровнем:
Уровень достигнутых результатов соответствует мировому.
8. Важнейшие публикации:
8.1. Непомнящий В .А., Верификация финитной итерации над структурами данных // Кибернетика и системный анализ. - 1999. -N 3&-С. 25-37.
8.2. Nepomniaschy V.A. Symbolic verification method for definite iteration over data structures,
Information Processing Letters, Elsevier, v. 69, No 4, 1999, 207 -213.
8.3. Nepomniaschy V.A. Verification of definite iteration over hierarchical data structures, Proc. 2nd Intern. Conference on Fundamental Approaches to Software Engineering
(FASE/ETAPS'99), Amsterdam, Lecture Notes in Computer Sci„ 1577$ 1999, 176 - 187.
13
МОДЕЛИ И МЕТОДЫ СТАТИЧЕСКОГО АНАЛИЗА ПРОГРАММ
И ОЦЕНКИ ИХ КАЧЕСТВА
1. Авторы научного результата:
Поттосин И.В., зав.лабораторий, д.ф.-м.н., профессор
Шелехов В.И., с.н.с., к.т.н.
Черноножкин С.К., с.н.с., к.ф.- м.н.
Куксенко С.В., аспирант
2. Ключевые слова: статический анализ программ, оценка качества программ, оценка добротности программ, критерии тестируемости программ, тестовые наборы
3. Основная позиция по рубрикатору ОИВТА РАН: 6.2.
4. Вторичная позиция по рубрикатору ОИВТА РАН: 6.1.
5. Характер результата: фундаментальный.
6. Краткое описание результата:
Развиты модели и методы статического анализа программ и оценки их качества. Завершена разработка формальной оценки добротности программ в терминах пред- и постусловий и информационных влияний. Для ряда современных языков предложены
методы эффективного контекстно-чувствительного анализа с дифференциацией обязательных и возможных информационных связей и мультиинтервальной аппроксимацией
значений скалярных переменных. На основе этих методов разработан статический анализатор семантических ошибок и нарушений критериев добротности. Разработана формальная модель оценки покрытия критериев тестированности тестовыми наборами и
предложен новый критерий тестированности, учитывающий процедурный характер программ.
7. Сравнение с мировым уровнем:
Уровень достигнутых результатов соответствует мировому.
8. Важнейшие публикации:
8.1. Поттосин И.В. О критериях добротности программ// Системная информатика, Новосибирск, Наука, вып. 6, 1998, С. 90-122.
8.2. Поттосин И.В. Добротность программ и информационных потоков//0ткрытые системы,
1998, Т 6, С. 41-45.
8.3. Куксенко С.В., Шелехов В.И. Статический анализатор семантических ошибок периода
исполнения. "Программирование", 1998, N 6, - С.23-43.
8.4. А.В. Кауфман, С.В. Черноножкин Критерии тестирования и система оценки полноты
набора тестов. "Программирование", 1998, N б, - С.44-59.
8.5. Черноножкин С.К. Меры сложности программ. Обзор//Системная информатика 5 /Наука,
- Новосибирск, 1997. - 40с&
8.6. Shelekhov V.I., Kuksenko S.V. Data Flow Analysis of Java Programs in the Presence of
Exceptions // Proc. of the Third Symposium on Perspectives of System Informatics. Lecture
Notes in Computer Science, No. 1755, pages 385-391, 1999.
8.7. Static Analyser OSA. http://www.xds.ru/gsa/
8.8. Shelekhov V.I., Kuksenko S.V. On the Practical Static Checker of Semantic Run-time Errors. //
Proc. of the 6th Asia Pacific Software Engineerifg Conference APSEC'99, Bapan. 1999. Will
appear in IEEE Computer Society Press
8.9. S.V. Kuksenko and V.I. Shelekhov. Static Checker of Semantic Run-time Errors.
//Programming and Computer Software. 1999. (to appear)
14
ВВОДНЫЙ КУРС ПО ПРОГРАММИРОВАНИЮ
1. Авторы научного результата:
Касьянов В.Н. - г.н.с., зав.лабораторией, д.ф.-м.н., профессор
2. Ключевые слова: методы программирования, язык Паскаль, доказательное программирование, пошаговая разработка программ
3. Основная позиция по рубрикатору ОИВТА РАН: 6.1.
4. Вторичная позиция по рубрикатору ОИВТА РАН: 16.1.
5. Характер результата: фундаментальный.
6. Краткое описание результата:
Разработан вводный курс программирования на Паскале в заданиях и упражнениях. Курс
базируется на богатом опыте преподавания программирования на мехмате НГУ и содержит более 3000 индивидуальных задач, представленных в виде заданий и упражнений.
В основе курса лежат следующие методические и Технологические принципы: принцип
концентрического изложения материала, принцип обучения на подробно прокомментированных примерах, принцип доказательного программирования и принцип пошаговой разработки программ. Курс рассчитан на преподавателей и студентов вузов. Есть
положительный опыт применения курса при обучении программированию в школах с
углубленным изучением физико-математических дисциплин.
7. Сравнение с мировым уровнем:
Уровень достигнутых результатов соответствует мировому.
8. Важнейшие публикации:
8.1. Касьянов В.Н. Вводный курс программирования на Паскале в заданиях и упражнениях. Новосибирск, 1999. - Часть 1. - 160 С.
8.2. Касьянов В.Н. Вводный курс программирования на Паскале в заданиях и упражнениях. Новосибирск, 1999. - Часть 2. - 170 С.
8.3. Касьянов В.Н. Вводный курс программирования на Паскале в заданиях и упражнениях //
Применение новых технологий в образовании. - Троицк, 1999. - С. 249 -251.- (Материалы
Х Международной конференции).
8.4. Касьянов В.Н. Вводный курс программирования на Паскале в заданиях и упражнениях //
Новые информационные технологии в университетском образовании. - Новосибирск,
1999. -С. 96-97.- (Материалы V Международной конференции).
8.5. Касьянов В.Н. О базовом университетском образовании математиков по информатике и
программированию // Материалы Международной конференции "Выпускник НГУ и
научно - технический прогресс" - Новосибирск, 1999.- Часть 1. - С.107-108.
15
Конструкторско-технологического института
вычислительной техники
(КТИ ВТ)СО РАН
СИСТЕМА КОММЕРЧЕСКОГО УЧЕТА ПРИРОДНОГО ГАЗА
1. Авторы научного результата:
ГаркушаВ. В. - зав. лабораторией Мишнев А. С. - зав. сектором
Полумордвинов И. С. - вед. инженер-конструктор
2. Ключевые слова: газопровод, расход природного газа, автоматизация расчетов.
3. Основная позиция по рубрикатору ОИВТА ОАН:13.2.
4. Вторичная позиция по рубрикатору ОИВТА РАН: 13.3.
5. Характер результата: прикладной
6. Краткое описание результата:
Создана система по обслуживанию от одного до шести газопроводов одновременно для
автоматизированного измерения расхода и количества природного газа и расчета его
теплотворной способности по полному компонентному составу. Новизна разработки заключается в полной автоматизации всех расчетов с предоставлением информации в виде
таблиц, согласованных отчетных форм часовых и суточных значений расхода и параметров газа. Основой системы является разработанный ранее в КТИ ВТ вычислитель расчета
и энергии природного газа ВРЭПГ. Система применяется для коммерческих расчетов
между поставщиками и потребителями природного газа.
7. Сравнение с мировым уровнем:
Уровень достигнутых результатов соответствует мировому.
8. Важнейшие публикации:
16
ИССЛЕДОВАНИЕ ПРИНЦИПОВ ПОСТРОЕНИЯ И СОЗДАНИЕ
ЭКСПЕРИМЕНТАЛЬНОГО ОБРАЗЦА ВЫСОКОПРОИЗВОДИТЕЛЬНОГО
УСТРОЙСТВА ВВОДА ИЗОБРАЖЕНИЙ В ЭВМ ДЛЯ СИСТЕМ ИЗГОТОВЛЕНИЯ
ЦИФРОВЫХ ТОПОГРАФИЧЕСКИХ КАРТ
(шифр "Сканер")
1. Авторы научного результата:
Собстель Г. М. - директор Института, к.т.н.
Михальцов Э. Г. - зав. лабораторией, к.т.н.
КолодейВ. В. - зав. сектором
Петков А. П. - вед. инженер-программист
2. Ключевые слова: ввод изображений, фотоснимок, координаты объектов, оптические
плотности точек изображения.
3. Основная позиция по рубрикаторуОИВТА РАН: 13.2.
4. Вторичная позиция по рубрикатору ОИВТА РАН: 15.3.
5. Характер результата: прикладной
6. Краткое описание результата:
Создан экспериментальный образец устройства, обеспечивающий ввод полутоновых
изображений в ЭВМ с фотопленки размером ЗООхЗООмм.
• Ввод осуществляется "на просвет".
• Информация записывается на жесткий диск в темпе ввода и занимает 1,6 гбайт дискового пространства при вводе растром с апертурой 7,5 мкм.
• Точность определения координат объектов +-2мкм.
• Точность измерения оптических плотностей точек на вводимом фотоснимке в диапазоне O,1D-3D.
• Скорость ввода изображений – 1 Мбайт/сек.
7. Сравнение с мировым уровнем:
Уровень достигнутых результатов соответствует мировому.
8. Важнейшие публикации:
17
РАЗРАБОТКА НАУЧНЫХ ОСНОВ ДИАГНОСТИЧЕСКИХ И ЛЕЧЕБНЫХ
МЕТОДИК ДЛЯ ПУЛЬМОНОЛОГИИ НА БАЗЕ АППАРАТНО-ПРОГРАММНОГО
КОМПЛЕКСА "БОС С02"
1. Авторы научного результата:
Гришин О.В. - зав. лабораторией Института физиологии морфологии дыхания СО
РАМН, к.м.н.
Гришин В.Г. - зав. сектором
Зубков А.А. - инженер-программист Института молекулярной биологии и биофизики СО
РАМН
Красноборова М.В.- аспирантка Института молекулярной биологии и биофизики СО
РАМН
2. Ключевые слова: капнография, нарушение дыхания, диагностика, лечение
3. Основная позиция по рубрикатору ОИВТА РАН: 15.2.
4. Вторичная позиция по рубрикатору ОИВТА РАН: 15.5.
5. Характер результата: прикладной
6. Краткое описание результата:
Совместно с Институтом физиологии СО РАМН и Институтом медицинской и биологической кибернетики СО РАМН разработаны новые алгоритмы обработки цикла дыхания
с учетом возрастных групп с применением статистических алгоритмов для повышения
достоверности диагностических процедур.
Предложен комплект рекомендаций и методик по созданию компьютерных игр с использованием технологий биологической обратной связи с учетом психофизиологических
особенностей разных возрастных групп.
Подготовлены методические рекомендации, в которых изложены теоретические и практические основы применения технологий биологической обратной связи для диагностики и лечения нарушений дыхания.
По заказу Детской поликлиники №1 ЦКБ СО РАН изготовлен программно-аппаратный
комплекс «Control 002 Monitor» с программным пакетом «КАПНОГРАФИЯ» для диагностики и лечения заболевания системы дыхания у детей методами компьютерных игр.
7. Сравнение с мировым уровнем:
Уровень достигнутых результатов соответствует мировому.
8. Важнейшие публикации:
8.1. Гришин В.Г., Гришин О.В., Зубков А.А., Красноборова М.В. Клиническое применение
капнографии в биоуправлении для диагностики и лечения гипервентиляционного синдрома // Бюллетень Сибирского отделения РАМН.- 1999.- N 1(91).- С.55-59.
18
III.
Важнейшие законченные исследования и разработки, годные к практическому использованию.
Конструкторско-технологического института
вычислительной техники
(КТИ ВТ)СО РАН
1. Система коммерческого учета природного газа
Система обслуживает до шести газопроводов одновременно и предназначена для автоматизированного измерения расхода и количества природного газа и расчета его теплотворной способности по полному компонентному составу. Система включает в себя вычислитель расхода и энергии природного газа ВРЭПГ (разработка КТИ ВТ), хроматограф типа Btu 8100, ретранслятор и ПЭВМ со специализированным прикладным ПО.
Система применяется для коммерческих расчетов за природный газ между его поставщиками и потребителями и может использоваться в качестве одной из подсистем АСУ
ТП предприятия.
2. "Сканер"
Создан экспериментальный образец устройства ввода изображений в ЭВМ для
систем изготовления цифровых топографических карт. Ввод фотоснимка размером
300х300мм осуществляется "на просвет" со скоростью 1Мбайт/сек. Точность определения координат на вводимом фотоснимке +-2мкм, точность измерения оптических
плотностей точек изображения 0,1D-3D. Диапазон вводимых оптических плотностей
перекрывает все случаи, встречающиеся в практике фотометрических измерений для
целей цифровой картографии.
3. Система коммерческого учета теплоэнергоносителей (СКУТЭ)
СКУТЭ предназначена для контроля выдачи и потребления теплоэнергоносителей в открытых и замкнутых системах водяного и парового теплоснабжения. Система обеспечивает достоверной информацией многотарифные коммерческие расчеты между производителями и получателями тепловой энергии, контроль за соблюдением лимитов и графиков отпуска и потребления, определение и планирование потерь, диагностику систем
теплоснабжения, индивидуальный и групповой мониторинг расходов. СКУТЭ построена
в виде трехуровневой иерархической структуры:
 автоматизированное рабочее место;
 устройства сбора, накопления и передачи данных;
 датчики на объектах.
 СКУТЭ обеспечивает коммерческий и технический учет тепла и воды на Сургутской
ГРЭС.
4. Калибратор датчиков давления воздушный
Калибратор предназначен для измерения давления воздуха до 0,6 Мпа, поверки манометрических приборов класса точности 0,5 и грубее, измерения аналоговых электрических
сигналов от 0 до 20 мА, настройки параметров систем автоматики технологических линий. Калибратор датчиков давления состоит из измерителя давления и электрических
сигналов и ручного воздушного насоса с возможностью плавной регулировки избыточного давления и применяется в качестве средства контроля, измерения и настройки манометрических приборов, устанавливаемых в воздушных магистралях технологических
линий, и может быть использован в различных отраслях промышленности.
19
IV.
Основные итоги научно-организационной деятельности.
Института вычислительных технологий (ИВТ) СО РАН
За отчетный период проведено 9 заседаний Ученого совета, на которых обсуждались различные вопросы деятельности Института. Важнейшие из них: о мероприятиях, связанных с 275летием Российской академии наук; о выпуске монографий; о финансовом положении Института; об участии в конкурсе молодых ученых СО РАН; о структуре Института; об исследованиях, проводимых при поддержке РФФИ; о Совете молодых ученых Института; об итогах
научно-исследовательской и научно-организационной деятельности Института в отчетном
году. Кроме того, рассматривались различные кадровые вопросы.
В 1999 году в рамках " Вычислительные технологии-99" Институт провел следующие мероприятия:

Четвертое международное совещание по электронным публикациям (El-Pub-99)

V научную конференцию "Современные методы математического моделирования
природных и антропогенных катастроф"

XV Международное совещание по интервальной математике
С 21 по 23 апреля 1999 года в г. Новосибирске состоялось Четвертое международное совещание по электронным публикациям (El-Pub-99). В совещании приняло участие (непосредственное и виртуальное) 78 человек, представляющих научные и учебные организации
Новосибирска, Томска, Красноярска, Москвы, Санкт-Петербурга, Омска, Тюмени, Самары,
Екатеринбурга, Нижнего Новгорода, Барнаула, Иркутска, Снежинска, Чебоксар. Было сделано 56 докладов, из них 8 виртуальных.
Совещание было посвящено обсуждению технологий и доступного программного обеспечения для создания электронных версий научных, учебных, методических и библиографических публикаций в среде гипермедиа, а также проблемам разработки информационных систем и электронных библиотек, полнотекстовых баз данных, электронных журналов и систем
электронных коллекций в среде Internet, развитию и взаимосвязи важнейших способов представления (визуализации) научной информации.
Направления работы совещания:
1. Технологии подготовки электронных научных документов (текстовые процессоры и издательские системы).
2. Технологии создания библиографических и библиотечных систем в среде Internet.
3. Технологии создания информационных систем, полнотекстовых баз данных, электронных коллекций.
4. Защита информации в Информационных системах Internet.
С 17 по 20 августа 1999 г. в Академгородке Красноярского научного центра СО РАН под руководством академика Ю.И.Шокина состоялась V научная конференция "Современные
методы математического моделирования природных и антропогенных катастроф".
Конференцию проводили ИВТ СО РАН (г.Новосибирск) и ИВМ СО РАН (г.Красноярск) в
соответствии с Планом научных мероприятий РАН и СО РАН и решением предыдущего Совещания (Красноярск, 1997 г).
Председатель организационного комитета - директор ИВТ СО РАН академик РАН Шокин
Ю.И., зам. председателя - зам. директора по науке ИВМ СО РАН профессор Москвичёв В.В.,
ученый секретарь конференции - к.ф.-м.н. Молородов Ю.И..
20
Финансовую поддержку конференции оказал Российский фонд фундаментальных исследований – проект №99-01-10051.
В программу конференции были включены 88 докладов, представленных сотрудниками
научных центров и ВУЗов России, а также представителями Главного Управления ГОЧС
Красноярского края, Красноярского регионального отделения международной академии экологии и природопользования, Международного научного центра исследований экстремальных состояний организма при президиуме КНЦ СО РАН, Сибирского филиала Всероссийского НИИ противопожарной обороны МВД РФ.
В работе конференции приняло участие более 80 человек из 11 городов России, среди которых 1 академик, 2 члена-корреспондента РАН, 11 докторов наук и 13 кандидатов наук, 8 аспирантов и 5 магистрантов НГУ.
Тематика докладов отразила ряд устойчивых тенденций, сложившихся в практике научных
исследований в области катастрофических процессов.
Большинство докладов были посвящены вопросам применения методов математического
моделирования в указанной проблемной области как в теоретическом, так и в практическом
аспектах. При этом коллективы, имеющие значительный задел в решении задач экологического характера, представили результаты, связанные с построением и исследованиями новых
математических моделей и алгоритмов для комплексного моделирования физических процессов, а также конкретные программные системы, предназначенные для функционирования
в службах предупреждения катастроф.
Вместе с этим ряд докладов показал хорошие перспективы подключения к исследованиям в
области природных и антропогенных катастроф новых исследовательских групп, обладающих высокой квалификацией в решении задач гидро-газодинамики, владеющих мощным математическим, алгоритмическим и программным инструментарием.
В эти же дни с 17 по 20 августа 1999 г. в Академгородке Красноярского научного центра СО
РАН под руководством академика Ю.И.Шокина состоялось XV Международное совещание
по интервальной математике.
Конференцию проводили ИВТ СО РАН (г.Новосибирск) и ИВМ СО РАН (г.Красноярск) в
соответствии с Планом научных мероприятий РАН и СО РАН и решением предыдущего Совещания (Новосибирск, 1999 г).
Председатель организационного комитета – академик Ю.И. Шокин (Россия, Новосибирск)
Ученый секретарь– к.ф.-м.н. С.П. Шарый (Россия, Новосибирск)
На совещании было заслушано 13 научных докладов и решен ряд научно-организационных
вопросов. Общее количество участников составило 17 человек. География участников охватывала регион России от Москвы на западе до Иркутска и Красноярска на востоке, Барнаула
на юге. Научная программа совещания традиционно являлась весьма широкой по охвату тем
и направлений. Теоретические доклады представляли исследования по теории сложности интервальных вычислений и различным аспектам построения эффективных алгоритмов для
решения интервальных задач от линейных алгебраических систем до дифференциальных
уравнений. Большая доля докладов совещания была посвящена разнообразным и неуклонно
расширяющимся приложениям интервального анализа управлению техническими системами
в условиях интервальной неопределенности, программным системам выявления ошибок на
основе интервальной арифметики.
Институт является базовым для кафедр "`Математического моделирования" Новосибирского
государственного университета (зав. кафедрой – профессор В.М. Ковеня) и "Вычислительных технологий" Новосибирского государственного технического университета
(зав. кафедрой – академик Ю.И. Шокин). Осуществляется тесное сотрудничество, выполняются совместные научные проекты с кафедрой "Прикладной математики и кибернетики" Сибирской государственной академии телекоммуникаций и информатики (зав. кафедрой – про-
21
фессор Б.Я. Рябко), филиал которой организован при Объединенном Институте информатики СО РАН. Кроме того институт участвует в реализации ФЦП "Интеграця".
С 1996 года Институт вычислительных технологий выпускает в издательстве Сибирского
отделения Российской академии наук с периодичностью 6 номеров в год журнал "Вычислительные технологии''. В 1999 году выпущено 6 номеров журнала, а также специальный выпуск, посвященный 25-летию Института вычислительного моделирования СО РАН (г, Красноярск). Журнал печатает обзорные и оригинальные статьи по следующим разделам информатики и прикладной математики:
 математические модели сплошных сред;
 приближенные и аналитические методы исследования уравнений математической физики;
 интервальный анализ;
 пакеты и комплексы прикладных программ;
 компьютерные технологии (сети, базы данных и т.д.);
 электронные публикации.
Институт систем информатики им. А.П. Ершова (ИСИ) СО РАН
За отчетный период проведено 15 заседаний Ученого совета, на которых обсуждались различные вопросы деятельности Института. Важнейшие из них: о финансовом положении Института; о планах ред. подготовки на 2000 год; о планах проведения конференций; об итогах
годичного Общего собрания СО РАН и РАН; о подготовке основных задание к плану НИР на
2000 год; о важнейших результатах Института по итогам научной деятельности в 1999 году;
о работе аспирантуры Института. Кроме того, рассматривались различные кадровые вопросы.
В 1999 году с б по 9 июля Институт провел 3-ю Международную конференцию «Перспективы систем информатики», посвященную памяти академика А.П.Ершова. В конференции приняли участие 106 человек, из них 38 участников из зарубежных стран. На конференции было заслушано 7 приглашенных докладов, 27 регулярных и 17 коротких докладов.
Институт является базовым для кафедры программирования ММФ НГУ и кафедры систем
информатики Техфака НГУ. Ежегодно в Институте проходит практику порядка 80 студентов
ММФ и Техфака НГУ. Кроме того. Институт участвует в реализации ФЦП «Интеграция».
В 1999 году Институтом выпущено 2 бюллетеня по системной информатике, 1 сборник статей, 11 препринтов. В Мемориальной библиотеке А.П.Ершова ежемесячно проводятся выставки новой литературы.
В 1999 году изменений в структуре Института не было.
Конструкторско-технологического института
вычислительной техники
(КТИ ВТ)СО РАН
Краткая информация об участии в выставках.
Институт в 1999г. представил свои разработки на следующих выставках:
1. "Невостребованные возможности отечественной науки - России" (февраль 1999г.,
г.Москва);
2. Юбилейная выставка (июнь 1999г., г.Москва);
3. Выставка разработок институтов СО РАН в рамках заседания Совета Межрегиональной
ассоциации "Сибирское соглашение" (август 1999г., г.Томск);
22
4. "Новосибирск на рубеже XXIвека: перспективы развития и инвестиционные возможности" (сентябрь 1999г., "Сибирская ярмарка" г.Новосибирск);
5. "Энерго и ресурсосбережение: Новосибирск на рубеже веков" (октябрь 1999г., "Сибирская ярмарка" г.Новосибирск). Представленная на выставке "Система коммерческого
учета природного газа" награждена Малой золотой медалью "Сибирской ярмарки".
6. Выставка разработок институтов СО РАН в рамках заседания Совета Межрегиональной
ассоциации "Сибирское соглашение" (октябрь 1999г., г.Омск).
На выставках были представлены:
 Система коммерческого учета природного газа, награжденная Малой золотой медалью
"Сибирской ярмарки";
 Вычислитель расхода и энергии природного газа;
 "ПРИУС" - аппаратно-программный комплекс для построения АСУ ТП;
 АСУ ТП магистральных нефтепроводов Урайского УМН;
 АСУ ТП перекачки нефти и диспетчеризации электроснабжения;
 Автоматизированная система учета тепловой энергии.
Сведения о реализации разработок института на практике.
 Система СКУТЭ обеспечивает коммерческий и технический учет тепла и воды на Сургутской ГРЭС.
 По заказу Детской поликлиники №1 ЦКБ СО РАН изготовлен программно-аппаратный
комплекс «Control CO2 Monitor» с программным пакетом «КАПНОГРАФИЯ» для диагностики и лечения заболевания системы дыхания у детей методами компьютерных игр.
Деятельность коммерческих структур при КТИ ВТ СОРАН
Коммерческая структура при КТИ ВТ ЗАО СИБИАН осуществляет отбор и поставку
комплектующих изделий для выполнения хоздоговорных работ института.
Работа по совершенствованию деятельности и структуры института.
В 1999г. с целью оптимизации структуры Института был ликвидирован конструкторский отдел №11 автоматизации научных исследований.
23