Научная литература
booksshare.net -> Добавить материал -> Биология -> Полетаев И.А. -> "Сигнал о некоторых понятиях кибернетики" -> 72

Сигнал о некоторых понятиях кибернетики - Полетаев И.А.

Полетаев И.А. Сигнал о некоторых понятиях кибернетики — Советское радио, 1958. — 413 c.
Скачать (прямая ссылка): signal1958.djvu
Предыдущая << 1 .. 66 67 68 69 70 71 < 72 > 73 74 75 76 77 78 >> Следующая

Введение в машины долговременной памяти, даже с той примитивной ее организацией, какая используется в машинах сейчас, позволяет имитировать на машинах, например процесс обучения, бывший характерным до сего времени только для живых организмов.
Одним из наиболее важных свойств электронных машин является также их способность до некоторой степени самостоятельно изменять собственную программу действий. Дело в том, что расписывать подробно ход за ходом длинную программу решения сложной задачи представляется очень долгой и трудоемкой работой. Поэтому программисты стремились сократить этот труд и добились в этом отношении заметных успехов. Для большинства математических задач ход вычислений разбивается на повторяющиеся серии одинаковых операций — циклы. Очевидно, нет смысла выписывать цикл за циклом одни и те же команды. Можно поручить эти обязанности той же машине, дав ей для этого соответствующую программу. Поскольку команды записываются так же, как числа, с ними можно произ-
204
водить преобразования как с числами, например после выполнения команды преобразовать ее, прибавляя по единице к адресам для того, чтобы по очереди перемножить столбики чисел, размещенных в ячейках памяти в порядке номеров.
Особенно интересный и принципиально очень важный результат в этом отношении дает применение команды условного перехода. Эта команда не однозначна, она имеет два значения: А — Перейти к выполнению команды № А и В — Перейти к выполнению команды № В. Выбор варианта А или В зависит от исхода специальной логической операции сравнения двух чисел х и у. Если х>у, выбирается вариант At если jc<у — вариант В. Сравнение проводится машиной в конце цикла вычислений, и результат сравнения уже однозначно определяет выбор А или В.
Так, если при вычислении очередного члена ряда в итоге цикла вычислений получается величина больше заданной минимальной, машина возвращается к началу цикла (команда А) и вычисляет следующий член. Если очередной член ряда оказывается меньше заданной минимальной величины, машина, не вычисляя следующего члена, переходит к новой операции, определяемой командой В. Условный переход представляет собой отклонение от принципа программного управления и переход к управлению с обратной связью. В самом деле, при условном переходе действия машины (следующая операция) зависят не только от внешнего влияния — программы, но и от результатов работы машины. Правда, способ введения обратной связи в этом случае сложнее, чем в случае следящих систем, и отличается от линейной связи в последних. Однако в принципе— это обратная связь (зависимость действия от результата предыдущего действия).
Используя в программе условный переход, программист может заранее не знать и не интересоваться тем, сколько повторных циклов (итераций) проделает машина до получения результата нужной точности. Машина без участия оператора и без предварительного плана сама решит по заложенному в нее правилу и исходя из обстановки, когда ей перейти к новому циклу операций. Не исключен и такой случай, когда сама же машина может составить себе это правило перехода на основании других, более общих указаний. Таким образом, с использованием в программе условных переходов машина приобретает некоторую самостоятельность в выполнении простых
операций, подчиняясь указаниям программы лишь более общего характера.
Введение операции выбора на основе сравнения представляет собой, как мы уже сказали, не арифметическую, а логическую операцию. Выбор — не единственная операция логики, которую выполняют машины. Выполнение логических операций наряду с математическими—это еще одно очень интересное и важное свойство счетных машин. Операцию выбора проделывает и счетно-аналитическая сортировальная машина.
Преобразование команд и условные переходы являются очень важными принципиальными особенностями электронных цифровых машин, которые открывают много совершенно новых возможностей их использования.
Какие же операции логики и как выполняют машины? Для ответа на этот вопрос следует сказать несколько слов
о теоретической логике и алгебре релейных схем.
Теоретическая логика и алгебра релейных схем
Теоретическая логика представляет собой ветвь математических наук, объектом изучения которой уже не являются числа. Теоретическая логика разбивается на несколько разделов: исчисление высказываний, исчисление предикатов, исчисление классов и т. д. Предметом изучения теоретической логики являются средства, с помощью которых из заданных логических предложений, выражающих связь между объектами, можно получить новые предложения. Теоретическая логика строится как математическая дисциплина, т . е. с точной формулировкой основных положений я правил и введением формально-математических выражений для их записи.
Один из простейших разделов теоретической логики — исчисление высказываний — находит весьма полную аналогию в соотношениях, существующих для схем, состоящих из электрических контактов и соединяющих их проводов (релейно-контактных схем). Эта аналогия используется двояко: во-первых, математические формализмы теоретической логики используются для исследования свойств релейных схем, как рабочий аппарат для анализа и синтеза схем для технических применений; во-вторых, релейные схемы, построенные по логическим формулам, позволяют автоматически решать логические задачи.
Предыдущая << 1 .. 66 67 68 69 70 71 < 72 > 73 74 75 76 77 78 >> Следующая

Реклама

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed

Есть, чем поделиться? Отправьте
материал
нам
Авторские права © 2009 BooksShare.
Все права защищены.
Rambler's Top100

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed