60
КАЗАНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ОТЧЕТ о научной работе факультета Вычислительной Математики и Кибернетики (ВМК) за 2005 год

КАЗАНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТold.kpfu.ru/f9/bin_files/2005!210.doc · Web view3. Учебники и учебные пособия (а также,

  • Upload
    others

  • View
    39

  • Download
    0

Embed Size (px)

Citation preview

КАЗАНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

ОТЧЕТ о научной работе

факультета Вычислительной Математики и Кибернетики

(ВМК)

за 2005 год

Отчет о научной работе факультета ВМК КГУ за 2004 г. 2

Содержание

1. Сведения о наиболее значимых научных результатах НИР 3

2. Дополнительная информация 22

3. Список публикаций 26

Отчет о научной работе факультета ВМК КГУ за 2004 г. 3

I . Сведения о наиболее значимых научных результатах НИР

I-11. Наименование результата: Нижняя оценка сложности квантовых коммуникационных вычислений2. Результат научных исследований и разработок (выбрать один из п. 2.1 или п. 2.2)2.1. Результат фундаментальных научных исследований

2.2. Результат прикладных научных исследований и экспериментальных разработок

- теория Х - методика, алгоритм- метод - технология- гипотеза - устройство, установка, прибор, механизм- другое (расшифровать): - вещество, материал, продуктМодель - штаммы микроорганизмов, культуры клеток

- система (управления, регулирования, контроля, проектирования, информационная)- программное средство, база данных- другое (расшифровать):

3. Коды ГРНТИ: 27.47.004. Назначение: Полученный результат будет использоваться в дальнейшей работе по развитию теории квантовых вычислений, а также в курсе лекций по теории сложности, теории автоматов, теории коммуникационных вычислений.5. Описание, характеристики: Исследована модель квантовых коммуникационных вычислений. Доказана нижняя оценка сложности для одностороннего квантового коммуникационного вычисления булевых функций. В качестве приложений доказанной нижней оценки установлены нижние оценки сложности представления почти всех булевых функций в квантовых ветвящихся программах; получены экспоненциальные нижние оценки сложности представления ряда известных функций в квантовых OBDD. 6. Преимущества перед известными аналогами: Полученная нижняя оценка сложности для одностороннего квантового коммуникационного вычисления булевых функций является обобщением нижней оценки, представленной Хартмутом Клауком на конференции STOC в 2000 году.7. Область(и) применения: Квантовая теория вычислений, курсы лекций по теории автоматов.8. Правовая защита: Объект авторского права.9. Стадия готовности к практическому использованию: Результат докладывался на международной конференции 9th International Conference «Developments of language theory» DLT2005, Palermo, Италия.

10. Авторы: Аблаев Ф.М., Гайнутдинова А.Ф.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 4

I-21. Наименование результата: Методы распознавания старопечатных и рукописных текстов.2. Результат научных исследований и разработок (выбрать один из п. 2.1 или п. 2.2)2.1. Результат фундаментальных научных исследований

2.2. Результат прикладных научных исследований и экспериментальных разработок

- теория - методика, алгоритм +- метод - технология- гипотеза - устройство, установка, прибор, механизм- другое (расшифровать): - вещество, материал, продукт

- штаммы микроорганизмов, культуры клеток- система (управления, регулирования,

контроля, проектирования, информационная)- программное средство, база данных- другое (расшифровать):

3. Коды ГРНТИ: 4. Назначение: Полученные результаты предназначены для автоматической классификации изображений и распознавания символов.5. Описание, характеристики: Разработаны и реализованы в виде программного продукта алгоритмы распознавания рукописных текстов. Все алгоритмы реализованы в виде автономной программы с использованием инструментальной среды разработки Delphi 7, а также пакета MatLab. С помощью данных средств была проверена эффективность разработанных методов и подходов.6. Преимущества перед известными аналогами: Тестирование алгоритмов на изображениях старопечатных текстов и рукописей показало их высокую эффективность. На основе полученных результатов можно производить автоматическую классификацию изображений, а также использовать для распознавания символов.7. Область(и) применения: Создание электронных библиотек.8. Правовая защита:

9. Стадия готовности к практическому использованию: На стадии внедрения. Выполнена в рамках проекта НИОКР РТ № 05-5.2-234 за 2003 - 2005 (общая сумма 140000р.).10. Авторы: Латыпов Р.Х., Южиков В.С., Куранов С.К.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 5

I-31. Наименование результата: Теория и методы равновесных задач и вариационных неравенств2. Результат научных исследований и разработок (выбрать один из п. 2.1 или п. 2.2)2.1. Результат фундаментальных научных исследований

2.2. Результат прикладных научных исследований и экспериментальных разработок

- теория + - методика, алгоритм +- метод + - технология- гипотеза - устройство, установка, прибор, механизм- другое (расшифровать): - вещество, материал, продукт

- штаммы микроорганизмов, культуры клеток- система (управления, регулирования,

контроля, проектирования, информационная)- программное средство, база данных- другое (расшифровать):

3. Коды ГРНТИ: 4. Назначение: Теория и методы нелинейного анализа и приложения5. Описание, характеристики: 1. Предложены новые понятия обобщенной монотонности для векторных вариационных неравенств с различным числом подпространств, на этой основе усилены результаты существования решений в банаховых пространствах.2. Предложен и обоснован метод Якоби для задач дополнительности с внедиагонально антитонными многозначными отображениями.3. Предложены варианты методы регуляризации для смешанных вариационных неравенств в условиях порядковой монотонности и их приложения к моделям экономического равновесия в условиях совершенной и несовершенной конкуренции.4. Предложен двойственный метод для неявных задач выпуклой оптимизации с произвольными возмущениями правых частей ограничений.5. Предложен комбинированный релаксационный метод, использующий расщепление, для равновесных задач в условиях негладкости и обобщенной монотонности. 6. Преимущества перед известными аналогами: Все методы являются принципиально новыми, с более широкой областью приложений.7. Область(и) применения: Равновесные задачи и вариационные неравенства8. Правовая защита:

9. Стадия готовности к практическому использованию:

10. Авторы: Коннов И.В.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 6

I-41. Наименование результата: Разработано математическое и программное обеспечение Тренажера, базирующееся на универсальных математических моделях течения гетерогенных смесей в скважине, пласте и каналах погружной установки электроцентробежного насоса (УЭЦН).2. Результат научных исследований и разработок (выбрать один из п. 2.1 или п. 2.2)2.1. Результат фундаментальных научных исследований

2.2. Результат прикладных научных исследований и экспериментальных разработок

- теория + - методика, алгоритм +- метод - технология- гипотеза - устройство, установка, прибор, механизм- другое (расшифровать): - вещество, материал, продукт

- штаммы микроорганизмов, культуры клеток- система (управления, регулирования,

контроля, проектирования, информационная)- программное средство, база данных +- другое (расшифровать):

3. Коды ГРНТИ: 4. Назначение: Тренажер предназначен для имитации различных гидродинамических режимов работы механизированного подъемника «скважина – УЭЦН – пласт» при осуществлении прямой и обратной связи компьютерной модели с элементами управления и контроля наземного оборудования.5. Описание, характеристики: Математическое и программное обеспечение Тренажера базируется на универсальных математических моделях течения гетерогенных смесей в скважине, пласте и каналах погружного ЭЦН.6. Преимущества перед известными аналогами: Аналоги Тренажера, имитирующего управление различными процессами в системе «скважина – УЭЦН – пласт» в диалоговом режиме работы и содержащего настраиваемое на учебный процесс специальное обучающее программное обеспечение и соединенные с ПЭВМ устройства-имитаторы реального наземного оборудования, отсутствуют.7. Область(и) применения: Оптимизация работы системы «скважина – УЭЦН – пласт», исследование процессов в добывающих скважинах, обучение и тренинг специалистов-нефтяников.8. Правовая защита:

Имеются 3 свидетельства об официальной регистрации программ для ЭВМ в РОСПАТЕНТе.9. Стадия готовности к практическому использованию:

Теоретические результаты опубликованы в монографиях и статьях, докладывались на международных и всероссийских конференциях и симпозиумах, в том числе – на Юбилейной Международной научно-практической конференции «Теория и практика имитационного моделирования и создания тренажеров» (Пенза 28 - 29 октября 2004 г.). Разработаны модули пакета для расчета термо- и гидродинамических процессов при течении многофазных смесей в скважине, каналах погружной УЭЦН и нефтяном пласте.

Бронзовая медаль и Диплом V Московского международного салона инноваций и инвестиций, (Москва, 15-18 февраля 2005 г.)

Бронзовая медаль и Диплом VII международной выставки «Энергетика, ресурсосбережения», (Казань, 30 ноября-2 декабря 2005 г.)10. Авторы: В.М. Конюхов, А.Н. Саламатин.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 7

I-5

1. Наименование результата: Разработана теория и математическая модель формирования ансамбля воздушных гидратов в ледниковых покровах.2. Результат научных исследований и разработок (выбрать один из п. 2.1 или п. 2.2)2.1. Результат фундаментальных научных исследований

2.2. Результат прикладных научных исследований и экспериментальных разработок

- теория + - методика, алгоритм- метод - технология- гипотеза - устройство, установка, прибор, механизм- другое (расшифровать): - вещество, материал, продукт

- штаммы микроорганизмов, культуры клеток- система (управления, регулирования,

контроля, проектирования, информационная)- программное средство, база данных- другое (расшифровать):

3. Коды ГРНТИ: 4. Назначение: Разработанная теория позволяет изучить особенности процессов образования и роста ансамбля воздушных гидратов в ледниковом покрове Антарктиды в различных климатических условиях, уплотнения снежно-фирновых отложений в холодных зонах льдообразования, прошлые изменения климата по данным ледяных кернов, колонок морских и озерных отложений.5. Описание, характеристики:

6. Преимущества перед известными аналогами:

7. Область(и) применения: Геокриология, гляциология, математическое моделирование.8. Правовая защита:

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

1. Разрабатывается общая временная шкала для ледяного керна со станции Восток" (Грант РФФИ № 05-05-66802 на 2005-2007 гг., сумма за 2005 г. 150 000 руб.).;

2. Проводятся комплексные исследования подледникового озера Восток и прошлые изменения климата по данным ледяных кернов, колонок морских и озерных отложений (Государственный контракт № 4-2-05 по Федеральной Целевой Программе "Мировой океан" Подпрограмма "Изучение и исследование Антарктики", проект № 4, сумма за 2005 г. 60 000 руб.).

3. Проводятся исследования по уплотнению снежно-фирновых отложений в холодных зонах льдообразования (Грант РФФИ № 05-05-64797 на 2005-2007 гг., сумма за 2005 г. 200 000 руб.).10. Авторы:

Отчет о научной работе факультета ВМК КГУ за 2004 г. 8

Саламатин А.Н.I-6

1. Наименование результата: Построены асимптотические разложения автомодельных решений уравнений, описывающих жидкости и газа в пористой среде. Развита теория ориентационных фазовых переходов в окрестности точки бифуркации с двумерным ветвлением.2. Результат научных исследований и разработок (выбрать один из п. 2.1 или п. 2.2)2.1. Результат фундаментальных научных исследований

2.2. Результат прикладных научных исследований и экспериментальных разработок

- теория + - методика, алгоритм- метод - технология- гипотеза - устройство, установка, прибор, механизм- другое (расшифровать): - вещество, материал, продукт

- штаммы микроорганизмов, культуры клеток- система (управления, регулирования,

контроля, проектирования, информационная)- программное средство, база данных- другое (расшифровать):

3. Коды ГРНТИ: 4. Назначение: Асимптотические разложения предназначены для разработки численных алгоритмов расчета некоторых классов сингулярных решений в задачах теории фильтрации. Разработанная теория позволяет исследовать свойства жидко-кристаллических сред с нематическим ориентационным упорядочением в окрестности точки бифуркации с двумерным ветвлением.5. Описание, характеристики: Построена и исследована модель жидко-кристаллических сред с нематическим ориентационным упорядочением в окрестности точки бифуркации с двумерным ветвлением. Найдено уравнение состояния системы. 6. Преимущества перед известными аналогами: Аналогов нет.7. Область(и) применения: Механика жидкости и газа8. Правовая защита:

9. Стадия готовности к практическому использованию: На основе полученных результатов сданы в печать 2 статьи и еще 2 статьи подготовлены к печати.10. Авторы: Эскин Л.Д.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 9

I-71. Наименование результата: Развита теория дифференцирования и интегрирования φ-распределений. Доказано отсутствие ненулевых собственных значений у одной задачи теории волноводов. 2. Результат научных исследований и разработок (выбрать один из п. 2.1 или п. 2.2)2.1. Результат фундаментальных научных исследований

2.2. Результат прикладных научных исследований и экспериментальных разработок

- теория + - методика, алгоритм- метод - технология- гипотеза - устройство, установка, прибор, механизм- другое (расшифровать): - вещество, материал, продукт

- штаммы микроорганизмов, культуры клеток- система (управления, регулирования,

контроля, проектирования, информационная)- программное средство, база данных- другое (расшифровать):

3. Коды ГРНТИ: 4. Назначение: Разработанная теория предназначена для решения спектральных проблем.5. Описание, характеристики:

6. Преимущества перед известными аналогами:

7. Область(и) применения: Функциональный анализ, дифференциальные уравнения.8. Правовая защита:

9. Стадия готовности к практическому использованию: На основе полученных результатов сданы в печать 2 статьи, сделаны доклады на Воронежской зимней математической школе (Воронеж, февраль 2005) и на 7-ой летней научной школе-конференции (Казань, июль 2005).10. Авторы: Мокейчев В.С.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 10

I-8

1. Наименование результата: Построены модели конечноавтоматных случайных последовательностей над полем GF(2n).2. Результат научных исследований и разработок (выбрать один из п. 2.1 или п. 2.2)2.1. Результат фундаментальных научных исследований

2.2. Результат прикладных научных исследований и экспериментальных разработок

- теория + - методика, алгоритм- метод - технология- гипотеза - устройство, установка, прибор, механизм- другое (расшифровать): - вещество, материал, продукт

- штаммы микроорганизмов, культуры клеток- система (управления, регулирования,

контроля, проектирования, информационная)- программное средство, база данных- другое (расшифровать):

3. Коды ГРНТИ: 4. Назначение: Полученные результаты предназначены для моделирования вероятностного автомата общего вида полиномами над полем GF(2n) и уменьшения сложности операции умножения в полях Галуа, 5. Описание, характеристики: Получено полиномиальное представление автоматных моделей марковских функций над полем Галуа. Построено полиномиальное представление конечноавтоматных случайных последовательностей над полем Галуа.6. Преимущества перед известными аналогами:

7. Область(и) применения: Дискретная математика8. Правовая защита:

9. Стадия готовности к практическому использованию: Полученные результаты опубликованы в 11 статьях и монографии, докладывались на 7 международных и всероссийских конференциях. На их основе подготовлена докторская диссертация, защита которой состоится 22 декабря 2005 г.10. Авторы: Нурутдинов Ш.Р.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 11

I-91. Наименование результата: По разделу "Разработка методов оптимизации проектирования территориальных компьютерных сетей" получены новые результаты в решении проблемы оптимального выбора пропускных способностей каналов сетей передачи данных (СПД).

2. Результат научных исследований и разработок (выбрать один из п. 2.1 или п. 2.2)2.1. Результат фундаментальных научных исследований

2.2. Результат прикладных научных исследований и экспериментальных разработок

- теория + - методика, алгоритм +- метод - технология- гипотеза - устройство, установка, прибор, механизм- другое (расшифровать): - вещество, материал, продукт

- штаммы микроорганизмов, культуры клеток- система (управления, регулирования,

контроля, проектирования, информационная)+

- программное средство, база данных +- другое (расшифровать):

3. Коды ГРНТИ: 4. Назначение: Разработка методов решения задачи оптимального выбора пропускных способностей каналов передачи данных для случая несимметричной нагрузки на сеть.

5. Описание, характеристики: Задача оптимального выбора пропускных способностей каналов передачи данных сведена к решению системы уравнений четвертой степени со многими неизвестными. Исследованы свойства ее решений и доказан ряд утверждений, на основе которых впервые предложены, разработаны и обоснованы два эффективных численных метода решения системы с любой заданной точностью.Предложены три способа получения приближенного решения задачи в аналитической форме, которые в случае симметричных потоков на каналах дают одно и то же решение, являющееся оптимальным решением задачи. С целью оценки погрешности этих формул и их применимости для решения задачи в случае несимметричных потоков проведены вычислительные эксперименты для различных топологий СПД при различных объемах и распределениях потоков данных по сети. Изучены также зависимости погрешностей приближенных решений от величины доступных средств как от параметра. Показано, что предложенные способы приближенного решения задачи в подавляющем большинстве случаев дают весьма малую погрешность по сравнению с точным решением.

6. Преимущества перед известными аналогами: Классическая постановка задачи состоит в минимизации средней задержки пакета при передаче по каналам связи при условии, что суммарная стоимость использования (аренды) каналов не превосходит заданной величины. В предположении, что функции стоимости аренды каналов передачи данных линейны, Л. Клейнроком получено точное решение задачи в аналитической форме, пригодное для использования в случае симметричной нагрузки на сеть. Однако, для современных компьютерных сетей при выделении специализированных серверов обработки и серверов баз данных типичен случай несимметричных потоков на каналах, поэтому на практике это решение неприемлемо. Для отыскания оптимального решения задачи в этих условиях впервые предложена и разработана реализация метода динамического программирования, дающая точное решение задачи.

7. Область(и) применения: Проектирование территориальных компьютерных сетей.

8. Правовая защита:

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

Отчет о научной работе факультета ВМК КГУ за 2004 г. 12

Хабибуллин Р.Ф., Гостев В.М.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 13

I-11

1. Исследование задач математического программирования2. п. 2.12.1. Результат фундаментальных исследований (выбрать из следующего перечня и отметить знаком "+" или заполнить последнюю строчку)

2.2. Результат прикладных исследований и экспериментальных разработок (выбрать из следующего перечня и отметить знаком "+" или заполнить последнюю строчку)

- теория + - методика, алгоритм- метод + - технология- гипотеза - устройство, установка, прибор, механизм- другое (расшифровать) - вещество, материал, продукт

- штаммы микроорганизмов, культуры клеток- система (управления, регулирования, контро- ля, проектирования, информационная)- программное средство, база данных- другое (расшифровать)

3. Код ГРНТИ (указать первые четыре цифры)

4. Развитие теории и решение прикладных задач5. Для параметризованных вариантов методов внутренних и внешних центров, использующих в качестве вспомогательной функции дискретную функцию максимума, разработаны и обоснованы новые алгоритмы. Основным инструментом в этих алгоритмах является аппроксимация множества допустимых решений, использование которого позволило не только гарантировать получение -решения задачи условной минимизации за конечное число итераций, проделанных по разработанным алгоритмам, но и получить практически реализуемые правила задания управляющих параметров, применение которых дало возможность получения -решения задачи не более чем за заданное число процессов минимизации вспомогательной функции метода центров. Такие алгоритмы были разработаны для задач выпуклого программирования, ограничения в которых задавались с помощью неравенств, использующих строго выпуклые функции. В последних работах такие алгоритмы удалось построить для решения задач, использующих явно квазивыпуклые функции в качестве целевой функции и функций-ограничений. Предложены алгоритмы в методе штрафных функций, имеющие реализуемые критерии остановки, гарантирующие достижение заданной точности. Основным инструментом при построении алгоритмов является аппроксимация допустимого множества решений. Получены достаточные условия получения приближенного с заданной точностью по функционалу решения задачи выпуклого программирования, разработаны принципиальные и реализуемые алгоритмы, позволяющие получить допустимое решение с требуемой точностью не более, чем за заданное число итераций

6. Теория математического программирования7. Новые результаты.8. Публикации9. Разработанные алгоритмы готовы к практическому применению10. Заботин Я. И., Андрианова А. А., Фукин И. А., Заботин И. Я.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 14

I-121. Исследование равновесных задач.2. п. 2.12.1. Результат фундаментальных исследований (выбрать из следующего перечня и отметить знаком "+" или заполнить последнюю строчку)

2.2. Результат прикладных исследований и экспериментальных разработок (выбрать из следующего перечня и отметить знаком "+" или заполнить последнюю строчку)

- теория + - методика, алгоритм- метод + - технология- гипотеза - устройство, установка, прибор, механизм- другое (расшифровать) - вещество, материал, продукт

- штаммы микроорганизмов, культуры клеток- система (управления, регулирования, контро- ля, проектирования, информационная)- программное средство, база данных- другое (расшифровать)

3. Код ГРНТИ (указать первые четыре цифры)

4. Развитие теории и решение прикладных задач5. Комбинирование двух технологий --- интервальных функций и регуляризации --- позволило построить методы для решения негладких равновесных задач и смешанных вариационных неравенств в общем монотонном случае. При этом ослаблены требования на регуляризирующую функцию --- достаточно, чтобы она была не сильно, а равномерно монотонной.6. Равновесные задачи и их приложения.7. Новые результаты8. Публикации9. Разработанные алгоритмы готовы к практическому применению10. Пинягина О. А.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 15

I-13

1. Исследование задач дискретной оптимизации.2. п. 2.12.1. Результат фундаментальных исследований (выбрать из следующего перечня и отметить знаком "+" или заполнить последнюю строчку)

2.2. Результат прикладных исследований и экспериментальных разработок (выбрать из следующего перечня и отметить знаком "+" или заполнить последнюю строчку)

- теория + - методика, алгоритм- метод + - технология- гипотеза - устройство, установка, прибор, механизм- другое (расшифровать) - вещество, материал, продукт

- штаммы микроорганизмов, культуры клеток- система (управления, регулирования, контро- ля, проектирования, информационная)- программное средство, база данных- другое (расшифровать)

3. Код ГРНТИ (указать первые четыре цифры)

4. Развитие теории и решение прикладных задач5. Разработан и обоснован псевдополиномиальный точный алгоритм решения одной NP-полной задачи теории расписаний. Получены новые свойства задачи минимизации максимального временного смещения для одного прибора. Полученные свойства можно применять при разработке алгоритмов ограниченного перебора для указанной задачи.6. Теория расписаний7. Новые результаты.8. Публикации9. Разработанный алгоритм готов к практическому применению10. Шульгина О. Н.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 16

I-14

1. Исследование задач математической физики2. п. 2.12.1. Результат фундаментальных исследований (выбрать из следующего перечня и отметить знаком "+" или заполнить последнюю строчку)

2.2. Результат прикладных исследований и экспериментальных разработок (выбрать из следующего перечня и отметить знаком "+" или заполнить последнюю строчку)

- теория + - методика, алгоритм- метод - технология- гипотеза - устройство, установка, прибор, механизм- другое (расшифровать) - вещество, материал, продукт

- штаммы микроорганизмов, культуры клеток- система (управления, регулирования, контро- ля, проектирования, информационная)- программное средство, база данных- другое (расшифровать)

3. Код ГРНТИ (указать первые четыре цифры)

4. Развитие теории 5. Формализм перенормированных проекционных гамильтонианов распространен на случай N-компонентных O(N)-симметричных случайных полей, заданных в евклидовом и p-адическом пространстве. Доказаны теоремы о контрчленах. Вычислены критические показатели до второго порядка теории возмущений. Исследовано преобразование ренормализационной группы (РГ) в 2N-компонентной фермионной иерархической модели. Данное преобразование явно вычислено в N-мерном проективном пространстве констант связи, а для нахождения неподвижных точек РГ предложена система алгебраических уравнений. Обнаружена интересная связь между бозонной и фермионной иерархическими моделями. Оказалось, что преобразование РГ в (2N)-компонентной фермионной модели формально совпадает с преобразованием РГ в (-2N)-компонентной бозонной модели.6. Теория математической физики7. Новые результаты.8. Публикации9. Все результаты строго обоснованы и могут использоваться для дальнейших научных исследований10. Миссаров М. Д., Степанов Р. Г.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 17

I-151 Наименование результата:Археология Среднего Поволжья на сервере Казанского университета. Проект РГНФ 03-01-12011.

2 Результат научных исследований и разработок (выбрать один из п. 2.1 или п. 2.2)2.1. Результат фундаментальных исследований (выбрать из следующего перечня и отметить знаком "+" или заполнить последнюю строчку)

2.2. Результат прикладных исследований и экспериментальных разработок (выбрать из следующего перечня и отметить знаком "+" или заполнить последнюю строчку)

- теория - методика, алгоритм- метод - технология- гипотеза - устройство, установка, прибор, механизм- другое (расшифровать) - вещество, материал, продукт

- штаммы микроорганизмов, культуры клеток- система (управления, регулирования, контро- ля, проектирования, информационная) +

- программное средство, база данных +

- другое (расшифровать)

3 Коды ГРНТИ: 20.234 Назначение:Обеспечить открытый информационный доступ через систему Internet к археологическим материалам Среднего Поволжья. Предоставить информацию об археологических исследованиях в республике Татарстан за текущий год. Разместить сведения о новых журналах, изданных в Татарстане. Предоставить возможность в режиме On- Line обработать археологические материалы (керамика, остеология, нумизматика).5 Описание, характеристики:Работа над сайтом «Археология Среднего Поволжья» была начата в 1996 г. Работа постоянно финансировалась Российским Гуманитарным научным Фондом. Как и в предыдущие годы, на сайте размещены новые сведения об археологических исследований в Татарстане.6 Преимущество перед известными аналогами:Сайт помещён среди лучших сайтов музеев России.7 Область(и) применения:Археология, история, учебный процесс.8 Правовая защита:Объект авторского права9 Стадия готовности к практическому использованию:Сайт открыт для посещения в среде Internet на русском и английском языках.10 Авторы:Беговатов Е.А. (в соавторстве с Чижковской Н.А., Кашиной О.А., Недашковским Л.Ф.)

Отчет о научной работе факультета ВМК КГУ за 2004 г. 18

I-161. Наименование результата:Археологическая геоинформационная система Республики Татарстан. Проект НИОКР РТ № _05-5.2-301/2005(Ф).

2. Результат научных исследований и разработок (выбрать один из п. 2.1 или п. 2.2)2.2. Результат фундаментальных исследований (выбрать из следующего перечня и отметить знаком "+" или заполнить последнюю строчку)

2.2. Результат прикладных исследований и экспериментальных разработок (выбрать из следующего перечня и отметить знаком "+" или заполнить последнюю строчку)

- теория - методика, алгоритм- метод - технология- гипотеза - устройство, установка, прибор, механизм- другое (расшифровать) - вещество, материал, продукт

- штаммы микроорганизмов, культуры клеток- система (управления, регулирования, контро- ля, проектирования, информационная) +

- программное средство, база данных +

- другое (расшифровать)

3. Коды ГРНТИ: 20.234. Назначение:Обеспечение доступа к информации для охраны археологического наследия государственными и (или) муниципальными службами, в функцию которых входит охрана памятников истории и культуры. Создание комплексной археологической системы всего региона Республики Татарстан.5. Описание, характеристики:Создана система полуавтоматического перевода (программа-конвертер) локальной АГИС в Интернет-вариант. В качестве среды разработки программы-конвертора для небольшой ГИС с файл-серверной архитектурой принята система программирования СУБД Visual Foxpro6. Преимущество перед известными аналогами:Проект не имеет аналогов в Республике Татарстан.7. Область(и) применения:Археология Среднего Поволжья, охрана памятников.8. Правовая защита:Объект авторского права9. Стадия готовности к практическому использованию:На стадии проектирования.10. Авторы:Беговатов Е.А. (в соавторстве с Тагировым Р.Р.)

Отчет о научной работе факультета ВМК КГУ за 2004 г. 19

I-171. Наименование результата:Математическое моделирование низкотемпературной плазмы.

2. Результат научных исследований и разработок (выбрать один из п. 2.1 или п. 2.2)2.1. Результат фундаментальных исследований (выбрать из следующего перечня и отметить знаком "+" или заполнить последнюю строчку)

2.2. Результат прикладных исследований и экспериментальных разработок (выбрать из следующего перечня и отметить знаком "+" или заполнить последнюю строчку)

- теория + - методика, алгоритм- метод - технология- гипотеза - устройство, установка, прибор, механизм- другое (расшифровать) - вещество, материал, продукт

- штаммы микроорганизмов, культуры клеток- система (управления, регулирования, контро- ля, проектирования, информационная)- программное средство, база данных- другое (расшифровать)

3. Коды ГРНТИ: 27.354. Назначение:Теоретическое обоснование процессов обработки материалов высокочастотной плазмой пониженного давления.5. Описание, характеристики:Определены условия существования решения нелинейной системы краевых задач, описывающей поток квазинейтральной плазмы высокочастотного разряда пониженного давления.6. Преимущество перед известными аналогами:Аналогов нет.7. Область(и) применения:Теория неравновесной низкотемпературной плазмы.8. Правовая защита:Объект авторского права9. Стадия готовности к практическому использованию:Содержание теории докладывались на конференциях, результаты опубликованы.10. Авторы:Желтухин В.С. (в соавторстве с Ольковым Е.В.)

Отчет о научной работе факультета ВМК КГУ за 2004 г. 20

I-181. Наименование результата: Построение и исследование схемы метода конечных элементов с мультипликативным выделением особенности для линейного вырождающегося эллиптического уравнения в области с угловой точкой. обоснование оптимальности порядка точности схемы.

2. Результат научных исследований и разработок (выбрать один из п. 2.1 или п. 2.2)2.1. Результат фундаментальных научных исследований

2.2. Результат прикладных научных исследований и экспериментальных разработок

- теория + - методика, алгоритм +- метод - технология- гипотеза - устройство, установка, прибор, механизм- другое (расшифровать): - вещество, материал, продукт

- штаммы микроорганизмов, культуры клеток- система (управления, регулирования,

контроля, проектирования, информационная)- программное средство, база данных- другое (расшифровать):

3. Коды ГРНТИ: 27.354. Назначение:

Численное решение задач математической физики5. Описание, характеристики:.

Новый подход к построению и исследованию численных алгоритмов для широких классов задач математической физики с существенными особенностями6. Преимущества перед известными аналогами:.

Наличие оптимальных оценок сходимости метода. Высокая эффективность и универсальность предлагаемого численного метода7. Область(и) применения:

Численное моделирование задач математической физики8. Правовая защита: авторское право

Метод опубликован в открытой печати9. Стадия готовности к практическому использованию:

10. Авторы: Тимербаев М.Р.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 21

II. Дополнительная информация

1. Конференции, организованные сотрудниками факультета на базе КГУ1) Шестой Всероссийский семинара “Сеточные методы для краевых задач и приложения” ”,

Казань, 30.09–3.10.09, 2005.2) 7-ая международная Казанской школа-конференция «Теория функций, ее приложение и

смежные вопросы».3) 7-я Научно-практическая школа-семинар ТЕЛ-2005 по компьютерной и когнитивной

лингвистике: «Синтаксические модели в задачах автоматизации обработки текстов», г.Казань, 8-10 декабря, 2005 г.

2. Участие сотрудников факультета (института) в конференциях РТ, РФ, международных (название конференции, время и место проведения, фамилии участвующих).

Конференции РТ, РФ:

1) 9-й республиканский фестиваль одаренных детей в Билярске, 8-11 июля, 2005 г., п. Билярск, Алексеевский район. Сулейманов Д.Ш.

2) Всероссийская научная конференция «Физиология сердца», 24-25 ноября , 2005 г. Казань. Сулейманов Д.Ш.

3) 2-я республиканская научно-практическая конференция «Актуальные проблемы обучения татарскому языку в русской школе», 30 ноября 2005 года, г. Казань, ТГГПУ.Сулейманов Д.Ш.

4) Вторые Поспеловские чтения «Искусственный интеллект – проблемы и перспективы», 30 ноября – 1 декабря 2005. Политехнический музей, г. Москва.Сулейманов Д.Ш.

5) 9 Съезд Российской ассоциации искусственного интеллекта, 30 ноября 2005 г. Политехнический институт, г. Москва. Сулейманов Д.Ш.

6) 7-ая всероссийская конференция “Развитие тестовых технологий в России”, 13-17 ноября, Шарм-Эль-Шейх. В.Д. Соловьев.

7) XIV Международная конференция по вычислительной механике и современным прикладным программным системам, Алушта, Крым, 25-31 мая 2005 г. (Бадриев И.Б., Задворнов О.А., Ляшко А.Д.)

8) XVIII Международная научная конференция “Математические методы в технике и технологиях”, Казань, 25.06–28.06, 2005. (Карчевский М.М.)

9) Седьмая международная Казанская летняя научная школа – конференция “Теория функций, ее приложения и смежные вопросы”, Казань, 27.06– 4.07, 2005. (Шагидуллин Р.Р.)

10) Шестой Всероссийский семинар “Сеточные методы для краевых задач и приложения” ”, Казань, 30.09–3.10.09, 2005 (Абдюшева Г.Р. Бадриев И.Б., Глазырина Л.Л., Гнеденкова В.Л., Даутов Р.З., Задворнов О.А., Карчевский М.М., Ляшко А.Д., Павлова М.Ф., Соловьев С.И., Тимербаев М.Р., Федотов Е.М., Шагидуллин Р.Р.)

11) Вторая Всероссийская научно-практическая конференция “Динамика и развитие иерархических (многоуровневых) систем, Казань, 26.10–27.10, 2005 (Шагидуллин Р.Р.)

12) XVII Междунар. Конф. «Взаимодействие ионов с поверхностью (ВИП-2005)»: 25.08-29.08.2005 г. Звенигород Моск. Области. (Желтухин В.С.)

13) VII Корейская Научно-Практическая Конференция по новым плазменным технологиям (7-th Korea Workshop jn Advanced Plasma Technologies): 24.09-30.09.2005г. Сеул, Республика Корея. (Желтухин В.С.)

14) VI-ой всероссийский семинар «Сеточные методы для краевых задач и приложения», Казань, 30.09-02.10.2005 г. (Желтухин В.С.)

Отчет о научной работе факультета ВМК КГУ за 2004 г. 22

15) Научно-координационная сессия научного совета по физике низкотемпературной плазмы РАН "Исследования неидеальной плазмы", г. Москва, 30.11-01.12.2005 г. (Желтухин В.С.)

