ВУЗ:
Составители:
221
Рассмотрим сначала некоторые вопросы, связанные с проектированием
систем. Наиболее важной чертой проектирования систем является то, что па-
раметрически инвариантное ограничение на некоторые конкретные перемен-
ные определяется пользователем. Совершенно иначе обстоит дело с исследо-
ванием систем, где это ограничение неизвестно, и задача состоит в том, что-
бы адекватно охарактеризовать его с учетом конкретной цели исследования.
Ограничение при проектировании систем определяется или явно на язы-
ке конкретной порождающей, обычно направленной системы, или неявно на
языке системы данных. В первом случае задача проектирования сводится к
определению набора структурированных систем, удовлетворяющих задан-
ным требованиям. Эти вопросы рассматриваются в следующем разделе. Во
втором случае необходимо определить некие порождающие системы, адек-
ватно описывающие ограничения, содержащиеся в данных. Эта задача соот-
ветствует классу задач, рассматриваемых в параграфах 6.4 и 6.6 в контексте
исследования систем, однако в случае проектирования систем система дан-
ных по определению содержит всю информацию о способе, каким наклады-
ваются ограничения на переменные.
При проектировании системы функция данных часто определяется не-
явно через описание их свойств, а не явно в виде матрицы или массива дан-
ных. Допустим, например, что имеется простая направленная система с од-
ной входной переменной, множество состояний которой включает 26 латин-
ских букв и пробел, и с одной выходной переменной с двумя состояниями 0 и
1. Входная переменная определяется последовательностью букв и пробелов
просматриваемого английского текста. Требуется, чтобы выходная перемен-
ная при определенных условиях была равна 1, например, при условии, что
последнее слово просматриваемого текста кончалось на ING, и 0 в против-
ном случае. Задача состоит в том, чтобы преобразовать это неявное опреде-
ление системы данных в некую порождающую систему, которая бы для лю-
бого английского текста порождала (детерминированным образом) требуе-
мые состояния выходной переменной. Методы решения задач подобного
типа хорошо разработаны в рамках теории конечных автоматов. Поскольку
на эту тему имеется обширная литература, то нет смысла описывать эти
методы. При сравнении исследования систем и их проектирования на уровне
систем данных и порождающих систем, необходимо отличать два класса сис-
тем данных, встречающихся при исследовании систем. К первому классу от-
носятся системы данных, в которых переменные не имеют смысла вне пара-
метрического множества, на котором они определены. Примерами таких сис-
тем являются:
музыкальное сочинение, рассматриваемое как система данных, пере-
менные которой, очевидно, не имеют смысла вне временного множества, со-
ответствующего всему сочинению;
любая система данных с пространственным параметром, в которой про-
странственное множество не может быть расширено, например система про-
странственных данных по акустике концертного зала или система, опреде-
Рассмотрим сначала некоторые вопросы, связанные с проектированием
систем. Наиболее важной чертой проектирования систем является то, что па-
раметрически инвариантное ограничение на некоторые конкретные перемен-
ные определяется пользователем. Совершенно иначе обстоит дело с исследо-
ванием систем, где это ограничение неизвестно, и задача состоит в том, что-
бы адекватно охарактеризовать его с учетом конкретной цели исследования.
Ограничение при проектировании систем определяется или явно на язы-
ке конкретной порождающей, обычно направленной системы, или неявно на
языке системы данных. В первом случае задача проектирования сводится к
определению набора структурированных систем, удовлетворяющих задан-
ным требованиям. Эти вопросы рассматриваются в следующем разделе. Во
втором случае необходимо определить некие порождающие системы, адек-
ватно описывающие ограничения, содержащиеся в данных. Эта задача соот-
ветствует классу задач, рассматриваемых в параграфах 6.4 и 6.6 в контексте
исследования систем, однако в случае проектирования систем система дан-
ных по определению содержит всю информацию о способе, каким наклады-
ваются ограничения на переменные.
При проектировании системы функция данных часто определяется не-
явно через описание их свойств, а не явно в виде матрицы или массива дан-
ных. Допустим, например, что имеется простая направленная система с од-
ной входной переменной, множество состояний которой включает 26 латин-
ских букв и пробел, и с одной выходной переменной с двумя состояниями 0 и
1. Входная переменная определяется последовательностью букв и пробелов
просматриваемого английского текста. Требуется, чтобы выходная перемен-
ная при определенных условиях была равна 1, например, при условии, что
последнее слово просматриваемого текста кончалось на ING, и 0 в против-
ном случае. Задача состоит в том, чтобы преобразовать это неявное опреде-
ление системы данных в некую порождающую систему, которая бы для лю-
бого английского текста порождала (детерминированным образом) требуе-
мые состояния выходной переменной. Методы решения задач подобного
типа хорошо разработаны в рамках теории конечных автоматов. Поскольку
на эту тему имеется обширная литература, то нет смысла описывать эти
методы.
При сравнении исследования систем и их проектирования на уровне
систем данных и порождающих систем, необходимо отличать два класса сис-
тем данных, встречающихся при исследовании систем. К первому классу от-
носятся системы данных, в которых переменные не имеют смысла вне пара-
метрического множества, на котором они определены. Примерами таких сис-
тем являются:
музыкальное сочинение, рассматриваемое как система данных, пере-
менные которой, очевидно, не имеют смысла вне временного множества, со-
ответствующего всему сочинению;
любая система данных с пространственным параметром, в которой про-
странственное множество не может быть расширено, например система про-
странственных данных по акустике концертного зала или система, опреде-
221
Страницы
- « первая
- ‹ предыдущая
- …
- 219
- 220
- 221
- 222
- 223
- …
- следующая ›
- последняя »
