Cтраница 4
Матрицы коэффициентов системы линейных алгебраических уравнений общего ( или покомпонентного) материального баланса для сложных разделительных систем ( с рециклами)) вне трехдиагоналъной системы содержат ненулевые элементы, исходя из этого поиск корней осуществляется в два этапа. [46]
Если макет, оборудование или система предназначены для работы в различных режимах ( например, разведка и атака, день пли ночь) или если операции системы содержат такие переменные, которые могут отражать различия в деятельности персонала или влиять на нее, то эти переменные должны быть изучены Дразд. [47]
Если макет, оборудование или система предназначены для работы в различных режимах ( например, разведка и атака, день или ночь) или если операции системы содержат такие переменные, которые могут отражать различия в деятельности персонала или влиять на нее, то эти переменные должны быть изучены ( разд. [48]
Логическая структура обычного персонального компьютера показана на рис. 2.24. У данного компьютера имеется одна шина для соединения центрального процессора, памяти и устройств ввода-вывода, однако большинство систем содержат две и более шин. Каждое устройство ввода-вывода состоит из двух частей: одна из них содержит большую часть электроники и называется контроллером, а другая представляет собой само устройство ввода-вывода, например дисковод. Контроллер обычно содержится на плате, которая втыкается в свободный разъем. Исключение представляют контроллеры, являющиеся обязательными ( например, клавиатура), которые иногда располагаются на материнской плате. [49]
Сигналы в разных точках системы могут оказаться случайными: а) когда сигнал на входе системы является случайным, при этом элементы системы могут не иметь источников случайных возмущений; б) когда сигнал на входе системы неслучайный, но элементы системы содержат источники случайных возмущений; в) когда случаи а) и б) имеют место одновременно. [50]
В системах такого типа стабилизирующие гироскопы не корректируются и на вход акселерометров не подаются никакие электрические сигналы. Системы содержат весьма простые, а следовательно, достаточно надежные вычислители. Все это создает условия для высокой точности и надежности этих систем. [51]
Для Яп гформул при ге1 истинность конъюнкций и V-формул определяется обычным образом через истинность компонент, а истинность импликации А В означает выводимость В из Л по нек-рым правилам Sn, о к-рых уже доказано, что они сохраняют истинность Я - формул. Системы Sn содержат ео-пра-вило, а в качестве аксиом - все истинные Я - формулы. Понятие выводимости в Sn вводится обобщенным индуктивным определением, а для доказательства мета-теорем применяется соответствующий принцип индукции. Системы Sn 3, ri i, состоят из обычных правил для рассматриваемых связок, включая ш-правило. Оказывается, что почти нормальная формула А истинна по Маркову тогда и только тогда, когда примитивно рекурсивное дерево Т д поиска вывода формулы А без сечения ( но с ш-правилом и принципом Маркова) является выводом в смысле индуктивного определения. В мажорантной семантике Н. А. Шанина для каждой почти нормальной формулы А определяется трансфинитная иерархия Ла формул простой структуры, причем Аа эА доказуемо в подходящей формальной системе. А, и А считается истинной формулой ранга а, если Аа верна. [52]
Уровень общения в первую очередь определяется уровнем языка, на котором оно происходит. Современные опера-чионные системы содержат трансляторы с языков различного уровня, таких, как АССЕМБЛЕР, ФОРТРАН, ПЛ-1 и другие. [53]
Нами были вычислены параметры Вильсона для более чем сотни полностью смешивающихся бинарных систем, относительно которых имелись надежные данные по равновесию. Эти системы содержат углеводороды, спирты, эфиры, кетоны, воду, азото -, серо - и галоидсодержащие соединения. Установлено, что во всех случаях уравнение Вильсона хорошо воспроизводит экспериментальные данные. По-видимому, оно является лучшим двухпараметрическим уравнением, пригодным для расчета самых различных смесей. Сравнение уравнения Вильсона с уравнениями ван Лаара и Маргулеса ( с двумя коэффициентами), проведенное нами, показало, что уравнение Вильсона никогда не дает худших результатов, а во многих случаях оно значительно более точно. [54]
Системы возбуждения со статическими преобразователями в настоящее время являются основными для крупных синхронных машин. Эти системы содержат тот или иной источник переменного тока и статический полупроводниковый или, реже, ионный преобразователь переменного тока в постоянный. Постоянный ток, как и в электромашинных системах возбуждения, подается на кольца ротора. Наличие последних ограничивает возможности данной системы возбуждения. В первом случае применяются индукторные генераторы трехфазного тока высокой частоты ( 500 Гц) или вспомогательные генераторы трехфазного тока промышленной частоты, сцепленные С валом возбуждаемой машины. [55]