КФУ. Карточка публикации. Формальный подход к пространственно-временному моделированию игровых систем

КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ

RUS

- EN
- 中文
- ES

ФОРМАЛЬНЫЙ ПОДХОД К ПРОСТРАНСТВЕННО-ВРЕМЕННОМУ МОДЕЛИРОВАНИЮ ИГРОВЫХ СИСТЕМ

Форма представления

Статьи в российских журналах и сборниках

Год публикации

2024

Язык

русский

Авторы, сотрудники КФУ

Кугуракова Влада Владимировна, автор

Библиографическое описание на языке оригинала

Кугуракова В. В. Формальный подход к пространственно-временному моделированию игровых систем //Ученые записки Казанского университета. Серия Физико-математические науки. – 2024. – Т. 166. – №. 4. – С. 532-554.

Аннотация

Представлен инновационный унифицированный подход к формальному моделированию игровых сущностей и их взаимодействий – FAST-GM (Formal Approach to SpatioTemporal Game Modeling). Предложенная модель интегрирует темпоральные и вероятностные аспекты, обеспечивая комплексное описание динамики игровых систем. Подход FAST-GM основан на расширенной темпоральной логике и теории вероятностей, что позволяет точно описать сложные игровые механики и их эволюцию во времени. Рассмотрено формальное определение игровых сущностей, их состояний и взаимодействий, а также методы интеграции темпоральных и вероятностных элементов. Особое внимание уделено применению модели для анализа игрового баланса, формальной верификации игровых сценариев и автоматизированной генерации тестовых случаев. Обсуждены масштабируемость и адаптивность модели для различных игровых жанров. Ожидается, что предложенный подход FAST-GM станет значительным шагом вперед в формальном моделировании игровых систем, предоставляя разработчикам мощный инструмент для анализа, верификации и оптимизации игровых механик на различных этапах разработки.

Ключевые слова

формальное моделирование, игровая сущность, взаимодействие в играх, темпоральная логика, вероятностная модель, анализ игрового баланса, верификация игровых сценариев, FAST-GM, game studies, геймдизайн.

Название журнала

Ученые записки Казанского университета. Серия Физико-математические науки

URL

https://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=uzku&paperid=1683&option_lang=rus

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку

https://repository.kpfu.ru/?p_id=310102

Полная запись метаданных

Поле DC	Значение	Язык
dc.contributor.author	Кугуракова Влада Владимировна	ru_RU
dc.date.accessioned	2024-01-01T00:00:00Z	ru_RU
dc.date.available	2024-01-01T00:00:00Z	ru_RU
dc.date.issued	2024	ru_RU
dc.identifier.citation	Кугуракова В. В. Формальный подход к пространственно-временному моделированию игровых систем //Ученые записки Казанского университета. Серия Физико-математические науки. – 2024. – Т. 166. – №. 4. – С. 532-554.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=310102	ru_RU
dc.description.abstract	Ученые записки Казанского университета. Серия Физико-математические науки	ru_RU
dc.description.abstract	Представлен инновационный унифицированный подход к формальному моделированию игровых сущностей и их взаимодействий – FAST-GM (Formal Approach to SpatioTemporal Game Modeling). Предложенная модель интегрирует темпоральные и вероятностные аспекты, обеспечивая комплексное описание динамики игровых систем. Подход FAST-GM основан на расширенной темпоральной логике и теории вероятностей, что позволяет точно описать сложные игровые механики и их эволюцию во времени. Рассмотрено формальное определение игровых сущностей, их состояний и взаимодействий, а также методы интеграции темпоральных и вероятностных элементов. Особое внимание уделено применению модели для анализа игрового баланса, формальной верификации игровых сценариев и автоматизированной генерации тестовых случаев. Обсуждены масштабируемость и адаптивность модели для различных игровых жанров. Ожидается, что предложенный подход FAST-GM станет значительным шагом вперед в формальном моделировании игровых систем, предоставляя разработчикам мощный инструмент для анализа, верификации и оптимизации игровых механик на различных этапах разработки.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	формальное моделирование	ru_RU
dc.subject	игровая сущность	ru_RU
dc.subject	взаимодействие в играх	ru_RU
dc.subject	темпоральная логика	ru_RU
dc.subject	вероятностная модель	ru_RU
dc.subject	анализ игрового баланса	ru_RU
dc.subject	верификация игровых сценариев	ru_RU
dc.subject	FAST-GM	ru_RU
dc.subject	game studies	ru_RU
dc.subject	геймдизайн.	ru_RU
dc.title	Формальный подход к пространственно-временному моделированию игровых систем	ru_RU
dc.type	Статьи в российских журналах и сборниках	ru_RU