Международная конференция "Современные проблемы математики, информатики и биоинформатики", посвященная 100-летию со дня рождения члена-корреспондента АН СССР Алексея Андреевича Ляпунова № гос. регистрации

^*ФГАОУ ВПО "Сибирский федеральный университет" (Красноярск), Россия
^**Учреждение Российской академии наук Красноярский научный центр Сибирского отделения РАН), Сибирский федеральный университет (Красноярск), Россия

10. Бычков Игорь Вячеславович*, Ружников Г.М.*, Хмельнов А.Е.*

Локальная инфраструктура пространственных данных Иркутского научного центра СО РАН

^*Учреждение Российской академии наук Институт динамики систем и теории управления СО РАН (Иркутск), Россия

1. Emilianov Victor*

НР в России

^*Хьюлетт-Паккард (Новосибирcк), Россия

2. Бездушный Анатолий Николаевич*, Яременко Ф.В.*

К вопросу выражения требований федеральных законов в виде формальных спецификаций бизнес-процессов

^*Вычислительный Центр им. А.А. Дородницына РАН

3. Поддубный Василий Васильевич*, Кубарев А.И.*, Шевелёв О.Г.*, Кукушкина О.В.**

Построение таблиц стилей текстовых произведений с использованием алгоритмов классификации на основе деревьев решений

^*Томский государственный университет (Томск), Россия
^**Московский государственный университет имени М.В. Ломоносова

4. Бездушный Анатолий Николаевич*, Костин В.В.*

К вопросу создания информационно-аналитической системы месторождений редких металлов

^*Вычислительный Центр им. А.А. Дородницына РАН

5. Брагинская Людмила Петровна*, Григорюк А.П.*

Управление данными экспериментов с использованием web-технологий

^*Институт вычислительной математики и математической геофизики СО РАН (Новосибирcк), Россия

6. Гуменюк Александр Степанович*

О связях объектов внутреннего пространства информационной системы системы

^*Омский государственный технический университет (Омск), Россия

7. Дармаев Тумэн Гомбоцыренович*

Веб-ориентрованная информационная система функциональной диагностики

^*Бурятский государственный университет, НОИЦ СИА (Улан-Удэ), Россия

8. Дармаев Тумэн Гомбоцыренович*

Геоинформационная система для анализа этноэкологического потенциала республики Бурятия

^*Бурятский государственный университет, НОИЦ СИА (Улан-Удэ), Россия

9. Дягилев Вадим Викторович*, Цхай А.А.**, Бутаков С.В.***

Архитектура и алгоритмы сервиса обнаружения плагиата

^*Алтайский государственный технический университет (Барнаул), Россия
^**Алтайская академия экономики и права (Барнаул), Россия
^***Международная школа бизнеса Солбридж (Daejeon), Корея (Южная)

10. Журавлева Нина Владимировна*

Критерии выбора технологических процессов для реализации виртуальных лабораторных стендов

^*Институт автоматики и электрометрии СО РАН (Новосибирcк), Россия

11. Барахнин В.Б.*, Федотов Анатолий Михайлович*

Проблемы разработки технологии фактографического поиска

^*Институт вычислительных технологий СО РАН (Новосибирск), Россия

12. Князева Анна Анатольевна*, Колобов О.С.**

Восстановление связей между библиографическими записями

^*Институт вычислительных технологий СО РАН (Новосибирск), Россия
^**Институт сильноточной электроники СО РАН (Томск), Россия

13. Колобов Алексей Николаевич*

Моделирование внутривидовой и межвидовой конкуренции в разновозрастных древесных сообществах

^*Институт комплексного анализа региональных проблем ДВО РАН (Биробиджан), Россия

14. Колобов Олег Сергеевич*, Турчановский И.Ю.*

Модель сервис-ориентированной архитектуры для автоматизированного электронного каталога библиотеки

^*Институт сильноточной электроники СО РАН (Томск), Россия

15. Лисьев Григорий Авенирович*

Постановка задачи моделирования и экономическая интерпретация эффектов взаимодействия агентов в «высокоинтеллектуальной» организации

^*ГОУ ВПО «Магнитогорский государственный университет» Факультет, кафедра: факультет информатики, кафедра информатики (Магнитогорск), Россия

16. Опарин В.Н.*, Потапов В.П.**, Пястунович Ольга Леоновна**

Вопросы создания современных систем геомониторинга на основе интеграции ДДЗ и облачных вычислений

^*Институт горного дела СО РАН (Новосибирcк), Россия
^**Институт вычислительных технологий СО РАН, кемеровский филиал (Кемерово), Россия

17. Приступа Андрей Викторович*

Подсистема автоматизированного проектирования дорожной разметки и знаков в составе информационно-аналитического программного комплекса «AUTOROAD»

^*Томский государственный университет (Томск), Россия

18. Разумов Владимир Ильич*, Сизиков В.П.**, Рыженко Л.И.***

Смысловая экспертная система на базе ТДИС

^*Омский государственный университет им. Ф.М. Достоевского (Омск), Россия
^**Омский государственный университет путей сообщения (Омск), Россия
^***Сибирская государственная автомобильно-дорожная академия (Омск), Россия

19. Казаков Виталий Геннадьевич*

Развитие технологий электронного обучения в Новосибирском госуниверситете. Страницы истории

^*Новосибирский государственный университет (Новосибирcк), Россия

20. Федосов Евгений Николаевич*

Модификация алгоритма кластеризации K-means и применение полученного алгоритма для решения задачи семантического анализа видео

^*Томский государственный университет (Томск), Россия

21. Федотов Анатолий Михайлович*, Леонова Ю.В.*

К проблеме построения модели поискового образа документа

^*Институт вычислительных технологий СО РАН (Новосибирск), Россия

22. Юданов Федор Николаевич*

Система управления информационными ресурсами НГУ

^*Новосибирский государственный университет, Институт вычислительных технологий СО РАН (Новосибирcк), Россия

