Подобъект
Cтраница 3
 |
Блочная схема системы управления. [31] |
Разбиение объекта на подобъекты определено наличием нескольких групп исполнительных устройств, каждая из которых реализует определенную последовательность операций, некоторые из операций одной группы выполняются одновременно с операциями другой группы. Как правило, такая группа исполнительных устройств оформлена в виде конструктивно завершенной части объекта. [32]
Понятно, что подобъекты должны определяться в терминах стрелок. [33]
Следствие 9.22. Пусть достижимый подобъект [ K объекта Д обладает композиционным рядом. К П - О изоморфны, и каждый нормальный ряд для достижимого подобъекта [ к [ и ] можно уплотнить до композиционного ряда. [34]
Достоверное прослеживание зон подобъектов для сайклинг-процес-са, определение их границ и условий взаимодействия с другими частями продуктивного разреза возможно только после бурения значительной части проектных скважин. [35]
При этом состояния подобъекта могут характеризоваться одинаковыми наборами входных сигналов, но отличаться тем, что далее выполняется различная последовательность операций. Таким состояниям сопоставляются различные вершины графа. Ребра графа соответствуют операциям технологического процесса и отличаются логическим условием, которое заключается в квадратные скобки, и перечислением тех входов на подобъект, которые изменяют значение при данной операции. [36]
Два ЗК - подобъекта эквивалентны, если они содержат нек-рый ЗГ-подобъект. Множество 11 %, , ( А, В) состоит, по определению, из классов эквивалентных ЗГ-подобъектов прямой суммы AQ) B. Эта факторкатегория оказывается абелевой категорией. Точный функтор Т: 9 ( - - ЭДУЗГ можно задать, сопоставляя каждому морфизму а: А - - В его график в А В. [37]
УС обладает классификатором подобъектов. [38]
Переходим к классификатору подобъектов. [39]
В классе всех подобъектов данного объекта а категории / С естественным образом вводится частичная упорядоченность и з нескольких работах изучается строение частично упорядоченного класса всех подобъектов объекта а. Наряду с изучением частично упорядоченного класса всех подобъектов объекта а, отдельными авторами изучаются частично упорядоченные классы всех нормальных подобъектов или всех идеалов объекта а. В обзорной статье [25] доказывается следующее утверждение. Пусть в категории К: 1) существуют нулевые отображения; 2) каждое отображение обладает нормальным образом; 3) для любого семейства объектов существует их свободное объединение; 4) совокупность всех подобъектов любого объекта составляет множество. Тогда частично упорядоченное множество подобъектов любого объекта категории / С образует полную структуру. Здесь же отметим, что при тех же предположениях 1) - 4) в упомянутой работе М. С. Цаленко доказывается, что каждое отображение из категории К. [40]
Для нормальных рядов любого достижимого подобъекта ( ц ] объекта А нормальной категории К спра ведлива теорема Шрейера: любые два нормальных ряда для достижимого подобъекта ( ц ] обладают изоморфными уплотнениями. [41]
Согласно общему категорному подходу подобъекты определяются через морфизмы. Это, в частности, означает, что понятие нечеткого подмножества должно быть производным от понятия нечеткого отображения. С другой стороны, определение отображения предполагает, что как-то определено равенство элементов. Таким образом, определению нечеткого отображения должно предшествовать определение нечеткого равенства. [42]
Разделение сложного объекта на подобъекты определяют в процессе анализа конкретного объекта управления. Совокупность выделяемых подобъектов должна составлять весь объект. Разделение сложного объекта желательно выполнить так, чтобы каждый подобъект имел возможно меньше связей с другими частями системы. Обычно управление сложным объектом рассматривается на большом периоде времени, поэтому н поведение отдельных подобъектов целесообразно рассматривать на последовательности подинтервалов общего периода времени. [43]
Вначале убедимся, что подобъекты в категории ( х, G) имеют нужный вид. [44]
Объект можно строить из подобъектов, связанных между собой или с другими объектами отношениями. [45]
Страницы: 1 2 3 4