16) Археология и компьютерные технологии: Представление и анализ археологических материалов. Всероссийская конференция. Глазов.18.07-21.07.2005 г. (Беговатов Е.А.)

17) Современный музей как важный ресурс города и региона. Международная конференция. Казань. 12.09-17.09.2005. (Беговатов Е.А.)

18) Поселения эпохи средневековья в Волго- Камье: своеобразие возникновения развития. Международный полевой Семинар. Болгары. 23.06-29.06.2005 г. (Беговатов Е.А.)

19) Культурное многообразие в едином информационном пространстве. Адит 2005. Казань. 1.06-3.06.2005 г. (Беговатов Е.А.)

20) Монеты и денежное обращение в монгольских государствах. Международная конференция. Болгары. 8.09-10.09.2005 г. (Беговатов Е.А.)

21) .XII Всероссийская школа-коллоквиум по стохастическим методам, Сочи, 1.10-7.10.2005 г. (Пушкин Л.Н.)

22) Воронежская зимняя математическая школа «Современные методы теории функций и смежные проблемы», Воронеж, 28.01-2.02.2005 г. (Сидоров А.М.)

23) .6-й Всероссийский симпозиум по прикладной и промышленной математике, Сочи-Дагомыс, 1.10.-7.10.2005 г. (Дубровин В.Т.)

24) Междунар. научн. конф. «Математические методы в технике и технологии», Москва, май 2005 (Замов Н.К.)

25) V Int. On-Line Test Symp., San-Rafael, France, July 2005 (Латыпов Р.Х.)26)  Вторая Всероссийская научн. конференция «Методы и средства обработки информации»,

Москва, МГУ, октябрь 2005 (Латыпов Р.Х.)27) Второе Всероссийское совещание «Актуальные проблемы информатики в современном

российском образовании», Москва, июнь 2005 (Латыпов Р.Х.)28)  VIII Symposium on Generalized Convexity and Generalized Monotonicity, Varese, Italy, 4-8

July 2005 (Коннов И.В., Мазуркевич Е.О.).29)  III конференция геокриологов России, МГУ, 1-3 июня, 2005 (Саламатин А.Н.)30)  Всероссийская науч. конф. "Современные аспекты экологии и экологического

образования", Казань, Россия, 19 - 23 сентября 2005 (Конюхов В.М.).31) 2.8. Юбилейная Международная научно-практическая конференция "Теория и практика

имитационного моделирования и создания тренажеров", Пенза 28 - 29 октября 2004 (Конюхов В.М. , Саламатин А.Н. и др.).

32) V Московский международный салон инноваций и инвестиций, Москва, 15-18 февраля 2005 (Конюхов В.М. , Саламатин А.Н. и др.).

33) VII международная выставка «Энергетика, ресурсосбережения», Казань, 30 ноября – 2 декабря 2005, (Конюхов В.М. , Саламатин А.Н. и др.).

34) Всероссийская учеб.-метод. конференция «Вопросы совершенствования методики преподавания в высшей школе», Казань, 17 – 18 марта 2005 г. (Н.Х. Насырова).

35) XII Всерос. науч.-метод. конференция, Санкт-Петербург, 2005 (Гостев В.М.).36) Вторая Всероссийская научно-практ. конференция «Имитационное моделирование.

Теория и практика (ИММОД-2005)», Санкт-Петербург, 19-21 октября 2005 (Гостев В.М.).37) Третья междунар. научно-практ. конференция «Инфокоммуникационные технологии

глобального информационного общества», Казань, 2005. (Гостев В.М.).38) VIII Международном семинаре «Дискретная математика и ее приложения», Москва, 2-6

февраля, 2004г. (Нурутдинов Ш.Р.)39) Международная научная конференция «Актуальные проблемы математики и механики»

Казань, 26 сентября – 1 октября, 2004 (Нурутдинов Ш.Р.)40) Пятый Всероссийский семинар «Сеточные методы для краевых задач и приложения»

Казань, 17-21 сентября, 2004 (Нурутдинов Ш.Р.)41) VI Международная конференция «Дискретные модели в теории управляющих систем»,

Москва, 7-11 декабря, 2004 (Нурутдинов Ш.Р.)

Отчет о научной работе факультета ВМК КГУ за 2004 г. 23

42) XIV Международная конференция «Проблемы теоретической кибернетики», Пенза, 23-28 мая 2005 (Нурутдинов Ш.Р.)

43) Шестой Всероссийский семинар «Сеточные методы для краевых задач и приложения», Казань, 29-30 сентября, 2005 (Нурутдинов Ш.Р.)

44) Вторая Всероссийская научная конференция «Методы и средства обработки информации (МСО’2005)», Москва, 5-7 октября 2005 (Нурутдинов Ш.Р.)

45) VII летняя научная школа-конференция, Казань, июль 2005 (Мокейчев В.С.).46) Воронежская зимняя математическая школа, Воронеж, февраль 2005 (Мокейчев В.С.).47) Всероссийский семинар «Сеточные методы для краевых задач и приложения»– Казань:

Казанский государственный университет. - 2005. .(Андрианова А. А. Заботин И.Я., Пинягина О.В., Фазылов В. Р., Щербакова Н. К., Шульгина О. Н., Исмагилов Л. Н., Бандеров В. В.)

48) Междунар. научной конференция «Современные проблемы прикладной математики и математического моделирования», Воронеж, 12-17 декабря 2005 г. .(Андрианова А. А)

49) Всероссийская научно-практическая конференция «Будущее России: перспективы, стратегии развития», 2 декабря 2004 г.(Фукин И. А.)

50) Международная конференция, посвященная 75-летию со дня рожд. В. И. Зубова «Устойчивость и процессы управления: SCP—2005», 29 июня – 1 июля 2005 г.(Фукин И. А., Заботин Я.И.)

51) X Ι Ι Ι международная Байкальская школа – семинар «Методы оптимизации и их приложения».—Байкал, 2005. .(Фукин И. А.)

52) Седьмая международная Казанская летняя научная школа-конференция "Теория функций, ее приложения и смежные вопросы" г. Казань, 27 июня - 4 июля 2005 г.(Пинягина О. В.)

53) Вторая Всероссийская научная конференция "Математическое моделирование и краевые задачи", 1--3 июня 2005 г., Часть 3, Самара, 2005.( Пинягина О. В.)

54) 2-nd International Conference on p-Adic Mathematical Physics– 15–21.09.2005, Belgrade, Serbia and Montenegro.(Миссаров М. Д., Степанов Р. Г.)

55) XIV Международная конференция по вычислительной механике и современным прикладным программным системам (ВМСППС - 2005), г. Алушта, Крым, 25-31 мая 2005 г.(Исмагилов Л. Н., Бандеров В. В.)

56) Воронежская весенняя математическая школа «Понтрягинские чтения - XVI», Воронеж, 3-9 мая 2005 г.(Андрианова А. А.)

57) Российская научно-метогдическая конференция «Совершенствование подготовки IT-специалистов по направлению «прикладная математика» на основе инновационных технологий и e-lerning»: 15-16 декабря 2005 г.—Москва.—2005.(Фукин И. А.)

58) 9th International Conference «Developments of language theory» DLT2005, июль 2005, Palermo, Италия; Ф. Аблаев, А. Гайнутдинова.

59) Third International Symposium “Stochastic Algorithms: Foundations and Applications” SAGA 2005, Moscow, Russia, October 20-22, 2005, Ф. Аблаев.

60) International Conference “Quantum Informatics 2005” QI 2005, Moscow Zvenigorod, Russia, October 3-7 2005, Ф. Аблаев, А. Гайнутдинова.. 

61) XIV Международная научная конференция «Проблемы теоретической кибернетики», Пензенский государственный университет, Пенза, май, 2005.

62) Международная конференция Диалог-2005: компьютерная лингвистика и приложения, г. Звенигород, 1-7 июня, 2005 г.; Сулейманов Д.Ш., Салимов Ф.И.

63) Международная научно-практическая конференция «Информационные технологии в многоуровневой системе образования», 9-10 июня 2005 г., г. Казань, ТАРИ; Сулейманов Д.Ш.

64) 6-я Международная научно-техническая конференция,26-30 сентября 2005г. Интерактивные системы: проблемы человеко-машинного взаимодействия/ ИС-2005, г. Ульяновск, УлГТУ; Сулейманов Д.Ш.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 24

65) Конференция «Microsoft: Образование в 21 веке», 28 октября 2005 г., г. Москва; Сулейманов Д.Ш.

66) Международная научно-практическая конференция «Образование и воспитание социально-ориентированной личности студента: отечественный и зарубежный опыт», 15-16 ноября 2005 г., г. Казань ; Сулейманов Д.Ш.

67) Electronic Imaging & the Visual Arts, 14-18 March, Florence (Italy)В.Д. Соловьев, В.Р. Байрашева

3. Защита диссертаций 1) Ассистент кафедры МС Джунгурова О.А. 17 июня 2005г. защитила кандидатскую

диссертацию «О выделении предельных семейств распределений из обобщенной модели Бирнбаума-Саундерса».

2) Бандеров В.В., ассистент кафедры экономической кибернетики КГУ, н. рук. проф. кафедры вычислительной математики КГУ Бадриев И.Б и доц. кафедры вычислительной математики КГУ Задворнов О.А. «Численное моделирование бесконечно длинных и осесимметричных мягких сетчатых оболочек»

3) Исмагилов Л.Н., ассистент кафедры экономической кибернетики КГУ, н. рук. проф. кафедры вычислительной математики КГУ Ляшко А.Д. и доц. кафедры вычислительной математики КГУ Задворнов О.А. «Итерационные методы решения вариационных неравенств нелинейной стационарной фильтрации»

4) Степанов Р. Г. Ренормализационная группа в N-компонентных моделях статистической физики// дисс. на соискание степени канд.ф.-м. н, Казань, 2005. – 123 с. (КГУ, ассистент КЭК)

4. Сведения о патентах (с полным библиографическим описанием):a. 4.1. Патенты Россииb. 4.2. Зарубежные патентыc. 4.3. Поддерживаемые патенты

5. Зарегистрированные открытия (с полным библиографическим описанием).6. Лицензии на использование изобретений, промышленных образцов, полезных моделей,

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

7. Зарегистрированные программы для ЭВМ, базы данных, топологии интегральных микросхем (с полным библиографическим описанием).

8. Премии, награды, почетные дипломы.1) Медаль: «В память 1000-летия Казани», 30.06.2005; 2) Почетная грамота за лучшую монографию «Структурно-функциональная модель татарских

морфем» по естественно-научному направлению в конкурсе лучшее печатное издание КГУ в 2005 году, 17 ноября 2005 г.

3) . Бронзовая медаль и Диплом V Московского международного салона инноваций и инвестиций (Москва, 15-18 февраля 2005) за разработку «Тренажер по эксплуатации скважин, оборудованных УЭЦН» (Конюхов В.М. , Саламатин А.Н. и др.).

4) Бронзовая медаль и Диплом VII международной выставки «Энергетика, ресурсосбережения» (Казань, 30 ноября – 2 декабря 2005) за разработку «Тренажер по эксплуатации скважин, оборудованных УЭЦН» (Конюхов В.М. , Саламатин А.Н. и др.).

5) Р.З. Даутов, М.М. Карчевский Введение в теорию метода конечных элементов (учебное пособие). – Казань, Изд-во КГУ, 2004. Второе место на конкурсе “Лучшее издание года” КГУ.

9. Сведения по разработке проблем высшей школы.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 25

III. Список публикаций