23. Яременко Федор Викторович*, Бездушный А.Н.*

Проблемы описания документооборота в виде онтологий и потоков работ

^*Вычислительный Центр им. А.А. Дородницына РАН

24. Молородов Юрий Иванович*

Анализ и хранение данных о состоянии окружающей среды

^*Институт вычислительных технологий СО РАН (Новосибирск), Россия

25. Массель Людмила Васильевна*, Копайгородский А.Н.*

ИТ-инфраструктура научных исследований как "облако"

^*Институт систем энергетики им. Л.А. Мелентьева СО РАН (Иркутск), Россия

1. Matushkin Yury Georgievich*, Лихошвай В.А.*, Левитский В.Г.*

О связи первичной структуры 5'-нетранслируемых областей и кодирующих частей генов дрожей

^*Институт цитологии и генетики СО РАН (Новосибирcк), Россия

2. Бабенко Владимир*

Nucleosome phasing grid in DNA satellites

^*Институт цитологии и генетики СО РАН (Новосибирcк), Россия

3. Полякова Галина Леонидовна*, Лбов Г.С., Гусев В.А.*, Алтынцева В.**, Габриэль В.А.**

Метод поиска логических закономерностей в структуре генома

^*Институт математики им. С.Л. Соболева CО РАН (Новосибирcк), Россия
^**Новосибирский государственный университет (Новосибирcк), Россия

4. Гунбин Константин Владимирович*, Суслов В.В.*, Афонников Д.А.*

Генетическая основа макроэволюционных преобразований: исследование режимов молекулярной эволюции ортологичных белков позвоночных и беспозвоночных

^*Институт цитологии и генетики СО РАН (Новосибирcк), Россия

5. Осадчук Александр Владимирович*, Дьяков М.С.*, Airey D.C.**, Lu L.***, Threadgill D.W.****, Williams R.W.***

Множественная-QTL генетическая диссекция сложных количественных признаков: разработка синергического подхода

^*Институт цитологии и генетики СО РАН (Новосибирcк), Россия
^**Vanderbilt University, Department of Pharmacology (Nashville, TN), США
^***Center for Neuroscience and Department of Anatomy and Neurobiology, University of Tennessee (Memphis, TN), США
^****Dept of Genetics, North Carolina State University (Raleigh, NC ), США

6. Pavlovikj Natasha*, Ivanoska I.*, Kalajdziski S.*

Efficient and fast protein function prediction

^*Ss. Cyril and Methodious University, Faculty of Electrical Engineering and Information Technologies, Skopje (Skopje), Македония

7. Шайдуллин И.И., Катохин А.В.*, Ефимов Вадим Михайлович*

Многомерный анализ микрочиповых данных для выявления потенциальных маркеров болезни Хантингтона

^*Институт цитологии и генетики СО РАН (Новосибирcк), Россия

8. Евдокимов Александр Андреевич*, Семёнов А.А.**

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

^*Институт математики им. С.Л. Соболева CО РАН (Новосибирcк), Россия
^**Институт динамики систем и теории управления имени В.М. Матросова СО РАН (Иркутск ), Россия

9. Миронова В. В., Новоселова Е.С.*, Лихошвай В.А.*

Математическая модель распределения ауксина в корне растений

^*Институт цитологии и генетики СО РАН (Новосибирcк), Россия

10. Иляскин Александр Владимирович*, Каткова Л.Е.*, Батурина Г.С.*, Карпов Д.И.**, Медведев Д.А.**, Ершов А.П.**, Соленов Е.И.*

Исследование транспорта Na+ через мембрану клетки с помощью математического моделирования

^*Институт цитологии и генетики СО РАН (Новосибирcк), Россия
^**Институт гидродинамики им. М.А. Лаврентьева СО РАН (Новосибирcк), Россия

11. Перцев Николай Викторович*

Математические проблемы в задаче моделирования процесса кроветворения

^*Омский филиал Института математики им. С.Л. Соболева СО РАН (Омск), Россия

12. Правдин С.Ф.*, Панфилов А.В.**, Кацнельсон Л.Б.***, Соловьева Ольга Эдуардовна***, Бердышев В.И.*, Мархасин В.С.***

Математическая модель архитектоники и электрической активности левого желудочка сердца человека

^*Институт математики и механики УрО РАН (Екатеринбург), Россия
^**Гентский университет (Гент), Бельгия
^***Институт иммунологии и физиологии УрО РАН (Екатеринбург), Россия

13. Киселев Илья Николаевич*, Семисалов Б.В.**, Бибердорф Э.А.***, Леонова Т.И.****, Шарипов Р.Н.*****, Блохин А.М.**, Колпаков Ф.А.*

Агентное моделирование середечно-сосудистой системы человека

^*Design Technological Institute of Digital Techniques SB RAS (Новосибирск), Россия
^**Институт математики им. С.Л. Соболева CО РАН (Новосибирcк), Россия
^***Институт математики СО РАН (Новосибирcк), Россия
^****ООО «Институт Системной Биологии» (Новосибирcк), Россия
^*****Institute of Cytology and Genetics SB RAS (Новосибирcк), Россия

14. Дудкин Кирилл Николаевич*, Чуева И.В.*

Нейрокибернетические принципы физиологической организации поведения

^*Институт физиологии им. И.П. Павлова РАН (Санкт-Петербург), Россия

15. Обухов Юрий Владимирович*, Королев М.С.*

Частотно - временной анализ многоканальных ЭЭГ мозга, ориентированный на поиск признаков заболевания Паркинсона на ранней стадии

^*ИРЭ им. В.А.Котельникова РАН (Москва), Россия

16. Пальянов Андрей Юрьевич*, Хайрулин С.С.*

О перспективах создания первого виртуального организма - биологически обоснованной компьютерной модели нематоды C. elegans, включающей нервную систему

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

17. Переварюха Андрей Юрьевич*

