Компьютерная реализация процессов

Тенденция развития средств компьютерного моделирования состоит в том, чтобы при создании и модификации моделей исключить труд программистов. Использование программистов предполагает обмен знаниями между ними и специалистами в предметных (проблемных) областях. Этот обмен оказывается достаточно трудоемким. Задача состоит в том, чтобы предоставить специалистам средства, позволяющие им создавать исполняемые спецификации процессов. Книга посвящена описанию и экспериментальному исследованию логико-динамического транзитивного подхода к спецификации и компьютерной реализации процессов. Спецификация представляет собой базу трансформационных правил, определяющих отношение следования между текущим состоянием процесса и его состоянием через определенный промежуток времени. На примерах показаны возможности подхода для реализации процессов, заданных физическими и математическими моделями систем, структурными схемами элементарных процессов. Примеры моделей динамических систем вместе с исполняемым файлом среды моделирования размещены на сайте http://rilio.net/envisim.php. Книга может представлять интерес для исследователей динамических систем, преподавателей и студентов.