1. Монографии (индивидуальные и коллективные), изданные: 1.1. – зарубежными издательствами (все зарубежье, искл. Россию); - 1) S. Yanushkevich, Latypov R.H. et al. Handbook on Decision Diagrams. – CRC Press, 2005. – 800c.

(53 п.л., 2000 экз.).2) .Konnov I.V. Generalized monotone equilibrium problems and variational inequalities// Handbook

of Generalized Convexity and Generalized Monotonicity, Ed. by N.Hadjisavvas, S.Komlosi, and S.Schaible, "Nonconvex Optimization and Applications", Vol.76. - New York: Springer, 2005. - Chapter 13. - P.559 - 618. (Глава в коллективной монографии - 4 п.л.) (1000 экз.).

1.2. – российскими издательствами, - нетиз них: - издательством “Высшая школа”; нет- издательскими структурами КГУ (Издательство КГУ, 3) Абдуллин И.Ш., Абуталипова Л.Н., Желтухин В.С., Красина И.В. Высокочастотная

плазменная обработка в динамическом вакууме капиллярно-пористых материалов: теория и практика применения. Казань: Изд-во Казан. Гос. Ун-та: 2004, 428 с. (27 п.л.), 1000 экз.

4) Нурутдинов Ш.Р. Основы теории полиномиальных моделей автоматных преобразований над полем Галуа. – Казань: Изд-во Казанского ун-та, 2005. – 156 с. (10 п.л., 500 экз.)

5) .Сулейманов Д., Гатиатуллину А. Структурно-функциональная модель татарских морфем.

Другие:

2. Сборники научных трудов – перечень с названиями сборников, изданных КГУ (труды конференций, симпозиумов, чтений; тематические сборники трудов ученых, аспирантов и студентов КГУ; периодические издания науки и техники):

2.1. – международных и всероссийских конференций, симпозиумов; 6) Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского

семинара. – Казань: Казанский государственный университет. - 2005. 2.2. – другие сборники. - 7) Итоговая научно-образовательная конференция студентов Казанского государственного

университета. Тезисы докладов. – Казань: Казанский государственный университет. – 2005

3. Учебники и учебные пособия (а также, переиздания учебников): 3.1. с грифом учебно-методического объединения (УМО) или научно-методического совета (НМС); -

8) Р.З. Даутов, М.М. Карчевский Введение в теорию метода конечных элементов (учебное пособие). – Казань, Изд-во КГУ, 2004

9) Насырова Н. Х. Фукин И. А. Средства обработки текстовых документов// Учебно-практическое пособие.—Казань: «Талигмат».—2005.—36 с.

10) Заботин Я. И. Теория игр.// Уч. пособие.—Н. Челны, 2004.—39 с.11) Заботин Я. И. Возможные направления и теоремы оптимальности в выпуклом

программировании Заботин Я. И. Теория игр.// Уч. пособие.—Н. Челны, 2005.—44 с.12) Латыпов Р.Х. Математические основы теории кодирования и криптографии. Методическое

пособие. – Казань: Изд-во КГУ, 2005. – 60 с. (4 п.л., 150 экз.)13) Н.Х. Насырова, В.Н. Косолапов. Задания по информатике. Часть 1. Microsoft Word.

Проводник. Электронная почта. Методическая разработка по курсу ИНФОРМАТИКА для

Отчет о научной работе факультета ВМК КГУ за 2004 г. 26

студентов гуманитарных факультетов – Казань: Изд-во УНИПРЕСС, 2005. – 35 с. (2 п.л., 100 экз.).

14) Н.Х. Насырова, В.Н. Косолапов. Задания по информатике. Часть 2. Электронные таблицы. Базы данных. Методическая разработка по курсу ИНФОРМАТИКА для студентов гуманитарных факультетов. – Казань: Изд-во УНИПРЕСС, 2005. – 21 с. (1.5 п.л., 100 экз.).

3.2. с грифом Минобразования России; - нет 3.3. с грифами других федеральных органов исполнительной власти; - нет 3.4. с другими грифами.15) Нурмеев Н.Н., Роганов Д.А. Дискретная математика. Учебно-методическое пособие. -

Казань:Академия управления "ТИСБИ", 2005. 226 стр.(13,25 усл.печ. л.). Тираж:160 экз.16) Еникеев А.И., Хадиев Р.М. , Языки программирования , методы трансляции и технология

программирования .

4. Статьи, опубликованные сотрудниками Вашего подразделения (в т.ч. в сборниках научных трудов, указанных в п.2):

4.1. – в зарубежных изданиях;17) Nieber J.L., Dautov R.Z., Egorov A.G, Sheshukov A.Y. Dynamic Capillary Pressure Mechanism for

Instability in Gravity-Driven Flows; Review and Extension to Very Dry Conditions// Transport in Porous Media, – 2005. – V. 58 – P. 147–172

18) Fedotov E., Miftahof R. Intestinal Propulsion of a Solid Non-Deformable Bolus// Journal of Theoretical Biology. – 2005. V. 235. – P. 57-70.

19) Karchevsky M.M., Fedotov A.E. Error Estimates and Iterative Procedure for Mixed Finite ElementSolution of Second-Order Quasi-Linear Elliptic Problems// Computational Methods in Applied Mathematics. – 2004. – Vol. 4, No.4. – PP. 445–463

20) Allevi E., Gnudi A., Konnov I.V. Generalized vector variational inequalities over countable product of sets // Journal of Global Optimization. - 2004. - V.30, No. 2. - P. 155-167.

21)  Allevi E., Gnudi A., Konnov I.V. Decomposable generalized vector variational inequalities// Optimization and Control with Applications, Ed. by L.Qi, K.Teo, and X.Q.Yang, "Applied Optimization", Vol.96. - New York: Springer, 2005.- P.497-507.

22)  Allevi E., Gnudi A., Konnov I.V., Mazurkevich E.O. Partitionable mixed variational inequalities // Variational Analysis and Applications, Ed. by F.Giannessi and A.Maugeri, "Nonconvex Optimization and Its Applications", Vol.79. - New York: Springer, 2005.- P.133-146.

23) . Konnov I.V. Convex optimization problems with arbitrary right-hand side perturbations // Optimization. - 2005. - V.54, No. 2. - P.131-147.

24)  Konnov I.V., Mazurkevich E., Ali M.S.S. On the regularization method for variational inequalities with P_0 mappings // International Journal of Applied Mathematics and Computer Science. - 2005. -V.15, No. 1. - P.35-44.

25)  Konnov I.V., Schaible S., Yao J.C. Combined relaxation method for equilibrium problems // Journal of Optimization Theory and Applications. - 2005. - V.126, No. 2. - P. 309-322.

26)  Konnov I.V., An inexact splitting method for systems of equilibrium problems // Pacific Journal of Optimization. - 2005. - V.1, No. 3. - P. 611-624.

27)  Genov G., Kuhs W.F., Staykova D.K., Goreshnik E., Salamatin A.N. Experimental studies on the formation of porous gas hydrates. // American Mineralogist, Vol. 89, 2004, 1228-1239.

28)  Hondoh T., Shoji H., Watanabe O., Tsyganova E.A., Salamatin A.N., Lipenkov V.Ya. Average time scale for Dome Fuji ice core, East Antarctica // Polar Meteorology and Glaciology, No. 18, 2004, 1-18.

29)  Salamatin A.N., Tsyganova E.A., Lipenkov V.Ya., Petit J.R. Vostok (Antarctica) ice-core time scale from datings of different origins. // Annals of Glaciology, v. 39, 2004, 283-292.

30)  Khramchenkov M.G., Khramchenkov E.M., Pleshchinskii N.B. Physico-chemical mechanics of clays swelling//Acta Geodynamica et Geomaterialia. - 2005.-V. 2.-No. 2. - P. 47-52.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 27

31) Farid Ablayev, Aida Gainutdinova / Complexity of quantum uniform and nonuniform automata // Developments of language theory/ DLT2005, Palermo; proceeding,Lecture Notes in Computer Science. – V.3572. - P.78-87.

32) Farid Ablayev, Aida Gainutdinova, Marek Karpinski, Cristopher Moore, Cristopher Pollett / On the computational power of probabilistic and quantum branching program, Information and Computation. - Volume 203, Issue 2 , 15 December 2005, Pages 145-162.

33) Farid Ablayev / The Complexity of Classical and Quantum Branching Programs: A Communication Complexity Approach // Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005, Proceedings, Springer. - LNCS 3777. - P.190-201.

34) F. Ablayev / Comparative power of quantum and classical computation models // Quantum Informatics 2004.- Proceedings of The International Society for Optical Engineering (SPIE). - Volume: 5833. - 2005. - p.100-108, {см. также http://spie.org/app/Publications/}

35) Farid Ablayev, Aida Gainutdinova / On classical stimulation of quantum machines // Quantum Informatics 2004.- Proceedings of The International Society for Optical Engineering (SPIE). - Volume: 5833. - 2005. - p.109-115 {см. также http://spie.org/app/Publications/}

4.2. –российских изданиях, рекомендованных ВАК1) Мазо А.Б., Даутов Р.З. О граничных условиях для уравнений Навье-Стокса в переменных

функция тока – завихренность при моделировании обтекания системы тел// Инженерно.физический журнал, 78, №4, 2005, с. 136-142.

2) Бадриев И.Б., Задворнов О.А. Исследование разрешимости осесимметричной задачи об определении положения равновесия мягкой оболочки вращения// Известия ВУЗов. Математика. - 2005. - N 1. - С. 12-18.

3) Бадриев И.Б., Задворнов О.А. Исследование стационарной задачи фильтрации с многозначным законом при наличии точечного источника// Дифференциальные уравнения. - 2005, - Т. 41. - N 7. - С. 874-880.

4) Задворнов О.А. Исследование нелинейной стационарной задачи фильтрации при наличии точечного источника// Известия ВУЗов. Математика. - 2005. - N 1. - С. 50-56.

5) Задворнов О.А. О сходимости полуявного метода с расщеплением для решения вариационных неравенств второго рода // Известия ВУЗов. Математика. - 2005. - N 6. - С. 61-70.

6) Ляшко А.Д., Федотов Е.М. Полудискретные схемы метода конечных переменных для вырождающихся гиперболических уравнений// Дифференциальные уравнения. - 2005, - Т. 41. - N 7. – С. 950-954.

7) Тимербаев М.Р. Весовые оценки решения анизотропно вырождающегося уравнения с граничными условиями Неймана в точках вырождения // Изв. вузов. Математика. - 2005. - N 7. - С. 63-76.

8) Аляев В.А., Карчевский М.М., Панфилович В.К. Об одном методе определения коэффициента кондуктивной теплопроводности поглощающей и излучающей жидкости//Известия вузов. Авиационная техника. – 2005, N 1. – С. 42–44.

9) Абдуллин И.Ш., Желтухин В.С., Красина И.В., Кудинов В.В. Высокочастотная плазменная полировка поверхности в динамическом вакууме // Материаловедение – 2005. - № 1. – С. 49-55.

10) Желтухин В.С. Об условиях разрешимости системы краевых задач теории высокочастотной плазмы пониженного давления // Изв. ВУЗов. Математика – 2005 - № 1. – С. 52-57.

11) Елизаров А.М., Илюхин А.Э., Лапин А.В. Квазирешения обратных краевых задач аэрогидродинамики с ограничением на максимум скорости. // Изв. ВУЗов. Авиационная техника – 2005 - № 1. – С. 28-33.

12) Абросимов И.А., Турилов А.М., Турилова Е.А., Шалаев Г.М. Об определении гидравлических потерь в каналах сложных форм. // Изв. ВУЗов. Авиационная техника – 2006 - № 1. – С.

