59_1

В настоящее время а ктивно развиваются исследования, связанные с разработкой распределенных сервис -ориентированных научных приложений. В статье представлен разработанный на основе платформы HPCSOMAS Framework композитный сервис для решения задачи синтеза линейного статическог о регулятора по состоянию, обеспечивающего устойчивость нулевого решения замкнутой линейной двоичной динамической системы. Сервис реализует новый логический метод, на основе которого задача синтеза сводится к проверке истинности квантифицированной булевой формулы (задача TQBF ). Приводится архитектура композитного сервиса и аспекты его создания, связанные с технологией интеграции распределенных ресурсов. Рассматривается разработанный авторами параллельный решатель задачи TQBF . Приводятся результаты вычислите льных экспериментов.