Качественное различие режимов поведения в моделях динамики популяций таксономически близких видов

^*Санкт-Петербургский институт информатики РАН (Санкт-Петербург), Россия

18. Жданова Оксана Л*

Оптимальный промысел и генетическое разнообразие в структурированной популяции

^*Институт автоматики и процессов управления ДВО РАН (Владивосток), Россия

19. Авилов Константин Константинович*, Романюха А.А.*

Математические модели в эпидемиологии туберкулеза

^*Институт вычислительной математики РАН (Москва), Россия

20. Пененко Владимир Викторович*

Математические модели для оценок экологических рисков в условиях изменяющегося климата

^*Институт вычислительной математики и математической геофизики СО РАН (Новосибирcк), Россия

21. Голубятников Владимир Петрович*, Бухарина Т.А.**, Фурман Д.П.**

Модель центрального регуляторного контура одной многокомпонентной генной сети

^*Институт математики СО РАН им. С.Л.Соболева (Новосибирск), Россия
^**Институт цитологии и генетики (Новосибирск), Россия

22. Душенин Денис Юрьевич*

Численное моделирование нелинейной динамики ЭЭГ на основе мезоскопической модели мозговых нейронов

^*Технологический институт Южного федерального университета в г. Таганроге (Таганрог), Россия

23. Федотов А.М.*, Медведев С.Б.*, Пестунов Александр Игоревич*

Влияние параметров на устойчивость биосферной модели

^*Институт вычислительных технологий СО РАН (Новосибирск), Россия

24. Цветова Елена Александровна*

Математическое моделирование разномасштабных гидрофизических процессов как основных факторов тепло- и массопереноса в экосистеме озера Байкал

^*Институт вычислительной математики и математической геофизики СО РАН (Новосибирcк), Россия

25. Витяев Е.Е.*, Васькин Ю. Ю., Хомичева И.В.

Анализ последовательностей регуляторных районов генов реляционной системой Expert Discovery, встроенной в пакет UGENE

^*Институт математики им. С.Л. Соболева CО РАН (Новосибирcк), Россия

Стендовые доклады(39)

12.10.2011 14:30 - 15:30

ИЦиГ СО РАН. Конференц зал.

Председатель - Лихошвай В.А.

1. Minaev Boris Filipovich*, Minaeva V.A.*, Baryshnikov G.V.*, Cherkasova O.P.**

Density functional theory application to the steroid hormones spectroscopic bioclassification

^*Bohdan Khmelnitskij National University (Черкассы), Украина
^**Institute of Laser Physics SB RAS (Новосибирск), Россия

2. Аверина Татьяна Александровна*

Моделирование экологической системы “хищник-жертва”

^*Институт вычислительной математики и математической геофизики СО РАН (Новосибирcк), Россия

3. Бухурова Марета Мухамедовна*

О приближенном решении уравнения роста биомассы

^*НИИ ПМА КБНЦ РАН (Нальчик), Россия

4. Васильева Анастасия Дмитриевна*, Соловьева О.Э.*

Качественная оценка причин изменения электрической активности в моделях возбудимых клеток

^*Институт иммунологии и физиологии УрО РАН (Екатеринбург), Россия

5. Вуколова Ирина Александровна*, Стрелкова М.Е.**

Система дистанционного мониторинга природных комплексов национального парка "Куршская коса"

^*Всероссийский институт повышения квалификации руководящих работников и специалистов лесного хозяйства (Пушкино), Россия
^**Московский государственный университет леса (Мытищи, Московская обл. ), Россия

6. Гавриловская Надежда Владимировна*

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

^*Алтайский государственный университет (Барнаул), Россия

7. Фомин В.М.*, Акулов А.Е.**, Ганимедов В.Л.*, Мошкин М.П.**, Садовский Алексей Сергеевич*

Математическое моделирование течения воздуха в носовой полости лабораторной мыши

^*Институт теоретической и прикладной механики им. С.А. Христиановича СО РАН (Новосибирcк), Россия
^**Институт цитологии и генетики СО РАН (Новосибирcк), Россия

8. Дьяков Михаил Станиславович*, Осадчук А.В.*

Программный пакет для множественного-QTL генетического анализа сложных количественных признаков

^*Институт цитологии и генетики СО РАН (Новосибирcк), Россия

9. Шарипов Руслан Н.*, Евшин И.С., Филипенко М.Л., Кондрахин Ю.В., Боярских У.А., Дымшиц Г.М., Колпаков Ф.А.**

Реконструкция путей сигнальной трансдукции, участвующих в развитии рассеянного склероза у человека

^*Institute of Cytology and Genetics SB RAS (Новосибирcк), Россия
^**Design Technological Institute of Digital Techniques SB RAS (Новосибирск), Россия

10. Зотова Т.Ю.*, Зотов Александр Константинович*

Вероятностный принцип интеграции живых систем

^*Российский университет дружбы народов (Москва), Россия

11. Иванов Антон Геннадьевич*, Дьякович М.П.

Технология поддержки принятия решения в диагностике профессиональных нейротоксикозов

^*Ангарский филиал УРАМН ВСНЦ экологии человека СО РАМН – НИИ медицины труда и экологии человека (Ангарск), Россия

12. Игнатьева Елена Васильевна*

База знаний по регуляции транскрипции генов эукариот

^*Институт цитологии и генетики СО РАН (Новосибирcк), Россия

13. Игнатьева Елена Васильевна*

The pattern of SNPs distribution in the human genome

^*Институт цитологии и генетики СО РАН (Новосибирcк), Россия

14. Ильин Олег Игоревич*

Об одной игровой задаче управления в модели популяции

^*Камчатский научно-исследовательский институт рыбного хозяйства и океанографии (Петропавловск-Камчатский), Россия

15. Каркач Арсений Сергеевич*

Математическая модель природно-очагового клещевого Лайм-боррелиоза

^*Институт вычислительной математики РАН (Москва), Россия

