Исследование физико-химических эффектов




Скачать 311.5 Kb.
НазваниеИсследование физико-химических эффектов
страница1/2
Дата11.01.2013
Размер311.5 Kb.
ТипИсследование
  1   2


Объединенный институт информатики
Сибирского отделения Российской академии наук
(ОИИ СО РАН)
в составе :

Института вычислительных технологий (ИВТ) СО РАН,

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

Конструкторско-технологического института
вычислительной техники


(КТИ ВТ)СО РАН


"Важнейшие результаты научной

и научно-организационной деятельности

Объединенного института информатики Сибирского отделения РАН

за 1999 год"


И.о. генерального директора Института
д.ф.-м.н. А.М. Федотов


10 декабря 1999 г.


  1. Основные итоги.


ДИНАМИЧЕСКАЯ СИСТЕМА ПУБЛИКАЦИЙ

Разработана технология создания распределенных электронных коллекций в среде Интернет, базирующаяся на созданной концепции динамической системы электронных документов, в основе которой лежит представление документа, содержащего информацию о конкретных фактах, в виде набора объектов со своими характеристиками и атрибутами (аналогично структурам в объектных языках программирования). (ИВТ СО РАН) (2.2.2)

ИССЛЕДОВАНИЯ ВЗАИМОДЕЙСТВИЯ ЛАЗЕРНЫХ ИМПУЛЬСОВ
С ПЛАЗМОЙ ДОКРИТИЧЕСКОЙ КОНЦЕНТРАЦИИ.

На основе созданного пакета прикладных программ, реализованного на мультипрoцессорном комплексе CRAY Т3Е, исследованы новые особенности динамики взаимодействия сверхкоротких лазерных импульсов с плазмой докритической концентрации: обнаружена генерация релятивистских электромагнитных солитонов, доказана возможность формирования вакуумного канала в плазме, генерация квазистатического магнитного поля и возбуждение сильных продольных электрических полей, позволяющих ускорять как электроны, так и ионы до релятивистских энергий. (ИВТ СО РАН) (2.2.2.)

ИССЛЕДОВАНИЕ ФИЗИКО-ХИМИЧЕСКИХ ЭФФЕКТОВ
В ТОНКОПЛЕНОЧНЫХ МАТЕРИАЛАХ

На основе математического моделирования травления пленок в плазме тетрафторида углерода показано, что для различных кинетических моделей имеет место значительное расхождение в скорости травления, являющейся основной характеристикой технологического процесса. Предложена феноменологическая модель эффекта Шварца-Хоры в тонких диэлектрических пленках, позволяющая дать объяснение основных характеристик явления, наблюдающихся в эксперименте. (ИВТ СО РАН) (2.2.2.)

РАЗРАБОТКА НОВОГО ПОКОЛЕНИЯ АЛГОРИТМИЧЕСКОГО И ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СИСТЕМЫ ПРЕДУПРЕЖДЕНИЯ О ЦУНАМИ.
СРЕДСТВА ПРОВЕДЕНИЯ СЦЕНАРНЫХ РАСЧЕТОВ ДИНАМИКИ
КАТАСТРОФИЧЕСКИХ ВОЛН ЦУНАМИ.

Выполнен анализ современных тенденций развития национальных и международных компонент Служб предупреждения о цунами. Сформулирована концепция развития отечественной системы предупреждения о цунами. (ИВТ СО РАН) (2.2.2.)

МЕТОД ЭКВИПОТЕНЦИАЛЕЙ В ЗАДАЧАХ НЕЛИНЕЙНОЙ ДИФФУЗИИ

Разработан метод эквипотенциальных кривых для исследования геометрических свойств нелинейных параболических уравнений. (ИВТ СО РАН) (1.1.3.)

ВНУТРЕННЕЕ ИНТЕРВАЛЬНОЕ ОЦЕНИВАНИЕ МНОЖЕСТВ РЕШЕНИЙ
НЕОТРИЦАТЕЛЬНЫХ ИНТЕРВАЛЬНЫХ ЛИНЕЙНЫХ СИСТЕМ

Для решения задачи внутреннего оценивания множеств решений интервальных линейных систем с неотрицательными матрицами предложен полиномиально сложный алгоритм, основанный на геометрическом свойстве "монотонности конфигурации" множеств решений. Предлагаемый подход позволяет получать максимальные по включению интервальные оценки и применим для внутреннего оценивания множеств решений интервальных линейных систем с прямоугольными (не обязательно квадратными) матрицами. (ИВТ СО РАН) (1.1.5.)

