Cтраница 1
Свойство детерминированности предполагает, что алгоритм описывается на таком формальном языке, представлен в виде такой четко сформулированной системы правил, что результаты его работы не зависят - от того, какая именно физическая система ( субстрат) будет осуществлять ( реализовывать) эти правила. Все эти превращениям нисколько не повлияют на результаты работы алгоритма. Это свойство оказалось - чрезвычайно важным в процессе исследования. Так, если выявляется какой-либо алгоритм работы мозга, то его можно представить в форме программы вычислительной машины. Таким образом может быть осуществлено построение модели интеллектуальной деятельности определенного типа. [1]
Свойство детерминированности означает определенность или однозначность результата вычислений при заданных исходных данных, свойство дискретности определяемого алгоритмом процесса - возможность расчленения его на отдельные элементарные действия, которые могут быть выполнены вычислительной машиной. [2]
Свойство детерминированности подразумевает то, что решение задач по данному алгоритму является процессом строго ( жестко) направленным: он однозначно определяет первый шаг и каждый следующий. [3]
В чем состоит свойство детерминированности ( определенности) алгоритма. [4]
Это говорит о том, что данное правило обладает свойством детерминированности. [5]
Всякий алгоритм можно назвать правилом, но не всякое правило можно назвать алгоритмом: в формулировке правила часто четко не выделяются все шаги - оно не обладает в этом случае свойством детерминированности. [6]
Очевидны статичность и виброкорректность преобразователей W и Q. Каскад Q детерминирован; преобразователь W свойством детерминированности не обладает. Простое описание управляемых и вполне управляемых сужений каскадов гистеронов достаточно общего вида ( подобные указанным в § 33 для букетов) авторам неизвестно. [7]
Если взять за основу МП вывода, обладающую свойством детерминированности, то с ней можно объединить МП ввода, время выполнения которой меньше времени вывода и может прерываться. В принципе выполнение МП вывода тоже может быть прервано в момент стоповой посылки, если информация выводится на телетайп, но с целью уменьшения времени занятости канала связи это нежелательно. [8]
Эта теория позволяет изучать всевозможные эволюционные процессы, обладающие свойствами детерминированности, конечномерности и дифференцируемости. Прежде чем дать точные математические определения, рассмотрим несколько примеров. [9]
Эта теория позволяет изучать всевозможные эволюционные процессы, обладающие свойствами детерминированности, конечномерности и диф-ференцируемости. Прежде чем дать точные математические определения, рассмотрим несколько примеров. [10]
Непосредственно из определения ( и свойств упоров) вытекают статичность и виброкорректность преобразователя Ишлинского; свойствами детерминированности и управляемости он не обладает. [11]
Из приведенного описания функционирования программы видно, что ПРОЛОГ пытается выполнить одну цель на каждом шаге вычисления. Эта особенность механизма вывода в ПРОЛОГе, или точнее, процедуры отката, наделяет ПРОЛОГ свойством детерминированности. [12]
Им соответствуют детерминированные и стохастические операторы систем. Детерминированный оператор позволяет однозначно определить выходные сигналы по известным входным сигналам. Свойство детерминированности модели системы означает лишь неслучайность преобразования входных сигналов, которые сами по себе могут быть как детерминированными, так и случайными. В случае стохастических моделей процесс преобразования является случайным. Стохастический оператор не позволяет однозначно определять выходные сигналы по известным входным сигналам. Однозначно можно определить лишь распределение вероятностей выходных сигналов, если задано распределение вероятностей входных сигналов и параметров системы. [13]
Организация параллелизма этого типа ( выполнение нескольких инструкций программы одновременно) должна быть такой, чтобы результат выполнения программы с использованием параллелизма и без него был бы одинаков. Некоторые инструкции в программе - требуют результата предыдущей инструкции до выполнения последующей. Система, которая организует параллелизм в последовательной программе таким способом для получения правильных результатов, обладает свойством детерминированности. [14]
В предложенном нами предписании для поиска пути допускается известный элемент случайности. Именно, при условии зеленая улица очередной ход не определен однозначно, поскольку с данной площадки могут оказаться выходы в несколько зеленых коридоров, а наше предписание не предусматривает, какой из них нужно выбрать, точнее - оно допускает произвольный случайный выбор одного из них. Тем самым нарушается свойство детерминированности, о котором в § 1 говорилось, что оно присуще всем алгоритмам. Этот элемент случайности можно было бы, однако, легко устранить ( и тем самым превратить рассмотренное предписание в алгоритм) хотя бы соглашением о том, что при наличии нескольких зеленых коридоров выбирается коридор по некоторому правилу; например, выйдя на площадку, Тезей начинает ее обходить по часовой стрелке до появления первого зеленого коридора и далее идет по нему. Рассмотрение таких предписаний, в которых заранее предусматриваются акты случайного выбора, представляет большой теоретический и практический интерес, особенно в современной теории игр и ее применениях к вопросам экономики. [15]