Cтраница 4
Следовательно, р представляется через двумерную эрмитовую ковариантную матрицу. Однако существует простое геометрическое представление состояния атома с помощью действительного трехмерного вектора г с составляющими ri, r2, гз - Оно называется блоховским представлением состояния атома ( Bloch, 1946) и является аналогом представления состояния поляризации светового пучка с помощью вектора Стокса ( см. гл. [46]
На функционально-логическом уровне необходим ряд положений, упрощающих модели устройств и тем самым позволяющих анализировать более сложные объекты по сравнению с объектами, анализируемыми на схемотехническом уровне. Часть используемых положений аналогична положениям, принимаемым для моделирования аналоговой РЭА. Во-первых, это положение о представлении состояний объектов с помощью однотипных фазовых переменных ( обычно напряжений), называемых сигналами. Во-вторых, не учитывается влияние нагрузки на функционирование элементов-источников. [47]
Прежде чем сформулировать задачу более точно, целесообразно несколько изменить обозначения. Для обозначения функции вместо x ( t) используем u ( t); u ( t) будет рассматриваться как варьируемая переменная. Векторная функция х ( /) будет в дальнейшем использована для представления состояния системы. Как правило, t будет обозначать время, хотя в ряде случаев она используется для представления других переменных, как, например, расстояния. [48]
Прежде чем сформулировать задачу более точно, целесообразно несколько изменить обозначения. Для обозначения функции вместо x ( t) используем u ( t); u ( t) будет рассматриваться как варьируемая переменная. Векторная функция х ( /) будет в дальнейшем использована для представления состояния системы. Как правило, / будет обозначать время, хотя в ряде случаев она используется для представления других переменных, как, например, расстояния. [49]
Поэтому отношение следования после обычно определяется неявно, при помощи правил вычисления вершин-преемников некоторой заданной вершины. Другим вопросом, представляющим интерес с самой общей точки зрения, является вопрос о способе представления состояний, т.е. самих вершин. Это представление должно быть компактным, но в то же время оно должно обеспечивать эффективное выполнение необходимых операций, в частности операции вычисления вершин-преемников, а возможно и стоимостей соответствующих ходоз. [50]
Незавершенное развитие классической физики тепла-законная и даже неотложная задача теоретической физики. Другие трудности, связанные с малыми длинами волн ( такие как ультрафиолетовая катастрофа и бесконечность энергии поля точечной частицы), не проявляются в численных моделях из-за того, что число степеней свободы ограничено числом машинных переменных, используемых для представления состояния системы. [51]
Бланк, В. П. Рябоконь, П. Д. Степанов, А. С. Царьков [5] предлагают моделировать состояние пульта управления в системе человек - машина конечным автоматом. Результаты работы применяются к задаче управления самолетом при взлете. В этой задаче соответствующий автомат имеет 37 состояний. Представление состояний пульта управления в виде конечного автомата позволяет оценить сложность тех или иных действий оператора по числу состояний пульта, участвующих в данном действии. [52]
Мы различаем три ситуации. Если р Хл / nhk, то перекрытие отсутствует. Следовательно, результирующая вероятность W ( p) обращается в ноль. Мы понимаем, однако, что 5-функционное представление состояния движения достоточно грубое. Более полный анализ описывает это состояние с помощью функции Эйри, которая обсуждалась в связи с проблемой равномерного асимптотического разложения. Так что вероятность в данном случае оказывается экспоненциально малой. Если р / nhk, линия импульсного состояния тангенциально касается максимумов косинусоидальной волны. Это приводит к большому перекрытию и, следовательно, к большой вероятности. Здесь есть, к тому же, и новая дополнительная особенность: из-за периодичности электромагнитной волны число таких тангенциальных перекрытий велико. Вклады всех этих областей перекрытия интерферируют, так что важную роль начинают играть разности фаз. Это приводит к дискретности значений импульса, как было математически показано в предыдущей главе. [53]
В части I мы считали, что вся информация, вводимая в компьютер, атомарная, так что мы могли иметь дело только с сетапами. В части II мы обобщили ситуацию, допуская в качестве входной информации более сложные, функционально составленные формулы. Это обобщение требует обращения к эпистемическим состояниям. Теперь следует отметить, что иногда практически важно давать компьютеру информацию в виде правил, позволяющих ему изменять собственное представление эпистемических состояний в желательных нам направлениях. Другими словами, нам хочется иметь возможность инструктировать компьютер, как осуществлять некоторые шаги вывода, которые не являются просто тавтологическими следствиями. При наличии необходимых таблиц для отождествления и различения имен или при условии, что разные имена обозначают разные объекты ( это не плохое условие для практического использования во многих вычислительных устройствах), можно вывести. [54]
В части I мы считали, что вся информация, вводимая в компьютер, атомарная, так что мы могли иметь дело только с сетапами. В части II мы обобщили ситуацию, допуская в качестве входной информации более сложные, функционально составленные формулы. Это обобщение требует обращения к эпистемическим состояниям. Теперь следует отметить, что иногда практически важно давать компьютеру информацию в виде правил, позволяющих ему изменять собственное представление эпистемических состояний в желательных нам направлениях. Другими словами, нам хочется иметь возможность инструктировать компьютер, как осуществлять некоторые шаги вывода, которые не являются просто тавтологическими следствиями. [55]
Ранее мы считали, что вся информация, вводимая в компьютер - атомарная, так что мы могли иметь дело только с сетапами. В части I мы обобщили ситуацию, допуская в качестве входной информации более сложные, функционально составные формулы. Это обобщение требует обращения к эпистемическим состояниям. Теперь нам приходится признать, что практически важно давать иногда компьютеру информацию в виде правил, которые бы позволили ему менять собственное представление эпистемических состояний в нужных нам направлениях. Другими словами, желательно иметь возможность инструктировать компьютер, чтобы осуществлять некоторые шаги вывода, не являющиеся просто тавтологическими следствиями. [56]
Одним из применений регистра является использование регистра для хранения числовых значений. В этом случае состояния отдельных триггеров регистра ставятся в соответствие отдельным символам числового кода. Между 2 состояниями л-разрядного регистра и числами можно установить следующее простейшее и наиболее естественное соотношение: каждому из 2 состояний ставится в соответствие одно из целых чисел от 0 до ( 2 - 1) включительно. В этом случае состояние регистра, определяемое в символах 0 и 1, соответствует первым 2 неотрицательным целым числам, записываемым в двоичной системе счисления. Такой способ представления состояния регистра называется целочисленным представлением. [57]