МНОГОЯЗЫКОВЫЙ КОМПЛЕКС СРЕДСТВ АНАЛИЗА ПРОГРАММ,
НАЦЕЛЕННЫХ НА РЕШЕНИЕ ПРОБЛЕМЫ 2000 ГОДА

Разработан многоязыковый комплекс средств анализа программ, нацеленных на решение проблемы 2000 года (ИСИ СО РАН) (2.2.8.)

ТОЛКОВЫЙ СЛОВАРЬ ПО ТЕОРИИ ГРАФОВ В ПРОГРАММИРОВАНИИ И
ИНФОРМАТИКЕ

Разработан толковый словарь по теории графов в программировании и информатике (ИСИ СО РАН) (2.2.1.)

СИМВОЛИЧЕСКИЙ МЕТОД ВЕРИФИКАЦИИ ФИНИТНОЙ ИТЕРАЦИИ

Разработан символический метод верификации финитной итерации над иерархическими структурами данных, объединяющий преимущества аксиоматического и функционального методов (ИСИ СО РАН) (2.2.1.)

МОДЕЛИ И МЕТОДЫ СТАТИЧЕСКОГО АНАЛИЗА ПРОГРАММ
И ОЦЕНКИ ИХ КАЧЕСТВА

Исследованы модели и методы статического анализа программ, оценки их качества и добротности. На основе этих методов разработан статический анализатор семантических ошибок и нарушений критериев добротности. (ИСИ СО РАН) (2.2.8.)

ВВОДНЫЙ КУРС ПО ПРОГРАММИРОВАНИЮ

Разработан вводный курс по программированию для университетов (ИСИ СО РАН) (2.2.1.)

СИСТЕМА КОММЕРЧЕСКОГО УЧЕТА ПРИРОДНОГО ГАЗА

Создана система по обслуживанию от одного до шести газопроводов одновременно для автоматизированного измерения расхода и количества природного газа и расчета его теплотворной способности по полному компонентному составу. (КТИ СО РАН) (2.2.3.)

ИССЛЕДОВАНИЕ ПРИНЦИПОВ ПОСТРОЕНИЯ И СОЗДАНИЕ
ЭКСПЕРИМЕНТАЛЬНОГО ОБРАЗЦА ВЫСОКОПРОИЗВОДИТЕЛЬНОГО УСТРОЙСТВА ВВОДА ИЗОБРАЖЕНИЙ В ЭВМ ДЛЯ СИСТЕМ ИЗГОТОВЛЕНИЯ ЦИФРОВЫХ ТОПОГРАФИЧЕСКИХ КАРТ
(шифр "Сканер")

Создан экспериментальный образец устройства, обеспечивающий ввод полутоновых изображений в ЭВМ с фотопленки размером 300х300мм. Скорость ввода – 1 Мбайт/сек. (КТИ СО РАН) (1.3.7.)

РАЗРАБОТКА НАУЧНЫХ ОСНОВ ДИАГНОСТИЧЕСКИХ И ЛЕЧЕБНЫХ
МЕТОДИК ДЛЯ ПУЛЬМОНОЛОГИИ НА БАЗЕ АППАРАТНО-ПРОГРАММНОГО
КОМПЛЕКСА "БОС С02"

Разработаны новые алгоритмы обработки цикла дыхания, предложен комплект рекомендаций и методик по созданию компьютерных игр с учетом особенностей возрастных групп для диагностики и лечения нарушений дыхания. Изготовлен программно-аппаратный комплекс для диагностики и лечения заболевания системы дыхания у детей методом компьютерных игр. (КТИ СО РАН) (2.2.5.)


  1. Важнейшие результаты исследований.


Институт вычислительных технологий (ИВТ) СО РАН


