Аннотация:
В работе предлагается алгоритм синтеза условий сохранения (переносимости) свойств многоосновных алгебраических систем, функции и отношения которых определены на произвольных ступенях в смысле Н. Бурбаки, как способ построения решений логико-алгебраических уравнений. Связывающие системы отображения при этом носят характер морфизмов и их канонических распространений на ступени. Работа метода демонстрируется на примере анализа одного динамического свойства дискретно-событийной системы.
Ключевые слова:условия сохранения, многоосновные алгебраические системы, дискретно-событийные системы.
Полный текст:
PDF файл (313 kB)