Особенности Объекта
подробнее…
Число установок соответствует максимально возможному числу контейнеров, т.е. числу вещей – предельный случай, когда каждый предмет пакуется в отдельный контейнер.
Число интервалов равно числу вещей, т.е. в каждый момент упаковывается одна из вещей.
Установки отражают заполнение контейнера предметами. Операция установки типа «Предмет->К*» – положить предмет в контейнер. Загружаемый в контейнер предмет определяется интервалом. Операции этого типа для разных контейнеров являются альтернативными. Потоками операции «Предмет->К*» являются характеристики (объем) предмета, который пакуется в один из контейнеров и счетчик числа предметов, характеризующий потребность в упаковке предмета. В каждый интервал времени упаковывается один предмет, чьи характеристики (объем и счетчик) задаются в значениях потоков.
Операция установки «К*_занят» – в контейнер в данном интервале не упаковываются предметы, но контейнер уже занят.
Операция установки «К*_свободен» – в контейнер в данном интервале не упаковываются предметы, и контейнер свободен. Переход с этой операции не возможен на операцию «К*_занят». Кроме того, запрещен переход на данную операцию со всех остальных операций. Задаются ограничениями на длительности выполнения/паузы операций от начала/конца другой.
Критерий – минимум числа занятых контейнеров. Для минимизации числа используемых контейнеров используется критерий «Переключение». В матрице переключений операций стоимость перехода с операции «К*_свободен» на другие равна 1. Переходы других операций не регулируются, стоимости переходов равны 0. Этот критерий не регулирует ни заполнение контейнеров, ни количество свободного места в них.
кратко
Схема Объекта
подробнее…
Рисунок. Общий вид потоковой схемы объекта «краткая»
Рисунок. фрагмент потоковой схемы объекта «с именами»
кратко