Научно-исследовательский проект РФФИ-INTAS (95-IN/RU-1149) "Вихревые течения в энергетических и химических установках".
Научные руководители: H.I.Andersson (Норвегия), С.В.Алексеенко (ИТФ СО РАН, Россия), J.Legrand (Франция), С.Г.Черный (ИВТ СО РАН, Россия)

С помощью разработанного эффективного численного метода решения пространственных стационарных и нестационарных задач несжимаемой жидкости исследовано влияние параметров потока (потоковой составляющей скорости, перепада давления) и математических моделей (невязкая, вязкая) на положение зоны распада вихря. На основе проведенных численных экспериментов имеющаяся элементарная теория распада вихря дополнена уравнением для учета перепада давления между состояниями до и после распада. На рис. 25 приведена характерная картина течения, численно моделируемого в вихревой камере квадратного сечения, в плоскости, расположенной на уровне тангенциальных завихрителей (установлены в углах камеры). Численно изучены вихревые условия, благоприятствующие распаду вихря, а также определена структура распада, возникающего в замкнутой цилиндрической камере с вращающимся с постоянной скоростью нижним торцом (рис. 26).

Рис. 25. Картина течения в плоскости, расположенной на уровне тангенциальных завихрителей.

Рис. 26. Распад вихря в цилиндрической камере с вращающимся нижним торцом.

Окулов В.Л., Шаров С.В. Влияние градиента давления на распад вихря в трубах / Тезисы докладов III Сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-98). 22-27 июня, 1998. –Новосибирск. –С.113.

