Cтраница 2
При автоматизации производственных процессов для блокировки, сигнализации, автоматического и программного управления применяются устройства дискретного действия, назначение которых - выработка правильной команды исполнительным органам в зависимости от сочетания сигналов, поступающих на входы. Эти устройства составляются из так называемых логических элементов, каждый из которых реализует элементарную логическую операцию. Вся же совокупность логических элементов, входящих в автоматическую систему, производит сложное логическое действие, в результате которого на выходе системы появляется нужный сигнал. [16]
Расписание правильно оформленных логических элементов работы, в котором повторная блокировка ранее блокированного объекта происходит после его разблокирования, называется легальным расписанием. Однако не всегда легальное расписание является сериализуемым расписанием. В случае рис. 6.8 сделана блокировка всей книги продажи в кредит. Wn являются правильно оформленными логическими элементами работы. С другой стороны, расписание для W и W2 также является легальным, но оно обеспечивает целостность базы данных. Совокупность логических элементов работы, для которой все легальные расписания являются сериализуемыми, называется надежной. Примером такой совокупности являются на рис. 6.10 элементы W и Wz. Причина этого заключается в том, что для W и W2 интервалы блокирования всех объектов перекрываются. Для W3 и W4 интервалы блокирования не перекрываются, и в этом случае возможно выполнение других логических элементов работы и нарушение целостности промежуточного состояния базы данных. Wa, W4) не является надежной совокупностью логических элементов работы. [17]
Существенной особенностью ЭВМ является сложность. Сложность - это свойство систем, состоящих из большого числа элементов. Для сложных систем характерно, что функция, реализуемая системой, не может быть представлена как композиция функций, реализуемых наименьшими элементами системы. Так, порядок функционирования ЭВМ невозможно рассмотреть с точки зрения лишь электрических процессов, происходящих в цепях ЭВМ. Функции ЭВМ выявляются только в том случае, если процессы в ЭВМ рассматриваются в информационном и алгоритмическом аспекте. Это объясняется эффектом организации, порождающим в совокупностях элементов новые свойства: в совокупности электронных элементов ЭВМ - свойство выполнять логические операции над значениями ложь и истина; в совокупности логических элементов - свойство складывать или сравнивать числа; в совокупности устройств - свойство реализовать вычисления на основе алгоритма. Сказанное свидетельствует об органической потребности в использовании нескольких форм описания функции и структуры системы - иерархии функций и структур. [18]
Расписание правильно оформленных логических элементов работы, в котором повторная блокировка ранее блокированного объекта происходит после его разблокирования, называется легальным расписанием. Однако не всегда легальное расписание является сериализуемым расписанием. В случае рис. 6.8 сделана блокировка всей книги продажи в кредит. Wn являются правильно оформленными логическими элементами работы. С другой стороны, расписание для W и W2 также является легальным, но оно обеспечивает целостность базы данных. Совокупность логических элементов работы, для которой все легальные расписания являются сериализуемыми, называется надежной. Примером такой совокупности являются на рис. 6.10 элементы W и Wz. Причина этого заключается в том, что для W и W2 интервалы блокирования всех объектов перекрываются. Для W3 и W4 интервалы блокирования не перекрываются, и в этом случае возможно выполнение других логических элементов работы и нарушение целостности промежуточного состояния базы данных. Wa, W4) не является надежной совокупностью логических элементов работы. [19]