13) Турилова Е.А. О некоторых классах подпространств, присоединенных к алгебре фон Неймана, в пространстве представления алгебры B(H), ассоциированного с весом. // Изв. ВУЗов. Математика (принята к печати).

Отчет о научной работе факультета ВМК КГУ за 2004 г. 28

14) Коннов И.В. Об одном классе моделей экономического равновесия // Экономика и математические методы. - 2004. - Т. 40, №. 3. - С. 103 - 109.

15)  Коннов И.В. Обобщение алгоритма Якоби для задачи дополнительности в условиях многозначности // Ж. вычисл. мат. и мат. физ.- 2005. - Т.45, №. 7. - С.1167 - 1173.

16)  Коннов И.В., Костенко Т.А. Многозначная смешанная задача дополнительности // Изв.вузов. Математика.- 2004.- №.12. - С.28 - 36.

17)  Salamatin A.N., Sheshukova Yu.A, Lipenkov V.Ya., Hondoh T., Ohno H. Evolution of air-bubble ensemble in hydrate formation process in ice sheets: II. Computational experiments on kinetics of hydrate nucleation. // Материалы гляциологических исследований, № 96, 2004, С.34-46.

18)  Salamatin A.N., Ekaykin A.A., Lipenkov V.Ya. Modelling isotopic composition in precipitation in Central Antarctica. // Материалы гляциологических исследований, №.97, 2004, 24-34.

19)  Липенков В.Я., Шибаев Ю.А., Саламатин А.Н., Екайкин А.А., Вострецов Р.Н., Преображенская А.В. Современные климатические изменения, зарегистрированные в вариациях температуры льда в верхней 80-ти метровой ледниковой толще в районе станции Восток. // Материалы гляциологических исследований, №.97, 2004, 44-56.

20)  Tsyganova E.A., Salamatin A.N. Non-stationary temperature field simulations along the ice flow line “Ridge B – Vostok Station”, East Antarctica. // Материалы гляциологических исследований, №.97, 2004, 57-70.

21)  Sheshukova Yu.A, Ohno H., Lipenkov V.Ya., Salamatin A.N., Hondoh T. Modelling formation of air-hydrate ensemble in transition zone of Antarctic ice sheet. // Материалы гляциологических исследований, № 97, 2004, 71-79.

22) Миссаров М.Д., Степанов Р.Г., ε-разложения в N-компонентной φ4-модели // Теоретическая и математическая физика (Принято к печати). – 2006. – Т.146

23) Степанов Р.Г., Преобразование ренормализационной группы в 2N-компонентной фермионной иерархической модели // Теоретическая и математическая физика (Принято к печати). – 2006. – Т.146.

4.3.- в прочих российских изданиях.1) Бадриев И.Б., Бандеров В.В., Задворнов О.А. Математическое моделирование осесимметричных

задач теории мягких оболочек// Материалы XIV Международной конференции по вычислительной механике и современным прикладным программным системам, Алушта, Крым, 25-31 мая 2005 г. – М: Вузовская книга. - 2005. – С. 59-60.

2) Бадриев И.Б., Задворнов О.А. Постановка и исследование стационарных задач фильтрации при наличии точечного источника// Материалы XIV Международной конференции по вычислительной механике и современным прикладным программным системам, Алушта, Крым, 25-31 мая 2005 г. – М: Вузовская книга. - 2005. – С. 60-61

3) Бадриев И.Б., Исмагилов Л.Н., Исмагилов И.Н. Численное исследование нелинейной стационарной анизотропной фильтрации // Материалы XIV Международной конференции по вычислительной механике и современным прикладным программным системам, Алушта, Крым, 25-31 мая 2005 г. – М: Вузовская книга. - 2005. – С. 61-62

4) Бадриев И.Б., Бандеров В.В., Задворнов О.А. Численное моделирование осесимметричных мягких сетчатых оболочек// Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 39-45.

5) Бадриев И.Б., Гнеденкова В.Л., Исмагилов Л.Н. Численное исследование задач фильтрации с многозначным законом// Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 45-50.

6) Бадриев И.Б., Исмагилов И.Н. Исследование некоторых нелинейных краевых задач с вырождением // Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 50-53.

7) Задворнов О.А. Приближенное решение квазивариационных неравенств, описывающих контактные задачи теории мягких оболочек// Материалы XIV Международной конференции по вычислительной механике и современным прикладным программным системам, Алушта, Крым, 25-31 мая 2005 г. – М: Вузовская книга. - 2005. – С. 180-181

Отчет о научной работе факультета ВМК КГУ за 2004 г. 29

8) Задворнов О.А. Исследование итерационного метода решения квазивариационного неравенства с потенциальным оператором// Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 86-91.

9) Задворнов О.А., Исмагилов Л.Н., Шоломов П.В. Исследование нелинейной стационарной задачи фильтрации при наличии точечных источников// Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 91-94.

10) Ляшко А.Д. проекционно-разностные схемы для вырождающихся гиперболических уравнений// Материалы XIV Международной конференции по вычислительной механике и современным прикладным программным системам, Алушта, Крым, 25-31 мая 2005 г. – М: Вузовская книга. - 2005. – С. 294

11) Ляшко А.Д., Федотов Е.М. Проекционно-разностные схемы для вырождающихся гиперболических уравнений// Сеточные методы для краевых задач и приложения. Материалы Шестого Всероссийского семинара. - Казань: Казанский государственный университет. - 2005. - С. 164-167

12) Тимербаев М.Р. Оптимальные схемы МКЭ для задачи с вырождением в угловой точке// Сеточные методы для краевых задач и приложения. Материалы Шестого Всероссийского семинара. - Казань: Казанский государственный университет. - 2005. - С. 212-214.

13) Тимербаев М.Р., Таюпов Ш.И. Метод декомпозиции области для эллиптической задачи с внутренним вырождением коэффициентов// Сеточные методы для краевых задач и приложения. Материалы Шестого Всероссийского семинара. - Казань: Казанский государственный университет. - 2005. - С. 214-216.

14) Федотов Е.М. Об одном алгоритме генерации планарных ортогональных сеток// Сеточные методы для краевых задач и приложения. Материалы Шестого Всероссийского семинара. - Казань: Казанский государственный университет. - 2005. - С. 231-233.

15) Федотов Е.М., Фёдорова Н.А, Кузьмин В.В. История науки в Казанском университете. - Казань: Казанский государственный университет, 2005. - 300 с.

16) Ахтареев А.А., Даутов Р.З. Метод смешанной переменной приближенного решения задачи насыщенно-ненасыщенной фильтрации жидкости в пористой среде// Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 35-39.

17) Глазырина Л.Л., Павлова М.Ф. О единственности решения вариационного неравенства теории совместного движения поверхностных и подземных вод// Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 64-67.

18) Денисова А.И., Даутов Р.З. Приближенный метод определения свободной границы в одномерной параболической задаче с препятствием// Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 77-81.

19) Карчевский М.М., Федотов А.Е. Смешанная схема МКЭ для квазилинейных вырождающихся эллиптических уравнений// Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 129-133.

20) Карчевский М.М., Федотов А.Е. Итерационные методы численной реализации смешанных схем МКЭ для квазилинейных эллиптических уравнений// Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 133-137

21) Корнилов Г.П., Даутов Р.З. Метод решения параметрической задачи на собственные значения на плоскости// Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 149-153.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 30

22) Павлова М.Ф., Рунг Е.В. О сходимости одной неявной разностной схемы для задачи насыщенно-ненасыщенной фильтрационной консолидации// Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 179-182.

23) Рафиков К.Г., Шагидуллин Р.Р. Итерационный метод решения разностного аналога уравнения Лапласа с использованием циклических матриц// Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 185-187.

24) Соловьев С.И. Аппроксимация собственных колебаний пластины при точечном закреплении// Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 200-201.

25) Соловьев С.И. Итерации подпространства для нелинейных спектральных задач// Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 201-203.

26) Шагидуллин Р.Р. Фракталоподобные объекты в теории мягких оболочек// Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 257-259.

27) Аляев В.А., Карчевский М.М., Панфилович В.К. Метод вычисления коэффициента кондуктивной теплопроводности полупрозрачной жидкости//Труды 18 Международной научной конференции “Математические методы в технике и технологиях”. – Казань: Казанский государственный технологический университет, 2005. – С. 131–133.

28) Хакимов Э.М., Шагидуллин Р.Р. О пространственных аспектах моделирования иерархических систем//Материалы второй Всероссийской научно-практической конференции “Динамика и развитие иерархических (многоуровневых) систем. – Казань, 2005. – С. 10–24.

29) Шагидуллин Р.Р., Рафиков К.Г. Нестационарное отрывное осесимметричное обтекание тел вращения//Материалы седьмой международной Казанской летней научной школы – конференции “Теория функций, ее приложения и смежные вопросы”. Труды мат. центра им. Н.И. Лобачевского. – Т. 30, Казань. – С. 163–164.

30) Абдюшева Г.Р. О численном моделировании энтерической нервной системы //Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 23-27.

31) В.С.Желтухин, Е.В.Ольков. Условия разрешимости нелинейной задачи Штурма-Лиувилля // Исследования по прикладной математике : Сб. науч. ст. – Вып. __. – Казань: Унипресс, 2005. С.

32) Игнатьева М.А., Лапин А.В. Решение задачи о препятствии методом декомпозиции области // Ученые записки Казанского университета (принята к печати)

33) Дубровин В.Т. О переносе предельных теорем для независимых случайных величин на случай слабой зависимости. // Исследования по прикладной математике и информатике – 2004 – В. 25. – С. 7.

34) Тумаков Д.Н. Собственные колебания упругой полосы // Препринт ПМФ-05-02. - Казань: Казанск. матем. об-во, 2005. - 26 с.

35) Плещинская И.Е., Плещинский Н.Б. Задача Коши для системы уравнений динамической теории упругости в полупространстве и ее приложения // Препринт ПМФ-05-03. - Казань: Казанск. матем. об-во, 2005. - 30 с.

36) Коннов И.В., Мазуркевич Е.О. Метод регуляризации для смешанных вариационных неравенств // Исслед. по информатике. - Казань, 2005. - Вып. 9. - С.55 - 70.

37) Мазуркевич Е.О. Метод регуляризации для модели равновесия с функцией спроса типа Кобба-Дугласа. // Исследования по информатике. - Казань, 2004. - Вып. 8. - С. 97 - 108.

38) Николаев А.Г., Нурутдинов Ш.Р. Уменьшение избыточности при моделировании отображения, реализующего конечный детерминированный автомат// Исследования по информатике. Выпуск 9. Научно – практическое издание. Институт проблем информатики АН РТ. Казань: Отечество, 2005. С.81 – 86.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 31

39) D. Suleymanov, R. Gilmullin. The Pragmatically-oriented Approach to the Developing of the Tatar-Turkish MT // В сб. Трудов 6-й Международной научно-технической конференции, 26-30 сентября, 2005 г., г. Ульяновск, УлГТУ. – 7 стр.

40) Соловьев В.Д. Структура семантических полей и проблема синонимии. В сб. “Эмоции в языке и речи”. М.: РГГУ. С.119-134 .

41) Соловьев В.Д., Юнсиков В.С. Онлайновая система реставрации изображений , В тр.Всерос. конф. " Научный сервис в сети Интернет " , М.: МГУ , 2005 г. ,с.184-187 .

42) Мубаракзянов Р.Г. Возможности вероятностных упорядоченных k раз читающих и детерминированных один раз читающих бинарных программ несравнимы// Известия вузов. Математика. -- 2005. -- No. 11.