Научно-исследовательский проект РФФИ-ИНТАС (95-IN/RU-0378 "Методы и средства верификации и анализа распределенных систем".
Научные руководители проекта – Ph. Jorrand (Франция), В.А. Непомнящий. (ИСИ СО РАН, Россия)

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

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

Для временных сетей Петри разработан композициональный подход к проверке эквивалентности посредством введения операции временной детализации. Установлено, какие эквивалентности сохраняются при этой операции, что позволяет использовать их в нисходящей разработке распределенных систем.

Разработана новая версия Elementary-REAL – языка спецификаций распределенных систем REAL, который базируется на языке спецификаций SDL и логике ветвящегося времени CTL. Для языка спецификаций Elementary-REAL описана формальная семантика, доказана теорема об отсутствии конкурентного доступа к каналам и предложен метод верификации, который комбинирует метод проверки моделей и принципы индуктивного доказательства. С помощью этого метода доказаны свойства прогресса для Elementary-REAL–спецификаций некоторых коммуникационных протоколов с бесконечным числом состояний.

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

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

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 // Proc. Intern. Conf. on Parallel Computing in Electrical Engineering (PARELEC'98). – Poland, Techn. Univ. of Bialystok, 1998. – P.141–146.

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 // Proc. 1-st Intern. Workshop on the Formal Description Technique Estelle. – France, 1998. – P. 101–109.

Pokozy E.A. Towards behaviour analysis of parametric time Petri nets // Ibid. – P.518–519.

Virbitskaite I.B., Pokozy E.A. A partial order algorithm for verifying time Petri nets // Proc. Intern. Workshop on Discrete Event Systems (WODES'98), 1998, Cagliari, Italy.– London: The IEE Publisher, 1998. – P. 514–517.

Проект INTAS "Исследование процессов излучения и устойчивости плазмы, сжимаемой магнитным полем, спектроскопическими и лазерными методами" (INTAS-96-0456).
Руководитель: профессор Х.-И. Кунце (Германия).
Ответственный исполнитель от ИВТ СО РАН - к.ф.-м.н. В.П. Жуков
Участник от ИВТ СО РАН: д.ф.-м.н. Г.И. Дудникова

Созданы физико-математические модели течения плазмы в конфигурациях, содержащих нулевую линию магнитного поля. Исследованы процессы развития тиринг-неустойчивости в рамках МГД модели с учетом эффекта Холла.

Проект INTAS (97-0347). "Обменные спиновые взаимодействия в системе локализованных тождественных фермионов. Вигнеровская кристаллизация локализованных электронов в диэлектриках и твердом 3He".
Научные руководители проекта: профессор M. Roger (Франция),
д.ф.-м.н. В.А. Гриценко (ИФП СО РАН, Россия).

Проведено квантовомеханическое изучение локализации электронов на локальных деффектах типа Si-Si связи и двухкоординированного атома азота в нитриде и оксинитриде кремния. Изучена спиновая поляризация разных зарядовых состояний Si-Si связи в зависимости от ее длины.

Проект INTAS (IA–03)"Развитие информационных сетей математического направления в Новых Независимых Государствах" – (Euromath Network and Services for the New Independent States, Phase II – EmNet/NIS/II)
Руководители проекта: академик Ю.И. Шокин (ИВТ СО РАН, Россия),
профессор Flemming Topsoe (Дания)
Технический координатор по Сибири и Дальнему Востоку – д.ф.-м.н., профессор А.М.Федотов (ИВТ СО РАН, Россия),.

Цели, которые ставит перед собой проект EmNet (Euromath Network and Services), связаны с обеспечением совместных работ и открытого обмена идеями исследователей в области математики по средством современной вычислительной техники и сетевой технологии проведения работ. Сеть EmNet/NIS (Euromath Network and Services for the New Independent States) является частью ЕmNet и призван помочь в решении информационных и коммуникационных проблем возникающих у математиков, работающих в математических организациях на территории бывшего Советского Союза.

В рамках проекта созданы и поддерживаются на WWW сервере СО РАН информационный сервер проекта, информационная ситема "Математика на страницах WWW", кампусная версися пакета Maple V и ведутся работы по установки сетевой версии издательской системы TeX.

Грант Американского фонда CRDF (Civilian Research Development Foundation).
Научные руководители: д.ф.-м.н. Пинчуков В.И. (ИВТ СО РАН, Россия),
профессор Shu Chi-Wang (США).

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

Научно - исследовательский проект (3399/96/UDR-FORU-PER) "Нелинейная динамика релятивистской плазмы".
Научные руководительи проекта: профессор F.Pegoraro (Италия), д.ф.-м.н. Дудникова Г.И. (ИВТ СО РАН, Россия)

В период с 04.01.98 по 1.04.98 аспирантка Т.В.Лисейкина, находясь в Высшей Нормальной Школе г. Пиза (Италия), приняла участие в работе по программе совместных научных исследований Нелинейная динамика релятивистской плазмы.

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

Жуков В.П., Дудникова Г.И. Влияние вязкости на токовые слои возникающие при распространении альвеновского импульса в гиперболическом магнитном поле // ПМТФ. –1998. (принята в печать).

Жуков В.П., Дудникова Г.И.,Фукс Г. Поведение плотности и полного давления в процессе вынужденного и спонтанного пересоединения // ПМТФ. –1998. (принята в печать).

Жуков В.П., Фукс Г. Влияние эффекта Холла на процесс пересоединения в винтовой геометрии // Физика плазмы. –1998. –т. 24. – N 11. -C. 1996-2002.

Жуков В.П., Фукс Г. Влияние эффекта Холла на сжимаемость плазмы в сильном тороидальном магнитном поле // ПМТФ. –1998. –т.39. –№ 2. –С.3-9.

Жуков В.П., Фукс Г. О приближении несжимаемости в магнитной гидродинамике // МЖГ. –1998. (принята в печать).

Научно-исследовательский проект "Theoretical studies of large-scale atmospheric dynamics".
Научный руководитель проекта – профессор T. Sheperd (Canada),
Исполнитель – к.ф.-м.н. С.Б Медведев (ИВТ СО РАН, Россия)

С 1.01. 1998 г. по 8.06. 1998 г. к.ф.-м.н. С.Б Медведев, находясь в университете г. Торонто (Канада), принял участие в работе по программе совместных научных исследований "Теоретическое исследование крупномасштабной атмосферной динамики".

В течение этого времени к.ф.-м.н. С.Б Медведев принял участие в работе конференции по гидродинамике окружающей среды (Балтимор, США, 1.04.98-4.04.98) и в работе Ассамблеи Европейского геофизического общества (Ницца, Франция, 20.04.98-24.04.98).

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

Проект (98-06) Приближенное удовлетворение ограничениям,
моделирование параллельных систем и приложения.
Научные руководители — профессор Ф. Бенамо (Франция),
д.ф.-м.н., профессор Т.М. Яхно (ИСИ СО РАН, Россия).

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

В 1998 г. создана первая версия библиотеки Конечные множества, предназначенной для решения в системе логического программирования ECLⁱPS^e теоретико-множественных соотношений, связывающих переменные, константы и конечные экстенсиональные множества.

Yakhno T., Petrov E. New facilities of constraint logic programming // Joint Bulletin of NCC&IIS, Special issue. – NCC Publiher. Novosibirsk. (готовится к печати).

Научно-исследовательский проект Распространение системы обучения системному проектированию и создание соответствующих информационных центров в странах Восточной Европы и СНГ по программе ИНКО–Коперникус.
INCO Copernicus Project № 969170.

Проект финансируется из фонда "Наука, Исследования, Развитие" Европейского Сообщества.

Зарубежный партнер – German National Research Centre for Information Technology, Institute for System Design Technology, De 53754 St. Augustin

Цель проекта – продвижение технологии СБИС-проектирования в сибирский регион и создание для этого соответствующего центра компетенции СБИС-технологии.

Результаты работы 1998 года:

• создан центр компетенции СБИС-технологии;
• установлены и освоены пакеты САПР Alliance и Magic в ряде научно-исследовательских учреждений, а также учебных заведений г. Новосибирска;
• проведены консультации специалистов ряда научных учреждений и учебных заведений;
• организован учебный курс по языку моделирования VHDL для студентов НГУ;
• спроектирован ряд СБИС кристаллов различных электронных устройств.

Доктор технических наук, профессор А.Д. Рычков в период с 12 июня по 10 июля 1998 года принял участие в совместной работе по гранту в Институте химической технологии (г. Пфинцталь, Германия).

Грант NATO/CCMS для участия в работе Международной конференции.

Доктор физико-математических наук, профессор Г.С. Ривин в период с 28 сентября по 2 октября 1998 года принял участие в работе 23 Международной конференции NATO/CCMS по моделированию загрязнения воздуха и его приложениям (г. Варна, Болгария) и выступил с докладом "Обратные траектории для пассивных примесей" (авторы: Е.Г. Климова, Г.С. Ривин).

Грант ISSEP (97D-319). "Соросовский доцент".
Обладатель гранта – к.ф.-м.н., доцент Л.Б. Чубаров.

Грант ISSEP (98D-1009). "Соросовский доцент".
Обладатель гранта – к.ф.-м.н. Ю.Н. Мороков.

Читается курс Общей физики для студентов 1-го и 2-го курса Высшего коледжа информатики НГУ. Подготовлена 1-я часть сборника задач по физике для студентов ВКИ НГУ.

Грант ISSEP (98А-204). "Соросовский аспирант".
Обладатель гранта – аспирант Н.Ю. Шокина.

В оглавление

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

© 1999 Institute of Computational Technologies SB RAS, Novosibirsk
    Last update: Tuesday, 01-Jun-1999 17:29:00 NOVST