9.24. Монотонность в развитии смыслов

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

Ещё конкретнее - наибольший интерес вызывает взаимозависимость отношения И и отношения ЛИБО в общем виде, то есть именно в тех случаях, когда рассматриваемые системы имеют вид более сложный, чем заданные просто таблицами - вариативными ситуациями, соотносимыми в свою очередь с рабочим профилем.

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

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

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

Значит, с точки зрения разработчика было бы полезным, чтобы для него было бы возможным мысленное восстановление прямо по структкре конструкции интересуючих аспектов поведения, то есть, смыса, определяемого характерными чертами;

В случае с автоматом мгновенного действия это означает "очевидность" понимания по его конструкции, действительно ли находятся в отношении И или отношении ЛИБО группа состояний, соотносимых с его определёнными блоками

В качестве базы рассуждений здесь служит дерево строения единичной высоты, где корень в виде операторов суммы, произведения или канального соединения соотносится с И- и ЛИБО-блоками

Но даже если длина пути от такого И- или ЛИБО-блока до той вершины, которая ассоцирована с блоком интересующего состояния, больше единицы, то и тогда он может выступать в качестве "порождающего" соответствующее отношение - надо только, чтобы соблюдались определённые условия, выраженные здесь в определении согласованной системы ВС

Особо важную роль при этом играют ключи коммутатора и ключи селектора - именно они позволяют восстановить мысленно или автоматически требуемые отношение.

И если успешна проведена автоматическая проверка алгоритмом синтеза, то разработчику достаточно мысленно провести лёгкую операцию получения проекции рассматриваемых состояний на базис указанного ключа.

Ведь именно ключ коммутатора содержит прямое указание на то, как рассматриваемая N-ка состояний из сомножителей (в конструкции) - приведёт корректному испытанию (если каждое такое состояний является прообразом для данного ключа), или наоборот - к ошибке (в противном случае).

Итак, конструкцией автомата можно было бы называть только такую, чьё описание в виде формул языка И-ЛИБО-систем успешно прошло проверку алгоритмом синтеза на сохранение в нём характерных черт при всех взможных испытаниях

А алгоритм синтеза должен:

• автоматизировать проверки описания конструкции автомата мгновенного действия на сохранение отношения И и отношения ЛИБО для получения согласованной системы ВС
• гарантированно сохранять в такой согласованной системе все характерные черты

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

Назад Вперёд