ВУЗ:
Составители:
311
тельности могут базироваться на укрупнении, а не на уточнении и тому
подобное. Одна из последовательностей должна выполняться по умолча-
нию, например простая последовательность, основанная на RС-процедуре.
Помимо своей основной роли при анализе систем естественного происхо-
ждения, реконструктивный анализ может быть применен также и для реше-
ния задач, связанных с искусственными системами. Понятие структурного
соседства можно, например, Непосредственно использовать для обнаруже-
ния дефектов в связях между элементами структурированной системы в
тех случаях, когда непосредственное наблюдение связей невозможно. Пра-
вильно использованное, оно может оказать большую помощь и при про-
ектировании. Его, например, можно применять для определения всего мно-
жества структурных уточнений, полностью сохраняющих данную проекти-
руемую систему с поведением. Такие уточнения являются основой для есте-
ственного способа проектирования по частям, что делает этот процесс бо-
лее управляемым. Под «естественным» здесь понимается то, что эти уточ-
нения содержат только входные и выходные переменные, входящие в дан-
ную систему с поведением, т. е. не содержат дополнительных (или искусст-
венных) переменных, вводимых на данном этапе. В каждом уточнении по
крайней мере некоторые из заданных переменных входят в несколько под-
систем и, следовательно, играют несколько разных ролей. В максимально
подробных уточнениях множественность использования любой переменной
достигает предела. Далее переменные должны при необходимости вво-
диться с помощью обычных методов декомпозиции или другого подходящего
метода проектирования.
Несмотря на такое использование реконструктивного анализа для ис-
кусственных систем, необходимо подчеркнуть, что основным его назначе-
нием является исследование естественных систем. Дело в том, что отноше-
ние часть-целое в естественных системах куда более неопределенно, чем в
естественных. Так, например, любая искусственная система является также
определением соответствующей обобщенной системы. Это непосредст-
венно следует из того факта, что соединяющие переменные в любой искусст-
венной системе являются либо переменными, которые прямо представляют
единственную систему с поведением (определенную в задаче проектиро-
вания), либo искусственными соединяющими переменными, введенными
только для косвенного представления этой единственной системы. Следова-
тельно, реконструктивное семейство любой искусственной структуриро-
ванной системы является единственным и представляет собой объединение
функций поведения ее элементов. То есть обобщенная система любой ис-
кусственной структурированной системы всегда представляется несмещен-
ной реконструкцией этой структурированной системы.
Это взаимно однозначное соответствие между искусственными структу-
рированными системами и связанными с ними обобщенными системами
является, без сомнения, доводом, возможно самым главным, в пользу того,
что связь между сопоставимыми системами с поведением и структурирован-
ными системами при исследовании систем (то есть при исследовании ес-
тельности могут базироваться на укрупнении, а не на уточнении и тому подобное. Одна из последовательностей должна выполняться по умолча- нию, например простая последовательность, основанная на RС-процедуре. Помимо своей основной роли при анализе систем естественного происхо- ждения, реконструктивный анализ может быть применен также и для реше- ния задач, связанных с искусственными системами. Понятие структурного соседства можно, например, Непосредственно использовать для обнаруже- ния дефектов в связях между элементами структурированной системы в тех случаях, когда непосредственное наблюдение связей невозможно. Пра- вильно использованное, оно может оказать большую помощь и при про- ектировании. Его, например, можно применять для определения всего мно- жества структурных уточнений, полностью сохраняющих данную проекти- руемую систему с поведением. Такие уточнения являются основой для есте- ственного способа проектирования по частям, что делает этот процесс бо- лее управляемым. Под «естественным» здесь понимается то, что эти уточ- нения содержат только входные и выходные переменные, входящие в дан- ную систему с поведением, т. е. не содержат дополнительных (или искусст- венных) переменных, вводимых на данном этапе. В каждом уточнении по крайней мере некоторые из заданных переменных входят в несколько под- систем и, следовательно, играют несколько разных ролей. В максимально подробных уточнениях множественность использования любой переменной достигает предела. Далее переменные должны при необходимости вво- диться с помощью обычных методов декомпозиции или другого подходящего метода проектирования. Несмотря на такое использование реконструктивного анализа для ис- кусственных систем, необходимо подчеркнуть, что основным его назначе- нием является исследование естественных систем. Дело в том, что отноше- ние часть-целое в естественных системах куда более неопределенно, чем в естественных. Так, например, любая искусственная система является также определением соответствующей обобщенной системы. Это непосредст- венно следует из того факта, что соединяющие переменные в любой искусст- венной системе являются либо переменными, которые прямо представляют единственную систему с поведением (определенную в задаче проектиро- вания), либo искусственными соединяющими переменными, введенными только для косвенного представления этой единственной системы. Следова- тельно, реконструктивное семейство любой искусственной структуриро- ванной системы является единственным и представляет собой объединение функций поведения ее элементов. То есть обобщенная система любой ис- кусственной структурированной системы всегда представляется несмещен- ной реконструкцией этой структурированной системы. Это взаимно однозначное соответствие между искусственными структу- рированными системами и связанными с ними обобщенными системами является, без сомнения, доводом, возможно самым главным, в пользу того, что связь между сопоставимыми системами с поведением и структурирован- ными системами при исследовании систем (то есть при исследовании ес- 311
Страницы
- « первая
- ‹ предыдущая
- …
- 309
- 310
- 311
- 312
- 313
- …
- следующая ›
- последняя »