Аннотация: Обсуждены некоторые недостатки гауссовой гуманизации и рассмотрены вопросы о том, каким образом модели артикуляции, проявляемые ударниками, можно эмулировать с помощью вероятностной модели. Разработан авторский алгоритм «оживления» midi-партий ударных музыкальных инструментов. Запрограммированы различные зависимости и закономерности, проявляющиеся при игре на барабанах. Создана зависимость параметров нот не только от параметров предыдущих нот, но и от последующих нот соответствующих частей ударной установки. Создана зависимость силы удара от положения ноты в такте. Таким образом, акцентируя ноты в сильной доле, была создана зависимость громкости ноты от совпадения с нотами других частей ударной установки. Для увеличения динамичности и живости партии было реализовано нарастание громкости хэта перед ударом по малому барабану. Проведено сравнение амплитуд соответствующих нот партий, насколько партия, оживленная с использованием определенного метода, отличается от партии, сыгранной профессиональным барабанщиком. При прослушивании тестов партии, обработанные с использованием модифицированного метода, объективно имеют больше общего с живым исполнением, чем с результатом, полученным при использовании гауссового метода или квантованных партий.

Аннотация:

Рассмотрена проблема визуального представления темпоральных и вероятностных элементов в инструментах формального моделирования игровых механик. На основе анализа существующих систем визуального моделирования – Machinations, сетей Петри, диаграмм состояний UML и UPPAAL – выявлены их ключевые ограничения при описании сложных игровых сценариев. Предложен подход к визуализации темпоральных операторов и вероятностных конструкций в инструменте Tula, разработанном авторами. Описан набор визуальных примитивов, обеспечивающих двунаправленное соответствие между визуальным представлением и формальной спецификацией на языке геймплея. Приведены примеры визуального моделирования типовых игровых сценариев с элементами временных задержек, условных вероятностей и многопользовательских взаимодействий. Показана возможность автоматической трансформации визуальных моделей в формальные спецификации, пригодные для верификации средствами PRISM и UPPAAL. Проведён сравнительный анализ выразительных возможностей Tula и систем-предшественников, показавший, что Tula является единственной из рассмотренных систем, одновременно обеспечивающей формальную верифицируемую семантику, встроенную поддержку темпоральных операторов (X, G, F, U) и произвольных вероятностных распределений, а также визуальную нотацию, организованную вокруг ресурсных потоков и игровых событий. Предложенный в Tula принцип двухуровневой спецификации с двунаправленной трансформацией замыкает цикл «дизайн → формализация → верификация → корректировка», снижая порог входа в формальные методы для практиков без потери верификационной полноты. Это позволяет рассматривать Tula как промежуточный слой между итеративным геймдизайном и промышленными верификаторами.