Хоара

Cтраница 1

Хоара, разработаны для фрагментов языков программирования кобол и алгол-68, а также для нек-рых языков с недетерминированными и параллельными конструкциями. Для доказательства правильности рекурсивных программ используется индукция, связанная с определением наименьшей неподвижной точки, а для программ со сложными структурами данных ( напр. [1]

Исследования Хоара, Протера и Уолша [23] и Болдуина и Бреттана [24] показали, что при давлениях выше атмосферного эта реакция является мономолекулярной реакцией второго порядка. [2]

Метод Хоара включает в себя выбор элемента А ( т) и расщепление массива на три порции, которые меньше, равны и больше этого элемента соответственно. Затем этот метод применяется рекурсивно к первой и третьей порциям до тех пор, пока данные не будут полностью отсортированы. Последующие версии, ведущие к [2], изменяют метод в четырех важных пунктах ( а) вместо произвольного выбора А ( т) выбирается среднее из первого, последнего и срединного элементов; ( 6) рекурсия скорее кажущаяся, чем подлинная; ( с) короткие последовательности ( в [3] менее Ш) сортируются методом погружения; ( d) вводятся различные толкования связанных характеристик. [3]

Метод Хоара очень хорошо подходит для решения задачи частичной сортировки. Раз мы установили сегмент А, который не содержит нужные порядковые статистики, то в дальнейшем его не надо сортировать. [4]

Пусть рассматривается логика Хоара, у к-рой в качество языка для записи условий взят язык арифметики 1-го порядка. [5]

Эванса, Пальмаэра, Хоара, Г. В. Акимова, А. Н. Фрум-кина, Я. М. Колотыркина и др. На поверхности металла в присутствии электролита могут протекать одновременно по крайней мере две независимые сопряженные реакции - одна в анодном, а другая в катодном направлении. [6]

В этом отношении любопытно замечание Хоара: Размышлять о типах легче, если придерживаться следующего важного принципа: каждое значение, переменная и выражение принадлежат одному и точно одному типу. Конечно, я не могу доказать этот принцип. [7]

Кроме этого, существует третье решение, не основывающееся на предположениях Хоара и Бринча Хансена: позволить процессу, выполнившему signal, продолжать работу и запустить ждущий процесс только после того, как первый процесс покинет монитор. [8]

Верная граница. [10]

За формальным доказательством корректности этого алгоритма мы отсылаем читателя к оригинальной работе самого Хоара. [11]

Несмотря на то что Pidgin Pascal - воображаемый язык, существует несколько языков программирования, поддерживающих мониторы, хотя и не всегда в соответствии с моделью Хоара и Бринча Хансена. Один из таких языков - Java, объектно-ориентированный язык, поддерживающий потоки на уровне пользователя и позволяющий группировать методы ( процедуры) в классы. Добавление в описание метода ключевого слова synchronized гарантирует, что если хотя бы один поток начал выполнение этого метода, ни один другой поток не сможет выполнять другой синхронизированный ( определенный как synchronized) метод из этого класса. [12]

Эта процедура сортирует элементы массива а [: j ] в возрастающем порядке. Хоара [1], т.е. постоянно разделяющий массив на такие части, что все элементы одной части меньше всех элементов другой части, с третьей частью в середине, содержащей один элемент. [13]

A Q есть самое слабое предусловие, для к-рого справедливо утверждение о частичной правильности программы А с постусловием Q. Аналогично логике Хоара для алгоритмич. [14]

Подобное представление о коррозии металлов было высказано более ста лет тому назад де ля Ривом на основании наблюдений за выделением водорода при растворении технического цинка в кислоте. Эванса, Хоара, Миерса, Пальмаэра, Г. В. Акимова, Н. Д. Томашсва и др.), эти взгляды послужили основой первой электрохимической теории коррозии, называемой теорией местных или локальных элементов. [15]

Страницы: 1 2