МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РФ

СИБИРСКОЕ ОТДЕЛЕНИЕ РОССИЙСКОЙ АКАДЕМИИ НАУК

ПРАВИТЕЛЬСТВО НОВОСИБИРСКОЙ ОБЛАСТИ

КОМИССИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ ПО ДЕЛАМ ЮНЕСКО

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

ПРОГРАММА

50-й ЮБИЛЕЙНОЙ МЕЖДУНАРОДНОЙ

НАУЧНОЙ СТУДЕНЧЕСКОЙ КОНФЕРЕНЦИИ

«Студент и научно-технический прогресс»

13–19 апреля 2012 г.

ПРОГРАММИРОВАНИЕ И ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ

Новосибирск

2012

УВАЖАЕМЫЕ КОЛЛЕГИ!

Новосибирский государственный университет приглашает Вас принять участие в работе 50-й Юбилейной Международной научной студенческой конференции, которая состоится 13–19 апреля 2012 г. в Новосибирском Академгородке.

Конференция проводится при поддержке Президиума Сибирского отделения Российской Академии наук, Российского фонда фундаментальных исследований (грант № -моб_г), Правительства Новосибирской области, Комиссии РФ по делам ЮНЕСКО, Технопарка Новосибирского Академгородка.

Конференция проведена при финансовой поддержке Министерства образования и науки Российской Федерации в рамках Федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2годы.

© Новосибирский государственный
университет, 2012

ОРГКОМИТЕТ

50-й Юбилейной Международной научной студенческой конференции

«Студент и научно-технический прогресс»

1.

СОБЯНИН Владимир

Александрович, председатель

д-р хим. наук, проф.,
ректор НГУ

2.

НЕТЁСОВ Сергей Викторович,

зам. председателя

д-р биол. наук, чл.-корр. РАН

проректор НГУ

3.

ОРЛОВ Илья Олегович,
ответственный секретарь