ДИНАМИЧЕСКАЯ СИСТЕМА ПУБЛИКАЦИЙ


  1. Авторы научного результата:
    Шокин Ю.И. - директор Института, академик;
    Федотов А.М. - зам. директора, д.ф.-м.н.
    Коропачинский И.Ю. - директор ЦСБС СО РАН, академик;
    Ермаков Н.Б. - с.н.с. ЦСБС СО РАН, к.б.н.
    Байков К. С. - с.н.с. ЦСБС СО РАН, к.б.н.
    Шумный В.К. - директор ИЦиГ СО РАН, академик;
    Колчанов Н.С. - зам. директора ИЦиГ СО РАН, д.б.н.

  2. Ключевые слова: Word Wide Web, Internet, сетевые технологии, телекоммуникации, информационные системы, Сибирское отделение РАН, электронные библиотеки.

  3. Основная позиция по рубрикатору ОИВТА РАН: 5.2.

  4. Вторичные позиции по рубрикатору ОИВТА РАН: 5.3.

  5. Характер результата: прикладной.

  6. Краткое описание результата:

Разработана технология создания распределенных электронных коллекций в среде Интернет, базирующаяся на созданной концепции динамической системы электронных документов, в основе которой лежит представление документа, содержащего информацию о конкретных фактах, в виде набора объектов со своими характеристиками и атрибутами (аналогично структурам в объектных языках программирования). Технология реализована на основе трехуровненевой модели представления данных и метаданных, поддерживаемая стандартами CORBA и применена при создании и поддержки информационных ресурсов Отделения, в том числе при создании полнотекстовых баз данных, электронных атласов и электронных коллекций Отделения в рамках программы "Электронная библиотека Сибирского отделения РАН".

  1. Сравнение с мировым уровнем:

Работа соответствует текущим мировым тенденциям в развитии информационных систем.

  1. Важнейшие публикации:

    1. 8.1. Шокин Ю.И., Федотов А.М. Электронная библиотека Сибирского отделения РАН // Доклад на Российско-британском семинаре "Электронные библиотеки" http://www.iis.ru/rbdlw99/ (Москва 18-20 июня 1999 года), http://www­sbras.nsc.ru/win/elbib/dl99.htrnl

    2. Шокин Ю.И., Федотов А.М. Информационные ресурсы Сибирского отделения РАН //Информационные ресурсы России. - 1999.

    3. Федотов А.М. и др. Базы данных электронного атласа "Биоразнообразие Сибири" //http://www-sbras.nsc.ru/win/elbib/atlas/

    4. Коропачинский И.Ю., Шокин Ю.И., Шумный В.К., Байков К. С., Ермаков Н.Б., Колчанов Н.А., Федотов А.М. Электронные публикации биологических данных // Электронные библиотеки: перспективные методы и технологии, электронные коллекции. - Труды конференции, РФФИ, СП6ГУ, РАН, 1999, -с 187-192.

    5. Федотов А.М. Электронная библиотека Сибирского отделения РАН. //http://www­sbras.nsc.ru/win/elbib/



ИССЛЕДОВАНИЯ ВЗАИМОДЕЙСТВИЯ ЛАЗЕРНЫХ ИМПУЛЬСОВ
С ПЛАЗМОЙ ДОКРИТИЧЕСКОЙ КОНЦЕНТРАЦИИ.



  1. Авторы научного результата:
    ДудниковаГ.И.. - зав.лабораторией, д.ф.-м.н.
    Вшивков В.А. - в.н.с., д.ф.-м.н.

  2. Ключевые слова: кинетическая модель, кильватерная волна, метод частиц.

  3. Основная позиция по рубрикатору ОИВТА РАН:2.4.

  4. Вторичные позиции по рубрикатору ОИВТА РАН: 1.3.

  5. Характер результата: фундаментальный.

  6. Краткое описание результата:

На основе созданного пакета прикладных программ, реализованного на мультипроцессорном комплексе CRAY ТЗЕ, исследованы новые особенности динамики взаимодействия сверхкоротких лазерных импульсов с плазмой докритической концентрации, когда интенсивность излучения достигает значений порядка 10 Вт/см. Обнаружена генерация релятивистских электромагнитных солитонов. Показано, что существенная часть энергии лазерного излучения трансформируется в энергию солитонов. Доказана возможность формирования вакуумного канала в плазме, генерация квазистатического магнитного поля и возбуждение сильных продольных электрических полей, позволяющих ускорять как электроны, так и ионы до релятивистских энергий. Полученные результаты имеют важное значение для теории и практики новых методов ускорения заряженных частиц и концепции быстрого поджига в лазерном термоядерном синтезе.

  1. Сравнение с мировым уровнем:

