|
67 2.3. Выводы и рекомендации Образующие, используемые в данной главе, в дальнейшем будут применяться для построения конфиг урационных структур В, в которых эти образующие можно определить как заданные узлы или как отрезки, соединяющие пары узлов. Построенные из этих образующих конфигурации будут называться сетевыми а конфигурациями. При работе с сетевыми конфигурациями будет предполагаться, что у всех а р (а) = а), у симметрическое и любое стеХ„ предусматривает всевозможные попарные соединения реверсивными стрелками всех п образующих, входящих в конфигурацию. В этом случае назовём X «полный», а построенная структура будет структурой полного графа. Для описания реальных конфигураций, когда А состоит из описанных выше образующих, тип соединения X «полный» и V различие: это означает что РуР' в том и только в том случае, если Р * Р'. Сетевые конфигурации подобного типа являются (частичными) описаниями объектов (ситуаций). Роль системы правил К заключается в данном случае в том, чтобы предотвращать возникновение противоречий. В последующих главах на этой основе будут разработаны структурноалгоритмические модели действий специалистов по ТОиР. |
69 ) = 1, 2,п \}, п\ & г, они будут отождествляться, сКс\ если ш Л V ау(*) т ( = д V ау(х) У х & Х . (2.20) 1=14=1 / 1=14=1 Другими словами, конфигурации идентифицируются по их логическим функциям. 2.2. Выводы и рекомендации Образующие, используемые в данной главе, в дальнейшем будут применяться для построения конфигурационных структур К, в которых эти образующие можно определить как заданные узлы или как отрезки, соединяющие пары узлов. Построенные из этих образующих конфигурации будут называться сетевыми конфигурациями. При работе с сетевыми конфигурациями будет предполагаться, что у всех а р ( а ) = оо, V симметрическое и любое ае2п предусматривает всевозможные попарные соединения реверсивными стрелками всех п образующих, входящих в конфигурацию. В этом случае назовем I «полный», а построенная структура будет структурой полного графа. Для описания реальных конфигураций, когда А состоит из описанных выше образующих, тип соединения I «полный» и V различие: это означает что Ру(3' в том и только в том случае, если р ф [3'. Сетевые конфигурации подобного типа являются (частичными) описаниями объектов (ситуаций). Роль системы правил К заключается в данном случае в том, чтобы предотвращать возникновение противоречий. В последующих главах на этой основе будут разработаны структурноалгоритмические модели действий ЧЭ. |