Page 28 - Г

де ( і= 1,2, ..., n — номер циклу після відбудовного ремонту
апарата.
n
Залежність f і а від ці зв'язана з одним чи обома
i 1
видами, не стаціонарностей властивих АПД: внутріцикловий і
між цикловий.
Існують різні форми сполучень логічної і динамічний
складових при утворенні логіко-динамічної моделі. Основні
труднощі, що тут виникають, зв'язані з відсутністю
математичної мови, необхідної для оперування з функціями,
аргументи і значення яких задані на безлічі різних
потужностей.
Один з напрямків створення такої математичної мови
зв'язаної з використанням спеціальних функцій, зокрема
гібридних функцій Терно:
G (x 1, .... x l) =f (x i, ... , x n)F (x j, ..., x m), (2.5)
де G — гібридна функція l перемінних; f — числова функція п
— i — реальних перемінних; F — функція предикатів
[(предикат, формула або квантор) т — j — перемінних; 1 ≤ i <
п≤ l,1≤ j <m<l;
1 істина
Причому F (х j,... , x m)=
0 неправда
таким чином, гібридна функція відмінна від нуля тоді, коли
предикат або функція предикатів є істиною. Приведена
гібридна функція дозволяє виконувати над нею алгебраїчні
операції, задача диференціювання цих функцій поки не
вирішена. Як логічну частину функцій, аналогічних
гібридним, використовують також прямокутні і селектуючі
функції.
Можливі й інші напрямки в створенні ЛДМ, зв'язані зокрема з
трансформацією логічної моделі за рахунок введення в неї
аналітичних функцій, чи зміни структури динамічної моделі
при використанні логічних функцій. На базі ЛСА, ГСА,
формул МЦП чи інших подібних мов можуть бути побудовані
ЛДМ, якщо в указаній схемі чи формулі ввести динамічний
оператор об'єкта (ДОО). Наприклад, систему виразів можна
представити в наступному вигляді:
q
A V Q A f x ; А ; z ; , (2.6)
i
i 1 i , 1 j i , 1 j i , 1 j i , 1 j і 1бj i , 1 j
де після фігурних дужок і другого знака проходження
приведений динамічний оператор об'єкта f i+1,j описуючий