Уровень достигнутых результатов соответствует мировому.

  1. Важнейшие публикации.

    1. Буланов С.В., Вшивков В.А., Дудникова Г.И., Есиркепов Т.Ж., Калифано Ф., Каменец Ф.Ф., Лисейкина Т.В., Наумова Н.М., Регораро Ф. Взаимодействие лазерных импульсов петаваттной мощности с плазмой докритической концентрации // Физика плазмы.-1999. -Т. 25.-№9.-С 764­778.

    2. Есиркепов Т.Ж., Сентоку И., Мима К., Нишихара К., Калифано Ф., Пегораро Ф., Наумова Н.М., Буланов С.В., Уешима И., Лисейкина Т.В., Вшивков В.А., Като И. Ускорение ионов сверхмощным лазерным импульсом в плазме // Письма в ЖЭТФ.- 1999. - О. 70.- № 6. - С. 80-86.

    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.

    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.

    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.

    6. Liseikina Т.V., Califano F., Vshivkov V.A., Pegoraro F., Bulanov S.V. Small­scale electron density and magnetic-field structures in the wake of an ultraintense laser pulse // Physical Review E. - 1999. - Vol. 60.-N5.-P. 5991-5997.

    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.


ИССЛЕДОВАНИЕ ФИЗИКО-ХИМИЧЕСКИХ ЭФФЕКТОВ
В ТОНКОПЛЕНОЧНЫХ МАТЕРИАЛАХ


  1. Авторы научного результата:
    Шокин Ю.И. - директор ИВТ, академик
    Григорьев Ю.Н. - зав. лабораторией, д.ф.-м.н., профессор
    Мороков Ю.Н. - с.н.с., к.ф.-м.н.
    ГоробчукА.Г. - м.н.с.

  2. Ключевые слова: пленки, физико-химические модели, излучение.

  3. Основная позиция по рубрикатору ОИВТА РАН: 2.1.

  4. Вторичные позиции по рубрикатору ОИВТА РАН: 2.4.

  5. Характер результата: фундаментальный.

  6. Краткое описание результата.

Выполнено численное моделирование радиального плазмохимического реактора. Ис­следовался процесс травления пленки кремния в плазме тетрафторида углерода. Резуль­таты расчетов показали, что для разных кинетических моделей имеют место значитель­ные расхождения в значениях концентраций фтора и скорости травления образца.
Для рассмотрения основных эффектов, наблюдающихся при воздействии лазерного поля на электронный пучок в тонкой диэлектрической пленке, предложена феноменологиче­ская модель, позволившая объяснить наблюдающиеся в эксперименте и необъясненные ранее эффекты, такие как относительно большую интенсивность излучения Шварца­Хоры, линейную зависимость интенсивности излучения от электронного тока, началь­ную фазу и постоянство периода пространственных биений в интенсивности излучения.

  1. Сравнение с мировым уровнем:

Уровень достигнутых результатов соответствует мировому.

  1. Важнейшие публикации:

    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. 106-107.

    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.

    3. Grigoryev Yn.N., Gorobchuk A.G. Peculiarities of Si Films Etching in CF4 Parent Gas // Pro­ceedings of 22 International conference on microelectronics. "MIEL-99". -Yugoslavia. -1999. ­Vol. 1. -PP.289-292.

    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.

    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.


РАЗРАБОТКА НОВОГО ПОКОЛЕНИЯ АЛГОРИТМИЧЕСКОГО И ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СИСТЕМЫ ПРЕДУПРЕЖДЕНИЯ О ЦУНАМИ.

СРЕДСТВА ПРОВЕДЕНИЯ СЦЕНАРНЫХ РАСЧЕТОВ ДИНАМИКИ
КАТАСТРОФИЧЕСКИХ ВОЛН ЦУНАМИ.


  1. Авторы научного результата:
    Федотова, З.И. - ., с.н.с., к.ф.-м.н.
    Чубаров Л.Б. - зав. лабораторией, к.ф.-м.н., доцент,.

  2. Ключевые слова: математическое моделирование, катастрофические волны цунами, системы предупреждения о цунами.

  3. Основная позиция по рубрикатору ОИВТА РАН:2.1.

  4. Вторичные позиции по рубрикатору ОИВТА РАН: 15.1.

  5. Характер результата: прикладной.

  6. Краткое описание результата:

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

