Определение показателей Ляпунова можно найти в книге [1]. <...> В конечномерном случае, по тео7 матрица, показатель решения опре реме Оселедеца [5], линеаризованная на аттракторе система вида (1) всегда является правильной по Ляпунову, и верхний предел может быть заменен на обычный, что позволяет эффективно вычислять показатели Ляпунова. <...> В этом случае показатели Ляпунова для уравнения Хатчинсона совпадают с действительными частями решений следующей системы уравнений: (12) Действительные части равных дующий вид: Для всех опытов используются следующие параметры: - количество вычисляемых показателей Ляпунова - время выхода на аттрактор 10 ; ; решения данной системы при , , представлены во втором столбце табл. <...> Характеристические показатели Ляпунова динамических систем // Труды Моск. матем. об-ва. <...> Компьютерная обучающая система по теме «Планарность графа» Д. Н. Анисимов В настоящий период в связи с развитием информационных технологий и снижением уровня подготовленности студентов возникает потребность в разработке компьютерных обучающих систем. <...> При построении данной системы была выбрана стратегия обучения, которая отвечает ряду требований: - предоставляет студенту изучаемый материал; - контролирует его изучение при помощи вопросов и проверки правильности ответов; - помогает сообщениями об ошибках и материале, который следует повторить; 20 - активизирует внимание студента к материалу за счет смены тестов и увеличения их количества при превышении заданного уровня ошибок (при еще большем уровне ошибок делают паузу в процессе обучения для формирования более серьезного отношения студента); - осуществляет направленность и постепенность обучения за счет разбиения материала на достаточно небольшие порции и задачи-тесты для таких порций; - контролирует выполнение итоговой задачи, отсылая при ошибках к повторению материала, связанного с ошибками. <...> После регистрации ученику предлагается для освоения изучаемый <...>
Заметки_по_информатике_и_математике._Вып._4_сб._науч._статей.pdf
Министерство образования и науки Российской Федерации
Государственное образовательное учреждение
высшего профессионального образования
«Ярославский государственный университет им. П. Г. Демидова»
Факультет информатики и вычислительной техники
Заметки
по информатике и математике
Сборник научных статей
Выпуск 4
Ярославль 2012
1
Стр.1
УДК 51 (091)
ББК В1я43
З 26
Рекомендовано
Редакционно-издательским советом университета
в качестве научного издания. План 2012 года
Редакционная коллегия:
В. А. Бондаренко,
В. В. Васильчиков,
С. Д. Глызин,
А. Н. Морозов (ответственный редактор),
П. Г. Парфѐнов,
В. А. Соколов
Заметки по информатике и математике: сб. науч.
З 26
статей / отв. ред. А. Н. Морозов; Яросл. гос. ун-т
им. П. Г. Демидова. — Ярославль : ЯрГУ, 2012. —
Вып. 4. — 204 с.
В сборник включены научные статьи студентов и
аспирантов факультета ИВТ, посвященные важным направлениям
развития математики, информатики и вычислительной
техники.
УДК 51 (091)
ББК В1я43
© Ярославский государственный
университет им. П. Г. Демидова, 2012
2
Стр.2
СОДЕРЖАНИЕ
Алексеева М. М., Дашкова Е. А. Метод проверки на модели
для определения корректности сложных систем ............................ 3
Алешин С. В. Вычисление спектра показателей Ляпунова
для дифференциальных уравнений
с запаздывающим аргументом .......................................................... 7
Амирасланов Р. Н. Жизненный цикл
и возможности развития организации ........................................... 13
Анисимов Д. Н. Компьютерная обучающая система
по теме «Планарность графа» ......................................................... 20
Антонов Д. В., Рублев В. С. Сравнение моделей запросов
для схем баз данных СУБД DIM .................................................... 25
Антошина Е. Ю. Обучающая система
задачи построения кратчайшего остовного дерева ....................... 29
Баракова А. Н. Математическое моделирование
параметров окна конкурентного доступа Contention Window
для беспроводной сети ad-hoc ......................................................... 35
Василиади Н. Г. Разработка и реализация
файлового менеджера на основе
технологии облачных вычислений ................................................. 41
Горностаева Е. А. Анализ и модернизация
мультиагентного алгоритма перемещения
на плоскости без столкновений ...................................................... 47
Гусева Н. С. Компьютерная обучающая система
«Эйлеровы маршруты» .................................................................... 50
Ковалѐв Р. А., Лагутина Н. С. Разработка электронного
мультимедиаучебника для обучения иностранному языку ........ 56
Кожемякин Н. И. QML-препроцессор как инструмент
разработки кроссплатформенных приложений
с использованием Qt Quick Components ........................................ 61
Комаров М. О. Компьютерная обучающая система
«Изоморфизм графов» ..................................................................... 67
197
Стр.197
Коновалов Е. В., Малышков Н. И. Численные исследования
поведения обобщенного нейронного элемента
под действием пачечной активности .............................................. 72
Корытов Ю. М. Компьютерная обучающая система
«Построение кратчайшего маршрута
в графе (алгоритм Дейкстры)» ......................................................... 77
Крупин Ю. М. Синхронизация с внешними источниками
задач в приложении Octotask ........................................................... 82
Курочкина В. Н. Моделирование workflow-процессов
в среде Oracle BPM Studio 10g ......................................................... 88
Лаурэ Д. А. Разработка и реализация подхода
к активизации и деактивизации контекстов
в персональном менеджере задач Octotask ..................................... 93
Легков Н. В., Легкова М. Н. Оптимизация поиска
случайно расположенного на прямой объекта ............................... 99
Лощилин Е. В. Интерполяция на основе
трѐх заданных объектов ................................................................. 105
Медведева Д. О., Кузьмин Е. В. Верификация LD-программ
ПЛК с помощью SMV .................................................................... 110
Музаффаров Р. Э. Нахождение кратных центров в графе ... 118
Панфилова Н. Ю. Компьютерная обучающая система
по теме «Основные комбинаторные модели и правила» ............ 123
Парфенов П. Г., Авдеева С. С. Применение расстояний
и других мер близости для задачи различения алфавитноцифровых
символов, построенных на прямоугольной решетке . 128
Петров А. Н., Рублев В. С. Об обучении доказательству
утверждений для множеств
с помощью компьютерной системы .............................................. 132
Рябухин Д. А., Волчѐнков С. Г. Определение количества
перестановок с ограничениями ...................................................... 137
Семенова Р. В. Оценка капитализации
организаций банковского сектора ................................................. 144
Сергеева Ю. А. Проблемы
отраслевого кредитования в России .............................................. 151
198
Стр.198
Тимофеев И. А., Субботкин А. В. Разработка клиентов
для системы Smart Conference с использованием библиотеки
SmartSlog. Управление презентациями в формате Pecha Kucha
для системы Smart Conference ...................................................... 156
Тютина М. В. Финансовая эффективность
банковской системы России.......................................................... 163
Черкасов Д. А. Численные алгоритмы
нахождения и идентификации
устойчивых циклов в динамических системах ........................... 168
Чистякова П. М. Создание
интернет-магазина «STUDMAG» ................................................. 180
Шарашова Е. А. Технология разработки
модели корпоративной сети
с интеграцией системы облачных вычислений ........................... 182
Шемякина К. А. Использование онтологий
для организации межсистемного взаимодействия ...................... 185
Шишкина П. А., Комар М. В., Лагутина Н. С.
Разработка веб-сервисов, преобразующих информацию
о пользователе социальной сети. .................................................. 193
199
Стр.199