43) Зарипова Р.Р., Ибрагимов Т.И., Салимов Ф.И. Моделирование основных типов интонаций применительно к синтезу татарской речи, Компьютерная лингвистика и интеллектуальные технологии. Труды международной конференции "Диалог 2005", Звенигород, М., "Наука", 2005, c. 160-165

44) Шульгина О. Н. Точный псевдополиномиальный алгоритм решения одной NP-трудной задачи теории расписаний// Сб. иссл. по прикл. матем. и информатике—Вып. №25, 2004.

45) Фазылов В. Р., Щербакова Н. К. О решении задач обработки экспериментальных данных методом опорных векторов с составным шагом// Сб. иссл. по прикл. матем. и информатике —Вып. №25, 2004.

46) Борханов И. Ф., Фазылов В. Р. Оптимальное приведение матрицы стоимостей// Сб. иссл. по прикл. матем. и информатике—Вып. №25, 2004.

47) Андрианова А.А. Минимизация явно квазивыпуклых функций методом центров // Материалы VI Всероссийского семинара «Сеточные методы для краевых задач и приложения», Казань, 30 сент.-3 окт. 2005 г.. – 4 с.

48) Фукин И. А. Метод штрафов с аппроксимацией допустимого множества// Материалы Всероссийской научно-практической конференции «Будущее России: перспективы, стратегии развития», 2 декабря 2004 г.—Изд-во «Талигмат», 2005.—Том 5.—С. 238—241.

49) Фукин И. А. Об экономической интерпретации решения на ЭВМ вспомогательной задачи в методе последовательной безусловной минимизации// Материалы Всероссийской научно-практической конференции «Будущее России: перспективы, стратегии развития», 2 декабря 2004 г.—Изд-во «Талигмат», 2005.—Том 5.—С. 342—345.

50) Заботин Я. И., Фукин И. А. О принципе аппроксимации допустимых множеств в методе штрафных функций// Труды международной конференции, посвященной 75-летию со дня рожд. В. И. Зубова «Устойчивость и процессы управления: SCP—2005», 29 июня – 1 июля 2005 г.—С. 832—838.

51) Фукин И. А. Об одном аглгоритме с заданной точностью в методе барьерных функций// Труды X Ι Ι Ι международной Байкальской школы – семинара «Методы оптимизации и их приложения».—Байкал, 2005.—С. 103-108.

52) Шульгина О. Н. Свойства одной NP-трудной в сильном смысле задачи теории расписаний// Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 266-269.

53) Заботин И. Я. Одна общая схема решения задачи математического программирования и ее использование в алгоритмах минимизации псевдовыпуклых функций// Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 83—86.

54) Фазылов В. Р., Щербакова Н. К. Обработка экспериментальных данных методом опорных векторов с составным шагом// Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 228-231.

55) Борханов И. Ф., Фазылов В. Р. Об оптимальном приведении матрицы стоимостей// Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 54-57.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 32

56) Коннов И.В., Пинягина О.В. Метод спуска для монотонных задач равновесия // Материалы Седьмой международной Казанской летней научной школы-конференции "Теория функций, ее приложения и смежные вопросы" г. Казань, 27 июня - 4 июля 2005 г., С. 86--87.

57) Пинягина О.В. Метод спуска для монотонных смешанных вариационных неравенств // Труды Второй Всероссийской научной конференции "Математическое моделирование и краевые задачи", 1--3 июня 2005 г., Часть 3, Самара, 2005, с.193--194.

58) Пинягина О.В. Применение регуляризации и D-интервальных функций к монотонным задачам равновесия в банаховом пространстве // Материалы Шестого Всероссийского семинара "Сеточные методы для краевых задач и приложения", 30 сентября -- 2 октября 2005 г., Казань, С. 182--185.

59) Бадриев И.Б., Исмагилов Л.Н., Исмагилов И.Н. Постановка и численное исследование нелинейной стационарной анизотропной задачи теории фильтрации // Материалы XIV Международной конференции по вычислительной механики и современным прикладным программным системам (ВМСППС - 2005), г. Алушта, Крым, 25-31 мая 2005 г. - М: Вузовская книга. - 2005. - С. 61-62.

60) Бадриев И.Б., Гнеденкова В.Л., Исмагилов Л.Н. Численное исследование задач фильтрации с многозначным законом // Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 45-50.

61) Задворнов О.А., Исмагилов Л.Н., Шоломов П.В. Численное решение некоторых стационарных задач фильтрации при наличии точечного источника // Сеточные методы для краевых задач и приложения. Материалы 6-го Всероссийского семинара. – Казань: Казанский государственный университет. - 2005. - С. 91-94.

62) Фукин И. А. Об одном подходе к решению задачи экономического планированияф методами последовательной безусловной минимизации// Сборн. науч. трудов Российской научно-метогдической конференции «Совершенствование подготовки IT-специалистов по направлению «прикладная математика» на основе инновационных технологий и e-lerning»: 15-16 декабря 2005 г.—Москва.—2005.—Изд-во МЭСИ.—С.249-252.

63) Латыпов Р.Х. Синтез схем на основе лианеризации диаграмм решений // В сб.: «Инфокоммуник. Технологии глобального информационного общества». – Казань: КГУ, 2005. – С. 106 – 107.

64) 2.1.2. Т.И. Зарипов, Латыпов Р.Х. Алгоритм спектральных преобразований решающих диаграмм // Тр. Всерос. семинара «Сеточные методы для решения краевых задач». – Казань: КГУ, 2005. – С. 94 – 97.

65) Зуев Д.С., Нурутдинов Ш.Р. Уменьшение сложности операции умножения в полях Галуа // "Исследования по прикладной математике": сб. ст. - Казань: Казанский государственный университет. Выпуск 25. 2004 г. – С.62-68.

66) Николаев А.Г., Нурутдинов Ш.Р. Использование избыточности при моделировании полинома, реализующего КДА// "Исследования по прикладной математике": сб. ст. – Казань: Казанский государственный университет. Выпуск 25. 2004 г. – С.92-97.

67) Нурутдинов Ш.Р., Соколов С.Ю. Полиномиальное моделирование в GF(2n) случайных процессов с последействием // "Исследования по прикладной математике": сб. ст. – Казань: Казанский государственный университет. Выпуск 25. 2004 г. – С.97-109.

68) Гостев В.М., Хабибуллин Р.Ф. Об оптимальном выборе пропускных способностей каналов и узлов сетей передачи данных // Исследования по информатике. Выпуск 9. - Казань: Отечество, 2005. - С. 103-116.

69) Нурутдинов Ш.Р. Моделирование конечных детерминированных автоматов в полях Галуа // Труды V Всероссийского семинара "Сеточные методы для краевых задач и приложения"(17-21 сентября 2004г.) - Казань: Отечество, 2004 г.- С.61-64.

70)  Захаров В.М., Нурутдинов Ш.Р. Полиномиальные модели вероятностных автоматов и функций цепей Маркова над полем GF(2n) // В кн. "Эволюционное моделирование". Труды Казанского городского семинара "Методы моделирования". Вып.2. - Казань: Изд-во ФЭН (Наука), 2004.С.51-73.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 33

71) Нурутдинов Ш.Р. Полиномиальное моделирование конечных детерминированных автоматов в полях Галуа // Материалы международной научной конференции "Актуальные проблемы математики и механики". Труды математического центра имени Н.И.Лобачевского. Т.25.-Казань: Изд-во Казанского математического общества. Казань, 26 сентября – 1 октября 2004г. – С.205-206.

72) Захаров В.М., Николаев А.Г., Нурутдинов Ш.Р. Моделирование вероятностного автомата общего вида полиномами над полем GF(2n) // Материалы Шестого Всероссийского семинара – Казань: Казанский государственный университет, 2005.-С.98 – 102.

73)  Бахтиева Л.У., Эскин Л.Д. О модели Парсонса в окрестности критической точки ориентационного фазового перехода в система эллипсоидальных частиц // "Исследования по прикладной математике": сб. ст. – Казань: Казанский государственный университет. Выпуск 25. 2004 г. – С.44 - 50.

74) Латыпов Р.Х. Лианеризация цифровых схем на основе афинных преобразований бинарных решающих диаграмм // Тр. 2-й Всерос. научн. конф. «Методы и средства обработки информации». - М.: МГУ, 2005. – С. 267 – 272.

75) Долгтрева Ю.А., Липенков В.Я., Саламатин А.Н. Особенности образования ансамбля воздушных гидратов в ледниковом покрове Антарктиды в различных климатических условиях. – Материалы 3-ей конференции геокриологов России (МГУ, 1-3 июня, 2005 г.) Том. 1, Часть 3. Газ и газогидраты в криолитосфере Земли, Изд-во МГУ, 2005, 241-247.

76) Цыганова Е.А., Саламатин А.Н., Липенков В.Я. Моделирование процесса роста воздушных гидратов в ледниковом покрове Антарктиды - Материалы 3-ей конференции геокриологов России (МГУ, 1-3 июня, 2005 г.) Том. 1, Часть 3. Газ и газогидраты в криолитосфере Земли, Изд-во МГУ, 2005, 286-292.

77) Волков Ю.А, Кагарманов И.И., Кардоник Г.С., Конюхов В.М., Саламатин А.Н. и др. Тренажер по эксплуатации скважин, оборудованных УЭЦН. // Теория и практика имитационного моделирования и создания тренажеров. Сборник статей Юбилейной Международной научно-практической конференции (Пенза 28 - 29 октября 2004 г.) – Пенза, 2004г. – С. 78-81.

78) Захаров В.М., Нурутдинов Ш.Р., Соколов С.Ю., Шалагин С.В. Модели конечноавтоматных случайных последовательностей над полем GF(2n) // Материалы VIII Международного семинара "Дискретная математика и ее приложения" (2-6 февраля 2004г.)- М:Изд-во центра прикл. исслед. при Мех-Мат фак-те МГУ, 2004.- С.69-72.

79) Нурутдинов Ш.Р. Операция умножения в расширениях полей Галуа// Материалы VIII Международного семинара "Дискретная математика и ее приложения" (2-6 февраля 2004г.) Ч.1.- М:Изд-во центра прикл. исслед. при Мех-Мат фак-те МГУ, 2004.- С.145-148.

80)  Нурутдинов Ш.Р. Генерация псевдослучайных последовательностей с распределением, отличным от равномерного //Труды VI Международной конференции "Дискретные модели в теории управляющих систем ", Москва, (7-11 декабря 2004г.) - М:Издтельский отдел Факультета ВМиК МГУ им. М.В.Ломоносова, 2004. – С.252-254.

81) Гостев В.М. Система оптимизации проектирования сетей передачи данных как технологическая основа учебно-методического комплекса // Телематика - 2005. Труды XII Всерос. науч.-метод. конф. Том 1. - С-Пб., 2005. - С. 237-238.

82) Андрианова А.А. Применение -аппроксимируемости функций в параметризованном методе центров [Текст] // Материалы Воронежской весенней математической школы «Понтрягинские чтения - XVI» (Воронеж, 3-9 мая 2005 г.). – 1 с. (c.17)

83) Фукин И. А. Об одном подходе к решению задачи экономического планированияф методами последовательной безусловной минимизации// Сборн. науч. трудов Российской научно-метогдической конференции «Совершенствование подготовки IT-специалистов по направлению «прикладная математика» на основе инновационных технологий и e-lerning»: 15-16 декабря 2005 г.—Москва.—2005.—Изд-во МЭСИ.—С.249-252.

4.4 Интернет-ресурсы

Отчет о научной работе факультета ВМК КГУ за 2004 г. 34

