logo search
ТОКБ2к / Тема 1и

Модель Системы ↔ Условие замыкания ↔ Модель Действия

ЗАДАЧА.Дано.Множество возможных ситуаций(F×R).Множество возможных

действий (R = X×T).

Требуется определить.Условие замыкания.

Потенциал поля эффективности (ППЭ) системы - (u(r),v(r),r) F;F-множество допустимых значений производительности;: U×V×RF.

Количественно ситуация характеризуется результатом мгновенной деятельности системы ((u(r),v(r),r)r) на элементеr областиQ. В случае рассмотрения ПС результат мгновенной деятельности системы будет характеризоваться (…) dr. Руководствуясь разработанным авторомзаконом сохранения целостности, получим условие ЗАМЫКАНИЯ, "собирая" по всей областиQ"результаты" мгновенной деятельности системы,

Условие замыкания (u(r),v(r),r)dr = I(Q),(2.2.)

Модель действия Модель объекта Модель ситуации Результат замыкания

Структура множества Qявляется носителем возможностей системы и механизмов их реализации. Соотношение (2.2.) является алгебраической операцией, определённым образом связанной со свойствами несущего множества. Как известно, алгебраическая операция это отображение, сопоставляющее всякому упорядоченному наборуnэлементов данного множества определённый элемент этого же множества. Отображениеf(r):Q Rобеспечивает формирование элементовr R,удовлетворяющих уравнению синтеза модели и способов применения системы (2.2.), т.е. формирование множества требуемых ПВСQ R). Физически эта операция "фильтрует" элементы множества R с целью выбора таких элементов, которые несут свойства создаваемой целевой системы и тем самым формируют элементы множестваQR.Применительно к нашей задаче наша модель программы «фильтрует» состояния памяти ЭВМ с целью формирования в памяти ЭВМ требуемой логической последовательности команд и соответствующих состояний памяти. При этом надо понимать то, что такая «фильтрация» осуществляет управление внешними устройствами ЭВМ.