Abstract
An approach to development of hybrid process collection executable specifications is considered. The approach is based on presentation of discrete state transition function with help of situation transformation rules. Possible structures of the rules are discussed in the view of their expressiveness and their fitness for creation of reliable specifications and high-performance executing procedures. The rules properties are shown by the examples of simple hybrid process specifications.
Highlights
The approach is based on presentation of discrete state transition function with help of situation transformation rules
Possible structures of the rules are discussed in the view of their expressiveness and their fitness for creation of reliable specifications and high-performance executing procedures
The rules properties are shown by the examples of simple hybrid process specifications. — Bibl. 3 items
Summary
Функционирование современных технических, в том числе многих производственных, систем определяется большими совокупностями взаимодействующих процессов различной динамики. В случае непрерывного процесса изменения носят непрерывный характер и в качестве переменных состояния используются вещественные переменные. В случае дискретно-событийных процессов изменения состояния происходят мгновенно в дискретные моменты времени и могут носить качественный характер. Изменения второго типа определяются мгновенными дискретными изменениями непрерывного состояния процесса. ISSN 2078-9181 (print), ISSN 2078-9599 (online) www.proceedings.spiiras.nw.ru событийного процесса и режимов гибридного процесса являются выходы его непрерывных состояний за пределы заданных ограничений. Что определение гибридного процесса включает в себя определения дискретно-событийного и непрерывного процессов, которые являются его частными случаями. Спецификация дискретных составляющих гибридных процессов основана на формировании правил трансформации дискретных состояний и режимов и использовании исполняющей процедуры. Трансформационные правила определяют для состояний процесса отношения следования. В СПИИРАН разработан исследовательский образец среды имитационного моделирования совокупностей взаимодействующих процессов различной динамики (EnviCon), с помощью которого проводятся исследования структур трансформационных правил. Для удобства дальнейшего изложения приведем математическую модель совокупности взаимодействующих процессов [1,2]
Sign-in/Register to view highlights & summary 
Published Version (
Free)
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call