Властивість - детермінованість - велика енциклопедія нафти і газу, стаття, сторінка 1
Властивість - детермінованість
Властивість детермінованості передбачає, що алгоритм описується на такому формальному мові, представлений у вигляді такої чітко сформульованої системи правил, що результати його роботи не залежать - від того, яка саме фізична система (субстрат) буде здійснювати (реалізовувати) ці правила. Всі ці перетворенням анітрохи не вплинуть на результати роботи алгоритму. Це властивість виявилося - надзвичайно важливим в процесі дослідження. Так, якщо виявляється будь-якої алгоритм роботи мозку, то його можна представити у формі програми обчислювальної машини. Таким чином може бути здійснено побудову моделі інтелектуальної діяльності певного типу. [1]
Властивість детермінованості означає визначеність або однозначність результату обчислень при заданих вихідних даних, властивість дискретності визначається алгоритмом процесу - можливість розчленування його на окремі елементарні дії, які можуть бути виконані обчислювальною машиною. [2]
Властивість детермінованості має на увазі те, що рішення задач по даному алгоритму є процесом строго (жорстко) спрямованим: він однозначно визначає перший крок і кожен наступний. [3]
У чому полягає властивість детермінованості (визначеності) алгоритму. [4]
Це говорить про те, що дане правило має властивість детермінованості. [5]
Всякий алгоритм можна назвати правилом, але не всяке правило можна назвати алгоритмом: у формулюванні правила часто чітко не виділяються всі кроки - воно не має в цьому випадку властивість детермінованості. [6]
Якщо взяти за основу МП виведення, що володіє властивістю детермінованості. то з нею можна об'єднати МП введення, час виконання якої менше часу виведення і може перериватися. В принципі виконання МП виведення теж може бути перервано в момент стоповою посилки, якщо інформація виводиться на телетайп, але з метою зменшення часу зайнятості каналу зв'язку це небажано. [8]
Ця теорія дозволяє вивчати всілякі еволюційні процеси, які мають властивості детермінованості. конечномерного і дифференцируемости. Перш ніж дати точні математичні визначення, розглянемо кілька прикладів. [9]
Ця теорія дозволяє вивчати всілякі еволюційні процеси, які мають властивості детермінованості. конечномерного і диф-ференціруемості. Перш ніж дати точні математичні визначення, розглянемо кілька прикладів. [10]
Безпосередньо з визначення (і властивостей упорів) випливають статичність і віброкорректность перетворювача Ішлінського; властивостями детермінованості і керованості він не володіє. [11]
З наведеного опису функціонування програми видно, що ПРОЛОГ намагається виконати одну мету на кожному кроці обчислення. Ця особливість механізму виведення в пролозі, або точніше, процедури відкоту, наділяє ПРОЛОГ властивістю детермінованості. [12]
Їм відповідають детерміновані і стохастичні оператори систем. Детермінований оператор дозволяє однозначно визначити вихідні сигнали по відомим вхідним сигналам. Властивість детермінованості моделі системи означає лише невипадковість перетворення вхідних сигналів, які самі по собі можуть бути як детермінованими, так і випадковими. У разі стохастичних моделей процес перетворення є випадковим. Стохастичний оператор не дозволяє однозначно визначати вихідні сигнали по відомим вхідним сигналам. Однозначно можна визначити лише розподіл ймовірностей вихідних сигналів, якщо задано розподіл ймовірностей вхідних сигналів і параметрів системи. [13]
Організація паралелізму цього типу (виконання декількох інструкцій програми одночасно) повинна бути такою, щоб результат виконання програми з використанням паралелізму і без нього був би однаковий. Деякі інструкції в програмі - вимагають результату попередньої інструкції до виконання подальших. Система, яка організовує паралелізм в послідовній програмі таким способом для отримання правильних результатів, має властивість детермінованості. [14]
У запропонованому нами приписі для пошуку шляху допускається відомий елемент випадковості. Саме, за умови зелена вулиця черговий хід не визначений однозначно, оскільки з цього майданчика можуть виявитися виходи в кілька зелених коридорів, а наше розпорядження не передбачає, який з них потрібно вибрати, точніше - воно допускає довільний випадковий вибір одного з них. Тим самим порушується властивість детермінованості. про який в § 1 говорилося, що воно притаманне всім алгоритмам. Цей елемент випадковості можна було б, однак, легко усунути (і тим самим перетворити розглянуте припис в алгоритм) хоча б угодою про те, що при наявності декількох зелених коридорів вибирається коридор по деякому правилу; наприклад, вийшовши на майданчик, Тезей починає її обходити за годинниковою стрілкою до появи першого зеленого коридору і далі йде по ньому. Розгляд таких приписів, в яких заздалегідь передбачаються акти випадкового вибору, представляє великий теоретичний і практичний інтерес, особливо в сучасній теорії ігор і її застосуваннях до питань економіки. [15]
Сторінки: 1 2