1) Кашина О. А., Беговатов Е.А., Ибрагимова Л., Хисамова Г., Тимофеевой Е. «Система онлайновой обработки методами математической статистики материалов археологический исследований и визуализация полученных данных» (адрес: http://emics.ksu.ru/ceramics/index.phtml, в соавторстве с.) – 2005.

2) Кашина О. А., Беговатов Е.А., Абдрахимовой «Онлайновые системы определения веса монеты по изображению фрагмента » (адрес: http://emics.ksu.ru/FFile/Cindex.html)-- 2005.

3) Кашина О. А., Беговатов Е.А., Селивановой В. «Онлайновая система определения ероятности пола крупного рогатого скота по метаподиям методом дискриминантного анализа» (адрес: http://emics.ksu.ru/ceramics/FFile/index.phtml)--2005.

4) Кашина О. А., Галеевой В.А., Щербаковой Н.К., Хабибуллиным А.Р. «Система обучения и контроля знаний по статистике» (адрес: http://matstat.ksu.ru/index.htm»)-- 2005.

5) Кашина О. А., Кораблевым А.И., Абдрахимовой Д.Ф. «Симплексный метод линейного программирования» (адрес: http://kek.ksu.ru/EOS/sim/index.html)--2005

Отчет о научной работе факультета ВМК КГУ за 2004 г. 35

5. Тезисы докладов, опубликованные сотрудниками факультета ВМК КГУ (в т.ч. в сборниках научных трудов, указанных в п.2):

5.1. – в зарубежных изданиях - нет;1) Allevi E., Gnudi A., Konnov I.V., Mazurkevich E.O. Partitionable variational inequalities with

multivalued mappings // VIII Symposium on Generalized Convexity and Generalized Monotonicity, Varese, 4-8 July 2005.- Varese, 2005. - P.28.

2) Konnov I.V. Combined relaxation methods for generalized monotone variational inequalities// VIII Symposium on Generalized Convexity and Generalized Monotonicity, Varese, 4-8 July 2005.- Varese, 2005. - P.8-11.

3) Schaible S., Konnov I.V., Yao J.C. Combined relaxation methods for equilibrium problems // VIII Symposium on Generalized Convexity and Generalized Monotonicity, Varese, 4-8 July 2005. - P.100.

4) Missarov M.D., Stepanov R.G., Comparison ε-expansions in the Euclidean and p-adic models //2nd International Conference on p-Adic Mathematical Physics, Abstracts.– 15–21.09.2005, Belgrade, Serbia and Montenegro. – P.32.

5) Stepanov R.G., Renormalization group in 2N-component fermionic hierarchical model //2nd International Conference on p-Adic Mathematical Physics, Abstracts.– 15–21.09.2005, Belgrade, Serbia and Montenegro. – P.32 5.2. – российских изданиях.

1) Исмагилов И.Н. Численное исследование нелинейных стационарных задач теории фильтрации с предельным градиентом// Итоговая научно-образовательная конференция студентов Казанского государственного университета. Тезисы докладов. – Казань: Казанский государственный университет. – 2005. – С. 64

2) Клементьев А.О., Соболев А.А. О схемах МКЭ для двухточечной граничной задачи Дирихле 4-го порядка с вырождением // Итоговая научно-образовательная конференция студентов Казанского государственного университета. Тезисы докладов. – Казань: Казанский государственный университет. – 2005. – С. 61-62.

3) Таюпов Ш.И. Метод декомпозиции области для эллиптической задачи с внутренним вырождением коэффициентов// Итоговая научно-образовательная конференция студентов Казанского государственного университета. Тезисы докладов. – Казань: Казанский государственный университет. – 2005. – С. 62.

4) Беговатов Е.А. Кашина О.А. Задачи реконструкции в археологии на сервере Казанского университета// Культурное многообразие в едином информационном пространстве. Адит 2005. Казань. 2005.

5) Пушкин Л.Н. О нормальности числа по различным основаниям. // Обозрение прикладной и промышленной математики – 2005 – Т. 12. – В.3– С.679-680.

6) Мокейчев В.С., Сидоров А.М.. Об отсутствии ненулевых собственных значений у одной задачи теории волноводов. // Современные методы теории функций и смежные проблемы: Тезисы докладов Воронежской зимней математической школы – Воронеж: ВГУ, 2005 –С.163.

7) Дубровин В.Т. О скорости сходимости в центральной предельной теореме для одного класса преобразований евклидовых пространств. // Обозрение прикладной и промышленной математики: 6-й Всероссийский симпозиум по прикладной и промышленной математике – 2005 – Т. 12. – В.2– С.355-356.

8) И.Ш.Абдуллин, В.С.Желтухин, М.Ф.Шаехов. Математическая модель взаимодействия плазмы высокочастотного разряда пониженного давления с поверхностью твердых тел // Материалы XVII Междунар. Конф. «Взаимодействие ионов с поверхностью (ВИП-2005)»: 25-29 авг. 2005 г., Звенигород. – М., 2005.- Т.2. - С. 292-294.

9) И.Ш.Абдуллин, В.С.Желтухин, А.М.Сунгатуллин, С.В.Морозов Моделирование движения ионов в двойном электрическом слое у шероховатых поверхностей // Материалы VI всеросс. семинара «Сеточ. методы для краевых задач и приложения», Казань, 30.09-02.10.2005 г. С.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 36

10) И.Ш.Абдуллин, В.С. Желтухин, И.Р.Сагбиев. Математическая модель взаимодействия плазмы высокочастотного разряда пониженного давления с поверхностью твердых тел // Материалы VI всеросс. семинара «Сеточ. методы для краевых задач и приложения», Казань, 30.09-02.10.2005 г. С.

11) Абдуллин И.Ш., Желтухин В.С., Красина И.В. Моделирование обработки капиллярно-пористых материалов в высокочастотной плазме // Мат. Методы в техн. и технол. - ММТ-18. Материалы XVIII Междунар. Конф.: в 10 т. Т.5. / Казань, Изд-во Казан. Гос. Технол. Ун-та. 2005. С. 126-128.

12) Беговатов Е.А., Кашина О.А., Недашковский Л.Ф. Решение некоторых задач реконструкции в археологии на сервере Казанского Университета// Археология и компьютерные технологии: представление и анализ археологических материалов. Труды Всероссийской конференции. Ижевск.2005.

13) Беговатов Е.А. Заметка по нумизматике Прикаспийских государств рубежа X- XI вв (Саманиды, Симджуриды,Буиды, Зийариды//Древности Поволжья: эпоха: средневековья. Материалы Всероссийской конференции. Казань. 2005.31-42.

14) Беговатов Е.А. Находки золотоордынских монет в Нижнем Прикамье//Монеты и денежное обращение в монгольских государствах. Труды международной конференции. Москва. 2005.

15) Конюхов В.М., Чекалин А.Н. Моделирование фильтрационно-диффузионного переноса рассола в водоносных пластах // Тез. Всерос. науч. конф. "Современные аспекты экологии и экологического образования" (Казань, Россия, 19 - 23 сентября 2005 г.). Казань, 2005. – С. 531–532.

16)  Насырова Н.Х. Применение средств мультимедиа в обучении студентов гуманитарного профиля по информатике // Тез. Докл. Всерос. учеб.-метод. конф. «Вопросы совершенствования методики преподавания в высшей школе» (Казань, Россия, 17 – 18 марта 2005 г.). – Казань: Изд-во КГМУ, 2005. – С. 87 – 89.

17) Гостев В.М. Организация процесса оптимизации проектирования сетей передачи данных на базе генератора имитационных моделей // Инфокоммуникационные технологии глобального информационного общества. Тез. докл. 3-й междунар. научно-практ. конф. - Казань: Казанский гос. университет, 2005. - С. 58-60.

18) Гостев В.М. Применение имитационных моделей в процессе проектирования сетей передачи данных // Имитационное моделирование. Теория и практика (ИММОД-2005). Тез. докл. 2-й Всерос. научно-практ. конф. (Санкт-Петербург, 19-21 октября 2005 г.).

19) В.С. Мокейчев “Об отсутствии ненулевых собственных значений у одной задачи теории волноводов” // Тез. докл. Воронежской зимней математической школы. Воронеж- 2005г.- С. 163.

20) В.С. Мокейчев “Дифференцирование и интегрирование φ-распределений” // Материалы 7-ой летней научной школы-конференции. Казань- 2005г. – С.110.

21) F. Ablayev, A. Gainutdinova. On Complexity Properties of Quantum Uniform and Nonuniform Automata // International Conference "Quantum Informatics 2005", October 3-7, Moscow, Russia, Programme and Abstracts. - P.O9.

22) Сулейманов Д.Ш. Новые информационные технологии в образовании и инструментальная поддержка обучения татарскому языку // В Материалах международной научно-практической конференции «Информационные технологии в многоуровневой системе образования», 9-10 июня 2005 г. – Казань: ЗАО «Новое знание», 2005. – С. 30-34.

23) Сулейманов Д.Ш., Харисов Ф.Ф., Гильмуллин Р.А., Хасанова Л.Р. Разработка и реализация мультимедийной программы по морфемному разбору татарского слова // Актуальные проблемы обучения татарскому языку в русской школе: Материалы республиканской научно-практической конференции. – Казань: ТГГПУ, 2005. – С. 158-166.

24) Сулейманов Д.Ш., Гильмуллин Р.А., Хасанова Л.Р. Из опыта разработки мультимедийных электронных учебников // В сб. материалов Всероссийской научной конференции «Физиология сердца» 24-25 ноября 2005г. –Казань: ТГГПУ, 2005. – С. 165-166.

25) Соловьев В.Д., Скоробогатов А.В. Исследования по проблеме визуализации объектов культурного наследия в Совместном научно-исследовательском центре КГУ и АН РТ. Тезисы докл. конф. EVA’05. М.: ПИК Минкульт., 2005.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 37

26) Мубаракзянов Р.Г. Иерархия классов сложности, являющихся расширением регулярных языков//Тезисы XIV Международной научной конференции «Проблемы теоретической кибернетики», Пензенский государственный университет, Пенза, май, 2005.

27) Хадиев Р.М.. Заимствования тюкро-татарских слов в других языках. “Сопоставительная филология и полилингвизм”. Материалы II Всероссийской научно-практической конференции.. Казань, 29 ноября – 1 декабря 2005 г. Изд-во «КГУ» Казань. 2005. с 261-264.

28) Хадиев Р.М., Авхадиев И.И., Багавеев Р.Р., Хадиев К.Р.. АОК “Татар теле”. Материалы VI Всероссийского семинара сеточные методы для краевых задач и приложения.. Казань, 1-4 окября 2005 г. Издфо «Школа» Казань. 2005. с 231-232.

29) Биряльцев Е.В., Гусенков А.М., Галимов М.Р. Особенности лексико-семантической структуры наименований артефактов реляционных баз данных , в тр.Казанской школы-семинара TEL-2005, 8-10 декабря 2005.

30) Гусенков А.М., Калимулина М.И. Создание информационных ресурсов “Согласование в русском языке” и “Сочетание в русском языке” в Internet , в тр.Казанской школы-семинара TEL-2005, 8-10 декабря 2005.

Отчет о научной работе факультета ВМК КГУ за 2004 г. 38

IV. Численность сотрудников факультета и их участие в НИР (Приложение 2).

Показатель Сотрудники кафедрывсего в том числе

профессорско-преподавательский состав

учебно-вспомога-тельный

персонал и прочие

всего доктора кандидаты

1 2 3 4 5 6

Всего 128 113 28 63 15

Из них: участвовали в выполнении НИР на правах совместителей, по контрактам или по договорам гражданско-правового характера

68 68 24 44 0