Cтраница 3
Полезным методом реализации сложного логического компилятора, позволяющим избежать бремени написания самого компилятора в машинных кодах, является метод, называемый раскруткой. Сначала компилятор С пишется как множество Р логических процедур, описывающих все стандартные задачи компиляции, которые включают в себя ввод исходной программы и уплотнение, синтаксический разбор, построение таблицы идентификаторов, диагностику ошибок и генерацию машинной программы. [31]
Каждая из подсистем, будь то функциональная или обеспечивающая, в свою очередь имеет сложную структуру, первичным элементом которой является задача. Под задачей, как уже отмечалось, понимается комплекс вычислительных и логических процедур обработки информации, используемых для реализации отдельной фазы управления в составе отдельных функций управления. Задачи представляют собой те кирпичики, из которых в конечном итоге складывается система в целом. Поскольку каждая из функциональных подсистем реализует ту или иную функцию управления, задачи соответствующих функций управления входят в состав соответствующих функциональных подсистем АСУ. [32]
Операционализация включает в себя экспериментальную ситуацию и не является логической процедурой определения; это разработка новых средств фиксации данных - индексов и шкал, то, что можно назвать методическим экспериментом. [33]
Кларк ссылался на нее как на верификацию следования, подчеркивая тем самым, что ее цель состоит в доказательстве того, что процедуры программы являются логическими следствиями ее спецификации. Рассматриваемый как средство либо верификации, либо синтеза программ вывод логических процедур отличается от анализа традиционных программ в том, что ( а) он позволяет избежать решения обременительной задачи, связанной с аксиоматизацией разнородных и сильно зависящих друг от друга машинно-ориентированных программистских конструкций; ( Ь) он позволяет сосредоточить внимание только на логических свойствах алгоритмов, игнорируя все особенности их управления и ( с) он не зависит от целевого утверждения и, следовательно, является нейтральным по отношению к предполагаемому использованию выводимых процедур. Кроме того, концептуальный базис этого метода прост и интуитивно понятен. [34]
Поиски идей в модели Дьюи и синтез систем в новой модели означает в сущности одно и то же. Мы предпочитаем говорить о синтезе систем, чтобы подчеркнуть, что имеются полезные логические процедуры для конструирования новых систем и что идеи не всегда приходят сами в голову. [35]
Цифровую вычислительную машину можно назвать простодушным устройством, которое после соответствующего разъяснения осуществляет только самые простейшие вычисления, но с ослепительной быстротой. В то же время оно неутомимо и универсально, легко программируется и выполняет бесконечно разнообразные вычислительные, логические процедуры или команды управления. Кроме того, это устройство способно различными способами взаимодействовать с научно-исследовательской аппаратурой и даже общаться с исследователем. Именно благодаря этому качеству оно является универсальным приспособлением для автоматизации эксперимента. [36]
Арифметическое и логическое устройства ( АЛУ) являются основными частями процессора и предназначены для выработки управляющей информации, согласно априорной, исходной и текущей информации и в соответствии с алгоритмом управления. Реализация алгоритмов управления может быть выполнена в виде различных арифметических ( численных) и логических процедур. Так, при реализации пропорционального регулирования сигнал управления вычисляется как разность задающего сигнала и сигнала обратной связи. Может оказаться, что для оптимального управления технологическим объектом применен алгоритм, требующий для своей реализации использования специальных математических методов ( динамического программирования, градиентных методов) и миллионов арифметических и логических операций. [37]
Именно учет свойства разреженности матриц и лежит в основе метода сканирования М - матрицы. В этом методе запись уравнений ЗНК и ЗТК для главных контуров и сечений производится с помощью логической процедуры сканирования М - матрицы. При этом осуществляется просмотр строк и столбцов М - матрицы; наличие ненулевого элемента приводит к записи очередного слагаемого в уравнениях ЗНК и ЗТК, конкретный смысл которого определяется по координатам ненулевого элемента. [38]
Вполне естественны следующие вопросы: где источник этих типов, применяемых в ходе повседневного понимания; как происходит типизация, каков ее механизм. Ведь наивно было бы пола - гать, что участники повседневных взаимодействий сознательно g; применяют логическую процедуру типологизации. Бахтин заме - чал, что, подобно мольеровскому Журдену, который говорил про - g зой, не подозревая об этом, мы, сами о том не задумываясь, ис-я пользуем в разговоре различные речевые жанры. [39]
Именно проведение такого различия и позволило мыслителям - основателям социологии в конце XIX - начале XX вв. Всякая научная дисциплина включает в себя теорию ( или ряд теорий) общего и среднего уровня, определенную сумму понятий, которыми оперируют ученые, методологию как логические процедуры, соединяющие теорию и факты, описания эмпирического материала и фактов, подлежащих интерпретации. В естественных науках это деление носит весьма строгий характер. В социологии ( а тем более социологии культуры) эти границы провести труднее ввиду того, что всякое исследование здесь затрагивает субъективные факторы, а любые выводы, сделанные наукой, могут так или иначе повлиять на интересы каких-то социальных групп и войти в рассогласование с их представлениями. [40]
На данном этапе необходимо отказаться от точных уравнений ( 11) и ( 12) и обратиться к более приближенной теории, которая в состоянии осветить больше деталей. Вместо того, чтобы использовать точные волновые функции ( ty0 и - фА), которые неизвестны, мы должны взять приближенные волновые функции, которые либо известны полностью, либо известны по крайней мере в большей степени, чем точные волновые функции. Логическая процедура состоит в использовании теории МО. [41]
И наконец, отметим важное отличие логического программирования от традиционного, в котором нельзя произвольным образом изменять последовательность вызовов процедур, поскольку каждая процедура логически зависит, как правило, от предположения, что некоторым передаваемым ей параметрам уже будут присвоены какие-то данные в результате предшествующих событий. К логическим же процедурам, таким как Р1, может обращаться вызов сложить ( 0 1 1), фактические параметры которого не содержат переменных, или вызов сложить ( х у, 1), где переменным хну еще не присвоено никаких значений. Это свойство логических процедур, отсутствующее почти во всех других языках программирования, называется недетерминированностью входа-выхода или инвертируемостью. Суть его в том, что сама по себе процедура не определяет полностью, какие из ее формальных параметров получают входные данные из вызова, а какие возвращают ему выходные данные: напротив, их статус по отношению к входу и выходу частично определяется в соответствии с вызовом, который обращается к этой процедуре. [42]
Для подобных программ, по всей видимости, можно разработать системы автоматического поиска вывода, действующие, быть может, во взаимодействии с пользователем. Обе они основаны на системах натурального вывода. Наконец, вывод логических процедур был применен также Кларком и ван Эмденом ( 1981) к доказательству правильности традиционных программ. Они показали, как можно выводить логические процедуры, представляющие логическое содержание блок-схем программ, а затем верифицировать последние посредством доказательства того, что найденные процедуры удовлетворяют заданным спецификациям. [43]
Процесс детализации продолжается до тех пор, пока на структурной схеме низшего уровня процедуры не будут выражены на выбранном языке программирования. Цель детализации - выполнить все требования системных и программных спецификаций, сохранив логику укрупненной структурной схемы. Результирующая схема должна содержать детальные машинные решения для логических процедур укрупненной схемы. Каждая структурная схема низшего уровня является расширением одного блока. [44]
Итак, теперь у вас есть пять главных элементов, которые, как я обнаружил, могут помочь распознать краткосрочные взрывы. Так как все эти инструменты могут быть определены количественно, то логическая процедура должна преобразовать наши наблюдения и инструменты в математические модели. Следующий логический прыжок, совершаемый трейдерами, состоит в том, что коль скоро математика точная наука ( два плюс два всегда равно четырем), должно быть точное решение и для торговли, и математика может дать этот ответ. [45]