16. Киселев Илья Николаевич*

Реконструкция комплексной модели регуляции кровообращения у человека (по Guyton et al., 1972) с применением композиционного подхода в системе BioUML

^*Design Technological Institute of Digital Techniques SB RAS (Новосибирск), Россия

17. Кулаков Матвей Павлович*

Моделирование пространственной динамики сообществ связанных миграцией

^*Институт комплексного анализа региональных проблем ДВО РАН (Биробиджан), Россия

18. Кутумова Елена Олеговна*

Редукция модели CD95-индуцируемого апоптоза

^*Design Technological Institute of Digital Techniques SB RAS (Новосибирск), Россия

19. Лютикова Лариса Адольфовна*

Использование четырехзначных логических систем для анализа ДНК- вычислений

^*НИИ ПМА КБНЦ РАН (Нальчик), Россия

20. Мельчакова Мария Александровна*, Ефимов В.М.**

О метрических свойствах эволюционных расстояниях

^*Новосибирский государственный университет (Новосибирcк), Россия
^**Институт цитологии и генетики СО РАН (Новосибирcк), Россия

21. Морозова Людмила Аркадьевна*, Савельев С.В.**

Дальнодействующая связь живых организмов

^*Администрация города Фрязино (Щелково), Россия
^**Фрязинский филиал института радиотехники и электроники РАН (Москва), Россия

22. Неверова Галина Петровна*

Нелинейные режимы динамики лимитированной популяции с различной рождаемостью у особей репродуктивного возраста

^*Учреждение Российской Академии Наук Институт комплексного анализа региональных проблем (Биробиджан), Россия

23. Носова Е.А.*, Перцев Николай Викторович**

Модель динамики групп риска и распространения ВИЧ-инфекции

^*Федеральное Государственное Учреждение "Центральный научно-исследовательский институт организации и информатизации здравоохранения" Минздравсоцразвития РФ (Москва), Россия
^**Омский филиал Института математики им. С.Л. Соболева СО РАН (Омск), Россия

24. Пахт Елена Владимировна*

Моделирование с неопределенностью экосистемы озера

^*Far Eastern State Technical Fishery University (Владивосток), Россия

25. Пичугин Борис Юрьевич*

Population Modeler: программа для индивидуум-ориентированного моделирования сообществ взаимодействующих особей

^*Омский филиал Института математики им. С.Л. Соболева СО РАН (Омск), Россия

26. Поздниченко Николай Николаевич*

Кластерзация организмов по характеристикам строя их ДНК

^*Омский государственный технический университет (Омск), Россия

27. Ревуцкая Оксана Леонидовна*

Моделирование динамики численности и оптимизация промысла для популяции с возрастной и половой структурой

^*Учреждение Российской Академии наук Институт комплексного анализа региональных проблем ДВО РАН (Биробиджан), Россия

28. Резниченко Александр*

Метод фрактальной обработки кардиоинтервалограмм в диагностических целях

^*- (Таганрог), Россия

29. Самигулина Галина Ахметовна*, Чебейко Г.А.**

Иммунносетевое моделирование зависимости "структура-свойство" лекарственных препаратов

^*Институт проблем информатики и управления МОН РК (Алматы), Казахстан
^**Институт проблем информатики МОН РК (Алматы), Казахстан

30. Семёнов Денис Александрович*, Кузьмина О.**

Исследование закономерностей, обнаруженных в таблицах использования кодонов

^*ГОУ ВПО "Тюменский государственный университет" (Тюмень), Россия
^**Tyumen State University (Тюмень), Россия

31. Стрелкова Маргарита Евгеньевна*

Принципы ведения мониторинга природных комплексов в национальных парках Европы

^*Московский государственный университет леса (Мытищи, Московская обл. ), Россия

32. Тимонов Владимир Сергеевич*, Гунбин К.В.*, Казанцев Ф.В.*, Акбердин И.Р.*, Деменков П.С.*, Лашин С.А.*, Ананько Е.А.*, Иванисенко В.А.*, Подколодный Н.Л.**

Моделирование генных сетей: система GeneNet в 2011 году

^*Институт цитологии и генетики СО РАН (Новосибирcк), Россия
^**Институт вычислительной математики и математической геофизики СО РАН (Новосибирcк), Россия

33. Топаж Александр Григорьевич*, Полуэктов Р.А.*, Медведев С.А.**

Среда поливариантного анализа динамических моделей агроэкосистем

^*ГНУ Агрофизический НИИ Россельхозакадемии (Санкт-Петербург), Россия
^**ГНУ Агрофизический НИИ Россельхозакадемии glorguin@yandex.ru (Санкт-Петербург), Россия

34. Колпаков Ф.А.*, Тяжев И.В., Толстых Н. И., Кудрявцева Е.Н., Шарипов Р.Н.**, Боярских У.А., Филипенко М.Л., Лифшиц Г.И.

Разработка программного комплекса для поддержки медико-генетических исследований

^*Design Technological Institute of Digital Techniques SB RAS (Новосибирск), Россия
^**Institute of Cytology and Genetics SB RAS (Новосибирcк), Россия

35. Филимонов Вячеслав Аркадьевич*

Взаимодействие информатики, математики и биоинформатики в многодисциплинарном комплексе «ГЕН-ГУРУ»

^*Омский филиал Института математики им. С.Л. Соболева СО РАН (Омск), Россия

36. Харченко Виктория Евгеньевна*

Модульный подход к морфологическому анализу расположения цветков на растениях

^*Луганский национальный аграрный университет (Луганск), Украина

37. Хворова Любовь Анатольевна*

Модель теплового режима почвы в пространственно-дифференцированных технологиях точного земледелия

^*Алтайский государственный университет (Барнаул), Россия

38. Вшивкова Ольга Антоновна*, Хлебопрос Р.Г.**

Элиминация иксодового клеща из экосистем: три сценария, три характерных времени