Для моделирования динамики наката волн цунами на берега сложных очертаний разработан конечно-разностный алгоритм на основе нелинейных уравнений мелкой воды, реализованный в виде комплекса программ.

Разработанные конечно-разностные алгоритмы решения задач о распространении и трансформации длинных волн применены к численному моделированию весьма сложных задач о динамике волн цунами в акватории Окушири (Okushiri).

  1. Сравнение с мировым уровнем:

Уровень достигнутых результатов соответствует мировому.

  1. Важнейшие публикации.

    1. Чубаров Л. Б. , Хакимзянов Г. С. , Федотова 3. И. , Симонов К. С. Отчет о научно­исследовательской работе по хоздоговору 16Н-99.151 стр.

    2. Федотова 3. И. , Чубаров Л. Б. , Шокин Ю. И. , Бо Эйнарссон. Сравнительный анализ нелинейно-дисперсионных приближенных моделей волновой гидродинамики. //(Отправлено в International Journal of Computational Fluid Mechanics)

    3. Шокин Ю.И., Чубаров Л.Б. Информационные технологии в решении актуальных проблем снижения ущерба от природных и антропогенных катастроф (принята к печати в журнале ЭКО, 1999, № 12)

    4. Федотова З.И. О расчетах динамики длинных волн при их выходе на неоднородный откос. // Современные методы математического моделирования природных и антропогенных катастроф, V научная конференция. Тезисы докладов. - Красноярск, ИВМ СО РАН, 1999.-С. 100-101.


МЕТОД ЭКВИПОТЕНЦИАЛЕЙ В ЗАДАЧАХ НЕЛИНЕЙНОЙ ДИФФУЗИИ

  1. Автор научного результата:
    Гребенев В.Н.-с.н.с., к.ф.-м.н.

  2. Ключевые слова: вырождающиеся нелинейные параболичские уравнения, вогнутость профиля решения, геометрические свойства решения, эквипотенциали.

  3. 3 Основная позиция по рубрикатору ОИВТА РАН:3.2.

  4. Вторичные позиции по рубрикатору ОИВТА РАН:3.1.

  5. Характер результата: фундаментальный.

  6. Краткое описание результата:

Проведено исследование геометрических свойств решений задачи Коши для вырождающихся нелинейных параболичских уравнений, частным случаем которых является уравнение фильтрации идеального изотропного газа. Изучена задача о сохранении формы (вогнутого) профиля начального распределения функции давления и формирование вогнутого профиля за конечное время. В случае общих начальных условий показано, что за конечный промежуток времени формируется вогнутый профиль функции давления. Этот подход не требует a priori знание точных решений и использование метода сравнения по пересечениям.

  1. Сравнение с мировым уровнем:
    Уровень полученных результатов соответствует мировому.

  2. Важнейшие публикации:

    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.

    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.


ВНУТРЕННЕЕ ИНТЕРВАЛЬНОЕ ОЦЕНИВАНИЕ МНОЖЕСТВ РЕШЕНИЙ

НЕОТРИЦАТЕЛЬНЫХ ИНТЕРВАЛЬНЫХ ЛИНЕЙНЫХ СИСТЕМ

  1. Автор научного результата:
    Шарый С.П. - с.н.с., к.ф.-м.н.

  2. Ключевые слова: Интервальная линейная система, неотрицательные матрицы, обобщенные множества решений, внутреннее интервальное оценивание.

  3. Основная позиция по рубрикатору ОИВТА РАН: 1.2.

  4. Вторичные позиции по рубрикатору ОИВТА РАН: 3.6.

  5. Характер результата: фундаментальный.

  6. Краткое описание результата:

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

  1. Сравнение с мировым уровнем:
    Результат находится на мировом уровне.


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


МНОГОЯЗЫКОВЫЙ КОМПЛЕКС СРЕДСТВ АНАЛИЗА ПРОГРАММ,
НАЦЕЛЕННЫХ НА РЕШЕНИЕ ПРОБЛЕМЫ 2000 ГОДА



  1. Авторы научного результата:
    Бульонков М.А., зав.лабораторией, к.ф.-м.н., доцент
    Курляндчик В .Я., инженер-программист

  2. Ключевые слова: анализ программ, визуализация программ, анимация выполнения программ, информационные зависимости, структурные зависимости

  3. Основная позиция по рубрикатору ОИВТА РАН: 6.2.

  4. Вторичная позиция по рубрикатору ОИВТА РАН: 6.1. 5.

  5. Характер результата: фундаментальный.

  6. Краткое описание результата:

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

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

  1. Сравнение с мировым уровнем:
    Уровень достигнутых результатов соответствует мировому.

  2. Важнейшие публикации:


