Посоветуйте САПР для моделирования управления лабиринтными и мозаичными автоматами

[Скайнет]

Представьте себе сеть трубопровода. Она представляет собой большой сложный граф (лабиринт).
Каждое ребро графа — труба, которая может содержать вентиль. Если вентиль открыт — проход открыт, и вода может течь через ребро/трубу. Если вентиль закрыт — вода через ребро/трубу течь не может.

Соответственно, вода между двумя произвольно выбранными узлами может протекать если В ДАННЫЙ КОНКРЕТНЫЙ МОМЕНТ существует путь/маршрут (т.е. непрерывная последовательность рёбер) между этими узлами и у всех ребёр этого пути вентили открыты в данный момент.

Некоторые вентили управляются извне по неизвестному нам закону. А некоторыми вентилями мы может управлять, т.е. можем открывать или закрывать их в любой момент когда захотим.

Задача состоит в том, чтобы написать программу, которая бы отслеживала текущее состояние лабиринта/трубопровода и включая или выключая вентили динамически формировала бы и поддерживала путь протока воды от узла/точки А к узлу/точке Б. Причем не абы какой, а такой, чтобы этот путь обязательно содержал как минимум 3(4, 5 или сколько Вам нужно) точки из заданного множества точек.

Посоветуйте тулзу, в которой удобно и просто решаются подобного плана задачи. Плюс чтобы в этой тулзе генерировалась бы интерактивная мнемосхема, на которой бы АВТОМАТОМ выделялось бы цветом состояние вентилей включен/выключен и кроме того подсвечивалась бы группа клапанов, состояние которых нужно изменить (включить или выключить) на данном такте, чтобы поддержать поток жидкости от точки А к точки Б, протекающий через заданные промежуточные точки
Гуглением я вышел не пару десяток SCADA. Беглое знакомство с ними показало, что подобные задачи в них сделать нельзя или крайне гиморно.

Зачем мне нужно моделировать мозаичные алгоритмы?
Хочу на экране монитора смоделировать реальный пульт управления. С кучей кнопочек и светодиодов.
И дать поиграться заказчику. И при этом чтобы поведение индикации было такое же как на пульте реального объекта.

А для этого, мне нужно как-то описать зависимости между состояниями отдельных как видимых на экране так и не видимых элементов системы и скормить набор логических уравнений спец. тулзе, которая схавает их и будет использовать при обработке действий юзверя и отображении "мозаики" на экране монитора

Т.е. наверное придётся задавать правила типа как в грамматиках Хомского.
Ведь элементы пульта - это фактически цепочка символов. А множество допустимых состояний элементов - это фактически множество допустимых цепочек языка.
Наверное для анализа придётся использовать генераторы синтаксических парсеров. Типа YACC или LEX

[kreking]

Попробуйте в симуляторе, где есть анимационные модели (Proteus, Micro-Cap, Multisim и прочие).
Создаёте собственные макромодели, где давление = напряжению, поток = току, объём = конденсатору (заряду), сопротивление = сопротивлению, и т.д.
Рисуете УГО и присваиваете своим макромоделям. Составляете мнемосхему, вставляете логику и клиента просите подёргать "задвижки".

[eleg77]

что то тут попахивает FYZZI LOGIC

[kosmos440o]

Напишите запрос на scada(собака)insat.ru. Там любят такие задачки, может, помогут.

[Gnider]

Матлаб например для этого и создан,чтобы подобные вещи моделировать

[raxp]

Доктор ТуамОсес продолжает свою экспансию
http://www.cyberforum.ru/scada/thread1024911.html

[kreking]

Доктор ТуамОсес продолжает

Не обращайте внимания, детские вопросы надо по детски обрабатывать.
7 лет ездил на Рязанский НПЗ, обошёл почти все цеха пешком, находился возле операторов, видел как устроена система управления установками и цехами, общался с программистами (штат более 20 человек), и выслушивать или читать его "хотелки", просто смешно. Вы попросите его набросать технологическую карту на один узел, если через 5 лет ответит, будет хорошо. Ему предлагали и на Вашем форуме, здесь, на pro-radio.ru, освоить какую нибудь программу, а у него размах президента. Ему надо усвоить, что первично, а что вторично, иначе каша будет в голове.

...Некоторые вентили управляются извне по неизвестному нам закону...

да за такой алгоритм не только уволят, но под суд могут отдать.

[Скайнет]

Сообщение от Скайнет

Некоторые вентили управляются извне по неизвестному нам закону

да за такой алгоритм не только уволят, но под суд могут отдать.

А то что вентиль может отказать ты не в курсе? Или у Вас вентили отказывают по написанному Вами расписанию?

[raxp]

Резервирование, и об этом вы уже знаете.

[kreking]

Или у Вас вентили отказывают по написанному Вами расписанию?

Установка байпасных линий и запорной арматуры регламентируется проектом, где указаны технологические карты и аварийные. Обоснованность установки регламентируется отраслевыми стандартами, нормами проектирования и проектировщику об этом известно. Самостоятельно без проектировщика изменять и тем более, давать операторам самим писать какие то программы и нажимать бездумно кнопки, категорически запрещено. Запорная арматура и трубопроводы имеют паспорта. Технический регламент предусматривает ремонт и замену запорной арматуры и деталей трубопровода. Показать клиенту, что они имеют дело с электриком, который в лампочках разбирается, не составляет труда, а вот показать клиенту, что имеют дело с грамотным инженером, тут сложнее.
Картина.
Приходит клиент, который поверхностно представляет о трубах, дома только видел. Тут подходят и суют под нос "разноцветную ёлку", украшенную индикаторами и просят нажать кнопки. Клиент нажимает кнопки, и если он идиот, в восторге, обещая заплатить. А если попадётся грамотный, ему эти лампочки с выключателями, ровно по барабану, потому как он пришёл смотреть не на украшательства, а на проект. В основном попадаются грамотные руководители, идиоты попадаются реже. В последнее время становится больше неучей, может и повезёт - попадётся косяк придурков, тогда лампочки будут в ходу и нарасхват.
В общем, тема для работы или для учёбы? Если для учёбы, существуют методички, которые надо читать, если для работы, надо рядовым инженером поработать лет 10 -15, не менее.