2. Функции модели

Временные булевы функция выходов модели команды:

а) Неявная параметрическая форма относительно параметра времени t:

yz = Fz(xz) = Fz xz: yz = D(mz)xz = D^mzxz y_z = D^mzx_z – функция выхода yz;

основная функция передачи управления (потенциальной модели команды Z),

где Fz = D(mz) = D^mz – функциональный объект модели команды Z;

общее обозначение и его конкретизация (метрическая потенциальная модель);

D^mz – оператор сдвига (задержки) во времени;

mz = m_z – параметр сдвига (величина задержки) во времени;

z = xz & Nyz = xz & yz = x_z & y_z – функция индикации активного состояния (блока модели) команды:

выход z = uz включен, если (пока) включен вход xz и не включен выход yz.

б) Явная параметрическая форма относительно параметра времени t:

yz(t) = D_t^mzxz(t) = xz(t–mz) – разновременные соотношения;

последовательностная функция;

uz(t) = xz(t) & Nyz(t) = xz(t) & yz(t) – одновременные соотношения;

комбинационная логическая функция.

Примечание. Оператор сдвига по параметру времени (оператор задержки):

D^m  D_t^m – явная и неявная формы записи оператора

(относительно параметра времени t).

Определяющее отношение оператора сдвига:

D^mf  D_t^m f(t) = f(t–m) – оператор подстановки (сдвинутого значения) пораметра t–m вместо (во все свободные вхождения) параметра t выражения f(t) (одновременные однократные подстановки во все вхождения).

3. Блок функций аппаратной модели команды

Общее оформление системы (блока) функций модели команды:

БФМК: Блок (система) функций модели команды // Общие обозначения

Заголовок блока (краткий и полный)

FZ = FZ(xz, mz / yz, z) = F_Z(x_z, m_z / y_z, z)

// x_z, m_z – входные параметры блока; y_z, z – выходные параметры блока

Описание блока // Заголовок и тело блока

ГИ: Горизонтальное исполнение

FZ(xz, mz / yz, z): (yz = D(mz)xz; z = xz & Nyz)

ВИ: Вертикальное исполнение

FZ(xz, mz / yz, z): F_Z(x_z, m_z / y_z, z):

( (

yz = D(mz)xz; y_z = D^mzx_z;

z = xz & Nyz z = x_z & Ny_z

) )

4. Индексация обозначений

БФМК: Блок функций модели команды // Индексированные обозначения

Заголовок (краткий и полный)

FZi = FZi(xzi, mzi / yzi, zi) = FZ_i(x_zi, m_zi / y_zi, z_i)

Описание блока // Заголовок и тело блока

ГИ: Горизонтальное исполнение

FZi(xzi, mzi / yzi, zi): (yzi = D(mzi)xzi; zi = xzi & Nyzi)

ВИ: Вертикальное исполнение

FZi(xzi, mzi / yzi, zi): FZ_i(x_zi, m_zi / y_zi, z_i):

( (

yzi = D(mzi)xzi; y_zi = D^mzix_zi;

zi = xzi & Nyzi z_i = x_zi & Ny_zi

) )

5. Работа модели

ДИК: Диаграмма исполнения команды / ГИ: Горизонтальное исполнение

Вариант 1: Ступенчатая форма

//

//

//

//

//

Вариант 2: Линейная форма

//

//

//

//

// Выход z = uz включен, если (пока) включен вход xz и не включен выход yz.

ДП: Диаграмма последовательностей / ВИ: Вертикальное исполнение

// Стандарт UML

6. Уточнение функции индикации

Подстановкой выражения yz = D^mzxz получается уточнение содержания исходной функции выхода z индикации состояния (блока модели) команды Z:

z = uz = xz & Nyz = xz & ND^mzxz = Dxz & ND^mzxz = (Dx & ND^mz)xz =

= Fu xz = F_ux_z

где:

Fu = F_u = (D & ND^mz) = (D _#& ND^mz) = (D #& ND^mz) = #(D, ND^mz)&

составной функциональный объект Fu функции z = Fu xz выхода z = uz;

оператор выработки (прямоугольного) сигнала z = uz заданной длительности mz в ответ на ступенчатый сигнал xz;

D = D⁰  D_t⁰ – оператор нулевой задержки.

БСО: Блок-схема объекта ШСО: Штрих-схема объекта

//

//

// // //

//

//

//

Примечание. Определяющее отношение оператора нулевой задержки:

Df(t) = D_t⁰f(t) = f(t–0) = f(t)  D⁰f = f  Df = Rf = f

откуда

D = R – оператор нулевого сдвига эквивалентен простому повторителю

(репитеру с определяющим отношением Rf = f);

оператор эквивалентен простой (непосредственной) связи – отсутствие всякого оператора в линии связи.

Явная (относительно параметра t) форма функции выхода индикации:

z(t) = xz(t) & Nyz(t) = xz(t) & ND_t^mzxz(t) =

=xz(t) & Nxz(t–mz) = xz(t) & xz(t–mz)

z(t) = x_z(t) & Nx_z(t–m_z) = x_z(t) & x_z(t–m_z)

Анализ:

синтаксис

семантика

прагматика – субъекты (автомат, персонал), присубъекты

Выводы