КФУ. Карточка публикации. A Formal Approach to Spatio-Temporal Modeling of Game Systems

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

RUS

- EN
- 中文
- ES

A FORMAL APPROACH TO SPATIO-TEMPORAL MODELING OF GAME SYSTEMS

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

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

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

2024

Язык

английский

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

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

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

Kugurakova V.V., A Formal Approach to Spatio-Temporal Modeling of Game Systems//Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki. - 2024. - Vol.166, Is.4. - P.532-554.

Аннотация

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

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

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

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

Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki

URL

https://www.scopus.com/inward/record.uri?eid=2-s2.0-85217636738&doi=10.26907%2f2541-7746.2024.4.532-554&partnerID=40&md5=6d35155e71afbdfe753ef1cd027577d2

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

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

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

Поле 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	Kugurakova V.V., A Formal Approach to Spatio-Temporal Modeling of Game Systems//Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki. - 2024. - Vol.166, Is.4. - P.532-554.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=311539	ru_RU
dc.description.abstract	Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki	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	A Formal Approach to Spatio-Temporal Modeling of Game Systems	ru_RU
dc.type	Статьи в зарубежных журналах и сборниках	ru_RU