^*Учреждение Российской академии наук Красноярский научный центр Сибирского отделения РАН (Красноярск), Россия
^**Учреждение Российской академии наук Красноярский научный центр Сибирского отделения РАН), Сибирский федеральный университет (Красноярск), Россия

39. Панин Александр Геннадьевич*, Хайруллова Ю.*

Применение мультиэвристического подхода совместно со специальным алгоритмом архивации для сравнения последовательностей ДНК

^*Тольяттинский государственный университет (Тольятти), Россия

Программирование(17)

12.10.2011 09:00 - 17:00

ИСИ СО РАН, к. 254

Председатель - Марчук А.Г.

1. Куликов Александр Иванович*

Программно-аппаратный комлекс "Вокальный тренер"

^*Высший колледж информатики НГУ (Новосибирcк), Россия

2. Брусенцов Леонид Евгеньевич*

Исследование возможностей автоматической оптимизации программ

^*Институт автоматики и электрометрии СО РАН (Новосибирcк), Россия

3. Промский Алексей Владимирович*

На пути к верификации Си-программ: стандартная библиотека

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

4. Сизиков Виктор Петрович*

Языки программирования нового уровня

^*Омский государственный университет путей сообщения (Омск), Россия

5. Фирсов Николай Иванович*

Сравнение cистемы «Discovery» c Microsoft Association Rules

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

6. Хмельнов Алексей Евгеньевич*

Генерация кода для чтения данных по спецификациям форматов файлов на языке FlexT

^*Учреждение Российской академии наук Институт динамики систем и теории управления СО РАН (Иркутск), Россия

7. Шелехов Владимир Иванович*

Методы доказательства корректности программ с хорошей логикой

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

8. Сущенко Сергей Петрович*, Кокшенев В.В.*

Анализ пропускной способности транспортного протокола в нагруженном тракте передачи данных

^*Томский государственный университет (Томск), Россия

9. Chunina Anastasia Alexandrovna*

Создание реалистичных 3D-деревьев.Математическая модель дерева

^*Reshetnev Siberian State Aerospace University (Красноярск), Россия

10. Немытых Андрей Петрович*

Графическое отображение некоторых понятий суперкомпиляции (трассировщик суперкомпилятора SCP4)

^*Program Systems Institute of RAS (Pereslavl-Zalessky), Россия

11. Варламов Олег Олегович*

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

^*Московский автомобильно-дорожный государственный технический университет (Москва), Россия

12. Непомнящая Анна Шмильевна*

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

^*Институт вычислительной математики и математической геофизики СО РАН (Новосибирcк), Россия

13. Ostapkevich M.*, Piskunov S.V.*

The development of WinALT simulation system

^*Institute of Computational Mathematics and Mathematical Geophysics SB RAS (Новосибирcк), Россия

14. Лукин Николай Алексеевич*

Синтез архитектур функционально-ориентированных процессоров на основе оценок аппаратной и временной сложности вычислений в базисе схем из функциональных элементов

^*Институт машиноведения УрО РАН (Екатеринбург), Россия

15. Соколов Алексей Евгеньевич*

Исследование библиотек технического зрения для разработки системы учёта движения на перекрёстках

^*Институт автоматики и электрометрии СО РАН (Новосибирcк), Россия

16. Слядников Евгений Евгеньевич*

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

^*Отдел проблем информатизации ТНЦ СО РАН (Томск), Россия

17. Пупатенко Илья Викторович*

Система интерпретации данных сейсмотомографического обследования железнодорожной насыпи

^*Институт автоматики и электрометрии СО РАН (Новосибирcк), Россия

Вычислительные системы(15)

12.10.2011 10:00 - 17:00

ИВМиМГ, каб. 342. Каб. акад. Алексеева А.С.

Председатель - Марченко М.А.

1. Сайфуллина Лениза Васимовна*, Еникеев М.Р.*, Губайдуллин И.М.*

Программное обеспечение для моделирования процесса окислительной регенерации на многопроцессорных вычислительных системах

^*Башкирский государственный университет (Уфа), Россия

2. Винс Дмитрий Владимирович*, Подкорытов Д.И.*

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

^*Институт вычислительной математики и математической геофизики СО РАН (Новосибирcк), Россия

3. Глинский Б.М.*, Родионов Алексей Сергеевич**, Марченко М.А.*

Имитационное моделирование СуперЭВМ экзафлопсной производительности

^*Институт вычислительной математики и математической геофизики СО РАН (Новосибирcк), Россия
^**ИМВМиМГ СО РАН (Новосибирск), Россия

4. Жуматий Сергей Анатольевич*, Стефанов К.С.*, Антонов А.С.*, Жолудев Ю.А.*, Воеводин В.В.*, Никитенко Д.А.*

Подход к анализу эффективности больших вычислительных систем и программ

^*Научно-исследовательский вычислительный центр МГУ (Москва), Россия

5. Каменщиков Леонид Петрович*

О реализации метода частиц на параллельных ЭВМ

^*Институт вычислительного моделирования СО РАН (Красноярск), Россия

6. Каменщиков Леонид Петрович*

Высокопроизводительные вычисления на основе DVM-системы программирования

^*Институт вычислительного моделирования СО РАН (Красноярск), Россия

7. Лазарева Галина Геннадьевна*, Корнеев В.Д.*, Бабичев А.В.**

Параллельный алгоритм для решения нестационарной задачи мантийных течений

^*Институт вычислительной математики и математической геофизики СО РАН (Новосибирcк), Россия
^**ОИГГМ СО РАН (Новосибирcк), Россия

8. Ларичева Мария*, Кашковский А.В.*

Алгоритм параллелизации метода ПСМ на графических картах

^*Институт теоретической и прикладной механики им. С.А. Христиановича СО РАН (Новосибирcк), Россия

9. Марченко Михаил Александрович*

Высокопроизводительные вычисления по методу Монте-Карло с использованием библиотеки PARMONC

