Cтраница 2
В этом случае примитив signal больше не нужен. Эта схема существенно более общая, чем схема Хоара и Бринча Хансена, но тем не менее она не используется. [16]
Подобное представление о коррозии металлов было высказано более ста лет тому назад де-ля Ривом на основании наблюдений за выделением водорода при растворении технического цинка в кислоте. В дальнейшем, благодаря работам многих ученых: Н. П. Слугинова, Эванса, Хоара, Миерса, Пальмаэра, Г. В. Акимова, Н. Д. Томашова и др., эти взгляды послужили основой первой электрохимической теории коррозии, называемой теорией местных или локальных элементов. [17]
Подобное представление о коррозии металлов было высказано более ста лет тому назад де-ля Ривом на основании наблюдений за выделением водорода при растворении технического цинка в кислоте. В дальнейшем, благодаря работам многих ученых ( Н. П. Слу-гинова, Эванса, Хоара, Миерса, Пальмаэра, Г. Э. Акимова, Н. Д. То-машева и. [18]
Подобное представление о коррозии металлов было высказано более ста лет тому назад де ля Ривом на основании наблюдений за выделением водорода при растворении технического цинка в кислоте. В дальнейшем, благодаря работам многих ученых ( Н. П. Слу-гинова, Эванса, Хоара, Миерса, Пальмаэра, Г. В. Акимова, Н. Д. Томашева и др.), эти взгляды послужили основой первой электрохимической теории коррозии, называемой теорией местных или локальных элементов. [19]
В листинге 2.7 представлена схема решения проблемы производителя и потребителя с применением мониторов, написанная на воображаемом языке Pidgin Pascal. В данной ситуации этот язык удобен своей простотой, а также тем, что он позволяет в точности следовать модели Хоара и Бринча Хансена. В каждый момент времени активна только одна процедура монитора. Буфер состоит из N сегментов. [20]
Широкую формулировку общих модельных представлений следует начать с обсуждения взимодействия процессов водородного охрупчивания и анодного растворения. Анодное растворение, протекает ли оно как процесс, определяемый конкуренцией между локальным разрушением пленки и репассивацией [99] ( как впервые предложил Логан [321]), или как процесс, облегченный податливостью материала в вершине трещины ( согласно формулировке Хоара [322]), или же по какому-либо другому локализованному механизму, является хорошо известным явлением в КР. С другой стороны, во всех рассмотренных системах сплавов в определенных внешних условиях может происходить растрескивание, вызванное поглощением водорода. [21]
В начальных главах книги подчеркивалось, что не существует однозначного определения операционной системы. Возможны различные точки зрения на этот предмет, из которых мы выделим две. В представлении Хоара ( С. А. Ноаге) операционная система - это универсальная и логически завершенная система, согласно другой точки зрения - это как бы набор строительных блоков. [22]
Это пока единственный язык, для которого ( или подмножества которого) созданы программные системы, позволяющие доказывать правильность программ. Язык программирования Паскаль описывается с помощью аксиоматической системы К. Хоара, для которой имеется хорошо разработанный математический аппарат, позволяющий доказывать различные утверждения об участках программы или обо всей программе в целом. Так как программы, используемые на практике, являются чрезвычайно сложными и имеют тенденцию становиться все более сложными, ошибки при программировании всегда будут появляться. [23]
Для регулярных растворов уравнение ( 71) приблизительно приводится к уравнению Гугенгейма. Авторы сравнивают поверхностную энергию, вычисленную из известных термодинамических свойств, с экспериментальными кривыми для расплава Pb-Sn и Pb-Zn и находят замечательное совпадение. Тэйлор [500], пользуясь менее отработанными ( отточенными) теориями, получил вполне хорошее совпадение для простых систем, но менее удовлетворительное для систем, содержащих соединения. Более серьезный подход Хоара и Мельфорда включает подобные сравнения. Тэйлор предложил объяснять расхождения между измеренными и вычисленными значениями тем, что поверхностный слой более идеален, чем объем, но это можно отнести лишь к ограниченному числу случаев, обычно имеющих тенденцию к несмешиваемости. [24]
В реляционной алгебре определяются основные операции над данными реляционного типа. Основные рассматриваемые ниже операции взяты из реляционной алгебры Кодда. Так как отношение является множеством, то реляционная алгебра является алгеброй взаимосвязей между специфическими множествами, называемыми отношениями. В случае данных типа прямого произведения Хоара есть отличия, и операции над этим типом скорее ближе к операциям над типом множества. [25]
Некоторые формы иерархической декомпозиции, с которыми мы встретимся, представляют собой нисходящее управление ( гл. Вероятно, многие знакомы с такими видами формальной иерархической декомпозиции, как поэтапная обработка [11], уровни абстракции [12], иерархия документации [13], нисходящее программирование [14], модульная декомпозиция [15], композиционное [16] и структурное [17] проектирование. Александер [18] предлагает весьма интересное представление декомпозиции. В небольшой, но очень полезной книге он проводит философское обсуждение процессов анализа и синтеза конструкций, за которым следует математический метод разложения множества ограничений на подмножества, приводящий к минимизации их взаимодействия. Его работы и работы Бема [19], Хоара [20], Милза [21], а также некоторые пока еще не опубликованные работы представляют собой значителньый вклад в проектирование программного обеспечения благодаря введению количественной меры оценки этого процесса и средствам доказательства правильности программ. [26]
Геделев метод и, таким образом, находится в близком родстве с диагональным методом Кантора. Не буду приводить ее здесь; достаточно сказать, что идея Тюринга заключалась в том, чтобы ввести в программу ее собственный Геделев номер. Это, однако, весьма непросто, все равно что ухитриться процитировать какое-то предложение внутри него самого. Очевидно, что это приводит к бесконечному регрессу. Однако Тюринг придумал ловкий трюк, позволяющий скормить программе ее собственный Геделев номер. Однако сейчас мы пойдем к той же цели другой дорогой - а именно, постараемся доказать, что такой тест невозможен. Читатели, которые хотят ознакомиться с элегантной и простой версией метода Тюринга, могут обратиться к статье Хоара и Аллисона ( Hoar and Allison), упоминающейся в библиографии. [27]