Исследование физико-химических эффектов
Скачать 311.5 Kb.
|
1 2
Объединенный институт информатики Сибирского отделения Российской академии наук (ОИИ СО РАН) в составе : Института вычислительных технологий (ИВТ) СО РАН, Института систем информатики им. А.П. Ершова (ИСИ) СО РАН, Конструкторско-технологического института вычислительной техники (КТИ ВТ)СО РАН "Важнейшие результаты научной и научно-организационной деятельности Объединенного института информатики Сибирского отделения РАН за 1999 год" И.о. генерального директора Института д.ф.-м.н. А.М. Федотов 10 декабря 1999 г.
ДИНАМИЧЕСКАЯ СИСТЕМА ПУБЛИКАЦИЙ Разработана технология создания распределенных электронных коллекций в среде Интернет, базирующаяся на созданной концепции динамической системы электронных документов, в основе которой лежит представление документа, содержащего информацию о конкретных фактах, в виде набора объектов со своими характеристиками и атрибутами (аналогично структурам в объектных языках программирования). (ИВТ СО РАН) (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.)
Институт вычислительных технологий (ИВТ) СО РАН ДИНАМИЧЕСКАЯ СИСТЕМА ПУБЛИКАЦИЙ
Разработана технология создания распределенных электронных коллекций в среде Интернет, базирующаяся на созданной концепции динамической системы электронных документов, в основе которой лежит представление документа, содержащего информацию о конкретных фактах, в виде набора объектов со своими характеристиками и атрибутами (аналогично структурам в объектных языках программирования). Технология реализована на основе трехуровненевой модели представления данных и метаданных, поддерживаемая стандартами CORBA и применена при создании и поддержки информационных ресурсов Отделения, в том числе при создании полнотекстовых баз данных, электронных атласов и электронных коллекций Отделения в рамках программы "Электронная библиотека Сибирского отделения РАН".
Работа соответствует текущим мировым тенденциям в развитии информационных систем.
ИССЛЕДОВАНИЯ ВЗАИМОДЕЙСТВИЯ ЛАЗЕРНЫХ ИМПУЛЬСОВ С ПЛАЗМОЙ ДОКРИТИЧЕСКОЙ КОНЦЕНТРАЦИИ.
На основе созданного пакета прикладных программ, реализованного на мультипроцессорном комплексе CRAY ТЗЕ, исследованы новые особенности динамики взаимодействия сверхкоротких лазерных импульсов с плазмой докритической концентрации, когда интенсивность излучения достигает значений порядка 10 Вт/см. Обнаружена генерация релятивистских электромагнитных солитонов. Показано, что существенная часть энергии лазерного излучения трансформируется в энергию солитонов. Доказана возможность формирования вакуумного канала в плазме, генерация квазистатического магнитного поля и возбуждение сильных продольных электрических полей, позволяющих ускорять как электроны, так и ионы до релятивистских энергий. Полученные результаты имеют важное значение для теории и практики новых методов ускорения заряженных частиц и концепции быстрого поджига в лазерном термоядерном синтезе.
Уровень достигнутых результатов соответствует мировому.
ИССЛЕДОВАНИЕ ФИЗИКО-ХИМИЧЕСКИХ ЭФФЕКТОВ В ТОНКОПЛЕНОЧНЫХ МАТЕРИАЛАХ
Выполнено численное моделирование радиального плазмохимического реактора. Исследовался процесс травления пленки кремния в плазме тетрафторида углерода. Результаты расчетов показали, что для разных кинетических моделей имеют место значительные расхождения в значениях концентраций фтора и скорости травления образца. Для рассмотрения основных эффектов, наблюдающихся при воздействии лазерного поля на электронный пучок в тонкой диэлектрической пленке, предложена феноменологическая модель, позволившая объяснить наблюдающиеся в эксперименте и необъясненные ранее эффекты, такие как относительно большую интенсивность излучения ШварцаХоры, линейную зависимость интенсивности излучения от электронного тока, начальную фазу и постоянство периода пространственных биений в интенсивности излучения.
Уровень достигнутых результатов соответствует мировому.
РАЗРАБОТКА НОВОГО ПОКОЛЕНИЯ АЛГОРИТМИЧЕСКОГО И ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СИСТЕМЫ ПРЕДУПРЕЖДЕНИЯ О ЦУНАМИ. СРЕДСТВА ПРОВЕДЕНИЯ СЦЕНАРНЫХ РАСЧЕТОВ ДИНАМИКИ КАТАСТРОФИЧЕСКИХ ВОЛН ЦУНАМИ.
Выполнен анализ современных тенденций развития национальных и международных компонент Служб предупреждения о цунами, на основе которого сформулирована концепция развития отечественной системы предупреждения о цунами, предложена ее иерархическая структура, указан перечень основных задач, решаемых на каждом уровне. Показана роль средств математического моделирования при вычислении параметров аномальных волновых режимов катастрофического характера Для моделирования динамики наката волн цунами на берега сложных очертаний разработан конечно-разностный алгоритм на основе нелинейных уравнений мелкой воды, реализованный в виде комплекса программ. Разработанные конечно-разностные алгоритмы решения задач о распространении и трансформации длинных волн применены к численному моделированию весьма сложных задач о динамике волн цунами в акватории Окушири (Okushiri).
Уровень достигнутых результатов соответствует мировому.
МЕТОД ЭКВИПОТЕНЦИАЛЕЙ В ЗАДАЧАХ НЕЛИНЕЙНОЙ ДИФФУЗИИ
Проведено исследование геометрических свойств решений задачи Коши для вырождающихся нелинейных параболичских уравнений, частным случаем которых является уравнение фильтрации идеального изотропного газа. Изучена задача о сохранении формы (вогнутого) профиля начального распределения функции давления и формирование вогнутого профиля за конечное время. В случае общих начальных условий показано, что за конечный промежуток времени формируется вогнутый профиль функции давления. Этот подход не требует a priori знание точных решений и использование метода сравнения по пересечениям.
ВНУТРЕННЕЕ ИНТЕРВАЛЬНОЕ ОЦЕНИВАНИЕ МНОЖЕСТВ РЕШЕНИЙ НЕОТРИЦАТЕЛЬНЫХ ИНТЕРВАЛЬНЫХ ЛИНЕЙНЫХ СИСТЕМ
Для решения задачи внутреннего оценивания множеств решений интервальных линейных систем с неотрицательными матрицами предложен полиномиально сложный алгоритм, основанный на геометрическом свойстве "монотонности конфигурации" множеств решений. Предлагаемый подход позволяет получать максимальные по включению интервальные оценки и применим для внутреннего оценивания множеств решений интервальных линейных систем с прямоугольными (не обязательно квадратными) матрицами.
Института систем информатики им. А.П. Ершова (ИСИ) СО РАН МНОГОЯЗЫКОВЫЙ КОМПЛЕКС СРЕДСТВ АНАЛИЗА ПРОГРАММ, НАЦЕЛЕННЫХ НА РЕШЕНИЕ ПРОБЛЕМЫ 2000 ГОДА
Разработана архитектура системы визуализации программ HyperCode. Архитектура системы допускает расширение и адаптацию системы как к различным языкам программирования, так и к номенклатуре представляемой информации. Система предусматривает средства подключения новых визуализирующих компонент, например, анимацию выполнения программ и представление программ в графическом виде с разной степенью детализации. Система доведена до уровня программного продукта, позволяющего обрабатывать реальные программы большого размера и представлять результаты анализа в среде Интернет. Разработанные средства были использованы для построения инструментов диагностики проблемы 2000 года. В частности, получила широкое распространение и была применена на практике настраиваемая, языково-независимая система Scan2K, которая позволяет выявлять фрагменты программ, представляющие потенциальную опасность с точки зрения манипулирования датами, и прослеживать информационные и структурные зависимости от таких фрагментов.
ТОЛКОВЫЙ СЛОВАРЬ ПО ТЕОРИИ ГРАФОВ В ПРОГРАММИРОВАНИИ И ИНФОРМАТИКЕ
Современное состояние информатики и программирования нельзя представить себе без применения теоретико-графовых методов. Впервые выпущен в свет толковый словарь по теории графов. В нем собрано свыше 1700 наиболее употребительных терминов по теории графов и ее приложениям в информатике и программировании. Статьи словаря снабжены иллюстрациями, перекрестными ссылками и ссылками на доступную литературу. Наличие английских эквивалентов терминов позволяет использовать словарь при переводе с русского на английский и обратно. Словарь предназначен для широкого круга специалистов, использующих методы теории графов при решении своих задач, и в первую очередь для системных и прикладных программистов, а также для специалистов по САПР, конструкторов СБИС и просто для всех тех, кто работает с современной технической литературой или готовится стать квалифицированным специалистом, проходя вузовский курс обучения. Подготовлена начальная электронная версия словаря, ориентированная на работу в среде Интернет и доступная по адресу |
1 2
Похожие:
 | Исследование физико-химических процессов, протекающих Вика – Тв органопластиков. Показано, что физико-химические процессы, протекающие на границе раздела фаз полимерная матрица – волокнистый... | | Решение вопроса сохранения летучих кометного происхождения в полярных регионах Луны Целью настоящей работы является исследование физико-химических процессов при столкновении комет с телами Солнечной системы |
 | Исследование галактози В. П. Юстратов, доктор химических химических и антиоксидантных показателей четырех видов овощей | | Повышение контрастности физико-химических и флотационных свойств пирротина и пентландита на основе использования электромагнитного импульсного воздействия Повышение контрастности физико-химических и флотационных свойств пирротина и пентландита |
| Исследование течений многофазных сред в том числе с наличием физико-химических превращений является актуальной научно-технической задачей. Разработана установка для создания микропузырьковой среды и исследования распространения звуковых волн в ней. Создан акустический... | | Исследование течений многофазных сред в том числе с наличием физико-химических превращений является актуальной научно-технической задачей. Разработана установка для создания микропузырьковой среды и исследования распространения звуковых волн в ней. Создан акустический... |
 | Основные деления 501 Общие вопросы физико-математических и химических наук Многие естественные науки, в отличие от гуманитарных, имеют общепризнанные традиционные классификации. В качестве примера можно привести... | | Основные направления изучения эффектов межгруппового восприятия «Вопросы психологии». 2002, №3. Стр. 132-145 В течение нескольких последующих десятилетий изучение этих эффектов сводилось, в основном, к констатации их наличия. Интенсивное... |
| Приборы для измерения основных электрических величин Уровень исследований и ценность получаемых результатов непосредственно связаны с правильностью выбора и применением комплекса современных... | | Получение коптильных препаратов методом Мокрого окисления биомассы дерева Развитие и совершенствование бездымных способов копчения и широкое внедрение их в промышленность возможно лишь при понимании сущности... |