KFU. Card publication. Формальный подход к пространственно-временному моделированию игровых систем

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

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

Form of presentation

Articles in Russian journals and collections

Year of publication

2024

Язык

русский

Authors, employees of KFU

Kugurakova Vlada Vladimirovna, author

Bibliographic description in the original language

Kugurakova V. V. Formalnyy podkhod k prostranstvenno-vremennomu modelirovaniyu igrovykh sistem //Uchenye zapiski Kazanskogo universiteta. Seriya Fiziko-matematicheskie nauki. – 2024. – T. 166. – №. 4. – S. 532-554.

Annotation

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

Keywords

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

The name of the journal

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

URL

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

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=310102&p_lang=2

Full metadata record

Field DC	Value	Language
dc.contributor.author	Kugurakova Vlada Vladimirovna	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/eng/?p_id=310102&p_lang=2	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	Articles in Russian journals and collections	ru_RU