Логико-динамическая спецификация и реализация гибридных процессов

Тенденция развития средств компьютерного моделирования заключается в исключении работы программистов при создании и модификации моделей. Использование программистов предполагает обмен знаниями между ними и специалистами в предметных и проблемных областях. Такой обмен достаточно трудоемкий. Задача состоит в том, чтобы обеспечить специалистов инструментами, позволяющими создавать исполняемые спецификации процессов. Книга посвящена описанию и экспериментальному изучению логико-динамического переходного подхода к спецификации и компьютерной реализации процессов. Спецификация является основой правил трансформации, определяющих соотношение последовательности между текущим состоянием процесса и его состоянием по прошествии определенного периода времени. В примерах показаны возможности подхода к реализации процессов, заданных физико-математическими моделями систем, и структурные схемы элементарных процессов. Книга может быть интересна исследователям динамических систем, преподавателям и студентам.