зав. отделом НИРС НГУ,
тел. +7 (3

4.

5.

ФОМИНА Екатерина Александровна,
СЕЛЕЗНЁВА Нина Владимировна,
технические секретари

тел. +7 (3

6.

МАРЧУК Александр Гурьевич, научный руководитель секции «Программирование и вычислительные системы»

д-р физ.-мат. наук, проф.

7.

БУЛЬОНКОВ Михаил Алексеевич, председатель секции «Программирование и вычислительные системы»

канд. физ.-мат. наук

8.

ПАК Елена Ванбовна, ответственный секретарь секции «Программирование и вычислительные системы»

тел. +7 (3

ПРОГРАММИРОВАНИЕ

НЕ нашли? Не то? Что вы ищете?

1.  ГАРНЫШЕВ механизма кэширования в шаблоне проектирования Model-View-Controller. Бурятский государственный университет. Научный руководитель — .

2.  ГАТИЛОВ метода Ньютона-Рафсона для решения задач удовлетворения геометрических ограничений. Новосибирский государственный университет. Научный руководитель — канд. физ.-мат. наук .

3.  ГОРЯЧКИН IDE для языка описания алгоритмов в процесс-ориентированном стиле. Новосибирский государственный университет. Научный руководитель — канд. техн. наук, доцент .

4.  ЕРЕМЕЕВ автоматического выявления спецификаций исключений для исходного кода на языке C++. Новосибирский государственный университет. Научный руководитель — канд. физ.-мат. наук, доцент .

5.  ЗАЙЦЕВ теории графов в процессе визуализации структурных матриц цепей Грюблера. Новокузнецкий филиал-институт Кемеровского государственного университета. Научный руководитель — .

6.  КАБЛУКОВ контроля динамической семантики языка предикатного программирования. Новосибирский государственный университет. Научный руководитель — канд. техн. наук .

7.  ЧУШКИН формул корректности предикатной программы. Новосибирский государственный университет. Научный руководитель — канд. техн. наук .

8.  БАТРАКОВ доказательство формул корректности предикатной программы в системе Russell. Новосибирский государственный университет. Научный руководитель — канд. техн. наук .

9.  КАРЧЕВСКИЙ элементов двупорождённых бернсайдовых групп с использованием параллельных вычислений. Сибирский федеральный университет. Научный руководитель — д-р физ.-мат. наук, доцент .

10.  КУЛАГИНА А. В. О параллельных алгоритмах нахождения степеней квадратных матриц. Томский государственный университет. Научный руководитель — доцент .

11.  ПАНКРАТОВ ошибок Fortran-компилятора методом редукции тестовых программ. Новосибирский государственный университет. Научный руководитель — канд. физ.-мат. наук .

12.  СОЛОВЬЕВ А. А., ХАНДАРОВ эволюционных алгоритмов для многокритериальной оптимизации в базах данных MySQL. Бурятский государственный университет. Научный руководитель — канд. физ.-мат. наук, доцент .

13.  ТКАЧЁВА механизма миграции фрагментов для поддержки динамической балансировки в системе фрагментированного программирования. Новосибирский государственный технический университет. Научный руководитель — канд. техн. наук, доцент .

14.  ЩЁКОТОВА и реализация потоковой машины логического вывода на базе ПЛИС. Вятский государственный университет. Научный руководитель — канд. техн. наук, доцент .

ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ

1.  АБРАМОВ движения на базе мобильного телефона с поддержкой JAVA. Забайкальский государственный университет. Научный руководитель — канд. физ.-мат. наук, доцент .

2.  ВОЛКОВА Д. А., ЗЕМЦЕВ информационно-вычислительной среды для работы с данными экологических наблюдений. Новосибирский государственный университет. Научный руководитель — канд. физ.-мат. наук, доцент .

3.  ГРЕБЕНЩИКОВ автоматизированной подсистемы контроля и учёта использования программного обеспечения. Инновационный евразийский университет. Научный руководитель —доцент .

4.  ЖЕВАЛУН В. А., СУХОМЯСОВ движка для моделирования физических свойств объектов. Северо-Восточный федеральный университет им. . Научный руководитель — канд. пед. наук .

5.  ИЖОВКИН И. Н., ЛЕВАНОВ когнитивного анализа данных "ОТЭКС 2". Новосибирский государственный университет. Научный руководитель — д-р техн. наук, проф. .

6.  ЛЯШЕВ Б. В., ФЕДОРОВ "AutoStartSystem". Забайкальский государственный университет. Научный руководитель — канд. техн. наук, доцент .

7.  НИКОЛАЕВ вычислительных программ метода частиц в ячейках с помощью координационного языка S-NET. Новосибирский государственный университет. Научный руководитель — канд. физ.-мат. наук, доцент .

8.  ПАЗНИКОВ алгоритмы вложения параллельных MPI-программ в мультикластерные вычислительные системы. Сибирский государственный университет телекоммуникаций и информатики, Институт физики полупроводников им. СО РАН.

9.  САЛМИН процесса регрессионного тестирования на основе тестового покрытия. Новосибирский государственный университет, А/О». Научный руководитель — канд. физ.-мат. наук, доцент .

10.  СИНАГАТУЛЛИН символического метода финитных итераций и его применение для программ над указателями. Новосибирский государственный университет, Институт систем информатики имени СО РАН, финансовых технологий». Научный руководитель — канд. физ.-мат. наук, доцент .

11.  СТЕПАНКЕВИЧ камеры-обскуры по одному виду и малому количеству соответствий. Новосибирский государственный университет. Научный руководитель — д-р техн. наук, доцент .

12.  ТУМАШОВ метод предсказания мотивов ДНК с помощью генетического алгоритма. Новосибирский государственный университет. Научный руководитель — канд. физ.-мат. наук .

13.  УСОВА сравнение алюминиевых профилей с эталоном. Новосибирский государственный университет. Научный руководитель — д-р техн. наук, доцент .

14.  ФИРСОВ системы "Discovery" с Microsoft Decision Trees. Новосибирский государственный университет. Научный руководитель — д-р физ.-мат. наук, доцент .

НГУ Тираж 60 экз., 2012 г.