1
Программа конвертирования
диаграмм иерархических систем
взаимодействующих автоматов
на язык спецификации утилиты SPIN <...> Д.С. Архипов, М.В. Домрачев, А.В. Синотова
Программа «Diagram Model Converter for SPIN» – это
программа для работы с утилитой SPIN (утилита для верификации асинхронных алгоритмов), позволяющая решать
ряд задач:
• перевод автоматных программ, заданных в формате
.vsd (файл MS Visio) на язык promela (язык спецификации
утилиты SPIN);
• взаимодействие со сторонними разработками посредством файла в формате XML (прилагается документация на
структуру XML-файла);
• задание темпоральных свойств на естественном языке
с помощью предопределённых шаблонов и перевод этих
свойств на язык логики LTL;
• проверка корректности темпоральных свойств, введённых вручную;
• анализ полученных (от утилиты SPIN) результатов. <...> Количество основных состояний автомата может достигать 32767, что при учёте
концепций автоматного программирования (концентрация
логики системы в основном автомате и создание отдельного <...> При разработке было
учтено то, что автоматное программирование является развивающимся направлением, и процесс создания универсальной иерархической системы взаимодействующих автоматов ещё не закончен. <...> Возможности по спецификации модели на языке promela обеспечивает библиотека PromelaModelLibrary, позволяющая решать следующие задачи:
• генерация кода взаимодействующих автоматов на
языке promela,
• получение отладочной и статистической информации
о модели. <...> При генерации кода взаимодействующих автоматов на
языке promela в первую очередь осуществляется преобразование модели из объекта Model в объект ChainModel («цепочечная модель»). <...> Поскольку нам заранее известна структура XML-файла, была
использована XML сериализация и обратный ей процесс –
4
Студенческие заметки по информатике и математике. <...> XML сериализация позволяет представлять
XML в виде иерархии классов, и наоборот, данные классов
представлять в виде XML. <...> При XML сериализации сериализуются все открытые <...>
Студенческие_заметки_по_информатике_и_математике__Материалы_научной_конференции_студентов_и_аспирантов_факультета_ИВТ.pdf
Министерство образования и науки Российской Федерации
Федеральное агентство по образованию
Ярославский государственный университет
им. П.Г. Демидова
Факультет информатики и вычислительной техники
Студенческие заметки
по информатике и математике
Материалы научной конференции
студентов и аспирантов факультета ИВТ
Выпуск 1
Ярославль 2007
Д.С. Архипов, М.В. Домрачев, А.В. Синотова
1
Стр.1
УДК 51(091)
ББК В1я43
С 88
Рекомендовано
Редакционно-издательским советом университета
в качестве научного издания. План 2007 года
С 88
Студенческие заметки по информатике и математике
: Материалы научной конференции студентов и аспирантов
факультета ИВТ / отв. ред. А.Н. Морозов ;
Яросл. гос. ун-т. – Ярославль : ЯрГУ, 2007. – Вып. 1.–
64 с.
В сборник включены материалы научной конференции,
представленные аспирантами и студентами
факультета ИВТ. Темы докладов касаются важных
направлений развития математики, информатики и
вычислительной техники.
УДК 51(091)
ББК В1я43
Редакционная коллегия:
В.А. Бондаренко,
А.Н. Морозов (ответственный редактор),
В.А. Соколов
© Ярославский государственный университет, 2007
2 Студенческие заметки по информатике и математике. Вып. 1
Стр.2
Содержание
Программа конвертирования диаграмм
иерархических систем взаимодействующих
автоматов на язык спецификации утилиты SPIN
Д.С. Архипов, М.В. Домрачев, А.В. Синотова .................... 3
Некоторые свойства релаксационного многогранника
задачи 3-выполнимость
О.А. Дунаева, А.В. Николаев .............................................. 7
Применение технологии MIPv6 для создания
мобильных сетевых систем. Аспекты
строительства, модификации и управления
С.В. Егоров .......................................................................... 9
Улучшение текстурной сегментации на основе
интеграции различных текстурных методов
А.А. Жигалов ..................................................................... 14
Сальтаторное проведение пачки импульсов
О.Ю. Завьялова ................................................................. 17
Исследование индикатора RSI. Анализ параметров
индикатора для наиболее точного его применения
в техническом анализе фондового рынка
С.С. Зелянина .................................................................... 21
Некоторые подходы к проверке зависимости
динамики курсов валют от исторических
значений
Д.В. Кочкин........................................................................ 25
М.С. Черкашин
61
Стр.61
Разработка демонстрационной версии сетевой
компьютерной игры “Азимут”
Д.А. Кукушкин ................................................................... 28
Оптимизация системы безопасности
локальной сети ЯОКОБ
О.Д. Курицына .................................................................. 33
Возможность применения генетических
алгоритмов к задачам восстановления
изображений в компьютерной томографии
М.Н. Лебедев ..................................................................... 38
Об одном подходе к распознаванию изображений
И.А. Михайлов ................................................................... 42
Исследование волн в кольце
из диффузионно-связанных нейронов
К.А. Поплавкова ................................................................ 44
Организация приоритетной очереди
на основе двоичной пирамиды
И.В. Симакин ..................................................................... 47
Разработка системы перехода и взаимодействия
сетей IPv4 и IPv6 с использованием модели
брокера туннелей
Ю.А. Спиридонов .............................................................. 50
Распознавание гудков в телефонной линии
М.В. Трохалев .................................................................... 54
Об одном варианте программной реализации
фрактального сжатия изображения
со встраиванием цифрового водяного знака
М.С. Черкашин .................................................................. 56
62 Студенческие заметки по информатике и математике. Вып. 1
Стр.62