ТОЛКОВЫЙ СЛОВАРЬ ПО ТЕОРИИ ГРАФОВ В ПРОГРАММИРОВАНИИ И

ИНФОРМАТИКЕ


  1. Авторы научного результата:
    Касьянов В.Н. - г.н.с., зав.лабораторией, д.ф.-м.н., профессор,
    Евстигнеев В.А. - г.н.с., д.ф.-м.н., профессор,
    Казанцев В.Е. - программист, Гибадуллин А.З. - магистрант.

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

  3. Основная позиция по рубрикатору ОИВТА РАН: 6.1.

  4. Вторичная позиция по рубрикатору ОИВТА РАН: 16.1.

  5. Характер результата: фундаментальный.

  6. Краткое описание результата:

Современное состояние информатики и программирования нельзя представить себе без применения теоретико-графовых методов. Впервые выпущен в свет толковый словарь по теории графов. В нем собрано свыше 1700 наиболее употребительных терминов по теории графов и ее приложениям в информатике и программировании. Статьи словаря снабжены иллюстрациями, перекрестными ссылками и ссылками на доступную литературу.

Наличие английских эквивалентов терминов позволяет использовать словарь при переводе с русского на английский и обратно.

Словарь предназначен для широкого круга специалистов, использующих методы теории графов при решении своих задач, и в первую очередь для системных и прикладных программистов, а также для специалистов по САПР, конструкторов СБИС и просто для всех тех, кто работает с современной технической литературой или готовится стать квалифицированным специалистом, проходя вузовский курс обучения. Подготовлена начальная электронная версия словаря, ориентированная на работу в среде Интернет и доступная по адресу
  1   2

Похожие:

Исследование физико-химических эффектов iconИсследование физико-химических процессов, протекающих
Вика – Тв органопластиков. Показано, что физико-химические процессы, протекающие на границе раздела фаз полимерная матрица – волокнистый...
Исследование физико-химических эффектов iconРешение вопроса сохранения летучих кометного происхождения в полярных регионах Луны
Целью настоящей работы является исследование физико-химических процессов при столкновении комет с телами Солнечной системы
Исследование физико-химических эффектов iconИсследование галактози
В. П. Юстратов, доктор химических химических и антиоксидантных показателей четырех видов овощей
Исследование физико-химических эффектов iconПовышение контрастности физико-химических и флотационных свойств пирротина и пентландита на основе использования электромагнитного импульсного воздействия
Повышение контрастности физико-химических и флотационных свойств пирротина и пентландита
Исследование физико-химических эффектов iconИсследование течений многофазных сред в том числе с наличием физико-химических превращений является актуальной научно-технической задачей.
Разработана установка для создания микропузырьковой среды и исследования распространения звуковых волн в ней. Создан акустический...
Исследование физико-химических эффектов iconИсследование течений многофазных сред в том числе с наличием физико-химических превращений является актуальной научно-технической задачей.
Разработана установка для создания микропузырьковой среды и исследования распространения звуковых волн в ней. Создан акустический...
Исследование физико-химических эффектов iconОсновные деления 501 Общие вопросы физико-математических и химических наук
Многие естественные науки, в отличие от гуманитарных, имеют общепризнанные традиционные классификации. В качестве примера можно привести...
Исследование физико-химических эффектов iconОсновные направления изучения эффектов межгруппового восприятия «Вопросы психологии». 2002, №3. Стр. 132-145
В течение нескольких последующих десятилетий изучение этих эффектов сводилось, в основном, к констатации их наличия. Интенсивное...
Исследование физико-химических эффектов iconПриборы для измерения основных электрических величин
Уровень исследований и ценность получаемых результатов непосредственно связаны с правильностью выбора и применением комплекса современных...
Исследование физико-химических эффектов iconПолучение коптильных препаратов методом Мокрого окисления биомассы дерева
Развитие и совершенствование бездымных способов копчения и широкое внедрение их в промышленность возможно лишь при понимании сущности...
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib.znate.ru 2014
обратиться к администрации
Библиотека
Главная страница