Одним из множества подходов к достижению корректности сложных систем является метод формальной верификации, который позволяет проверять желаемые поведенческие свойства этой системы. <...> Автоматное программирование Автоматное программирование может быть использовано в некоторых типах программных систем [4]: системы переходов (компиляторы, архиваторы). <...> В этом случае автоматное программирование решает проблему логического программирования. <...> Системы переходов часто используются в информатике (семантических моделях для большого числа высокоуровневых формализмов для параллельных систем, таких как алгебра процессов, сети Петри, диаграммы). <...> Моделирование процесса распараллеливания при помощи асинхронных клеточных автоматов Д. В. Барабанова Введение B 6 В последнее время разразился настоящий бум исследований, посвященных клеточным автоматам и их использованию для решения различных прикладных задач [2]. <...> Клеточные автоматы B 7 Идея клеточных автоматов появилась в конце сороковых годов ХХ века. <...> Клеточные автоматы имеют две особенности: локальные изменения, приводящие к глобальным последствиям, и свойственный этим автоматам параллелизм. <...> 3 Клеточные автоматы разделяются на синхронные, асинхронные, подвижные, неподвижные и другие [3]. <...> В работе используются асинхронные клеточные автоматы, отличительной особенностью которых является то, что клетки переходят в новое состояние в случайном порядке. <...> Для решения поставленной задачи нужно разработать подробную спецификацию: входные и выходные параметры, стратегии поведения клеточного автомата. <...> Стратегии В работе рассматривается моделирование при помощи клеточных автоматов процесса распараллеливания в grid сетях. <...> Наша цель – найти и исследовать эффективные стратегии распараллеливания. <...> Таким образом, мы получаем среднее арифметическое число задач, по этой стратегии во всех ячейках должно оказаться то же самое число задач. <...> Заключение B0 1 Тема «Моделирование <...>
Заметки_по_информатике_и_математике._Вып._3_сб._науч._ст..pdf
Министерство образования и науки Российской Федерации
Ярославский государственный университет им. П. Г. Демидова
Факультет информатики и вычислительной техники
Заметки
по информатике и математике
Сборник научных статей
Выпуск 3
Ярославль 2011
М. М. Алексеева, Е. А. Дашкова
1
Стр.1
УДК 51(091)
ББК В1я43+З 973.2я43
З 26
Рекомендовано
Редакционно-издательским советом университета
в качестве научного издания. План 2010/2011 учебного года
З 26
/ отв.
Заметки по информатике и математике : сб. науч. ст.
ред. А. Н. Морозов ;
Яросл.
гос.
ун-т
им. П. Г. Демидова. – Ярославль : ЯрГУ, 2011. – Вып. 3.–
144 с.
В сборник включены научные статьи, представленные
студентами и аспирантами факультета ИВТ. Темы статей
касаются важных направлений развития математики, информатики
и вычислительной техники.
УДК 51(091)
ББК В1я43+З 973.2я43
Редакционная коллегия:
В. А. Бондаренко
С. Д. Глызин
А. Н. Морозов (ответственный редактор)
П. Г. Парфёнов
В. А. Соколов
© Ярославский государственный университет им. П. Г. Демидова,
2011
2
Заметки по информатике и математике. Вып. 3
Стр.2
B 0
Содержание
Метод проверки на модели (model-checking) для определения
корректности сложных систем
U
U
М. М. Алексеева, Е. А. Дашкова ........................................................ 3
U
U
Рынок кредитования малого и среднего бизнеса
в Ярославской области
U
U
О. А. Алексеева ................................................................................... 9
U
U
Моделирование процесса распараллеливания
при помощи асинхронных клеточных автоматов
U
U
U
U
U
Д. В. Барабанова .............................................................................. 12
Планирование пути робота в среде с динамическими
и стационарными препятствиями с помощью
нейронной сети волнового распространения
U
О. В. Белякова ................................................................................... 18
U
U
Нейронные сети с вероятностной функцией активации
в задачах распознавания изображений
U
U
И. А. Суслова, Ю. В. Богомолов ...................................................... 23
U
U
Решение задачи о клике на языке rpC
с помощью библиотеки RPM
U
U
Е. А. Бойцов, В. В. Васильчиков....................................................... 28
U
U
Программные средства для построения
и визуализации графа трассы для RPC-программ
U
U
U
U
U
U
В. В. Васильчиков, А. Г. Седов ......................................................... 37
Композиционные сети активных ресурсов
Е. С. Дайнеко .................................................................................... 47
U
U
Разработка мультиагентного алгоритма перемещения
по плоскости без столкновений
U
U
Е. В. Демкин ...................................................................................... 53
U
U
141
Стр.141
U
О повороте черно-белых изображений, построенных
на основе прямоугольной решетки
U
М. Л. Елизарова, П. Г. Парфенов .................................................... 60
U
U
Изучение температурных процессов при помощи
расширенной тригонометрической системы
U
U
З. В. Журавлев ................................................................................... 62
U
U
Разработка сетевой архитектуры для редактора
диаграмм связей HiveMind
U
U
О. В. Кандауров ................................................................................ 66
Исследование скользящих средних
U
U
U
U
К. В. Кислова, А. Н. Морозов ........................................................... 73
U
U
Программа-конструктор для численных исследований сетей
из обобщенных нейронных элементов
U
U
Е. В. Коновалов, Н. С. Борисова, С. В. Диева................................. 79
U
U
Итерационный алгоритм реконструкции изображения
в электроимпедансной томографии
U
U
В. Д. Копылов .................................................................................... 84
Система обучения программированию на языке REFAL
C. В. Котельников ............................................................................ 90
U
U
U
U
U
U
Разработка архитектуры UI в кроссплатформенном
приложении HiveMind
U
U
А. В. Куликов ..................................................................................... 93
U
U
Исследование режимов функционирования сети диффузионно
связанных нейронных клеточных автоматов
U
U
С. Ю. Нестеренко .......................................................................... 100
Некоторые методы нахождения самодополнительных графов
М. Л. Никитин ................................................................................ 104
U
U
U
U
U
U
142
Заметки по информатике и математике. Вып. 3
Стр.142
О повороте черно-белого изображения, построенного
на основе гексагональной решетки
U
U
П.Г. Парфенов, Д. С. Харламова ................................................... 108
U
U
Реализация метауровня схемы классов Динамической
информационной модели (DIM)
U
U
Е. А. Смирнова ................................................................................ 113
Этапы венчурного финансирования
U
U
U
U
О. Ю. Сухопаров............................................................................. 119
U
U
Специфика разработки веб-сервисов в облаке на примере
Google App Engine
U
U
С. В. Талов ....................................................................................... 123
U
U
Оптимальная интерполяция элементов цветового
пространства
U
U
Л. Г. Тюрина ................................................................................... 129
U
U
О формальной верификации моделей систем,
написанных на языке SystemC
U
U
А. А. Шипин .................................................................................... 135
U
U
143
Стр.143