^*Институт вычислительной математики и математической геофизики СО РАН (Новосибирcк), Россия

10. Митихин Вячеслав Георгиевич*

Модели производительности процессоров

^*Московский государственный текстильный университет (Москва), Россия

11. Панин Александр Геннадьевич*, Точёная М.Н.*

Несколько подходов к оптимизации алгоритма вейвлет-преобразования, реализованного на графическом процессоре

^*Тольяттинский государственный университет (Тольятти), Россия

12. Снытников Валерий Николаевич*, Михайленко Б.Г.**, Кукшева Э.А., Кучин Н.А., Стадниченко О.А., Стояновская О.П.

Решение нестационарных задач астрокатализа на суперкомпьютерах Сибирского Суперкомпьютерного Центра

^*Институт катализа им. Г.К. Борескова СО РАН (Новосибирск), Россия
^**Институт вычислительной математики и математической геофизики СО РАН (Новосибирcк), Россия

13. Соловьев Александр Анатольевич*, Резник А.Л., Торгов А.В.

Специализированные программные системы для проведения аналитических выкладок как инструмент решения вероятностных задач со случайным разбиением интервала

^*Институт автоматики и электрометрии СО РАН (Новосибирcк), Россия

14. Стрижак Сергей Владимирович*

Решения HP в области построения гибридных кластеров

^*HP (Москва), Россия

15. Черных Игорь Геннадьевич*, Глинский Б.М.*, Куликов И.М.*

Сибирский Суперкомпьютерный Центр ИВМиМГ СО РАН: высокопроизводительные вычисления, прикладное программное обеспечение.

^*Институт вычислительной математики и математической геофизики СО РАН (Новосибирcк), Россия

Анализ, геометрия, дифф.уравнения(9)

12.10.2011 10:00 - 13:40

ИМ СО РАН, к.417

Председатель - Bazaikin Y.V.

1. Демиденко Владимир Геннадьевич*

Identification of the systems of linear difference equations

^*Институт вычислительных технологий СО РАН (Новосибирск), Россия

2. Талышев Александр Алексеевич*

Построение базиса дифференциальных инвариантов конечномерной группы Ли средствами компьютерной алгебры

^*Новосибирский государственный университет (Новосибирcк), Россия

3. Тайманов Искандер Асанович*, Базайкин Я.В.*

Теория Морса и численные алгоритмы вычисления топологических характеристик трехмерных тел

^*Институт математики им. С.Л. Соболева CО РАН (Новосибирcк), Россия

4. Митрохин Сергей Иванович*

Спектральные свойства дифференциальных операторов с суммируемыми коэффициентами

^*Научно-исследовательский вычислительный центр МГУ (Москва), Россия

5. Скляров Вячеслав Петрович*

Об одной экстремальной функции, связанной с неравенством А.А. Маркова

^*Саратовский госуниверситет (Саратов), Россия

6. Шоранова Дианна Алексеевна*

Нелокальная краевая задача с локальным смещением для обобщенного уравнения Мак Кендрика - фон Ферстера

^*НИИ ПМА КБНЦ РАН (Нальчик), Россия

7. Шлюфман Константин Владимирович*, Фишман Б.Е.*

Особенности динамических режимов точечных отображений

^*Институт комплексного анализа региональных проблем ДВО РАН (Биробиджан), Россия

8. Шибзухов Заур Мухадинович*

Об регулярных конечных суммах по Колмогорову

^*Всероссийский центр мониторинга и прогнозирования чрезвычайных ситуаций природного и техногенного характера МЧС России (Москва), Россия

9. Петрушин В. Н.*, Никульчев Е.В.**

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

^*Всероссийская государственная налоговая академия Министерства финансов РФ (Москва), Россия
^**Всероссийская государственная налоговая академия Министрства финансов РФ (Москва), Россия

Дискретный анализ(12)

12.10.2011 10:00 - 16:15

ИМ СО РАН, к.344

Председатель - Евдокимов А.А.

1. Блюмин Семен Львович*

Операции над множествами, булеанами и гиперграфами, связанные с идемпотентной математикой

^*Lipetsk State Technical University (Lipetsk), Россия

2. Валюженич Александр Андреевич*

Комбинаторная сложность перестановок, порождаемых неподвижными точками некоторых равноблочных бинарных морфизмов

^*Новосибирский государственный университет (Новосибирcк), Россия

3. Васильева Анастасия Юрьевна*

Сферическое восстановление собственных функций гиперкуба

^*Институт математики им. С.Л. Соболева CО РАН (Новосибирcк), Россия

4. Громов Михаил*

Сравнение сложности вычисления функций q-значной логики двумя классами ветвящихся программ

^*NSU (Новосибирск), Россия

5. Гуськов Георгий Константинович*, Соловьева Ф.И.*

О разбиениях n-куба на совершенные двоичные коды

^*Институт математики им. С.Л. Соболева CО РАН (Новосибирcк), Россия

6. Ковалевская Дарья Игоревна*, Соловьева Ф.И.*

О системах четверок Штейнера малого ранга, вложимых в расширенные совершенные коды.

^*Институт математики им. С.Л. Соболева CО РАН (Новосибирcк), Россия

7. Крайнюков Николай Иванович*, Мельников Б.Ф.

Функция разметки состояний и базисные слова для конечных автоматов

^*Тольяттинский государственный университет (Тольятти), Россия

8. Мерекин Юрий Владимирович*

Быстрое вычисление сложности по Арнольду двоичных слов длины 2^n

^*Институт математики им. С.Л. Соболева CО РАН (Новосибирcк), Россия

9. Потапов Владимир Николаевич*

О бесконечномерных квазигруппах конечных порядков

^*Институт математики им. С.Л. Соболева CО РАН (Новосибирcк), Россия

10. Рычков Константин Леонидович*

Нижняя оценка сложности реализации в классе пи-схем q-ичного счётчика кратности q

^*Институт математики им. С.Л. Соболева CО РАН (Новосибирcк), Россия

