Cтраница 4
Особое внимание в работе отдела программирования должны уделять разработке программных структурных схем. После передачи системщиками структурной схемы проекта ведущий или старший программист разрабатывает структурную схему организации комплекса программ для конкретных задач и алгоритмов. Старший программист разрабатывает укрупненную структурную схему каждой программы или подпрограммы комплекса, на которой отражены только основные логические процедуры. Уровень ее детализации должен быть таким, чтобы она могла быть применима к любой ЭВМ со сходными внешними устройствами и памятью. При этом необходимо учитывать возможность унификации программы не только внутри комплекса, но и по всему проекту в целом. [46]
Процессы принятия решений человеком в различных сложных ситуациях давно являются объектом пристального внимания и изучения целого ряда наук, таких, как философия, физиология, психология, кибернетика. Эта теория, полностью отвлекаясь от сущности психофизиологических процессов мышления, представляет принятие решений в виде последовательных логических процедур с обратной связью, поддающихся формальному анализу и позволяющих создать конструктивные математические методы. [47]
Довольно часто программист сталкивается с задачами, наиболее естественные формулировки которых требуют средств для выражения отрицания не. Например, может возникнуть желание обратиться к базе данных с запросом; верно ли что такой-то элемент в ней не содержится. Данный символ, однако, отсутствует в более ограниченных предложениях ( хорновских дизъюнктах), используемых для записи логических процедур. [48]
Они лишь имеют различную нумерацию. Поэтому элементы матрицы Rgg данного элемента должны будут попасть в соответствующие клетки общей матрицы жесткости R. Такая рассылка элементов матриц жесткости отдельных конечных элементов с их суммированием в клетках общей матрицы R производится автоматически на основе общей логической процедуры. Эти вопросы изучаются в курсе строительной механики. [49]
Это преобразование, названное восьмиричным кодированием двоичной системы, удивительно экономно. Каким же образом стало возможно столь замечательное достижение. Этот - совершенный способ нелегко приобретается нервной системой; благодаря повторению процесса обеспечивается классификация по иерархическим схемам, а классификация - наиболее фундаментальная логическая процедура. Такую систему пересекают пути, выполняющие функцию параллельного торможения - не или, - которая реализуется через комбинацию функций или ( у которых выходной сигнал определяется воздействием через любой из двух входов) и отрицательной функцией не, тормозящей выходной сигнал элемента, когда каким-либо образом активируется - его вход. Эта система так напоминает структуру сетчатки - наше - окно в мозг, что испытываешь искушение назвать функцией не или гиперполяризацию горизонтального слоя и функцией и - разряд ганглиозной клетки. Конечно, сетчатка построена яе вполне так, как показано на этой схеме, однако обе формы организации поразительно соответствуют друг другу с точки прения рассматриваемого процесса ( ср. [50]
Для подобных программ, по всей видимости, можно разработать системы автоматического поиска вывода, действующие, быть может, во взаимодействии с пользователем. Обе они основаны на системах натурального вывода. Наконец, вывод логических процедур был применен также Кларком и ван Эмденом ( 1981) к доказательству правильности традиционных программ. Они показали, как можно выводить логические процедуры, представляющие логическое содержание блок-схем программ, а затем верифицировать последние посредством доказательства того, что найденные процедуры удовлетворяют заданным спецификациям. [51]