Cтраница 4
Названия гетероциклов, приведенные в табл. 5.3 или составленные по расширенной системе Ганча-Видмана, могут быть сконденсированы с названиями циклических углеводородов или других гетероциклических систем по методу, аналогичному описанному ранее для углеводородов ( см. с. Естественно, что при этом возникают некоторые особенности. [46]
Если мы будем рассматривать L как работу, производимую всей расширенной системой, состоящей из тела и окружающей среды, то будет правильнее говорить не о превращении тепла в работу ( при L0) или, наоборот, работы в тепло ( при L0), в результате совершенного телом кругового процесса, а о преобразовании в работу части полной энергии расширенной системы; при / Г0 энергия системы убывает вследствие совершения ею работы, а при LT), наоборот, возрастает за счет произведенной над системой работы. [47]
Поучительно проследить поведение машины при доказательстве сложных теорем как с расширенной системой семантических эвристик, так и без нее. Для теоремы: Две вершины треугольника одинаково удалены от медианы стороны треугольника, определяемой этими вершинами машине потребовалось около 8 мин, чтобы найти доказательство, опираясь только на основную эвристику ( см. фиг. Расширенная система эвристик позволяет получить доказательство за 1 мин. Кроме того, второе доказательство очень короткое и ведет прямо к цели, в то время как первое доказательство вслепую блуждает около прямого пути к цели, прежде чем достигает его. [48]
![]() |
К пояснению v.. [49] |
Но psh pV; это дает основание рассматривать энтальпию как энергию расширенной системы. [50]
Обосновывая физический смысл энтальпии, автор отмечает, что энтальпия равна энергии расширенной системы. Уравнение адиабаты выводится из общих дифференциальных уравнений. Хорошо изложены разделы, посвященные условиям равновесия систем, учению о фазах и фазовых превращениях, и др. Книга Леонтовича снабжена примерами и задачами. Она является прекрасным, серьезным сочинением по термодинамике. [51]
Дальнейшее повышение эффективности процедуры обнаружения ошибок посредством вычисления функции ранга числа в расширенной системе оснований в плане обеспечения возможности выявления оставшихся ошибок будет рассмотрено в следующем параграфе. [52]