Абстрактная система

Cтраница 2

Предлагаются три различных определения понятия абстрактной системы, причем все эти три определения относятся к одному и тому же уровню общности. [16]

Второй подход к построению определения абстрактной системы основан на теоретико-множественных соображениях. Здесь формальные объекты определяются явным образом, а не с помощью концептуальных классов ( в смысле Карри [2]) высказываний. Каждое из этих множеств определяет некоторый формальный объект, а именно формальный объект, соответствующий множеству X ], может принять вид любого элемента из этого множества. [17]

Следует отметить, что построение абстрактных систем не означает отход от анализа конкретных фактов. После того как на основе использования этого метода удается выявить общие законы и механизмы явления, осуществляется возврат к рассмотрению реальности. Важно увидеть проявление законов в конкретной действительности, применить их в практической деятельности человека. Так, например, эффективность теоретической механики была доказана в результате применения выявленных общих законов к анализу движения конкретных небесных тел а в наши дни - на основе расчета траекторий движения спутников. [18]

Следующий естественный шаг в изучении абстрактных систем состоит в разработке некоторой их классификации. [19]

Таким образом, для описания абстрактной системы при помощи высказывательных функций достаточно, чтобы конечными множествами были лишь множества Z и Y. Заметим, что на практике нередко встречаются весьма интересные применения высказывательных функций для моделирования систем и в тех случаях, когда множество состояний системы не является конечным, но для решения поставленных задач достаточно учитывать лишь конечное число некоторых так называемых особых состояний системы. [20]

В теории алгоритмов и автоматов рассматриваются различные абстрактные системы ( машины, автоматы), предназначенные для моделирования функционирования дискретных систем. Их выразительная мощность, т.е. способность адекватно описывать сложное поведение моделируемых систем, часто характеризуется классами порождаемых ими языков, которые, как и в случае языков сетей Петри, определенным образом кодируют разные возможные способы функционирования систем. В теории формальных языков выделены и изучены некоторые классы языков, порождаемых системами разного типа. Эти же классы языков порождаются конечными множествами правил, называемых порождающими грамматиками. [21]

Теперь известно, что Ф - абстрактная система корней, так что все результаты, суммированные в Добавлении, имеют место. [22]

It, Я) - модели данной абстрактной системы; объем его составляет множество всех возможных моделей. [23]

Система с обратной связью. [24]

На рис. 1.3 была приведена структура абстрактной системы управления с обратной связью. [25]

Когда же мы говорим о какой-то предельной абстрактной системе, которая реально не существует и которая нами выведена ( о чем сказано на стр. [26]

Мы уже знаем, что только одна абстрактная система S удовлетворяет этим пяти аксиомам, а именно, натуральный ряд чисел, который мы прежде ввели с генетической точки зрения. [27]

Однако возникали и контраргументы: построение каждой абстрактной системы более высокого уровня, конечно, исключает возможность рассмотрения той или иной категории процессов, но абстракция одновременно обеспечивает выявление другой, более общей системы законов, которая ранее была скрыта в результате маскирующего влияния более частных закономерностей. [28]

Каждый раз, когда мы изучаем некоторую абстрактную систему или когда мы говорим о ней, мы пользуемся языком, отличающимся от языка формальных высказываний, образующих Xs. Такие высказывания о системе называются метавысказываниями, а используемый при этом язык называется метаязыком. Конеч-но, можно использовать и для формальных высказьь ваний, и для метавысказываний один и тот же язык, однако в этом случае нужно делать четкое различие между высказываниями этих двух типов. [29]

Теоретическая модель параллельной обработки представляет из себя абстрактную систему и имеет тот недостаток, что практически не реализуется. Так, например, модель подразумевает, что все процессоры связаны с большой памятью. Если бы два или более процессоров потребовали одно и то же слово, то, очевидно, они не получили бы его одновременно. [30]

Страницы: 1 2 3 4