11. Семенов Алексей Викторович*

Об исследовании комбинаторных свойств строя знаковой цепи

^*Омский государственный технический университет (Омск), Россия

12. Береснев Владимир Леонидович*

Двухуровневые задачи дискретного программирования

^*Институт математики им. С.Л. Соболева CО РАН (Новосибирcк), Россия

Математическое моделирование(12)

12.10.2011 10:00 - 14:40

ИМ СО РАН, к.115

Председатель - Голубятников В.П.

1. Кононенко Лариса Ивановна*, Волокитин Е.П.*

Качественный анализ и решение-утки на медленном многообразии в задаче химической кинетики

^*Институт математики им. С.Л. Соболева CО РАН (Новосибирcк), Россия

2. Пережогин Алексей Львович*, Евдокимов А.А.*

О функционировании дискретных динамических систем циркулянтного типа с линейными функциями в вершинах сети

^*Институт математики им. С.Л. Соболева CО РАН (Новосибирcк), Россия

3. Дебелов В.А.*, Козлов Дмитрий Сергеевич**

Локальная модель взаимодействия света с изотропными и одноосными прозрачными средами

^*Институт вычислительной математики и математической геофизики СО РАН (Новосибирcк), Россия
^**Новосибирский государственный университет (Новосибирcк), Россия

4. Щербаков Антон Станиславович*

Определение местоположения высокой точности для одночастотных приёмников спутниковой навигации с использованием инерциальных датчиков

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

5. Воробьева Дарья Борисовна*, Золотухин Е.П.*

Оценка и прогнозирование технического состояния гидротехнических сооружений ГЭС

^*Конструкторско-технологический институт вычислительной техники CО РАН (Новосибирск), Россия

6. Рогалев Алексей Николаевич*

Вычисление гарантированных оценок в моделях загрязнения потоков с неточно заданными данными

^*Институт вычислительного моделирования СО РАН (Красноярск), Россия

7. Коробицын Владимир Анатольевич*

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

^*Томский государственный университет (Томск), Россия

8. Алексеев Геннадий Валентинович*

Существование нерассеивающих оболочек для модели анизотропной акустики

^*Институт прикладной математики ДВО РАН (Владивосток), Россия

9. Аникин Николай Алексеевич*, Кузьминский М.Б.*

Новый метод модельного функционала электронной плотности для описания электронного строения cверхбольших нано- и бионаноструктур

^*Институт органической химии им. Н.Д. Зелинского РАН (Москва), Россия

10. Барышников Глеб Владимирович*, Минаев Б.Ф.*, Минаева В.А.*, Подгорная А.Т.*

Моделирование строения катионов индополикарбоцианиновых красителей методом теории функционала плотности

^*Черкасский национальный университет им. Богдана Хмельницкого (Черкассы), Украина

11. Федоткин Михаил Андреевич*

Управляющие кибернетические системы Ляпунова - Яблонского и решение парадокса независимости

^*Нижегородский государственный университет им. Н.И. Лобачевского -- Национальный исследовательский университет (Нижний Новгород), Россия

12. Цыренова Валентина Б.*, Миронова Е.П.*

О развитии гуманитарной культуры студентов средствами математики

^*Бурятский государственный университет (Улан-Удэ), Россия

Оптимизация(10)

12.10.2011 10:00 - 14:10

ИМ СО РАН, к.220

Председатель - Ерзин А.И.

1. Васильев Валерий Александрович*

Равновесия Вальраса и Эджворта в многорегиональныцх экономических системах

^*Институт математики им. С.Л. Соболева CО РАН (Новосибирcк), Россия

2. Чубаров Дмитрий Леонидович*, Непомнящий В.А.**

Задача о покрываемости для раскрашенных сетей Петри

^*Институт вычислительных технологий СО РАН (Новосибирск), Россия
^**Институт систем информатики имени А.П. Ершова СО РАН (Новосибирcк), Россия

3. Кузнецов Алексей Владимирович*, Рубан А.И.*

Алгоритмы глобальной оптимизации функций при наличии ограничений неравенств

^*Сибирский федеральный университет (Красноярск), Россия

4. Ерзин Адиль Ильясович*

Plane covering by mobile sensors

^*Институт математики СО РАН (Новосибирcк), Россия

5. Поддубный Василий Васильевич*, Романович О.В.*

Оптимизация рестриктивной динамической системы с запаздывающим управлением на примере инерционного рынка одного товара

^*Томский государственный университет (Томск), Россия

6. Семёнов Денис Александрович*, Чуракова М.**

О нарушении отношения толерантности в процессе сравнения геометрических образов

^*ГОУ ВПО "Тюменский государственный университет" (Тюмень), Россия
^**Tyumen State University (Тюмень), Россия

7. Хавинсон Михаил Юрьевич*

Математическое описание динамики занятости и безработицы в регионе (на примере Еврейской автономной области)

^*Институт комплексного анализа региональных проблем ДВО РАН (Биробиджан), Россия

8. Димитриченко Дмитрий Петрович*

Использование логических алгоритмов для оптимального построения Грид - систем.

^*НИИ ПМА КБНЦ РАН (Нальчик), Россия

9. Глушкова Валентина Николаевна*

Полиномиально вычислимые СИГМА спецификации иерархизированных моделей реагирующих систем

^*Донской государственный технический университет (Ростов-На-Дону), Россия

10. Гимади Эдуард Хайрутдинович*

Алгоритмы с оценками для некоторых трудных задач маршрутизации

^*Институт математики СО РАН (Новосибирcк), Россия

Стохастические системы(8)

12.10.2011 10:00 - 13:40

ИМ СО РАН, к.213

Председатель - Бериков В.Б.

1. Бериков Владимир Борисович*, Пестунов И.А.**

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

^*Институт математики им. С.Л. Соболева CО РАН (Новосибирcк), Россия
^**Институт вычислительных технологий СО РАН (Новосибирск), Россия

2. Сабельфельд Карл Карлович*

Stochastic simulation of neuronal spike trains and dislocations in crystals

^*Институт вычислительной математики и математической геофизики СО РАН (Новосибирcк), Россия

3. Храмова Татьяна Викторовна*, Трофимов В.К.**

Кодирование сообщений, порожденных неизвестным марковским источником, при различных длительностях передаваемых сигналов.

^*ФГОБУ ВПО "Сибирский государственный университет телекоммуникаций и информатики" (Новосибирcк), Россия
^**Государственное образовательное учреждение высшего профессионального образования "Сибирский государственный университет телекоммуникаций и информатики" (Новосибирск), Россия

4. Сущенко Сергей Петрович*, Михеев П.А.*

Об индивидуальном быстродействии абонентского беспроводного соединения

^*Томский государственный университет (Томск), Россия

5. Иванюк Вера Алексеевна*, Цвиркун А.Д.*

Разработка многофакторной системы прогнозирования для управления динамическими системами

^*Институт проблем управления им.Трапезникова РАН (Москва), Россия

6. Дубко Валерий Алексеевич*

Инварианты открытых динамических систем

^*Национальный авиационный университет (Киeв), Украина

7. Карачанская Елена Викторовна*

Об устойчивости стохастических систем специального вида

^*Тихоокеанский государственный университет (Хабаровск), Россия

8. Панин Александр Геннадьевич*, Мерсон Д.Л.*

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

^*Тольяттинский государственный университет (Тольятти), Россия

1. Kovács Győző*

The Hungarian „Ljapunov”: Dr. Tihamér Nemes (1895-1960)

^*John von. Neumann Computer Society (Budapest), Венгрия

2. Кутателадзе Семен Самсонович*

Convexity and Inequality

^*Институт математики им. С.Л. Соболева CО РАН (Новосибирcк), Россия

3. Абакумов Александр Иванович*

Математическое моделирование водных экосистем

^*Институт автоматики и процессов управления ДВО РАН (Владивосток), Россия

4. Гринченко Сергей Николаевич*

О дарвинизме и номогенезе: кибернетический синтез

^*Институт проблем информатики РАН (Москва), Россия

5. Савинов Александр Борисович*

А.А. Ляпунов о процессах управления в живой природе и развитие кибернетического подхода в биологии

^*Нижегородский государственный университет им. Н.И. Лобачевского (Нижний Новгород), Россия

6. Полуэктов Ратмир Александрович*

Mathematical Models in the Theory of Biological Populations and Communities: from A.A.Ljapunov up to present

^*ГНУ Агрофизический НИИ Россельхозакадемии (Санкт-Петербург), Россия

7. Романюха Алексей Алексеевич*

Поддержание гомеостаза и энергетика. Математическая модель регуляции.

^*Институт вычислительной математики РАН (Москва), Россия

8. Ульянов Михаил Васильевич*, Сметанин Ю.Г.**

Алгебраическая структура и модель вычислений для арифметики ограниченных целых неотрицательных чисел

^*Московский государственный университет печати
^**Вычислительный Центр им. А.А. Дородницына РАН

9. Фрисман Ефим Яковлевич*

Дальневосточная школа математической биологии: о флуктуациях численности как результате процессов динамической самоорганизации популяций и сообществ

10. Зуева Е. Ю.*, Ефимов Г.Б.*

А.А.Ухтомский как предшественник кибернетики в России

^*Институт прикладной математики им. М.В. Келдыша (Москва), Россия

11. Akinshin A.A.*, Golubyatnikov V. P.**, Golubyatnikov I.V.***

Mathematical and numerical modeling of gene network functioning

^*Altai state technical university (Барнаул), Россия
^**Institute of Mathematics SB RAS (Новосибирcк), Россия
^***Институт математики СО РАН (Новосибирcк), Россия

12. Попков Юрий Соломонович*

Системные эффекты и теория макросистем

^*Институт системного анализа РАН (Москва), Россия (Москва), Россия

13. Немытых Андрей Петрович*

О суперкомпиляции (к 80-тилетию со дня рождения В. Ф. Турчина)

^*Program Systems Institute of RAS (Pereslavl-Zalessky), Россия

14. Соловьева Ольга Эдуардовна*, Мархасин В.С.*

Математическая физиология. Моделирование функции сердечной мышцы – от молекул до органа.

^*Институт иммунологии и физиологии УрО РАН (Екатеринбург), Россия

15. Новосельцев Василий Николаевич*

Гомеостаз и здоровье - современное состояние проблемы

^*Институт проблем управления РАН (Москва), Россия

16. Каляев Игорь Анатольевич*, Левин И.И.*

Реконфигурируемые вычислительные системы на основе полей ПЛИС

^*Научно-исследовательский институт многопроцессорных вычислительных систем имени академика А.В. Каляева Южного федерального университета (Таганрог), Россия

18. Петровский Алексей Борисович*

Теория мультимножеств и ее применение для групповой классификации и упорядочения многопризнаковых объектов

^*Институт системного анализа РАН (Москва), Россия

19. Титлянова Аргента Антониновна*

Принципы описания биотического круговорота

^*Институт почвоведения и агрохимии СО РАН (Новосибирcк), Россия

20. Черкашин Александр Константинович*

Информационная и теоретическая биология в системе научных знаний

^*Институт географии им. В.Б. Сочавы СО РАН (Иркутск), Россия

21. Полякова Галина Леонидовна*, Лбов Г.С., Морозова О.В., Панов В.В., Глупов В.В., Щучинова Л.Д., Маслов П.П.**

Логико-вероятностная модель прогнозирования характеристик паразитарной системы клещевого энцефалита, заболеваемости населения в зависимости от природных факторов

^*Институт математики им. С.Л. Соболева CО РАН (Новосибирcк), Россия
^**Новосибирский государственный технический университет (Новосибирcк), Россия